.github/workflows/verify-series.yml
Absence_Of_Record_Is_Not_Record_Of_Absence_Phase4.zip
All_Agree_Does_Not_Select_All_Phase7.zip
Cycle_Is_Not_A_Source_Phase3.zip
Difference_Must_Have_Ancestor_Phase2.zip
KNOWN_LIMITS_0_7_RU.md
MASTER_FILELIST_0_7.txt
Mathematics_Did_Not_Leave_Record_Phase0.zip
Mathematics_Did_Not_Leave_Record_Phase1.zip
NOTICE_RU.md
PUBLIC_CUT_0_7_RU.md
Proof_Does_Not_Present_The_Proved_Phase5.zip
README_SERIES_0_7_RU.md
README_SERIES_TOOLING_RU.md
RELEASE_QA_MATRIX_0_7.json
REPRODUCE_RELEASE.md
Rocket_Does_Not_Prove_Mathematics_Phase6.zip
SERIES_CHAIN_0_7.json
SERIES_MANIFEST_0_7.sha256
SITE_PUBLICATION_COPY_0_7_RU.md
SURFACE_LANGUAGE_POLICY_0_7.json
SYSTEM_REQUIREMENTS.md
build_master_release.py
requirements-release.lock
run_series_checks.py
surface_language_audit.py
test_build_master_release.py
test_run_series_checks.py
test_surface_language_audit.py
test_verify_series_chain.py
verify_series_chain.py
