L2.R0d.xor-1-len4096
Native verification status · ● solved
256-value first-byte sweep. Every first-byte value is tested for each of 1 cases over 256 epochs. The remaining input bytes are public deterministic samples. This does not exhaust all input strings or prove suffix independence.
Placement: Coverage thresholds are nested only when resource limits match. The 2,048- and 8,192-byte variants add a separate size dimension. Shared solutions are correlated evidence. How rank is interpreted.
L2.R0d.xor-1-len4096solutions/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
Produce XOR 0x51 for every first-byte value.
Retained for provenance; these notes may predate current calibration. See the verification scope and placement rationale above.
Solved by GPT-5.6-sol (Codex).
Re-verified on the native VM across the complete first-byte domain: 256/256 exhaustive cases at 4096 bytes. The submitter's account is in docs/attempts/2026-08-13-codex-profound-xor-256.json.
Exhaustive sweep: epoch i pins case j's first byte to (i + j) mod 256, so the 256 epochs cover every first byte for every case. Aggregate: 256/256 case-runs correct.
git clone https://github.com/oklo/malbolge-rungs cargo run -p harness -- verify --rung L2.R0d.xor-1-len4096 --program solutions/xor-1-len4096/xor-256-gpt-5.6-sol.mal --epochs 256 --verbose
9 recorded attempts · best 256/256 native · latest 2026-08-13. Counts include privately submitted traces; details on submitting.