Experimental Bulla research.
Each profile starts with a concrete machine-to-machine problem. The code is source-only, the demonstrations are team-operated, and none of these interfaces is part of Bulla’s stable API.
These experiments use ActionReceipts as transaction records, then test what additional evidence or policy is needed for a particular decision. Start with the question that matches your workflow; use the technical status only when you need to inspect the implementation.
Open Inference Market
Can a buyer find providers through replaceable catalogs, choose one by its own evidence requirements, and keep a transaction it can check after the catalog disappears?
Open profile →Source onlyRecheckable Inference
Can a buyer recheck one provider result after the provider goes offline, without treating recomputation as proof of truth or historical execution?
Open profile →Source onlyAssurance Linker
Can a structured promise state exactly which evidence, authority, action coverage, capital, and recourse a consequence requires?
Open profile →Not authorized · human gates blockedClean-room checker doorway
Can someone outside the project implement the same bounded consequence checker from the public specification?
Open profile →SOURCE_ONLY · NOT_DEPLOYEDPublic control-plane alpha
Can one fixed agent-tool request be authorized, observed, reconciled against a receiver log, retained, and published through separate service roles?
Open profile →Source onlyAgent Incident Packet
Can an incident packet connect decisions, observed effects, traces, redactions, party statements, and later corrections without claiming the packet is complete?
Open profile →Source onlySemantic invention
Can two systems turn an ambiguous shared term into a checked finite rule—or produce a counterexample when they cannot?
Open profile →Source onlySemantic Finality
What may a system do while the meaning of a consequential term remains unresolved?
Open profile →Source onlyClaim Flow
Can evidence, a forum decision, a reusable rule, its application to a new case, and settlement remain separately authorized steps?
Open profile →Research packetGolden Gate
Does a checker accept, refuse, ask for evidence, or abstain for the right reason when cases are hostile or incomplete?
Open profile →What an internal demonstration can show
Passing project-authored cases shows how the code behaves on those cases. It does not show that an outside team can implement the profile, that a real institution accepts its authority, or that the surrounding records capture every event. The status page reports those gaps separately.