coverage.json

{
  "version": "3.0.0",
  "scope": "canonical-main-papers",
  "note": "The Bronze/Silver/Gold tier vocabulary was withdrawn in the August 2026 audit. It was self-assigned, it was assigned to nearly every module, and the tool that checked it compared status strings rather than assessing depth. Statuses below describe what each module proves.",
  "status_vocabulary": {
    "definitional-algebra": "Proves standard facts about the quantities the module defines. Correct, elementary, and not evidence for the paper's substantive claims.",
    "definitional-algebra-assumption-carried": "As above, and additionally rests on stated modelling assumptions that Lean neither verifies nor can verify. See ASSUMPTIONS_LEDGER.md.",
    "retracted-functional": "Formalises a functional that has been retracted. Theorems remain valid about the formula; the mapping to claims about the world is withdrawn.",
    "archived": "Moved out of the library target. Not built, not maintained, not claimed. See archive/README.md."
  },
  "papers": [
    {"paper": "axiom-of-consent", "module": "AxiomOfConsent", "status": "retracted-functional", "retracted": "2026-07-30"},
    {"paper": "agonism-endogenisation", "module": "AgonismEndogenisation", "status": "definitional-algebra-assumption-carried", "assumptions": ["A-AE-ENT-BRIDGE", "A-AE-ENT-QUAD", "A-AE-OVERHEAD-FIXED"], "note": "Depends on the AxiomOfConsent functional. Its invariance result is stated as an argmin-set equality and survives the retraction as algebra, but its bridge to the AoC reading does not."},
    {"paper": "rom-ethics", "module": "ROM", "status": "definitional-algebra"},
    {"paper": "rom-ethics-bridge", "module": "ROMEthics", "status": "definitional-algebra", "note": "ethicalSurvival_mono_alignment_via_friction depends on a withdrawn AoC theorem and is marked in source."},
    {"paper": "rom-legitimacy-carve", "module": "RegimeTenure", "status": "definitional-algebra", "note": "The first-passage identity T = C0/b is proved by hand in the paper and is not formalised here."},
    {"paper": "consensual-sovereignty", "module": "ConsensualSovereignty", "status": "definitional-algebra"},
    {"paper": "identity-thesis", "module": "IdentityThesis", "status": "definitional-algebra", "note": "The named central theorem is definitionally true; the file's own comment says so."},
    {"paper": "semantic-vision", "module": "SemanticVision", "status": "definitional-algebra"},
    {"paper": "genre-mimicry", "module": "GenreMimicry", "status": "definitional-algebra"}
  ],
  "archived": [
    {"paper": "cbdc-privacy", "module": "CBDCPrivacy", "status": "archived"},
    {"paper": "asymptotic", "module": "AsymptoticProtection", "status": "archived"},
    {"paper": "autonomous", "module": "AutonomousRedteam", "status": "archived"},
    {"paper": "aml-paradox", "module": "AMLParadox", "status": "archived"},
    {"paper": "monograph-qualia", "module": "MonographQualia", "status": "archived"},
    {"paper": "consciousness-nominalisation", "module": "ConsciousnessNominalisation", "status": "archived"},
    {"paper": "quantum-oscillation", "module": "QuantumOscillatory", "status": "archived"}
  ]
}