Trinity S³AIt27c check on axi4.t27 -- the spec compiles
t27c check typechecks the AXI4 spec: 0 errors, 0 warnings, the first bar every lesson's spec clears.
recorded 2026-10-08 00:15 UTCreal 3.0 sshown 3.0 sexit codes 0
$ t27c check specs/fpga/axi4.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 ~.
