{
  "ledger_version": "nt-claims:v1",
  "note": "Every claim this site makes, with its evidence label. A 'tested' claim names the test that backs it; tests/claims.test.ts fails if that test does not exist. A label changes only when linked evidence exists.",
  "claims": [
    { "id": "C-01", "claim": "The gate returns EXECUTE only when every check is PASS.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/gate.test.ts", "test_name": "EXECUTE only when every check passes" } },
    { "id": "C-02", "claim": "Missing inputs produce UNMEASURABLE or UNAVAILABLE, never PASS.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/gate.test.ts", "test_name": "missing inputs are never PASS" } },
    { "id": "C-03", "claim": "Each synthetic example produces its recorded outcome and reason codes.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/gate.test.ts", "test_name": "examples reproduce expected determinations" } },
    { "id": "C-04", "claim": "A determination recomputes to the same digest and receipt (self-replay, not independent replay).", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/gate.test.ts", "test_name": "self-replay matches" } },
    { "id": "C-05", "claim": "A reassessment references the prior receipt and leaves the prior determination unchanged.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/gate.test.ts", "test_name": "reassessment links prior receipt" } },
    { "id": "C-06", "claim": "Every archetype a class names has a registry entry and a detector.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/appraisal.test.ts", "test_name": "every class archetype has a detector" } },
    { "id": "C-07", "claim": "The appraisal output contains no score, price, premium or rating.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/appraisal.test.ts", "test_name": "appraisal has no score fields" } },
    { "id": "C-08", "claim": "Classes, archetypes and examples validate against their published JSON Schemas.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/registry.test.ts", "test_name": "registry validates against schemas" } },
    { "id": "C-09", "claim": "Signed receipts verify, and fail verification after tampering.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/signing.test.ts", "test_name": "signed receipt verifies and detects tampering" } },
    { "id": "C-10", "claim": "Portfolio concentration and the epistemic IBNR count are computed from determinations.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/portfolio.test.ts", "test_name": "portfolio reports shared nodes and IBNR" } },
    { "id": "C-16", "claim": "The study answer key is generated from the gate's checks and matches the hash recorded in the preregistration.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/study.test.ts", "test_name": "published answer key matches the gate" } },
    { "id": "C-17", "claim": "Threshold checks report headroom to their declared limit, measured from the worst end of any declared range.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/headroom.test.ts", "test_name": "threshold checks report headroom from the worst end of the range" } },
    { "id": "C-18", "claim": "A declared range that straddles a limit is UNMEASURABLE, never PASS.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/headroom.test.ts", "test_name": "a range straddling a limit is UNMEASURABLE, never PASS" } },
    { "id": "C-19", "claim": "Each threshold check states the value at which its result would flip, and that value does flip it.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/headroom.test.ts", "test_name": "the flip threshold really flips the check" } },
    { "id": "C-20", "claim": "Every crossing class declares whether its consequence is bounded, and the conditions export carries it.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/headroom.test.ts", "test_name": "every class declares its consequence bound, and exports carry it" } },
    { "id": "C-22", "claim": "When several passing checks tie for least headroom, the appraisal lists all of them rather than picking one.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/headroom.test.ts", "test_name": "appraisal lists every check tied at the nearest limit" } },
    { "id": "C-23", "claim": "The receipt chain verifies, and detects an edited, removed, reordered or mismatched record when checked against the original records or head hash.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/recorder.test.ts", "test_name": "chain verifies and detects tampering" } },
    { "id": "C-27", "claim": "A chain rewritten with recomputed hashes still verifies on its own; only a head hash kept elsewhere detects it.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/recorder.test.ts", "test_name": "a recomputed chain is caught only by a head hash kept elsewhere" } },
    { "id": "C-24", "claim": "The insurer view carries no names, sources or proposal text from any example proposal.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/recorder.test.ts", "test_name": "insurer view carries no identifying text from the proposal" } },
    { "id": "C-25", "claim": "An irreversible crossing holds unless its class fails closed, and a fail-silent class never passes.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/recorder.test.ts", "test_name": "irreversible crossings require a fail-closed class" } },
    { "id": "C-26", "claim": "A crossing executed before its determination counts as epistemic IBNR even when the determination is EXECUTE.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/recorder.test.ts", "test_name": "execution before the determination counts as epistemic IBNR even when EXECUTE" } },
    { "id": "C-28", "claim": "Evidence below a class's minimum tier fails, and evidence without a tier is unmeasurable.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/source-spec.test.ts", "test_name": "evidence below the class's minimum tier fails, and a missing tier is unmeasurable" } },
    { "id": "C-29", "claim": "A class that breaks the source's I2 admissibility rules cannot warrant any crossing.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/source-spec.test.ts", "test_name": "classes that break the source's I2 rules cannot warrant any crossing" } },
    { "id": "C-30", "claim": "A determination uses only evidence available at its record time, so re-running at an earlier time reconstructs what was known then.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/source-spec.test.ts", "test_name": "a determination uses only evidence available at its record time" } },
    { "id": "C-31", "claim": "Late evidence can defeat a crossing's standing while the original determination stays unchanged and still replays.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/source-spec.test.ts", "test_name": "late evidence defeats the original standing without rewriting it" } },
    { "id": "C-32", "claim": "Standing changes are labelled PRESERVED, STRENGTHENED, WEAKENED, DEFEATED or NEW with their causes.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/source-spec.test.ts", "test_name": "standing effects cover revision, weakening and new determinations" } },
    { "id": "C-33", "claim": "Insurer exports coarsen timestamps to the hour and suppress any class with fewer than k crossings.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/source-spec.test.ts", "test_name": "insurer exports coarsen time and suppress classes below k" } },
    { "id": "C-34", "claim": "The evidence tiers, class dimensions and I2 rules match crossing-graph-spec v0.4 as the source intends them for real domains.", "label": "proposed",
      "evidence": { "kind": "none", "ref": null } },
    { "id": "C-35", "claim": "The cover scenario validates against its published schema.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/cover.test.ts", "test_name": "cover scenario validates against its schema" } },
    { "id": "C-36", "claim": "The cover trigger fires only when reliance, failure before T, a defined loss and a declared causal link are all present; any one missing leaves it NOT_TRIGGERED.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/cover.test.ts", "test_name": "an insured event needs reliance, failure before T and a defined, attributable loss" } },
    { "id": "C-37", "claim": "The joined record reports, per stage, how many crossings have observed data; reliance, consequence and loss are observed for one of twelve examples.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/cover.test.ts", "test_name": "completeness shows the later joins are mostly missing" } },
    { "id": "C-38", "claim": "Every applicable mutant of each class's warranted example holds for exactly its expected reason.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/cover.test.ts", "test_name": "every applicable mutant holds for exactly its expected reason" } },
    { "id": "C-39", "claim": "A joined dataset from configuration through reliance, consequence and loss, collected in real deployments, can support pricing.", "label": "proposed",
      "evidence": { "kind": "none", "ref": null } },
    { "id": "C-40", "claim": "Value status and structure status move independently: a pending amount raises the first, an unpathed independent observation raises the second.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/uncertainty.test.ts", "test_name": "value and structure move independently over the INS-005 timeline" } },
    { "id": "C-41", "claim": "Structure is untested by default and supported only after a passed structural test; a failed test or an unpathed consequence challenges it.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/uncertainty.test.ts", "test_name": "an absence of challenges is untested, never supported" } },
    { "id": "C-42", "claim": "Hidden coupling challenges structure without changing value status.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/uncertainty.test.ts", "test_name": "hidden coupling challenges structure without touching value status" } },
    { "id": "C-43", "claim": "The uncertainty pair contains no number and is never collapsed into a single score.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/uncertainty.test.ts", "test_name": "the pair is never collapsed into a single number" } },
    { "id": "C-44", "claim": "A triggered cover result carries an explicit structural caveat.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/uncertainty.test.ts", "test_name": "a triggered cover result carries the structural caveat" } },
    { "id": "C-45", "claim": "The declared consequence paths of each class contain the consequences that matter in real deployments.", "label": "proposed",
      "evidence": { "kind": "none", "ref": null } },
    { "id": "C-46", "claim": "A published class passes syntactic admission (schema, I2, battery); admission never claims domain validation.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/workspace.test.ts", "test_name": "admission is syntactic: every published class passes schema, I2 and its battery" } },
    { "id": "C-47", "claim": "Without a warranted example the battery is reported unavailable, not passed.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/workspace.test.ts", "test_name": "without a warranted example the battery is unavailable, not passed" } },
    { "id": "C-48", "claim": "Schema errors and I2 violations are refused, and refusals stay on the workspace record.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/workspace.test.ts", "test_name": "schema errors and I2 violations are refused, and refusals stay on the record" } },
    { "id": "C-49", "claim": "A workspace file serialises to stable bytes and every determination replays from the file alone.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/workspace.test.ts", "test_name": "serialises to stable bytes and replays from the file alone" } },
    { "id": "C-50", "claim": "Replay fails visibly when class or policy material is missing, or a proposal or chain record is edited.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/workspace.test.ts", "test_name": "replay needs the class and policy bytes, and any edit is visible" } },
    { "id": "C-51", "claim": "An evidence pack is byte-for-byte reproducible from its workspace and verifies against its manifest.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/workspace.test.ts", "test_name": "is byte-for-byte reproducible from the workspace and verifies" } },
    { "id": "C-52", "claim": "Pack verification reports tampered, missing and extra files and a changed manifest.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/workspace.test.ts", "test_name": "reports tampered, missing and extra files, and a changed manifest" } },
    { "id": "C-53", "claim": "No application source calls a network API.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/workspace.test.ts", "test_name": "no application source calls a network API" } },
    { "id": "C-54", "claim": "Each science claim reports its own value and structure status; an unexecuted path challenges structure.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/science.test.ts", "test_name": "each claim reports its own value and structure status" } },
    { "id": "C-55", "claim": "Disagreeing mappings end UNRESOLVED, and a later convention does not rewrite that outcome.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/science.test.ts", "test_name": "disagreeing mappings end UNRESOLVED and a later convention does not rewrite that" } },
    { "id": "C-56", "claim": "No application source calls a network API, and the exported site loads no third-party resource; a browser run of the workflow recorded no requests (docs/LOCAL_FIRST_CHECK.md).", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/workspace.test.ts", "test_name": "no application source calls a network API" } },
    { "id": "C-57", "claim": "Pilots using the workspace are a viable paid offer.", "label": "proposed",
      "evidence": { "kind": "none", "ref": null } },
    { "id": "C-58", "claim": "The synthetic INS-005 walkthrough moves PENDING/UNTESTED, then KNOWN/UNTESTED, then KNOWN/CHALLENGED in the workspace, with each observation, mapping attempt and reason kept.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/observations.test.ts", "test_name": "moves PENDING/UNTESTED → KNOWN/UNTESTED → KNOWN/CHALLENGED with the observation, mapping and reason at each stage" } },
    { "id": "C-59", "claim": "An unmatched observation challenges structure only with a recorded independence basis, labelled declared not verified; without one it is kept as unresolved evidence.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/observations.test.ts", "test_name": "without an independence basis, it is kept as unresolved evidence and does not challenge structure" } },
    { "id": "C-60", "claim": "An observation must cite the exact class version its crossing was determined under.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/observations.test.ts", "test_name": "binds an observation to the exact class version the crossing was determined under" } },
    { "id": "C-61", "claim": "Corrections and supersessions are appended; earlier records and standings are never rewritten, and historical standings replay.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/observations.test.ts", "test_name": "corrections and supersessions append; earlier records and standings are never rewritten, and history replays" } },
    { "id": "C-62", "claim": "An imported workspace is fully validated before it replaces the open one; malformed records and ambiguous class references are rejected.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/observations.test.ts", "test_name": "rejects malformed files, ambiguous class references and broken observation records, naming every problem" } },
    { "id": "C-63", "claim": "Pack verification rejects duplicate file paths and duplicate manifest entries.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/observations.test.ts", "test_name": "rejects duplicate pack paths and duplicate manifest entries" } },
    { "id": "C-64", "claim": "No class path is created from an observation, and no published class is structurally supported.", "label": "tested",
      "evidence": { "kind": "test", "ref": "tests/observations.test.ts", "test_name": "never creates a class path from an observation, and no class becomes supported" } },
    { "id": "C-21", "claim": "The declared consequence bounds are correct for real instances of each class.", "label": "proposed",
      "evidence": { "kind": "none", "ref": null } },
    { "id": "C-11", "claim": "The ten risk archetypes capture the main forms of epistemic risk in AI-mediated crossings.", "label": "proposed",
      "evidence": { "kind": "none", "ref": null } },
    { "id": "C-12", "claim": "Claims professionals reconstruct decisions faster and more accurately from receipts than from ordinary logs.", "label": "proposed",
      "evidence": { "kind": "file", "ref": "public/study/PROTOCOL.md" } },
    { "id": "C-13", "claim": "The crossing is a usable exposure base for AI-mediated decisions.", "label": "proposed",
      "evidence": { "kind": "none", "ref": null } },
    { "id": "C-14", "claim": "Epistemic IBNR is a leading indicator of AI-related loss.", "label": "proposed",
      "evidence": { "kind": "none", "ref": null } },
    { "id": "C-15", "claim": "The crossing classes reflect real insurer, accounting or model-risk practice.", "label": "proposed",
      "evidence": { "kind": "none", "ref": null } }
  ]
}