diff --git a/docs/reports/t27b_expectations.json b/docs/reports/t27b_expectations.json index 490ff328f9..47a4236ee7 100644 --- a/docs/reports/t27b_expectations.json +++ b/docs/reports/t27b_expectations.json @@ -2,8 +2,8 @@ "schema_version": 1, "generated_by": "tri t27b ratchet --bless (scripts/tri_loop/t27b.py), #6115", "source": { - "commit": "a9ad52584", - "ref": "t27b/master-seals-9072", + "commit": "fdeb1db16d0bced6bb9435ff3d9977f7335330a8", + "ref": "master", "finished": null, "asserts_counted": true }, @@ -12,7 +12,7 @@ "reference-bug": "the reference passes it for the wrong reason; t27b is right not to", "n/a": "outside what t27b is for (say why in the PR that sets it)" }, - "max_not_pass": 33, + "max_not_pass": 76, "entries": [ {"path": "specs/a/b_c.t27", "t27b": "pass"}, {"path": "specs/a_b/c.t27", "t27b": "pass"}, @@ -146,6 +146,7 @@ {"path": "specs/benchmarks/bench_main.t27", "t27b": "pass"}, {"path": "specs/benchmarks/bench_nn.t27", "t27b": "pass"}, {"path": "specs/benchmarks/gf16_bfloat16_nmse.t27", "t27b": "pass"}, + {"path": "specs/benchmarks/gf16_bfloat16_nmse_run.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, {"path": "specs/benchmarks/kernel_collatz.t27", "t27b": "pass"}, {"path": "specs/benchmarks/kernel_f64loop.t27", "t27b": "pass"}, {"path": "specs/benchmarks/kernel_fib.t27", "t27b": "pass"}, @@ -170,14 +171,23 @@ {"path": "specs/ci/gates/documented_commands.t27", "t27b": "pass"}, {"path": "specs/ci/gates/verilog_widths.t27", "t27b": "pass"}, {"path": "specs/ci/schema.t27", "t27b": "pass"}, + {"path": "specs/claw/engine.t27", "t27b": "pass"}, + {"path": "specs/claw/gates.t27", "t27b": "pass"}, + {"path": "specs/claw/gates_pins.t27", "t27b": "pass"}, + {"path": "specs/claw/recipes.t27", "t27b": "pass"}, + {"path": "specs/claw/service.t27", "t27b": "pass"}, {"path": "specs/compiler/c_array_repeat_wrapper.t27", "t27b": "pass"}, {"path": "specs/compiler/c_fixed_array_return.t27", "t27b": "pass"}, {"path": "specs/compiler/codegen_conformance.t27", "t27b": "pass"}, {"path": "specs/compiler/core/t27core.t27", "t27b": "pass"}, {"path": "specs/compiler/core/t27core_ddc.t27", "t27b": "pass"}, {"path": "specs/compiler/cse_hoist.t27", "t27b": "pass"}, + {"path": "specs/compiler/hir_cost_models.t27", "t27b": "pass"}, + {"path": "specs/compiler/int_type_names.t27", "t27b": "pass"}, {"path": "specs/compiler/lexer.t27", "t27b": "pass"}, {"path": "specs/compiler/meta_compile.t27", "t27b": "pass"}, + {"path": "specs/compiler/operator_text.t27", "t27b": "pass"}, + {"path": "specs/compiler/rust_assert_message.t27", "t27b": "pass_vacuous"}, {"path": "specs/compiler/rust_constant_case.t27", "t27b": "pass"}, {"path": "specs/compiler/rust_enum_order.t27", "t27b": "pass"}, {"path": "specs/compiler/rust_optional_returns.t27", "t27b": "pass"}, @@ -194,6 +204,8 @@ {"path": "specs/compiler/theory/warmup_t27b.t27", "t27b": "pass"}, {"path": "specs/compiler/verilog_aos_memory.t27", "t27b": "pass"}, {"path": "specs/compiler/verilog_branch_context.t27", "t27b": "pass"}, + {"path": "specs/compiler/verilog_names.t27", "t27b": "pass"}, + {"path": "specs/compiler/verilog_tuple_lowering.t27", "t27b": "blocked", "blocker": "ExprTuple", "reason": "unimplemented"}, {"path": "specs/compiler/zig_empty_typed_array.t27", "t27b": "pass"}, {"path": "specs/compiler/zig_field_syntax.t27", "t27b": "pass"}, {"path": "specs/compiler/zig_float_call_cast.t27", "t27b": "pass"}, @@ -258,6 +270,7 @@ {"path": "specs/crons/trinity-pages-health-check.t27", "t27b": "pass"}, {"path": "specs/crons/trinity-signal-health-self.t27", "t27b": "pass"}, {"path": "specs/crons/trinity-site-live-gate.t27", "t27b": "pass"}, + {"path": "specs/demos/hello_world.t27", "t27b": "pass"}, {"path": "specs/demos/simple_test.t27", "t27b": "pass"}, {"path": "specs/docs/chapters/alphabet.t27", "t27b": "pass"}, {"path": "specs/docs/chapters/evidence.t27", "t27b": "pass"}, @@ -301,7 +314,9 @@ {"path": "specs/fpga/memory.t27", "t27b": "pass"}, {"path": "specs/fpga/mmcm.t27", "t27b": "pass"}, {"path": "specs/fpga/mtbf.t27", "t27b": "pass"}, + {"path": "specs/fpga/openxc7_dsp_fabric.t27", "t27b": "pass"}, {"path": "specs/fpga/partition.t27", "t27b": "pass"}, + {"path": "specs/fpga/placement.t27", "t27b": "pass"}, {"path": "specs/fpga/power.t27", "t27b": "pass"}, {"path": "specs/fpga/power_analysis.t27", "t27b": "pass"}, {"path": "specs/fpga/reset_sync.t27", "t27b": "pass"}, @@ -327,6 +342,8 @@ {"path": "specs/fpga/timing.t27", "t27b": "pass"}, {"path": "specs/fpga/trinet_node.t27", "t27b": "pass"}, {"path": "specs/fpga/verification/build_verify.t27", "t27b": "pass"}, + {"path": "specs/fpga/wasm_board_ax7203.t27", "t27b": "pass"}, + {"path": "specs/fpga/wasm_interp.t27", "t27b": "pass"}, {"path": "specs/functions/analytics-sales-advise.t27", "t27b": "pass"}, {"path": "specs/functions/analytics-skills-detect.t27", "t27b": "pass"}, {"path": "specs/functions/broadcast-message-send.t27", "t27b": "pass"}, @@ -372,9 +389,20 @@ {"path": "specs/hosting/sybil.t27", "t27b": "pass"}, {"path": "specs/hosting/toolchain.t27", "t27b": "pass"}, {"path": "specs/hosting/topology.t27", "t27b": "pass"}, + {"path": "specs/hslm/forward_pass.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, {"path": "specs/i18n/agents-ru.t27", "t27b": "pass"}, {"path": "specs/i18n/blog-ru.t27", "t27b": "pass"}, {"path": "specs/i18n/docs-ru.t27", "t27b": "pass"}, + {"path": "specs/igla/coder/arch.t27", "t27b": "pass"}, + {"path": "specs/igla/coder/bench_proxy.t27", "t27b": "blocked", "blocker": "ExprIdentifier(undeclared)", "reason": "unimplemented"}, + {"path": "specs/igla/coder/benchmark.t27", "t27b": "blocked", "blocker": "ExprIdentifier(undeclared)", "reason": "unimplemented"}, + {"path": "specs/igla/coder/dataset.t27", "t27b": "blocked", "blocker": "ExprIdentifier(undeclared)", "reason": "unimplemented"}, + {"path": "specs/igla/coder/eval.t27", "t27b": "blocked", "blocker": "ExprIdentifier(undeclared)", "reason": "unimplemented"}, + {"path": "specs/igla/coder/pipeline.t27", "t27b": "blocked", "blocker": "ConstDecl(slice)", "reason": "unimplemented"}, + {"path": "specs/igla/coder/prm.t27", "t27b": "pass"}, + {"path": "specs/igla/coder/tokenizer.t27", "t27b": "pass"}, + {"path": "specs/igla/coder/training.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, + {"path": "specs/igla/coder/weights.t27", "t27b": "blocked", "blocker": "ConstDecl(slice)", "reason": "unimplemented"}, {"path": "specs/igla/own_model.t27", "t27b": "pass"}, {"path": "specs/igla/own_model_board.t27", "t27b": "pass"}, {"path": "specs/igla/race/mvp_ternary_classifier.t27", "t27b": "pass"}, @@ -472,6 +500,11 @@ {"path": "specs/network/pool.t27", "t27b": "pass"}, {"path": "specs/network/quorum.t27", "t27b": "pass"}, {"path": "specs/network/usage.t27", "t27b": "pass"}, + {"path": "specs/nn/attention.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, + {"path": "specs/nn/hslm.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, + {"path": "specs/nn/hslm_backward.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, + {"path": "specs/nn/hslm_data.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, + {"path": "specs/nn/ternary_ste.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, {"path": "specs/numeric/bnf1024.t27", "t27b": "pass"}, {"path": "specs/numeric/bnf128.t27", "t27b": "pass"}, {"path": "specs/numeric/bnf16.t27", "t27b": "pass"}, @@ -530,26 +563,34 @@ {"path": "specs/policy/lang_en.t27", "t27b": "pass"}, {"path": "specs/policy/merge_ours.t27", "t27b": "pass"}, {"path": "specs/policy/own_language.t27", "t27b": "pass"}, + {"path": "specs/policy/pr_budget.t27", "t27b": "pass"}, {"path": "specs/policy/required_contexts.t27", "t27b": "pass"}, {"path": "specs/policy/text_lines.t27", "t27b": "pass"}, + {"path": "specs/port/bootstrap/src/bitnet_irq.t27", "t27b": "pass"}, {"path": "specs/port/bootstrap/src/bridge.t27", "t27b": "pass"}, {"path": "specs/port/bootstrap/src/cc_gate.t27", "t27b": "pass"}, {"path": "specs/port/bootstrap/src/check_calls.t27", "t27b": "pass"}, {"path": "specs/port/bootstrap/src/compiler/AsmRelocEntry_new.t27", "t27b": "pass"}, {"path": "specs/port/bootstrap/src/compiler/AsmSectionKind_from_i8.t27", "t27b": "pass"}, {"path": "specs/port/bootstrap/src/compiler/AssembledInstr_r_type.t27", "t27b": "pass"}, + {"path": "specs/port/bootstrap/src/compiler/HirApbBridge_new.t27", "t27b": "pass"}, {"path": "specs/port/bootstrap/src/compiler/HirBusPort_axi4_lite_slave.t27", "t27b": "pass"}, {"path": "specs/port/bootstrap/src/compiler/HirClockDomain_new.t27", "t27b": "pass"}, {"path": "specs/port/bootstrap/src/compiler/HirCoverPoint_new.t27", "t27b": "pass"}, {"path": "specs/port/bootstrap/src/compiler/HirGf16FftConfig_fft_stages.t27", "t27b": "pass"}, {"path": "specs/port/bootstrap/src/compiler/HirIpCatalog_new.t27", "t27b": "pass"}, + {"path": "specs/port/bootstrap/src/compiler/HirMemory_new_bram.t27", "t27b": "pass"}, {"path": "specs/port/bootstrap/src/compiler/HirTernaryRegFile_new.t27", "t27b": "pass"}, {"path": "specs/port/bootstrap/src/compiler/HwType_hw_width.t27", "t27b": "pass"}, {"path": "specs/port/bootstrap/src/compiler/LinkSection_text.t27", "t27b": "pass"}, {"path": "specs/port/bootstrap/src/compiler/LoopGuard_loop_cond.t27", "t27b": "pass"}, + {"path": "specs/port/bootstrap/src/compiler/Node_default.t27", "t27b": "pass"}, {"path": "specs/port/bootstrap/src/compiler/TbCheck_new.t27", "t27b": "pass"}, + {"path": "specs/port/bootstrap/src/compiler/VcdVarKind_vcd_str.t27", "t27b": "pass"}, {"path": "specs/port/bootstrap/src/compiler/collect_type_decls.t27", "t27b": "pass"}, + {"path": "specs/port/bootstrap/src/compiler/return_unsized.t27", "t27b": "pass"}, {"path": "specs/port/bootstrap/src/enrichment/mod.t27", "t27b": "pass"}, + {"path": "specs/port/bootstrap/src/impl_status.t27", "t27b": "blocked", "blocker": "ConstDecl(slice)", "reason": "unimplemented"}, {"path": "specs/port/bootstrap/src/jwt.t27", "t27b": "pass"}, {"path": "specs/port/bootstrap/src/parse_conform.t27", "t27b": "pass"}, {"path": "specs/port/bootstrap/src/phi_f64_literals.t27", "t27b": "pass"}, @@ -559,6 +600,7 @@ {"path": "specs/port/bootstrap/src/weight_bram.t27", "t27b": "pass"}, {"path": "specs/port/browseros/trios/agent-server/apps/server/src/api/routes/health.t27", "t27b": "pass"}, {"path": "specs/port/browseros/trios/agent-server/apps/server/src/api/routes/memory.t27", "t27b": "pass"}, + {"path": "specs/port/browseros/trios/agent-server/apps/server/src/api/routes/monitoring.t27", "t27b": "pass"}, {"path": "specs/port/browseros/trios/agent-server/apps/server/src/api/routes/queen-lease.t27", "t27b": "pass"}, {"path": "specs/port/browseros/trios/agent-server/apps/server/src/api/routes/queen-needs-you.t27", "t27b": "pass"}, {"path": "specs/port/browseros/trios/agent-server/apps/server/src/api/routes/queen-public-agents.t27", "t27b": "pass"}, @@ -567,16 +609,22 @@ {"path": "specs/port/browseros/trios/agent-server/apps/server/src/api/routes/queen-report.t27", "t27b": "pass"}, {"path": "specs/port/browseros/trios/agent-server/apps/server/src/api/routes/status.t27", "t27b": "pass"}, {"path": "specs/port/browseros/trios/agent-server/apps/server/src/api/services/a2a/a2a-liveness.t27", "t27b": "pass"}, + {"path": "specs/port/browseros/trios/agent-server/apps/server/src/api/services/mcp/mcp-server.t27", "t27b": "pass"}, {"path": "specs/port/browseros/trios/agent-server/apps/server/src/api/services/openclaw/claw-session.t27", "t27b": "pass"}, {"path": "specs/port/browseros/trios/agent-server/apps/server/src/browser/bookmarks.t27", "t27b": "pass"}, {"path": "specs/port/browseros/trios/agent-server/apps/server/src/browser/history.t27", "t27b": "pass"}, + {"path": "specs/port/browseros/trios/agent-server/apps/server/src/lib/agents/hermes/hermes-provider-map.t27", "t27b": "pass"}, {"path": "specs/port/browseros/trios/agent-server/apps/server/src/lib/agents/runtime/registry.t27", "t27b": "pass"}, + {"path": "specs/port/browseros/trios/agent-server/apps/server/src/lib/db/queen-pool.t27", "t27b": "pass"}, {"path": "specs/port/browseros/trios/agent-server/apps/server/src/lib/db/retry.t27", "t27b": "pass"}, {"path": "specs/port/browseros/trios/agent-server/apps/server/src/lib/identity.t27", "t27b": "pass"}, + {"path": "specs/port/browseros/trios/agent-server/apps/server/src/lib/openrouter-fetch.t27", "t27b": "pass"}, {"path": "specs/port/browseros/trios/agent-server/apps/server/src/lib/port-binding.t27", "t27b": "pass"}, {"path": "specs/port/browseros/trios/agent-server/apps/server/src/lib/provider-error-classifier.t27", "t27b": "pass"}, + {"path": "specs/port/browseros/trios/agent-server/apps/server/src/lib/stall-watch-worker.t27", "t27b": "pass_vacuous"}, {"path": "specs/port/browseros/trios/agent-server/apps/server/src/monitoring/envelope.t27", "t27b": "pass"}, {"path": "specs/port/browseros/trios/agent-server/apps/server/src/skills/catalog.t27", "t27b": "pass"}, + {"path": "specs/port/browseros/trios/agent-server/apps/server/src/skills/loader.t27", "t27b": "pass"}, {"path": "specs/port/browseros/trios/agent-server/apps/server/src/tools/filesystem/ls.t27", "t27b": "pass"}, {"path": "specs/port/browseros/trios/agent-server/apps/server/src/tools/memory/write.t27", "t27b": "pass"}, {"path": "specs/port/browseros/trios/agent-server/apps/server/src/tools/tool-registry.t27", "t27b": "pass"}, @@ -589,10 +637,13 @@ {"path": "specs/port/fpga/verilog/gft_dot4_comm_jtag.t27", "t27b": "pass"}, {"path": "specs/port/fpga/verilog/gft_dup2_jtag.t27", "t27b": "pass"}, {"path": "specs/port/fpga/verilog/gft_dup3_jtag.t27", "t27b": "pass"}, + {"path": "specs/port/fpga/verilog/gft_kat_jtag.t27", "t27b": "pass"}, + {"path": "specs/port/fpga/verilog/gft_sadd_jtag.t27", "t27b": "pass"}, {"path": "specs/port/fpga/verilog/gft_signed_dot4_jtag.t27", "t27b": "pass"}, {"path": "specs/port/fpga/verilog/gft_smul_jtag.t27", "t27b": "pass"}, {"path": "specs/port/fpga/verilog/gft_train1_jtag.t27", "t27b": "pass"}, {"path": "specs/port/fpga/verilog/link_node.t27", "t27b": "pass"}, + {"path": "specs/port/fpga/verilog/mvp_ternary_classifier_check.t27", "t27b": "pass"}, {"path": "specs/port/fpga/verilog/mvp_ternary_classifier_top.t27", "t27b": "pass"}, {"path": "specs/port/fpga/verilog/phi_weights_jtag.t27", "t27b": "pass"}, {"path": "specs/port/fpga/verilog/ternary_mac_demo_top.t27", "t27b": "pass"}, @@ -600,6 +651,7 @@ {"path": "specs/port/fpga/verilog/ternary_node_jtag.t27", "t27b": "pass"}, {"path": "specs/port/fpga/vivado/blinky.t27", "t27b": "pass"}, {"path": "specs/port/fpga/vivado/gf16_matmul4x4.t27", "t27b": "pass"}, + {"path": "specs/port/fpga/vivado/gf16_matmul4x4_top.t27", "t27b": "pass"}, {"path": "specs/port/fpga/vivado/gf16_top.t27", "t27b": "pass"}, {"path": "specs/port/fpga/vivado/gf16_uart_sim_bench.t27", "t27b": "pass"}, {"path": "specs/port/fpga/vivado/uart_detect_top.t27", "t27b": "pass"}, @@ -611,6 +663,7 @@ {"path": "specs/port/scripts/check-pagination-truncation.t27", "t27b": "pass"}, {"path": "specs/port/scripts/check_first_party_doc_language.t27", "t27b": "pass"}, {"path": "specs/port/scripts/ci/loop-tools-tracked.t27", "t27b": "pass"}, + {"path": "specs/port/scripts/ci/rebuild_evidence.t27", "t27b": "pass"}, {"path": "specs/port/scripts/ci/rings_matrix.t27", "t27b": "pass"}, {"path": "specs/port/scripts/fpga-build.t27", "t27b": "pass"}, {"path": "specs/port/scripts/fpga/flash.t27", "t27b": "pass"}, @@ -625,9 +678,14 @@ {"path": "specs/port/scripts/gen_w320.t27", "t27b": "pass"}, {"path": "specs/port/scripts/gen_w322.t27", "t27b": "pass"}, {"path": "specs/port/scripts/gen_w326.t27", "t27b": "pass"}, + {"path": "specs/port/scripts/gen_w328.t27", "t27b": "pass"}, {"path": "specs/port/scripts/gen_w363.t27", "t27b": "pass"}, {"path": "specs/port/scripts/gen_w365.t27", "t27b": "pass"}, {"path": "specs/port/scripts/gen_w368.t27", "t27b": "pass"}, + {"path": "specs/port/scripts/gen_w369.t27", "t27b": "blocked", "blocker": "ExprReturn(frame address)", "reason": "unimplemented"}, + {"path": "specs/port/scripts/gen_w370.t27", "t27b": "pass"}, + {"path": "specs/port/scripts/gen_w374.t27", "t27b": "pass"}, + {"path": "specs/port/scripts/gen_w375.t27", "t27b": "blocked", "blocker": "ExprReturn(frame address)", "reason": "unimplemented"}, {"path": "specs/port/scripts/gen_w377.t27", "t27b": "pass"}, {"path": "specs/port/scripts/gen_w378.t27", "t27b": "pass"}, {"path": "specs/port/scripts/gen_w379.t27", "t27b": "pass"}, @@ -640,6 +698,7 @@ {"path": "specs/port/scripts/gen_w385.t27", "t27b": "pass"}, {"path": "specs/port/scripts/gen_w386.t27", "t27b": "pass"}, {"path": "specs/port/scripts/gen_w387.t27", "t27b": "pass"}, + {"path": "specs/port/scripts/gen_w388.t27", "t27b": "pass"}, {"path": "specs/port/scripts/gen_w388_lean.t27", "t27b": "pass"}, {"path": "specs/port/scripts/gen_w391.t27", "t27b": "pass"}, {"path": "specs/port/scripts/gen_w391_lean.t27", "t27b": "pass"}, @@ -670,16 +729,32 @@ {"path": "specs/port/scripts/gen_w655.t27", "t27b": "pass"}, {"path": "specs/port/scripts/gen_w656.t27", "t27b": "pass"}, {"path": "specs/port/scripts/gen_w657.t27", "t27b": "pass"}, + {"path": "specs/port/scripts/gen_w660.t27", "t27b": "pass"}, {"path": "specs/port/scripts/gen_w662.t27", "t27b": "pass"}, {"path": "specs/port/scripts/gen_w669.t27", "t27b": "pass"}, + {"path": "specs/port/scripts/gen_w670.t27", "t27b": "pass"}, + {"path": "specs/port/scripts/gen_w672.t27", "t27b": "pass"}, + {"path": "specs/port/scripts/gen_w698.t27", "t27b": "blocked", "blocker": "ConstDecl", "reason": "unimplemented"}, + {"path": "specs/port/scripts/gen_w709.t27", "t27b": "blocked", "blocker": "ConstDecl", "reason": "unimplemented"}, + {"path": "specs/port/scripts/gen_w713.t27", "t27b": "blocked", "blocker": "ConstDecl", "reason": "unimplemented"}, + {"path": "specs/port/scripts/gen_w716.t27", "t27b": "blocked", "blocker": "ConstDecl", "reason": "unimplemented"}, + {"path": "specs/port/scripts/gen_w718.t27", "t27b": "blocked", "blocker": "ConstDecl", "reason": "unimplemented"}, + {"path": "specs/port/scripts/gen_w721.t27", "t27b": "blocked", "blocker": "ConstDecl", "reason": "unimplemented"}, + {"path": "specs/port/scripts/gen_w728.t27", "t27b": "blocked", "blocker": "ConstDecl", "reason": "unimplemented"}, + {"path": "specs/port/scripts/gen_w729.t27", "t27b": "blocked", "blocker": "ConstDecl", "reason": "unimplemented"}, + {"path": "specs/port/scripts/gen_w731.t27", "t27b": "pass"}, + {"path": "specs/port/scripts/gen_w732.t27", "t27b": "blocked", "blocker": "ConstDecl", "reason": "unimplemented"}, {"path": "specs/port/scripts/gen_w_blocks.t27", "t27b": "pass"}, + {"path": "specs/port/scripts/gen_w_tree.t27", "t27b": "pass"}, {"path": "specs/port/scripts/generate_episodes.t27", "t27b": "pass"}, {"path": "specs/port/scripts/git_commands_tasks_1_4.t27", "t27b": "pass"}, {"path": "specs/port/scripts/install-constitutional-hook.t27", "t27b": "pass"}, + {"path": "specs/port/scripts/install-git-hooks.t27", "t27b": "pass"}, {"path": "specs/port/scripts/lee_monte_carlo_baseline.t27", "t27b": "pass"}, {"path": "specs/port/scripts/mcp-wrapper.t27", "t27b": "pass"}, {"path": "specs/port/scripts/print_pellis_seal_decimal.t27", "t27b": "pass"}, {"path": "specs/port/scripts/pysr_trinity_blind_test_v2.t27", "t27b": "pass"}, + {"path": "specs/port/scripts/repair/unscar_4639b38cd.t27", "t27b": "blocked", "blocker": "ExprReturn(frame address)", "reason": "unimplemented"}, {"path": "specs/port/scripts/reseal-apply.t27", "t27b": "pass"}, {"path": "specs/port/scripts/reseal-check.t27", "t27b": "pass"}, {"path": "specs/port/scripts/run_v51_multiple.t27", "t27b": "pass"}, @@ -704,23 +779,30 @@ {"path": "specs/port/tools/check_duplicate_declarations.t27", "t27b": "pass"}, {"path": "specs/port/tools/check_fix_carries_source.t27", "t27b": "pass"}, {"path": "specs/port/tools/ci/check_specs_still_parse.t27", "t27b": "pass"}, + {"path": "specs/port/tools/fuzz_trainer.t27", "t27b": "blocked", "blocker": "type mismatch", "reason": "unimplemented"}, {"path": "specs/port/tools/jtag/tdo_verdict.t27", "t27b": "pass"}, {"path": "specs/port/tools/oracle/run.t27", "t27b": "pass"}, + {"path": "specs/port/tools/queen/needs_boundary.t27", "t27b": "pass"}, + {"path": "specs/port/tools/queen/watchdog.t27", "t27b": "pass"}, {"path": "specs/port/tools/run_conformance_vvp.t27", "t27b": "pass"}, {"path": "specs/port/tools/ternary_model.t27", "t27b": "pass"}, {"path": "specs/port/tools/toolbelt.t27", "t27b": "pass"}, {"path": "specs/port/tools/verify_emit_bitexact.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/fly-vivado/verilog/trinity_qmtech.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/gf16-pipelined/gf16_dot4_p.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/gft/tb32.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-regress/regress-fabric-bufg/fabric_bufg.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/DSP48E1_mock.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/blink_correct.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/blink_fast.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/blink_fixed.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/blink_internal.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/blink_minimal.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/blink_r23.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/blink_simple.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/blink_slow.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/blink_test.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/blink_test_top.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/blink_working.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/clk_test.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/clock_test.t27", "t27b": "pass"}, @@ -747,41 +829,95 @@ {"path": "specs/port/trinity/fpga/openxc7-synth/d_static_one.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/d_y0_test.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/definitive_diagnostic_inv.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/dsp_direct_test.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/dsp_mul.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/gf16_add.t27", "t27b": "blocked", "blocker": "ExprTuple", "reason": "unimplemented"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/gf16_add_top.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/gf16_adder.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/gf16_alu.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/hslm_dynamic_top.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/led_both_test.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/led_d5_test.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/led_d6_test.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/led_diagnostic.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/led_off_test.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/led_on.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/led_on_test.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/led_simple_test.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/led_test_inv.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/multi_led_test.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/quantum_bridge.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/quantum_bridge_top.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/quantum_bridge_zero.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/riscv_blink.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/singularity_d6_top.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/symbiflow_blink.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/ternary_activation.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/ternary_attention.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/ternary_matvec.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/ternary_matvec_243x729_top.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/tf3_dot.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/trinity_attn_block.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/trinity_block.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/trinity_block_step1_top.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/trinity_block_step2_top.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/trinity_os/trinity_interrupt.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/trinity_os/trinity_os_core.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/trinity_os/trinity_os_top.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/trinity_top.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/trinity_v3_riscv.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/uart_bridge.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/uart_bridge_v2.t27", "t27b": "blocked", "blocker": "StmtAssign", "reason": "unimplemented"}, {"path": "specs/port/trinity/fpga/openxc7-synth/uart_echo.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/vsa_coproc_d6_top.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/vsa_quantum_top.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/rtl/fpga_test_reporter.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/uart_loopback.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/uart_loopback_core.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/hardware/rtl-root/d6_inv_test.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/hardware/rtl-root/d6_test.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/hardware/rtl-root/d_bank13_test.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/hardware/rtl-root/d_direct.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/hardware/rtl-root/d_full_path.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/hardware/rtl-root/d_lut_only.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/hardware/rtl-root/d_simple_led.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/hardware/rtl-root/d_static_on.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/hardware/rtl-root/d_static_one.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/hardware/rtl-root/led_off_test.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/api/depin_rest.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/background_agent/main.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/brain/angular_gyrus.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/brain/fusiform_gyrus.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/brain/orbitofrontal_value.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/brain/weber_tuning.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/bsd/verify_lmfdb.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/cli/health_check.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/cli/railway_create_full.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/cli/railway_create_project.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/cli/railway_deployment_create.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/cli/railway_null_startcmd.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/cli/tri_record.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/depin/swarm_watch.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/firebird/governance_temp.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/phi-engine/quantum/qutritizer.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/phi-engine/runtime/simd_ternary.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/phi-engine/scheduler/phi_spiral.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, + {"path": "specs/port/trinity/src/phi-engine/tvc/tvc_phi_integration.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/phi-engine/uroboros_final.t27", "t27b": "blocked", "blocker": "ExprCall(std.*)", "reason": "unimplemented"}, {"path": "specs/port/trinity/src/phi-engine/vibeec_original/bogatyrs_registry.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/phi-engine/vibeec_original/bogatyrs_spec_structure.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/phi-engine/vibeec_original/bogatyrs_yaml_syntax.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/phi-engine/vibeec_original/tnc.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/registry/export_cli.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/server_main.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/storm/experience_engine.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri-api/claude_md.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/tri/author_attribution_guard.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/tri/compat/managed_list.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/tri/emu/tri_asm_base.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/tri/faculty_types.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/tri/farm_accounts.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/tri/farm_telegram.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/gen_aabb.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/gen_arithmetic.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/gen_assertion.t27", "t27b": "pass"}, @@ -800,6 +936,7 @@ {"path": "specs/port/trinity/src/tri/gen_geo_hash2d.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/gen_gradient.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/gen_gradient_descent.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/tri/gen_hash_table.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/gen_hazard_pointers.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/gen_image.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/gen_index.t27", "t27b": "pass"}, @@ -808,6 +945,7 @@ {"path": "specs/port/trinity/src/tri/gen_leb128.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/gen_linear_regression.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/gen_lockfree_stack.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/tri/gen_lru_cache_impl.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/gen_matrix3x3.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/gen_mock.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/gen_neuron.t27", "t27b": "pass"}, @@ -830,6 +968,7 @@ {"path": "specs/port/trinity/src/tri/gen_skiplist_impl.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/gen_snapshot.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/gen_softmax.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/tri/gen_splay_tree.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/gen_temp_file.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/gen_test_runner.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/gen_transaction.t27", "t27b": "pass"}, @@ -838,27 +977,67 @@ {"path": "specs/port/trinity/src/tri/gen_wal.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/gen_websocket.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/gen_work_stealing.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/tri/gen_xor_cipher.t27", "t27b": "blocked", "blocker": "ExprReturn(frame address)", "reason": "unimplemented"}, + {"path": "specs/port/trinity/src/tri/math/parameter_golf_config.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/math/vocab_audit.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/orchestrator_bench.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/tri/railway.t27", "t27b": "blocked", "blocker": "StmtAssign(undeclared)", "reason": "unimplemented"}, + {"path": "specs/port/trinity/src/tri/sacred_constants.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/string_dualities.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/string_spectrum.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/tri/tri_battle.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/tri/tri_farm_deploy.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/tri/tri_hardware_deploy.t27", "t27b": "blocked", "blocker": "ExprReturn(undefined)", "reason": "unimplemented"}, + {"path": "specs/port/trinity/src/tri/tri_init.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/tri/tri_spec_improve.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/tri/zenodo_v17_environmental.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/tri27/emu/tri_loader.t27", "t27b": "pass_vacuous"}, + {"path": "specs/port/trinity/src/tri_lang/content_registry.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/vibeec/create_test_mistral.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/vibeec/flash_benchmark.t27", "t27b": "blocked", "blocker": "ExprCall(@sin)", "reason": "unimplemented"}, {"path": "specs/port/trinity/src/vibeec/gen_cmd_minimal.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/vibeec/gen_cmd_simple.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/vibeec/p2p_module.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/vibeec/soul_collector.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/vibeec/ssa_regalloc.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/vibeec/tnc.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/vibeec/trinity_tokenizer.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/vibeec/validation_engine.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/wasm_stubs/auto_shard_stub.t27", "t27b": "pass"}, + {"path": "specs/port/trios-railway/bin/seed-agent/src/main.t27", "t27b": "pass"}, + {"path": "specs/port/trios-railway/crates/trios-igla-race/src/asha.t27", "t27b": "pass"}, + {"path": "specs/port/trios-railway/crates/trios-igla-race/src/ema.t27", "t27b": "pass"}, + {"path": "specs/port/trios-railway/crates/trios-igla-race/src/invariants.t27", "t27b": "pass"}, + {"path": "specs/port/trios-railway/crates/trios-igla-race/src/race.t27", "t27b": "pass"}, + {"path": "specs/port/trios-railway/crates/trios-igla-race/src/sampler.t27", "t27b": "pass"}, + {"path": "specs/port/trios-railway/crates/trios-railway-audit/src/event.t27", "t27b": "pass"}, + {"path": "specs/port/trios-railway/crates/trios-railway-core/src/hash.t27", "t27b": "pass"}, + {"path": "specs/port/trios-railway/crates/trios-railway-core/src/mutations.t27", "t27b": "pass"}, + {"path": "specs/port/trios-railway/crates/trios-railway-core/src/transport.t27", "t27b": "pass"}, + {"path": "specs/port/trios-railway/crates/trios-railway-experience/src/lib.t27", "t27b": "pass"}, + {"path": "specs/port/trios-railway/crates/trios-railway-mcp/src/main.t27", "t27b": "pass"}, + {"path": "specs/port/trios-railway/crates/trios-railway-smoke/src/lib.t27", "t27b": "pass"}, + {"path": "specs/port/trios/apps/trios-macos/rings/RUST-03/clade-rollback/src/main.t27", "t27b": "pass"}, {"path": "specs/port/trios/apps/trios-macos/rings/RUST-04/clade-improve/src/oversight.t27", "t27b": "pass"}, + {"path": "specs/port/trios/apps/trios-macos/rings/RUST-13/clade-meshd/src/key_store.t27", "t27b": "pass"}, {"path": "specs/port/trios/apps/trios-macos/rings/RUST-13/clade-meshd/src/transport.t27", "t27b": "pass"}, {"path": "specs/port/trios/apps/trios-macos/rings/RUST-13/trios-mesh/build.t27", "t27b": "pass"}, {"path": "specs/port/trios/apps/trios-macos/rings/RUST-13/trios-mesh/src/bin/smoke_m1.t27", "t27b": "pass"}, {"path": "specs/port/trios/apps/trios-macos/rings/RUST-13/trios-mesh/tools/ad9361_config.t27", "t27b": "pass"}, + {"path": "specs/port/trios/common/newton_sqrt.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/tri-cli/src/main.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/tri-tunnel/src/main.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trinity_loss/src/lib.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-agents/src/lib.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-bridge/src/agents.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-bridge/src/github.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-bridge/src/main.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-bridge/src/relay.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-bridge/src/server.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-chat/common/helpers.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-00/src/lib.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-01/src/key_package_expiry_guard.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-02/src/double_ratchet_sending_chain_rotation_guard.t27", "t27b": "blocked", "blocker": "type mismatch", "reason": "unimplemented"}, {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-02/src/epoch_rollover_wraparound_guard.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-02/src/skipped_message_key_gap_bound_guard.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-03/src/confirmation_tag_chain.t27", "t27b": "pass"}, @@ -903,9 +1082,12 @@ {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_key_derivation_domain_separation_guard.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_length_class_transition_uniformity_guard.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_length_distribution_guard.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_metadata_leak_guard.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/padding_oracle_timing_sidechannel.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/safety_number.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-04/src/wire_frame_integrity_guard.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-05/src/envelope_size_distribution_uniformity.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.t27", "t27b": "blocked", "blocker": "ExprArrayLiteral", "reason": "unimplemented"}, {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-07/src/blind_signature_sender_token.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-07/src/cover_decoy_ratio_governor.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-07/src/cover_traffic_burst_detection.t27", "t27b": "pass"}, @@ -937,28 +1119,44 @@ {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-07/src/network_flow_direction_uniformity_guard.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-07/src/observer_fingerprint_rotation_guard.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-07/src/ratchet_tree_extension_tampering.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-07/src/replay_detection_window_guard.t27", "t27b": "blocked", "blocker": "ExprArrayLiteral(repeat count)", "reason": "unimplemented"}, {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-07/src/traffic_burst_pattern_uniformity_guard.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-07/src/traffic_shaping_burst_uniformity_guard.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-07/src/traffic_volume_correlation_guard.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-07/src/wire_timing_anomaly_guard.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-chat/rings/CR-CHAT-LAWS/src/lib.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-claude/src/process.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-cli/src/cmd/agent.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-cli/src/cmd/commit.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-cli/src/cmd/gates.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-cli/src/cmd/issue.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-cli/src/cmd/leaderboard.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-cli/src/cmd/race.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-cli/src/cmd/report.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-cli/src/cmd/roster.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-cli/src/cmd/run.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-cli/src/cmd/status.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-cli/src/cmd/submit.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-cli/src/cmd/sweep.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-cli/src/db.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-cli/src/gh.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-cli/src/lock.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-cli/src/main.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-cli/src/metrics.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-cli/src/table.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-crypto/build.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-crypto/src/lib.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-data/src/lib.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-doctor/rings/BRONZE-RING-DR/src/main.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-doctor/rings/SILVER-RING-DR-00/src/lib.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-doctor/src/doctor_loop.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-doctor/src/main.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-ext/rings/BRONZE-RING-EXT/xtask/src/main.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-ext/rings/SILVER-RING-EXT-00/src/lib.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-ext/xtask/src/main.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-fpga/src/flash.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-fpga/src/xdc.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-git/src/branch.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-git/src/commit.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-git/src/log.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-git/src/stash.t27", "t27b": "pass"}, @@ -966,42 +1164,76 @@ {"path": "specs/port/trios/crates/trios-golden-float/build.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-hdc/build.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-hdc/rings/HD-01/src/lib.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-hdc/src/lib.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-host-cdp/rings/HC-01/src/lib.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-igla-race/src/lessons.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-igla-race/src/main.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-igla-trainer/src/jepa_runner.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-igla-trainer/src/main.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-ipc/src/validate.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-mcp/rings/BR-XTASK/src/main.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-mcp/rings/SR-00/src/screenshot.t27", "t27b": "blocked", "blocker": "ExprCall(method)", "reason": "unimplemented"}, + {"path": "specs/port/trios/crates/trios-mcp/rings/SR-01/src/audits.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-mcp/rings/SR-01/src/audits_new.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-mcp/rings/SR-01/src/lighthouse.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-mcp/rings/SR-02/src/discovery.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-mcp/rings/SR-02/src/lib.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-mcp/src/main.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-mesh-node/src/crypto.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-mesh/src/identity.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-mesh/src/packet.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-model/src/lib.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-openclaw/rings/OC-01/src/lib.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-phd/src/bin/migrate_rag.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-phi-schedule/src/lib.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-physics/build.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-physics/rings/PH-01/src/lib.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-physics/src/lib.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-rainbow-bridge/src/bridge.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-rainbow-bridge/src/channel.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-rainbow-bridge/src/funnel_client.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-rainbow-bridge/src/lamport.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-rainbow-bridge/src/subscriber.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-sacred/build.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-sacred/rings/SC-00/src/lib.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-sacred/rings/SC-01/src/lib.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-sacred/src/lib.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-scarab-types/rings/SR-00/src/lib.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-scarab-types/rings/SR-01/src/lib.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-scarab-types/rings/SR-02/src/lib.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-scarab-types/rings/SR-03/src/lib.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-scarab-types/rings/SR-04/src/lib.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-server/src/main.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-server/src/mcp.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-server/src/mcp_endpoints/tasks.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-server/src/rainbow_routes.t27", "t27b": "blocked", "blocker": "ExprIdentifier(undeclared)", "reason": "unimplemented"}, {"path": "specs/port/trios/crates/trios-server/src/tools/git.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-server/src/tools/git_extended.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-server/src/tools/gitbutler.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-server/src/tools/golden_float.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-server/src/tools/mod.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-server/src/tools/trios-crypto.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-server/src/tools/trios_kg.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-server/xtask/src/verify_trios_server.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-store/rings/ST-00/src/lib.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-ternary/rings/TR-01/src/lib.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-ternary/src/lib.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-train-cpu/src/bin/gradient.t27", "t27b": "blocked", "blocker": "ExprCall(@exp)", "reason": "unimplemented"}, + {"path": "specs/port/trios/crates/trios-train-cpu/src/bin/main.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-train-cpu/src/bin/tjepa_modules/encoder.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-train-cpu/src/bin/train_state.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-trainer/src/bin/trios-train.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-trainer/src/config.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-trainer/src/data.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-trainer/src/ledger.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-trainer/src/train_loop.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-trainer/src/validation.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-trinity-brain/src/phi.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-trinity-init/src/lib.t27", "t27b": "pass"}, + {"path": "specs/port/trios/crates/trios-ui/rings/UR-03/src/lib.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-vsa/rings/VS-01/src/lib.t27", "t27b": "pass"}, + {"path": "specs/port/trios/download_fineweb.t27", "t27b": "pass"}, + {"path": "specs/port/trios/tools/acm_ae_check/src/main.t27", "t27b": "pass"}, {"path": "specs/port/trios/validate_bpb.t27", "t27b": "pass"}, {"path": "specs/providers/catalog.t27", "t27b": "pass"}, {"path": "specs/providers/gonka/deepseek-v4-flash-0731.t27", "t27b": "pass"}, @@ -1031,12 +1263,15 @@ {"path": "specs/queen/hive.t27", "t27b": "pass"}, {"path": "specs/queen/holds.t27", "t27b": "pass"}, {"path": "specs/queen/jobs.t27", "t27b": "pass"}, + {"path": "specs/queen/key_failover.t27", "t27b": "pass"}, {"path": "specs/queen/keyed.t27", "t27b": "pass"}, + {"path": "specs/queen/keyed_batch.t27", "t27b": "pass"}, {"path": "specs/queen/keyed_guard.t27", "t27b": "pass"}, {"path": "specs/queen/merger_gate.t27", "t27b": "pass"}, {"path": "specs/queen/netlink.t27", "t27b": "pass"}, {"path": "specs/queen/priority.t27", "t27b": "pass"}, {"path": "specs/queen/replay/actors_decisions.t27", "t27b": "pass"}, + {"path": "specs/queen/replay/golden_chain_history.t27", "t27b": "pass"}, {"path": "specs/queen/replay/reviewer_decisions.t27", "t27b": "pass"}, {"path": "specs/queen/replay/telemetry_decisions.t27", "t27b": "pass"}, {"path": "specs/queen/review_lanes.t27", "t27b": "pass"}, @@ -1044,6 +1279,7 @@ {"path": "specs/queen/review_valve.t27", "t27b": "pass"}, {"path": "specs/queen/reviewer.t27", "t27b": "pass"}, {"path": "specs/queen/reviewer_sizing.t27", "t27b": "pass"}, + {"path": "specs/queen/self_health.t27", "t27b": "pass"}, {"path": "specs/queen/shaping.t27", "t27b": "pass"}, {"path": "specs/queen/simulation.t27", "t27b": "pass"}, {"path": "specs/queen/task_analysis.t27", "t27b": "pass"}, @@ -1058,10 +1294,12 @@ {"path": "specs/sandbox/https_enforce.t27", "t27b": "pass"}, {"path": "specs/sandbox/orphan_detection.t27", "t27b": "pass"}, {"path": "specs/sandbox/session_timeout.t27", "t27b": "pass"}, + {"path": "specs/skills/t27-issue-shape.t27", "t27b": "pass"}, {"path": "specs/skills/t27-measure-corpus.t27", "t27b": "pass"}, {"path": "specs/skills/t27-phi-loop.t27", "t27b": "pass"}, {"path": "specs/skills/t27-providers-steward.t27", "t27b": "pass"}, {"path": "specs/skills/t27-self-host.t27", "t27b": "pass"}, + {"path": "specs/skills/t27-t27f.t27", "t27b": "pass"}, {"path": "specs/skills/t27-tri-pipeline.t27", "t27b": "pass"}, {"path": "specs/skills/t27-tri.t27", "t27b": "pass"}, {"path": "specs/skills/t27-wave-audit.t27", "t27b": "pass"}, @@ -1088,6 +1326,20 @@ {"path": "specs/skills/trinity-vsa-verify.t27", "t27b": "pass"}, {"path": "specs/skills/trinity-wave.t27", "t27b": "pass"}, {"path": "specs/system/unified-agent-operations.t27", "t27b": "pass"}, + {"path": "specs/t27f/deck.t27", "t27b": "pass"}, + {"path": "specs/t27f/quest.t27", "t27b": "pass"}, + {"path": "specs/t27f/reel.t27", "t27b": "pass"}, + {"path": "specs/t27f/reel_gf16_nmse.t27", "t27b": "pass"}, + {"path": "specs/t27f/reel_t27_basics.t27", "t27b": "pass"}, + {"path": "specs/t27f/spec_graph.t27", "t27b": "pass"}, + {"path": "specs/t27f/spec_graph_export.t27", "t27b": "pass"}, + {"path": "specs/t27f/spec_graph_view.t27", "t27b": "pass"}, + {"path": "specs/t27f/topic_engine.t27", "t27b": "pass"}, + {"path": "specs/t27f/topic_reel.t27", "t27b": "pass"}, + {"path": "specs/t27f/ui_plan.t27", "t27b": "pass"}, + {"path": "specs/t27mcp/check_hints.t27", "t27b": "pass"}, + {"path": "specs/t27mcp/examples.t27", "t27b": "pass"}, + {"path": "specs/t27mcp/spec_brief.t27", "t27b": "pass"}, {"path": "specs/ternary/activation_quantizer.t27", "t27b": "pass"}, {"path": "specs/ternary/bitnet_layer.t27", "t27b": "pass"}, {"path": "specs/ternary/bitnet_majority.t27", "t27b": "pass"}, @@ -1165,8 +1417,11 @@ {"path": "specs/tools/mcp/trinity.t27", "t27b": "pass"}, {"path": "specs/tools/mcp/zig-docs.t27", "t27b": "pass"}, {"path": "specs/tools/mcp_protocol.t27", "t27b": "pass"}, + {"path": "specs/tools/t27o/golden.t27", "t27b": "pass"}, + {"path": "specs/tools/t27o/install.t27", "t27b": "pass"}, {"path": "specs/tools/t27o/rust_convert.t27", "t27b": "pass"}, {"path": "specs/tools/t27o/rust_std.t27", "t27b": "pass"}, + {"path": "specs/tools/t27o/service.t27", "t27b": "pass"}, {"path": "specs/tools/tri/abandoned.t27", "t27b": "pass"}, {"path": "specs/tools/tri/cell.t27", "t27b": "pass"}, {"path": "specs/tools/tri/census.t27", "t27b": "pass"}, @@ -1493,6 +1748,14 @@ {"path": "specs/trinity/capabilities/web.site.t27", "t27b": "pass"}, {"path": "specs/trinity/compiler_matrix.t27", "t27b": "pass"}, {"path": "specs/trinity/project.t27", "t27b": "pass"}, + {"path": "specs/tutorial/01_values_and_types.t27", "t27b": "pass"}, + {"path": "specs/tutorial/02_functions.t27", "t27b": "pass"}, + {"path": "specs/tutorial/03_operators.t27", "t27b": "pass"}, + {"path": "specs/tutorial/04_control_flow.t27", "t27b": "pass"}, + {"path": "specs/tutorial/05_widths_and_casts.t27", "t27b": "pass"}, + {"path": "specs/tutorial/06_structs_enums_switch.t27", "t27b": "pass"}, + {"path": "specs/tutorial/07_tests_invariants_benches.t27", "t27b": "pass"}, + {"path": "specs/tutorial/08_modules_and_arrays.t27", "t27b": "pass"}, {"path": "specs/ui/queen_evidence.t27", "t27b": "pass"}, {"path": "specs/vault/audit.t27", "t27b": "pass"}, {"path": "specs/vault/merge.t27", "t27b": "pass"},