RESULTS.json

{
  "step": "C275",
  "status": "passed",
  "check_count": 72,
  "checks": [
    "frozen input: C274_CERTIFICATE.json",
    "frozen input: C274_REPORT.md",
    "frozen input: C274_CHECKPOINT.md",
    "frozen input: C274_RESULTS.json",
    "frozen input: C274_EQUATION_SOLUTIONS.json",
    "frozen input: C274_ARTIFACT_MANIFEST.json",
    "frozen input: FILE_18.md",
    "frozen input: FILE_09.md",
    "frozen input: MIRROR_COMPREHENSIVE.md",
    "frozen input: MIRROR_BILATERAL.md",
    "frozen input: AXIS_REPORT.md",
    "frozen input: BRANCH_3PLUS7.md",
    "frozen input: C266_PROVENANCE_EXTRACTION.json",
    "C274 predecessor digest",
    "C274 certificate binds C274_REPORT.md",
    "C274 certificate binds C274_CHECKPOINT.md",
    "C274 certificate binds C274_RESULTS.json",
    "C274 solution ledger bound to retained manifest",
    "retained C274 outcome, without rerunning its campaign",
    "retained extraction provenance: MIRROR_COMPREHENSIVE.md",
    "retained extraction provenance: MIRROR_BILATERAL.md",
    "retained extraction provenance: BRANCH_3PLUS7.md",
    "passage range and sentinel: P01",
    "passage range and sentinel: P02",
    "passage range and sentinel: P03",
    "passage range and sentinel: P04",
    "passage range and sentinel: P05",
    "passage range and sentinel: P06",
    "passage range and sentinel: P07",
    "passage range and sentinel: P08",
    "passage range and sentinel: P09",
    "passage range and sentinel: P10",
    "passage range and sentinel: P11",
    "passage range and sentinel: P12",
    "passage range and sentinel: P13",
    "passage range and sentinel: P14",
    "passage range and sentinel: P15",
    "passage range and sentinel: P16",
    "passage range and sentinel: P17",
    "passage range and sentinel: P18",
    "passage range and sentinel: P19",
    "passage range and sentinel: S01",
    "passage range and sentinel: S02",
    "passage range and sentinel: S03",
    "passage range and sentinel: S04",
    "passage range and sentinel: S05",
    "assessment references resolve: A",
    "assessment references resolve: B",
    "assessment references resolve: C",
    "supplement kept outside premise evidence",
    "source bounds from canonical table rows",
    "source width and corresponding source gaps",
    "A recovered from closing-source pair and held598",
    "C endpoint equations are the same constraint",
    "A plus twice B equals twice LXX-origin condition D",
    "MT opening at retained minus6 is equivalent to A",
    "SP reflection gives4715 once MT5290 is held",
    "SP raw580 gap differs from selected575 translation gap",
    "join theorem retains joining requirement",
    "LXX opening source radius is10K and maps to ON by E",
    "source-qualified3K+7K subdivision",
    "S11 explicitly retains established span and target identity",
    "supplement row-specific full430 sources",
    "supplement Creation-to-Jared durations",
    "supplement MT/LXX offsets vary by source event",
    "supplement landing and comparison: Creation",
    "supplement physical pair crossover: Creation",
    "supplement reflected same-season anchor comparison: Creation",
    "supplement landing and comparison: Jared",
    "supplement physical pair crossover: Jared",
    "supplement reflected same-season anchor comparison: Jared",
    "supplement gap difference and expanded difference"
  ],
  "frozen_existing_inputs": 13,
  "premises_audited": 3,
  "provenance_passages": 19,
  "separate_supplement_passages": 5,
  "classification_is_authored": true,
  "historical_necessity_machine_proved": false,
  "historical_campaigns_rerun": 0,
  "new_event_or_parameter_search": false,
  "canonical_or_graph_edits": false,
  "new_independent_review": false,
  "next_step_executed": false
}