{
  "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "claim": "No four arbitrary mutually unbiased orthonormal bases in complex dimension six, together with a separate three-basis construction",
  "arithmetic": [
    "Correctly rounded binary64 add/subtract/multiply/divide/square root; binary64 intermediates",
    "Round to nearest, including constants and global initialization before main",
    "Separate operations: -ffp-contract=off; no fast-math reassociation",
    "Masked floating exceptions; no flush-to-zero or denormals-are-zero",
    "C numeric locale; little-endian records; specified integer widths",
    "The two cover pow(...,2) expressions lower to the analyzed multiply sequences; check disassembly per rebuilt binary"
  ],
  "evidence_limits": [
    "Compiler flags and limited probes do not prove all compiler/primitive semantics",
    "No dynamic pow symbol alone does not verify the needed instruction sequence",
    "Native binary hashes bind one build; a rebuilt binary need not match the recorded build",
    "Record counts/hashes do not prove the geometric or arithmetic lemmas"
  ],
  "record_format": {
    "header": "8-byte unsigned record count",
    "record_bytes": "356 + 288*k",
    "k_range": [
      0,
      10
    ],
    "zero_count_bytes": 8,
    "checks": [
      "All finite bounded fields",
      "Declared count reaches exact EOF",
      "Initial C failures are unchanged ordered subsequences of their inputs"
    ]
  },
  "stages": [
    {
      "name": "cover",
      "invocations": 1,
      "output_count": 249878
    },
    {
      "name": "A",
      "invocations": 4,
      "input_partition": [
        62470,
        62470,
        62469,
        62469
      ],
      "output_count": [
        764,
        774,
        757,
        788
      ],
      "unresolved": 0
    },
    {
      "name": "B mid",
      "invocations": 1,
      "input_count": 3083,
      "output_count": 600,
      "unresolved": 0
    },
    {
      "name": "B fine",
      "invocations": 1,
      "input_count": 600,
      "output_count": 22379,
      "batches": 88,
      "batch_counts": "87*256 + 107",
      "unresolved": 0
    },
    {
      "name": "initial C",
      "invocations": 88,
      "input_count": 22379,
      "exits_zero": 73,
      "exits_one": 15,
      "unresolved_graph_caps": 163
    },
    {
      "name": "B fallback",
      "invocations": 1,
      "input_count": 163,
      "output_count": 1127,
      "unresolved": 0
    },
    {
      "name": "final C",
      "invocations": 4,
      "input_partition": [
        282,
        282,
        282,
        281
      ],
      "unresolved": 0
    }
  ],
  "terminal_contract": [
    "Complete center file before all four A shards",
    "All A assigned centers processed, failedBalls=0 and empty bad text files",
    "Both B stages complete all parents, count consistency and zero-count bad files",
    "All named initial C batches processed exactly once; exit/done/bad/category counts agree",
    "Every initial C failure enters fallback in C-locale filename order",
    "Fallback covers all failures with zero saved failures; four final modulo shards cover every fallback record with no failures",
    "Missing/truncated data, unexpected exit, exhaustion or final unresolved record prevents acceptance"
  ],
  "observed_run_claim": {
    "date_utc": "2026-10-04",
    "native_invocations": 100,
    "supervisor_wall_seconds": "4470.33",
    "interpretation": "Reported by the paper, not reproduced here; previous September 7 execution is not authenticated by matching counts"
  },
  "local_result": "Not reproduced: eleven named paper-relative package paths absent from pinned checkout. This does not establish absence from external distributions or refute the theorem."
}