t27b 0.2.0 · check the binary, compile a spec

Recorded on the Railway t27c lab over ssh, in a clone of t27 at the tag t27b-v0.2.0: the release binary and its signed receipt are fetched from GitHub, the binary's sha256 equals the receipt's t27b_sha256, t27c corpus-receipt compare prints EQUIVALENT, a native x86_64 t27b built at the tag writes an AArch64 Mach-O object in milliseconds, and the release binary runs the spec's tests in its JIT under qemu-aarch64.

t27 $ for f in t27b-0.2.0-aarch64-linux t27b-0.2.0-corpus-receipt.json; do curl -sSLO https://github.com
/gHashTag/t27/releases/download/t27b-v0.2.0/$f; done; ls -l t27b-0.2.0-*                                
-rw-r--r-- 1 root root 3087856 Oct 10 23:38 t27b-0.2.0-aarch64-linux                                    
-rw-r--r-- 1 root root  459040 Oct 10 23:38 t27b-0.2.0-corpus-receipt.json                              
t27 $ sha256sum t27b-0.2.0-aarch64-linux; grep '"t27b_sha256"' t27b-0.2.0-corpus-receipt.json           
0202a2aef518f3cb52cf14dc5d5413f2118457478d76dfe3195b2b1a192007e4  t27b-0.2.0-aarch64-linux              
 "t27b_sha256": "0202a2aef518f3cb52cf14dc5d5413f2118457478d76dfe3195b2b1a192007e4",                     
t27 $ t27c corpus-receipt compare t27b-0.2.0-corpus-receipt.json t27b-0.2.0-corpus-receipt.json; echo "e
xit=$?"                                                                                                 
base "59e2c87c4bd74c1137f4071b5e63095a285ce5e4" AUTH_MISSING_NONE AUTHOR leaves-bound true              
head "59e2c87c4bd74c1137f4071b5e63095a285ce5e4" AUTH_MISSING_NONE AUTHOR leaves-bound true              
totals true inputs true verdicts true outputs true: EQUIVALENT                                          
exit=0                                                                                                  
t27 $ time t27b build specs/benchmarks/kernel_matmul.t27 -o k.o; file k.o                               

real    0m0.002s                                                                                        
user    0m0.002s                                                                                        
sys     0m0.000s                                                                                        
k.o: Mach-O 64-bit arm64 object                                                                         
t27 $ chmod +x t27b-0.2.0-aarch64-linux; qemu-aarch64 -L /usr/aarch64-linux-gnu ./t27b-0.2.0-aarch64-lin
ux test specs/benchmarks/kernel_matmul.t27 --time                                                       
TIME matmul_one_rep 860937                                                                              
PASS matmul_one_rep                                                                                     
TIME matmul_reps_5000 1129240031                                                                        
PASS matmul_reps_5000                                                                                   
kernel_matmul: 2 passed, 0 failed, 2 total                                                              
t27b phases (ms): read=0.459 parse=18.094 typecheck=7.031 lower=41.907 codegen=6.421 jit-map=1.549 run=1
130.423 total=1205.883                                                                                  
t27b code: 713 words (2852 bytes) in the JIT image                                                      
t27 $

recorded 2026-10-10 23:38 UTCreal 34.3 sshown 34.3 sexit codes 0 0 0 0 0 0

$ git describe --tags --exact-match; git rev-parse --short HEAD $ for f in t27b-0.2.0-aarch64-linux t27b-0.2.0-corpus-receipt.json; do curl -sSLO https://github.com/gHashTag/t27/releases/download/t27b-v0.2.0/$f; done; ls -l t27b-0.2.0-* $ sha256sum t27b-0.2.0-aarch64-linux; grep '"t27b_sha256"' t27b-0.2.0-corpus-receipt.json $ t27c corpus-receipt compare t27b-0.2.0-corpus-receipt.json t27b-0.2.0-corpus-receipt.json; echo "exit=$?" $ time t27b build specs/benchmarks/kernel_matmul.t27 -o k.o; file k.o $ chmod +x t27b-0.2.0-aarch64-linux; qemu-aarch64 -L /usr/aarch64-linux-gnu ./t27b-0.2.0-aarch64-linux test specs/benchmarks/kernel_matmul.t27 --time

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: nothing. No GIF: this recording has none.

Preview card