{
  "schema": "SUPPLEMENT_1_EXECUTION/1",
  "date": "2026-10-15",
  "python": "3.10.21",
  "command": ["python3", "verify_supplement_1.py"],
  "optimized_command": ["python3", "-O", "verify_supplement_1.py"],
  "exit_codes": [0, 0],
  "logs_byte_identical": true,
  "checker_bytes": 25845,
  "checker_sha256": "09d2fa0e6b5ac34a50344177c67aa4a3b0159565c8ac3aeccf728db4437c51e3",
  "normal_log_bytes": 2173,
  "normal_log_sha256": "2aa93980952578e790cb6b67b5d9e505c4f6898ca8baead40b092bc253323140",
  "declared_groups": {
    "canonical_outer_readings": ["5+2phi+2s", "1-2phi-2s"],
    "symbolic_inverse": true,
    "witnesses": [[7], [6]],
    "serialized_bytes": [77, 77],
    "smith_diagonal": [2, 4],
    "grids": 3,
    "nodes": 12,
    "harmonic_degree": 2,
    "basis_recoveries": 9,
    "composition": true,
    "round_trip": true,
    "constants_preserved": true,
    "higher_frequency": "not enabled"
  },
  "not_in_this_release": ["frame atlas", "boundary-field targets", "Lean generation", "SMT generation"],
  "written_proof_review": "NOT_REVIEWED",
  "formal_execution": "NOT_RUN",
  "cyclotomic_degree": "CITED_NOT_REPROVED",
  "canonical_sine": "NOT_EVALUATED",
  "sage": "NOT_CALLED",
  "thesis_file": "UNCHANGED",
  "frozen_g6": "UNCHANGED",
  "hash_limit": "The hosted logs have recorded SHA-256 digests. Matching those digests checks the logs’ byte integrity. The logs document the archive’s reported executions. Rerunning the checker tests whether those results are reproducible. A matching hash does not itself verify that the recorded execution occurred or that the checker is mathematically correct. A hash identifies bytes; it does not certify their mathematical correctness."
}