Repository navigation
seals: 599 gen-drift seals (class b of the 2026-10-02 triage) need per-spec review before reseal #9387
Description
Re-filed from #5576. An attempt claimed that issue on 2026-10-09 and left an empty branch, and a dispatch row that has spent its retry ceiling keeps its issue for good - so no bee could take it again, however much the brief improved. The work below is carried over unchanged.
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_addandformats_catalogwere reviewed and excluded on purpose (parser dropsfor 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 sappended 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-sealsexits 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
The instruments
Every one of these reads and prints; none of them writes. Run them from the repository root, with <spec> replaced by the file in ## Boundary:
.t27 is not Rust and not Zig, and a bee fluent in either writes one by
accident. Measured 2026-09-20: a bee filled eight bodies in
specs/file/watcher.t27 with return Ok(());, Err(FileError::WatcherNotFound)
and for i in 0..watchers.length. The parse ratchet refused the whole file --
Unexpected token in expression: RParen, line 123 -- and a spec that does not
parse generates nothing, so every test it already carried stopped running.
At the top level the parser accepts exactly these eight forms, with an optional
pub, and no others:
const var fn enum struct test invariant bench
There is no trait, no impl, no type X = ..., no generics, no macro. What
a bee reaches for from another language, and what happens:
- Rust's result sugar (
Ok(()),Err(E::V),?) is not a construct here. - Rust macros (
println!,format!,vec!) are not constructs here. - A range loop (
for i in 0..n) is Rust and Zig, not this language. - Zig builtins (
catch unreachable,@intCast,@constCast) are not constructs here. - Cross-module reuse (
use other::fn;) parses and then generates a comment and an unqualified call, so the Zig fails withuse of undeclared identifier(use a::b; generates no import, so no spec can reuse a function from another spec #4298). It does not work yet.
t27c parse <spec> answers in one line whether what you wrote is the language.
Run it before you report, every time.
t27c spec-status <spec>- the compiler's one-word verdict: IMPLEMENTED, PARTIAL, UNWRITTEN, NOPARSE, NOFN. Exit code is 0 whatever it says, so read the word.t27c symbols <spec>- every name the file declares, with its kind. Answers "does this already exist here?" before you add it.t27c outline <spec>- per function: its locals, what it calls, what it returns. The contract you are implementing against.t27c coverage <spec>- which functions have a test and which do not. The issue asks for tests; this is how you check you wrote them.t27c lint <spec>- style and shape warnings. It OVER-REPORTShas no test or invariant: measured 2026-09-20 over 60 specs it printed 677 of those wherecoveragefound 190 untested functions, disagreeing on 59 of the 60 - it warns aboutbit_to_trit_pairinspecs/base/ternary_encoding.t27, whichtest bit_to_trit_pair_zerocalls on line 249. Read it as a hint;coverageis the answer.t27c typecheck <spec>- types, before generation. PrintsTypecheck OK (0 errors, 0 warnings)or the errors.t27c test-report <spec>- builds this spec and runs its own tests, which is what the oracle does.BLOCKEDmeans the generated Zig does not compile, with the error beside it.python3 tools/dupe_scan.py --name <function>- where that function already lives, if it does. 576 of 4021 bodies here are byte-identical copies.
The rest of the toolbelt is in docs/BEE_TOOLBELT.md.
Activity