00_MANUSCRIPT_RU.md
01_PROOF_STATUS_READSET_THEOREM_RU.md
02_NO_EXPORT_THEOREM_RU.md
03_AXIOM_RULE_ADMISSION_RU.md
04_TRUTH_APPLICATION_ROCKET_RU.md
05_ADVERSARIAL_SELF_RU.md
BASELINE_RECORD.txt
BASELINE_REGRESSION_PHASE5.txt
FREEZE_RECORD_PHASE5.txt
PACKAGE_FILELIST_PHASE5.txt
PACKAGE_MANIFEST_PHASE5.sha256
R5_INVENTORY.tsv
R5_MANIFEST.sha256
README_PHASE5_RU.md
RELEASE_MANIFEST_PHASE5.sha256
TEST_REPORT_PHASE5.txt
build_release_docx.py
build_reproducible_zip.py
docx_style_audit.py
phase5_self_audit.py
phase5_self_claims.schema.json
proof_both_invalid.json
proof_both_valid.json
proof_decoding_divergence.json
proof_explicit_explosion.json
proof_invalid_duplicate_contract_id.json
proof_mp_contract_divergence.json
proof_payload_spoof.json
proof_readset.schema.json
proof_readset_checker.py
proof_readset_verdict.schema.json
proof_rocket_two_goals.json
proof_rule_admission_divergence.json
proof_self_label_spoof.json
proof_target_mismatch.json
proof_valid_no_binding.json
proof_valid_two_bindings.json
record_utils.py
release/ACCESSIBILITY_AUDIT_PHASE5.json
release/DOCX_STYLE_AUDIT_PHASE5.json
release/Proof_Does_Not_Present_The_Proved_Phase5_RU.docx
release/Proof_Does_Not_Present_The_Proved_Phase5_RU.pdf
release/STYLE_LINT_PHASE5.json
requirements-test.txt
self_claims_phase5.json
test_phase5_self_audit.py
test_proof_readset.py
