A bitstream from t27 specs, run on the AX7203
Byte-identical to openXC7's .bit, loaded into SRAM, 51,840 of 51,840 tagged receipts on the board.
tri x7-board · t27 back half on the AX7203
int8 --n_x 1 --setkey --port /dev/cu.usbserial-110 --baud 1144744 --keys ../trinet-keys.txt --model ~/ig
la-coder-gpu/c_infer/model.bin
model.bin: 1 matrices, 320 rows, 276480 ternary weights (61.8% nonzero)
jobs: 51840 (32-trit chunks x 1 x-vectors x 6 digit planes)
setkey: key installed on node 0x5452494e; ack tag verifies
[ok ] L5/down 320/320 rows bit-exact
------------------------------------------------------------------
jobs sent : 51840 of 51840 planned (window 24)
receipts verified (tag) : 51840/51840 under node 0x5452494e
rejected : none
rows bit-exact : 320/320 (activations: int8)
elapsed : 10.99 s (4718 answers/s)
longest host pause : 9.5 ms (after 13494 answers)
------------------------------------------------------------------
RESULT: every row above computed on the AX7203 bit-exact against the
int8-weight oracle, and every receipt verified under the key.
real 11.21
user 2.12
sys 0.51
# exit=0
# load 26.6 19.2 20.6 on 8 cpus (BUSY: 1-min load above 2 per cpu)
# end 2026-10-02T20:34:31Z
log x7-board-gif3.log: 1507 bytes, key hits 0
┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┓
┃ ✔ receipts verified (tag) : 51840/51840 ┃
┃ board_runs/x7-board-gif3.log ┃
┗━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┛
receipts: PASS
trinity-fpga $ recorded 2026-10-02 20:34 UTC real 73.7 s shown 33.0 s exit codes 0 0 0
$ tri x7-board compare --ref
$ tri x7-board load x7-board-gif3-load --owner-yes 'check it on the board!! this matters!'
$ tri x7-board receipts x7-board-gif3 --quick
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 ~.
Trinity S³AI
