Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions .claude/skills/analog-emulation/SKILL.md
Original file line number Diff line number Diff line change
Expand Up @@ -126,3 +126,5 @@ The page is a single HTML file whose data sits in four arrays at the top of its
- uberWAVE reads ngspice RAW (binary or ASCII). Its `wp2-parser/golden/top.spice` (SAR ADC, xschem, IHP SG13G2) is GPL-2.0: test against it at run time, never vendor it.
- A module-level one-element array literal `[798915]` lowers to a Zig array type (#10512); write `[798915] ** 1` until it is fixed.
- Seal only with `ZIG_GLOBAL_CACHE_DIR` set in a sandboxed session: otherwise the seal's test run cannot create the zig cache and the seal records a false "blocked" verdict plus a home path, which turns `scan` red (#10521). Never write a home path into a committed file; derive it from `git rev-parse`.
- 2026-10-19 Closing a Terminal tab kills the script running in it (a remote-job poller and a ledger patch were lost this way); read the tab or wait for the script's marker file before stop_terminal_tab with close. Remote containers started with docker run -d survive and can be fetched again. (#11063)
- 2026-10-19 In zsh an unquoted variable holding several words is ONE argument; pass a list through 'sh -c' or use ${=var} (masterchecks.sh was handed eight shas as one and every row was empty). (#11063)
6 changes: 6 additions & 0 deletions .claude/skills/ci-gates/SKILL.md
Original file line number Diff line number Diff line change
Expand Up @@ -17495,3 +17495,9 @@ fixing a defect and fixing a sighting.
auto-merged on the required four while the Coq run was still in progress. The repair is
correct and was measured locally; but note what the merge gate can and cannot say about a
change to a non-required workflow — nothing. See §550 and the merge-critical census.

## Traps

- 2026-10-19 The L1 check reads every commit message of a PR for Closes/Fixes/Resolves/Refs/Updates #N and rejects 'Part of #N'; pushed history is not rewritten, so tell lane agents to end each commit message with 'Updates #N' before the first push. (#11106)
- 2026-10-19 One seal the emitter PR did not re-save (ml_host_io_model after the gen-verilog fix) turns coverage and spec-guards red on master for every open PR; read 'tools/check_seal_currency.py' output for the one name, and run it with TRI_T27C set when the tree has no target/. (#11102)
- 2026-10-19 On a Mac a spec that no longer compiles under Zig cannot be re-sealed: 't27c seal --save' refuses, rightly. If gen_hash_zig, c and rust still MATCH in 'seal --verify', the recorded test pass is still the evidence for that Zig and only the moved hash is set, to the value verify prints; say so in the PR. (#11103)
4 changes: 4 additions & 0 deletions .claude/skills/tri/skill.md
Original file line number Diff line number Diff line change
Expand Up @@ -589,3 +589,7 @@ tri self-heal --max-iterations 5 # Automated recovery loop
```

See **`references/recovery-policy.md`** for complete recovery procedures.

## Traps

- 2026-10-19 'tri coverage' run in a scratch worktree without target/ shows tests, vacuous and seal as unmeasured and the total looks low; pass --t27c <main checkout>/target/release/t27c and the same specs read 145 of 145. (#11061)
Loading