PHASE 5 TEST REPORT

run_utc: 2026-08-29
python: 3.12.13
overall_status: PASS

PHASE 5 UNIT TESTS

Command:
  python -m unittest -v test_proof_readset.py test_phase5_self_audit.py

Results:
  proof_readset runtime: PASS 95/95
  phase5 self-audit:     PASS 58/58
  Phase 5 total:        PASS 153/153

FINITE CONTRACT AUDIT

Command:
  python proof_readset_checker.py --audit-contract

Result:
  status: PROOF-READSET-INVARIANT-AUDIT-PASS
  audit_cases: 530808
  trace_contract_cases: 3456
  deterministic_replay_checks: 3456
  readset_pair_cases: 523776
  binding_pair_cases: 120
  independent small-domain oracle cases in unit suite: 1152
  semantic_status: NOT-MACHINE-VERIFIED

SELF-CLAIM AUDIT

Command:
  python phase5_self_audit.py self_claims_phase5.json

Result:
  status: PHASE5-SELF-AUDIT-PASS
  exact registered claims: 16/16
  textual claims: 4
  bounded artifact claims: 11
  novelty claim: 1
  novelty_status: NOT-ASSESSED
  priority_status: NO-PRIORITY-CLAIM
  semantic_status: NOT-MACHINE-VERIFIED

SCHEMA AND STATIC GATES

  Draft 2020-12 input schema: PASS
  Draft 2020-12 verdict schema: PASS
  Draft 2020-12 self-claim schema: PASS
  12 valid fixture inputs: PASS
  1 deliberately invalid duplicate-id fixture: REJECTED AS DECLARED
  all 13 fixture verdicts schema-valid: PASS
  Python compilation: PASS
  duplicate Python dict-literal key audit: PASS
  Markdown headings/control characters/math delimiters/code fences: PASS
  production-preprocessed Pandoc RawInline/RawBlock: 0/0
  ADM-5 exact theorem tag count: 1
  PSR-5 exact theorem tag count: 1
  NEX-5 exact theorem tag count: 1

READ-ONLY REGRESSION OF PHASES 0–4

  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
  frozen manifests: PASS

COMBINED UNIT-TEST COUNT

  Phase 5:   153
  Phases 0–4: 463
  Combined:  PASS 616/616

SCOPE LIMIT

These checks establish exact relations among the supplied finite records,
declared contracts, traces, schemas, claim policies and package bytes.  They
do not establish a referent, external truth, application, goal, meaning,
historical origin, novelty, priority or world authority.
