{
  "date": "2026-11-04",
  "purpose": "Self-contained selection of certificate checks for a Hexagon submission with at most 100 files",
  "archive_file_count": 48,
  "nested_archives": false,
  "source_files": 33,
  "checks": 16,
  "indexed_input_records": 768,
  "indexed_data_files": 5,
  "manuscript_bytes_unchanged": true,
  "mathematical_source_bytes_unchanged": true,
  "data_records_restore_original_bytes": true,
  "tested_from_fresh_extraction": true,
  "full_searches_rerun": false,
  "validation_results": [
    {
      "check": "n7-ab",
      "program": "N7/code/ab/independent_check.py",
      "exit_code": 0,
      "seconds": 1.672
    },
    {
      "check": "n7-ccc",
      "program": "N7/code/ccc/independent_verification.py",
      "exit_code": 0,
      "seconds": 0.228
    },
    {
      "check": "n7-mixed",
      "program": "N7/code/mixed/verify_mixed.py",
      "exit_code": 0,
      "seconds": 3.996
    },
    {
      "check": "n7-f4",
      "program": "N7/code/f4/verify_candidates.py",
      "exit_code": 0,
      "seconds": 0.132
    },
    {
      "check": "n7-isolated",
      "program": "N7/code/isolated45/verify.py",
      "exit_code": 0,
      "seconds": 0.045
    },
    {
      "check": "n7-affine",
      "program": "N7/code/affine4/verify_export.py",
      "exit_code": 0,
      "seconds": 12.191
    },
    {
      "check": "n7-completion",
      "program": "N7/code/completion/check.py",
      "exit_code": 0,
      "seconds": 0.113
    },
    {
      "check": "n7-squares",
      "program": "N7/code/square/verify_square_families.py",
      "exit_code": 0,
      "seconds": 0.293
    },
    {
      "check": "n8-c-reduction",
      "program": "N8/n8_C_sector/code/verify_reduction.py",
      "exit_code": 0,
      "seconds": 0.596
    },
    {
      "check": "n8-c-squares",
      "program": "N8/n8_C_sector/code/verify_c_squares.py",
      "exit_code": 0,
      "seconds": 0.456
    },
    {
      "check": "n8-c-final",
      "program": "N8/n8_C_sector/code/verify_final.py",
      "exit_code": 0,
      "seconds": 0.387
    },
    {
      "check": "n8-aaa-results",
      "program": "N8/n8_aaa_complete/code/verify_results.py",
      "exit_code": 0,
      "seconds": 2.614
    },
    {
      "check": "n8-aaa-equivalences",
      "program": "N8/n8_aaa_complete/code/verify_equivalences.py",
      "exit_code": 0,
      "seconds": 3.885
    },
    {
      "check": "n8-class22-display",
      "program": "N8/proofs/AAA_class22/code/verify_displayed_data.py",
      "exit_code": 0,
      "seconds": 0.033
    },
    {
      "check": "n8-ab-final",
      "program": "N8/n8_AB_completion/code/final_verification.py",
      "exit_code": 0,
      "seconds": 48.864
    },
    {
      "check": "n8-cycles",
      "program": "N8/code/verify_cycle_censuses.py",
      "exit_code": 0,
      "seconds": 0.36
    }
  ],
  "full_code_archive_sha256": "09b054e57cb6a8f201e872b2913b213f0f669989849e6b376c89ae3ade63d744",
  "manuscript_sha256": {
    "002.tex": "5a941da7b88b3f337159e04bb88ea362b973b87f5d22e485ceb1fa2eb324810a",
    "002.pdf": "33000a3fd6d113e52f4feb04f0d51641247ddcd2bda619865c8e4a9e0c440680"
  }
}