← board

XOR map · 16 inputs

L2.FM3.xor51-map16

Native verification status · ● solved

What this result establishes

16 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.

Challenge

ladder rank

#21 (historical identifier L2)

family / transform

FiniteMap / XorMask

cases

16 cases, 1 output byte each

finite-map inputs

02 06 09 30 82 6f a7 c0 c5 f6 1c 87 f0 2d 4a 85

limits

program ≤ 4096 bytes, ≤ 2048 steps/case

task summary

Scale the finite map to sixteen published input bytes.

exact contract

Registry JSON · L2.FM3.xor51-map16

Harness documentation

Winning program

solutions/xor-1-len4096/xor-256-gpt-5.6-sol.mal · 4096 bytes · sha256 fe2bea8bb173005f7d5a5f30589b20877dbef3cb9b1a5535e0f43f64df35e58f

('&%$]>=<;:9876543210/.-,+*)('&%$#"y?}|{z:'wYuWsr~poQmykj)KafeGc"a`_^]\yy=XWP9TSRKP3NGFK--y+)(cCBAq"\=<;:9yyw5432P0).KK+7G('&%$edcaa`^zyxwvXXWUqponmlkjihgfedcbECCB@@?==<::9776443110.JIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!~}|{tyxwvuWWVTTSQQPNNMKKJHdcbaCCB@\[ZYXWVUTSRQPONMLKJIH+@E('&;@?"!~5:9z76543t+r/p',+lk('W%$#"!~}|{zsxwvutsrqponmlkjihafedcba`_^]\[Z=RWVUTSRQPONMLKJIHGF?DCBA@?>=<;:9876/.3210/.-,+*)('hffeccb``_]]\ZZYWWVTponmlkjihgfedcba`BBA??><<;99866533200/-IHGFEDCBA@?>=<;:zzyxvvutrrqpnnmljjihffedbba`^zyxwvutsrUjonmlkjihKIIHFFECCB@@?==<::9776443110.JIHGFEDCB;@?>=<5:9876543210/.-,+*)('&%$#"!~}|_]]\ZZYWWVTTSQQPNNMKKJHHGEEDB^]\[ZYXWVUTMRKP3HM0KJIHG*?(CBA@?"=<;:98165v321qqpnnmkkjhhgeedbba__^\\[YYXVrqpoRmPkNchK&edcba`_^]\[=<Rv9bTSR433NGkXJI,+))(&aN@#!!}||3WDwvu-Q>0/.n&%$H5'&%f{dbx>+{z][qpYn4!qSoh.OxjihKII^$oa`_A@?UT=Rvc8766QJn[M//-CBAeRD'&$#9]J<;{{y1UBA32rqp.o,%I6i'~De0"!~`v{ts9&vuXmVqj0{mlNMMbgJ_%pED`CBWVzgSXQVOs`q^4220L/DhUA*?(=aN@?"!}5YF876/.-Qr=<.-mll)(!E2$dc!x>+{zy[[Y6W"!qpRhQle+vhgI_H]#n`_^A\>Z=RvcU7664331lYKDIB+@dQC%$$"!!}ZGzz10/4-Q>qppnmmkH5igg|B/!~}`^zs9&vutWUkji/zlkNLLK`&qcbDDBAW{hZY<:VONMq^P2HG0/DhUG)E(=<`M?>~}}{92VC5uttr0)M:,l$k('~D1#cbbw=*zyx[Zo5V!qpoRgOe+vhgfIHFEDZ~k]?>><;QubT66432HlYK.-+G@dQCB%:"8\I;:9zxww.R?10qoo&%$H5'hf|ec@-}|_^\x[p6#sUUSih.ykjMLJJe^$oaC_XA\UTxeQu876_p]O21/.-hUGF)'&&$_L>=}|{{zxwTAts+0/p'K8kjj!E2$#"ca`_<)yxwZXtV3~ponPPNMMLJ'rHcFD!l^]\?Z<RWVOs`643OHGkXJ-+G*(cPBA#"!~}ZG98x65v-Q>0/pomJk6('&fedcbxw=*tyr[po5"rUTR/PykjiLJIHdF#n`CA@@UyfXW987MLp]ON0F/JCgTFE'&<;_L>=<|{zyy0TA3srqponK8*j"'~D1#"!a`v_z]r8%XWmrk1|nmONjcb(sedGEDZB}j\[=<<WPOs`R53IHGFjWI+*@)>bOA@"!7~}4XE7wvut,P=/.om%Ij5'&%fd"cx>+{z\[[pYXm3~SSQgPOd*uJ`Idc\"m_BA?UyfXWV8N7LQJImZ0.DCBAeRD'&$:9]J<;{zyxw/S@2rqppo&%I6"i&}f{A.~a_^]sxq7$XWUUS0{mlOMMK(sedcED`_BW{hZ<<:VOs`_Q4I20kXJIH*@?(=B;$]!~}|YF876vu-,s*N;-nl$kiF3%$ecyawv<)y\qYoXm3~pSnP-NwihgJI^]b[!l^@?>><<Qub7S6KJn[ML.J-HAeRDC&A:9>7[H:{210/S@Q>r)p'K87)(igf$dA.~}|uz]r8%utWVkTi/zlkNiha`&qcbDCCXA@UyfR;V9Nr_^PONG0/DhUG*?(C&;_L>7<;:{2VC5uusrO<.-,+l)j!E2C0cbb`__]:'ZYoXWlk1|QmPe+vhgfIGFFDZ~k]@UTYXQPtaM6KJn[MLK.CBf)RcPB%:?876ZGFyy6/v3,P=qp'n+$H5'h%|{A.x>+u^y\qZY4"Uk1RQzlkjLhg`&qcbaD_XAVUyfXWVONr_Ko\NMFKDhUTF)('<;_LK=}||zyVC54u,rOp;-,+kjjhggeB/ca`=^)yxwYXXVUUS0{QPOMLK(seGGEECB}j\?>S<QubaS643O1lYKJ,,*)?>bOA$"8=<5YF8xwwu-Q>0/onnlkkiF3ff{z@-}|{]s\q7$tsrUjSQPO,wiLJIHGF#n`CAW@>><wd987r5^PON1/K.,+AeR(=<;$9"!Z|:{2VC543Qrqpo:,+*kih~f|{A.awv<](xwvXnsrk1|nmOOdib(sedGbaDYX|ih=<w:9bTSR543H1FEiVB+F?cP<`M#!~}|{XE7wvutt+O<.ommlk"F3%f{c!~w=*z\[wZo5"rqSRhQfe+vhJIHH]#n`_A]\?>SwdV97754Jn[MFEJCgTFED'<;:^K7[H{{yy0TA3210q(L9J7)(!&g|{A.-}v_t]\7vutmlk1|h.yeNib(s_%pEECCX|i[Z<X;P9Nr_QJ3NGkXiVH+))'=aN@?"=~|4XE76wuus+*)M:n+$#"F3%$ecb~`v<)y\wZo5"rqpSQg-NwihgJed]#n`_^@V[ZSwdVUNMLK4OHlYKJCg*SdQC&$##"~6ZG{yxw/S@210q(-&J76(h~}${A.~}v_zsxq7$#Vrk1R{mlkNMLK`&qpb[`_X]VzgYXQVUNr_p]3H1FKJCgT*E(=aN_L>~6Z{zE765u3t+rqoL9m*#j!E2C0dbb`_^t:'[ponWVk1|Qgfe+vhgfIH]#Dm_^]??TSXQubT75Q4O2GkX.IHAeRDCBA:9>7[H:9yy6/.-Q>0pp-&J7)('&g${A.~}|uz]rq7$5"VkjiRg-xjLbgJe^]#nZC^AV?>wX::OTM6Ko\2MFKDIBfS(D=&;:^K=};:{2VC54t,+r)M:,+*)('&%$#"!~}|{zyxwvutsrqponmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!~}|{zyxwvutsrqponmlkjib(sedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFE'=&;$98\I;:9876543210/.-,+*)('&%$#"!~}|{zyxwvutsrqpRQQO,wihgfedcba`_^]\[ZYXWVUTSRQPO21FjWIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!~}|{z\rqpuXWl2}onmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!~}|{zyxwvutsrqponmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!~}|{zyxwvutsrqponmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!~}|{zyxwvutsrqponmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!~}|{zyxwvutsrqponmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!~}|{zyxwvutsrqponmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!~}|{zyxwvutsrqponmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!~}|{zyxwvutsrqponmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!~}|{zyxwvutsrqponm

Solver

name

GPT-5.6-sol (Codex)

type

llm-agent

model

gpt-5.6-sol

provider

OpenAI

date

2026-08-13

metric

16/16 cases, native re-verification; 4096 bytes

attribution notes

Autonomous structure-first continuation under an eight-hour wall-clock cap; solved after approximately two hours.

Run manifest

architecture

six-CRAZY q=9*(b+81) safe dispatcher; K4 echo; D=42; A=m[120]=3303; 251 local blocks plus five disjoint tails

correct_inputs_of_256

256

dispatch_formula

q=9*(b+81)

entry_A

3303

entry_D

42

epochs_verified

256

max_steps_per_case

616

min_steps_per_case

604

outputs_per_case

1

private_block_range

730..3033

program_bytes

4096

program_sha256

fe2bea8bb173005f7d5a5f30589b20877dbef3cb9b1a5535e0f43f64df35e58f

tail_map

{"117":3160,"153":3196,"180":3232,"205":3279,"250":3331}

uncovered_inputs

[]

verified_natively

true

verify_command

./target/release/malbolge-rungs verify --rung L2.R0d.xor-1-len4096 --program solutions/xor-1-len4096/xor-256-gpt-5.6-sol.mal --epochs 256 --json

Task notes

Scale the finite map to sixteen published input bytes.

Verification transcript (native VM, 3 epochs)

Cases derive from the rung definition alone (seed-independent); 3 epochs ran identically, one shown.

epoch 0 · seed d345d26d21e2… · 16/16 cases

Reproduce

git clone https://github.com/oklo/malbolge-rungs
cargo run -p harness -- verify --rung L2.FM3.xor51-map16 --program solutions/xor-1-len4096/xor-256-gpt-5.6-sol.mal --epochs 3 --verbose

Where this came from

No attempt was filed against this rung. It is cleared by the program submitted for L2.R0d.xor-1-len4096, whose record — including whether that attempt succeeded on its own rung — is at docs/attempts/2026-08-13-codex-profound-xor-256.json.

Attempts

2 recorded attempts · best 15/16 native · latest 2026-08-11. Counts include privately submitted traces; details on submitting.

Recorded attempts