Independently check #4629's re-padding ledger and price: κ 0.015637149091 reproduces; re-pad is +1×187/+5×26, block-7 surplus −256, ninth axis reached only by padding (no new κ)

research/pr4629-repad-ledger-audit/.gitattributes

@@ -0,0 +1,2 @@
+PR4629-QUOTIENT-WORD.json.gz -text
+PR4629-QUOTIENT-PROGRAMS.json.gz -text

research/pr4629-repad-ledger-audit/README.md

@@ -0,0 +1,125 @@
+# Independent check of #4629's re-padding ledger and price (no new κ)
+
+**Adversarial audit. No new κ is claimed.** Target: PR #4629 (DaysSky,
+`research/complex-ambient-quotient`, head `2cf7d081118f6f702aa317816d231b41ce073579`),
+which claims the complex supplier rises 0.003020165977 → 0.015637149091 by
+quotienting the PR4470 complex word by `span{153}` and re-padding 213 helpers to the
+full ambient.
+
+**Question answered.** Does the paid ledger #4629 prices follow from its written
+artifact? Is the 213-helper re-padding priced as described? Does it legitimately
+carry the block-8 charge? This package rebuilds the ledger and the price
+independently and compares them with the PR's stated numbers.
+
+## Result
+
+The ledger and the price **reproduce**. Three of the PR's descriptive claims **do not**.
+The block-8 charge rests on an axis that only padding uses.
+
+| quantity | #4629 states | this check |
+|---|---|---|
+| helper profile | `{3:2,6:7,7:47,8:139,9:213}` | same |
+| paid profile | `{1:2177,2:424,3:389,4:147,5:50,8:8}` | same (independent walk = shipped `literal_replay`, both directions) |
+| local deficit / surplus (block 8) | 1,688 / 3,776 | same |
+| complex κ (block 8) | 0.015637149091 | **0.015637149090882** (50-digit Decimal) |
+| frontier κ (calibration) | 0.003020165977 | 0.003020165977016 |
+| re-pad cost | "one rank in the paid profile and one in the helper profile" **each** | **+1 for 187 helpers and +5 for 26 helpers**. Paid delta `{1:187, 5:26}`; the 26 were width-4 helpers whose dim-4 finals were replaced by F₂⁹ |
+| surplus at block 7 | −1,264 | **−256** (the same invoice; frontier at block 7: −3,280). Still inadmissible |
+| "213 cold full-ended helpers the contract requires" | restored | PR4470's own word has **326** and **fails** the shipped `embedded_cache_roles` (213 is the raw THREE-base canonical count). Only 187 of #4629's 213 are among PR4470's 326; the other 26 were width-4 helpers |
+
+The deficit is unchanged, as #4629 states: each padded helper's extra rank is both
+paid and credited. Padding **lowers** the price. The same written word with the 213
+finals left at their quotient images prices at **0.016571333483**. petalas's #4627
+1-helper-padded 153 ledger reproduces at 0.016567169219, and the 511 ledger at
+0.012091850234. **No accounting asymmetry favours #4629's number.**
+
+**The ninth axis is used only by padding.** In the written word, the only frame
+containing a vector ≥ 256 is F₂⁹ itself. It occurs in 0 scalar, warp or centre
+events and in 0 main finals. It is reached only by the final climbs of the 213
+re-padded helpers. All other frames together span 8 dimensions. Every non-padded
+role's start and final frame equals φ₁₅₃ of PR4470's frame, and the scalar/warp
+program is exactly φ₁₅₃ of PR4470's.
+
+#4629's own verifier certifies block 8 by `ambient == block + 1`. Under that rule,
+block 8 is certified only by the padded helpers' inert final climbs; without
+padding the word is ambient-8, and at block 7 the ledger is inadmissible (−256).
+Under the other reading, where the block is fixed by the controller and not by the
+word, padding is unnecessary and costs κ (0.016571 → 0.015637). In neither reading
+does the padding do physical work. Which reading is the supplier contract is a
+maintainer question (see Open next questions).
+
+As corroboration on the written artifact (not the base word), 56 of 112 ports have
+their X entrance inside their Y terminal (q = 0). This matches rohanarun's per-port
+count for kernel 153 on #4633/#4596.
+
+## Method and independence
+
+`verify.py` does **not** import #4629's `build.py`, `verify.py` or `scan_kernels.py`.
+
+- **Inputs.** It reads #4629's two written artifacts, vendored here byte-for-byte.
+  Their Git blobs and SHA-256 are checked against head `2cf7d081`, as listed in
+  `SOURCES.json`. The PR4470 base word comes from main's shipped
+  `research/joint-helper-lattice/native_joint.py` `construct()`.
+- **Written here.** GF(2) spans, φ₁₅₃ images of every base frame, and padded-role
+  detection. Also an independent paid-rank walk: minimal nested climbs into every
+  scalar/warp frame, centres charged |Δdim|, then climbs to the finals; recorded
+  climbs are ignored. Also helper widths, the invoice at block 7 and 8, and the
+  two-constraint screen (tail 1/5, cutoff 20, γ 0.97) in 50-digit `Decimal` with
+  160-step bisection.
+- **Shipped evaluators used (disclosed).** `--replay` also runs main's
+  `native.synthesize` + `native_extensions.literal_replay` + `verify_buffers` on the
+  written word. It requires 632/632 endpoints exact, C cleared, and the shipped
+  paid profile equal to the independent walk, in both directions. The shipped
+  `embedded_cache_roles` is called on both words.
+- **Rejection controls (5/5 must fail).**
+  - A paid ledger with the re-pad charged as "+1 each" does not match the written ledger.
+  - A one-bit-tampered artifact fails its pin.
+  - A word with one main final moved off φ(base) is rejected.
+  - A perturbed paid profile (one 5 → 4) does not reproduce κ.
+  - The block-7 surplus is negative.
+
+## Reproduce
+
+From the repository root (Python 3.12, stdlib only, about 50 s):
+
+```sh
+python3.12 -B research/pr4629-repad-ledger-audit/verify.py --replay
+python3.12 scripts/research_package.py --package research/pr4629-repad-ledger-audit
+```
+
+It ends with `PASS_PR4629_REPAD_LEDGER_AUDIT`.
+
+## Not covered
+
+- Whether output charts or the per-port split (#4604, rohanarun's comment on
+  #4596) are part of the supplier contract. This is not ruled on here.
+- The controller-level surplus identity for mixed main widths
+  (`query-thinned-controllers/controller.py:152`) and any outer κ.
+- The other 31 replay-valid kernels, `scan_kernels.py`, and FOUR-base/FOUR-extra.
+- Where #4629's −1,264 comes from. No file in the PR computes it; the PR's own
+  `invoice()` at `block=7` returns −256.
+
+## Open next questions
+
+1. **Is the tensor block a property of the word (ambient = block + 1) or fixed by the controller?**
+   - *Why it matters:* it decides between "inadmissible at block 7 (−256)" and
+     "padding unnecessary, 0.016571".
+   - *First step:* find where `query-thinned-controllers` and `joint-helper-lattice`
+     obtain the block, and write it as a word check.
+   - *Blocked by:* a maintainer ruling on the supplier contract.
+2. **Does `embedded_cache_roles`' 213 bind PR4470-derived words at all?**
+   - *Why it matters:* PR4470 itself has 326 and fails it, yet #4629 pads to
+     exactly 213 to pass it.
+   - *First step:* trace its caller at `native_extensions.py:203`.
+
+Structured versions are in `TASK.json`.
+
+## Credit
+
+- The construction, re-padding and invoice are DaysSky's (#4596, #4629).
+- The kernel census and the 153/511 ledgers are petalas's (#4627).
+- The endpoint-chart question is pinterbanget's (#4604). The per-port contract
+  audit is rohanarun's (comment on #4596; #4633).
+- The base word is Cinna Davis's (#4441, #4447, #4470), on zxv's native supplier.
+
+Prepared by lm1909 with Claude Code (Claude Opus 5.5) assistance. Apache-2.0.

research/pr4629-repad-ledger-audit/SOURCES.json

@@ -0,0 +1,86 @@
+{
+  "schema_version": 1,
+  "base_commit": "fbc9ea0249746acca4f504d4fda2b84e0e36cf0d",
+  "files": [
+    {
+      "path": "certificates/selected-result.json",
+      "usage": "provenance",
+      "git_blob": "c35482cd9035843b15a634cc8276a7e1e40e8395",
+      "sha256": "6fe0a099b89aa2aed796a13c3a21dafc63f3388ebf397464e44e0451893b9375"
+    },
+    {
+      "path": "docs/research/agent-task-catalog.json",
+      "usage": "provenance",
+      "git_blob": "f126dd2e2dad2b669e75d1d0d0bd05c600725602",
+      "sha256": "f7a48bfa2659b88378282a8eee7d9fe52cdf505594124c4d1686b58510fffd72"
+    },
+    {
+      "path": "research/fresh-helper-boundary/CHANGES.json",
+      "usage": "input",
+      "git_blob": "45744fedd0e28967aa72586048b8bc0c72f419a9",
+      "sha256": "cde73b8ff5b3c0d06e69e2293b991b24fd14a16dd4ccab7ff6b3439074a94624"
+    },
+    {
+      "path": "research/fresh-helper-boundary/native.py",
+      "usage": "input",
+      "git_blob": "1b36f6cb5f205c33bf48811e0b1b3621c55e8154",
+      "sha256": "9b55a2d3c3972148fae9d112e745d9244968166bd89bd900c938f429fc76ab29"
+    },
+    {
+      "path": "research/joint-helper-lattice/PATCH.json",
+      "usage": "input",
+      "git_blob": "51304a6601061ed4e698f910b09135ef109555e3",
+      "sha256": "296d0e8c58cc70febe042c681ef30d6bb469818c0835fbcaac8aa8d330f5b727"
+    },
+    {
+      "path": "research/joint-helper-lattice/native_joint.py",
+      "usage": "input",
+      "git_blob": "0315f80e2fdef5e0eef13e3e9b8f72066238164d",
+      "sha256": "50869b1bcad7493e6b4cb2a4cd5d2fd9a193a5921100483fa2c3f2c999ddfd46"
+    },
+    {
+      "path": "research/kappa-causal-continuation/buffer-borrowing/verify_buffers.py",
+      "usage": "input",
+      "git_blob": "5a55034ec9e6185d981e16c28e1e2e455069e2cb",
+      "sha256": "106b4d5e052427230df452f0c901d5390a0583782960b80a8af94d9a984022c7"
+    },
+    {
+      "path": "research/kappa-rebuild/complex/full-identity-certificates/THREE-base-FULL-IDENTITY-CANONICAL.json.gz",
+      "usage": "input",
+      "git_blob": "4a8c4ed26e53a72362d571c972e65aff546be784",
+      "sha256": "6418ec3da24d548a57f5c3fe5b9062c26c9478e638504a61c387f5cfb5f4ed61"
+    },
+    {
+      "path": "research/kappa-rebuild/complex/full-identity-certificates/THREE-base-FULL-IDENTITY-NATIVE.json.gz",
+      "usage": "input",
+      "git_blob": "b46d44c6ee624968dd57be928b0c15d9d45f3b2c",
+      "sha256": "c54b0a3e129d28e6dbf74fa731fc3bb70fe3c6705f07256750fbecddcc842d39"
+    },
+    {
+      "path": "research/kappa-rebuild/complex/native_extensions.py",
+      "usage": "input",
+      "git_blob": "7f84894efc309546a903d314c7ac1473e7f594a8",
+      "sha256": "50ad007d9c386393657e86c99a96ae0a63a8fbc52872579b185002cc626e88e3"
+    },
+    {
+      "path": "research/missing-join-frame/PATCH.json",
+      "usage": "input",
+      "git_blob": "f96d295d40014d4dd503f58eb3cdabcbb4b8e101",
+      "sha256": "9ab5328245ff02c9d0be21d39bcc375f50bc5d7909e9f7b9a3a9a6f812f5bd6e"
+    },
+    {
+      "path": "research/complex-ambient-quotient/QUOTIENT-WORD.json.gz",
+      "usage": "provenance",
+      "pin": "head:2cf7d081118f6f702aa317816d231b41ce073579:research/complex-ambient-quotient/QUOTIENT-WORD.json.gz",
+      "git_blob": "31444b48850cbe220d4ddbf88496722682581fb8",
+      "sha256": "10155f81100e9cd6283f1d9dfd071bc0c3e0e89dc3794a66e4129a1f34d99dc4"
+    },
+    {
+      "path": "research/complex-ambient-quotient/QUOTIENT-PROGRAMS.json.gz",
+      "usage": "provenance",
+      "pin": "head:2cf7d081118f6f702aa317816d231b41ce073579:research/complex-ambient-quotient/QUOTIENT-PROGRAMS.json.gz",
+      "git_blob": "7fe7923f34d0233d60a51cfd369002765491e870",
+      "sha256": "52d70e135c0ea30439932c19c815c4cd5d6e784372dfc8069ce6786d1c0d955c"
+    }
+  ]
+}

research/pr4629-repad-ledger-audit/TASK.json

@@ -0,0 +1,106 @@
+{
+  "schema_version": 1,
+  "task_id": "independent-moment",
+  "priority_revision": 7,
+  "base_commit": "fbc9ea0249746acca4f504d4fda2b84e0e36cf0d",
+  "original_card": {
+    "id": "independent-moment",
+    "question": "Does a new paid-profile or mixture-ceiling claim have independent source-bound coverage of its actual changed ledger?",
+    "starting_points": [
+      "docs/research/research-family-status.md",
+      "certificates/selected-result.json",
+      "research/staged544-mixed-fourth-entry/README.md",
+      "research/staged-fourth-mixture-ceiling/README.md",
+      "research/r437-two-window-carrier/README.md"
+    ],
+    "methods": [
+      "Independently reconstruct one changed paid ledger or pooled dual with exact source and model binding.",
+      "Check a genuinely uncovered moment implication with a different enclosure method and semantic controls."
+    ],
+    "acceptance_gate": "Demonstrate independence, source binding, positive cases and semantic failure controls. Name the existing checks and the missing coverage. More digits or another equivalent evaluation of an unchanged root is not by itself new verification coverage.",
+    "first_step": {
+      "command": [
+        "python3",
+        "-B",
+        "scripts/research_baseline.py"
+      ],
+      "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY",
+      "inspect": "Choose one uncovered implication in #4088 literal mixed fill, #4091 pooled dual/model binding or #4067 changed frame/host bill. #4091 pins an earlier #4088 head: validate word, capacity and stock equivalence before applying that ceiling to the later fill.",
+      "scope": "Source-binding orientation only; no scientific replay, theorem acceptance or supplier admission. Budget any heavy replay separately."
+    },
+    "first_experiment": "Independently reconstruct one changed ledger or pooled certificate with a positive case and a semantic failure control. Compare exact sources and name what existing checks miss. Keep this separate from supplier-boundary-audit (ordinary/outer dispatch) and uniform-transfer-audit (all-size proof). Stop after the chosen implication; more digits of an unchanged root are not additional mechanism coverage.",
+    "bottleneck_link": "Independent pricing prevents unsupported frontier claims and can reveal genuine accounting slack.",
+    "allowed_variations": [
+      "Reconstruct either a source ledger or a numeric enclosure with a different method."
+    ],
+    "scope_change_triggers": [
+      "Importing the primary function and calling its output independent verification.",
+      "Calling an aggregate histogram or source archive an independently accepted physical supplier."
+    ],
+    "overlap_terms": [
+      "independent moment",
+      "rank histogram",
+      "exact enclosure",
+      "2979",
+      "rank7 joint endframes",
+      "paired extraction",
+      "joint lowering",
+      "4088",
+      "4091",
+      "4067",
+      "staged544-mixed-fourth-entry",
+      "staged-fourth-mixture-ceiling",
+      "r437-two-window-carrier"
+    ],
+    "existing_checks": [
+      {
+        "scope": "PR #4088: mixed local/owner/phase ledger and moment reported.",
+        "evidence": "research/staged544-mixed-fourth-entry/README.md",
+        "remaining": "Independent binding of changed construction to paid histogram, distinct from full admission.",
+        "status": "author-checked",
+        "source_commit": "72d7efc181edb21806a878f174847c96dd410ab0",
+        "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
+      },
+      {
+        "scope": "PR #4091: sharp pooled ceiling proposed for fixed THREE/FOUR words and inventory.",
+        "evidence": "research/staged-fourth-mixture-ceiling/README.md",
+        "remaining": "Validate dual, exhaustive pattern scope and exact source equivalence before applying to newer fills.",
+        "status": "author-checked",
+        "source_commit": "a29bdd8f56cd18b805917775cdec09ff935eddc4",
+        "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
+      },
+      {
+        "scope": "PR #4067: paid (2,2) to (1,3) exchange and fixed OQ4 host reported.",
+        "evidence": "research/r437-two-window-carrier/README.md",
+        "remaining": "Independent full cost delta; remaining caller/precision/stock obligations are separate.",
+        "status": "author-checked",
+        "source_commit": "a95f11c52e3ca1e4c5171b3c20d8f4b0815aee2e",
+        "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
+      }
+    ]
+  },
+  "scope_status": "refined",
+  "actual_scope": "Independently reconstruct the changed local ledger of PR #4629 (DaysSky, head 2cf7d081): the 213-helper re-padding, its paid/helper profiles, deficit, rank surplus at block 8 and block 7, and the invoice-to-complex-kappa price, from the written artifacts and main's PR4470 base word, without importing #4629's builder or verifier.",
+  "scope_change_reason": "The card's examples (#4088/#4091/#4067) are historical; this applies the same question (independent coverage of a changed paid ledger) to the newest open complex-supplier ledger claim, #4629. Operator-level endpoint semantics (#4604) are only touched by one corroborating count.",
+  "bottleneck_link": "#4629 claims the complex supplier rises 0.003020165977 -> 0.015637149091. Whether that ledger and its block-8 charge follow from the written word decides whether the complex side is still the binding constraint.",
+  "budget_minutes": 60,
+  "stop_rule": "Stop after the re-padding ledger, the block-7/block-8 surplus and the kappa prices are independently recomputed with controls; do not attempt operator-level endpoint semantics or new constructions.",
+  "outcome": "completed",
+  "evidence": "verify.py --replay: ledger and kappa 0.015637149091 reproduce; re-padding is +1 rank for 187 helpers and +5 for 26 (paid delta {1:187,5:26}), not one rank each; the ninth axis is reached only by these 213 helper final climbs (0 scalar/warp/centre events, 0 mains); the un-padded ledger prices higher (0.016571333483), so padding costs kappa; block-7 surplus is -256, not the stated -1,264; PR4470 itself has 326 cold full-ended helpers and fails the shipped 213 check that #4629 pads to satisfy. 5/5 rejection controls.",
+  "author": "lm1909",
+  "ai_assistance": "Prepared by lm1909 with Claude Code (Claude Opus 5.5) assistance.",
+  "open_questions": [
+    {
+      "question": "Is the tensor block of a supplier word defined by its ambient dimension (ambient = block + 1), or fixed by the controller independently of the word?",
+      "why_it_matters": "#4629's admissibility rests on block 8; its word reaches the ninth axis only through 213 inert helper final climbs. Under the ambient rule without padding the ledger is block 7 (surplus -256, inadmissible); under a fixed-block rule the padding is unnecessary and the un-padded ledger prices 0.016571333483.",
+      "first_step": "Locate where research/query-thinned-controllers and joint-helper-lattice derive the block (constant vs word property) and state the rule as a check on the word.",
+      "blocked_by": "Maintainer ruling on the supplier contract (#4604 / rohanarun's per-port contract)."
+    },
+    {
+      "question": "Which cold full-ended helper count, if any, binds a retimed word like PR4470 (326) as opposed to the raw THREE-base canonical (213)?",
+      "why_it_matters": "#4629 pads to exactly 213 to satisfy native_extensions.embedded_cache_roles, which PR4470's own word fails; the chosen 213 includes 26 helpers that were width 4 in PR4470.",
+      "first_step": "Trace the callers of embedded_cache_roles (native_extensions.py:203) and decide whether it applies to PR4470-derived words at all.",
+      "blocked_by": "none"
+    }
+  ]
+}

research/pr4629-repad-ledger-audit/VERIFY.json

@@ -0,0 +1,29 @@
+{
+  "schema_version": 1,
+  "status": "ready",
+  "python": "3.12",
+  "requirements": [],
+  "inputs": [
+    "research/fresh-helper-boundary/CHANGES.json",
+    "research/fresh-helper-boundary/native.py",
+    "research/joint-helper-lattice/PATCH.json",
+    "research/joint-helper-lattice/native_joint.py",
+    "research/kappa-causal-continuation/buffer-borrowing/verify_buffers.py",
+    "research/kappa-rebuild/complex/full-identity-certificates/THREE-base-FULL-IDENTITY-CANONICAL.json.gz",
+    "research/kappa-rebuild/complex/full-identity-certificates/THREE-base-FULL-IDENTITY-NATIVE.json.gz",
+    "research/kappa-rebuild/complex/native_extensions.py",
+    "research/missing-join-frame/PATCH.json"
+  ],
+  "commands": [
+    {
+      "argv": [
+        "{python}",
+        "-B",
+        "{package}/verify.py",
+        "--replay"
+      ],
+      "timeout_seconds": 300,
+      "checks": "Pinned PR #4629 artifacts (blob+SHA-256 of head 2cf7d081); written word = phi_153(PR4470 base) except 213 re-padded helper finals; independent paid walk vs shipped literal_replay; re-pad increments {1:187,5:26}; ninth axis inert; invoice at block 8/7 and 50-digit Decimal kappa (frontier, #4629, un-padded, petalas 153/511); 5 rejection controls."
+    }
+  ]
+}