{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "title": "The Penta-Ledger Auditor Review Standards & Specification",
  "version": "1.1",
  "releaseDate": "2026-08-17",
  "status": "Active Standard",
  "platform": "The Penta-Ledger",
  "domain": "penta-ledger.org",
  "foundationalFramework": {
    "name": "Three-State Epistemic Minimum (TSEM)",
    "description": "Mandates a permanent 3-state ontological partition (S_P, S_I, S_U) rather than a 2-state boolean minimum, preventing false forced choices and protecting undecidable propositions in permanent quarantine against rhetorical overwriting.",
    "partitions": [
      {
        "symbol": "S_P",
        "name": "Defensibly Possible",
        "definition": "Logically consistent with verified axioms, supported by constructive or empirical evidence."
      },
      {
        "symbol": "S_I",
        "name": "Provably Impossible",
        "definition": "Explicitly violates boundary constraints, conservation laws, or proven contradictions."
      },
      {
        "symbol": "S_U",
        "name": "Irreducibly Unknowable",
        "definition": "Fundamentally undecidable from within the system or intrinsically inaccessible; held in permanent quarantine."
      }
    ],
    "dualEngineProcess": {
      "constructiveEngine": "Bottom-up deterministic testing for 'What Is' via step-by-step logic gates and Lean 4 mechanization.",
      "eliminativeEngine": "Top-down heuristic pruning for 'What Isn't', generating hard negative constraints.",
      "convergenceGoal": "Search space collapses to exactly 1 provably consistent solution, or search is exhausted into S_U."
    }
  },
  "targetAudience": [
    "Manuscript Authors",
    "Lead Auditors",
    "Skeptical Academics",
    "Science Enthusiasts & Observers",
    "European Open-Access Archival Repositories (HAL / Zenodo)"
  ],
  "epistemicStates": [
    {
      "order": 1,
      "code": "UNKNOWABLE",
      "tsemDomain": "S_U",
      "label": "Unknowable",
      "definition": "Based on what has been submitted, it's impossible to ever know if it is true or false."
    },
    {
      "order": 2,
      "code": "UNDECIDABLE",
      "tsemDomain": "S_U",
      "label": "Undecidable",
      "definition": "Based on what has been submitted, it's possible to know that it's one of true or false but don't know which one."
    },
    {
      "order": 3,
      "code": "IMPOSSIBLE",
      "tsemDomain": "S_I",
      "label": "Impossible",
      "definition": "Based on what has been submitted, it's logically impossible or provably false."
    },
    {
      "order": 4,
      "code": "POSSIBLE",
      "tsemDomain": "S_P",
      "label": "Possible",
      "definition": "Based on what has been submitted, it is possible that it is true."
    },
    {
      "order": 5,
      "code": "PROVABLE",
      "tsemDomain": "S_P",
      "label": "Provable (Validated)",
      "definition": "Based on what has been submitted, it can be proved that it is true and we have the Lean4 code that does so."
    }
  ],
  "complianceMatrix": [
    {
      "section": "Foundational: TSEM Tri-State Partition",
      "tier": "MANDATORY",
      "fields": [
        "S_P",
        "S_I",
        "S_U"
      ],
      "purpose": "Prevents false binary dilemmas and protects unprovable propositions from rhetorical overwriting."
    },
    {
      "section": "Frontmatter: Identification & Hash",
      "tier": "MANDATORY",
      "fields": [
        "reviewId",
        "paperHash",
        "paperTitle",
        "author",
        "leadAuditor",
        "publishedDate"
      ],
      "purpose": "Cryptographic provenance and author accountability."
    },
    {
      "section": "Frontmatter: Epistemic Verdict & Taxonomy",
      "tier": "MANDATORY",
      "fields": [
        "verdict",
        "codeFlagged",
        "requesterType",
        "mscCodes",
        "tags"
      ],
      "purpose": "Instant visual indexing and classification."
    },
    {
      "section": "Frontmatter: Plain-English Abstract",
      "tier": "MANDATORY",
      "fields": [
        "abstract"
      ],
      "purpose": "Accessible 2-3 sentence summary."
    },
    {
      "section": "Frontmatter: Multi-Claim Array",
      "tier": "CONDITIONAL",
      "fields": [
        "claims"
      ],
      "purpose": "Mandatory if paper has >= 2 claims."
    },
    {
      "section": "Frontmatter: Auditable Logic Ledger",
      "tier": "MANDATORY",
      "fields": [
        "ledger"
      ],
      "purpose": "Itemized equation-level proof verification (min 3-5 items)."
    },
    {
      "section": "Section 1: Executive Summary & Formal Claims",
      "tier": "MANDATORY",
      "subsections": [
        "1.1 Intuition",
        "1.2 Formal Claims",
        "1.3 Axiomatic Model"
      ]
    },
    {
      "section": "Section 2: Gowers' Tricki Decomposition",
      "tier": "RECOMMENDED",
      "subsections": [
        "2.1 Core Strategy",
        "2.2 Known Barriers"
      ]
    },
    {
      "section": "Section 3: Computational & Proof-Code Verification",
      "tier": "CONDITIONAL",
      "subsections": [
        "3.1 Python AST Audit",
        "3.2 Lean 4 Kernel Check"
      ]
    },
    {
      "section": "Section 4: Stress-Testing & Counterexamples",
      "tier": "RECOMMENDED",
      "subsections": [
        "4.1 Boundary Analysis",
        "4.2 Minimal Counterexample"
      ]
    },
    {
      "section": "Section 5: Epistemic Verdict & Remediation Vector",
      "tier": "MANDATORY",
      "subsections": [
        "5.1 Verdict Synthesis",
        "5.2 Author Remediation Vector"
      ]
    },
    {
      "section": "Section 6: Citable Metadata & Archival Record",
      "tier": "MANDATORY",
      "subsections": [
        "BibTeX (journal = {The Penta-Ledger})",
        "HAL Metadata"
      ]
    }
  ],
  "qualityControlChecklist": [
    "1. SHA-256 hash verified using sha256sum <file.pdf>.",
    "2. TSEM Tri-State Ontological Partition completed (S_P, S_I, S_U).",
    "3. Assigned verdict strictly matches one of the canonical 5 states.",
    "4. Deductive vs Inductive boundary preserved: No simulation claimed as proof.",
    "5. Abstract is accessible to non-specialists (max 3 sentences).",
    "6. Logic Ledger contains at least 3-5 items with explicit coordinates.",
    "7. Tone is neutral, respectful, and focused purely on mathematical structure.",
    "8. If paper includes code or Lean scripts, Section 3 is populated.",
    "9. Section 5.2 contains an actionable, constructive Remediation Vector.",
    "10. BibTeX citation block and HAL metadata are formatted."
  ]
}