Repository navigation
seals: reseal 279 specs, frontier reuse 627 -> 756 permille - #10250
Merged
Merged
Conversation
This was referenced Oct 18, 2026
Contributor
This was referenced Oct 18, 2026
This was referenced Oct 18, 2026
Tool-written seals only (.trinity/seals/*.json), produced on the lab with t27c frontier --reseal and, for legacy v1-sealed specs that --reseal never touches, t27c seal --save, keeping a seal only when it is schema 2, has no failing tests, is not forced and is not vacuous (the same rule as si::remint_keeps). No --force. Specs whose tests fail, whose generated Zig does not compile, or whose reseal the silicon-receipt guard refuses were left alone. Refs #8314 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
gHashTag
force-pushed
the
seals/raise-frontier-reuse
branch
from
October 18, 2026 06:48
5e0a5d1 to
9448ab4
Compare
Contributor
PR DashboardGenerated at: 2026-10-18 06:48:35 UTC
Summary
Seal Status
|
…7c emits
specs/t27f/spec_graph{,_derive,_export,_fold}.t27 and specs/tools/t27o/rust_convert.t27 changed on
master without a reseal (rust_convert in #10251), which kept spec-guards and seal coverage red on
master. specs/igla/own_model{,_board}.t27 were sealed earlier in this branch by a compiler older than
master's. All 7 resealed with t27c built from this tree (no --force). On the lab, with that binary:
tools/check_seal_currency.py 0 stale of 2732; tools/check_seal_coverage.py OK, 2610 hold, 122
known-broken already in seal_baseline.txt.
Refs #8314
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
gHashTag
enabled auto-merge (squash)
October 18, 2026 07:09
Contributor
PR DashboardGenerated at: 2026-10-18 07:09:25 UTC
Summary
Seal Status
|
gHashTag
added a commit
that referenced
this pull request
Oct 18, 2026
… request through the TRI CLAW App (Closes #10268) (#10283) * feat(claw): claw/t27f -- the seal-gated T27F check on every .t27 pull request through the TRI CLAW App (Closes #10268) - specs/claw/t27f_gate.t27 (+ zig-only pins): scope = changed .t27 plus direct importers, judged by `t27c seal --verify`, decision reuses hot.t27; unsealed neutral, stale/vacuous/unreadable failure, malformed input fails closed. MODE_T27F in specs/claw/service.t27. - gen/c/claw/t27f_gate.c: its gen-c lowering; spec-guards.yml now regenerates both claw C files and diffs them. - gate-topology.yml: a claw-t27f job on a new 10-minute schedule and on workflow_dispatch; the existing job skips the schedule; concurrency keyed by event. The job mints the App token (secret CLAW_APP_PRIVATE_KEY, variable CLAW_APP_ID) and exits 0 with a notice when either is absent. It only fetches, runs the cosign-verified t27o-v0.1.0 t27c and posts what the law prints. - specs/claw/gates.t27: gate-topology events gain schedule (67 workflows, 62/3/2 unchanged); gen/c/claw/gates.c regenerated. - docs/claw/README.md: the owner checklist. AGENTS.md section 8: pointers to what landed. - Own-language offset: scripts/gen_w389.py deleted (spent generator, no runtime refs). MAX_DEAD_TRI unchanged at 140. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * seals(claw): reseal gates/gates_pins/service and seal t27f_gate/t27f_gate_pins after #10250 (Refs #10268) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * fix(claw): mint the claw/t27f App token scoped to checks:write, pull_requests:read, contents:read (Refs #10268) The App holds write on about 40 permissions across every gHashTag installation; an unscoped token minted from a t27 branch would carry secrets, workflows and administration write. The three scopes are the check-run, pr-files and spec-read rows of specs/claw/github_surface.t27 (#10280). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> --------- Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
gHashTag
added a commit
that referenced
this pull request
Oct 18, 2026
…loses #10269) #10250 sealed both specs at their master content; this branch changes them, so in the merge ref the seals no longer described the specs (coverage: "2 seal(s) newly do not hold"). Resealed on the Railway lab with t27c built from master; tools/check_seal_coverage.py exits 0 there (2735 seals, 2613 hold, 122 known-broken, none new). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
gHashTag
added a commit
that referenced
this pull request
Oct 18, 2026
…merge off (Closes #10269) (#10275) * spec(igla): own_model -- put the seven DELIVER cells to review, auto-merge off (Closes #10269) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * spec(igla): own_model -- REVIEW_PR names #10275 (Closes #10269) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * spec(igla): own_model -- REVIEW_ID names the reviewer bee's APPROVE 5561941493 (Closes #10269) The seven DELIVER cells (7, 8, 16, 17, 18, 25, 27) were reviewed on this PR's head 014a34d: glm-4.7-flash and glm-4.5-flash approved independently, review 5561941493 at 2026-10-18 07:28 UTC. REVIEW_ID carries that id instead of the placeholder. Railway lab: own_model 10/10, own_model_board 6/6, 0 vacuous; negative control REVIEWED[24]=false fails 2. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> * seals: reseal own_model and own_model_board for the reviewed content (Closes #10269) #10250 sealed both specs at their master content; this branch changes them, so in the merge ref the seals no longer described the specs (coverage: "2 seal(s) newly do not hold"). Resealed on the Railway lab with t27c built from master; tools/check_seal_coverage.py exits 0 there (2735 seals, 2613 hold, 122 known-broken, none new). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> --------- Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
gHashTag
added a commit
that referenced
this pull request
Oct 18, 2026
…ready has a legacy seal (Closes #10533) remint_wants() skipped REBUILD_MISSING when the spec had a seal, on the reasoning that such a spec is missing only through an import. In fact a legacy v1 seal records no closure, toolchain or config, so those specs sit in the missing group until they are sealed again. #10250 had to reseal 279 of them with direct `t27c seal --save` runs and apply remint_keeps by hand. remint_wants now names every MISSING spec. The guards are unchanged and still decide the outcome: remint_keeps keeps only a schema 2, failed=0, unforced, non-vacuous seal in a file the spec owns; `seal --save` itself still refuses a regression (blocked_reseal_allowed) and a new producer over silicon receipts (silicon_queue::reseal_allowed); on any refusal the old seal is written back. Test blocks: the MISSING-with-seal case flips, plus blocks for the keep conditions and the regression guard. bootstrap/gen/rust/verified/seal_identity.rs is regenerated by t27c gen-rust and the spec's own seal is renewed. Measured on the Railway lab (master c0d0501): a partial, interrupted `frontier --reseal` over 48 specs moved reuse 627 -> 644 permille and the toolchain group 29 -> 2. The full run is not part of this change. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> Closes #10533
gHashTag
added a commit
that referenced
this pull request
Oct 18, 2026
…ready has a legacy seal (Closes #10533) (#10267) remint_wants() skipped REBUILD_MISSING when the spec had a seal, on the reasoning that such a spec is missing only through an import. In fact a legacy v1 seal records no closure, toolchain or config, so those specs sit in the missing group until they are sealed again. #10250 had to reseal 279 of them with direct `t27c seal --save` runs and apply remint_keeps by hand. remint_wants now names every MISSING spec. The guards are unchanged and still decide the outcome: remint_keeps keeps only a schema 2, failed=0, unforced, non-vacuous seal in a file the spec owns; `seal --save` itself still refuses a regression (blocked_reseal_allowed) and a new producer over silicon receipts (silicon_queue::reseal_allowed); on any refusal the old seal is written back. Test blocks: the MISSING-with-seal case flips, plus blocks for the keep conditions and the regression guard. bootstrap/gen/rust/verified/seal_identity.rs is regenerated by t27c gen-rust and the spec's own seal is renewed. Measured on the Railway lab (master c0d0501): a partial, interrupted `frontier --reseal` over 48 specs moved reuse 627 -> 644 permille and the toolchain group 29 -> 2. The full run is not part of this change. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> Closes #10533
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What
Reseals specs so
t27c frontiercan reuse their seals. Only.trinity/seals/*.jsonchange (279 files: 206 new, 73 updated). All of it is tool-written derived data; no spec, Rust, Python or YAML is touched.Result
Lab run, release
t27cbuilt from master d2c8e7d, zig on PATH, spec corpus at master 9a326af:The 2026-10-18 snapshot at 538df07 read 624 permille; master has moved since, hence 627 at 9a326af.
specrises by 9 because resealing newly compilable specs exposed specs that were edited after their old seal; those are left alone (see below). The toolchain hash is unchanged on 9a326af, so toolchain stays 0.How
t27c frontier --resealfor themissing,closureandtoolchaingroups (235 seals in the first pass), then a second pass.frontier --resealnever touches amissingspec that already has a legacy v1 seal (si::remint_wants(decision, has_seal)skips MISSING-with-seal). For those I rant27c seal <spec> --savedirectly and kept the result only under the same rule assi::remint_keeps: schema 2,failed = 0, not forced, not vacuous, and the file is the spec's own. Everything else was reverted to the committed bytes.--force. Thespecgroup (specs edited since their seal) was not resealed: accepting an edit is owner review territory (seals: 599 gen-drift seals (class b of the 2026-10-02 triage) need per-spec review before reseal #9387).spec_graph,spec_graph_derive,spec_graph_export) and everyt27f_*seal were dropped from the set, so master's own versions stay.spec_pathormodule; nothing outside.trinity/seals/; gitleaks clean.The analysis helpers were throwaway lab-only scripts and are not committed.
Specs that still cannot be reused (543)
specs/fpga/ternary_link.t27: a new seal would orphan its silicon receipts,silicon_queue::reseal_allowedrefusesspecs/port/trinity/src/tri-api/claude_md.t27)The counts are by main cause. A
closurespec shows the cause of its own diagnosis where the lab found one, otherwise "an imported spec is not reusable". Nothing was forced or hidden.Full list, grouped by cause (path, frontier reason)
does not compile (402)
specs/account/auth.t27(closure): use of undeclared identifier 'Ok'specs/account/repo.t27(closure): use of undeclared identifier 'Result'specs/account/schema.t27(missing): expected integer or vector, found 'spec.PollResult'specs/api/c_api_contract.t27(missing): use of undeclared identifier 'trinity_vsa_version'specs/api/sdk_contract.t27(missing): use of undeclared identifier 'HybridBigInt'specs/ar/asp_solver.t27(verdict): use of undeclared identifier 'new_proof_trace'specs/ar/coa_planning.t27(verdict): use of undeclared identifier 'ProofStep'specs/ar/composition.t27(missing): use of undeclared identifier 'Trit'specs/ar/datalog_engine.t27(verdict): use of undeclared identifier 'Trit'specs/ar/explainability.t27(missing): use of undeclared identifier 'ProofStep'specs/ar/proof_trace.t27(verdict): use of undeclared identifier 'now'specs/ar/restraint.t27(missing): use of undeclared identifier 'K_UNKNOWN'specs/ar/ternary_logic.t27(verdict): use of undeclared identifier 'Trit'specs/auth/config.t27(closure): use of undeclared identifier 'Result'specs/base/ternary_add.t27(missing): use of undeclared identifier 's'specs/base/ternary_memory.t27(verdict): evaluation exceeded 1000 backwards branchesspecs/brain/brain.t27(missing): use of undeclared identifier 'expect'specs/brain/neural_gamma.t27(missing): use of undeclared identifier 'expect'specs/bus/pubsub.t27(closure): use of undeclared identifier 'bus'specs/bus/schema.t27(verdict): expected type '[1]u8', found '*const [1:0]u8'specs/cloud/railway_deploy.t27(closure): no field or member function named 'to_string' in 'u8'specs/compiler/diagnostics.t27(missing): expected enum or tagged union, found 'comptime_int'specs/compiler/linker.t27(closure): use of undeclared identifier 'lexer'specs/compiler/mod_structure.t27(closure): no field or member function named 'append' in '[]spec.ModuleEntry'specs/compiler/optimizer.t27(closure): duplicate enum member name 'String'specs/compiler/parser.t27(verdict): expected pointer dereference, optional unwrap, or field access, found 'error'specs/compiler/pipeline.t27(closure): expected pointer dereference, optional unwrap, or field access, found 'error'specs/compiler/rust_repeat_counts.t27(missing): incompatible types: 'struct { u32, u32, u32, u32 }' and 'comptime_int'specs/compiler/stdlib.t27(closure): expected ',' after initializerspecs/compiler/typechecker.t27(closure): expected ',' after initializerspecs/config/load.t27(closure): use of undeclared identifier 'config_schema'specs/config/migrate.t27(verdict): use of undeclared identifier 'concat'specs/config/paths.t27(verdict): expected type '[6]u8', found '*const [4:0]u8'specs/config/schema.t27(verdict): expected type '[24]u8', found '*const [24:0]u8'specs/demos/jones_topology_decision_gate.t27(closure): use of undeclared identifier 'vsa'specs/demos/jones_topology_filter.t27(closure): expected ')', found 'an identifier'specs/depin/prove.t27(verdict): TriSha256.zig:1:1: error: unable to load 'TriSha256.zig': FileNotFoundspecs/enrichment/audio_overview.t27(missing): expected ',' after fieldspecs/enrichment/youtube_transcript.t27(verdict): invalid builtin function: '@Trim'specs/file/operations.t27(closure): use of undeclared identifier 'Result'specs/file/schema.t27(verdict): use of undeclared identifier 'split'specs/file/watcher.t27(closure): use of undeclared identifier 'Result'specs/fpga/bridge.t27(closure): use of undeclared identifier 'TernaryWord'specs/fpga/formal.t27(missing): missing struct field: _dummyspecs/fpga/hir.t27(missing): missing struct field: _dummyspecs/fpga/mac.t27(closure): redeclaration of local constant 'a'specs/fpga/spi.t27(missing): unable to evaluate comptime expressionspecs/fpga/testbench.t27(missing): expected type 'spec.TbStimulus', found 'type'specs/fpga/testbench/bootrom_tb.t27(verdict): expected a digit after base prefixspecs/fpga/testbench/dft_tb.t27(missing): expected integer or vector, found 'bool'specs/fpga/testbench/fifo_tb.t27(missing): use of undeclared identifier 'fill_count'specs/fpga/testbench/linker_tb.t27(missing): expected type 'bool', found 'u32'specs/fpga/testbench/mac_tb.t27(closure): use of undeclared identifier 'TernaryWord'specs/fpga/testbench/memory_tb.t27(missing): use of undeclared identifier 'i'specs/fpga/testbench/power_analysis_tb.t27(missing): use of undeclared identifier 'u'specs/fpga/testbench/stdlib_tb.t27(missing): type 'u32' cannot represent integer value '-1'specs/fpga/testbench/top_tb.t27(closure): use of undeclared identifier 'print'specs/fpga/testbench/uart_tb.t27(closure): use of undeclared identifier 'uart_tx_ready'specs/fpga/testbench/vcd_conformance_compare_tb.t27(closure): array literal requires address-of operator (&) to coerce to slice type '[]u32'specs/fpga/top_level.t27(closure): unable to resolve comptime valuespecs/fpga/uart.t27(closure): unable to resolve comptime valuespecs/fpga/vcd_conformance_compare.t27(verdict): expected type 'u32', found 'u64'specs/fpga/vcd_trace.t27(missing): missing struct field: _dummyspecs/git/diff.t27(closure): use of undeclared identifier 'execute_command'specs/git/operations.t27(closure): use of undeclared identifier 'str'specs/git/schema.t27(missing): type '[][]const u8' does not support array initialization syntaxspecs/git/status.t27(closure): use of undeclared identifier 'execute_command'specs/github/comments.t27(missing): array literal requires address-of operator (&) to coerce to slice type '[]spec.Cspecs/github/issues.t27(missing): array literal requires address-of operator (&) to coerce to slice type '[]spec.Ispecs/github/prs.t27(missing): array literal requires address-of operator (&) to coerce to slice type '[]spec.Pspecs/github/tests/e2e_full_flow.t27(missing): use of undeclared identifier 'issues'specs/graph/knowledge_graph.t27(missing): expected ')', found 'an identifier'specs/igla/coder/_tmp_pipeline_import.t27(spec): use of undeclared identifier 'tokenizer'specs/igla/evaluation/multi_lang_harness.t27(verdict): use of undeclared identifier 'assert'specs/igla/integration/publication.t27(missing): use of undeclared identifier 'dois'specs/igla/race/adder_tree.t27(missing): use of undeclared identifier 'adder_tree_2'specs/igla/race/backend.t27(closure): use of undeclared identifier 'char'specs/igla/race/bram_weights.t27(verdict): use of undeclared identifier 'read'specs/igla/race/cordic.t27(missing): use of undeclared identifier 'cordic_gain'specs/igla/race/cordic_fixed.t27(missing): use of undeclared identifier 'assert'specs/igla/race/cordic_top.t27(verdict): use of undeclared identifier 'latency'specs/igla/race/eda.t27(closure): use of undeclared identifier 'latency_ms'specs/igla/race/formal.t27(verdict): use of undeclared identifier 'RtlModule'specs/igla/race/gemm.t27(missing): use of undeclared identifier 'C'specs/igla/race/opcodes.t27(verdict): use of undeclared identifier 'OP_ADD'specs/igla/race/rtl.t27(closure): use of undeclared identifier 'opcode_name'specs/igla/race/systolic_array.t27(missing): use of undeclared identifier 'grid'specs/igla/race/systolic_ternary.t27(closure): use of undeclared identifier 'systolic_ternary_array'specs/igla/race/ternary_dot_sw.t27(closure): use of undeclared identifier 'latency_us'specs/igla/race/ternary_gemm.t27(closure): expected '}', found ':'specs/igla/race/ternary_inference.t27(closure): type 'u8' cannot represent integer value '-1'specs/igla/race/ternary_mac.t27(verdict): use of undeclared identifier 'acc'specs/igla/race/yosys.t27(closure): use of undeclared identifier 'eval'specs/igla/training/low_bit_ternary.t27(verdict): expected ')', found 'an identifier'specs/igla/training/pilot_pretraining.t27(missing): use of undeclared identifier 'math'specs/igla/training/roadmap.t27(missing): use of undeclared identifier 'milestones'specs/igla/training/scale_up.t27(missing): use of undeclared identifier 'latency_ms'specs/interop/gf_cross_language.t27(missing): use of undeclared identifier 'gf32_from_f64'specs/isa/registers.t27(verdict): type '[7]u8' does not support struct initialization syntaxspecs/isa/ternary_arithmetic.t27(verdict): division with 'i64' and 'comptime_int': signed integers must use @divTrunc, @divspecs/isa/ternary_bitwise.t27(verdict): array literal requires address-of operator (&) to coerce to slice type '[]i32'specs/isa/ternary_control_flow.t27(verdict): use of undeclared identifier 'pc_set_to'specs/isa/ternary_deque.t27(verdict): assertion failedspecs/isa/ternary_hash.t27(verdict): use of undeclared identifier 'eq'specs/isa/ternary_memory.t27(verdict): type '[7]u8' does not support struct initialization syntaxspecs/isa/ternary_pattern_matching.t27(verdict): use of undeclared identifier 'eq'specs/isa/ternary_search.t27(verdict): use of undeclared identifier 'eq'specs/isa/ternary_set.t27(verdict): use of undeclared identifier 'eq'specs/isa/ternary_sorting.t27(verdict): use of undeclared identifier 'eq'specs/isa/ternary_tree.t27(verdict): use of undeclared identifier 'not'specs/jit/jit.t27(missing): variables must be initializedspecs/lsp/client.t27(closure): expected type '[]u8', found '*const [8:0]u8'specs/lsp/protocol.t27(verdict): unused function parameterspecs/lsp/schema.t27(verdict): expected type '[]u8', found '*const [5:0]u8'specs/lsp/server.t27(closure): expected type '[3]u8', found '*const [7:0]u8'specs/math/e8_lie_algebra.t27(missing): variable of type 'comptime_float' must be const or comptimespecs/math/pellis_precision_verify.t27(closure): no field or member function named 'pow' in 'f64'specs/math/phi_split_optimality.t27(closure): no field or member function named 'round' in 'f64'specs/math/phi_universal_attractor.t27(closure): unused capturespecs/math/property_test_template.t27(verdict): expected integer or vector, found 'f64'specs/math/radix_economy.t27(missing): use of undeclared identifier 'results'specs/math/sacred_physics.t27(missing): use of undeclared identifier 'sin2_theta12_trinity'specs/math/zamolodchikov_e8.t27(closure): remainder division with 'i64' and 'comptime_int': signed integers and floats musspecs/memory/formula_embed.t27(missing): use of undeclared identifier 'Float'specs/memory/memory_primitives.t27(verdict): use of undeclared identifier 'not'specs/memory/notebooklm.t27(verdict): incompatible types: 'spec.ErrorCode' and 'comptime_int'specs/memory/semantic_search.t27(missing): use of undeclared identifier 'Float'specs/memory/tmem/bridge.t27(verdict): array literal requires address-of operator (&) to coerce to slice type '[]i32'specs/memory/tmem/conformance.t27(verdict): array literal requires address-of operator (&) to coerce to slice type '[]i32'specs/memory/tmem/edge_demo.t27(verdict): array literal requires address-of operator (&) to coerce to slice type '[]i32'specs/memory/tmem/stream_compute.t27(verdict): array literal requires address-of operator (&) to coerce to slice type '[]i32'specs/memory/tmem/tensorpack.t27(verdict): array literal requires address-of operator (&) to coerce to slice type '[]u64'specs/ml/optimizer/lr_scheduler.t27(missing): use of undeclared identifier 'math'specs/ml/optimizer/sgd_momentum.t27(verdict): use of undeclared identifier 'array'specs/ml/recurrent/seq2seq.t27(verdict): use of undeclared identifier 'token'specs/ml/rl/ppo_actor.t27(verdict): use of undeclared identifier 'math'specs/ml/rl/sac_actor.t27(verdict): use of undeclared identifier 'valid_input'specs/ml/transformer/feed_forward.t27(missing): use of undeclared identifier 'dense'specs/ml/transformer/mha_block.t27(closure): use of undeclared identifier 'norm'specs/ml/transformer/multi_head_attn.t27(closure): use of undeclared identifier 'random_input'specs/ml/transformer/norm.t27(verdict): use of undeclared identifier 'allocate_array'specs/ml/transformer/positional_enc.t27(verdict): use of undeclared identifier 'approximately_equal'specs/neural/forward_pass.t27(closure): --- test report: specs/neural/forward_pass.t27 ---specs/nn/gla.t27(verdict): expected ']', found ';'specs/nn/phi_rope.t27(missing): use of undeclared identifier 'pow'specs/nn/sacred_attention.t27(missing): use of undeclared identifier 'pow'specs/numeric/bigint.t27(missing): unused capturespecs/numeric/gf12.t27(closure): unused capturespecs/numeric/gf20.t27(closure): unused capturespecs/numeric/gf24.t27(closure): unused capturespecs/numeric/gf32.t27(closure): unused capturespecs/numeric/gf4.t27(closure): use of undeclared identifier 'x'specs/numeric/gf64.t27(closure): use of undeclared identifier 'sacred_physics'specs/numeric/gf8.t27(closure): unused capturespecs/numeric/gf_competitive.t27(missing): expected error union type, found 'f64'specs/numeric/goldenfloat_family.t27(closure): type 'u8' cannot represent integer value '256'specs/numeric/lucas_accumulator.t27(verdict): use of undeclared identifier 'pow'specs/numeric/pellis_verify.t27(missing): expected error union type, found 'f64'specs/numeric/phi_ratio.t27(closure): remainder division with 'i64' and 'comptime_int': signed integers and floats musspecs/numeric/posit_ladder_control.t27(verdict): use of undeclared identifier 'pow'specs/numeric/tf3.t27(verdict): expected 1 argument, found 2specs/physics/chimera_best_gamma.t27(missing): use of undeclared identifier 'Float'specs/physics/formula_discovery.t27(verdict): use of undeclared identifier 'ln'specs/physics/formula_registry.t27(missing): use of undeclared identifier 'std'specs/physics/gamma_conjecture.t27(missing): trailing digit separatorspecs/physics/gi1_analysis.t27(missing): trailing digit separatorspecs/physics/p2_brain_physics.t27(missing): use of undeclared identifier 'numeric'specs/physics/pellis-formulas.t27(closure): use of undeclared identifier 'sacred_physics'specs/physics/quantum.t27(missing): use of undeclared identifier 'expect'specs/physics/sacred_verification.t27(closure): use of undeclared identifier 'EXACT'specs/physics/su2_chern_simons.t27(missing): variable of type 'comptime_float' must be const or comptimespecs/physics/zamolodchikov_4d_conjecture.t27(closure): use of undeclared identifier 'constants'specs/pins/emitter_xdc.t27(missing): expected expression, found ','specs/pins/ir.t27(missing): expected expression, found ','specs/pins/parser.t27(closure): expected type '[]spec.PinTok', found 'spec.PinTok'specs/pipeline/benchmarks.t27(verdict): use of undeclared identifier 'eq'specs/pipeline/e2e_test.t27(verdict): use of undeclared identifier 'eq'specs/pipeline/experience_save.t27(verdict): use of undeclared identifier 'not'specs/port/browseros/trios/agent-server/apps/server/src/api/routes/queen-public-leaderboard.t27(verdict): use of undeclared identifier 'unreachable'specs/port/browseros/trios/agent-server/apps/server/src/api/services/queen-ci-verdict.t27(missing): no field or member function named 'starts_with' in '[]const u8'specs/port/browseros/trios/agent-server/apps/server/src/api/utils/security.t27(verdict): expected type expression, found ')'specs/port/browseros/trios/agent-server/apps/server/src/monitoring/observer.t27(missing): expected type expression, found ')'specs/port/browseros/trios/agent-server/apps/server/src/skills/migrate.t27(missing): local constant 'migrated' shadows local constant from outer scopespecs/port/conformance/witness/gf48_fp64/gf_decode_param_fp64.t27(missing): assertion failedspecs/port/fpga/verilog/mvp_ternary_classifier_jtag.t27(missing): type 'u32' does not support indexingspecs/port/fpga/verilog/mvp_ternary_classifier_jtag_noport.t27(missing): invalid digit 'u' for hex basespecs/port/fpga/vivado/gf16_matmul_top.t27(missing): incompatible types: 'bool' and 'u32'specs/port/fpga/vivado/matmul_serial_hw.t27(missing): expected 16 array elements; found 1specs/port/scripts/gen_w312.t27(missing): expected 10 array elements; found 7specs/port/scripts/gen_w364.t27(missing): use of undeclared identifier 'Path'specs/port/scripts/gen_w366.t27(missing): no field or member function named 'starts_with' in '[]const u8'specs/port/scripts/gen_w389.t27(missing): expected 'while', 'for', 'inline', or '{', found 'a number literal'specs/port/scripts/gen_w390.t27(missing): no field or member function named 'lines' in '[]const u8'specs/port/scripts/gen_w681.t27(missing): expected type 'u32', found 'i32'specs/port/scripts/gen_w682.t27(missing): expected type 'i32', found 'usize'specs/port/tools/_prereq.t27(missing): fs.zig:1:1: error: unable to load 'fs.zig': FileNotFoundspecs/port/tools/builtin_parity_table.t27(verdict): use of undeclared identifier 'stat'specs/port/tools/check_assertionless_spec_tests.t27(missing): no field or member function named 'lines' in '[]const u8'specs/port/tools/check_conflict_markers.t27(missing): expected type expression, found '&'specs/port/tools/check_coq_in_build.t27(missing): unable to resolve comptime valuespecs/port/tools/check_damage_negatives.t27(missing): use of undeclared identifier 'Option'specs/port/tools/check_duplicate_agreement.t27(missing): use of undeclared identifier 'Option'specs/port/tools/check_graph_law8.t27(missing): invalid builtin function: '@stdout'specs/port/tools/check_json_parses.t27(missing): use of undeclared identifier 'std'specs/port/tools/check_ring_spec_drift.t27(missing): expected ')', found ','specs/port/tools/check_seal_currency.t27(missing): expected ')', found ','specs/port/tools/check_specs_parse.t27(missing): expected pointer dereference, optional unwrap, or field access, found '<'specs/port/tools/check_sync_repo_root.t27(missing): invalid builtin function: '@trimStart'specs/port/tools/check_vector_data.t27(missing): expected ')', found ','specs/port/tools/check_withdrawn_live.t27(missing): expected ')', found ','specs/port/tools/dedupe_identical_tests.t27(verdict): use of undeclared identifier 'Option'specs/port/tools/diagnostic_capacity.t27(missing): expected ')', found ','specs/port/tools/gft_deep_demo.t27(verdict): expected ')', found ','specs/port/tools/gft_train_demo.t27(missing): no field or member function named 'powf' in 'f64'specs/port/tools/jtag/link_relay.t27(missing): expected type 'u8', found 'u32'specs/port/tools/jtag/mpsse_jtag.t27(missing): unused function parameterspecs/port/tools/jtag/read_user1.t27(missing): value of type '@typeof(undefined)' ignoredspecs/port/tools/jtag/read_verdict.t27(missing): use of undeclared identifier 'Mpsse'specs/port/tools/published_figures.t27(verdict): use of undeclared identifier 'string'specs/port/tools/queen/feed_untested.t27(verdict): expected ',' after fieldspecs/port/tools/rename_duplicate_tests.t27(missing): use of undeclared identifier 'concat'specs/port/tools/ring_spec_differential.t27(missing): use of undeclared identifier 'Option'specs/port/tools/trinity_c_abi.t27(missing): expected type expression, found ','specs/port/tools/trinity_fpga_adapter.t27(verdict): no field or member function named 'starts_with' in '[]const u8'specs/port/tools/verify_multitarget.t27(missing): remainder division with 'i32' and 'comptime_int': signed integers and floats musspecs/port/tools/verify_trainer_c.t27(verdict): expected ')', found ','specs/port/tools/wp18_gate_selfconsistent_selftest.t27(missing): expected type expression, found ')'specs/port/trinity/src/tri/gen_tanh.t27(missing): use of undeclared identifier 'RadixEconomy'specs/port/trinity/src/tri/gen_uuid_generator.t27(missing): operator == not allowed for type '[16]u8'specs/port/trios/apps/trios-macos/rings/RUST-04/clade-improve/src/variant.t27(missing): root source file struct 'fmt' has no member named 'alloc'specs/port/trios/apps/trios-macos/rings/RUST-13/trios-mesh/tools/deploy.t27(missing): expected type '[][]const u8', found '*const [2][]const u8'specs/port/trios/crates/trios-agent-harness/rings/AH-01/src/lib.t27(missing): expected type '[]const u8', found 'spec.AgentAdapter'specs/port/trios/crates/trios-coq-witness/src/lib.t27(spec): use of undeclared identifier 'powi'specs/port/trios/crates/trios-golden-float/rings/GF-01/src/lib.t27(spec): type 'u16' does not support field accessspecs/port/trios/crates/trios-mesh/benches/routing_table.t27(missing): expected 16 array elements; found 1specs/port/trios/crates/trios-server/src/mcp_endpoints/experience.t27(missing): use of undeclared identifier 'Value'specs/port/trios/crates/trios-ternary/rings/TR-00/src/lib.t27(missing): incompatible types: '?spec.Trit' and 'comptime_int'specs/portable/relay_observer.t27(verdict): use of undeclared identifier 'websocket_state_is_error'specs/provider/adapters.t27(closure): expected type '[3]u8', found '*const [3:0]u8'specs/provider/schema.t27(verdict): expected type '[9]u8', found '*const [9:0]u8'specs/provider/stream.t27(closure): expected '}', found ':'specs/provider/transform.t27(closure): expected type '[]u8', found '*const [19:0]u8'specs/queen/brain_summaries.t27(closure): use of undefined value here causes illegal behaviorspecs/queen/lotus.t27(missing): use of undeclared identifier 'then'specs/runtime/execute.t27(verdict): use of undeclared identifier 'TaskModification'specs/runtime/instance.t27(closure): use of undeclared identifier 'runtime_process'specs/runtime/process.t27(verdict): '' used as an identifier without @"" syntaxspecs/sacred/sacred_constants.t27(missing): use of undeclared identifier 'Namespacestructallmembersarecomptimeconstantsorpurspecs/sacred/sacred_governance.t27(missing): expected ',' after fieldspecs/sacred/sacred_identity.t27(missing): expected ',' after fieldspecs/server/agent-runner.t27(missing): missing struct field: turnspecs/server/api.t27(missing): use of undeclared identifier 'MessageContent'specs/server/http.t27(verdict): invalid builtin function: '@ptrFromNull'specs/server/mdns.t27(verdict): '' used as an identifier without @"" syntaxspecs/server/project.t27(verdict): missing struct field: idspecs/server/provider.t27(verdict): missing struct field: idspecs/server/router.t27(verdict): use of undeclared identifier 'MatchResult'specs/server/routes.t27(missing): incompatible types: 'spec.HttpMethod' and 'comptime_int'specs/server/session.t27(verdict): missing struct field: idspecs/server/sse.t27(verdict): expected type expression, found 'invalid token'specs/server/vm.t27(missing): use of undeclared identifier 'hybrid_arithmetic'specs/shell/environment.t27(closure): use of undeclared identifier 'Result'specs/shell/process.t27(closure): use of undeclared identifier 'Result'specs/shell/schema.t27(missing): enum 'spec.ShellType' has no member named 'Nu'specs/storage/kv.t27(closure): expected ')', found ':'specs/storage/lock.t27(closure): use of undeclared identifier 'Result'specs/storage/migrate.t27(closure): expected ',' after fieldspecs/storage/schema.t27(missing): expected integer or vector, found 'spec.LockMode'specs/sync/index.t27(closure): unused capturespecs/sync/schema.t27(verdict): '' used as an identifier without @"" syntaxspecs/ternary/bigint.t27(missing): struct 'spec.BigInt' has no member named 'zero'specs/ternary/hybrid_arithmetic.t27(missing): use of undeclared identifier 'packed_mode'specs/ternary/hybrid_bigint.t27(closure): '' used as an identifier without @"" syntaxspecs/ternary/packed_trit.t27(missing): use of undeclared identifier 'trits'specs/test_framework/core.t27(verdict): empty test name must be omittedspecs/test_framework/graph_drift_detection.t27(missing): expected ',' after fieldspecs/test_framework/property_test_template.t27(closure): use of undeclared identifier 'Random'specs/test_framework/runner.t27(closure): unused function parameterspecs/test_framework/verilog_bench_harness.t27(closure): expected ')', found ','specs/tools/registry.t27(closure): use of undeclared identifier 'Result'specs/tools/schema.t27(missing): expected type expression, found '='specs/tools/tri_to_t27_converter.t27(verdict): use of undeclared identifier 'trim'specs/tri/agent/autonomous_lifecycle.t27(missing): expected ',' after fieldspecs/tri/agent/eternal_monitor.t27(missing): use of undeclared identifier 'std'specs/tri/agent/governance_agent.t27(missing): expected ',' after fieldspecs/tri/agent/handoff.t27(missing): use of undeclared identifier 'UInt32'specs/tri/agent/swarm_agents.t27(missing): expected ',' after fieldspecs/tri/collections/array.t27(verdict): use of undeclared identifier 'T'specs/tri/collections/bitmap.t27(verdict): local variable 'i' shadows local variable from outer scopespecs/tri/collections/bitset.t27(missing): use of undeclared identifier 'default_input'specs/tri/collections/bitvector.t27(verdict): use of undeclared identifier 'default_input'specs/tri/collections/btree.t27(missing): use of undeclared identifier 'K'specs/tri/collections/circular_buffer.t27(verdict): use of undeclared identifier 'error'specs/tri/collections/deque.t27(verdict): unused local constantspecs/tri/collections/either.t27(missing): use of undeclared identifier 'L'specs/tri/collections/interval.t27(missing): expected type '[]spec.Interval', found 'error{OutOfMemory}![]spec.Interval'specs/tri/collections/linked_list.t27(verdict): use of undeclared identifier 'T'specs/tri/collections/list.t27(missing): use of undeclared identifier 'T'specs/tri/collections/lockfree_stack.t27(verdict): use of undeclared identifier 'default_input'specs/tri/collections/lru.t27(verdict): use of undeclared identifier 'K'specs/tri/collections/lru_cache.t27(verdict): tuple field has a namespecs/tri/collections/map.t27(missing): use of undeclared identifier 'K'specs/tri/collections/maybe.t27(missing): use of undeclared identifier 'T'specs/tri/collections/option.t27(missing): use of undeclared identifier 'T'specs/tri/collections/priority_queue.t27(verdict): use of undeclared identifier 'append'specs/tri/collections/queue.t27(missing): use of undeclared identifier 'T'specs/tri/collections/result.t27(missing): use of undeclared identifier 'T'specs/tri/collections/ring_buffer.t27(missing): use of undeclared identifier 'T'specs/tri/collections/set.t27(missing): use of undeclared identifier 'T'specs/tri/collections/skip_list.t27(verdict): use of undeclared identifier 'T'specs/tri/collections/stack.t27(verdict): use of undeclared identifier 'T'specs/tri/collections/state.t27(missing): expected return type expression, found '->'specs/tri/collections/tuple.t27(missing): use of undeclared identifier 'A'specs/tri/collections/variant.t27(verdict): use of undeclared identifier 'T'specs/tri/crypto/base32.t27(verdict): expected type '[]const u8', found 'error{OutOfMemory}![]u8'specs/tri/crypto/base64.t27(verdict): use of undeclared identifier 'std'specs/tri/crypto/crypto.t27(verdict): not yet implementedspecs/tri/crypto/ecc.t27(missing): expected type 'void', found 'spec.ECPoint'specs/tri/crypto/hmac.t27(missing): use of undeclared identifier 'SHA256'specs/tri/crypto/reed_solomon.t27(missing): expected type expression, found ','specs/tri/crypto/rsa.t27(missing): redeclaration of local variable 'base'specs/tri/encoding/bson.t27(verdict): operator != not allowed for type 'spec.BsonDocument'specs/tri/encoding/csv.t27(verdict): variable of type '@typeof(undefined)' must be const or comptimespecs/tri/encoding/json.t27(verdict): no field or member function named 'parseValue' in 'spec.Parser'specs/tri/encoding/markup.t27(verdict): expected type '[]spec.MarkdownNode', found '@typeof(.{})'specs/tri/encoding/mime.t27(missing): expected type 'mem.Allocator', found '@typeof(null)'specs/tri/encoding/msgpack.t27(verdict): operator != not allowed for type '[]u8'specs/tri/graph/dijkstra.t27(verdict): use of undeclared identifier 'Graph'specs/tri/graph/disjoint_set.t27(verdict): operator != not allowed for type 'spec.DisjointSet'specs/tri/graph/graph_bfs.t27(verdict): use of undeclared identifier 'unreachable'specs/tri/graph/graph_dfs.t27(missing): use of undeclared identifier 'Graph'specs/tri/graph/prims_mst.t27(verdict): expected 2 arguments, found 3specs/tri/io/compress.t27(missing): use of undeclared identifier 'error'specs/tri/io/filesystem.t27(verdict): extra capture in for loopspecs/tri/io/fs.t27(verdict): use of undeclared identifier 'Instant'specs/tri/io/io.t27(missing): use of undeclared identifier 'T'specs/tri/io/reader.t27(missing): expected return type expression, found '->'specs/tri/io/writer.t27(missing): expected type expression, found ')'specs/tri/io/zip.t27(missing): use of undeclared identifier 'T'specs/tri/math/bezier.t27(missing): use of undeclared identifier 'append'specs/tri/math/constants.t27(missing): use of undeclared identifier 'default_input'specs/tri/math/matrix.t27(verdict): expected type '[]f64', found 'error{OutOfMemory}![]f64'specs/tri/math/polynomial.t27(missing): extra capture in for loopspecs/tri/math/probability.t27(missing): use of undeclared identifier 'math'specs/tri/math/statistics.t27(verdict): use of undeclared identifier 'math'specs/tri/net/async.t27(missing): use of undeclared identifier 'T'specs/tri/net/async_stream.t27(verdict): unable to resolve comptime valuespecs/tri/net/channel.t27(missing): use of undeclared identifier 'T'specs/tri/net/http.t27(verdict): use of undeclared identifier 'end'specs/tri/net/net.t27(verdict): operator != not allowed for type '?spec.IpAddress'specs/tri/net/url.t27(verdict): use of undeclared identifier 'r'specs/tri/pipeline/batch_runner.t27(missing): use of undeclared identifier 'String'specs/tri/pipeline/builder.t27(verdict): use of undeclared identifier 'T'specs/tri/pipeline/pipeline_parallel.t27(missing): expected ',' after fieldspecs/tri/search/aho_corasick.t27(verdict): use of undeclared identifier 'allocator'specs/tri/search/bloom_filter.t27(verdict): use of undeclared identifier 'new'specs/tri/search/boyer_moore.t27(verdict): cannot assign to constantspecs/tri/search/knuth_morris_pratt.t27(verdict): incompatible types: 'struct { comptime comptime_int = 0 }' and 'usize'specs/tri/search/match.t27(verdict): use of undeclared identifier 'unreachable'specs/tri/search/rabin_karp.t27(verdict): @intcast must have a known result typespecs/tri/search/regex.t27(missing): operator != not allowed for type 'spec.Regex'specs/tri/search/regex_advanced.t27(verdict): use of undeclared identifier 'index'specs/tri/search/search.t27(verdict): use of undeclared identifier 'T'specs/tri/sort/counting_sort.t27(missing): comparison of 'error{OutOfMemory}![]u8' with nullspecs/tri/sort/heap_sort.t27(verdict): operator == not allowed for type '[6]i64'specs/tri/sort/quick_sort.t27(verdict): use of undeclared identifier 'append'specs/tri/sort/radix_sort.t27(verdict): expected type 'mem.Allocator', found '[8]usize'specs/tri/sort/shell_sort.t27(verdict): no member named 'length' in '[]i64'specs/tri/sort/sort.t27(verdict): use of undeclared identifier 'T'specs/tri/sort/tim_sort.t27(missing): expected type 'mem.Allocator', found 'type'specs/tri/trees/avl_tree.t27(verdict): tuple field has a namespecs/tri/trees/b_tree.t27(verdict): use of undeclared identifier 'one'specs/tri/trees/fenwick_tree.t27(verdict): type 'error{OutOfMemory}![]i64' does not support indexingspecs/tri/trees/kd_tree.t27(verdict): use of undeclared identifier 'i'specs/tri/trees/octree.t27(missing): expected ',' after fieldspecs/tri/trees/quadtree.t27(verdict): unused function parameterspecs/tri/trees/red_black_tree.t27(verdict): tuple field has a namespecs/tri/trees/rtree.t27(verdict): trailing digit separatorspecs/tri/trees/segment_tree.t27(verdict): use of undeclared identifier 'panic'specs/tri/trees/splay_tree.t27(missing): tuple field has a namespecs/tri/trees/suffix_array.t27(missing): use of undeclared identifier 'allocator'specs/tri/trees/tree.t27(missing): use of undeclared identifier 'T'specs/tri/trees/trie.t27(verdict): use of undeclared identifier 'T'specs/tri/utils/bytes.t27(missing): index syntax required for slice type '[]const u8'specs/tri/utils/color.t27(missing): expected type 'void', found 'spec.Color'specs/tri/utils/config.t27(verdict): use of undeclared identifier 'eq_pos'specs/tri/utils/help.t27(missing): use of undeclared identifier 'CommandCategory'specs/tri/utils/logger.t27(verdict): use of undeclared identifier 'Instant'specs/tri/utils/logging.t27(missing): use of undeclared identifier 'tag'specs/tri/utils/random.t27(verdict): operator != not allowed for type 'spec.Rng'specs/tri/utils/text.t27(verdict): type 'type' not a functionspecs/tri/utils/time.t27(verdict): invalid builtin function: '@Builtin'specs/tri/utils/utf8.t27(verdict): use of undeclared identifier 'error'specs/tri/utils/version.t27(verdict): extra capture in for loopspecs/ui/viewport.t27(missing): overflow of integer type 'u8' with value '648'specs/vm/jit_semantics.t27(missing): expected ',' after fieldspecs/vsa/jones_polynomial.t27(missing): array literal requires address-of operator (&) to coerce to slice type '[]i32'specs/vsa/ops.t27(verdict): no field or member function named 'reserve' in '[]spec.Trit'specs/vsa/packed_vsa.t27(missing): variables must be initializedspecs/vsa/sdk.t27(missing): use of undeclared identifier 'hybrid_arithmetic'specs/vsa/sequence_hdc.t27(missing): expected ',' after fieldspecs/vsa/vsa_core.t27(verdict): use of undeclared identifier 'TRIT_ZERO'spec edited since its seal; resealing accepts the edit (needs owner review, #9387) (62)
specs/a/b_c.t27(spec)specs/port/scripts/gen_w391.t27(spec)specs/port/trinity/fpga/openxc7-synth/blink_correct.t27(spec)specs/port/trinity/fpga/openxc7-synth/blink_fast.t27(spec)specs/port/trinity/fpga/openxc7-synth/blink_internal.t27(spec)specs/port/trinity/fpga/openxc7-synth/blink_r23.t27(spec)specs/port/trinity/fpga/openxc7-synth/blink_simple.t27(spec)specs/port/trinity/fpga/openxc7-synth/blink_slow.t27(spec)specs/port/trinity/fpga/openxc7-synth/clk_test.t27(spec)specs/port/trinity/fpga/openxc7-synth/d6_blink.t27(spec)specs/port/trinity/fpga/openxc7-synth/d6_inv_test.t27(spec)specs/port/trinity/fpga/openxc7-synth/d6_test.t27(spec)specs/port/trinity/fpga/openxc7-synth/d_bank13_test.t27(spec)specs/port/trinity/fpga/openxc7-synth/d_blink_high.t27(spec)specs/port/trinity/fpga/openxc7-synth/d_bufg_test.t27(spec)specs/port/trinity/fpga/openxc7-synth/d_clk_direct.t27(spec)specs/port/trinity/fpga/openxc7-synth/d_direct.t27(spec)specs/port/trinity/fpga/openxc7-synth/d_e21_test.t27(spec)specs/port/trinity/fpga/openxc7-synth/d_full_path.t27(spec)specs/port/trinity/fpga/openxc7-synth/d_g22_test.t27(spec)specs/port/trinity/fpga/openxc7-synth/d_lut_only.t27(spec)specs/port/trinity/fpga/openxc7-synth/d_multi_led.t27(spec)specs/port/trinity/fpga/openxc7-synth/d_oscillator.t27(spec)specs/port/trinity/fpga/openxc7-synth/d_simple_ff.t27(spec)specs/port/trinity/fpga/openxc7-synth/d_simple_led.t27(spec)specs/port/trinity/fpga/openxc7-synth/d_slow_blink.t27(spec)specs/port/trinity/fpga/openxc7-synth/d_srl_blink.t27(spec)specs/port/trinity/fpga/openxc7-synth/d_static_on.t27(spec)specs/port/trinity/fpga/openxc7-synth/d_static_one.t27(spec)specs/port/trinity/fpga/openxc7-synth/d_y0_test.t27(spec)specs/port/trinity/fpga/openxc7-synth/led_d5_test.t27(spec)specs/port/trinity/fpga/openxc7-synth/led_d6_test.t27(spec)specs/port/trinity/fpga/openxc7-synth/led_off_test.t27(spec)specs/port/trinity/fpga/openxc7-synth/led_on.t27(spec)specs/port/trinity/fpga/openxc7-synth/led_test_inv.t27(spec)specs/port/trinity/fpga/openxc7-synth/multi_led_test.t27(spec)specs/port/trinity/fpga/openxc7-synth/quantum_bridge_zero.t27(spec)specs/port/trinity/fpga/openxc7-synth/riscv_blink.t27(spec)specs/port/trinity/fpga/openxc7-synth/trinity_top.t27(spec)specs/port/trinity/hardware/rtl-root/d6_test.t27(spec)specs/port/trinity/hardware/rtl-root/d_bank13_test.t27(spec)specs/port/trinity/hardware/rtl-root/d_direct.t27(spec)specs/port/trinity/hardware/rtl-root/d_full_path.t27(spec)specs/port/trinity/hardware/rtl-root/d_lut_only.t27(spec)specs/port/trinity/hardware/rtl-root/d_simple_led.t27(spec)specs/port/trinity/hardware/rtl-root/d_static_on.t27(spec)specs/port/trinity/hardware/rtl-root/d_static_one.t27(spec)specs/port/trinity/hardware/rtl-root/led_off_test.t27(spec)specs/port/trinity/src/tri/gen_aabb.t27(spec)specs/port/trinity/src/tri/gen_mock.t27(spec)specs/port/trinity/src/tri/gen_rle.t27(spec)specs/port/trinity/src/tri/gen_transaction.t27(spec)specs/port/trios/crates/trios-hdc/rings/HD-01/src/lib.t27(spec)specs/port/trios/crates/trios-igla-trainer/src/main.t27(spec)specs/port/trios/crates/trios-mcp/rings/SR-02/src/lib.t27(spec)specs/port/trios/crates/trios-openclaw/rings/OC-01/src/lib.t27(spec)specs/port/trios/crates/trios-scarab-types/rings/SR-01/src/lib.t27(spec)specs/port/trios/crates/trios-scarab-types/rings/SR-03/src/lib.t27(spec)specs/t27f/spec_graph.t27(spec)specs/t27f/spec_graph_derive.t27(spec)specs/t27f/spec_graph_export.t27(spec)specs/t27f/spec_graph_fold.t27(spec)tests FAIL (22)
specs/fpga/eth_reply.t27(missing)specs/fpga/testbench/bridge_tb.t27(closure)specs/fpga/testbench/hir_tb.t27(closure)specs/fpga/testbench/integration_tb.t27(missing)specs/fpga/testbench/spi_tb.t27(closure)specs/fpga/testbench/ternary_isa_tb.t27(missing)specs/isa/ternary_shift.t27(verdict)specs/port/fpga/verilog/tnf17_jtag.t27(missing)specs/port/fpga/vivado/gf16_dot4.t27(missing)specs/port/scripts/check-first-party-doc-language.t27(missing)specs/port/scripts/gen_w367.t27(missing)specs/port/scripts/gen_w392.t27(missing)specs/port/scripts/gen_w683.t27(missing)specs/port/tools/gft_generalize_demo.t27(verdict)specs/port/trinity/src/tri/gen_mse.t27(missing)specs/port/trinity/src/tri/gen_vector2d.t27(missing)specs/port/trinity/src/vsa_simple/vsa.t27(missing)specs/port/trios/crates/trios-cli/src/config.t27(missing)specs/port/trios/crates/trios-doctor/src/validate_bpb.t27(missing)specs/tri/encoding/html.t27(verdict)specs/tri/encoding/xml.t27(verdict)specs/tri/utils/terminal.t27(verdict)an imported spec is not reusable (18)
specs/automation/wrapup-auto.t27(closure)specs/base/debounce.t27(closure)specs/base/ring_32.t27(closure)specs/compiler/meta_compile.t27(closure)specs/fpga/boards/arty_a7_integration.t27(closure)specs/fpga/boards/qmtech_a100t_integration.t27(closure)specs/fpga/testbench/formal_tb.t27(closure)specs/fpga/testbench/vcd_trace_tb.t27(closure)specs/igla/coder/arch.t27(closure)specs/igla/coder/benchmark.t27(closure)specs/igla/coder/pipeline.t27(closure)specs/igla/coder/weights.t27(closure)specs/igla/own_model.t27(closure)specs/igla/own_model_board.t27(closure)specs/math/gf_competitive.t27(closure)specs/queen/review_log.t27(closure)specs/t27f/spec_graph_outline.t27(closure)specs/t27f/spec_graph_view.t27(closure)no usable seal; cause not isolated (reseal produced no keepable seal) (17)
specs/compiler/rust_assert_message.t27(missing)specs/numeric/requant_boundary.t27(missing)specs/port/browseros/trios/agent-server/apps/server/src/lib/stall-watch-worker.t27(missing)specs/port/scripts/gen_w370.t27(missing)specs/port/trinity/src/tri/sacred_constants.t27(missing)specs/port/trinity/src/tri27/emu/tri_loader.t27(missing)specs/port/trinity/src/vibeec/flash_benchmark.t27(missing)specs/sandbox/health.t27(missing)specs/t27f/hot.t27(missing)specs/t27f/quest.t27(missing)specs/t27f/reel_gf16_nmse.t27(missing)specs/t27f/reel_t27_basics.t27(missing)specs/t27f/topic_engine.t27(missing)specs/t27f/topic_reel.t27(missing)specs/tri/t27b/any_param_plan.t27(missing)specs/tri/t27b/ts_emit.t27(missing)specs/tri/t27b/verilog_emit.t27(missing)a backend rejects the spec (1 of 4 backends) (16)
specs/port/browseros/trios/agent-server/apps/server/src/api/routes/queen-rehearsal.t27(missing)specs/port/scripts/run_v51_multiple.t27(missing)specs/port/scripts/tri-issue-create.t27(missing)specs/port/trinity/src/api/depin_rest.t27(missing)specs/port/trinity/src/cli/health_check.t27(missing)specs/port/trinity/src/cli/railway_create_project.t27(missing)specs/port/trinity/src/tri/author_attribution_guard.t27(missing)specs/port/trinity/src/tri/emu/tri_asm_base.t27(missing)specs/port/trinity/src/tri/orchestrator_bench.t27(missing)specs/port/trinity/src/tri/railway.t27(missing)specs/port/trinity/src/tri/tri_init.t27(missing)specs/port/trinity/src/vibeec/validation_engine.t27(missing)specs/port/trios/crates/trios-cli/src/cmd/issue.t27(missing)specs/port/trios/crates/trios-cli/src/cmd/sweep.t27(missing)specs/port/trios/crates/trios-server/src/main.t27(missing)specs/port/trios/crates/trios-train-cpu/src/bin/main.t27(missing)test run timed out (120 s) (4)
specs/fpga/testbench/apb_bridge_tb.t27(missing)specs/fpga/testbench/axi4_tb.t27(missing)specs/fpga/testbench/clock_domain_tb.t27(missing)specs/fpga/testbench/gf16_accel_tb.t27(missing)silicon: a new seal would orphan the spec's silicon run (reseal_allowed refuses) (1)
specs/fpga/ternary_link.t27(missing)tests pass but all vacuous (0 runtime asserts) (1)
specs/port/trinity/src/tri-api/claude_md.t27(verdict)Tool gap found
frontier --resealcannot reseal a spec that has a legacy v1 seal and sits in themissinggroup, so those needed a directseal --savewith the keep rule applied by hand. The fix belongs insi::remint_wants(specs/verified/seal_identity.t27), not in this PR.Rebased
Rebased on master. A second commit reseals seven specs: specs/t27f/spec_graph{,_derive,_export,_fold}.t27 and specs/tools/t27o/rust_convert.t27, whose seals had gone stale on master (rust_convert changed by #10251 without a reseal) and kept spec-guards and coverage red, and specs/igla/own_model{,_board}.t27, sealed in the first commit by an older compiler. On the lab, check_seal_currency reports 0 stale of 2732 and check_seal_coverage passes. Sealed with t27c built from this tree, the binary CI builds.
Refs #8314
🤖 Generated with Claude Code