PHASE 6 TEST REPORT

run_date_utc: 2026-08-29
runtime: Python 3.12.13
overall_status: PASS

PHASE 6 EXECUTABLE GATES
unit_tests: PASS 127/127
unit_test_breakdown: bridge_readset_checker 66; phase6_self_audit 37; phase6_static_audit 24
bridge_contract_audit: BRIDGE-READSET-INVARIANT-AUDIT-PASS
bridge_contract_audit_cases: 1268
self_audit: PHASE6-SELF-AUDIT-PASS
self_audit_claims: 13
self_audit_policy_sha256: dfd606551bbe90813bb9d5a7d17ba6107b266bbaf382ff920707d2487c081e98
static_production_audit: PASS 10/10

PHASE 0-5 READ-ONLY BASELINE
baseline_unit_tests: PASS 616/616
baseline_manifest_checks: PASS 18/18
baseline_zip_integrity: PASS 6/6

DOCX RELEASE GATE
docx_style_audit: PASS 53/53
native_omml_objects: 569
accessibility_findings: high 0; medium 0; low 0
style_lint_diagnostics: 9 expected findings; 8 table-header cells plus 1 running header

PDF RELEASE GATE
pdf_release_audit: PASS 19/19
pdf_pages: 100
pdf_page_geometry: Letter; rotation 0
pdf_embedded_unicode_font_records: 26
pdf_replacement_glyphs: 0
visual_page_audit: PASS 100/100

FORMAL RELEASE NODES
ABR-6: fixed P/X/K with divergent admitted bridge statuses requires the distinguishing bridge coordinate in the application-status readset.
NSB-6: a finite positive source-free cycle adds no admission node to the least closure.
GCR-6: fixed technical status with divergent goal readouts requires a goal coordinate for purpose readout.

CLAIM FENCES
PREDECESSORS-AS-PREMISES: NONE
NOVELTY-STATUS: NOT-ASSESSED
PRIORITY-STATUS: NO-PRIORITY-CLAIM
semantic_status: NOT-MACHINE-VERIFIED
trace_scope_status: DECLARED-FINITE-RECORDS-AND-BRIDGE-ONLY
world_application_status: NO-WORLD-APPLICATION-CONSTRUCTOR-IN-DECLARED-CHECKER

Every PASS in this report belongs only to supplied finite bytes, declared schemas, contracts, programs, traces, page images, manifests and archive members. No PASS presents the referent, event, truth, application, goal, purpose, meaning, historical origin, novelty or priority named by a written form.
