Updated 2026-08-21

Current work and next gates.

Current software, near-term work, and research experiments are listed separately. Each item says what evidence exists and what must happen before it can move forward.

Released

released

Capabilities available in the published Bulla package.

PYPI RELEASED

Portable ActionReceipt v0.2

Create, hash, sign, transport, and independently verify a record of one consequential action.

Evidence: released implementation and reproducible fixtures
Promotion gate: Published

Open surface →

PYPI RELEASED

Local verification and reliance

Recompute receipt integrity locally and keep the relying party's policy decision separate from the verification report.

Evidence: released implementation with fixture parity
Promotion gate: Published

Open surface →

PYPI RELEASED

MCP and framework discovery

Normalize supported host configurations and statically declared framework tools into one composition manifest.

Evidence: released implementation with local fixtures
Promotion gate: Published; dynamic registration remains outside the static reader

Open surface →

Product work

product

Bounded engineering and outside-operation work intended to strengthen the released path.

SOURCE ONLY

Receipt-coupled dispatch

Commit durable intent before external I/O and preserve remote uncertainty as a replayable state.

Evidence: internal exhaustive state model and captive adapter fixtures
Promotion gate: One nonlocal shadow integration with a declared adapter contract

Open surface →

SOURCE ONLY

Executable recourse

Replay challenge, finding, distinct remedy authority, completion, routing, expiry, and closure as an append-only receipt trace.

Evidence: internal replay; transport and forum reachability remain captive
Promotion gate: A separately controlled forum completes one challenge path

Open surface →

BLOCKED

Independent boundary checker

A separately authored implementation of canonical parsing, claim-flow kinds, authority, epoch, finality, and result hashing.

Evidence: specification and internal reference only
Promotion gate: One independent implementation matches every machine-checkable case

Open surface →

BLOCKED

Independent receipt retention

Retain verified ActionReceipts outside their issuer and return inclusion and consistency evidence.

Evidence: local checkpoint primitive only
Promotion gate: Two independently operated ActionReceipt-aware witnesses interoperate

Open surface →

Source profiles

source

Runnable profiles kept outside the stable package contract.

SOURCE ONLY

Answerability Network

Compose one inference procurement, a selected ActionReceipt, witnessed history, a bonded non-equivocation covenant, and exact recall across 10,000 declared decisions.

Evidence: project-authored deterministic corpus with Python, standalone Node, browser, hostile-test, and finite-model correspondence
Promotion gate: Separately controlled providers, witness, graph author, challenge authority, settlement authority, and rail observer exercise one real shadow transaction

Open surface →

SOURCE ONLY

Bonded witness covenant

Bind one objective same-size equivocation fault to challenge chronology, a dedicated allocation, exact authority, and a bounded remedy.

Evidence: project-authored deterministic fixtures, two checker implementations, hostile mutations, and finite-model guards
Promotion gate: An independently operated witness accepts the covenant and a separately controlled observer verifies real custody and settlement behavior

Open surface →

SOURCE ONLY

Recheckable Inference alpha

Retain a term-bound computation so another machine can rerun the input-to-output relation after the provider disappears, then apply a buyer policy and receiver coverage before payment eligibility.

Evidence: three deterministic bundles, team-operated localhost roles, project-authored Python, standalone Node, and browser parity, transient hostile mutations, and a finite abstract model
Promotion gate: A foreign checker and a separately controlled provider or receiver reproduce the bounded result without reference-source access or shared runtime state

Open surface →

SOURCE ONLY

Occurrence-bound ActionReceipt v0.4

Authenticate a claimed occurrence separately from reusable content and the authority envelope under a portable integer-only canonical model.

Evidence: internal Python and Node reference parity
Promotion gate: Independent checker parity across the declared portability matrix

Open surface →

SOURCE ONLY

Assurance Linker alpha

Compile a closed machine promise into explicit evidence, authority, coverage, capital, recourse, and consequence requirements, with an optional Bitcoin-regtest collateral adapter.

Evidence: team-authored deterministic dossiers, Python and standalone Node parity, finite abstract-model invariants, local Bitcoin Core 31.1 regtest mechanics, a checked one-promise bypass comparison, and a Trial 0.2-r5 publication-neutral checker doorway with inherited semantic and new ceremony roots, a frozen scoring-capsule commitment, and external results blocked
Promotion gate: Foreign-authored promises, a separately authored checker frozen before reference-source publication, independently judged P3/P4 cases, one separately controlled operational role, and zero unsafe settlement eligibility

Open surface →

SOURCE ONLY

Public control-plane alpha

Operate one closed synthetic MCP authorization, receiver observation, bypass, coverage, witness, and packet-publication loop across path-separated services.

Evidence: deterministic fixtures, source checkers, local Cloudflare-runtime tests, and a separately generated deployment-evidence state
Promotion gate: Final MCP pin, real Cloudflare deployment, external receiver integration, separately controlled denominator and witness, and external security and privacy review

Open surface →

SOURCE ONLY

Open Agent Incident Packet v0.1

Bind action-boundary records, opaque trace artifacts, exact per-protocol decision/effect anchor pairs, authenticated reported denominator snapshots, non-circular redactions, party statements, and corrections into one verifiable incident packet.

Evidence: team-operated deterministic fixtures and localhost HTTP/MCP pilots
Promotion gate: Separately controlled denominator, independently authored checker, separately operated witness, and external privacy and security review

Open surface →

Research

research

Experimental semantics and outside-authorship questions that have not entered the stable product path.

BLOCKED

Foreign-authored semantic seams

Apply the frozen profile to meanings, protected distinctions, and applicability judgments authored outside the project.

Evidence: recruitment packet prepared; external counts remain zero
Promotion gate: Twelve foreign micro-lineages with blinded follow-on ratings

Open surface →

PYPI RELEASED EXPERIMENTAL

Certified semantic invention

Emit a checked predicate package, a partial RELY/REFUSE envelope, or a replayable negative certificate.

Evidence: finite internal formal and captive benchmark evidence
Promotion gate: Foreign generality and an independently reproduced boundary checker

Open surface →

PYPI RELEASED EXPERIMENTAL

Semantic Finality

Represent provisional execution, ambiguity reserve, refinement, conflict, finalization, and stale epochs.

Evidence: finite internal state-machine evidence
Promotion gate: Credible external lock verification and a real shadow integration

Open surface →

PYPI RELEASED EXPERIMENTAL

Typed Claim Flow

Keep evidence appraisal, forum finding, precedent adoption, applicability, and settlement authority separate.

Evidence: internal formal and captive benchmark evidence
Promotion gate: Foreign applicability judgments with zero unsafe transfer

Open surface →