How Assurance Linker reaches a consequence
Technical reference for the exact predicate, evidence, capital, recourse, and settlement states in the source-only profile.
Profile bulla.assurance-linker/0.1-experimental remains source-only. The verifier keeps dossier integrity, authority, evidence, coverage, capital, recourse, correction state, and consequence eligibility separate.
What this check cannot tell you
The profile and Trial 0.2-r5 instrument use team-authored synthetic promises, cases, expected projections, implementations, evidence, keys, witness roots, rail observations, and settlement roles. No two-mirror publication set, cold-reader calibration, or foreign checker attempt has occurred, and recruitment readiness remains blocked. Surface completeness is relative to named frozen schemas, AL-* rules, and protected fields; it does not cover every open-world interaction. Foreign authorability, independent reproduction, institutional handling, operational separation, and marginal decision value remain blocked. Recruitment is an investigator-selected, uncompensated convenience sample and does not establish economic adoptability or representative demand. Source-to-image correspondence remains NOT_COMPUTED without a reproducible rebuild. The evidence does not establish worldly truth, complete denominators, external collateral encumbrance, custody, collectibility, legal enforceability, organizational independence, production safety, actuarial calibration, or mainnet readiness. Bitcoin is an optional rail adapter and does not evaluate predicates. External A/J/I/W and replay counts remain 0/0/0/0 and r0.
Which questions a machine can decide
A compiled condition applies only within its declared language, model class, authority period, and stated completeness assumptions. A partially checked condition applies only to the cases it covers. An indeterminate or choice-dependent result cannot authorize deterministic settlement.
P2 deterministic conditions can support machine eligibility after their declared challenge state. P3 appraisal requires the designated challenge process. P4 semantic disputes require the named forum.
Why a guarantee does not strengthen the underlying evidence
A derived claim retains exact parent references. A guarantee creates an additional obligation and can add capital or recourse. It cannot improve the source of the evidence, prove that an event occurred, add authority, or resolve the meaning of the underlying claim.
Capital model
Dedicated bindings back one active promise. Declared pools carry a finite allocation manifest. Accepted allocations cannot exceed the reported lock inside that declared portfolio. Pledges outside the supplied portfolio remain uncomputed.
Rail-neutral projection
Fixture escrow and Bitcoin regtest reports expose the same abstract lock and settlement facts. Equal abstract facts must produce equal rail-neutral conclusions. Rail evidence does not establish custody, collectibility, legal control, or external unencumbrance.
- Bitcoin Core
- 31.1
- Network
- regtest
- Descriptor
- 2-of-3 P2WSH sortedmulti
- Synthetic lock
- 200,000 sat
Report vocabulary
ELIGIBLE, INELIGIBLE, CHALLENGE_REQUIRED, FORUM_REQUIRED, PROCEDURAL_ONLY, NOT_COMPUTED.
No report collapses these dimensions into one global validity or trust result.
Formal scope
The finite model contains 9 mapped invariants for claim non-amplification, guarantee separation, capital conservation, settlement soundness, withholding monotonicity, rail invariance, correction non-erasure, and epoch safety. It does not prove parser correctness, Bitcoin consensus, custody, collectibility, denominator completeness, or legal enforceability.
Technical evidence
Bitcoin-equivalent report · Regtest execution · Clean-room checker doorway · Evidence ledger
Image/source correspondence: NOT_COMPUTED.