XOR map · 2 inputs

L2.FM0.xor51-map2

Native verification status · ● solved

What this result establishes

2 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: #8 (historical identifier L2)
family / transform: FiniteMap / XorMask
cases: 2 cases, 1 output byte each
finite-map inputs: 02 06
limits: program ≤ 512 bytes, ≤ 2048 steps/case
task summary: Map two published input bytes to their XOR targets.
exact contract: Registry JSON · L2.FM0.xor51-map2

Harness documentation

Winning program

solutions/fm0/fm0-map2.mal · 133 bytes canonical (134 on disk) · sha256 canonical ce325c55f9e455487a74be13b23640e5421e07a43b5ede01e553d64e63e26a6f · file 1b8a788c833e49f37491123f072a5dd1dba2914d2f6c3912e559d9143c67972d

(tBA@?>=65|W876543210)M:,%I6('&%$#"!~}|{zyxwvutsU10onmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!~>+

Solver

name: HeLL-Lite (tool)
type: tool
harness: tools/hell_lite compile-finite-map (deterministic compiler)
metric: 2/2 cases
attribution notes: Reuses the two-input JUMP/routing specimen found by the Codex agent (turn 007, internal xor4096 match, 2026-05; model name unrecorded in the archive).

Task notes

Map two published input bytes to their XOR targets.

Earlier record notes

Retained for provenance; these notes may predate current calibration. See the verification scope and placement rationale above.

Two-input finite map (02→53, 06→57), synthesized by HeLL-Lite.

Verification transcript (native VM, 3 epochs)

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

epoch 0 · seed 2780e16188a6… · 2/2 cases

case	input	expected	observed	status
0	02	53	53	ok
1	06	57	57	ok

Reproduce

git clone https://github.com/oklo/malbolge-rungs
cargo run -p harness -- verify --rung L2.FM0.xor51-map2 --program solutions/fm0/fm0-map2.mal --epochs 3 --verbose