{
  "schema": "RELATIVE_REPRESENTATION_EXECUTION/1",
  "date": "2026-10-15",
  "python": "3.10.21",
  "command": ["python3", "verify_omega_thesis.py"],
  "optimized_command": ["python3", "-O", "verify_omega_thesis.py"],
  "exit_codes": [0, 0],
  "logs_byte_identical": true,
  "source_kind": "Transcribed from the printed Appendix B listing, lines 1-473. The companion source file was not attached. These bytes are not asserted to be that unseen file.",
  "reconstructed_source_sha256": "e6330f8327f3ce39c61ca666864171a3470044117147b20a3237ba1931e7d506",
  "thesis_reported_runtime": "3.13.5",
  "thesis_json_logs": "NOT_SUPPLIED",
  "companion_audit_log": "NOT_SUPPLIED",
  "manifest": "NOT_SUPPLIED",
  "declared_counts_printed_by_this_run": {
    "free_variable_identities": 28,
    "seeds": 32768,
    "prefix_identities": 753664,
    "full_reversals": 32768,
    "first_residue_inversions": 32768,
    "maximum_extinction": 10,
    "invalid_records_rejected": 4,
    "small_floor_sums": 2430,
    "point_interpolation_subsets": 63,
    "interval_interpolation_subsets": 31,
    "two_error_position_pairs": 15,
    "spherical_monomials_degree_at_most_5": 56,
    "gram_entries": 81,
    "order_adjunction_instances": 3000,
    "two_time_observer_states": 121,
    "payload_bytes": 62,
    "byte_ledgers": 62,
    "metric_pairs_not_a_table_1_row": 25
  },
  "floor_certificate": {
    "first_disagreement": 42189065,
    "common_floor_sum": 302541195258184,
    "real_floor_at_boundary": 14342163,
    "rational_floor_at_boundary": 14342162,
    "enumerated": false
  },
  "not_run_here": ["Julia", "Rust", "Lean", "companion audit log", "mutation tests", "manifest"],
  "written_proof_review": "NOT_REVIEWED",
  "formal_proof_kernel": "NOT_RUN",
  "physical_unification": "NOT_ESTABLISHED",
  "canonical_sine": "NOT EVALUATED",
  "auxiliary_seed": "1/2",
  "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."
}