ОТСУТСТВИЕ ЗАПИСИ НЕ ЯВЛЯЕТСЯ ЗАПИСЬЮ ОТСУТСТВИЯ — PHASE 4 TEST REPORT

freeze_date_utc: 2026-08-29
package_scope: math_record_boundary_phase4
result: PASS

FORMAL AND TEXTUAL AUDIT
residual_defects: 0
status_typing: PASS
schema_runtime_alignment: PASS
domain_binding_and_quantifier_scope: PASS
positive_negative_code_separation: PASS
declared_extension_scope_fence: PASS
semantic_fences: PASS

PHASE 4 UNIT SUITE
command: python3 -m unittest -v test_extension_absence.py test_phase4_self_audit.py
runtime_tests: PASS 49/49
phase4_self_audit_tests: PASS 45/45
total: PASS 94/94
compile: PASS

EXHAUSTIVE FINITE CONTRACT AUDIT
command: python3 extension_absence_checker.py --audit-contract
status: EXTENSION-ABSENCE-INVARIANT-AUDIT-PASS
audit_cases: 6656
rule_systems: 256
state_extension_families: 3328
closure_oracle_checks: 6912
claim_invariant_checks: 6656
extension_exhaustiveness_status: DECLARED-FINITE-EXTENSIONS-ONLY-NOT-FUTURE-EXHAUSTIVENESS-ATTESTED
polarity_semantic_status: POSITIVE-NEGATIVE-CLAIM-CODES-ONLY-NOT-WORLD-POLARITY-VERIFIED

PUBLISHED SELF-AUDIT
command: python3 phase4_self_audit.py self_claims_phase4.json
status: PHASE4-SELF-AUDIT-PASS
claims: 15/15
novelty_status: NOT-ASSESSED
priority_status: NO-PRIORITY-CLAIM
semantic_status: NOT-MACHINE-VERIFIED

UNCHANGED BASELINE REGRESSION
phase0: PASS 47/47
phase1: PASS 62/62
phase2: PASS 155/155
phase3: PASS 105/105
total: PASS 369/369
compile_audits_self_audits_manifests: PASS
phase3_archive_unzip: PASS

DOCX QUALITY ASSURANCE
file: release/Absence_Of_Record_Is_Not_Record_Of_Absence_Phase4_RU.docx
bytes: 124558
sha256: 36c39b2f19c84e35e31779d17ef528c7dc33799a00d4455d74347fc138b045b8
opc_integrity: PASS
python_docx_open: PASS
paragraphs: 1578
tables: 7
sections: 1
style_contract: PASS 50/50
accessibility_findings_high: 0
accessibility_findings_medium: 0
accessibility_findings_low: 0
style_lint_notes: 15 compact table-label cells; reviewed as intentional

PDF QUALITY ASSURANCE
file: release/Absence_Of_Record_Is_Not_Record_Of_Absence_Phase4_RU.pdf
bytes: 1515477
sha256: 17c01e402400879db2317cc6eff35371c435dfd0c14a7346f38b37815d1ebf85
pdf_version: 1.7
pages: 86
page_size: Letter 612x792 pt
tagged: yes
encrypted: no
javascript: no
rendered_pages_decoded: PASS 86/86
visual_review: PASS 86/86
critical_delta_review_pages_44_49: PASS
independent_spot_review_pages_4_8_46_47_62_64_66_68_70_72_74_75_86: PASS
fonts: PASS 29/29 embedded, subset, Unicode-mapped
text_extraction: PASS; 221688 bytes, 4236 lines, 21720 words
replacement_glyphs: 0
raw_tex_markers: 0
todo_fixme_tbd_markers: 0
qpdf_check: NOT-RUN; qpdf unavailable in the environment

PACKAGE VERIFICATION
source_manifest: PASS
release_manifest: PASS
closed_package_filelist: PASS
package_control_manifest: PASS
reproducible_zip_builds: PASS 2/2
zip_byte_identity: PASS
clean_extract_unit_tests: PASS 94/94
clean_extract_contract_audit: PASS 6656 cases
clean_extract_self_audit: PASS 15/15 claims
clean_extract_manifests: PASS
archive_sha256: reported externally because an archive cannot contain its own hash

SCOPE OF MACHINE RESULTS
The PASS results above concern only the exact finite records, schemas, programs,
tests, document bytes and rendered pages named in this package. They do not
establish a referent, event, cause, goal, purpose, application, meaning, global
novelty, historical priority or world-truth from a written name, symbol,
formula, status, test count, manifest or archive hash.
