Clarify Problem 848 interval bookkeeping

packs/number-theory/problems/848/BOUNDED_VERIFICATION_PLAN.md

@@ -41,6 +41,8 @@ Current progress:
 - the repo now has an exact small-`N` certificate for `1..10000`
 - an incremental verifier replaced the misleading earlier cost wall and made larger exact
   tranches practical again
+- local ignored rollout artifacts extend exact small-`N` evidence to `1..40500`, but the
+  440 MB raw packet is not committed or bundled; see `EXACT_INTERVAL_BOOKKEEPING.md`
 
 What this lane is not:
 - not brute force to `2.64 x 10^17`

packs/number-theory/problems/848/CLAIM_LOOP.json

@@ -11,9 +11,15 @@
   "currentState": {
     "theoremLoopMode": "bridge_backed",
     "activeRoute": "finite_check_gap_closure",
-    "nextHonestMove": "Decide whether to extend exact verified coverage beyond `40500` or switch method class.",
+    "nextHonestMove": "Promote or reject the local `1..40500` rollout; public raw exact claims remain `1..10000` until that handoff is committed.",
     "routeSummary": "Convert the sufficiently-large-N theorem into a complete all-N resolution without overstating what is already closed or confusing imported thresholds with repo-owned claims.",
-    "sourceRefresh": "erdos number-theory bridge-refresh 848"
+    "sourceRefresh": "erdos number-theory bridge-refresh 848",
+    "exactIntervalBookkeeping": {
+      "publicRepoRawExactInterval": "1..10000",
+      "localIgnoredRolloutInterval": "1..40500",
+      "bookkeepingArtifact": "EXACT_INTERVAL_BOOKKEEPING.md",
+      "raw40500PacketCommitted": false
+    }
   },
   "featureExtractors": [
     {
@@ -141,7 +147,7 @@
       "status": "ready",
       "source": "theorem_agenda",
       "summary": "Choose the next finite-gap closure move and keep the theorem-facing claim surface honest.",
-      "why": "Decide whether to extend exact verified coverage beyond `40500` or switch method class.",
+      "why": "Promote or reject the local `1..40500` rollout; public raw exact claims remain `1..10000` until that handoff is committed.",
       "support": [
         "next_unmatched_equals_282_failure",
         "completed_tail_vs_search_leader_split",
@@ -249,7 +255,7 @@
       "item_id": "choose_next_finite_gap_move",
       "status": "ready",
       "task": "Choose the next finite-gap closure move and keep the theorem-facing claim surface honest.",
-      "why": "Decide whether to extend exact verified coverage beyond `40500` or switch method class."
+      "why": "Promote or reject the local `1..40500` rollout; public raw exact claims remain `1..10000` until that handoff is committed."
     },
     {
       "item_id": "explain_next_unmatched_alignment",

packs/number-theory/problems/848/CLAIM_LOOP.md

@@ -8,7 +8,7 @@ This claim loop generalizes theorem-search-verification work using the theorem l
 - Current claim surface: `bridge_backed_frontier_support`.
 - Active route: `finite_check_gap_closure`.
 - Route summary: Convert the sufficiently-large-N theorem into a complete all-N resolution without overstating what is already closed or confusing imported thresholds with repo-owned claims.
-- Next honest move: Decide whether to extend exact verified coverage beyond `40500` or switch method class.
+- Next honest move: Promote or reject the local `1..40500` rollout; public raw exact claims remain `1..10000` until that handoff is committed.
 
 ## Feature Extractors
 
@@ -40,7 +40,7 @@ This claim loop generalizes theorem-search-verification work using the theorem l
 
 ## Candidate Claims
 
-- `choose_next_finite_gap_move`: ready | Choose the next finite-gap closure move and keep the theorem-facing claim surface honest. | Decide whether to extend exact verified coverage beyond `40500` or switch method class.
+- `choose_next_finite_gap_move`: ready | Choose the next finite-gap closure move and keep the theorem-facing claim surface honest. | Promote or reject the local `1..40500` rollout; public raw exact claims remain `1..10000` until that handoff is committed.
 - `explain_next_unmatched_alignment`: ready | Explain structurally why shared-prefix representative `137720141` aligns with the first failure of tail `282`. | If that alignment is structural rather than accidental, it turns a search coincidence into a theorem-facing obstruction class.
 - `explain_completed_vs_search_leader_split`: ready | Explain why completed structured tail `332` differs from current family-aware leader `432`. | That split tells us whether the live frontier is a finite-window artifact or a genuinely better structural continuation class.
 - `model_repair_pool_growth`: ready | Model the repaired square-modulus pool as a growing family rather than treating it as already closed. | Recent packets introduced new square moduli, so the theorem lane should aim for controlled growth, not premature closure.

packs/number-theory/problems/848/CLAIM_PASS.json

@@ -10,10 +10,16 @@
   "currentClaimSurface": "bridge_backed_frontier_support",
   "currentState": {
     "activeRoute": "finite_check_gap_closure",
-    "nextHonestMove": "Decide whether to extend exact verified coverage beyond `40500` or switch method class.",
+    "nextHonestMove": "Promote or reject the local `1..40500` rollout; public raw exact claims remain `1..10000` until that handoff is committed.",
     "routeSummary": "Convert the sufficiently-large-N theorem into a complete all-N resolution without overstating what is already closed or confusing imported thresholds with repo-owned claims.",
-    "latestVerifiedInterval": "1..40500",
-    "sourceRefresh": "erdos number-theory bridge-refresh 848"
+    "latestVerifiedInterval": "1..10000",
+    "sourceRefresh": "erdos number-theory bridge-refresh 848",
+    "exactIntervalBookkeeping": {
+      "publicRepoRawExactInterval": "1..10000",
+      "localIgnoredRolloutInterval": "1..40500",
+      "bookkeepingArtifact": "EXACT_INTERVAL_BOOKKEEPING.md",
+      "raw40500PacketCommitted": false
+    }
   },
   "summary": {
     "hooks": {
@@ -78,7 +84,7 @@
       "theoremReady": false,
       "supportSatisfied": true,
       "summary": "Choose the next finite-gap closure move and keep the theorem-facing claim surface honest.",
-      "rationale": "The current canonical exact base is 1..40500; the next interval is still open.",
+      "rationale": "The local exact rollout reaches 1..40500, but the public raw packet remains 1..10000 until compact promotion is committed.",
       "nextAction": "decide_post_40500_verification_lane"
     },
     {
@@ -167,7 +173,7 @@
       "recommendation_id": "decide_post_40500_verification_lane",
       "priority": "high",
       "lane": "exact_verifier",
-      "reason": "The canonical exact base currently ends at 1..40500. The next verification move is still open.",
+      "reason": "Resolve the local 1..40500 promotion boundary; public raw packet currently ends at 1..10000.",
       "command": "erdos number-theory dispatch 848"
     },
     {

packs/number-theory/problems/848/CLAIM_PASS.md

@@ -8,8 +8,8 @@ This claim pass evaluates theorem-search claims against the canonical claim loop
 - Current claim surface: `bridge_backed_frontier_support`.
 - Active route: `finite_check_gap_closure`.
 - Route summary: Convert the sufficiently-large-N theorem into a complete all-N resolution without overstating what is already closed or confusing imported thresholds with repo-owned claims.
-- Next honest move: Decide whether to extend exact verified coverage beyond `40500` or switch method class.
-- Latest verified interval: `1..40500`
+- Next honest move: Promote or reject the local `1..40500` rollout; public raw exact claims remain `1..10000` until that handoff is committed.
+- Latest exact interval: public raw `1..10000`; local rollout `1..40500`
 
 ## Summary
 
@@ -25,7 +25,7 @@ This claim pass evaluates theorem-search claims against the canonical claim loop
 
 ## Claim Assessments
 
-- `choose_next_finite_gap_move`: actionable | Choose the next finite-gap closure move and keep the theorem-facing claim surface honest. | The current canonical exact base is 1..40500; the next interval is still open.
+- `choose_next_finite_gap_move`: actionable | Choose the next finite-gap closure move and keep the theorem-facing claim surface honest. | The local exact rollout reaches 1..40500, but the public raw packet remains 1..10000 until compact promotion is committed.
 - `explain_next_unmatched_alignment`: actionable | Explain structurally why shared-prefix representative `137720141` aligns with the first failure of tail `282`. | If that alignment is structural rather than accidental, it turns a search coincidence into a theorem-facing obstruction class.
 - `explain_completed_vs_search_leader_split`: actionable | Explain why completed structured tail `332` differs from current family-aware leader `432`. | That split tells us whether the live frontier is a finite-window artifact or a genuinely better structural continuation class.
 - `model_repair_pool_growth`: actionable | Model the repaired square-modulus pool as a growing family rather than treating it as already closed. | Recent packets introduced new square moduli, so the theorem lane should aim for controlled growth, not premature closure.
@@ -37,7 +37,7 @@ This claim pass evaluates theorem-search claims against the canonical claim loop
 
 - `formalize_282_alignment`: high | theorem_formalization | The bridge matches shared-prefix representative 137720141 with tracked tail 282 first failure 137720141. | erdos problem formalization 848
 - `formalize_top_repair_cluster`: high | theorem_formalization | Top cluster 432, 782, 832 shares repaired-known=26, repaired-predicted=242, clean-through=250075000. | erdos problem formalization 848
-- `decide_post_40500_verification_lane`: high | exact_verifier | The canonical exact base currently ends at 1..40500. The next verification move is still open. | erdos number-theory dispatch 848
+- `decide_post_40500_verification_lane`: high | exact_verifier | Resolve the local 1..40500 promotion boundary; public raw packet currently ends at 1..10000. | erdos number-theory dispatch 848
 - `model_repair_pool_growth`: medium | theorem_formalization | Recent bridge packets introduced new square moduli: 1369, 841, 17161, 1849. | erdos problem formalization 848
 
 ## Commands

packs/number-theory/problems/848/EXACT_BREAKPOINT_CERTIFICATE.json

@@ -2,7 +2,7 @@
   "generatedAt": "2026-04-11T02:57:10.497Z",
   "method": "candidate_plateau_endpoint_monotonicity",
   "problemId": "848",
-  "sourceResultsPath": "/Volumes/Code_2TB/code/erdos-problems/packs/number-theory/problems/848/EXACT_SMALL_N_1_40500_RESULTS.json",
+  "sourceResultsPath": "output/p848-exact-small-n-rollouts/EXACT_SMALL_N_1_40500_RESULTS.json",
   "status": "certified_from_endpoint_monotonicity",
   "summary": {
     "interval": "1..40500",
@@ -19482,5 +19482,10 @@
     }
   ],
   "failedEndpointChecks": [],
-  "rowFailures": []
+  "rowFailures": [],
+  "sourceResultsStatus": "local_ignored_large_raw_packet",
+  "sourceResultsSha256": "da3546ab3f30faef879c2d4da680f826711361e2c685de8f384eb116df1f8fbc",
+  "publicRepoRawExactPacket": "EXACT_SMALL_N_1_10000_RESULTS.json",
+  "publicRepoRawExactInterval": "1..10000",
+  "bookkeepingArtifact": "EXACT_INTERVAL_BOOKKEEPING.md"
 }

packs/number-theory/problems/848/EXACT_BREAKPOINT_SCOUT.json

@@ -2,7 +2,7 @@
   "generatedAt": "2026-04-11T02:57:09.787Z",
   "method": "exact_rows_breakpoint_scout",
   "problemId": "848",
-  "sourceResultsPath": "/Volumes/Code_2TB/code/erdos-problems/packs/number-theory/problems/848/EXACT_SMALL_N_1_40500_RESULTS.json",
+  "sourceResultsPath": "output/p848-exact-small-n-rollouts/EXACT_SMALL_N_1_40500_RESULTS.json",
   "sourceSummary": {
     "interval": "1..40500",
     "rows": 40500,
@@ -35706,5 +35706,10 @@
     "claimLevel": "scout_not_proof",
     "note": "This artifact summarizes already-certified exact rows. It does not prove coverage between unchecked rows or replace a Regime B monotonicity/breakpoint lemma.",
     "nextUse": "Use the plateau and breakpoint pattern to propose a structured-breakpoint certificate with an explicit monotonicity justification."
-  }
+  },
+  "sourceResultsStatus": "local_ignored_large_raw_packet",
+  "sourceResultsSha256": "da3546ab3f30faef879c2d4da680f826711361e2c685de8f384eb116df1f8fbc",
+  "publicRepoRawExactPacket": "EXACT_SMALL_N_1_10000_RESULTS.json",
+  "publicRepoRawExactInterval": "1..10000",
+  "bookkeepingArtifact": "EXACT_INTERVAL_BOOKKEEPING.md"
 }

packs/number-theory/problems/848/EXACT_INTERVAL_BOOKKEEPING.json

@@ -0,0 +1,25 @@
+{
+  "schema": "erdos.problem848_exact_interval_bookkeeping/1",
+  "problemId": "848",
+  "statusDate": "2026-04-15",
+  "publicRepoRawExactPacket": {
+    "interval": "1..10000",
+    "certificate": "EXACT_SMALL_N_1_10000_CERTIFICATE.md",
+    "rawResultPacket": "EXACT_SMALL_N_1_10000_RESULTS.json",
+    "rawResultSha256": "96748efe7a355621016f4987209e1b634b1d14ac3f79f135dcc3a0a55a3dfcb2"
+  },
+  "localIgnoredRollout": {
+    "interval": "1..40500",
+    "certificate": "output/p848-exact-small-n-rollouts/EXACT_SMALL_N_1_40500_CERTIFICATE.md",
+    "rawResultPacket": "output/p848-exact-small-n-rollouts/EXACT_SMALL_N_1_40500_RESULTS.json",
+    "rawResultSha256": "da3546ab3f30faef879c2d4da680f826711361e2c685de8f384eb116df1f8fbc",
+    "rawResultApproximateSize": "440 MB"
+  },
+  "committedCompactDerivatives": [
+    "EXACT_BREAKPOINT_SCOUT.json",
+    "EXACT_BREAKPOINT_CERTIFICATE.json"
+  ],
+  "claimRule": "Use 1..10000 for the public repo raw exact packet. Use 1..40500 only when explicitly described as local ignored rollout evidence or compact breakpoint/endpoint evidence derived from that rollout.",
+  "npmRule": "The npm package intentionally excludes raw exact small-N result JSON.",
+  "nextResearchUse": "Use the 1..40500 rollout as regression and structure-mining evidence while prioritizing theorem compression over raw interval extension."
+}

packs/number-theory/problems/848/EXACT_INTERVAL_BOOKKEEPING.md

@@ -0,0 +1,52 @@
+# Problem 848 Exact Interval Bookkeeping
+
+This note fixes the claim boundary between public repo artifacts, local rollout
+artifacts, and npm package contents.
+
+## Current distinction
+
+- Public repo raw exact packet: `1..10000`
+  - Certificate: `EXACT_SMALL_N_1_10000_CERTIFICATE.md`
+  - Raw result packet: `EXACT_SMALL_N_1_10000_RESULTS.json`
+  - Result SHA-256:
+    `96748efe7a355621016f4987209e1b634b1d14ac3f79f135dcc3a0a55a3dfcb2`
+- Local ignored rollout: `1..40500`
+  - Certificate: `output/p848-exact-small-n-rollouts/EXACT_SMALL_N_1_40500_CERTIFICATE.md`
+  - Raw result packet: `output/p848-exact-small-n-rollouts/EXACT_SMALL_N_1_40500_RESULTS.json`
+  - Result SHA-256:
+    `da3546ab3f30faef879c2d4da680f826711361e2c685de8f384eb116df1f8fbc`
+  - Raw result size: about `440 MB`
+- Committed compact derivatives from the local rollout:
+  - `EXACT_BREAKPOINT_SCOUT.json`
+  - `EXACT_BREAKPOINT_CERTIFICATE.json`
+
+## Claim rule
+
+Use `1..10000` when referring to the public repo's committed raw exact packet.
+Use `1..40500` only when it is explicitly described as a local ignored rollout
+or as compact breakpoint/endpoint evidence derived from that local rollout.
+
+Do not say that npm bundles either raw exact interval packet. The npm package
+intentionally excludes raw exact small-`N` result JSON.
+
+## Promotion rule
+
+To promote `1..40500` from local rollout evidence into a public compact interval
+claim, commit a compact certificate surface that includes:
+
+- the interval and method class
+- the raw local result hash
+- the reproduction command family
+- the compact endpoint certificate used for review
+- an explicit note that the 440 MB raw packet is not committed or bundled
+
+Until that promotion is complete, user-facing status should say:
+
+`public raw exact packet: 1..10000; local compact rollout evidence: 1..40500`.
+
+## Next research use
+
+The `1..40500` rollout is useful as regression and structure-mining evidence.
+It should not distract from the current theorem lane: prove the four-anchor
+obstruction or the split-core symbolic matching lift that can replace raw
+interval extension.

packs/number-theory/problems/848/FORMALIZATION.json

@@ -11,9 +11,15 @@
   "currentState": {
     "activeRoute": "finite_check_gap_closure",
     "routeSummary": "Convert the sufficiently-large-N theorem into a complete all-N resolution without overstating what is already closed or confusing imported thresholds with repo-owned claims.",
-    "nextHonestMove": "Decide whether to extend exact verified coverage beyond `40500` or switch method class.",
-    "latestVerifiedInterval": "1..40500",
-    "sourceRefresh": "erdos number-theory bridge-refresh 848"
+    "nextHonestMove": "Promote or reject the local `1..40500` rollout; public raw exact claims remain `1..10000` until that handoff is committed.",
+    "latestVerifiedInterval": "1..10000",
+    "sourceRefresh": "erdos number-theory bridge-refresh 848",
+    "exactIntervalBookkeeping": {
+      "publicRepoRawExactInterval": "1..10000",
+      "localIgnoredRolloutInterval": "1..40500",
+      "bookkeepingArtifact": "EXACT_INTERVAL_BOOKKEEPING.md",
+      "raw40500PacketCommitted": false
+    }
   },
   "currentTarget": {
     "formalizationId": "p848_282_alignment_formalization_v1",
@@ -34,7 +40,7 @@
       "The current family menu already contains representative 137720141 with tuple key 4, 23^2, 7^2, 9, 17^2, 11^2 and tuple rows 7->4/1, 32->529/281, 57->49/6, 82->9/8, 132->289/81, 182->121/119.",
       "On that family-menu row, only continuation 282 fails among the tracked tails, and it does so via witness modulus 841.",
       "The strongest completed structured tail remains 332, so this packet isolates the 282 obstruction mechanism rather than conflating it with the current family-aware leader 432.",
-      "The finite exact base is already certified through 1..40500, so the open work is structural rather than basic interval bookkeeping.",
+      "The public raw exact packet is committed through 1..10000, while local compact rollout evidence reaches 1..40500; the open work is still structural rather than raw interval bookkeeping.",
       "Formalization-work checker p848_132_activation_row_certificate_checker_v1 replayed 17 activation rows with 0 failures.",
       "Formalization-work checker p848_132_lift_crt_checker_v1 proved the 132-row lift with k=147 and residue 504 mod 841.",
       "The top repair-class side packet is also checked: +2 finite-menu replay plus 74 mod-50 lane exchange rows pass."
@@ -183,7 +189,7 @@
       "theoremReady": false,
       "supportSatisfied": true,
       "summary": "Choose the next finite-gap closure move and keep the theorem-facing claim surface honest.",
-      "rationale": "The current canonical exact base is 1..40500; the next interval is still open.",
+      "rationale": "The local exact rollout reaches 1..40500, but the public raw packet remains 1..10000 until compact promotion is committed.",
       "nextAction": "decide_post_40500_verification_lane"
     },
     {
@@ -272,7 +278,7 @@
       "recommendation_id": "decide_post_40500_verification_lane",
       "priority": "high",
       "lane": "exact_verifier",
-      "reason": "The canonical exact base currently ends at 1..40500. The next verification move is still open.",
+      "reason": "Resolve the local 1..40500 promotion boundary; public raw packet currently ends at 1..10000.",
       "command": "erdos number-theory dispatch 848"
     },
     {