Skip to content

align R5 documentation with the certified B0-B6 chain #63

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
papasop merged 1 commit into from
Aug 18, 2026
Merged

align R5 documentation with the certified B0-B6 chain #63

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions SHA256SUMS.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -70,7 +70,7 @@ bb9ce84f863ecbbc721503cc8e9b60f5c9223c68926fa2a7443ba40491340a06 archive/milest
27c107ab01f254215fc6bda721bcbcf793c4856dde5791caef7f840fd5662c3c archive/milestones/superseded/v0_9_18/response_fibre_lohner_stress_v0_9_18_oneclick.py
7f33442c004a58dab70611aff2e93c752683a4a85c4f41390d44c299921a78fa audit/README.md
17e5e0a9ad1a59f2763de947d6d1e4338297630c7d831694a4bc08b26fb4d83e audit/__init__.py
ae7d2f792ad2031f9b2334001903c0d094c93d14095cbc7646e40200a19aca47 audit/artifact_manifest.json
767ebfa7f61834c814f1c7b033b3a024322b5c981eb96be392f8dbb7e8d02ff5 audit/artifact_manifest.json
77154913123c1ef10120afa29d50af3ed3652915c19abf2fdd1f9f4c0f050135 audit/audit_repo.py
941dec5a35eda0b47d24f2f2160e0758db77ef112dd9dadad96614483adf5d59 audit/claims_manifest.yaml
0ac8ce56afb82439f286f55b9b538799b997c00af457106beb646ca9e16add93 audit/dependency_map.md
Expand Down Expand Up @@ -183,7 +183,7 @@ cadc4c9e7213e55956941d7f193aa099ec780f43790393c1c877d44140a6e869 research/reali
67570c25b63ceb36da91137406ec56fabf3393f353f21e41c787d47cf2215736 research/realizability_r1_r7/R5_SECOND_ORDER_REMAINDER_DIAGNOSTIC.md
e9bb32403bd25bbce655d40a4e81a11a538c4b472b3039617334076a66b156db research/realizability_r1_r7/R5_STATIC_ARB_GATES_BOUNDARY.md
dbfd554145dfd50a76cceaa1d1874202d6e589a129fb5bf788e69709c6fc5cc8 research/realizability_r1_r7/R7_CERTIFICATE_BOUNDARY.md
49b7eeeae6d5a202bb21711bbac0b61cd5a9f47f4d3b016bcfd25c4b5d0503ac research/realizability_r1_r7/README.md
edde49126f22cb7617d02500f884f5eea97b5f348d9a1825308b329287769d64 research/realizability_r1_r7/README.md
5b7891ff1179639f6e700a6870950f8db196dac8cb33b1183c359bb702a4354f research/realizability_r1_r7/certificates/r5_adjacent_leaf_gluing_v1_1.json
a2d28d9256b6c871630a8e27695a12ca194582a633b74ddda1816d356173629b research/realizability_r1_r7/certificates/r5_all_leaves_hessian_krawczyk_v1_0.json
e1ff18f9891c60fdfae51726b0d16cc713ffbaa241d518e9741f60e514078ccd research/realizability_r1_r7/certificates/r5_first_leaf_hessian_krawczyk_v1_0.json
Expand Down
4 changes: 2 additions & 2 deletions audit/artifact_manifest.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -339,8 +339,8 @@
],
"path": "research/realizability_r1_r7/README.md",
"producer": "prospective protocol scaffold",
"scientific_scope": "documentation for an isolated model-level Principle R test protocol; no R6 search or result",
"sha256": "49b7eeeae6d5a202bb21711bbac0b61cd5a9f47f4d3b016bcfd25c4b5d0503ac",
"scientific_scope": "documentation for an isolated model-level Principle R test protocol with subordinate GF-R5 B0-B6 certificates; no R6 search or result",
"sha256": "edde49126f22cb7617d02500f884f5eea97b5f348d9a1825308b329287769d64",
"status": "prospective_protocol",
"type": "documentation"
},
Expand Down
51 changes: 41 additions & 10 deletions research/realizability_r1_r7/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,9 +10,11 @@ Status:
PROTOCOL_FROZEN_NO_R6_SEARCH_PERFORMED
```

This scaffold freezes a future protocol only. It does not execute an R6
search, does not produce a certificate, and does not change any frozen source,
certificate, tag, Release, manuscript, or Zenodo asset.
The frozen protocol still contains no R6 search and no R6 result. This
directory now also contains subordinate Geometric-Flow R5 certificates,
culminating in `R5_FULL_SHRINKING_FAMILY_CERTIFIED`, for the frozen model
domain. These certificates do not change the frozen protocol, published
theorem boundary, source, tag, Release, manuscript, or Zenodo asset.

The isolated R7 positive-control certificate is post-protocol prospective
evidence only. The current certificate is
Expand Down Expand Up @@ -42,6 +44,11 @@ R5_FIRST_LEAF_HESSIAN_KRAWCZYK_BOUNDARY.md
GF_PR_STAGE_NAMING_BOUNDARY.md
R5_ALL_LEAVES_HESSIAN_KRAWCZYK_BOUNDARY.md
PRINCIPLE_R_COMPLIANCE_MATRIX.md
R5_ADJACENT_LEAF_GLUING_BOUNDARY.md
R5_SEAM_RESIDUAL_NORMALIZATION_DIAGNOSTIC.md
R5_GLOBAL_IMPLICIT_BRANCH_C1_BOUNDARY.md
R5_POSITIVE_MEASURE_NONCONSTANCY_BOUNDARY.md
R5_FULL_SHRINKING_FAMILY_BOUNDARY.md
r5_full_tube_protocol_v1_0.json
prepare_r5_full_tube_auxiliary.py
verify_r5_full_tube_auxiliary.py
Expand All @@ -68,6 +75,23 @@ certificates/r5_first_leaf_hessian_krawczyk_v1_0.json
certify_r5_all_leaves_hessian_krawczyk.py
verify_r5_all_leaves_hessian_krawczyk.py
certificates/r5_all_leaves_hessian_krawczyk_v1_0.json
certify_r5_adjacent_leaf_gluing.py
verify_r5_adjacent_leaf_gluing.py
diagnose_r5_seam_residual_normalization.py
verify_r5_seam_residual_normalization.py
diagnostics/r5_adjacent_leaf_gluing_v1_0.json # superseded B3 diagnostic
diagnostics/r5_adjacent_leaf_gluing_v1_1.json
diagnostics/r5_seam_residual_normalization_diagnostic_v1_0.json
certificates/r5_adjacent_leaf_gluing_v1_1.json
certify_r5_global_implicit_branch_c1.py
verify_r5_global_implicit_branch_c1.py
certificates/r5_global_implicit_branch_c1_v1_0.json
certify_r5_positive_measure_nonconstancy.py
verify_r5_positive_measure_nonconstancy.py
certificates/r5_positive_measure_nonconstancy_v1_0.json
certify_r5_full_shrinking_family.py
verify_r5_full_shrinking_family.py
certificates/r5_full_shrinking_family_v1_0.json
certificates/r7_positive_control_v1_0.json # superseded
certificates/r7_positive_control_v1_1.json # current R7 positive control
```
Expand All @@ -89,6 +113,11 @@ python research/realizability_r1_r7/verify_r5_first_leaf_affine_diagnostic.py --
python research/realizability_r1_r7/verify_r5_second_order_remainder_diagnostic.py --mutation-tests
python research/realizability_r1_r7/verify_r5_first_leaf_hessian_krawczyk.py --mutation-tests
python research/realizability_r1_r7/verify_r5_all_leaves_hessian_krawczyk.py --mutation-tests
python research/realizability_r1_r7/verify_r5_seam_residual_normalization.py --mutation-tests
python research/realizability_r1_r7/verify_r5_adjacent_leaf_gluing.py --mutation-tests
python research/realizability_r1_r7/verify_r5_global_implicit_branch_c1.py --mutation-tests
python research/realizability_r1_r7/verify_r5_positive_measure_nonconstancy.py --mutation-tests
python research/realizability_r1_r7/verify_r5_full_shrinking_family.py --mutation-tests
```

The verifier checks schema, required fields, declared file hashes, R1--R5/R7
Expand All @@ -99,13 +128,15 @@ The R7 verifier checks the stored v1.1 certificate, including full
`eta_delta(s)=theta_0+s*delta*n` path endpoint containment for every frozen
delta. It does not run R5 or R6.

`R5_FEASIBILITY_AUDIT.md` records a first-stage, read-only R5 feasibility
audit. Its final status is
`R5_INCONCLUSIVE_MISSING_FULL_LOOP_GRAPH_CERTIFICATE` because the repository
does not yet contain an R5-specific complete-loop implicit-graph certificate or
the auxiliary frozen intrinsic-chart data needed to verify one fail-closed. It
is not an R5 certificate, does not report a failed R5 search, and does not run
R6.
`R5_FEASIBILITY_AUDIT.md` records the first-stage, read-only R5 feasibility
audit. Its historical final status is
`R5_INCONCLUSIVE_MISSING_FULL_LOOP_GRAPH_CERTIFICATE`: at that time the
repository did not yet contain an R5-specific complete-loop implicit-graph
certificate or the auxiliary frozen intrinsic-chart data needed to verify one
fail-closed. The report is retained as provenance, not as the current R5
frontier. It has been operationally superseded by the later R5-A/B0--B6 chain,
which culminates in `R5_FULL_SHRINKING_FAMILY_CERTIFIED`. It is not an R5
certificate, does not report a failed R5 search, and does not run R6.

`r5_full_tube_protocol_v1_0.json` freezes a subordinate R5-A protocol for a
future full-tube graph certificate on the one-dimensional segment
Expand Down
Loading