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

[bengoechea]

Erdos #1038 Packet PR

Summary

Route-management housekeeping in response to the Round 18 review outcome. The weighted-QR basis route is demoted from primary to diagnostic only (f64 transform condition ~4.7e16 disqualifies it as a summit-critical certificate); the canonical hyperelliptic basis is named the primary parallel route. MODE2_GIT_HANDOFF.md gains an authoritative patch-handoff block (a sandbox agent that produced a commit must NOT retry push — it emits a format-patch and the local clone applies it). The Round 19 dispatch (Mode 2 end-to-end, posted as Linear comment 348613ea on KEN-5 at 2026-05-28T03:31:02Z) is logged to the Everest playback ledger. Originals of rewritten files archived under Erdos1038/agent-work/archive/. No #1038 claim made.

Packet Identity

```text
Problem: Erdos #1038
Packet ID: PACKET-ERDOS1038-ROUTE-DEMOTE-WEIGHTED-QR-AND-HANDOFF-CLARIFY-20260527-01
Thread: cloud-period-basis-backend
Source round / reviewer: Round 18 outcome (Linear comment 57cef820-68c8-468c-b7fc-c665819e7a9a on KEN-5); route decision by ken-via-claude
Semantic mode: MODE_1_REVIEW_RESEARCH_OPINE
```

(Closest fit; this PR is local route-management housekeeping driven by the Round 18 review outcome. No solve work is claimed.)

Claim Level

```text
[x] 0 - external work product / intent only
[ ] 1 - local synthetic scaffold or harness pass
[ ] 2 - real local certificate receipts consumed
[ ] 3 - local theorem composition over fixed projection
[ ] 4 - local theorem with legitimacy/attainment composition
[ ] 5 - coefficient-facing theorem in explicitly named scope
[ ] 6 - public SOTA comparison verified
[ ] 7 - full #1038 theorem candidate
```

Claim ceiling:

```text
Route management only. This PR documents a route-priority decision (weighted-QR demote)
and an operational policy clarification (patch-handoff chain). No #1038 mathematical claim,
no theorem advance, no Lean compile, no altitude movement, no SOTA comparison.
```

Changed Paths

```text
Erdos1038/PERPLEXITY_FULL_CONTEXT.md (+ Route status as of 2026-05-27 paragraph)
Erdos1038/agent-work/CURRENT_FRONTIER.md (rewrite weighted-QR section as STATUS: DEMOTED)
Erdos1038/agent-work/MODE2_GIT_HANDOFF.md (append patch-handoff chain section)
Erdos1038/agent-work/EVEREST_ROUTE_PLAYBACK.jsonl (+2 rows: route_demote, round_dispatch)
Erdos1038/agent-work/WORK_QUEUE.jsonl (+1 row: demote decision)
Erdos1038/agent-work/MANIFEST.sha256 (refreshed for the 5 files above)
Erdos1038/agent-work/archive/CURRENT_FRONTIER_2026-05-27.md (new — original archived)
Erdos1038/agent-work/archive/MODE2_GIT_HANDOFF_2026-05-27.md (new — original archived)
```

Everest Route Playback

Playback rows added:

```text
evt-20260527-weighted-qr-demote | event_type: route_demote | route: weighted_qr | claim_level: 0 | actor: ken-via-claude
evt-20260528-round-19-dispatch | event_type: round_dispatch | route: canonical_hyperelliptic_basis | claim_level: 0 | actor: ken-via-claude
```

Receipts Consumed

```text
NONE
```

Missing Receipts / Blockers

Round 18 confirmed all six required receipts for the dependent-Vieta image consumer are absent. No change in this PR — receipt production is a future-round local-agent deliverable, not in scope here.

```text
ROOT_BOX.json — absent
ROOT_MULTIPLICITY_LEDGER.json — absent
ORDERED_ROOT_INTERVALS.json — absent
SCALED_VIETA_IMAGE_CONTRACT.json — absent
FIXED_CLOUD_BOUND_CERTIFICATE.json — absent
ATTAINED_WITNESS_TYPED_DUAL_MARGIN_RESULTS.json — absent
```

Verification Performed

```text
$ shasum -a 256 -c Erdos1038/agent-work/MANIFEST.sha256
every listed file: OK (verified by Ken from repo root after c121a41)

$ python3 -c "import json; [json.loads(l) for l in open('Erdos1038/agent-work/EVEREST_ROUTE_PLAYBACK.jsonl') if l.strip()]"
PASS (all rows parse)

$ python3 -c "import json; [json.loads(l) for l in open('Erdos1038/agent-work/WORK_QUEUE.jsonl') if l.strip()]"
PASS (all rows parse)

$ tail -1 Erdos1038/agent-work/EVEREST_ROUTE_PLAYBACK.jsonl | python3 -c "import json,sys; r=json.loads(sys.stdin.read()); print(r['event_type'])"
round_dispatch

$ grep -n "DEMOTED" Erdos1038/agent-work/CURRENT_FRONTIER.md
81:### Route status — weighted-QR: STATUS: DEMOTED — diagnostic only (2026-05-27)

$ ls Erdos1038/agent-work/archive/
CURRENT_FRONTIER_2026-05-27.md
MODE2_GIT_HANDOFF_2026-05-27.md
```

CI checks (Python runner compile / JSON parse / JSONL parse / cargo check / scaffold runner / MANIFEST.sha256) run on push via `.github/workflows/erdos1038-agent-work.yml`. Held-out private artifacts pre-existed; the four files modified in this PR have their hashes refreshed in the manifest.

Scope Tags

```text
[ ] F64_SAMPLED_ONLY
[ ] F64_INTERVAL_CONSTRAINED
[ ] FIXED_PROJECTION_DIRECTED_INTERVAL
[ ] FIXED_ROOT_BOX_DIRECTED_INTERVAL
[ ] WITNESS_TYPED_REGION_DIRECTED_INTERVAL
[ ] INDEPENDENT_COEFFICIENT_BOX_DIRECTED_INTERVAL
[ ] LEAN_PROVEN
[x] SCAFFOLD_ONLY
```

(Scope-tag selection reflects that the underlying #1038 work remains at scaffold; this PR doesn't move scope.)

Forbidden Claims

```text
[x] This PR does not claim #1038 is solved unless claim level 7 is checked and receipts are attached.
[x] This PR does not claim public SOTA movement unless claim level 6+ is checked and public comparison is attached.
[x] This PR does not claim altitude movement unless a local route-map assimilation packet licenses it.
[x] This PR does not treat Linear, Perplexity, Claude, or Comet prose as evidence.
[x] This PR does not turn synthetic fixtures into a real theorem pass.
```

External Review Provenance

```text

• Round 18 outcome (Linear comment 57cef820-68c8-468c-b7fc-c665819e7a9a on KEN-5) is the proximate cause of the weighted-QR demote and the MODE2_GIT_HANDOFF clarification. Status: locally assimilated as a route-management decision; not used as theorem evidence.
• Round 19 dispatch (Linear comment 348613ea-3a75-44bd-9a68-84cbf391113a on KEN-5, 2026-05-28T03:31:02Z) is logged in EVEREST_ROUTE_PLAYBACK.jsonl as a round_dispatch event. Status of PC's Round 19 output: NOT YET RECEIVED. When received, it will be INTENT_ONLY until a local EXTERNAL-REVIEW-ASSIMILATION-ROUND_19 packet imports, tests, and decides.
  ```