seals: 599 gen-drift seals (class b of the 2026-10-02 triage) need per-spec review before reseal #5576

Class (b) of the seal triage on master a26af0ad5: 599 seals across 341 specs whose generated output no longer matches the seal, and which were therefore NOT resealed.

Sub-classes:

• gen-drift -- spec byte-identical to the sealed one; the compiler now emits something else. Needs a look at which compiler change moved it, then a reseal.
• hidden-gen-drift -- the spec text changed but its AST did not; output moved anyway (compiler change, not spec change).
• edited-gen-changed -- the spec was really edited (bodies, tests, types) and output followed. Resealing = accepting the new output; each needs an owner's eye, not a bulk reseal.
• edited-gen-unchanged -- edited, output unchanged, but the edit is not trivial. ternary_add and formats_catalog were reviewed and excluded on purpose (parser drops for all i8 s; a machine-read // CATALOG: number changed).

Per line: spec (number of seals) -- which gen hashes moved [test-report status]. BLOCKED = generated Zig does not compile, not a test failure.
Do NOT repair with --update-baseline; the gate itself says that is the wrong fix for drift.
Full evidence (rules, method, per-seal table): docs/SEAL_TRIAGE_2026-10-02.md in the triage PR. Refs #5453.

gen-drift -- 105 seals, 90 specs

• specs/api/c_abi.t27 (1) -- spec unchanged; zig differ [BLOCKED]
• specs/api/tri_api_context.t27 (1) -- spec unchanged; zig differ [BLOCKED]
• specs/api/tri_api_loop.t27 (1) -- spec unchanged; zig differ [BLOCKED]
• specs/api/tri_api_permissions.t27 (1) -- spec unchanged; zig differ [BLOCKED]
• specs/api/tri_api_session.t27 (1) -- spec unchanged; zig differ [PASS]
• specs/ar/coa_planning.t27 (2) -- spec unchanged; zig differ [BLOCKED]
• specs/ar/explainability.t27 (2) -- spec unchanged; zig differ [BLOCKED]
• specs/ar/proof_trace.t27 (4) -- spec unchanged; zig differ [BLOCKED]
• specs/ar/restraint.t27 (2) -- spec unchanged; zig differ [BLOCKED]
• specs/automation/wrapup-auto.t27 (2) -- spec unchanged; zig, c differ [PASS]
• specs/base/ring_32.t27 (2) -- spec unchanged; zig differ [PASS]
• specs/catalog/discovery.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/compiler/stdlib.t27 (1) -- spec unchanged; zig differ [BLOCKED]
• specs/demos/jones_topology_decision_gate.t27 (2) -- spec unchanged; zig differ [BLOCKED]
• specs/demos/jones_topology_filter.t27 (2) -- spec unchanged; zig differ [BLOCKED]
• specs/fpga/adapter.t27 (1) -- spec unchanged; zig differ [PASS]
• specs/igla/coder/arch.t27 (1) -- spec unchanged; zig differ [BLOCKED]
• specs/igla/coder/dataset.t27 (1) -- spec unchanged; zig, c differ [BLOCKED]
• specs/igla/coder/eval.t27 (1) -- spec unchanged; zig, c, rust differ [BLOCKED]
• specs/igla/coder/prm.t27 (1) -- spec unchanged; zig differ [BLOCKED]
• specs/igla/coder/weights.t27 (1) -- spec unchanged; zig differ [BLOCKED]
• specs/igla/race/bram_weights.t27 (1) -- spec unchanged; zig differ [BLOCKED]
• specs/igla/race/eda.t27 (1) -- spec unchanged; zig differ [BLOCKED]
• specs/igla/race/formal.t27 (1) -- spec unchanged; zig, c differ [BLOCKED]
• specs/igla/race/rtl.t27 (2) -- spec unchanged; zig, c differ [BLOCKED]
• specs/igla/race/systolic_ternary.t27 (1) -- spec unchanged; zig differ [BLOCKED]
• specs/isa/ternary_encoding.t27 (1) -- spec unchanged; zig differ [BLOCKED]
• specs/isa/tri27_bytecode.t27 (1) -- spec unchanged; zig differ [BLOCKED]
• specs/isa/tri27_machine.t27 (1) -- spec unchanged; zig differ [BLOCKED]
• specs/memory/notebooklm.t27 (2) -- spec unchanged; zig differ [BLOCKED]
• specs/queen/dispatch.t27 (1) -- spec unchanged; zig differ [PASS]
• specs/queen/views.t27 (1) -- spec unchanged; zig differ [PASS]
• specs/server/project.t27 (2) -- spec unchanged; zig differ [BLOCKED]
• specs/tools/catalog.t27 (1) -- spec unchanged; zig differ [BLOCKED]
• specs/tools/mcp_protocol.t27 (1) -- spec unchanged; zig differ [BLOCKED]
• specs/tri/math/bezier.t27 (2) -- spec unchanged; zig differ [BLOCKED]
• specs/trinity/build_graph.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/abi.c-api.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/agent.daemons.t27 (1) -- spec unchanged; zig, verilog, c differ [PASS]
• specs/trinity/capabilities/agent.phi-loop.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/agent.tri-api.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/api.http-server.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/archive.legacy.t27 (1) -- spec unchanged; zig, verilog, c differ [PASS]
• specs/trinity/capabilities/bench.suite.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/bot.tri-bot.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/catalog.spec-mirror.t27 (1) -- spec unchanged; zig, verilog, c differ [PASS]
• specs/trinity/capabilities/catalog.world-scan.t27 (1) -- spec unchanged; zig, verilog, c differ [PASS]
• specs/trinity/capabilities/cli.tri.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/convert.b2t.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/examples.zig.t27 (1) -- spec unchanged; zig, verilog, c differ [PASS]
• specs/trinity/capabilities/ext.vscode-swe.t27 (1) -- spec unchanged; zig, verilog, c differ [PASS]
• specs/trinity/capabilities/fpga.adapter.t27 (1) -- spec unchanged; zig, verilog, c differ [PASS]
• specs/trinity/capabilities/fpga.in-repo.t27 (1) -- spec unchanged; zig, verilog, c differ [PASS]
• specs/trinity/capabilities/lib.trinity.t27 (1) -- spec unchanged; zig, verilog, c differ [PASS]
• specs/trinity/capabilities/llm.firebird.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/llm.igla-chat.t27 (1) -- spec unchanged; zig, verilog, c differ [PASS]
• specs/trinity/capabilities/native.canvas.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/native.node-gui.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/native.queen-app.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/node.trinity-node.t27 (1) -- spec unchanged; zig, verilog, c differ [PASS]
• specs/trinity/capabilities/numeric.golden-float.t27 (1) -- spec unchanged; zig, verilog, c differ [PASS]
• specs/trinity/capabilities/ops.deploy-infra.t27 (1) -- spec unchanged; zig, verilog, c differ [PASS]
• specs/trinity/capabilities/ops.railway-cli.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/pkg.vendored-cache.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/queen.lib.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/registry.commands.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/release.packaging.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/research.nexus-docs.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/research.programs.t27 (1) -- spec unchanged; zig, verilog, c differ [PASS]
• specs/trinity/capabilities/search.vsa-index.t27 (1) -- spec unchanged; zig, verilog, c differ [PASS]
• specs/trinity/capabilities/specs.t27-vendored-compiler.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/specs.tri-corpus.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/specs.vibee-corpus.t27 (1) -- spec unchanged; zig, verilog, c differ [PASS]
• specs/trinity/capabilities/state.trinity-dir.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/test.graph.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/tools.scripts.t27 (1) -- spec unchanged; zig, verilog, c differ [PASS]
• specs/trinity/capabilities/train.hslm.t27 (1) -- spec unchanged; zig, verilog, c differ [PASS]
• specs/trinity/capabilities/training.targets.t27 (1) -- spec unchanged; zig, verilog, c differ [PASS]
• specs/trinity/capabilities/tri27.programs.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/tri27.toolchain.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/vibee.compiler.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/vsa.zig-hdc.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/capabilities/web.docsite.t27 (1) -- spec unchanged; zig, verilog, c differ [PASS]
• specs/trinity/capabilities/web.queen-web.t27 (1) -- spec unchanged; zig, verilog, c differ [PASS]
• specs/trinity/capabilities/web.site.t27 (1) -- spec unchanged; zig, verilog, c, rust differ [PASS]
• specs/trinity/compiler_matrix.t27 (1) -- spec unchanged; zig differ [PASS]
• specs/ui/queen_evidence.t27 (1) -- spec unchanged; zig differ [PASS]
• specs/vm/trinity_vm.t27 (1) -- spec unchanged; zig differ [BLOCKED]
• specs/vsa/ops.t27 (2) -- spec unchanged; zig differ [BLOCKED]
• specs/vsa/trinity_compat.t27 (1) -- spec unchanged; zig differ [BLOCKED]

hidden-gen-drift -- 7 seals, 3 specs

• specs/ar/asp_solver.t27 (4) -- AST unchanged since sealing, but zig, c differ [BLOCKED]
• specs/igla/race/backend.t27 (2) -- AST unchanged since sealing, but zig differ [BLOCKED]
• specs/igla/race/opcodes.t27 (1) -- AST unchanged since sealing, but zig differ [BLOCKED]

edited-gen-unchanged -- 7 seals, 3 specs

• specs/ar/ternary_logic.t27 (4) -- spec edited since sealing, all four outputs unchanged [BLOCKED]
• specs/base/ternary_add.t27 (2) -- for all i8 s appended to 3 asserts (Correction to #2582: the SVA backend takes arguments, not specs — 1610 DSL blocks reach no target at all #4837); the parser drops it, so the AST and all four outputs are unchanged while the spec text says more [BLOCKED]
• specs/numeric/formats_catalog.t27 (1) -- tnf16 phi_distance 0.086 -> 0.0417 in a machine-read // CATALOG: line (tnf16's phi_distance is the value for a mantissa it does not have, and the field means three different things #4795); data, not a comment [PASS]

edited-gen-changed -- 480 seals, 245 specs

• specs/account/repo.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ar/composition.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/auth/config.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/base/ternary_encoding.t27 (2) -- zig, c differ [BLOCKED]
• specs/base/types.t27 (3) -- zig, verilog, c, rust differ [BLOCKED]
• specs/boards/xc7a100t_full.t27 (2) -- zig, verilog, c, rust differ [PASS]
• specs/brain/phi_timing.t27 (2) -- zig, verilog, c, rust differ [PASS]
• specs/brain/unified_state.t27 (2) -- zig, verilog, c, rust differ [PASS]
• specs/bus/schema.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/cloud/railway_deploy.t27 (2) -- zig, c differ [BLOCKED]
• specs/compiler/diagnostics.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/compiler/linker.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/compiler/mod_structure.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/compiler/typechecker.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/config/schema.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/file/watcher.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/fpga/assembler.t27 (2) -- zig, rust differ [PASS]
• specs/fpga/boards/qmtech_a100t_integration.t27 (2) -- zig, verilog, c, rust differ [PASS]
• specs/fpga/formal.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/fpga/hir.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/fpga/hw_types.t27 (2) -- zig, verilog, c, rust differ [PASS]
• specs/fpga/linker.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/fpga/partition.t27 (2) -- zig, verilog, c, rust differ [PASS]
• specs/fpga/placement.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/fpga/power.t27 (2) -- zig, rust differ [PASS]
• specs/fpga/power_analysis.t27 (2) -- zig differ [BLOCKED]
• specs/fpga/router.t27 (2) -- zig, verilog, c, rust differ [PASS]
• specs/fpga/simulator.t27 (2) -- zig, verilog, c, rust differ [PASS]
• specs/fpga/ternary_isa.t27 (2) -- zig, verilog, c, rust differ [PASS]
• specs/fpga/testbench.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/fpga/testbench/apb_bridge_tb.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/fpga/testbench/assembler_tb.t27 (2) -- zig, verilog, c, rust differ [PASS]
• specs/fpga/testbench/axi4_tb.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/fpga/testbench/bridge_tb.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/fpga/testbench/cts_tb.t27 (2) -- zig, verilog, c, rust differ [PASS]
• specs/fpga/testbench/dft_tb.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/fpga/testbench/fifo_tb.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/fpga/testbench/formal_tb.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/fpga/testbench/gf16_accel_tb.t27 (2) -- zig, verilog, c, rust differ [TIMEOUT]
• specs/fpga/testbench/hir_tb.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/fpga/testbench/integration_tb.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/fpga/testbench/linker_tb.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/fpga/testbench/memory_tb.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/fpga/testbench/partition_tb.t27 (2) -- zig, verilog, c, rust differ [PASS]
• specs/fpga/testbench/placement_tb.t27 (2) -- zig, verilog, c, rust differ [PASS]
• specs/fpga/testbench/power_analysis_tb.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/fpga/testbench/power_tb.t27 (2) -- zig, verilog, c, rust differ [PASS]
• specs/fpga/testbench/router_tb.t27 (2) -- zig, verilog, c, rust differ [PASS]
• specs/fpga/testbench/stdlib_tb.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/fpga/testbench/ternary_isa_tb.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/fpga/testbench/vcd_conformance_compare_tb.t27 (2) -- zig, c differ [BLOCKED]
• specs/fpga/testbench/vcd_trace_tb.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/fpga/timing.t27 (2) -- zig, verilog, c, rust differ [PASS]
• specs/fpga/top_level.t27 (3) -- zig, verilog, c, rust differ [BLOCKED]
• specs/fpga/uart.t27 (3) -- zig, verilog, c, rust differ [BLOCKED]
• specs/fpga/vcd_trace.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/git/diff.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/git/operations.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/git/status.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/graph/knowledge_graph.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/igla/coder/bench_proxy.t27 (1) -- zig, verilog, c, rust differ [BLOCKED]
• specs/igla/coder/tokenizer.t27 (1) -- zig, verilog, c, rust differ [BLOCKED]
• specs/igla/coder/training.t27 (1) -- zig, verilog, c, rust differ [BLOCKED]
• specs/igla/evaluation/multi_lang_harness.t27 (1) -- zig, verilog, c, rust differ [BLOCKED]
• specs/igla/integration/publication.t27 (1) -- zig, verilog, c, rust differ [BLOCKED]
• specs/igla/race/cordic.t27 (1) -- zig, verilog, c, rust differ [BLOCKED]
• specs/igla/race/gemm.t27 (1) -- zig, verilog, c, rust differ [BLOCKED]
• specs/igla/race/ternary_inference.t27 (1) -- zig, c differ [BLOCKED]
• specs/igla/training/low_bit_ternary.t27 (1) -- zig, verilog, c, rust differ [BLOCKED]
• specs/igla/training/pilot_pretraining.t27 (1) -- zig, verilog, c, rust differ [BLOCKED]
• specs/igla/training/roadmap.t27 (1) -- zig, verilog, c, rust differ [BLOCKED]
• specs/igla/training/scale_up.t27 (1) -- zig, verilog, c, rust differ [BLOCKED]
• specs/isa/ternary_control_flow.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/jit/jit.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/lsp/client.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/lsp/language.t27 (2) -- zig, verilog, c, rust differ [PASS]
• specs/lsp/protocol.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/lsp/server.t27 (2) -- zig differ [BLOCKED]
• specs/math/constants.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/math/phi_split_optimality.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/math/phi_universal_attractor.t27 (2) -- zig, c, rust differ [BLOCKED]
• specs/ml/activation/elu_activation.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/activation/gelu_approx_activation.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/activation/leaky_relu_activation.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/activation/sigmoid_activation.t27 (2) -- zig, verilog, c, rust differ [PASS]
• specs/ml/activation/silu_swish_activation.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/activation/softmax.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/activation/tanh_activation.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/layers/avgpool2d_layer.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/layers/batchnorm_layer.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/layers/conv2d_layer.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/layers/dense_layer.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/layers/dropout_layer.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/layers/embedding_layer.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/layers/flatten_layer.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/layers/layernorm_layer.t27 (2) -- zig, verilog, c, rust differ [PASS]
• specs/ml/layers/maxpool2d_layer.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/loss/binary_crossentropy_loss.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/loss/contrastive_loss.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/loss/cross_entropy_loss.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/optimizer/adagrad.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/optimizer/adam.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/optimizer/lamb.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/optimizer/lr_scheduler.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/optimizer/sgd.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/optimizer/sgd_momentum.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/pathway/mlp.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/recurrent/attention_mechanism.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/recurrent/bilstm.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/recurrent/gru_cell.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/recurrent/lstm_cell.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/recurrent/lstm_single.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/recurrent/rnn_cell.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/recurrent/self_attention.t27 (2) -- zig, verilog, c, rust differ [PASS]
• specs/ml/recurrent/seq2seq.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/rl/advantage_estimator.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/rl/dqn.t27 (2) -- zig, verilog, c, rust differ [PASS]
• specs/ml/rl/dqn_target_network.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/rl/ppo_actor.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/rl/ppo_clip_loss.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/rl/ppo_critic.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/rl/sac_actor.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/rl/sac_critic.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/transformer/encoder_block.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/transformer/feed_forward.t27 (1) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/transformer/feed_forward_network.t27 (3) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/transformer/mha_block.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/transformer/multi_head_attn.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/transformer/norm.t27 (1) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ml/transformer/positional_encoding.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/nn/hslm.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/numeric/bigint.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/numeric/gf16.t27 (3) -- zig, verilog, c, rust differ [BLOCKED]
• specs/physics/chimera_best_gamma.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/runtime/instance.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/server/sse.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/storage/kv.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/storage/lock.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/storage/migrate.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/ternary/bigint.t27 (2) -- zig, c differ [BLOCKED]
• specs/ternary/clocked_counter.t27 (1) -- zig, verilog, c, rust differ [PASS]
• specs/ternary/packed_trit.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tools/tri_to_t27_converter.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/collections/bitmap.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/collections/bitset.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/collections/bitvector.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/collections/btree.t27 (1) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/collections/circular_buffer.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/collections/deque.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/collections/either.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/collections/interval.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/collections/linked_list.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/collections/list.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/collections/lockfree_stack.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/collections/lru.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/collections/lru_cache.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/collections/map.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/collections/option.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/collections/priority_queue.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/collections/queue.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/collections/result.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/collections/ring_buffer.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/collections/set.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/collections/skip_list.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/collections/stack.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/collections/state.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/collections/tuple.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/collections/variant.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/crypto/base32.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/crypto/base64.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/crypto/crypto.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/crypto/ecc.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/crypto/hex.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/crypto/hmac.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/crypto/reed_solomon.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/crypto/rsa.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/encoding/bson.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/encoding/csv.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/encoding/json.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/encoding/markup.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/encoding/mime.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/encoding/msgpack.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/graph/disjoint_set.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/graph/graph.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/graph/topological_sort.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/io/compress.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/io/filesystem.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/io/fs.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/io/io.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/io/reader.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/io/writer.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/io/zip.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/math/matrix.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/math/polynomial.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/math/probability.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/math/statistics.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/net/async.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/net/async_stream.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/net/channel.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/net/http.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/net/net.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/net/url.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/pipeline/builder.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/pipeline/pipeline_parallel.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/search/bloom_filter.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/search/boyer_moore.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/search/knuth_morris_pratt.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/search/match.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/search/rabin_karp.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/search/regex.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/search/regex_advanced.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/search/search.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/sort/quick_sort.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/sort/radix_sort.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/sort/selection_sort.t27 (2) -- zig, verilog, c, rust differ [PASS]
• specs/tri/sort/shell_sort.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/sort/sort.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/trees/avl_tree.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/trees/b_tree.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/trees/fenwick_tree.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/trees/kd_tree.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/trees/octree.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/trees/quadtree.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/trees/red_black_tree.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/trees/rtree.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/trees/segment_tree.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/trees/splay_tree.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/trees/suffix_array.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/trees/tree.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/trees/trie.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/utils/args.t27 (3) -- zig, verilog, c, rust differ [PASS]
• specs/tri/utils/bytes.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/utils/color.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/utils/config.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/utils/logger.t27 (3) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/utils/logging.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/utils/text.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/utils/time.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/utils/utf8.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/tri/utils/version.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/vm/jit_semantics.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/vsa/jones_polynomial.t27 (2) -- zig, c differ [BLOCKED]
• specs/vsa/packed_vsa.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• specs/vsa/sequence_hdc.t27 (2) -- zig, verilog, c, rust differ [BLOCKED]
• test_highlight.t27 (1) -- zig, verilog, c, rust differ [PASS]

User Scenarios

• Given a spec with gen-drift where the compiler now emits different output but the spec is unchanged, When the agent reviews the compiler change that caused the drift and validates the new output is correct, Then the seal can be updated to match the new generated output.
• Given a spec marked BLOCKED because generated Zig does not compile, When the agent investigates the compilation failure and determines if it is a compiler bug or expected behavior change, Then the seal is either updated (if behavior change) or the compiler is fixed (if bug).

Requirements

• FR-001: Each gen-drift spec MUST be reviewed individually to identify the compiler change that caused the output drift.
• FR-002: For BLOCKED specs where generated Zig does not compile, the root cause MUST be determined before any resealing.
• FR-003: Resealing MUST NOT use --update-baseline; the gate explicitly forbids this for drift.
• FR-004: Each reseal MUST have an owner's explicit approval, not a bulk reseal.

Success Criteria

• All 90 gen-drift specs listed have been reviewed and either resealed or deferred with documented rationale.
• t27c --check-seals exits 0 for all 90 specs after review.
• 0 seals remain in gen-drift class for the 90 specs.

Boundary

• specs/api/c_abi.t27
• specs/api/tri_api_context.t27
• specs/api/tri_api_loop.t27
• specs/api/tri_api_permissions.t27
• specs/api/tri_api_session.t27
• specs/ar/coa_planning.t27
• specs/ar/explainability.t27
• specs/ar/proof_trace.t27
• specs/ar/restraint.t27
• specs/automation/wrapup-auto.t27
• specs/base/ring_32.t27
• specs/catalog/discovery.t27