Updated 2026-07-29

What Bulla is building next.

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.

Now

now

Published developer surfaces available without an external service dependency.

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

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 →

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 →

Next

next

Bounded work needed to move from captive reproducibility toward outside use.

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

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 →

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 →

Exploratory

exploratory

Research profiles that remain outside the stable Glyph and Bulla contract.

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 →

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 →