L2.FM1c.xor51-map7a
Native verification status · ● solved
7 fixed inputs. Every listed one-byte input is tested. This is the complete finite-map domain.
Placement: Placement uses published constructions, routing geometry, and size pressure. Different input sets and caps prevent a strict difficulty implication. How rank is interpreted.
L2.FM1c.xor51-map7asolutions/map7a/map7a-two-stage.mal · 170 bytes · sha256 9e61f11885639f9e4ef03ae445047a2dc762a7e4b7e166bf9ecef9dbd03ed389
(tBA@?>7<5|W876543210/.-,+*)('&%$#"!-`|{z][8%X#Fr20i/@,+wMb(sedcba3Y^]\[Z=vWV9r6RQPO2kLKJ-BA@dQCBA:98\I;:98Uw/.R?10)('K8kH5F&%$#"!~}|{zyxwvutsrqponmlkjihgfedcF!`_^]\[ZY<u
Add a seventh input to the six-input map.
Retained for provenance; these notes may predate current calibration. See the verification scope and placement rationale above.
map6 two-stage architecture generalizes to 7 lanes unchanged. Fell as feasibility predicted.
Minted 2026-08-02 as the gentle half of the map6-to-map8 gap: the six map6 bytes plus 0xa7. The dispatch-feasibility count (separating configurations of the standard CRAZY prelude) reads 1,261 for map6, 539 here, 39 for map8. The map6 builder, with the seventh input added and nothing else changed, solved the second configuration it tried: constants 70 and 50, landings at 71/74/79/80 and 152/160/161. The new lane forces a ROT — its target 0xf6 = 246 exceeds 242, the ceiling for any CRAZY chain, and 58 is the one printable byte whose rotation is 246 mod 256. 170 bytes, at most 26 steps per input.
Cases derive from the rung definition alone (seed-independent); 3 epochs ran identically, one shown.
epoch 0 · seed acc77c1d5888… · 7/7 cases
| case | input | expected | observed | status |
|---|---|---|---|---|
| 0 | 02 | 53 | 53 | ok |
| 1 | 06 | 57 | 57 | ok |
| 2 | 09 | 58 | 58 | ok |
| 3 | 30 | 61 | 61 | ok |
| 4 | 82 | d3 | d3 | ok |
| 5 | 6f | 3e | 3e | ok |
| 6 | a7 | f6 | f6 | ok |
git clone https://github.com/oklo/malbolge-rungs cargo run -p harness -- verify --rung L2.FM1c.xor51-map7a --program solutions/map7a/map7a-two-stage.mal --epochs 3 --verbose