t27c on golden_sieve.t27 -- the ternary sieve, native

t27c on the t27c lab (Railway), spec at t27 5ff0ec512: 3 tests pass natively; allowing a third trit trips a compile-time invariant and blocks the spec; letting S5 admit shift registers fails exactly one test; git restores the spec.

All 3 tests passed.                                                                                     
t27 $ sed -i 's/^pub const MAX_TRITS : u32 = 2;/pub const MAX_TRITS : u32 = 3;/' specs/numeric/golden_si
eve.t27 && git diff -U0 | tail -n 2                                                                     
-pub const MAX_TRITS : u32 = 2;                                                                         
+pub const MAX_TRITS : u32 = 3;                                                                         
t27 $ t27c test-report specs/numeric/golden_sieve.t27 --specs-dir specs | sed -n 1,6p                   
--- test report: specs/numeric/golden_sieve.t27 ---                                                     
  BLOCKED  does not compile: spec.zig:8:9: error: assertion failed                                      
           spec.zig:177:54: note: called at comptime here                                               

  A blocked spec is not a failing one. It never produced a                                              
  binary, so it has no per-test result to report.                                                       
t27 $ git checkout specs/numeric/golden_sieve.t27 && sed -i 's/^    return srl_count == 0;/    return tr
ue;/' specs/numeric/golden_sieve.t27 && git diff -U0 | tail -n 2                                        
Updated 1 path from the index                                                                           
-    return srl_count == 0;                                                                             
+    return true;                                                                                       
t27 $ t27c test-report specs/numeric/golden_sieve.t27 --specs-dir specs | sed -n 1,8p                   
--- test report: specs/numeric/golden_sieve.t27 ---                                                     
  FAIL  the_sieve_admits_only_the_formula                                                               

  tests       3                                                                                         
  pass        2                                                                                         
  FAIL        1                                                                                         
  invariants  8   proved -- comptime, so compiling IS the check                                         
  rate    66.7%                                                                                         
t27 $ git checkout specs/numeric/golden_sieve.t27 && sha256sum specs/numeric/golden_sieve.t27           
Updated 1 path from the index                                                                           
583b5c7479c239140733752a9ee2df7b82afca6af96e9861af1acd34eac13265  specs/numeric/golden_sieve.t27        
t27 $

recorded 2026-10-07 06:13 UTCreal 45.0 sshown 45.0 sexit codes 0 0 0 0 0 0 0 0 0

$ git log -1 --format='%h %s' | cut -c1-100 $ sed -n '50p;171,174p' specs/numeric/golden_sieve.t27 $ t27c test-report specs/numeric/golden_sieve.t27 --specs-dir specs | sed -n '1,7p;$p' $ t27c gen specs/numeric/golden_sieve.t27 > golden_sieve.zig && zig test golden_sieve.zig $ sed -i 's/^pub const MAX_TRITS : u32 = 2;/pub const MAX_TRITS : u32 = 3;/' specs/numeric/golden_sieve.t27 && git diff -U0 | tail -n 2 $ t27c test-report specs/numeric/golden_sieve.t27 --specs-dir specs | sed -n 1,6p $ git checkout specs/numeric/golden_sieve.t27 && sed -i 's/^ return srl_count == 0;/ return true;/' specs/numeric/golden_sieve.t27 && git diff -U0 | tail -n 2 $ t27c test-report specs/numeric/golden_sieve.t27 --specs-dir specs | sed -n 1,8p $ git checkout specs/numeric/golden_sieve.t27 && sha256sum specs/numeric/golden_sieve.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