PHASE 4 READ-ONLY BASELINE REGRESSION — PHASES 0–3

run_utc: 2026-08-29T00:36:03Z
python: 3.12.13
workspace: /workspace/scratch/33c456a0a128
mutation_policy: read-only; no Phase 0–3 file was edited
overall_status: PASS

TEST TOTAL

Phase 0: PASS 47/47
Phase 1: PASS 62/62
Phase 2: PASS 155/155
Phase 3: PASS 105/105
Total:   PASS 369/369

PHASE 0

Commands, run from math_record_boundary_phase0:
  python3 -m unittest -v test_all.py
  python3 -m py_compile proof_checker.py pair_checker.py self_audit.py test_all.py
  python3 proof_checker.py --audit-contract
  python3 proof_checker.py --audit-erasure proof_with_bridge.json
  python3 self_audit.py self_claims.json
  sha256sum -c K0_MANIFEST.sha256
  sha256sum -c P0_MANIFEST.sha256
  sha256sum -c PACKAGE_MANIFEST.sha256

Results:
  unit_tests: PASS 47/47
  compile: PASS
  contract_audit: NO-AUTONOMOUS-EXPORT-IN-MRB-0
  erasure_audit: BRIDGE-ERASURE-PRESERVES-M-IN-MRB-0
  self_audit: SELF-AUDIT-PASS
  K0_manifest_entries: PASS
  P0_manifest_entries: PASS
  package_manifest_entries: PASS

Manifest-file SHA-256 values (computed with sha256sum; equal BASELINE_RECORD.txt):
  K0_MANIFEST.sha256: d3a498655b295ef547fd63d56fdd2063d98d72d4a1ab8db835b2c3903f675f50
  P0_MANIFEST.sha256: b5ee7711785497eaefc988333b13a72cae1d9fe6f9b9e421124e927886f1267f
  PACKAGE_MANIFEST.sha256: 6aad6c5a6b0876b5e68aef53dc273d06b1346ba48bd0d11fc2f165a5fa57bf2d

PHASE 1

Commands, run from math_record_boundary_phase1:
  python3 -m unittest -v test_all.py test_application.py test_self_audit.py
  python3 -m py_compile lift_checker.py readset_checker.py application_checker.py phase1_self_audit.py test_all.py test_application.py test_self_audit.py
  python3 lift_checker.py --audit-contract
  python3 readset_checker.py --audit-contract
  python3 application_checker.py --audit-contract
  python3 phase1_self_audit.py self_claims_phase1.json
  sha256sum -c R1_MANIFEST.sha256
  sha256sum -c RELEASE_MANIFEST.sha256
  sha256sum -c PACKAGE_MANIFEST_PHASE1.sha256

Results:
  unit_tests: PASS 62/62
  compile: PASS
  lift_contract_audit: LIFT-INVARIANT-AUDIT-PASS
  readset_contract_audit: READSET-INVARIANT-AUDIT-PASS
  application_contract_audit: APPLICATION-INVARIANT-AUDIT-PASS
  self_audit: PHASE1-SELF-AUDIT-PASS
  R1_manifest_entries: PASS
  release_manifest_entries: PASS
  package_manifest_entries: PASS

Manifest-file SHA-256 values (computed with sha256sum; equal BASELINE_RECORD.txt):
  R1_MANIFEST.sha256: a33fbee4c209764a338f55b3c850323a3eaeab9ff5a9f47c6dd98ffc1e77e04d
  RELEASE_MANIFEST.sha256: 4be78db1b13a34eedd1357370ba02a69af8185da5900a9531d7181c158965092
  PACKAGE_MANIFEST_PHASE1.sha256: 3040214622c7d3afecfef53c8074e00d8d39b128f602e2a5b71fb4a925e6ce82

PHASE 2

Commands, run from math_record_boundary_phase2:
  python3 -m unittest -v test_filtration.py test_provenance.py test_ast_pair.py test_phase2_self_audit.py
  python3 -m py_compile filtration_checker.py provenance_checker.py ast_pair_checker.py phase2_self_audit.py test_filtration.py test_provenance.py test_ast_pair.py test_phase2_self_audit.py
  python3 filtration_checker.py --audit-contract
  python3 provenance_checker.py --audit-contract
  python3 phase2_self_audit.py self_claims_phase2.json
  sha256sum -c R2_MANIFEST.sha256
  sha256sum -c RELEASE_MANIFEST_PHASE2.sha256
  sha256sum -c PACKAGE_MANIFEST_PHASE2.sha256

Results:
  filtration_tests: PASS 49/49
  provenance_tests: PASS 37/37
  ast_pair_tests: PASS 42/42
  self_audit_tests: PASS 27/27
  unit_tests_total: PASS 155/155
  compile: PASS
  filtration_contract_audit: FILTRATION-INVARIANT-AUDIT-PASS
  provenance_contract_audit: PROVENANCE-INVARIANT-AUDIT-PASS
  self_audit: PHASE2-SELF-AUDIT-PASS
  R2_manifest_entries: PASS
  release_manifest_entries: PASS
  package_manifest_entries: PASS

Manifest-file SHA-256 values (computed with sha256sum; equal BASELINE_RECORD.txt):
  R2_MANIFEST.sha256: d6fb16f7114c961e7711e07fb32cd68b6988abb8600264351bab61c1c774b4b5
  RELEASE_MANIFEST_PHASE2.sha256: 1ea85d29dfdd3e7d2f1af10d1ef7de8c3a33941f6aeaab721dcbf3b72be83a7c
  PACKAGE_MANIFEST_PHASE2.sha256: dd0e03d1e150ca0ce20fd6491266beddba4c3a0b6c68f843fb2427bf9c047fda

PHASE 3

Commands, run from math_record_boundary_phase3:
  python3 -m unittest -v test_cyclic_provenance.py test_support_grounding.py test_phase3_self_audit.py
  python3 -m py_compile cyclic_provenance_checker.py support_grounding_checker.py phase3_self_audit.py test_cyclic_provenance.py test_support_grounding.py test_phase3_self_audit.py
  python3 cyclic_provenance_checker.py --audit-contract
  python3 support_grounding_checker.py --audit-contract
  python3 phase3_self_audit.py self_claims_phase3.json
  sha256sum -c R3_MANIFEST.sha256
  sha256sum -c RELEASE_MANIFEST_PHASE3.sha256
  sha256sum -c PACKAGE_MANIFEST_PHASE3.sha256

Results:
  cyclic_provenance_tests: PASS 36/36
  support_grounding_tests: PASS 37/37
  self_audit_tests: PASS 32/32
  unit_tests_total: PASS 105/105
  compile: PASS
  cyclic_contract_audit: CYCLIC-PROVENANCE-INVARIANT-AUDIT-PASS (4164 cases)
  support_contract_audit: SUPPORT-GROUNDING-INVARIANT-AUDIT-PASS (256 cases)
  self_audit: PHASE3-SELF-AUDIT-PASS
  R3_manifest_entries: PASS
  release_manifest_entries: PASS
  package_manifest_entries: PASS

Manifest-file SHA-256 values (computed with sha256sum; equal BASELINE_RECORD.txt):
  R3_MANIFEST.sha256: a224a90f2fe17a85ad9a0108177ef3ca49ab5984ceec6903e519476a68cfd7f6
  RELEASE_MANIFEST_PHASE3.sha256: 4490f4b0e9d69600c16f731966e1dc52fba4a74287cf8b59e22225022a231b9b
  PACKAGE_MANIFEST_PHASE3.sha256: 9435eddf095e4c4a0f06b292d2f9e5fd4cbab9b1a67d0d8b7d24cfe83afafaba

PHASE 3 ARCHIVE CHECK

Archive:
  path: /workspace/scratch/33c456a0a128/Cycle_Is_Not_A_Source_Phase3.zip
  archive_sha256: 7534779ad84a408051a804e4e6e1bf8f50a06611c985856d06df51c3819609f0
  unzip -t: PASS; no errors detected in compressed data

Hashes of manifest bytes extracted directly from the archive:
  math_record_boundary_phase3/PACKAGE_MANIFEST_PHASE3.sha256:
    9435eddf095e4c4a0f06b292d2f9e5fd4cbab9b1a67d0d8b7d24cfe83afafaba
  math_record_boundary_phase3/RELEASE_MANIFEST_PHASE3.sha256:
    4490f4b0e9d69600c16f731966e1dc52fba4a74287cf8b59e22225022a231b9b
  math_record_boundary_phase3/R3_MANIFEST.sha256:
    a224a90f2fe17a85ad9a0108177ef3ca49ab5984ceec6903e519476a68cfd7f6
  result: all equal BASELINE_RECORD.txt and the live read-only Phase 3 files

Phase 3 release member hashes, recomputed and matched by RELEASE_MANIFEST_PHASE3.sha256:
  release/Cycle_Is_Not_A_Source_Phase3_RU.docx:
    fb5c5de67ec45a4ffb2f4243da77d2ec750446878cf36af66f179c5920a395c9
  release/Cycle_Is_Not_A_Source_Phase3_RU.pdf:
    83af5ac6da187d59680e2d108888ac0113b15d2f0228bb2fb612c6dfe32f43d7
  release/a11y_audit.json:
    4c1e50dd8bd6252d2c7ab932ba886e040430694355b56910764f0df021468b39
  release/style_audit.json:
    baf1d4dffa879644b663e54c893f478d5f435ed53497106bc058a1b2214a4962
  release/style_lint.json:
    8445414dd704cd9e25e9ff74a6ea076b834346bcae3b335221a94bf4097c6f1b

FAILURES AND LIMITS

failures: none
command_ambiguity: none for the published unit, contract-audit, self-audit and manifest commands used above
dependency_install: not rerun; the already available Python 3.12.13 environment satisfied the published suites
scope_limit: these checks establish the published finite executable records and byte manifests only; they do not add world attestation, semantic verification, future exhaustiveness, novelty assessment or historical priority
