t27c on gfternary.t27 -- phi-scaled ternary weights, native

t27c 0.4.0 and zig 0.16.0 on the t27c lab (Railway), spec at t27 5ff0ec512: 13 tests pass natively, 8 of them with no runtime assert; dropping the reserved-code fold makes exactly one test fail; git restores the spec.

    return if (c == GAT_RSVD) GAT_ZERO else c;                                                          
}                                                                                                       
t27 $ t27c test-report specs/numeric/gfternary.t27 --specs-dir specs | sed -n '1,7p;$p'                 
--- test report: specs/numeric/gfternary.t27 ---                                                        

  tests       13                                                                                        
  pass        13                                                                                        
  FAIL        0                                                                                         
  invariants  5   proved -- comptime, so compiling IS the check                                         
  rate    100.0%                                                                                        
  vacuous passes  8 of 13  (passed with 0 runtime asserts executed)                                     
t27 $ t27c gen specs/numeric/gfternary.t27 > gfternary.zig && zig test gfternary.zig                    
All 13 tests passed.                                                                                    
t27 $ sed -i 's/return if (c == GAT_RSVD) GAT_ZERO else c;/return c;/' specs/numeric/gfternary.t27 && gi
t diff -U0 | tail -n 2                                                                                  
-    return if (c == GAT_RSVD) GAT_ZERO else c;                                                         
+    return c;                                                                                          
t27 $ t27c test-report specs/numeric/gfternary.t27 --specs-dir specs | sed -n 1,8p                      
--- test report: specs/numeric/gfternary.t27 ---                                                        
  FAIL  gat_reserved_code_folds_to_zero                                                                 

  tests       13                                                                                        
  pass        12                                                                                        
  FAIL        1                                                                                         
  invariants  5   proved -- comptime, so compiling IS the check                                         
  rate    92.3%                                                                                         
t27 $ git checkout specs/numeric/gfternary.t27 && sha256sum specs/numeric/gfternary.t27                 
Updated 1 path from the index                                                                           
5d15f9ef5b075492d27dc7f58b33bf12d030fdf821239ec62e419787513e2374  specs/numeric/gfternary.t27           
t27 $

recorded 2026-10-07 06:12 UTCreal 33.5 sshown 33.5 sexit codes 0 0 0 0 0 0 0 0

$ git log -1 --format='%h %s' | cut -c1-100 $ t27c --version && zig version $ sed -n 37,40p specs/numeric/gfternary.t27 $ t27c test-report specs/numeric/gfternary.t27 --specs-dir specs | sed -n '1,7p;$p' $ t27c gen specs/numeric/gfternary.t27 > gfternary.zig && zig test gfternary.zig $ sed -i 's/return if (c == GAT_RSVD) GAT_ZERO else c;/return c;/' specs/numeric/gfternary.t27 && git diff -U0 | tail -n 2 $ t27c test-report specs/numeric/gfternary.t27 --specs-dir specs | sed -n 1,8p $ git checkout specs/numeric/gfternary.t27 && sha256sum specs/numeric/gfternary.t27

Staged: the prompt and the typing. Real: every byte the commands printed, at the time they printed it. Any silence longer than 2 s is shown for 2 s, and the title bar says so while it happens. Edited: home directory shown as ~.

GIF Preview card