Skip to content

Research profiles.

These repository-source profiles test bounded questions beyond Bulla’s stable installed surface. Their technical URLs remain under /bulla/experimental/* so retained references continue to resolve.

Acceptance ContractSource onlyA receiver policy holds one consequence, names missing evidence, and recomputes after that exact record arrives.Inspect →Open Inference MarketSource onlyBuyer policy finds providers through replaceable catalogs, applies local evidence requirements, and retains a transaction after the catalog disappears.Inspect →Recheckable InferenceSource onlyA retained bundle supports later recomputation of one provider result without turning recomputation into proof of truth or historical execution.Inspect →Assurance LinkerSource onlyA structured promise names the evidence, authority, action coverage, capital, and recourse required for one consequence.Inspect →Clean-room checker doorwayNot authorized · human gates blockedA frozen clean-room instrument tests whether another implementer can reproduce the bounded consequence checker from its public specification.Inspect →Public control-plane alphaSOURCE_ONLY · NOT_DEPLOYEDOne fixed agent-tool request passes through separate authorization, observation, reconciliation, retention, and publication roles.Inspect →Agent Incident PacketSource onlyAn incident packet links decisions, observed effects, traces, redactions, party statements, and later corrections while leaving completeness unclaimed.Inspect →Semantic inventionSource onlyA finite checker searches for a shared rule or produces a counterexample when the shared fields do not determine one.Inspect →Semantic FinalitySource onlyA controller routes, refuses, requests evidence, or executes provisionally while a consequential term remains unresolved.Inspect →Claim FlowSource onlyClaim Flow keeps evidence, forum decisions, reusable rules, new-case application, and settlement as separately authorized steps.Inspect →Golden GateResearch packetHostile and incomplete cases test whether a checker accepts, refuses, requests evidence, or abstains under the declared rules.Inspect →

Passing project-authored cases establishes behavior on those cases. Evidence and Status record implementation, operation, and outside-participation boundaries separately.