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

run_utc: 2026-08-29T01:43:45Z
python: 3.12.13
workspace: /workspace/scratch/33c456a0a128
mutation_policy: read-only; PYTHONPYCACHEPREFIX redirected to a temporary directory
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
Phase 4: PASS 94/94
Total:   PASS 463/463

PHASE 0

Commands:
  python3 -m unittest -q 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
  manifests: PASS

Manifest file SHA-256:
  K0_MANIFEST.sha256: d3a498655b295ef547fd63d56fdd2063d98d72d4a1ab8db835b2c3903f675f50
  P0_MANIFEST.sha256: b5ee7711785497eaefc988333b13a72cae1d9fe6f9b9e421124e927886f1267f
  PACKAGE_MANIFEST.sha256: 6aad6c5a6b0876b5e68aef53dc273d06b1346ba48bd0d11fc2f165a5fa57bf2d

PHASE 1

Commands:
  python3 -m unittest -q 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
  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
  manifests: PASS

Manifest file SHA-256:
  R1_MANIFEST.sha256: a33fbee4c209764a338f55b3c850323a3eaeab9ff5a9f47c6dd98ffc1e77e04d
  RELEASE_MANIFEST.sha256: 4be78db1b13a34eedd1357370ba02a69af8185da5900a9531d7181c158965092
  PACKAGE_MANIFEST_PHASE1.sha256: 3040214622c7d3afecfef53c8074e00d8d39b128f602e2a5b71fb4a925e6ce82

PHASE 2

Commands:
  python3 -m unittest -q 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
  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:
  unit_tests: 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
  manifests: PASS

Manifest file SHA-256:
  R2_MANIFEST.sha256: d6fb16f7114c961e7711e07fb32cd68b6988abb8600264351bab61c1c774b4b5
  RELEASE_MANIFEST_PHASE2.sha256: 1ea85d29dfdd3e7d2f1af10d1ef7de8c3a33941f6aeaab721dcbf3b72be83a7c
  PACKAGE_MANIFEST_PHASE2.sha256: dd0e03d1e150ca0ce20fd6491266beddba4c3a0b6c68f843fb2427bf9c047fda

PHASE 3

Commands:
  python3 -m unittest -q 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
  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:
  unit_tests: PASS 105/105
  compile: PASS
  cyclic_contract_audit: CYCLIC-PROVENANCE-INVARIANT-AUDIT-PASS
  support_contract_audit: SUPPORT-GROUNDING-INVARIANT-AUDIT-PASS
  self_audit: PHASE3-SELF-AUDIT-PASS
  manifests: PASS

Manifest file SHA-256:
  R3_MANIFEST.sha256: a224a90f2fe17a85ad9a0108177ef3ca49ab5984ceec6903e519476a68cfd7f6
  RELEASE_MANIFEST_PHASE3.sha256: 4490f4b0e9d69600c16f731966e1dc52fba4a74287cf8b59e22225022a231b9b
  PACKAGE_MANIFEST_PHASE3.sha256: 9435eddf095e4c4a0f06b292d2f9e5fd4cbab9b1a67d0d8b7d24cfe83afafaba

PHASE 4

Commands:
  python3 -m unittest -q test_extension_absence.py test_phase4_self_audit.py
  python3 -m py_compile extension_absence_checker.py phase4_self_audit.py record_utils.py
  python3 extension_absence_checker.py --audit-contract
  python3 phase4_self_audit.py self_claims_phase4.json
  sha256sum -c R4_MANIFEST.sha256
  sha256sum -c RELEASE_MANIFEST_PHASE4.sha256
  sha256sum -c PACKAGE_MANIFEST_PHASE4.sha256

Results:
  unit_tests: PASS 94/94
  compile: PASS
  contract_audit: EXTENSION-ABSENCE-INVARIANT-AUDIT-PASS (6656 cases)
  self_audit: PHASE4-SELF-AUDIT-PASS
  manifests: PASS

Manifest file SHA-256:
  R4_MANIFEST.sha256: e76a6442b05f248945bf86c0349f1e80bbf39ec7198f6394968cc09d3de7ac37
  RELEASE_MANIFEST_PHASE4.sha256: b8eb96daed84f0d7b96cbb7330a2b66d5cd89cd0c7f37bc255ed6c4423743aef
  PACKAGE_MANIFEST_PHASE4.sha256: b7edc06ab7ce78e2eb276701d31c4fe3c03e91e030eb2ad7a24ffdcbabc74097

PHASE 4 ARCHIVE CHECK

archive: /workspace/scratch/33c456a0a128/Absence_Of_Record_Is_Not_Record_Of_Absence_Phase4.zip
archive_sha256: 902d49d3244e7da95bd15cc75f450514a7ce9ccd71ee4cdbc5f21fb2b60e2a00
unzip_test: PASS

FAILURES AND LIMITS

failures: none
dependency_install: not rerun; the available Python 3.12.13 environment satisfied every suite
scope_limit: these checks establish only unchanged published finite records, executable contracts and byte manifests; they add no referent, truth, application, goal, meaning, historical origin, novelty, priority or world attestation
