Skip to content

spec(ar): import the type these four specs already use #3417

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
gHashTag merged 1 commit into from
Sep 7, 2026
Merged

spec(ar): import the type these four specs already use #3417

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
6 changes: 3 additions & 3 deletions .trinity/seals/Explainability.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:952caf75701c86102f5920523badff0aff5810bf66fac7806c0adc63d2266169",
"gen_hash_c": "sha256:f0736c127540a9425b55d78d2795ed49488b496378461c38b16c0780e5785609",
"gen_hash_rust": "sha256:2a61ee1a81d21bf3390a80080f3fa9e9a4be251347c38a55073ac08e77919299",
"gen_hash_verilog": "sha256:f0f9fca4fd8795607c9ac572ef510888f9467aff2f64eadf8725b94993e205df",
"gen_hash_zig": "sha256:f52e5c26de65c941c91654b1cfb4ccaed8938f99b756db204f28a764fb149291",
"gen_hash_zig": "sha256:00194918b93a696b9895a0316f779906109351d4df19fedc9258d4bf5a8389ba",
"module": "Explainability",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:80e970c2be2a313cfca43bc0bbb20397259952dd2d26af5b1359e1d26ea1a4b3",
"spec_hash": "sha256:fa0b2c4b6213ae1664e5ede0f7277e5a92b077a8291ea69af9abda53a6346b7f",
"spec_path": "specs/ar/explainability.t27"
}
6 changes: 3 additions & 3 deletions .trinity/seals/ProofTrace.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:05385a9de9099e0a596ac23cb2231fdca952db8e92df3681479a44aa12026d09",
"gen_hash_c": "sha256:b2c1490a2bf55215c07841cab1f39d91e3f4887389627efc4e7732b1c2f2b2b5",
"gen_hash_rust": "sha256:91e7fc6158dcb3578bd2e110e2fa6deda55030817d761d1cd034d8594162d52f",
"gen_hash_verilog": "sha256:277e8f3d888b436b3386fa512f275d3994fcc40b711df9bb60d10815457e9a1d",
"gen_hash_zig": "sha256:85ca85b32a903b330cd0fd1b543c3ba5eefb4f91d83528baaece0cd33d8d331c",
"gen_hash_zig": "sha256:f5b30b31969b3bf1acd10051bdd514e11cdc51a6fe916dea1e0d58a65ba99750",
"module": "ProofTrace",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:2591d4523eed910a4add8ecd6d7f8a33c9883ad3449955ac3c347d9744ab2a04",
"spec_hash": "sha256:2bc144c93ba41b7bdbdcc2d72c197a508f3b44151489f790c19a71aefd6b0190",
"spec_path": "specs/ar/proof_trace.t27"
}
4 changes: 2 additions & 2 deletions .trinity/seals/Restraint.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
"gen_hash_c": "sha256:8dd1f27c321a6072413858db47ba10574761dbbb41855d13dcf0ff7ecf6f75df",
"gen_hash_rust": "sha256:e60d0df79432850ea804e1ef13dcd010f06daa35724f89ec4b50f8be26509492",
"gen_hash_verilog": "sha256:ead9632de495e2da67289f95d5e919e87e47a4c700fa960d4e2c6696482de346",
"gen_hash_zig": "sha256:1b179c6809f705b3c19217c23255f31f205826d0788ff9469881f7a421dee766",
"gen_hash_zig": "sha256:350d3064d178a8616d39e4fed1e8b88b2a8f8bf1d90b70c1b4c2a72dee79fac5",
"module": "Restraint",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:16e0b95c56b6f741cfc33408599e59d912bd99755fed0f68107e3b97868080d2",
"spec_hash": "sha256:8d6628538bf727e99f5c131624d8cfb6867810bf4d763eb9f681cf867699a591",
"spec_path": "specs/ar/restraint.t27"
}
8 changes: 4 additions & 4 deletions .trinity/seals/ar_Explainability.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,12 +1,12 @@
{
"gen_hash_c": "sha256:952caf75701c86102f5920523badff0aff5810bf66fac7806c0adc63d2266169",
"gen_hash_c": "sha256:f0736c127540a9425b55d78d2795ed49488b496378461c38b16c0780e5785609",
"gen_hash_rust": "sha256:2a61ee1a81d21bf3390a80080f3fa9e9a4be251347c38a55073ac08e77919299",
"gen_hash_verilog": "sha256:f0f9fca4fd8795607c9ac572ef510888f9467aff2f64eadf8725b94993e205df",
"gen_hash_zig": "sha256:f52e5c26de65c941c91654b1cfb4ccaed8938f99b756db204f28a764fb149291",
"gen_hash_zig": "sha256:00194918b93a696b9895a0316f779906109351d4df19fedc9258d4bf5a8389ba",
"module": "explainability",
"ring": 12,
"sealed_at": "2026-09-07T21:07:02Z",
"sealed_by": "t27c-bootstrap@0.2.0",
"spec_hash": "sha256:80e970c2be2a313cfca43bc0bbb20397259952dd2d26af5b1359e1d26ea1a4b3",
"spec_hash": "sha256:fa0b2c4b6213ae1664e5ede0f7277e5a92b077a8291ea69af9abda53a6346b7f",
"spec_path": "specs/ar/explainability.t27"
}
}
6 changes: 3 additions & 3 deletions .trinity/seals/ar_ProofTrace.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:05385a9de9099e0a596ac23cb2231fdca952db8e92df3681479a44aa12026d09",
"gen_hash_c": "sha256:b2c1490a2bf55215c07841cab1f39d91e3f4887389627efc4e7732b1c2f2b2b5",
"gen_hash_rust": "sha256:91e7fc6158dcb3578bd2e110e2fa6deda55030817d761d1cd034d8594162d52f",
"gen_hash_verilog": "sha256:277e8f3d888b436b3386fa512f275d3994fcc40b711df9bb60d10815457e9a1d",
"gen_hash_zig": "sha256:85ca85b32a903b330cd0fd1b543c3ba5eefb4f91d83528baaece0cd33d8d331c",
"gen_hash_zig": "sha256:f5b30b31969b3bf1acd10051bdd514e11cdc51a6fe916dea1e0d58a65ba99750",
"module": "ProofTrace",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:2591d4523eed910a4add8ecd6d7f8a33c9883ad3449955ac3c347d9744ab2a04",
"spec_hash": "sha256:2bc144c93ba41b7bdbdcc2d72c197a508f3b44151489f790c19a71aefd6b0190",
"spec_path": "specs/ar/proof_trace.t27"
}
6 changes: 3 additions & 3 deletions .trinity/seals/ar_Restraint.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,11 +2,11 @@
"gen_hash_c": "sha256:8dd1f27c321a6072413858db47ba10574761dbbb41855d13dcf0ff7ecf6f75df",
"gen_hash_rust": "sha256:e60d0df79432850ea804e1ef13dcd010f06daa35724f89ec4b50f8be26509492",
"gen_hash_verilog": "sha256:ead9632de495e2da67289f95d5e919e87e47a4c700fa960d4e2c6696482de346",
"gen_hash_zig": "sha256:1b179c6809f705b3c19217c23255f31f205826d0788ff9469881f7a421dee766",
"gen_hash_zig": "sha256:350d3064d178a8616d39e4fed1e8b88b2a8f8bf1d90b70c1b4c2a72dee79fac5",
"module": "restraint",
"ring": 12,
"sealed_at": "2026-09-07T21:07:02Z",
"sealed_by": "t27c-bootstrap@0.2.0",
"spec_hash": "sha256:16e0b95c56b6f741cfc33408599e59d912bd99755fed0f68107e3b97868080d2",
"spec_hash": "sha256:8d6628538bf727e99f5c131624d8cfb6867810bf4d763eb9f681cf867699a591",
"spec_path": "specs/ar/restraint.t27"
}
}
8 changes: 4 additions & 4 deletions .trinity/seals/ar_coa_planning.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,12 +1,12 @@
{
"gen_hash_c": "sha256:51034bfe26f2a680c1db02232415a90a4e84420a86c9d4f19602686b9acd5afb",
"gen_hash_c": "sha256:a963cba869553a4437f7fe6b9657113962d8a0965dc0019f40419e6709c2be6b",
"gen_hash_rust": "sha256:f4e3c3ed1853472e70912976040d48a735b650806185022dd8797e9a10496956",
"gen_hash_verilog": "sha256:29e4a69b72122f9715a543d92d7ee68c8d554ec5b8aefe2f797e9b86406cb8ce",
"gen_hash_zig": "sha256:f631078ead3dd650ee408409b06bdedaa66f64de0be918128b0caac668b81a33",
"gen_hash_zig": "sha256:760742876d76b2a503e71edaed3ef7165a2a8732d9163c2b1720e73c39b17a33",
"module": "coa_planning",
"ring": 12,
"sealed_at": "2026-09-07T21:07:02Z",
"sealed_by": "t27c-bootstrap@0.2.0",
"spec_hash": "sha256:d6b1c23a9296e687435aa23bb3dff4adac3b81e5ff938ac41294d8936a62a7c8",
"spec_hash": "sha256:752dad745fac0d7ac30994843be67a1238017536671493bdaf0bfef8fee72be2",
"spec_path": "specs/ar/coa_planning.t27"
}
}
8 changes: 4 additions & 4 deletions .trinity/seals/ar_proof_trace.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,12 +1,12 @@
{
"gen_hash_c": "sha256:05385a9de9099e0a596ac23cb2231fdca952db8e92df3681479a44aa12026d09",
"gen_hash_c": "sha256:b2c1490a2bf55215c07841cab1f39d91e3f4887389627efc4e7732b1c2f2b2b5",
"gen_hash_rust": "sha256:91e7fc6158dcb3578bd2e110e2fa6deda55030817d761d1cd034d8594162d52f",
"gen_hash_verilog": "sha256:277e8f3d888b436b3386fa512f275d3994fcc40b711df9bb60d10815457e9a1d",
"gen_hash_zig": "sha256:85ca85b32a903b330cd0fd1b543c3ba5eefb4f91d83528baaece0cd33d8d331c",
"gen_hash_zig": "sha256:f5b30b31969b3bf1acd10051bdd514e11cdc51a6fe916dea1e0d58a65ba99750",
"module": "proof_trace",
"ring": 12,
"sealed_at": "2026-09-07T21:07:03Z",
"sealed_by": "t27c-bootstrap@0.2.0",
"spec_hash": "sha256:2591d4523eed910a4add8ecd6d7f8a33c9883ad3449955ac3c347d9744ab2a04",
"spec_hash": "sha256:2bc144c93ba41b7bdbdcc2d72c197a508f3b44151489f790c19a71aefd6b0190",
"spec_path": "specs/ar/proof_trace.t27"
}
}
6 changes: 3 additions & 3 deletions .trinity/seals/coa_planning.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:51034bfe26f2a680c1db02232415a90a4e84420a86c9d4f19602686b9acd5afb",
"gen_hash_c": "sha256:a963cba869553a4437f7fe6b9657113962d8a0965dc0019f40419e6709c2be6b",
"gen_hash_rust": "sha256:f4e3c3ed1853472e70912976040d48a735b650806185022dd8797e9a10496956",
"gen_hash_verilog": "sha256:29e4a69b72122f9715a543d92d7ee68c8d554ec5b8aefe2f797e9b86406cb8ce",
"gen_hash_zig": "sha256:f631078ead3dd650ee408409b06bdedaa66f64de0be918128b0caac668b81a33",
"gen_hash_zig": "sha256:760742876d76b2a503e71edaed3ef7165a2a8732d9163c2b1720e73c39b17a33",
"module": "coa_planning",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:d6b1c23a9296e687435aa23bb3dff4adac3b81e5ff938ac41294d8936a62a7c8",
"spec_hash": "sha256:752dad745fac0d7ac30994843be67a1238017536671493bdaf0bfef8fee72be2",
"spec_path": "specs/ar/coa_planning.t27"
}
6 changes: 3 additions & 3 deletions .trinity/seals/proof_trace.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"gen_hash_c": "sha256:05385a9de9099e0a596ac23cb2231fdca952db8e92df3681479a44aa12026d09",
"gen_hash_c": "sha256:b2c1490a2bf55215c07841cab1f39d91e3f4887389627efc4e7732b1c2f2b2b5",
"gen_hash_rust": "sha256:91e7fc6158dcb3578bd2e110e2fa6deda55030817d761d1cd034d8594162d52f",
"gen_hash_verilog": "sha256:277e8f3d888b436b3386fa512f275d3994fcc40b711df9bb60d10815457e9a1d",
"gen_hash_zig": "sha256:85ca85b32a903b330cd0fd1b543c3ba5eefb4f91d83528baaece0cd33d8d331c",
"gen_hash_zig": "sha256:f5b30b31969b3bf1acd10051bdd514e11cdc51a6fe916dea1e0d58a65ba99750",
"module": "proof_trace",
"ring": 12,
"sealed_at": "2026-08-28T18:19:55Z",
"spec_hash": "sha256:2591d4523eed910a4add8ecd6d7f8a33c9883ad3449955ac3c347d9744ab2a04",
"spec_hash": "sha256:2bc144c93ba41b7bdbdcc2d72c197a508f3b44151489f790c19a71aefd6b0190",
"spec_path": "specs/ar/proof_trace.t27"
}
17 changes: 17 additions & 0 deletions docs/now/2026-09-08-four-specs-that-named-a-type-they-never-asked-for.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@
# NOW -- Four specs that named a type they never asked for (2026-09-08)

## Four specs that named a type they never asked for (Refs #3408)

- `Trit` is declared by four specs as `pub const Trit = enum(i8)`. Four OTHER specs used it and carried **zero `use` lines** -- naming a type they never imported. One line each fixes it, and the payoff was measured per file before anything was written:

| spec | rustc errors before | after | delta |
|---|---:|---:|---:|
| ar/coa_planning | 69 | 65 | **-4** |
| ar/explainability | 34 | 29 | **-5** |
| ar/proof_trace | 25 | 20 | **-5** |
| ar/restraint | 30 | 19 | **-11** |

- Corpus: coded diagnostics **2962 -> 2937**, exactly the -25 the per-file measurement predicted; unknown-type warnings **478 -> 460**; rustc acceptance unchanged at 433 of 651, which is expected -- each of these files still carries 19 to 65 other errors. All four backends still generate for all four specs.
- **The checker shipped one pass earlier caught this change immediately.** `tools/check_seal_currency.py` reported 10 stale seals by name the moment the specs were edited, including every duplicate; all 10 refreshed, back to 0. A guard built in one pass catching the very next change is the only evidence that it was worth building.
- Ten seals for four specs, again: `Explainability.json` and `ar_Explainability.json`, `ProofTrace.json` and `ar_ProofTrace.json`, `coa_planning.json` and `ar_coa_planning.json`. The duplicate-naming decision filed in #3415 stays open, and it is why the refresh had to walk every seal rather than call `t27c seal --save`.
- zsh does not word-split an unquoted `$VAR`: `for f in $SPECS` ran the loop once with the whole list as one filename. Caught by `cp` refusing, and the tree was clean afterwards. Fourth time this session; the fix is a literal list or `${=VAR}`.
2 changes: 2 additions & 0 deletions specs/ar/coa_planning.t27
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,8 @@
// spec: CoaPlanning
// Course of Action (COA) planning for neuro-symbolic reasoning

use base::types;

spec CoaPlanning {
// COA action types
enum ActionType {
Expand Down
2 changes: 2 additions & 0 deletions specs/ar/explainability.t27
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,8 @@
// spec: Explainability
// Explainable AI (XAI) mechanisms for neuro-symbolic reasoning

use base::types;

spec Explainability {
// Explanation structure
struct Explanation {
Expand Down
2 changes: 2 additions & 0 deletions specs/ar/proof_trace.t27
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,8 @@
// spec: ProofTrace
// Bounded proof trace mechanism for explainable neuro-symbolic reasoning

use base::types;

spec ProofTrace {
// Maximum number of steps allowed in proof trace
// DARPA CLARA requirement: ≤10 steps
Expand Down
2 changes: 2 additions & 0 deletions specs/ar/restraint.t27
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,8 @@
// spec: Restraint
// Bounded rationality and restraint mechanisms for neuro-symbolic reasoning

use base::types;

spec Restraint {
// Restraint type
enum RestraintType {
Expand Down
Loading