← board

L1.R1.echo-2

Echo two bytes · ● solved

Challenge

ladder rank
#5 (level L1)
family / transform
EchoPrefix / Identity
cases
1 case(s), 2 output byte(s)
limits
program ≤ 128 bytes, ≤ 256 steps/case
purpose
Extend echo-prefix synthesis from one byte to two bytes.

Winning program

solutions/echo/echo-2.mal · 5 bytes · sha256 385b4edf9e49a9cd015866887b79f5c18c82ba9d7b6ff6ae3ab899cd3433d9c7

ubs`M

Solver

name
HeLL-Lite (tool)
type
tool
harness
tools/hell_lite compile-linear (deterministic straight-line template)
metric
1/1 case, 5 seeds
attribution notes
First-use opcode encoding of the straight-line IN/OUT sequence; each address has exactly one printable byte per opcode.

Notes

Echo the first 2 input bytes; 5-byte straight-line program.

Verification transcript (native VM, 3 epoch(s))

epoch 0 · seed 99a599788c60… · 1/1 cases

caseinputexpectedobservedstatus
068046957c1e9cc2e…68046804ok

epoch 1 · seed 7ba7077edc2a… · 1/1 cases

caseinputexpectedobservedstatus
0bd52e1a35813cf17…bd52bd52ok

epoch 2 · seed 126b963038d0… · 1/1 cases

caseinputexpectedobservedstatus
043dd794d0806a752…43dd43ddok

Reproduce

git clone https://github.com/oklo/malbolge-rungs
cargo run -p harness -- verify --rung L1.R1.echo-2 --program solutions/echo/echo-2.mal --epochs 3 --verbose