From 30641baf18b17dbce8ff32fdc11483de18485b63 Mon Sep 17 00:00:00 2001 From: bai Date: Tue, 18 Aug 2026 21:10:50 +1200 Subject: [PATCH] align R5 documentation with the certified B0-B6 chain Update the prospective Principle R scaffold documentation after the subordinate GF-R5 B0-B6 shrinking-family certificate entered main. Clarify that the frozen protocol still contains no R6 search or result, while the directory now contains subordinate GF-R5 certificates culminating in R5_FULL_SHRINKING_FAMILY_CERTIFIED. Extend the file inventory and verification commands through B3a, B3b, B4, B5, and B6. Mark the earlier R5 feasibility conclusion as retained historical fail-closed provenance that has been operationally superseded by the later certification chain. Update the artifact manifest and SHA256SUMS accordingly. This documentation-only change does not modify any certificate, verifier, frozen protocol, numerical result, published theorem boundary, R6 status, or normal K=1 result. --- SHA256SUMS.txt | 4 +- audit/artifact_manifest.json | 4 +- research/realizability_r1_r7/README.md | 51 +++++++++++++++++++++----- 3 files changed, 45 insertions(+), 14 deletions(-) diff --git a/SHA256SUMS.txt b/SHA256SUMS.txt index 0c96189f..dfcfb187 100644 --- a/SHA256SUMS.txt +++ b/SHA256SUMS.txt @@ -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 @@ -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 diff --git a/audit/artifact_manifest.json b/audit/artifact_manifest.json index 3ac71b54..6f47cf71 100644 --- a/audit/artifact_manifest.json +++ b/audit/artifact_manifest.json @@ -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" }, diff --git a/research/realizability_r1_r7/README.md b/research/realizability_r1_r7/README.md index db37275f..ccd2843f 100644 --- a/research/realizability_r1_r7/README.md +++ b/research/realizability_r1_r7/README.md @@ -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 @@ -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 @@ -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 ``` @@ -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 @@ -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