tri misread: code that compiles and is wrong

1,144 of 1,156 specs generate; 41 spec-shape pairs are read wrongly with every gate green.

t27 · tri misread

t27 $ tri misread                                                                                       

  the specs the compiler reads WRONGLY -- every gate green on all of them                               
  ------------------------------------------------------------------                                    
  control: all 5 shape(s) fired on the reproducer                                                       
  corpus:  1156 spec(s) under specs                                                                     

  generated for 1144 of 1156 spec(s)                                                                    

    28  rust: `pub f: ,`      field with no type                                                        
     1  rust: `pub f: 0,`     literal in type position                                                  
     1  rust: `Vec<>`         generic lost its parameter                                                
     1  c:    `0 f;`          literal in type position                                                  
    10  rust: `pub a: Xb:Y,`  bare colon inside a type                                                  

  Each of these parses and typechecks. The count above is a count of                                    
  SPEC-SHAPE pairs, not of specs: one spec can carry more than one.                                     
  `--list` names them.                                                                                  
t27 $

recorded 2026-10-03 16:18 UTCreal 25.0 sshown 4.2 sexit codes 0

$ tri misread

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