Erdos1038: demote weighted-QR to diagnostic + clarify patch-handoff + Round 19 dispatch log

Erdos1038/PERPLEXITY_FULL_CONTEXT.md

@@ -9,6 +9,24 @@ Claude, Codex, and human reviewers working from the public
 It is a context packet, not proof evidence. Local packet artifacts, checksums,
 Rust/Lean builds, and PR checks decide what is actually verified.
 
+## Route status as of 2026-05-27
+
+The weighted-QR route is demoted to diagnostic only. Its f64 transform
+condition is approximately 4.7e16, which disqualifies it as a primary
+certificate — the apparent niceness of the post-transform condition (~264.9)
+is an artifact of passing through a violently ill-conditioned step, not a
+property of the basis itself. The canonical hyperelliptic basis is now the
+primary parallel route; the weighted-QR diagnostic tooling is retained for
+mechanical comparison but not treated as a summit-critical path. The dependent
+Vieta consumer remains blocked on six missing receipts (`ROOT_BOX.json`,
+`ROOT_MULTIPLICITY_LEDGER.json`, `ORDERED_ROOT_INTERVALS.json`,
+`SCALED_VIETA_IMAGE_CONTRACT.json`, `FIXED_CLOUD_BOUND_CERTIFICATE.json`,
+`ATTAINED_WITNESS_TYPED_DUAL_MARGIN_RESULTS.json`) — this is not a dead end,
+it is the correct next local-agent deliverable. The coeff-box theorem is
+dangerous to assert without a falsifier-first test. The endpoint-limit kernel,
+KKT/slack, and global reduction threads remain summit-level open work. Plan
+reference: `/Users/kenbengoetxea/.claude/plans/remove-all-items-that-hashed-donut.md`.
+
 ## Public Git Entry
 
 ```text

Erdos1038/agent-work/CURRENT_FRONTIER.md

@@ -78,11 +78,25 @@ Goal: feed real private numeric interval payloads into the backend for:
 - B3: transformed period matrix interval entries and singular-value/condition
   bounds.
 
-The weighted-QR route is structurally suspect: f64 transformed matrix condition
-is about `264.93593439501007`, but the f64 transform condition is about
-`4.726362562410606e16` and the seed evaluation rank is only `13`. Treat this as
-high-risk until B1/B2 certify. Prepare the hyperelliptic-canonical basis
-fallback in parallel.
+### Route status — weighted-QR: STATUS: DEMOTED — diagnostic only (2026-05-27)
+
+The weighted-QR route is demoted to diagnostic capability only and is not a
+summit-critical certificate. The evidence: the f64 transform condition is
+approximately `4.726362562410606e16`, the seed evaluation rank is only `13`,
+and the number of recovered independent basis directions is `11`. The "nice"
+apparent condition of approximately `264.9` only emerges after passing through
+a violently ill-conditioned transform — which means the apparent niceness is an
+artifact of the conditioning step, not a property of the underlying basis. No
+interval certification can be built on top of that without first addressing the
+transform conditioning; the weighted-QR route does not provide a path to a
+legitimate basis certificate.
+
+The canonical hyperelliptic basis is now the **primary parallel route** — not a
+fallback. The hyperelliptic-canonical basis seed work
+(`EXP-MATH-ERDOS1038-PHI-K-HYPERELLIPTIC-CANONICAL-BASIS-INTERVAL-SEED-20260527-01`)
+should be treated as the leading route alongside the endpoint-limit kernel and
+KKT/slack/global reduction threads. The weighted-QR diagnostic tooling is
+retained for mechanical comparison purposes only.
 
 Parallel theorem target:
 

Erdos1038/agent-work/EVEREST_ROUTE_PLAYBACK.jsonl

@@ -1,2 +1,4 @@
 {"event_id":"EVT-ERDOS1038-20260527-0001","created_utc":"2026-05-27T23:49:28Z","event_type":"public_staging_head","actor":"Codex/local","route":"dependent-vieta-image-consumer","packet_id":"EXP-MATH-ERDOS1038-PHI-K-DEPENDENT-VIETA-IMAGE-CONSUMER-20260527-01","status":"LOCAL_ASSIMILATED_AND_PUSHED","git_head":"124c87e","altitude_before":"8525 m","altitude_after":"8525 m","claim_level":1,"evidence":["cargo check --bin phi_k_dependent_vieta_image_consumer","python runner synthetic fixtures pass","RESULTS sha256 ok"],"blockers":["real dependent Vieta receipts missing","no independent coefficient box theorem","no KKT/global reduction"],"next_actions":["EXP-MATH-ERDOS1038-PHI-K-DEPENDENT-VIETA-IMAGE-REAL-RECEIPT-INTEGRATION-20260527-01"],"playback_note":"Public Git transport restored for the dependent Vieta consumer scaffold; this is a staging/harness event, not a theorem event."}
 {"event_id":"EVT-ERDOS1038-20260527-0002","created_utc":"2026-05-27T23:55:00Z","event_type":"process_hardening","actor":"Codex/local","route":"public-agent-review-system","packet_id":"PUBLIC_SAFE_PR_AND_CONTEXT_LAYER","status":"CONTEXT_AND_PR_SYSTEM_ADDED","git_head":"PENDING_COMMIT","altitude_before":"8525 m","altitude_after":"8525 m","claim_level":0,"evidence":["PERPLEXITY_FULL_CONTEXT.md added","SALIENT_FILES_MANIFEST.json added","PR_REVIEW_PROTOCOL.md added","GitHub PR template and CI workflow added"],"blockers":["workflow must pass on GitHub after push","end-to-end solve attempts still require receipts"],"next_actions":["commit and push PR/context system","use GitHub PRs for future external work products"],"playback_note":"Adds public context and PR gates so external agents can inspect the whole #1038 lane and produce reviewable PRs instead of Linear patch chunks."}
+{"event_id":"evt-20260527-weighted-qr-demote","created_utc":"2026-05-27T00:00:00Z","event_type":"route_demote","actor":"ken-via-claude","route":"weighted_qr","packet_id":null,"status":"WORK_PRODUCT_INTENT_ONLY","git_head":"b88ef05","altitude_before":null,"altitude_after":null,"claim_level":0,"evidence":"f64 transform condition ~4.7e16; seed eval rank 13; recovered directions 11","blockers":[],"next_actions":["promote canonical hyperelliptic basis as primary parallel route"],"playback_note":"Weighted-QR retained as diagnostic; not summit-critical certificate"}
+{"event_id": "evt-20260528-round-19-dispatch", "created_utc": "2026-05-28T03:31:02Z", "event_type": "round_dispatch", "actor": "ken-via-claude", "route": "canonical_hyperelliptic_basis", "packet_id": "ROUND_19_DISPATCH", "status": "WORK_PRODUCT_INTENT_ONLY", "git_head": "c121a41", "altitude_before": null, "altitude_after": null, "claim_level": 0, "evidence": "Linear comment 348613ea-3a75-44bd-9a68-84cbf391113a on KEN-5 dispatches PC for Mode 2 end-to-end Round 19; Track B (canonical hyperelliptic basis seed deep-dive) primary; Track A (adversarial falsifier hunt) parallel.", "blockers": ["six receipts still absent at dispatch time; tracks A+B proceed without them per substrate brief"], "next_actions": ["PC returns substrate bundle to projects/erdos-1038/jobs/ROUND_19/", "local Claude/Codex creates EXTERNAL-REVIEW-ASSIMILATION-ROUND_19 packet", "log round_complete event on return"], "playback_note": "Round 19 is the first round under the new substrate project. PC reads the brief from the Linear comment (substrate is local-only). Canonical hyperelliptic basis route is being populated for the first time post-weighted-QR-demote."}

Erdos1038/agent-work/MANIFEST.sha256

@@ -1,13 +1,13 @@
 786629101c2b52a7a64d88879b2ff9f1fb66b1bc8536e576109fd676580211e5  Erdos1038/agent-work/.gitignore
-c699895ad8918bb3c92bd34e62393e61ea26ad67cbdeb58ce48a8c952cdc0a0c  Erdos1038/agent-work/CURRENT_FRONTIER.md
+c7cca5ba0c8dd85f05028e2be9bcef3220f637e1b9555cf97b749ea9e1102378  Erdos1038/agent-work/CURRENT_FRONTIER.md
 7efaa1855ad3e87579d337dd321e10780e2b0dd2bfbb44672108796d6e638959  Erdos1038/agent-work/EVEREST_ROUTE_FRAME.md
-6bc82b28a6faacbc8318b26c6a1611712ec17bd6964bf4ab82277eee6a01cabb  Erdos1038/agent-work/EVEREST_ROUTE_PLAYBACK.jsonl
-6841426f48f2802611404a77121b75d025c9424327b324745e6158fc2de58fb2  Erdos1038/agent-work/MODE2_GIT_HANDOFF.md
+75cecbc3ec7b8920963aa69469b1bcd405e12185042f5844f496c57cb4660413  Erdos1038/agent-work/EVEREST_ROUTE_PLAYBACK.jsonl
+ad206fde9b683936339ed7d4674badf9be7bc14adb56d95432696c06c996a10b  Erdos1038/agent-work/MODE2_GIT_HANDOFF.md
 d5e2985caf54a66ba3a5ab258065e9d1c51fa797589cf9dbd612440ecc3bb598  Erdos1038/agent-work/PR_REVIEW_PROTOCOL.md
 424110ead03f6c808bd1450dac45fb18590158832c809ac1ca465b3b3c1c0237  Erdos1038/agent-work/PUBLIC_CONTEXT.json
 692c6c0516de472cbcde4d67c8ad7290c62217f4d0eeaad0fd4d4a5f6c078820  Erdos1038/agent-work/README.md
 ef6b3b2882a58c11b1a24c25d3fda2a0d794552c649694ba519f56147052dbd4  Erdos1038/agent-work/SALIENT_FILES_MANIFEST.json
-c1907f8ab3654f25a74625755649315c1539ea71d8bedb4db675aa7b0fe4546c  Erdos1038/agent-work/WORK_QUEUE.jsonl
+1eb469145e775ff790729c4221a0f87e96ef1de24ae6ae0783fbb84915b77914  Erdos1038/agent-work/WORK_QUEUE.jsonl
 01ba4719c80b6fe911b091a7c05124b64eeece964e09c058ef8f9805daca546b  Erdos1038/agent-work/packets/.gitkeep
 bf7bb4894231852b286acd6a352c0f6d82389193ea8e883335daee698bcc5e20  Erdos1038/agent-work/problem-at-hand/PROBLEM_AT_HAND_MANIFEST.json
 6a692849aa149bb1532b3a8f5d78213468f22654bfd77218e5d160b6ce522be9  Erdos1038/agent-work/problem-at-hand/README.md

Erdos1038/agent-work/MODE2_GIT_HANDOFF.md

@@ -118,3 +118,50 @@ local filesystem paths, protected scoring algorithms, private transfer
 operators, dimensional decompositions, or unpublished atlas internals.
 
 Do not claim local packets landed or tests passed. Return proposed work only.
+
+## Patch-handoff chain (clarified after Round 18, 2026-05-27)
+
+If an implementation agent produced a commit during a Mode 2 round but cannot
+push (auth denied, sandbox isolation), it MUST NOT retry the push. A 403 from
+GitHub is policy working correctly, not a bug to fix.
+
+The correct return shape is:
+
+1. Generate a patch file from the commit:
+
+   ```text
+   git format-patch -1 HEAD --output-directory=/tmp/erdos1038-<round>-patches/
+   ```
+
+2. Compute the SHA-256 of the patch file:
+
+   ```text
+   sha256sum /tmp/erdos1038-<round>-patches/*.patch
+   ```
+
+3. Report the following in the Linear receipt comment:
+   - patch file path
+   - SHA-256 of the patch
+   - branch name
+   - commit hash
+   - stop after reporting; do not attempt push again.
+
+Local Claude or Codex in the trusted clone then applies the patch:
+
+```text
+git am /tmp/erdos1038-<round>-patches/*.patch
+```
+
+After `git am`, validate with the CI commands defined in:
+
+```text
+.github/workflows/erdos1038-agent-work.yml
+```
+
+Then push and open a PR using the template at:
+
+```text
+.github/PULL_REQUEST_TEMPLATE/erdos1038_packet.md
+```
+
+The patch-handoff chain is the authoritative path for all sandbox agents.

Erdos1038/agent-work/WORK_QUEUE.jsonl

@@ -3,3 +3,4 @@
 {"priority":0,"packet_id":"EXP-MATH-ERDOS1038-PHI-K-HYPERELLIPTIC-CANONICAL-BASIS-INTERVAL-SEED-20260527-01","mode":"MODE_2_INTENSE_SOLVE","status":"PARALLEL_FALLBACK","ask":"Prepare a hyperelliptic-canonical basis interval seed because weighted-QR has f64 transform condition about 4.7e16 and seed eval rank 13.","claim_ceiling":"Fallback basis seed only; no residual audit or route upgrade."}
 {"priority":2,"packet_id":"EXP-MATH-ERDOS1038-PHI-K-ENDPOINT-LIMIT-SOURCE-KERNEL-GATE-20260527-01","mode":"MODE_2_INTENSE_SOLVE","status":"OPEN_PUBLIC_SAFE","ask":"Propose a theorem scaffold and verification plan for endpoint-limit source-kernel admissibility with no leakage into normalization or strict interior-gap rows.","claim_ceiling":"Theorem scaffold/work product only; no period-legitimacy claim."}
 {"priority":3,"packet_id":"EXP-MATH-ERDOS1038-PHI-K-HYPERELLIPTIC-CANONICAL-BASIS-FALLBACK-SCOUT-20260527-01","mode":"MODE_1_REVIEW_RESEARCH_OPINE","status":"FALLBACK_PUBLIC_SAFE","ask":"If weighted-QR interval certification is structurally unsound, identify the smallest canonical hyperelliptic-basis fallback gate and supporting public references.","claim_ceiling":"Fallback route design only; no residual audit."}
+{"id":"wq-20260527-weighted-qr-demote","created_utc":"2026-05-27T00:00:00Z","priority":3,"type":"route_decision","route":"weighted_qr","decision":"DEMOTED_TO_DIAGNOSTIC","rationale":"f64 transform condition ~4.7e16; only diagnostic value, not summit-critical certificate","replaced_by":"canonical_hyperelliptic_basis","actor":"ken-via-claude","packet_id":null,"mode":null,"status":"ROUTE_DECISION_CLOSED","ask":null,"claim_ceiling":"Route demotion only; diagnostic tooling retained."}

Erdos1038/agent-work/archive/CURRENT_FRONTIER_2026-05-27.md

@@ -0,0 +1,118 @@
+# Erdős #1038 Current Frontier
+
+Status: `PUBLIC_SAFE_FRONTIER_SUMMARY`
+
+This is a public-safe summary for external agents. It intentionally omits
+private paths, private repository links, Linear URLs, credentials, protected
+scoring internals, and unpublished atlas internals.
+
+## Problem
+
+Erdős #1038 asks for the extremal measure of the real sublevel set
+`{x : |f(x)| < 1}` for monic real-rooted polynomials with all roots in
+`[-1, 1]`.
+
+The problem remains open. This staging lane does not claim a solution.
+
+## Current Route Shape
+
+The active route is studying a fixed public-candidate cloud for a large-degree
+root-factor projection. In that projection, the sublevel boundary has a
+finite-component structure. Current local work has isolated a period/harmonic
+measure obstruction that must be made legitimate before any residual audit can
+mean anything.
+
+Use the Everest route analogy from `EVEREST_ROUTE_FRAME.md`: the current
+altitude is local route evidence, not public proof status. The current local
+altitude remains `8525 m`, and Everest remains the full accepted proof.
+
+The current sanitized invariants are:
+
+- cloud component count: `25`;
+- gap-period row count: `24`;
+- normalization is separate and is not a period row;
+- one boundary-near support atom is routed as endpoint-limit primary;
+- the right-exterior route is not certified for that atom;
+- weighted-QR basis conditioning is only an f64 target until interval-certified;
+- the missing backend is a directed-interval basis certificate.
+
+## Current Blocker
+
+The useful next blocker is not a residual audit. The residual audit is blocked
+until the period object, endpoint-source admissibility, and basis interval
+certificate are all sound.
+
+Primary current packet landed locally and is now mirrored here:
+
+```text
+EXP-MATH-ERDOS1038-PHI-K-GAP-PERIOD-BASIS-INTERVAL-BACKEND-IMPLEMENTATION-20260527-01
+```
+
+Status:
+
+```text
+GAP_PERIOD_BASIS_INTERVAL_BACKEND_IMPLEMENTATION_PASS__FAIL_CLOSED_FIXTURES_PASS__PRIVATE_NUMERIC_PAYLOADS_PENDING
+```
+
+Meaning: the Rust/Inari backend harness now exists and passes synthetic
+fail-closed fixtures. It rejects the known bad cases before any real private
+numeric payload is consumed:
+
+- 27-vs-24 row mismatch;
+- normalization row leakage;
+- sign-convention mismatch;
+- transform condition above threshold;
+- missing recovered-direction independence witnesses;
+- nonpositive smallest singular value.
+
+It does not certify the real B1/B2/B3 payload. The next packet target is:
+
+```text
+EXP-MATH-ERDOS1038-PHI-K-GAP-PERIOD-BASIS-PRIVATE-PAYLOAD-INTEGRATION-20260527-01
+```
+
+Goal: feed real private numeric interval payloads into the backend for:
+
+- B1: transform interval certificate;
+- B2: independence witnesses for the recovered basis directions;
+- B3: transformed period matrix interval entries and singular-value/condition
+  bounds.
+
+The weighted-QR route is structurally suspect: f64 transformed matrix condition
+is about `264.93593439501007`, but the f64 transform condition is about
+`4.726362562410606e16` and the seed evaluation rank is only `13`. Treat this as
+high-risk until B1/B2 certify. Prepare the hyperelliptic-canonical basis
+fallback in parallel.
+
+Parallel theorem target:
+
+```text
+EXP-MATH-ERDOS1038-PHI-K-ENDPOINT-LIMIT-SOURCE-KERNEL-GATE-20260527-01
+```
+
+Goal: prove or falsify that the boundary-near endpoint-limit source has a
+finite row-compatible period contribution and does not leak into normalization
+or strict interior-gap source theorems.
+
+## Claim Ceiling
+
+Allowed from this directory:
+
+- public-safe route critique;
+- literature pointers;
+- theorem scaffolds;
+- patch proposals;
+- numerical-backend designs;
+- falsifiable next local gates.
+
+Forbidden from this directory:
+
+- claiming #1038 is solved;
+- claiming public SOTA improvement;
+- claiming altitude upgrade;
+- claiming period legitimacy;
+- claiming residual audit closure;
+- claiming KKT closure;
+- claiming global reduction;
+- claiming Lean proof;
+- claiming independent coefficient-box theorem.

Erdos1038/agent-work/archive/MODE2_GIT_HANDOFF_2026-05-27.md

@@ -0,0 +1,120 @@
+# Perplexity Computer Mode 2 Handoff
+
+Status: `READY_FOR_MODE_2_INTENSE_SOLVE_PUBLIC_GIT`
+
+Use this file as the public Git handoff for a Perplexity Computer Mode 2 round.
+
+## Required Output Prefix
+
+```text
+Perplexity Computer mode: MODE_2_INTENSE_SOLVE
+Git access check: VERIFIED_PUBLIC_GIT | UNABLE_TO_VERIFY_GIT_ACCESS
+Freshness check: CURRENT | STALE_CONTEXT_STOP | UNABLE_TO_VERIFY
+Status: WORK_PRODUCT_INTENT_ONLY
+Assimilation: NOT_ASSIMILATED
+```
+
+## Public Git Access
+
+Primary public repo:
+
+```text
+Remote: https://github.com/MendozaLab/erdos-experiments.git
+Relevant subpath: Erdos1038/agent-work/
+```
+
+Current problem-at-hand bundle:
+
+```text
+Erdos1038/agent-work/problem-at-hand/
+```
+
+Related public context repos:
+
+```text
+https://github.com/MendozaLab/math-morphism-atlas
+https://github.com/MendozaLab/mathlib-prs
+```
+
+Allowed Git actions:
+
+```text
+clone
+fetch
+checkout/read
+status
+log
+show
+grep
+diff
+```
+
+Forbidden Git actions:
+
+```text
+push
+commit
+reset --hard
+clean -fd
+checkout -- paths
+rebase
+merge
+remote branch creation
+open pull request
+close issue
+publish
+delete files
+mutate repository state
+```
+
+## Freshness Guard
+
+Before solving, inspect this directory and check whether `CURRENT_FRONTIER.md`,
+`PUBLIC_CONTEXT.json`, or `WORK_QUEUE.jsonl` points to a newer frontier than the
+one in this handoff. If there is a newer frontier, stop with
+`STALE_CONTEXT_STOP` and report it. If public Git is unavailable, stop with
+`UNABLE_TO_VERIFY_GIT_ACCESS` and do not invent file contents.
+
+## Task
+
+Return concrete work product for:
+
+```text
+EXP-MATH-ERDOS1038-PHI-K-GAP-PERIOD-BASIS-INTERVAL-BACKEND-IMPLEMENTATION-20260527-01
+```
+
+Design a public-safe backend plan for the missing directed-interval Stage-B
+basis certificate.
+
+Use `problem-at-hand/` as the primary source context. It includes the current
+runner source, relevant sanitized packet receipts, Cargo surface, and reference
+Rust/Inari backend patterns.
+
+Also read `EVEREST_ROUTE_FRAME.md` before answering. Use its terms exactly:
+Everest, current altitude, Route Confound, and next ridge. Do not upgrade
+altitude or claim summit progress from Mode 2 work product.
+
+Required sections:
+
+1. Backend architecture.
+2. Proposed Rust/Python file layout.
+3. Output JSON schema.
+4. B1 transform interval certificate.
+5. B2 recovered-direction independence witnesses.
+6. B3 transformed matrix certificate.
+7. Verification commands.
+8. Failure modes.
+9. Orthogonal fallback if weighted QR is structurally unsound.
+10. Claim ceiling.
+
+## Public-Safe Boundaries
+
+Use public papers and public repositories freely. You may use ErdosAtlas and the
+Erdős Collider / PMF framing only as clue generators, not as proof evidence.
+Distinguish literature-established facts from putative morphisms.
+
+Do not request or expose credentials, private repo URLs, private Linear URLs,
+local filesystem paths, protected scoring algorithms, private transfer
+operators, dimensional decompositions, or unpublished atlas internals.
+
+Do not claim local packets landed or tests passed. Return proposed work only.