Echo one byte · demo

L0.R1.echo-1-demo

Native verification status · ● solved

What this result establishes

Public example suite. Fixed public examples, with exact output and halt required. Canonical copying solutions may be more general than the tested suite; the suite alone does not establish that.

Placement: Verified canonical or tool baseline. Similar slots are retained for historical continuity. How rank is interpreted.

Challenge

ladder rank: #2 (historical identifier L0)
family / transform: EchoPrefix / Identity
cases: 1 case, 1 output byte each
limits: program ≤ 64 bytes, ≤ 32 steps/case
task summary: Copy one input byte; canonical baseline.
exact contract: Registry JSON · L0.R1.echo-1-demo

Winning program

solutions/echo/echo-first-byte.mal · 3 bytes canonical (4 on disk) · sha256 canonical 681f8033410df7a4a5d7eaa3f8c730929459de77ed4fd27cac02cd813ab36c0c · file 7e06b0c66f3253e37e419ad8b59365950c5d484db497487c95a4bad6cc1bb2a7

ubO

Solver

name: ubO (canonical)
type: canonical
metric: 1/1 case, multiple seeds
attribution notes: Minimal 3-instruction classic-Malbolge program (IN, OUT, HALT); long predates this project.

Task notes

Copy one input byte; canonical baseline.

Earlier record notes

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

1-byte echo demo slot; solved by the canonical ubO program.

Verification transcript (native VM, 3 epochs)

epoch 0 · seed 615b4bf50fb0… · 1/1 cases

case	input	expected	observed	status
0	bd43dc084fb050f8…	bd	bd	ok

epoch 1 · seed afee3cb8a0de… · 1/1 cases

case	input	expected	observed	status
0	48575489ee47bab0…	48	48	ok

epoch 2 · seed cbb32c7e93df… · 1/1 cases

case	input	expected	observed	status
0	80c0309412054444…	80	80	ok

Reproduce

git clone https://github.com/oklo/malbolge-rungs
cargo run -p harness -- verify --rung L0.R1.echo-1-demo --program solutions/echo/echo-first-byte.mal --epochs 3 --verbose