Evidence ledger

    The BND markers are not substitutes for primary receipts. They identify where a claim enters the binder's map and what role it plays in the paper. Resolution order is binder, then lane extract, then primary artifact; on disagreement the quoted primary field wins.

    The two lane-complete extracts named by the binder were not in the drafting attachment set. The paper therefore carries 161 cable receipts, 68 drain receipts, 51 campaign files, 213 ledger rows, and 202 economy artifacts as binder-indexed claims, and declines independent row-level verification of them.

    The twenty-two landmarks

    • BND-01t494 hoist covenant: 10 cables, 7 waves, 3 parallel invariants, center exclusion checked
      Supports
      Early executable current-to-target covenant and DAG form
      Required nonclaim
      Does not establish all later winch or PHS behavior
    • BND-02t535 live serve overturns t527 capability ruling
      Supports
      Currentness-at-the-act; execution may falsify assessment
      Required nonclaim
      Proposal-only; mutation authority remained false
    • BND-03159,382-trace corpus chain with reproducing partial sums
      Supports
      Longitudinal receipt continuity and exact re-derivation
      Required nonclaim
      Corpus size is not capability, adoption, or quality
    • BND-04t749 first governed local-model consumption; t751 refusal and corrected lap
      Supports
      Refusal, correction, measured liveness, honest limits
      Required nonclaim
      Small sample; plumbing proven more strongly than general capability
    • BND-05t643 seven simultaneous office citizens; exact admitted-and-exec-ready intersection
      Supports
      Parallel work without admission collapse
      Required nonclaim
      Seven other executable but unadmitted identities remained excluded
    • BND-06t650 S1-S7 raised in one tic; six null-covenant identities named
      Supports
      DAG-of-DAGs execution and residue visibility
      Required nonclaim
      Named residue is not discharged work
    • BND-07t512 BOOM seed raise and t559 7/7 verification
      Supports
      Full-cradle proof with center and mutation boundaries
      Required nonclaim
      Early wall-clock remains absent/unverified where the binder says so
    • BND-08t621-623 live board compiler closes ~119-tic vacuous-green scar
      Supports
      Anti-vacuity and real-consumer requirement
      Required nonclaim
      Prior green doctrine claim was not operational proof
    • BND-09Typed GUNSLINGER/HIDALGO dial and membrane tests
      Supports
      Tempo as explicit policy rather than prose
      Required nonclaim
      Sniper is not a third mode
    • BND-10One live HIDALGO classification
      Supports
      Residue-shaped staged throttle exists
      Required nonclaim
      One event does not establish broad operational adoption
    • BND-11202-tic simulated-economy GUNSLINGER run with center exclusion
      Supports
      Long-running tempo and anchor exercise
      Required nonclaim
      SimOnly is not live money or external economic effect
    • BND-12t568 collapse replay and first named breach flag
      Supports
      Invisible failure made structurally visible
      Required nonclaim
      Shadow replay is not proof of external economy behavior
    • BND-13Harpoon charter's “master” verb falsified and rechartered to “metabolize”
      Supports
      The mechanism survives correction of its own frame
      Required nonclaim
      Narrative charter is design-intent evidence, not law by itself
    • BND-14161 cable receipts and 68 drain receipts
      Supports
      Receipt density and row-level historical continuity
      Required nonclaim
      Counts depend on the extract's named enumeration instant
    • BND-15GUNSLINGER-BACKLOG waves 1-8; every measured wave falsified lead premise
      Supports
      Falsification as a designed property of governed parallelism
      Required nonclaim
      Campaign vocabulary does not prove every wave used WinchDial code path
    • BND-16Horizon quiver H0-H6; detached_reproduced probe refuses unsupported rung
      Supports
      Decisive self-falsifying PHS construction event
      Required nonclaim
      Local probe did not prove remote reproduction
    • BND-17213-row append-only wave ledger with provenance correction
      Supports
      Corrections can be appended without retconning earlier events
      Required nonclaim
      Some rows lack independently verified wall-clock time
    • BND-18t540 marker occlusion and __run__ key-space cure
      Supports
      Observer artifacts must not occlude observed events
      Required nonclaim
      Cure is specific to the recorded failure class
    • BND-19BR4 basin with named tensions and measured residual 0.45
      Supports
      Dissonance preserved as inspectable state
      Required nonclaim
      One deep exercise does not prove broad drain liveness
    • BND-20Center exclusion enforced in three languages
      Supports
      Anchor-preservation doctrine-to-code chain
      Required nonclaim
      Multiple checks do not prove every consumer invokes them
    • BND-21Epoch05 “pinky”: 41 steps, 48 seconds, one branch
      Supports
      Repair cost shifts into prior anchor structure
      Required nonclaim
      Historical event does not establish universal repair economics
    • BND-22Rollback gate armed five times, zero refusals in 213 rows
      Supports
      Armed-but-not-fired is a valid evidence class
      Required nonclaim
      Existence and smoke tests do not equal live refusal use

    Stored primary artifacts

    Validation receipt
    Package hubFull text