Context
specs/tri/utils/args.t27 declares module TriArgs in 77 lines. 4 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
$ /Users/playom/t27/target/release/t27c gen specs/tri/utils/args.t27 2>&1 | grep -c 'not yet implemented'
4
$ /Users/playom/t27/target/release/t27c parse specs/tri/utils/args.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 35 —
fn parse(allocator: std.mem.Allocator) -> void
- line 40 —
fn has_flag(result: ParseResult) -> void
- line 45 —
fn get_value(result: ParseResult) -> void
- line 50 —
fn get_positional(result: ParseResult) -> void
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
-
/Users/playom/t27/target/release/t27c gen specs/tri/utils/args.t27 2>&1 | grep -c 'not yet implemented' prints 0
-
- with criterion 1 satisfied,
/Users/playom/t27/target/release/t27c parse specs/tri/utils/args.t27 2>&1 | grep -E '^(recovery-events|declarations-swallowed|lexer-discarded-chars):' reports 0, 0 and 0
-
- with criterion 1 satisfied, all 4 names above still exist:
grep -cE '^\s*(pub )?fn (parse|has_flag|get_value|get_positional)\(' specs/tri/utils/args.t27 prints 4
-
grep -c '^\s*test "' specs/tri/utils/args.t27 prints at least 4 (today: 0)
Boundary
specs/tri/utils/args.t27
Context
specs/tri/utils/args.t27declares moduleTriArgsin 77 lines. 4 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 parse(allocator: std.mem.Allocator) -> voidfn has_flag(result: ParseResult) -> voidfn get_value(result: ParseResult) -> voidfn get_positional(result: ParseResult) -> voidThe 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
/Users/playom/t27/target/release/t27c gen specs/tri/utils/args.t27 2>&1 | grep -c 'not yet implemented'prints0/Users/playom/t27/target/release/t27c parse specs/tri/utils/args.t27 2>&1 | grep -E '^(recovery-events|declarations-swallowed|lexer-discarded-chars):'reports 0, 0 and 0grep -cE '^\s*(pub )?fn (parse|has_flag|get_value|get_positional)\(' specs/tri/utils/args.t27prints4grep -c '^\s*test "' specs/tri/utils/args.t27prints at least4(today: 0)Boundary
specs/tri/utils/args.t27