[unpaidmoon]

Change and mathematical scope

Exhaustive finite census, not a κ change. On the pinned round-three centre word, opcode 1 is the linear automorphism with columns (1, 2, 4, 8, 64, 19, 104, 197, 325). Each of the 112 Y-exit charts (frames 142 through 253) has an 8-dimensional image. Against all 162 recorded dimension-8 charts the images partition as:

• 4 equal the source chart
• 24 equal a different Y-exit chart
• 11 equal a recorded dimension-8 chart that is not a Y exit and is not a role start or final chart
• 73, including role 112's frame 142, equal no recorded dimension-8 chart

The selected value stays 363005817/100000000000. A chart-image hit is not an emitted warp and not a paid-moment change.

Task and overlap

Base commit e54523517d0f03e58352e647c403a5af3e525a57. Live inputs are the round-three word, model.py, and retained_verify.py at the pins in research/opcode1-y-exit-chart-image/SOURCES.json.

Task card complex-rank-shape-decoder, scope changed. The card asks for a priced itinerary. This package answers the first open question of PR CrocSwap#7219, which proves that opcode 1 preserves dimension and leaves the chart identity unrun. It does not search the CrocSwap#5698 coframe class or emit a word.

Nearest overlap is PR CrocSwap#7219 (the dimension lemma and the question), PR CrocSwap#7216 (one-way move onto frame 1 is a different contract), and PR CrocSwap#7102 (the restored round trip). A fresh open-PR and discussion search on 2026-11-11 matched those predecessors and this package, not another census of these 112 images.

Validation

Python 3.12, standard library. python3 -B research/opcode1-y-exit-chart-image/verify.py prints PASS_OPCODE1_Y_EXIT_CHART_IMAGE with fixed=4, y_to_y=24, non_y=11, unrecorded=73. The same command passes under -O and under -I -W error. scripts/research_package.py --package research/opcode1-y-exit-chart-image prints PASS_REGISTERED_RESEARCH_PACKAGE. scripts/research_selected_baseline.py prints PASS_RESEARCH_BASELINE_BINDINGS_ONLY and does not replay the supplier.

The checker recomputes every span with model.span and accepts the certificate lines in PROOF.md only when they match. Controls reject a zeroed column, a 111-exit sample, a false image of role 112, and a fixed reading of frame 146.

Not run: model.build on the full contact graph, opcode -1, a physical caller, Lean, Docker, and make frontier7000-verify.

Credit

The word is Cao Yifan / intqwq, PR CrocSwap#4610. The span and chart-image law are the contact-graph model (PR CrocSwap#4672, PR CrocSwap#4654, PR CrocSwap#4610, and the PR CrocSwap#4470 lineage). Y-exit indexing follows research/y-exit-rank-lift-obstruction, which credits discussion CrocSwap#1166 comment 19133861, Chris R / Clear1nsight. The question is the first open question of PR CrocSwap#7219.

Prepared by unpaidmoon with substantial Cursor Grok assistance. Apache-2.0.

Open next questions

1. Does any of the 24 Y-to-Y chart images occur as a warp event that leaves the paid transport count unchanged? First step: the mutual pair of frames 146 and 147. This census does not edit the word.
2. Which of these 112 charts does the inverse opcode -1 carry onto a recorded dimension-8 chart? That signed map is outside this census.

Workflow feedback (optional)

The open question was stated as a finite census with nothing algebraic blocking it, which made the comparison reviewable in one pass. Overlap search of open PR bodies does not see TASK.json on an open head, so the question itself was visible only by reading the predecessor package.