Count the input bytes

L6.S1.length

Native verification status · ○ open

What this result establishes

81 public stream cases. Public deterministic inputs of 1–255 bytes. Exact whole-output match and halt are required. Passing does not establish unseen-length generalization or prove iteration. The attempt score reports the worst epoch.

Placement: Provisional capability order: copying, counting, accumulation, and storage. The fixed public 81-case suite is evidence of behavior on those cases; it does not prove a loop or arbitrary-length correctness. How rank is interpreted.

Challenge

ladder rank: #42 (historical identifier L6)
family / transform: Stream / Length
cases: 3 cases, 1 output byte each
limits: program ≤ 4096 bytes, ≤ 262144 steps/case
task summary: Emit the input length as one byte, then halt.
exact contract: Registry JSON · L6.S1.length

Task notes

Emit the input length as one byte, then halt.

Earlier record notes

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

Attempts

None recorded yet. Be the first — solved or not, a recorded attempt earns a mark here.

Attempt it

git clone https://github.com/oklo/malbolge-rungs
# author a candidate (see tools/hell_lite), then:
cargo run -p harness -- verify --rung L6.S1.length --program your-candidate.mal --verbose