d6g8k5htny-coder · Oct 24, 2026 · Oct 24, 2026
diff --git a/data/hypergraph/README.md b/data/hypergraph/README.md
@@ -6,7 +6,7 @@ Built with Hypergraph-DB 0.4.0 by `tools/hypergraph/math_hypergraph.py`. Each co
 **one hyperedge** whose `roles` map labels members as unit / source / review / impl / node / lane / record.
 
 ## Inputs (all in-repo)
-- `math_coverage_ledger_20261023.md` — RETRO-MATH-BIND-02 ledger copy (header corrected: sourced 211, not 215).
+- `math_coverage_ledger_20261023.md` — RETRO-MATH-BIND-02 ledger with the 24 October Main source-membership supplement; the original 211/133 snapshot is retained in its history.
 - `../../docs/site/dependency-source/GRAPH.json` — 49 graph nodes (#527).
 - `graph_binding_report_20261023.json` — #527 binding report snapshot (21 bound nodes).
 
@@ -32,8 +32,20 @@ workflow_dispatch, with read-only checkouts of public Math- and query-, and uplo
 `math-hypergraph` artifact. Vertex keys are repo-prefixed (`main:`, `Math-:`, `query-:`). See `tools/hypergraph/README.md`.
 The PNG is a build artifact (optional, `--png`), not committed.
 
-## Gap counts (2026-10-23)
-344 units / 1234 vertices / 344 hyperedges. Sourced 211 (133 missing). Implemented 296 (48 missing),
+## Gap counts after the Main membership supplement (2026-10-24)
+344 ledger rows / 1290 vertices / 344 hyperedges. Sourced containers 213 (131 missing). Implemented 296 (48 missing),
 of which 30 are placeholder-only ("in PR head" / "per census", no artifact). Bound units 14.
 28 of 49 graph nodes unbound per #527; 13 nodes touched by no unit. Role problems 0.
-Dropbox not crawled.
+Rows 307 and 310 now include the 56 tracked Markdown members under the existing
+periodic-H0 and universality containers at Main
+`32366ac0d4e2d1464eaac51866b9dce2128970b9`. These are proofs, reviews, notes,
+protocols and historical reports, not 56 new theorem units or verified
+proof-to-code relationships. The original 2026-10-23 graph had 1234 vertices and
+211 sourced / 133 missing containers. Its 344 row identities and all
+implementation/node/bound/status cells are preserved.
+
+This is a bounded membership correction, not complete Main/history/cloud
+coverage. The exact-sample shrinking-bin note's declared complete comment proof
+remains a separate custody boundary. A project-wide Dropbox crawl is not
+established; connector availability differs by actor. No scientific acceptance
+or original review outcome changes.
diff --git a/data/hypergraph/math_coverage_ledger_20261023.md b/data/hypergraph/math_coverage_ledger_20261023.md
@@ -1,16 +1,35 @@
 # Math coverage ledger: retroactive artifact binding, 2026-10-23
 Lane: RETRO-MATH-BIND-02, run by CoS (Cursor-hosted Grok Bot). Inputs: main#527 rows (Math-@9f3fb691, main), #538 (closed, 802fdb0b), the R22 tip 67818d30 and R21 tip 93a19170 companions, the GB-8 slices, and the DRV-H1 Drive map (#550 @e8d37ce9, 1895 Drive files: 417 MAPPED_EXISTING, 1450 PROPOSED_NEW_NODE, 28 UNMAPPED).
 Math stays fail-closed: credit 0 · OBL OPEN · no flags. This is an inventory only. It makes no correctness claim.
-**Dropbox: NOT CRAWLED.** There is no connector for it. Any Dropbox-only artifacts are unaccounted for.
+**Dropbox: project-wide crawl NOT ESTABLISHED.** Connector availability is actor-specific, as reconciled in [539/6376180210](https://github.com/d6g8k5htny-coder/main/issues/539#issuecomment-6376180210). This ledger validates no Dropbox-only source bytes; those artifacts remain outside this membership supplement.
 
 ## Totals
 - Header corrected 2026-10-23 (CoS): the table has 133 literal `MISSING` source cells, so sourced = 211 (was misstated as 215 / 129).
 - Units: **344**. That is 313 from #527, 17 unmerged from #538, 13 R22 companions and 1 R21 companion.
-- Have a proof or lemma source file in the repo: **211**. No source file: **133**.
+- Have a proof or lemma source file in the repo: **213**. No source file: **131**.
 - Have an implementation (code or refs): **296**. Missing an implementation: **48**.
 - Tied to a graph node: **22**. Bound (node, impl and commit): **14**. The graph has 49 nodes with 21 bound per #527, so 28 nodes are unbound.
 - Name-matched to a Drive mirror: 4. Name matching is weak. DRV-H1 maps Drive by folder lane, not by unit.
 
+## Main source-membership supplement, 24 October 2026
+
+Rows 307 and 310 now list the **56 tracked Markdown members** under their existing
+Main containers (28 periodic-H0 and 28 universality files), frozen at Main
+`32366ac0d4e2d1464eaac51866b9dce2128970b9`. These include proofs, reviews,
+reading maps, protocols and historical reports. Membership is source presence,
+not a claim that every member is a proof or that co-located code implements it.
+The original 211 sourced / 133 missing snapshot is retained above as historical;
+current container counts are 213 / 131. The denominator remains **344 ledger
+rows**, not 344 accepted theorems or 56 new units. Implementation, node, bound and
+status cells are unchanged.
+
+This is not a complete Main corpus. Zeta, research-translation, formal sources,
+other roots, histories and private storage keep their existing scope. In
+particular `EXACT_SAMPLE_SHRINKING_BIN.md` points to its separately identified
+canonical proof in GitHub comment 229/5976299711; indexing the note does not
+import or verify that complete comment body. Scientific acceptance and original
+review qualifications are unchanged. Credit 0; OBL OPEN; NOT A RESULT.
+
 ## Ledger
 | # | source | repo | unit | lane | proof/lemma files (sample) | impl | graph node | bound | status | drive hits |
 |---|---|---|---|---|---|---|---|---|---|---|
@@ -320,10 +339,10 @@ Math stays fail-closed: credit 0 · OBL OPEN · no flags. This is an inventory o
 | 304 | main#527 | Math- | `specifications/lean_statements_20261010` | GB-8q | Specifications.lean; Specifications/Field.lean; Specifications/Lifetime.lean | specifications/lean_statements_20261010/Specifications.lean; specifications/lean_statements_20261010/Specifications/Field.lean | — | N | orphan | 0 |
 | 305 | main#527 | Math- | `claims/LANDING_CLAIMS.json` | GB-8r | MISSING | .github/workflows/landing-claims.yml | — | N | orphan | 0 |
 | 306 | main#527 | main | `experiments/board_capacity_probe_20261022` | GB-8r | MISSING | experiments/board_capacity_probe_20261022/board_capacity_probe.py; experiments/board_capacity_probe_20261022/test_board_capacity_probe.py | — | N | orphan | 0 |
-| 307 | main#527 | main | `experiments/periodic_h0` | GB-8n | MISSING | experiments/periodic_h0/controls.py; experiments/periodic_h0/count_confidence.py | — | N | orphan | 0 |
+| 307 | main#527 | main | `experiments/periodic_h0` | GB-8n | experiments/periodic_h0/APPROXIMATION.md; experiments/periodic_h0/CONFIRMATION_READINESS.md; experiments/periodic_h0/COUNT_CONFIDENCE.md; experiments/periodic_h0/EXACT_H0.md; experiments/periodic_h0/EXACT_SAMPLE_SHRINKING_BIN.md; experiments/periodic_h0/FINITE_CERTIFICATE.md; experiments/periodic_h0/FINITE_COUNT_LOSS.md; experiments/periodic_h0/GAUSSIAN_COUPLING.md; experiments/periodic_h0/GAUSSIAN_TAIL.md; experiments/periodic_h0/HESSIAN_GRID.md; experiments/periodic_h0/MEAN_ADAPTIVE_CONFIDENCE.md; experiments/periodic_h0/NODAL_CERTIFICATE.md; experiments/periodic_h0/README.md; experiments/periodic_h0/REFINEMENT_PROTOCOL.md; experiments/periodic_h0/WORD_POLYNOMIAL.md; experiments/periodic_h0/results/certificate8/RESULTS.md; experiments/periodic_h0/results/count_confidence1/RESULTS.md; experiments/periodic_h0/results/exact_h0_1/RESULTS.md; experiments/periodic_h0/results/finite_count_loss1/RESULTS.md; experiments/periodic_h0/results/gaussian_coupling1/RESULTS.md; experiments/periodic_h0/results/gaussian_tail1/RESULTS.md; experiments/periodic_h0/results/hessian1/RESULTS.md; experiments/periodic_h0/results/nodal1/RESULTS.md; experiments/periodic_h0/results/pilot32/RESULTS.md; experiments/periodic_h0/results/refinement8/RESULTS.md; experiments/periodic_h0/results/word_polynomial1/RESULTS.md; experiments/periodic_h0/spectral_shrinking_bins/PROOF.md; experiments/periodic_h0/spectral_shrinking_bins/README.md | experiments/periodic_h0/controls.py; experiments/periodic_h0/count_confidence.py | — | N | orphan | 0 |
 | 308 | main#527 | main | `experiments/reactor_v0` | GB-8r | MISSING | experiments/reactor_v0/evaluator.py; experiments/reactor_v0/exact_helpers.py | — | N | orphan | 0 |
 | 309 | main#527 | main | `experiments/semantic_memory` | GB-8r | MISSING | experiments/semantic_memory/benchmark.py; main:.github/workflows/semantic-memory-experiment.yml | — | N | orphan | 0 |
-| 310 | main#527 | main | `experiments/universality` | GB-8r | MISSING | experiments/universality/amplitude_process_controls.py; experiments/universality/fold_controls.py | — | N | orphan | 1 |
+| 310 | main#527 | main | `experiments/universality` | GB-8r | experiments/universality/AMPLITUDE_MIXTURE_FALSIFIER.md; experiments/universality/PROTOCOL.md; experiments/universality/README.md; experiments/universality/VALIDATION.md; experiments/universality/finite_candidate_lifetime/PROOF.md; experiments/universality/finite_candidate_lifetime/REVIEW.md; experiments/universality/finite_contact_genericity/PROOF.md; experiments/universality/finite_contact_genericity/REVIEW.md; experiments/universality/finite_elder_transfer/PROOF.md; experiments/universality/finite_elder_transfer/REVIEW.md; experiments/universality/finite_fold_chart/PROOF.md; experiments/universality/finite_fold_chart/REVIEW.md; experiments/universality/finite_gaussian_contact/PROOF.md; experiments/universality/finite_gaussian_contact/REVIEW.md; experiments/universality/finite_h0_lifetime/PROOF.md; experiments/universality/finite_h0_lifetime/REVIEW.md; experiments/universality/finite_weighted_fold_window/PROOF.md; experiments/universality/finite_weighted_fold_window/REVIEW.md; experiments/universality/fold_structural_universality/PROOF.md; experiments/universality/fold_structural_universality/REVIEW.md; experiments/universality/higher_homology_fold/PROOF.md; experiments/universality/higher_homology_fold/REVIEW.md; experiments/universality/iid_short_bar_process/PROOF.md; experiments/universality/iid_short_bar_process/REVIEW.md; experiments/universality/periodized_gaussian_h0/PROOF.md; experiments/universality/periodized_gaussian_h0/REVIEW.md; experiments/universality/spectral_gaussian_admission/PROOF.md; experiments/universality/spectral_gaussian_admission/REVIEW.md | experiments/universality/amplitude_process_controls.py; experiments/universality/fold_controls.py | — | N | orphan | 1 |
 | 311 | main#527 | main | `experiments/zeta_fold_exploration` | GB-8n | MISSING | experiments/zeta_fold_exploration/dbn/check_collision.py; experiments/zeta_fold_exploration/dbn/check_collision_persistence.py | — | N | orphan | 0 |
 | 312 | main#527 | main | `formal/UniversalLaw` | GB-8p | MISSING | formal/UniversalLaw/Side24/ConeMoments.lean; formal/UniversalLaw/Side24/Endpoints.lean | — | N | orphan | 0 |
 | 313 | main#527 | main | `formal/UniversalLaw.lean` | GB-8p | MISSING | formal/UniversalLaw.lean; main:formal/manifest.json | — | N | orphan | 0 |

diff --git a/data/hypergraph/math_hypergraph.json b/data/hypergraph/math_hypergraph.json
diff --git a/data/hypergraph/query_results.json b/data/hypergraph/query_results.json
@@ -15,6 +15,7 @@
     "implementation": 20,
     "lane": 43,
     "record": 4,
+    "source_file": 56,
     "unit": 8
    }
   }
@@ -25,10 +26,10 @@
   "impl_placeholder_only": 30,
   "implemented": 296,
   "no_impl": 48,
-  "no_source": 133,
+  "no_source": 131,
   "nodes_touched_by_no_unit": 13,
   "role_problems": 0,
-  "sourced": 211,
+  "sourced": 213,
   "unbound_nodes_per_527": 28,
   "units": 344
  },
@@ -245,10 +246,8 @@
    "Math-:unit:reviews/side24_d2_certified_small_L_claude_20261005",
    "Math-:unit:reviews/soft_fold_protocol_20261006",
    "main:unit:experiments/board_capacity_probe_20261022",
-   "main:unit:experiments/periodic_h0",
    "main:unit:experiments/reactor_v0",
    "main:unit:experiments/semantic_memory",
-   "main:unit:experiments/universality",
    "main:unit:experiments/zeta_fold_exploration",
    "main:unit:formal/UniversalLaw",
    "main:unit:formal/UniversalLaw.lean"
@@ -269,7 +268,7 @@
    "math.rn-mesoscopic-reduction"
   ],
   "role_problems": [],
-  "sourced": 211,
+  "sourced": 213,
   "unbound_nodes_per_527": [
    "eng.d0-packet-allowlist-fix",
    "eng.main-pr87-crosswalk",
@@ -353,10 +352,10 @@
    "implementation": 454,
    "lane": 43,
    "record": 4,
-   "source_file": 340,
+   "source_file": 396,
    "unit": 344
   },
   "hyperedges": 344,
-  "vertices": 1234
+  "vertices": 1290
  }
 }
diff --git a/docs/superpowers/plans/2026-10-24-main-source-membership.md b/docs/superpowers/plans/2026-10-24-main-source-membership.md
@@ -0,0 +1,34 @@
+# Main source membership implementation plan
+
+> **For agentic workers:** Use superpowers:executing-plans for this single data task, followed by one fresh whole-branch review.
+
+**Goal:** Restore tracked mathematical-source membership for two existing Main containers without adding theorem units or scientific acceptance.
+
+**Architecture:** Reuse the existing coverage ledger, parser and deterministic generated outputs. Attach the 28 Markdown files under each of `experiments/periodic_h0` and `experiments/universality` at Main `32366ac0d4e2d1464eaac51866b9dce2128970b9`. These are container members, including proofs, reviews, notes and reports, not 56 independently accepted theorems.
+
+**Tech stack:** Existing Python index tool, pinned Hypergraph-DB 0.4.0 and pytest.
+
+**Spec:** [Finite source-author pickup](https://github.com/d6g8k5htny-coder/main/pull/579#issuecomment-6378292451), under the [owner mandate](../../../governance/OWNER_MANDATE_20261015.md) and [standing delegation](../../../governance/OP-AUTONOMY-20260923-v2.1.md). The implementation approach is the agents' choice under the user's delegated objective.
+
+## Constraints and review focus
+
+- Exactly 344 ledger rows. Change only source cells of rows 307 and 310; preserve every other row/cell and all implementation, node, bound and status values.
+- Source-present/missing container counts become 213/131; retain the original 211/133 snapshot explicitly. Implementation counts 296/48, 30 placeholder-only, 14 bound units and existing graph-node counts stay unchanged.
+- Paths must be tracked regular Markdown files at the frozen source commit, without duplicates, qualified under the correct Main container. Source presence and co-location do not establish theorem correctness or a semantic proof-to-program relationship.
+- Exclude automatic classification of zeta, research-translation, formal or other discovered files. A note's declared GitHub-comment proof remains a separate custody boundary.
+- No proof, source code, runtime, config, workflow, permissions, GRAPH/v2 bindings, scientific predicate, accepted status or canonical original review changes. Index tests must not execute mathematical source programs.
+- Correct the dated blanket Dropbox no-connector statement using the existing CoS actor-specific disposition; represent no completed storage crawl and publish no private locators.
+
+## Task 1: Enrich membership and regenerate the existing index
+
+**Files:** the coverage ledger, `data/hypergraph/{math_hypergraph.json,query_results.json,README.md}`, existing `tools/hypergraph/test_math_hypergraph.py` count expectations, and this plan.
+
+**Interface:** the existing semicolon-separated source cell and unchanged `parse_ledger`, `_resolve`, `build`, `gaps` and `validate` behavior.
+
+- [x] Confirm the baseline hypergraph suite passes in a complete checkout; materialize tracked sparse paths when necessary without changing shared sparse configuration.
+- [x] Update only existing count expectations to 213/131. Run them against old data and observe the expected count/header/CLI failures.
+- [x] Replace only the two MISSING source cells with the explicit sorted 28-path lists. Update dated count documentation and regenerate with the existing builder.
+- [x] Run the complete hypergraph suite, `build --check` and `validate`; check 344 rows, 56 exact member identities and all preserved counts/cells.
+- [ ] Audit the complete diff and obtain fresh nonauthor review of the frozen candidate. Publish a draft source-stage PR and hand final integration to a separate eligible integrator through the current queue.
+
+This plan records one bounded index correction. It does not claim complete repository-, history- or cloud-wide mathematical coverage. Credit 0; scientific effect NONE; eng ≠ discharge; no flags; OBL OPEN; NOT A RESULT.
diff --git a/tools/hypergraph/test_math_hypergraph.py b/tools/hypergraph/test_math_hypergraph.py
@@ -20,7 +20,7 @@ def test_counts(built):
     hg, G = built
     g = mh.summary(mh.gaps(hg, G))
     assert g["units"] == 344 and hg.num_e == 344
-    assert (g["sourced"], g["no_source"]) == (211, 133)
+    assert (g["sourced"], g["no_source"]) == (213, 131)
     assert (g["implemented"], g["no_impl"]) == (296, 48)
     assert g["impl_placeholder_only"] == 30
     assert g["bound_units"] == 14
@@ -31,9 +31,9 @@ def test_counts(built):
 
 def test_ledger_header_matches_table():
     text = mh.LEDGER.read_text()
-    assert "**211**" in text and "**133**" in text
+    assert "**213**" in text and "**131**" in text
     missing = sum(1 for r in mh.parse_ledger() if r["src"].upper().startswith("MISSING"))
-    assert missing == 133
+    assert missing == 131
 
 
 def test_every_edge_fail_closed(built):
@@ -79,7 +79,7 @@ def test_shared_impl(built):
 
 def test_cli(capsys):
     assert mh.main(["gaps"]) == 0
-    assert json.loads(capsys.readouterr().out)["sourced"] == 211
+    assert json.loads(capsys.readouterr().out)["sourced"] == 213
     assert mh.main(["validate"]) == 0
     capsys.readouterr()
     assert mh.main(["reach", "main:node:nope"]) == 2