{
  "schema": "INTEGRATION_PROOFS_EXECUTION/1",
  "date": "2026-10-15",
  "python": "3.10.21",
  "command": [
    "python3",
    "verify.py",
    "certificates.json"
  ],
  "optimized_command": [
    "python3",
    "-O",
    "verify.py",
    "certificates.json"
  ],
  "exit_codes": [
    0,
    0
  ],
  "logs_byte_identical": true,
  "matches_supplied_report_except_runtime": true,
  "supplied_runtime": "3.13.5",
  "certificate_sha256": "daaee23b3c27bbb320d0f8db2c8d00a4a077f08e5fe0056864323873ddf71b19",
  "algebra_checks": 2314,
  "finite_audit": {
    "seeds": 32768,
    "horizon": 23,
    "transitions": 753664,
    "maximum_extinction_step": 10,
    "floor_agreement_threshold_certified_not_enumerated": 42189065
  },
  "not_run_here": [
    "Julia",
    "Rust",
    "adversarial_audit.py",
    "sympy_crosscheck.py",
    "historical verifier",
    "proof assistant"
  ],
  "written_proof_review": "NOT_REVIEWED",
  "formal_proof_kernel": "NOT_RUN",
  "external_manuscript_proofs": "NOT_VERIFIED",
  "neural_performance_claims": "NOT_ESTABLISHED",
  "canonical_sine": "NOT EVALUATED",
  "hash_limit": "A matching digest checks byte integrity. It does not itself verify that the recorded execution occurred or that the checker is mathematically correct."
}