OWED: `{{ v:d:8 }}` on a positive i64 is space-padded with no plus (` 14683`).
Failure Output
🎯 Compiler coordination: Passes: 20 (flow-based: elaborate, analysis, emission)Code
// Pins oracle-style width formatting of signed integers: {{ v:d:8 }} on a
// positive runtime i64 must render space-padded digits (" 14683"), sign
// only when negative — the shape every external benchmark oracle (CLBG,
// PLB nsieve) expects. The interpolation spec currently passes verbatim
// into Zig's format string, and Zig 0.15 prints an explicit '+' on
// width-formatted positive signed integers. The parked :d:N ruling
// (raw-Zig passthrough vs Koru-owned width semantic) decides the
// MECHANISM; this pin holds the SURFACE — if the ruling keeps verbatim
// passthrough, the oracle shape needs another spelling and this test
// moves with it.
import std/io
pub tor thru { n: i64 } -> i64
thru = if(n > 0)
| then -> n
| else -> n
thru(n: 14683): v |> std/io:print.ln("[{{ v:d:8 }}]")
Actual
[ +14683]
Expected output
[ 14683]
Flows
Test Configuration
Awaiting ruling:
Does Koru own the `:d:N` width semantic, or does the spec keep passing verbatim into Zig's format string? The interpolation spec currently reaches Zig unchanged, and Zig 0.15 prints an explicit `+` on width-formatted positive signed integers. So `{{ v:d:8 }}` on a positive runtime i64 renders `+ 14683` where every external oracle (CLBG, PLB nsieve) expects ` 14683` — space-padded digits, sign only when negative. Options: - Koru owns the width semantic: lower `:d:N` to a Koru-defined padding rule and this test goes green as written; - keep raw-Zig passthrough: then the oracle shape needs a different spelling and this pin moves with it. Blocks: this pin holds the SURFACE and will keep failing on `output` until the mechanism is chosen. Every benchmark port that formats a signed integer to a fixed width is downstream of the answer. The two halves are separable on purpose — the mechanism ruling decides where padding lives, this test only asserts what a positive signed integer looks like when it lands.