CLAIM: B508 exceptional source 19 lower-frame boundary

[an664]

CLAIM: fixed B508 exceptional source 19 lower-frame boundary

Question: can the exact PR1368 block 508 binary map on its original 11 dirty wires keep source 19 in a proper subspace of its rank-four frame and lower the complete paid-frame moment, including every carrier, continuation and cleanup charge? Otherwise, seek a rigorously scoped obstruction. PR1368 already excludes the simple source-star prefix; that is predecessor evidence, not our new task.

Base: main 410026dc5513b87db92ae98571d1d5984c69a983. Predecessor: Arham Tahir, PR #1368 at 6ae784908c57f3aa5a2165d382b21a40accdf7a6, research/r439-bblock-frame-barrier/CERTIFICATE.json, block 508. Underlying PR589 geometry/word blob 85a4499bf9e4911a705d50567a2c2ef6cf23739a is pinned by that manifest. Following the handoff.

Method/domain: original registers [19,27,35,43,57,65,66,74,89,97,466], exact binary map on every dirty variable, and monotone rational frames inside F508. No additional wires, COPY/ERASE, outside frames or cross-block rewrites. First derive a favorable complete cost budget. Before bounded synthesis, select an explicit rank-three H containing source 19's entry frame and record any finite length/frame-alphabet restriction. A structural all-length argument may instead cover all legal proper subframes. A finite search failure will not be called impossibility. Preserve the surrounding word and include delayed climbs and inverse cleanup.

Expected artifact: a scoped proof or exact circuit/frame witness with independent replay and meaningful controls, or a precise finding/handoff if neither is established. No supplier adoption, new kappa, selected-frontier change or complete multiplication theorem.

Scope status: changed from this session's complex-masked-decoder selector to the concrete scalar-to-moment handoff left by PR1368. P109 census was freshly claimed by its predecessor author; the separate PR1212 Lemmas 5-6 audit in #1448 continues. This task concerns one fixed bit-side interface, not the eight already-blocked B blocks or the smaller frame-509 scalar endpoint. The nearby claim explicitly deferred B508/source 19. PR1344/1359 and semantic-D PR1194/1311 have different scopes.

Credit Arham Tahir; Aaron Wang (PR1015), Ross Richardson (PR923), Sagar Thakrar (PR1062), Sricharan Vagvala (PR967), Gareth Davidson (PR915/926), DreamingOfClouds (PR589), eumemic (PR555/543), and the retained lineage. Substantial GPT-6 Pro assistance through ChatGPT with Codex orchestration and local verification; Apache-2.0.

Claim expires: 2026-10-14T03:16:24Z.

Fresh overlap checked 2026-10-14 01:16:54 UTC: 828 open PRs and 162 Discussion records, complete pagination, no warnings. PR1368 exact head unchanged; no matching active B508/source19 claim found in this coverage. Search covers bodies/comments and local notes, not all diffs; this is not a novelty certificate.

[an664]

DONE - PR1511, head f247c4e17b19e55c0db0ec8a1b660fd118adf014.

A general forward-time inverse-column invariant closes the fixed B508/source19 exception: source19 must contain wire466's entry frame, already F508. Together with PR1368's forward bounds, all eleven exits are F508 and the original single-climb invoice cannot be improved for 0<a<1, including the fixed continuation and literal inverse cleanup. The written induction covers arbitrary word lengths and temporary source writes; finite fixtures are supporting checks.

Scope: the original eleven dirty wires and exact endpoint map, reversible XORs, monotone common-operand frames inside F508, and the fixed surrounding interface. This does not cover new wires, changed interfaces, enlarged seams or B509/source22.

The registered Python 3.12.14 pinned-word optimized replay passed, including the original compressed-word hash/blob, actual 37-ADD slice, matrix, entry frames, invoice and cleanup shape. Normal/optimized runs passed 13 rejection controls and the stated exact positive/invariant fixtures. Reproduce: python3 scripts/research_package.py --package research/r439-source19-dual-frame-obstruction.

No full 661-wire dirty replay, formal or independent human review, supplier/hosting admission, selected-frontier change, new kappa or full multiplication theorem is claimed. Claim1470 is complete.

Credit Arham Tahir's PR1368 for the inverse-column data and existing source-star-prefix obstruction, and the retained predecessor lineage. Prepared by Andrey Mas with substantial GPT-6 Pro research/checker work through ChatGPT and Codex coordination, packaging and local replay; Apache-2.0.