{
  "schema": "an04-separated-system-branch-models/v1",
  "recorded_utc": "2026-10-06T23:13:44.653022+00:00",
  "passed": true,
  "checks": [
    "Rotating orthonormal frame and its signed time connection",
    "Both signed off-diagonal gap corrections cancel the connection",
    "Exact rotating-frame spectrum includes the lower-order correction",
    "Pauli principal matrix has exactly the two uniformly separated branches on the unit sphere",
    "Both complementary Hermitian spectral projections satisfy the sphere identities",
    "Positive-eigenline equator frames have the exact negative-unit winding transition",
    "Ordered full-projector time commutator has the correct inverse-family sign",
    "Exact two-branch translation solves BR32 including rotating lower coefficient and initial identity",
    "Specified lower coefficient cancels the eigenframe time connection exactly"
  ],
  "finite_groups": 9,
  "source_sha256": "9cac5b6654ff09c938e2baed6831ed834b58e97ea585c004a0d71bdfa701d3a0",
  "script_sha256": "41c0e77b54110de358d1588d2d306c0328b64c11c924f7849c057caf94b9a695",
  "scope": "Finite algebraic model identities only; no general symbol, global evolution or topology theorem certified by these checks.",
  "whole_receiving_proof_checked": false,
  "public_coverage_registered": false
}