Price the sum-only encoded P104 consumer at 192 transports.

research/p104-encoded-sum-consumer/README.md

@@ -0,0 +1,99 @@
+# Sum-only consumer of the encoded P104 exit
+
+**Negative budget result. No new kappa.** Discussion #1166 comment 19032700,
+task 2, asks for one downstream consumer that keeps the PR #3943 encoded
+endpoint and does not pay an unaffordable source return. This package prices
+the consumer whose published outputs are the corrected sums `w_i` on `Y_i` at
+`H_i`, with `q` and the 72 dirty helpers left in place and `x` not restored.
+
+The native bill still fails. The protocol pays the same 192 rank-one
+transports as PR #3943's source-preserving return. Its scalar arithmetic is
+smaller, and that scalar gap is not a rank-profile gap. Selected kappa stays
+`0.001672660197076918`.
+
+## What is proved here
+
+The producer placement is taken from PR #3943 at
+`2cba526a4ebe0ef6c3c0143498adcf67dca97941`: `w_N` sits on `X_N` at `H_n`,
+`w_J` sits on `Y_J` at `H_j`, `q` sits on `X_J` at FULL, and `v_N` sits on
+`Y_N` at FULL. This package does not replay the 3,642-event prefix or the
+1,664-event tail. The inherited encoded profile is
+`(1282, 58, 86, 104, 48, 24, 8, 8)`, mass 2,576, and the published
+optimistic progress credit is 2,312.
+
+From that exit the sum-only continuation is:
+
+1. Lift each of the 96 `X_n` banks from `H_n` to FULL.
+2. Clear `Y_n` by the unit update `Y_n -= Y_n`, then add `Y_n += X_n`.
+3. Descend `Y_n` from FULL to `H_n`.
+
+On every checked integer pattern, including one-port separating inputs,
+`Y_N` becomes `w_N`, `Y_J` stays `w_J`, `q` and all 72 helpers stay put, and
+`X_N` still holds `w_N` at FULL. So `x` is not recovered. The schedule is
+192 transports and 192 unit additions, with no half-coefficient pass and no
+restoring doubles. PR #3943's source-preserving adapter uses the same 192
+transports plus 960 unit additions, 104 halves and 104 doubles.
+
+The occupancy floor is the same 192. The 96 target hyperplanes are pairwise
+incomparable, so one nested transport has at most one of them as an endpoint.
+Publishing `w_n` on the distinct bank `Y_n` at `H_n` needs one departure of
+`X_n` and one arrival of `Y_n`. The copy schedule meets that count.
+
+Native mass is therefore `2576 + 192 = 2768`, the same mass PR #3943 already
+rejects for the legacy return. In that equal-profile screen, with
+`s = 9`, `m = 73`, `W = 832` and progress `2312`, the paid-mass lower bound
+is 64,008 against capacity 60,736, deficit **3,272**. Subtracting the 768
+saved unit additions from the native mass is a different accounting and is
+rejected here; those additions are not rank children. The untouched encoded
+exit, deficit 1,544 in the same screen, is PR #3943's result and is not
+re-proved from the word.
+
+## What this does not establish
+
+No literal 5,370-event producer was executed. No physical owner, phase,
+signed-floor width, tape, or opposite orientation is supplied. Clearing by
+`Y -= Y` is one unit addition in characteristic not 2; a model that forbids
+a self-update can spend one CLEAR instead, and the transport floor does not
+move. A consumer that reads `w_N` from `X_N` and never publishes it on `Y_N`
+is outside the floor. The equal-profile screen is the published necessary
+test, not an owner embedding and not a universal P104 obstruction.
+
+This is not PR #4006. That fusion returns `X = x` on the source-preserving
+variant and saves 768 cleanup additions inside the correction word. It does
+not remove the 192-transport native increment charged when the corrected
+sums have to occupy the `Y` hyperplanes.
+
+## Reproduce
+
+Python 3.12, standard library, from the repository root:
+
+```sh
+python3 scripts/research_package.py --package research/p104-encoded-sum-consumer
+```
+
+The direct check prints
+
+```text
+PASS_ENCODED_SUM_CONSUMER transports=192 unit_adds=192 halves=0 native_mass=2768 deficit_s9=3272 encoded_deficit_s9=1544 x_restored=0
+```
+
+## Open next questions
+
+A useful successor has to publish a different interface or delete native
+children. One candidate is a consumer that reads `w_N` on `X_N` at `H_n`
+and does not move those 96 banks onto `Y`. That interface avoids this
+192-transport floor, but the inherited encoded mass 2,576 still misses the
+published nine-stage screen by 1,544 before any new charge. Price it only
+with a changed coverage credit or a named deletion of rank children, and
+stop when the favorable bill remains above capacity.
+
+## Credit
+
+The encoded exit, the profile, the progress credit and the source-preserving
+adapter are Chris R / Clear1nsight, PR #3943, following PR #3882. The channel
+lineage is Rohan Arun / PR #1972, Chafik Boukhalfa / PR #1991 and Adam Gall /
+PR #1940. The occupancy method follows the terminal-floor argument recorded
+in that package. New work is the sum-only schedule, its separating-input
+floor and the observation that the scalar gap does not change the rejected
+native mass. unpaidmoon, with substantial Cursor Grok assistance. Apache-2.0.
+No independent human or formal-kernel review.

research/p104-encoded-sum-consumer/SOURCES.json

@@ -0,0 +1,18 @@
+{
+  "schema_version": 1,
+  "base_commit": "bb4bccbf42844d2801487450727c2f63e10d1d0f",
+  "files": [
+    {
+      "path": "certificates/selected-result.json",
+      "usage": "provenance",
+      "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
+      "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
+    },
+    {
+      "path": "docs/research/agent-task-catalog.json",
+      "usage": "provenance",
+      "git_blob": "67f085acd86acd7d4e03922d9cf4b26bca66fed5",
+      "sha256": "47b42433f5a85809a3aadd29c2c339da2c6ed728e4f7762df6b88bccb7874cf0"
+    }
+  ]
+}

research/p104-encoded-sum-consumer/TASK.json

@@ -0,0 +1,88 @@
+{
+  "schema_version": 1,
+  "task_id": "p104-side-correction",
+  "priority_revision": 6,
+  "base_commit": "bb4bccbf42844d2801487450727c2f63e10d1d0f",
+  "original_card": {
+    "id": "p104-side-correction",
+    "question": "Can the proposed P104 joint endpoint flags be realized by a chronological correction program with coefficients, dirty restoration and an affordable complete bill?",
+    "starting_points": [
+      "docs/research/research-family-status.md",
+      "research/p104-native-channel/README.md",
+      "research/p104-native-channel/PROOF.md",
+      "docs/research/community-efficient1000-review.md",
+      "research/p104-joint-unit-flags/README.md"
+    ],
+    "methods": [
+      "Construct one side-correction word at an explicit chronological cut with the needed frames still available.",
+      "Derive a lower bound on the side correction and hosting costs that decides whether this channel can beat the selected budget."
+    ],
+    "acceptance_gate": "An exact arbitrary-input identity, source/target frame availability and restoration at the chosen cut, plus the complete channel+correction+idle/hosting bill or an explicit favorable bound. The native channel alone is not a supplier. A scoped local result may be retained without a complete supplier. Expanding it into further construction rounds requires the family-level budget and obligation gate in research-family-status.md; an optimistic passing relaxation alone is not acceptance.",
+    "first_step": {
+      "command": [
+        "python3",
+        "-B",
+        "scripts/research_baseline.py"
+      ],
+      "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY",
+      "inspect": "Read the revision-6 family record and #2981 static joint flags, alongside the reviewed #1991 channel. #2981 is an author-checked source archive, not an independently validated executable correction or a refutation of program-level lifetime floors.",
+      "scope": "Source-bound orientation only. Read the named package and review before relying on its local evidence; this command is not its replay or supplier admission."
+    },
+    "first_experiment": "After checking live handoffs, pin one named collection from #2981 and attach acquisition/delivery times, source dependencies and coefficient requirements. Test legal access and arbitrary dirty restoration; price any completion against the full channel/endpoint/hosting allowance. Stop with the exact missing implication or a scoped counterexample rather than expanding the static cover census.",
+    "bottleneck_link": "Completing an already realized changed channel tests a concrete construction opportunity, instead of refining the incumbent packing. A positive local result still needs global and all-size admission.",
+    "allowed_variations": [
+      "One correction factorization, one chronological cut, or one explicit hosting obstruction.",
+      "A changed correction schedule with an updated full bill and native frame contract."
+    ],
+    "scope_change_triggers": [
+      "Recompiling the already certified low-rank channel without closing a new obligation.",
+      "Treating a pending ancestor, local histogram or unpriced side correction as an admitted global supplier.",
+      "Repeating a correction or physical conversion already supplied by a pending follow-up without adding independent coverage or a different unresolved obligation.",
+      "Repeating the 208-flag static matching or calling a static nested cover a chronological correction program. Independent audit of that certificate is distinct and remains useful."
+    ],
+    "overlap_terms": [
+      "P104",
+      "I-G/2",
+      "side correction",
+      "native channel",
+      "1972",
+      "1991",
+      "2586",
+      "endpoint transport",
+      "physical dual",
+      "relay composition",
+      "2981",
+      "joint unit flags",
+      "acquisition delivery",
+      "static nesting"
+    ],
+    "existing_checks": [
+      {
+        "scope": "PR #2981 reports static joint endpoint flags and a matching of 208 departure and arrival flags; archival intake is not independent verification.",
+        "evidence": "research/p104-joint-unit-flags/README.md",
+        "remaining": "Independent flag check and a chronological coefficient program with dirty restoration and a complete cost.",
+        "status": "author-checked",
+        "source_commit": "3d24b92d8ba057b57cb2d480170ec407520e6882",
+        "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
+      }
+    ]
+  },
+  "scope_status": "refined",
+  "actual_scope": "Price one sum-only consumer of the PR #3943 encoded exit that publishes w_i on Y_i without restoring x, and decide whether its native bill clears the published nine-stage screen.",
+  "scope_change_reason": "Discussion #1166 comment 19032700 task 2 asks for a downstream consumer of the encoded endpoint, not another static flag matching. The card method used is the side-correction cost bound. The 3,642-event prefix is cited, not replayed.",
+  "bottleneck_link": "The encoded exit is a concrete P104 correction interface. Its consumer either removes paid native mass or it does not. This sum-only continuation keeps the rejected 192-transport increment, so the scalar cleanup saving is not a supplier.",
+  "budget_minutes": 60,
+  "stop_rule": "Stop when the favorable native bill of publishing w on Y still exceeds the published nine-stage capacity. Do not build a larger word after that failure.",
+  "outcome": "negative-result",
+  "evidence": "Author-checked finite certificate: the copy schedule attains 192 transports and 192 unit additions, the occupancy count is 192, and the inherited mass 2576 plus those transports reproduces deficit 3272. The prefix was not replayed.",
+  "author": "unpaidmoon",
+  "ai_assistance": "Substantial Cursor Grok assistance for the schedule, the occupancy count, the screen arithmetic and the package text.",
+  "open_questions": [
+    {
+      "question": "Can a consumer read w_N from X_N at H_n and avoid publishing those values on Y_N, under a coverage credit different from the rejected encoded-exit screen?",
+      "why_it_matters": "That interface is the only reading of comment 19032700 that avoids this 192-transport floor. The inherited encoded mass still misses the published screen by 1544 before new charges.",
+      "first_step": "Name the downstream equations that accept w_N on X_N, write the changed progress credit, and compare it with mass 2576 plus every new charge.",
+      "blocked_by": "No such downstream equation is identified in PR #3943, and a changed coverage law is not supplied."
+    }
+  ]
+}

research/p104-encoded-sum-consumer/VERIFY.json

@@ -0,0 +1,28 @@
+{
+  "schema_version": 1,
+  "status": "ready",
+  "python": "3.12",
+  "requirements": [],
+  "inputs": [],
+  "commands": [
+    {
+      "argv": [
+        "{python}",
+        "-B",
+        "{package}/verify.py"
+      ],
+      "timeout_seconds": 60,
+      "checks": "Sum-only identity on four patterns and four separating ports, 192-transport floor, nine-stage deficit 3272, three-stage split between linear gap 1160 and paid deficit 3104, and controls for a missing copy, a sign flip, omitted descents and a scalar-as-native mischarge."
+    },
+    {
+      "argv": [
+        "{python}",
+        "-O",
+        "-B",
+        "{package}/verify.py"
+      ],
+      "timeout_seconds": 60,
+      "checks": "Same certificate with assertions disabled, using explicit failures rather than assert."
+    }
+  ]
+}