docs(retro): add three declared consumer memberships

data/hypergraph/README.md

@@ -32,6 +32,45 @@ 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.
 
+## Declared consumer memberships (2026-10-28)
+
+345 ledger rows / 1350 vertices / 345 hyperedges. Source 219/126,
+implementation-container 297/48, 30 placeholder-only and 14 bound counts are unchanged.
+This additive supplement combines Capability Frontier's [rows 57/62 proposal](https://github.com/d6g8k5htny-coder/main/issues/605#issuecomment-6467446841)
+with source-inventory's row 311 theta consumer under the [accepted single-writer handoff](https://github.com/d6g8k5htny-coder/main/issues/605#issuecomment-6467485158).
+Inputs are frozen at Main `f20a971dbbdcca8e0b653e701a2877347daf1ad4`; prior
+#659/#673 are already landed. All earlier snapshot counts below are historical.
+
+### Declared direct replay-wrapper memberships (rows 57 and 62)
+
+At Math- `4a0d51bbd06f0d9ac731a1d1df38f25999797135`, row 57's E3 packet declares its direct wrapper in `.github/workflows/elder-third-order.yml` (blob `80c5e010dd0df3b268628f6bb3f3dabe32dfe2a6`), while row 62's far-elder packet declares `.github/workflows/far-elder-rate.yml` (blob `3046c316c520a354b9ddb9f562855dadee5c46b6`). The unchanged checker identities are respectively `b5f04a87f2d2984280bf394bd4e5f3db560e1b33` and `58ff10f85cb89566433500855f385bc87f87e916`.
+
+These are additive metadata memberships. Keep row 57's existing C2 workflow and row 62's existing E3 workflow: they have literal source-trigger/dependency roles. The [role census](https://github.com/d6g8k5htny-coder/main/issues/605#issuecomment-6425587613) distinguishes those roles from the declared direct replay routes. No workflow/checker execution, proof applicability, scientific acceptance or stronger implementation coverage follows from either co-membership. Original frozen-cut qualifications and every source/status/bound cell remain unchanged.
+
+### Row 311 theta numerical companion
+
+Existing row 311 additionally names `experiments/zeta_fold_exploration/theta/project_theta_checks.py`,
+explicitly linked beside `dbn/lobe_identity.py` by [zeta README §4 item 4](https://github.com/d6g8k5htny-coder/main/blob/f20a971dbbdcca8e0b653e701a2877347daf1ad4/experiments/zeta_fold_exploration/README.md#L571).
+README is 111858 B, blob `cf3cf4fd164216e2cad9418b2350d23ce1468776`, SHA256
+`2e08a7d91dcb1c7f17e593a953046f3bf3eaf15ef9fbe96284c53f945d264be2`.
+The program is 2674 B, blob `08dee18d35ff93ed9f77a539e55f2739bad4fcd6`, SHA256
+`ce8eb3c6525bb34bf4ecb9b76cdf0055779c28ee423dedb3ccec2d9118ce36db`.
+
+The script declares normalizer/covariance/normalization sanity checks and prints
+the two lobe integrals at t=0 between the first two scaled zeta zeros. Its finite
+sums, finite-u quadrature and rounded printouts contain no equality assertion or
+certified error budget. This membership records that declared finite numerical
+control, not a replay or proof of the general identity. No direct Bridge/C46/C47
+edge is inferred. The unchanged §4 declaration and program also match pending
+#482's head; its separate manifest-check repair is not adopted here.
+
+All 342 other raw rows, all 1348 prior vertices and 345 ordered edge identities remain.
+Only rows 57, 62 and 311 implementation memberships expand; no source, node, lane,
+bound, status or Drive cell changes. Aggregate co-membership does not assert
+that every program implements every source in a row. No project checker,
+workflow, zeta program, replay or Lean ran. Scientific effect NONE; broader
+corpus accounting remains OPEN.
+
 ## Row 311 lobe numerical-consumer membership (2026-10-26)
 
 345 ledger rows / 1348 vertices / 345 hyperedges. Sourced containers remain

data/hypergraph/math_coverage_ledger_20261023.md

@@ -11,6 +11,22 @@ Math stays fail-closed: credit 0 · OBL OPEN · no flags. This is an inventory o
 - 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.
 
+## Declared consumer membership supplement, 28 October 2026
+
+Existing rows 57/62 gain their declared E3/far-elder direct replay wrappers; row 311
+gains the README-named theta numerical companion. No existing trigger/dependency
+member is replaced. Exact source cuts, provenance and numerical limits are in
+[the index qualification](README.md#declared-consumer-memberships-2026-10-28)
+and [the implementation plan](../../docs/superpowers/plans/2026-10-28-row311-theta-consumer.md).
+
+Only these three implementation cells change. All 342 other raw rows and all
+source/node/lane/bound/status/Drive cells remain exact. All 1348 prior vertices
+and 345 ordered hyperedges remain; the E3 wrapper vertex is reused. The two new
+vertices are the far-elder wrapper and theta program. Source 219/126,
+implementation-container 297/48, 30 placeholder-only and 14 bound counts remain.
+No mathematical program, replay, workflow or Lean ran; this is declared
+consumer bookkeeping, not proof-to-code applicability or scientific acceptance.
+
 ## Row 311 lobe numerical-consumer membership, 26 October 2026
 
 Only existing row 311's implementation cell gains
@@ -305,12 +321,12 @@ OBL OPEN; source accounting only, NOT A RESULT.
 | 54 | main#527 | Math- | `frontiers/elder_lower_all_d_20260929` | GB-8l | PROOF.md | frontiers/elder_lower_all_d_20260929/lower_all_d_check.py; .github/workflows/elder-lower-all-d.yml | — | N | orphan | 0 |
 | 55 | main#527 | Math- | `frontiers/elder_partner_extremes_20260930` | GB-8l | PROOF.md | frontiers/elder_partner_extremes_20260930/elder.py; frontiers/elder_partner_extremes_20260930/test_elder.py | — | N | orphan | 0 |
 | 56 | main#527 | Math- | `frontiers/elder_selected_extremes_20260930` | GB-8m | NONAUTHOR_REVIEW.md; PROOF.md | MISSING | — | N | orphan | 0 |
-| 57 | main#527 | Math- | `frontiers/elder_third_order_20261001` | GB-8l | PROOF.md | frontiers/elder_third_order_20261001/e3_check.py; .github/workflows/c2-torus-transfer.yml | — | N | orphan | 0 |
+| 57 | main#527 | Math- | `frontiers/elder_third_order_20261001` | GB-8l | PROOF.md | frontiers/elder_third_order_20261001/e3_check.py; .github/workflows/c2-torus-transfer.yml; .github/workflows/elder-third-order.yml | — | N | orphan | 0 |
 | 58 | main#527 | Math- | `frontiers/em_intermediate_elder_20261006` | GB-8b | EM/AUTHOR_READ_COMPLETE_AND_CLAIM.md; EM/CLAIM.md; EM/PROOF.md | frontiers/em_intermediate_elder_20261006/EM/author_controls.py; frontiers/em_intermediate_elder_20261006/replay.py | — | N | orphan | 0 |
 | 59 | main#527 | Math- | `frontiers/equal_height_mass_value_20261001` | GB-8n | MISSING | frontiers/equal_height_mass_value_20261001/equal_height_mass.py; frontiers/equal_height_mass_value_20261001/gamma_explore.py | — | N | orphan | 0 |
 | 60 | main#527 | Math- | `frontiers/extreme_cluster_sampling_20260930` | GB-8s | PROOF.md | frontiers/extreme_cluster_sampling_20260930/extremes.py; frontiers/extreme_cluster_sampling_20260930/ratio_law.py | — | N | orphan | 0 |
 | 61 | main#527 | Math- | `frontiers/far_elder_flat_ridge_20260930` | GB-8l | C89_V1_1_PROOF.md; C89_V1_1_REVIEW.md; C89_V1_PROOF.md | frontiers/far_elder_flat_ridge_20260930/c89_replay.py; frontiers/far_elder_flat_ridge_20260930/c89_reviewer_controls.py | — | N | orphan | 0 |
-| 62 | main#527 | Math- | `frontiers/far_elder_rate_20260930` | GB-8l | ERRATUM_20261004.md; PROOF.md | frontiers/far_elder_rate_20260930/far_elder_check.py; .github/workflows/elder-third-order.yml | — | N | orphan | 0 |
+| 62 | main#527 | Math- | `frontiers/far_elder_rate_20260930` | GB-8l | ERRATUM_20261004.md; PROOF.md | frontiers/far_elder_rate_20260930/far_elder_check.py; .github/workflows/elder-third-order.yml; .github/workflows/far-elder-rate.yml | — | N | orphan | 0 |
 | 63 | main#527 | Math- | `frontiers/far_sector_lifetime_refinement_20261022` | GB-8g | PROOF.md; REVIEW.md | MISSING | — | N | orphan | 0 |
 | 64 | main#527 | Math- | `frontiers/finite_l_d2_coefficient_20261018` | GB-8e | PROOF.md; REVIEW.md | frontiers/finite_l_d2_coefficient_20261018/coefficient.py; frontiers/finite_l_d2_coefficient_20261018/contract.py | — | N | orphan | 0 |
 | 65 | main#527 | Math- | `frontiers/fixed_r_inverse_lifetime_20260930` | GB-8e | PROOF.md | frontiers/fixed_r_inverse_lifetime_20260930/inverse.py; frontiers/fixed_r_inverse_lifetime_20260930/test_inverse.py | — | N | orphan | 0 |
@@ -559,7 +575,7 @@ OBL OPEN; source accounting only, NOT A RESULT.
 | 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 | 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 | main:experiments/zeta_fold_exploration/README.md; main:experiments/zeta_fold_exploration/CLAIMS.md; main:docs/research-translation/20260930/PERSISTENCE_BRIDGE.md | experiments/zeta_fold_exploration/dbn/check_collision.py; experiments/zeta_fold_exploration/dbn/check_collision_persistence.py; experiments/zeta_fold_exploration/test_exact.py; experiments/zeta_fold_exploration/dbn/lobe_identity.py | — | N | orphan | 0 |
+| 311 | main#527 | main | `experiments/zeta_fold_exploration` | GB-8n | main:experiments/zeta_fold_exploration/README.md; main:experiments/zeta_fold_exploration/CLAIMS.md; main:docs/research-translation/20260930/PERSISTENCE_BRIDGE.md | experiments/zeta_fold_exploration/dbn/check_collision.py; experiments/zeta_fold_exploration/dbn/check_collision_persistence.py; experiments/zeta_fold_exploration/test_exact.py; experiments/zeta_fold_exploration/dbn/lobe_identity.py; experiments/zeta_fold_exploration/theta/project_theta_checks.py | — | N | orphan | 0 |
 | 312 | main#527 | main | `formal/UniversalLaw` | GB-8p | main:formal/sources/side24_v1/PROOF.md; main:formal/sources/side24_v1/ENCLOSURE.json | formal/UniversalLaw/Side24/Ledger.lean; 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 |
 | 314 | #538 | Math- | `frontiers/critical_ridge_20261020` | PENDING_OPEN_PR #491,#496,#497 | execution/author/PROOF.md; project/CriticalRidge.lean; c299_hosted_verify.py | (in PR head) | — | N | unmerged | 0 |

data/hypergraph/query_results.json

@@ -3,7 +3,7 @@
   "Math-": {
    "artifact_hyperedges": 0,
    "vertices": {
-    "implementation": 439,
+    "implementation": 440,
     "source_file": 354,
     "unit": 337
    }
@@ -12,7 +12,7 @@
    "artifact_hyperedges": 0,
    "vertices": {
     "graph_node": 49,
-    "implementation": 49,
+    "implementation": 50,
     "lane": 44,
     "record": 5,
     "source_file": 63,
@@ -346,13 +346,13 @@
  "stats": {
   "by_type": {
    "graph_node": 49,
-   "implementation": 488,
+   "implementation": 490,
    "lane": 44,
    "record": 5,
    "source_file": 417,
    "unit": 345
   },
   "hyperedges": 345,
-  "vertices": 1348
+  "vertices": 1350
  }
 }

docs/superpowers/plans/2026-10-28-row311-theta-consumer.md

@@ -0,0 +1,43 @@
+# Three declared consumer memberships implementation plan
+
+> **For agentic workers:** REQUIRED SUB-SKILL: Use superpowers:executing-plans for this single task; obtain one fresh whole-branch engineering review.
+
+**Goal:** Add three explicitly declared consumer memberships to existing rows 57, 62 and 311 without changing scientific status or existing members.
+
+**Architecture:** Reuse the existing coverage ledger and deterministic hypergraph builder. One writer combines the independently proposed row deltas, then regenerates the existing two JSON outputs once.
+
+**Tech Stack:** Existing Python metadata builder and pinned Hypergraph-DB 0.4.0; no new dependency.
+
+**Spec:** [Root pickup](https://github.com/d6g8k5htny-coder/main/issues/605#issuecomment-6467415686), [Capability Frontier's exact proposal](https://github.com/d6g8k5htny-coder/main/issues/605#issuecomment-6467446841), [personal acceptance](https://github.com/d6g8k5htny-coder/main/issues/605#issuecomment-6467475210), and [accepted handoff / only-own release](https://github.com/d6g8k5htny-coder/main/issues/605#issuecomment-6467485158).
+
+## Global constraints
+
+- Frozen Main input: `f20a971dbbdcca8e0b653e701a2877347daf1ad4`; Math source cut: `4a0d51bbd06f0d9ac731a1d1df38f25999797135`.
+- Capability Frontier supplied rows 57/62; source-inventory supplied row 311. One combined source writer; no foreign role release or integration seat.
+- Retain every original row cell/member except the three additive implementation-cell entries; retain every original vertex and ordered edge identity.
+- Preserve 345 rows, source 219/126, implementation-container 297/48, 30 placeholder-only and 14 bound counts. Vertex counts describe metadata, not accepted theorems.
+- No mathematical/checker/workflow/replay/Lean execution; no direct Bridge/C46/C47 edge, status/GRAPH/register/Drive mutation or scientific acceptance.
+
+## Review focus
+
+- The existing C2/E3 workflow memberships have trigger/consumed-source roles and must remain.
+- The reused E3 wrapper vertex must not be duplicated when row 57 gains it.
+- Row 311 co-membership must not imply that the theta program implements every source in the aggregate row.
+- Finite sums/quadrature and rounded printouts provide a declared numerical sanity check, not a certified identity or new execution.
+- Historical snapshots, source hashes and earlier review scopes remain historical; the pending #482 manifest repair is not adopted.
+
+## Task 1: Add the three memberships
+
+**Files:** Modify `data/hypergraph/README.md`, `data/hypergraph/math_coverage_ledger_20261023.md`, `data/hypergraph/math_hypergraph.json`, `data/hypergraph/query_results.json`; retain this concise plan.
+
+**Interfaces:** Consume only the frozen ledger, unchanged builder/GRAPH/binding-report inputs and literal declarations. Produce the same existing JSON formats and a Draft review candidate.
+
+- [ ] Verify the clean existing 19-test index baseline.
+- [ ] Append `.github/workflows/elder-third-order.yml` to row 57, `.github/workflows/far-elder-rate.yml` to row 62 and `experiments/zeta_fold_exploration/theta/project_theta_checks.py` to row 311; document exact source pins and limits.
+- [ ] Run existing `test_committed_outputs_current` before regeneration and confirm its expected stale-output failure finishes.
+- [ ] Run `python -m tools.hypergraph.math_hypergraph build` once.
+- [ ] Run the existing 19-test suite, `build --check`, `validate` and whitespace check. Require PASS, MATCH, `[]` and exit 0.
+- [ ] Compare all 345 raw rows, all old vertices, all ordered edge fields and all query leaves. Require only the declared additive memberships and their deterministic derived effects.
+- [ ] Commit, obtain a separate whole-branch engineering review and publish one exact Draft with current source/testing/review identities; release only the source-author role.
+
+No new implementation or mirror test is needed for this reversible data-only amendment; existing stale-output validation and a complete before/after audit exercise the relevant behavior. Repository-wide mathematical, browser and runtime suites are outside this metadata change.