Context
specs/tri/encoding/msgpack.t27 declares module TriMsgpack in 92 lines. 2 of its functions are declared with a body that holds no statement — a signature and a comment where the implementation belongs.
.t27 is the hand-authored source language. t27c compiles it out to C, Rust, Verilog and Zig. You are writing source, not compiler output, and not prose about an implementation.
Current state — re-run these yourself
$ cd /Users/playom/t27
$ ./target/release/t27c gen specs/tri/encoding/msgpack.t27 2>&1 | grep -c 'not yet implemented'
2
$ ./target/release/t27c parse specs/tri/encoding/msgpack.t27 2>&1 | grep -E '^(recovery-events|declarations-swallowed|lexer-discarded-chars):'
recovery-events: 0
declarations-swallowed: 0
lexer-discarded-chars: 0
Use ./target/release/t27c, not the t27c on PATH: the PATH build prints no parse metrics at all, so the grep above returns nothing and an empty result reads as a pass.
What to write
Keep every signature exactly as it is — the signature is the contract. Quoted verbatim from the file:
- line 33 —
fn encode(value: MsgPackValue, allocator: std.mem.Allocator) -> ![]u8
- line 38 —
fn decode(data: []const u8, allocator: std.mem.Allocator) -> !MsgPackValue
The file already has 0 test block(s). Add one for each function you implement; a body with nothing asserting on it is a claim, not a result.
Acceptance criteria
-
./target/release/t27c gen specs/tri/encoding/msgpack.t27 2>&1 | grep -c 'not yet implemented' prints 0
-
- with criterion 1 satisfied,
./target/release/t27c parse specs/tri/encoding/msgpack.t27 2>&1 | grep -E '^(recovery-events|declarations-swallowed|lexer-discarded-chars):' reports 0, 0 and 0
-
- with criterion 1 satisfied, all 2 names above still exist:
grep -cE '^\s*(pub )?fn (encode|decode)\(' specs/tri/encoding/msgpack.t27 prints 2
-
grep -c '^\s*test "' specs/tri/encoding/msgpack.t27 prints at least 2 (today: 0)
Boundary
specs/tri/encoding/msgpack.t27
Context
specs/tri/encoding/msgpack.t27declares moduleTriMsgpackin 92 lines. 2 of its functions are declared with a body that holds no statement — a signature and a comment where the implementation belongs..t27is the hand-authored source language.t27ccompiles it out to C, Rust, Verilog and Zig. You are writing source, not compiler output, and not prose about an implementation.Current state — re-run these yourself
Use
./target/release/t27c, not thet27con PATH: the PATH build prints no parse metrics at all, so the grep above returns nothing and an empty result reads as a pass.What to write
Keep every signature exactly as it is — the signature is the contract. Quoted verbatim from the file:
fn encode(value: MsgPackValue, allocator: std.mem.Allocator) -> ![]u8fn decode(data: []const u8, allocator: std.mem.Allocator) -> !MsgPackValueThe file already has 0
testblock(s). Add one for each function you implement; a body with nothing asserting on it is a claim, not a result.Acceptance criteria
./target/release/t27c gen specs/tri/encoding/msgpack.t27 2>&1 | grep -c 'not yet implemented'prints0./target/release/t27c parse specs/tri/encoding/msgpack.t27 2>&1 | grep -E '^(recovery-events|declarations-swallowed|lexer-discarded-chars):'reports 0, 0 and 0grep -cE '^\s*(pub )?fn (encode|decode)\(' specs/tri/encoding/msgpack.t27prints2grep -c '^\s*test "' specs/tri/encoding/msgpack.t27prints at least2(today: 0)Boundary
specs/tri/encoding/msgpack.t27