tri seals: hollow seals that pass every check
31 of 1,428 seals record no output (16 specs); 3 of those are missing from the debt ledger.
t27 · tri seals
covered. The one thing it does not record is the output.
Most of these are already written down as debt elsewhere -- the
reconciliation below says how many. The seal side is where the same
fact reads as health.
against tools/specs_generate_baseline.txt, which calls each line a debt
13 already recorded there
3 hollow seal, NOT in the ledger
1 in the ledger with no hollow seal
sealed, but not a spec 3
docs/nona-03-manifest/PHI_LOOP_CONTRACT.md
docs/nona-03-manifest/SOUL.md
specs/sandbox/sandbox.tri
where they are
4 specs/physics
2 docs/nona-03-manifest
2 specs/ar
2 specs/benchmarks
2 specs/test_framework
1 examples/fpga
1 specs/api
1 specs/conformance
1 specs/sandbox
--why runs the compiler on each and groups the errors: it turns
16 specs into the handful of parser gaps behind them.
t27 $
recorded 2026-10-03 16:18 UTC real 4.9 s shown 4.9 s exit codes 0 0
$ tri seals fresh
$ tri seals hollow
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 ~.