diff --git a/docs/now/2026-10-05-t27b-bless.md b/docs/now/2026-10-05-t27b-bless.md new file mode 100644 index 0000000000..cc5e9d1307 --- /dev/null +++ b/docs/now/2026-10-05-t27b-bless.md @@ -0,0 +1,7 @@ +# NOW -- t27b ledger re-blessed from lab run 26c447ad8 (2026-10-05) + +## t27b expectations ledger follows the lab (Closes #6320) + +- `tri t27b ratchet --bless` rewrote docs/reports/t27b_expectations.json from lab run 26c447ad8 (master): pass 307, pass_vacuous 271, not_pass 142, max_not_pass 142. +- Before: ledger at 88862a949, ratchet red with UNEXPECTED PASS 452, UNLISTED 12, MOVED 79, UNEXPECTED FAILURE 0. +- After: `tri t27b ratchet` is green against the same run, with 0 findings. diff --git a/docs/reports/t27b_expectations.json b/docs/reports/t27b_expectations.json index 500b8a7f03..f11bb599e3 100644 --- a/docs/reports/t27b_expectations.json +++ b/docs/reports/t27b_expectations.json @@ -2,9 +2,9 @@ "schema_version": 1, "generated_by": "tri t27b ratchet --bless (scripts/tri_loop/t27b.py), #6115", "source": { - "commit": "88862a9499d239074622533ade539852fcba285b", + "commit": "26c447ad86971e288b8595f660a7ed8a8ef10243", "ref": "master", - "finished": "2026-10-04T18:32:47Z", + "finished": "2026-10-05T00:40:42Z", "asserts_counted": true }, "reasons": { @@ -12,44 +12,44 @@ "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": 594, + "max_not_pass": 142, "counts": { - "pass": 84, - "pass_vacuous": 30, - "not_pass": 594 + "pass": 307, + "pass_vacuous": 271, + "not_pass": 142 }, "entries": [ {"path": "specs/a/b_c.t27", "t27b": "blocked", "blocker": "ExprLiteral statement", "reason": "unimplemented"}, {"path": "specs/a_b/c.t27", "t27b": "blocked", "blocker": "ExprLiteral statement", "reason": "unimplemented"}, - {"path": "specs/agents/a.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/agents/b.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/agents/c.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/agents/d.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/agents/e.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/agents/f.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/agents/g.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/agents/h.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/agents/i.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/agents/j.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/agents/k.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/agents/l.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/agents/m.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/agents/n.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/agents/o.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/agents/p.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/agents/q.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/agents/r.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/agents/s.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/agents/t.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/agents/ti.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/agents/u.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/agents/v.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/agents/w.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/agents/x.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/agents/y.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/agents/z.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/api/tri_api_session.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/api/tri_net_api.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, + {"path": "specs/agents/a.t27", "t27b": "pass_vacuous"}, + {"path": "specs/agents/b.t27", "t27b": "pass_vacuous"}, + {"path": "specs/agents/c.t27", "t27b": "pass_vacuous"}, + {"path": "specs/agents/d.t27", "t27b": "pass_vacuous"}, + {"path": "specs/agents/e.t27", "t27b": "pass_vacuous"}, + {"path": "specs/agents/f.t27", "t27b": "pass_vacuous"}, + {"path": "specs/agents/g.t27", "t27b": "pass_vacuous"}, + {"path": "specs/agents/h.t27", "t27b": "pass_vacuous"}, + {"path": "specs/agents/i.t27", "t27b": "pass_vacuous"}, + {"path": "specs/agents/j.t27", "t27b": "pass_vacuous"}, + {"path": "specs/agents/k.t27", "t27b": "pass_vacuous"}, + {"path": "specs/agents/l.t27", "t27b": "pass_vacuous"}, + {"path": "specs/agents/m.t27", "t27b": "pass_vacuous"}, + {"path": "specs/agents/n.t27", "t27b": "pass_vacuous"}, + {"path": "specs/agents/o.t27", "t27b": "pass_vacuous"}, + {"path": "specs/agents/p.t27", "t27b": "pass_vacuous"}, + {"path": "specs/agents/q.t27", "t27b": "pass_vacuous"}, + {"path": "specs/agents/r.t27", "t27b": "pass_vacuous"}, + {"path": "specs/agents/s.t27", "t27b": "pass_vacuous"}, + {"path": "specs/agents/t.t27", "t27b": "pass_vacuous"}, + {"path": "specs/agents/ti.t27", "t27b": "pass_vacuous"}, + {"path": "specs/agents/u.t27", "t27b": "pass_vacuous"}, + {"path": "specs/agents/v.t27", "t27b": "pass_vacuous"}, + {"path": "specs/agents/w.t27", "t27b": "pass_vacuous"}, + {"path": "specs/agents/x.t27", "t27b": "pass_vacuous"}, + {"path": "specs/agents/y.t27", "t27b": "pass_vacuous"}, + {"path": "specs/agents/z.t27", "t27b": "pass_vacuous"}, + {"path": "specs/api/tri_api_session.t27", "t27b": "blocked", "blocker": "ExprLiteral(negative literal)", "reason": "unimplemented"}, + {"path": "specs/api/tri_net_api.t27", "t27b": "pass"}, {"path": "specs/automation/agent-conversations.t27", "t27b": "pass"}, {"path": "specs/automation/agent-provider-chain.t27", "t27b": "pass"}, {"path": "specs/automation/ball-board.t27", "t27b": "pass"}, @@ -66,8 +66,8 @@ {"path": "specs/automation/engage-desk.t27", "t27b": "pass"}, {"path": "specs/automation/hive-contributor-keys.t27", "t27b": "pass"}, {"path": "specs/automation/inngest-functions-status.t27", "t27b": "pass"}, - {"path": "specs/automation/inngest-probe-suite.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/automation/inngest-queen-scheduler.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, + {"path": "specs/automation/inngest-probe-suite.t27", "t27b": "pass"}, + {"path": "specs/automation/inngest-queen-scheduler.t27", "t27b": "pass_vacuous"}, {"path": "specs/automation/kanban-card-chat.t27", "t27b": "pass"}, {"path": "specs/automation/leela-agent-link.t27", "t27b": "pass"}, {"path": "specs/automation/mail-push.t27", "t27b": "pass"}, @@ -78,375 +78,387 @@ {"path": "specs/automation/social-api.t27", "t27b": "pass"}, {"path": "specs/automation/split-reel.t27", "t27b": "pass"}, {"path": "specs/automation/wrapup-auto.t27", "t27b": "blocked", "blocker": "StmtAssign", "reason": "unimplemented"}, - {"path": "specs/base/debounce.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/base/ring_32.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/base/seed.t27", "t27b": "blocked", "blocker": "EnumDecl", "reason": "unimplemented"}, + {"path": "specs/base/debounce.t27", "t27b": "pass"}, + {"path": "specs/base/ring_32.t27", "t27b": "pass"}, + {"path": "specs/base/seed.t27", "t27b": "blocked", "blocker": "ExprLiteral(negative literal)", "reason": "unimplemented"}, {"path": "specs/benchmarks/bench_main.t27", "t27b": "pass_vacuous"}, {"path": "specs/benchmarks/bench_nn.t27", "t27b": "blocked", "blocker": "type f32", "reason": "unimplemented"}, - {"path": "specs/benchmarks/gf16_bfloat16_nmse.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, + {"path": "specs/benchmarks/gf16_bfloat16_nmse.t27", "t27b": "pass"}, {"path": "specs/benchmarks/ternary_vs_binary.t27", "t27b": "blocked", "blocker": "StmtExpr", "reason": "unimplemented"}, {"path": "specs/boards/arty_a7.t27", "t27b": "blocked", "blocker": "ConstDecl(str field)", "reason": "unimplemented"}, - {"path": "specs/boards/wukong_v1.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, + {"path": "specs/boards/wukong_v1.t27", "t27b": "pass"}, {"path": "specs/boards/xc7a100t_full.t27", "t27b": "blocked", "blocker": "ConstDecl(str field)", "reason": "unimplemented"}, - {"path": "specs/boards/xc7a100t_minimal.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, + {"path": "specs/boards/xc7a100t_minimal.t27", "t27b": "blocked", "blocker": "ConstDecl(str field)", "reason": "unimplemented"}, {"path": "specs/brain/bus.t27", "t27b": "blocked", "blocker": "ExprUnary(try) statement", "reason": "unimplemented"}, {"path": "specs/brain/cognitive_loop.t27", "t27b": "blocked", "blocker": "ExprUnary(try) statement", "reason": "unimplemented"}, - {"path": "specs/brain/phi_timing.t27", "t27b": "blocked", "blocker": "EnumDecl", "reason": "unimplemented"}, - {"path": "specs/brain/unified_state.t27", "t27b": "blocked", "blocker": "EnumDecl", "reason": "unimplemented"}, - {"path": "specs/catalog/discovery.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, + {"path": "specs/brain/phi_timing.t27", "t27b": "blocked", "blocker": "ExprSwitch", "reason": "unimplemented"}, + {"path": "specs/brain/unified_state.t27", "t27b": "blocked", "blocker": "type f32", "reason": "unimplemented"}, + {"path": "specs/catalog/discovery.t27", "t27b": "pass"}, {"path": "specs/compiler/c_array_repeat_wrapper.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, {"path": "specs/compiler/meta_compile.t27", "t27b": "pass"}, - {"path": "specs/compiler/optimizer.t27", "t27b": "blocked", "blocker": "EnumDecl", "reason": "unimplemented"}, - {"path": "specs/compiler/rust_constant_case.t27", "t27b": "blocked", "blocker": "StmtAssign(undeclared)", "reason": "unimplemented"}, + {"path": "specs/compiler/optimizer.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, + {"path": "specs/compiler/rust_constant_case.t27", "t27b": "pass"}, {"path": "specs/compiler/rust_value_parameters.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, {"path": "specs/compiler/zig_primitive_bindings.t27", "t27b": "blocked", "blocker": "type (tuple)", "reason": "unimplemented"}, - {"path": "specs/conformance/e2e_scenarios.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/999-multibots-telegraf-agent-autopilot-L1118.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/999-multibots-telegraf-bot-owner-billing-L474.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/999-multibots-telegraf-check-stuck-trainings.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/999-multibots-telegraf-ci.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/999-multibots-telegraf-crmProactive-L375.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/999-multibots-telegraf-daily-sales-advisor.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/999-multibots-telegraf-generate-jobs-L164.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/999-multibots-telegraf-health-check.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/999-multibots-telegraf-log-monitor.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/999-multibots-telegraf-notificationHandler-L318.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/999-multibots-telegraf-notificationHandler-L324.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/999-multibots-telegraf-periodic-webhook-health-check.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/999-multibots-telegraf-production-monitor-L80.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/999-multibots-telegraf-provider-health-monitor-L344.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/999-multibots-telegraf-render-server-L10845.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/999-multibots-telegraf-render-server-L2301.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/999-multibots-telegraf-render-server-L2325.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/999-multibots-telegraf-render-server-L919.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/999-multibots-telegraf-security.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/999-multibots-telegraf-skill-detector.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/999-multibots-telegraf-taskCache-L27.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/999-multibots-telegraf-video-task-store-L156.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/mac-alerts-digest.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/mac-alerts-watchdog.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/mac-browseros-cron-watchdog.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/mac-dev-cache-clean.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/mac-jobsearch-poller.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/mac-leela-dailyquote.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/mac-mail-bridge.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/mac-mcp-hub.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/mac-neo-boards.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/mac-neo-jobsearch.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/mac-reviewer-bees.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/mac-signup-watch.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/mac-trios-cycle-heal.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/mac-trios-cycle.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/mac-trios-doctor.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/mac-trios-feed.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/mac-trios-heal.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/railway-jobsearch-cron.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/t27-formal-mutation.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/t27-pr-dashboard.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/trinity-agent-cron-cleanup.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/trinity-agent-queue-drain.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/trinity-brain-ci.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/trinity-codegen.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/trinity-discover-callers.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/trinity-pages-health-check.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/trinity-signal-health-self.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/crons/trinity-site-live-gate.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, + {"path": "specs/conformance/e2e_scenarios.t27", "t27b": "pass"}, + {"path": "specs/crons/999-multibots-telegraf-agent-autopilot-L1118.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/999-multibots-telegraf-bot-owner-billing-L474.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/999-multibots-telegraf-check-stuck-trainings.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/999-multibots-telegraf-ci.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/999-multibots-telegraf-crmProactive-L375.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/999-multibots-telegraf-daily-sales-advisor.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/999-multibots-telegraf-generate-jobs-L164.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/999-multibots-telegraf-health-check.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/999-multibots-telegraf-log-monitor.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/999-multibots-telegraf-notificationHandler-L318.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/999-multibots-telegraf-notificationHandler-L324.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/999-multibots-telegraf-periodic-webhook-health-check.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/999-multibots-telegraf-production-monitor-L80.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/999-multibots-telegraf-provider-health-monitor-L344.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/999-multibots-telegraf-render-server-L10845.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/999-multibots-telegraf-render-server-L2301.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/999-multibots-telegraf-render-server-L2325.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/999-multibots-telegraf-render-server-L919.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/999-multibots-telegraf-security.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/999-multibots-telegraf-skill-detector.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/999-multibots-telegraf-taskCache-L27.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/999-multibots-telegraf-video-task-store-L156.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/mac-alerts-digest.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/mac-alerts-watchdog.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/mac-browseros-cron-watchdog.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/mac-dev-cache-clean.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/mac-jobsearch-poller.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/mac-leela-dailyquote.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/mac-mail-bridge.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/mac-mcp-hub.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/mac-neo-boards.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/mac-neo-jobsearch.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/mac-reviewer-bees.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/mac-signup-watch.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/mac-trios-cycle-heal.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/mac-trios-cycle.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/mac-trios-doctor.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/mac-trios-feed.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/mac-trios-heal.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/railway-jobsearch-cron.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/t27-formal-mutation.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/t27-pr-dashboard.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/trinity-agent-cron-cleanup.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/trinity-agent-queue-drain.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/trinity-brain-ci.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/trinity-codegen.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/trinity-discover-callers.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/trinity-pages-health-check.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/trinity-signal-health-self.t27", "t27b": "pass_vacuous"}, + {"path": "specs/crons/trinity-site-live-gate.t27", "t27b": "pass_vacuous"}, {"path": "specs/demos/simple_test.t27", "t27b": "pass"}, - {"path": "specs/docs/chapters/alphabet.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/docs/chapters/evidence.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/docs/chapters/layers.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/docs/chapters/project.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/docs/chapters/queen.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/docs/chapters/rules.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/docs/chapters/tooling.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/docs/system.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/fpga/adapter.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/fpga/assembler.t27", "t27b": "blocked", "blocker": "EnumDecl", "reason": "unimplemented"}, - {"path": "specs/fpga/boards/arty_a7_integration.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, - {"path": "specs/fpga/boards/qmtech_a100t_integration.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, + {"path": "specs/docs/chapters/alphabet.t27", "t27b": "pass_vacuous"}, + {"path": "specs/docs/chapters/evidence.t27", "t27b": "pass_vacuous"}, + {"path": "specs/docs/chapters/layers.t27", "t27b": "pass_vacuous"}, + {"path": "specs/docs/chapters/project.t27", "t27b": "pass_vacuous"}, + {"path": "specs/docs/chapters/queen.t27", "t27b": "pass_vacuous"}, + {"path": "specs/docs/chapters/rules.t27", "t27b": "pass_vacuous"}, + {"path": "specs/docs/chapters/tooling.t27", "t27b": "pass_vacuous"}, + {"path": "specs/docs/system.t27", "t27b": "pass_vacuous"}, + {"path": "specs/fpga/adapter.t27", "t27b": "pass"}, + {"path": "specs/fpga/assembler.t27", "t27b": "pass"}, + {"path": "specs/fpga/boards/arty_a7_integration.t27", "t27b": "blocked", "blocker": "ConstDecl(str field)", "reason": "unimplemented"}, + {"path": "specs/fpga/boards/qmtech_a100t_integration.t27", "t27b": "blocked", "blocker": "ConstDecl(str field)", "reason": "unimplemented"}, {"path": "specs/fpga/bootrom.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/fpga/clock_domain.t27", "t27b": "blocked", "blocker": "EnumDecl", "reason": "unimplemented"}, - {"path": "specs/fpga/crossopt.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, - {"path": "specs/fpga/cts.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, - {"path": "specs/fpga/dft.t27", "t27b": "blocked", "blocker": "EnumDecl", "reason": "unimplemented"}, - {"path": "specs/fpga/e2e_demo.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, - {"path": "specs/fpga/fifo.t27", "t27b": "blocked", "blocker": "EnumDecl", "reason": "unimplemented"}, - {"path": "specs/fpga/gf16_accel.t27", "t27b": "blocked", "blocker": "EnumDecl", "reason": "unimplemented"}, - {"path": "specs/fpga/hw_types.t27", "t27b": "blocked", "blocker": "EnumDecl", "reason": "unimplemented"}, - {"path": "specs/fpga/memory.t27", "t27b": "blocked", "blocker": "EnumDecl", "reason": "unimplemented"}, + {"path": "specs/fpga/clock_domain.t27", "t27b": "pass"}, + {"path": "specs/fpga/crossopt.t27", "t27b": "pass"}, + {"path": "specs/fpga/cts.t27", "t27b": "pass"}, + {"path": "specs/fpga/dft.t27", "t27b": "pass"}, + {"path": "specs/fpga/e2e_demo.t27", "t27b": "pass"}, + {"path": "specs/fpga/fifo.t27", "t27b": "pass"}, + {"path": "specs/fpga/gf16_accel.t27", "t27b": "pass"}, + {"path": "specs/fpga/hw_types.t27", "t27b": "pass"}, + {"path": "specs/fpga/memory.t27", "t27b": "blocked", "blocker": "ExprArrayLiteral", "reason": "unimplemented"}, {"path": "specs/fpga/partition.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/fpga/power.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, - {"path": "specs/fpga/router.t27", "t27b": "blocked", "blocker": "EnumDecl", "reason": "unimplemented"}, - {"path": "specs/fpga/simulator.t27", "t27b": "blocked", "blocker": "EnumDecl", "reason": "unimplemented"}, - {"path": "specs/fpga/stdlib.t27", "t27b": "blocked", "blocker": "EnumDecl", "reason": "unimplemented"}, - {"path": "specs/fpga/ternary_isa.t27", "t27b": "blocked", "blocker": "EnumDecl", "reason": "unimplemented"}, + {"path": "specs/fpga/power.t27", "t27b": "pass"}, + {"path": "specs/fpga/router.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, + {"path": "specs/fpga/simulator.t27", "t27b": "pass"}, + {"path": "specs/fpga/stdlib.t27", "t27b": "pass"}, + {"path": "specs/fpga/ternary_isa.t27", "t27b": "blocked", "blocker": "ExprLiteral(negative literal)", "reason": "unimplemented"}, {"path": "specs/fpga/ternary_link.t27", "t27b": "pass"}, - {"path": "specs/fpga/testbench/assembler_tb.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, - {"path": "specs/fpga/testbench/cts_tb.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, - {"path": "specs/fpga/testbench/partition_tb.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, - {"path": "specs/fpga/testbench/placement_tb.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, - {"path": "specs/fpga/testbench/power_tb.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, - {"path": "specs/fpga/testbench/router_tb.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, - {"path": "specs/fpga/testbench/simulator_tb.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, - {"path": "specs/fpga/timing.t27", "t27b": "blocked", "blocker": "EnumDecl", "reason": "unimplemented"}, - {"path": "specs/functions/analytics-sales-advise.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/analytics-skills-detect.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/broadcast-message-send.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/content-detailed-script-generate.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/content-scenario-clips-generate.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/content-scripts-generate.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/crm-proactive-sweep.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/instagram-competitors-find.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/instagram-reels-analyze.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/instagram-top-content-extract.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/monitoring-error-report.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/monitoring-health-check.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/monitoring-logs-analyze.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/monitoring-logs-trigger.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/morph-images-generate.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/neuro-image-generate.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/payment-ai-server-process.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/reels-ai-callback.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/reels-ai-generate.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/reels-loop-generate.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/render-avatar-video-run.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/render-job-run.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/render-riddle-run.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/training-model-complete.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/training-model-start.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/training-model-v2-start.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/training-stuck-check.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/webhook-generation-validate.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/functions/welcome-avatar-generate.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, + {"path": "specs/fpga/testbench/assembler_tb.t27", "t27b": "pass"}, + {"path": "specs/fpga/testbench/cts_tb.t27", "t27b": "pass"}, + {"path": "specs/fpga/testbench/partition_tb.t27", "t27b": "pass"}, + {"path": "specs/fpga/testbench/placement_tb.t27", "t27b": "pass"}, + {"path": "specs/fpga/testbench/power_tb.t27", "t27b": "pass"}, + {"path": "specs/fpga/testbench/router_tb.t27", "t27b": "pass"}, + {"path": "specs/fpga/testbench/simulator_tb.t27", "t27b": "pass"}, + {"path": "specs/fpga/timing.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, + {"path": "specs/functions/analytics-sales-advise.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/analytics-skills-detect.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/broadcast-message-send.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/content-detailed-script-generate.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/content-scenario-clips-generate.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/content-scripts-generate.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/crm-proactive-sweep.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/instagram-competitors-find.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/instagram-reels-analyze.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/instagram-top-content-extract.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/monitoring-error-report.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/monitoring-health-check.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/monitoring-logs-analyze.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/monitoring-logs-trigger.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/morph-images-generate.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/neuro-image-generate.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/payment-ai-server-process.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/reels-ai-callback.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/reels-ai-generate.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/reels-loop-generate.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/render-avatar-video-run.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/render-job-run.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/render-riddle-run.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/training-model-complete.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/training-model-start.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/training-model-v2-start.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/training-stuck-check.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/webhook-generation-validate.t27", "t27b": "pass_vacuous"}, + {"path": "specs/functions/welcome-avatar-generate.t27", "t27b": "pass_vacuous"}, {"path": "specs/github/auth.t27", "t27b": "pass"}, - {"path": "specs/i18n/agents-ru.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/i18n/docs-ru.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, + {"path": "specs/i18n/agents-ru.t27", "t27b": "pass_vacuous"}, + {"path": "specs/i18n/docs-ru.t27", "t27b": "pass_vacuous"}, {"path": "specs/igla/race/mvp_ternary_classifier.t27", "t27b": "pass"}, {"path": "specs/igla/race/phi_accumulator_growth.t27", "t27b": "pass"}, {"path": "specs/igla/race/phi_gain_freedom.t27", "t27b": "pass"}, {"path": "specs/igla/race/phi_weights.t27", "t27b": "pass"}, - {"path": "specs/igla/race/ternary_lut_table.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, - {"path": "specs/igla/race/ternary_mac_group.t27", "t27b": "blocked", "blocker": "FnDecl", "reason": "unimplemented"}, + {"path": "specs/igla/race/ternary_lut_table.t27", "t27b": "pass"}, + {"path": "specs/igla/race/ternary_mac_group.t27", "t27b": "pass"}, {"path": "specs/igla/race/ternary_node.t27", "t27b": "pass"}, {"path": "specs/igla/race/unit_weights_node.t27", "t27b": "pass"}, {"path": "specs/igla/w535_bounded_while_module.t27", "t27b": "pass"}, - {"path": "specs/isa/ternary_gates.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, + {"path": "specs/isa/ternary_gates.t27", "t27b": "blocked", "blocker": "ExprLiteral(negative literal)", "reason": "unimplemented"}, {"path": "specs/lsp/language.t27", "t27b": "blocked", "blocker": "StmtExpr", "reason": "unimplemented"}, - {"path": "specs/math/gf_competitive.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, + {"path": "specs/math/gf_competitive.t27", "t27b": "blocked", "blocker": "ExprCall(method)", "reason": "unimplemented"}, {"path": "specs/memory/tmem/session.t27", "t27b": "blocked", "blocker": "ExprLiteral(negative literal)", "reason": "unimplemented"}, - {"path": "specs/memory/tmem/types.t27", "t27b": "blocked", "blocker": "EnumDecl", "reason": "unimplemented"}, + {"path": "specs/memory/tmem/types.t27", "t27b": "blocked", "blocker": "ExprLiteral(negative literal)", "reason": "unimplemented"}, {"path": "specs/mesh_routing.t27", "t27b": "blocked", "blocker": "ExprLiteral statement", "reason": "unimplemented"}, {"path": "specs/ml/activation/sigmoid_activation.t27", "t27b": "blocked", "blocker": "type f32", "reason": "unimplemented"}, {"path": "specs/ml/activation/silu_swish_vbt_activation.t27", "t27b": "pass_vacuous"}, - {"path": "specs/ml/layers/layernorm_layer.t27", "t27b": "blocked", "blocker": "type []T", "reason": "unimplemented"}, - {"path": "specs/ml/rl/dqn.t27", "t27b": "blocked", "blocker": "type []T", "reason": "unimplemented"}, + {"path": "specs/ml/layers/layernorm_layer.t27", "t27b": "blocked", "blocker": "type f32", "reason": "unimplemented"}, + {"path": "specs/ml/rl/dqn.t27", "t27b": "blocked", "blocker": "type f32", "reason": "unimplemented"}, {"path": "specs/multipath_router.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/numeric/bnf1024.t27", "t27b": "blocked", "blocker": "ExprCall(assert with message)", "reason": "unimplemented"}, - {"path": "specs/numeric/bnf128.t27", "t27b": "blocked", "blocker": "ExprCall(assert with message)", "reason": "unimplemented"}, - {"path": "specs/numeric/bnf16.t27", "t27b": "blocked", "blocker": "ExprCall(assert with message)", "reason": "unimplemented"}, - {"path": "specs/numeric/bnf256.t27", "t27b": "blocked", "blocker": "ExprCall(assert with message)", "reason": "unimplemented"}, - {"path": "specs/numeric/bnf32.t27", "t27b": "blocked", "blocker": "ExprCall(assert with message)", "reason": "unimplemented"}, - {"path": "specs/numeric/bnf512.t27", "t27b": "blocked", "blocker": "ExprCall(assert with message)", "reason": "unimplemented"}, - {"path": "specs/numeric/bnf64.t27", "t27b": "blocked", "blocker": "ExprCall(assert with message)", "reason": "unimplemented"}, - {"path": "specs/numeric/bnf8.t27", "t27b": "blocked", "blocker": "ExprCall(assert with message)", "reason": "unimplemented"}, - {"path": "specs/numeric/e8m0.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, - {"path": "specs/numeric/formats_catalog.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/numeric/gf10.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/numeric/gf1024.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/numeric/gf128.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/numeric/gf14.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/numeric/gf256.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/numeric/gf48.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/numeric/gf512.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/numeric/gf6.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/numeric/gf96.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/numeric/gft16.t27", "t27b": "blocked", "blocker": "ExprCall(assert with message)", "reason": "unimplemented"}, - {"path": "specs/numeric/gft32.t27", "t27b": "blocked", "blocker": "ExprCall(assert with message)", "reason": "unimplemented"}, - {"path": "specs/numeric/gft4.t27", "t27b": "blocked", "blocker": "ExprCall(assert with message)", "reason": "unimplemented"}, - {"path": "specs/numeric/gft8.t27", "t27b": "blocked", "blocker": "ExprCall(assert with message)", "reason": "unimplemented"}, + {"path": "specs/numeric/bnf1024.t27", "t27b": "pass"}, + {"path": "specs/numeric/bnf128.t27", "t27b": "pass"}, + {"path": "specs/numeric/bnf16.t27", "t27b": "pass"}, + {"path": "specs/numeric/bnf256.t27", "t27b": "pass"}, + {"path": "specs/numeric/bnf32.t27", "t27b": "pass"}, + {"path": "specs/numeric/bnf512.t27", "t27b": "pass"}, + {"path": "specs/numeric/bnf64.t27", "t27b": "pass"}, + {"path": "specs/numeric/bnf8.t27", "t27b": "pass"}, + {"path": "specs/numeric/e8m0.t27", "t27b": "pass"}, + {"path": "specs/numeric/formats_catalog.t27", "t27b": "pass_vacuous"}, + {"path": "specs/numeric/gf10.t27", "t27b": "blocked", "blocker": "ExprCall(@compileAssert)", "reason": "unimplemented"}, + {"path": "specs/numeric/gf1024.t27", "t27b": "blocked", "blocker": "ExprCall(@compileAssert)", "reason": "unimplemented"}, + {"path": "specs/numeric/gf128.t27", "t27b": "blocked", "blocker": "ExprCall(@compileAssert)", "reason": "unimplemented"}, + {"path": "specs/numeric/gf14.t27", "t27b": "blocked", "blocker": "ExprCall(@compileAssert)", "reason": "unimplemented"}, + {"path": "specs/numeric/gf256.t27", "t27b": "blocked", "blocker": "ExprCall(@compileAssert)", "reason": "unimplemented"}, + {"path": "specs/numeric/gf48.t27", "t27b": "blocked", "blocker": "ExprCall(@compileAssert)", "reason": "unimplemented"}, + {"path": "specs/numeric/gf512.t27", "t27b": "blocked", "blocker": "ExprCall(@compileAssert)", "reason": "unimplemented"}, + {"path": "specs/numeric/gf6.t27", "t27b": "blocked", "blocker": "ExprCall(@compileAssert)", "reason": "unimplemented"}, + {"path": "specs/numeric/gf96.t27", "t27b": "blocked", "blocker": "ExprCall(@compileAssert)", "reason": "unimplemented"}, + {"path": "specs/numeric/gft16.t27", "t27b": "pass"}, + {"path": "specs/numeric/gft32.t27", "t27b": "pass"}, + {"path": "specs/numeric/gft4.t27", "t27b": "pass"}, + {"path": "specs/numeric/gft8.t27", "t27b": "pass"}, {"path": "specs/numeric/gfternary.t27", "t27b": "blocked", "blocker": "type (alias)", "reason": "unimplemented"}, - {"path": "specs/numeric/golden_sieve.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, + {"path": "specs/numeric/golden_sieve.t27", "t27b": "pass"}, {"path": "specs/numeric/requant_boundary.t27", "t27b": "pass_vacuous"}, - {"path": "specs/numeric/tnf1024.t27", "t27b": "blocked", "blocker": "FnDecl", "reason": "unimplemented"}, - {"path": "specs/numeric/tnf128.t27", "t27b": "blocked", "blocker": "ExprCall(assert with message)", "reason": "unimplemented"}, - {"path": "specs/numeric/tnf16.t27", "t27b": "blocked", "blocker": "ExprCall(assert with message)", "reason": "unimplemented"}, - {"path": "specs/numeric/tnf17.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, - {"path": "specs/numeric/tnf256.t27", "t27b": "blocked", "blocker": "FnDecl", "reason": "unimplemented"}, - {"path": "specs/numeric/tnf32.t27", "t27b": "blocked", "blocker": "ExprCall(assert with message)", "reason": "unimplemented"}, - {"path": "specs/numeric/tnf4.t27", "t27b": "blocked", "blocker": "ExprCall(assert with message)", "reason": "unimplemented"}, - {"path": "specs/numeric/tnf512.t27", "t27b": "blocked", "blocker": "FnDecl", "reason": "unimplemented"}, - {"path": "specs/numeric/tnf64.t27", "t27b": "blocked", "blocker": "ExprCall(assert with message)", "reason": "unimplemented"}, - {"path": "specs/numeric/tnf8.t27", "t27b": "blocked", "blocker": "ExprCall(assert with message)", "reason": "unimplemented"}, + {"path": "specs/numeric/tnf1024.t27", "t27b": "pass"}, + {"path": "specs/numeric/tnf128.t27", "t27b": "pass"}, + {"path": "specs/numeric/tnf16.t27", "t27b": "pass"}, + {"path": "specs/numeric/tnf17.t27", "t27b": "pass"}, + {"path": "specs/numeric/tnf256.t27", "t27b": "pass"}, + {"path": "specs/numeric/tnf32.t27", "t27b": "pass"}, + {"path": "specs/numeric/tnf4.t27", "t27b": "pass"}, + {"path": "specs/numeric/tnf512.t27", "t27b": "pass"}, + {"path": "specs/numeric/tnf64.t27", "t27b": "pass"}, + {"path": "specs/numeric/tnf8.t27", "t27b": "pass"}, {"path": "specs/numeric/trinity_numeric_surface.t27", "t27b": "blocked", "blocker": "ExprUnary(try) statement", "reason": "unimplemented"}, - {"path": "specs/physics/e8_lqg_bridge.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/physics/gamma-conflict.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/physics/hslm_benchmark.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/physics/lqg_cs_bridge.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, + {"path": "specs/physics/e8_lqg_bridge.t27", "t27b": "pass"}, + {"path": "specs/physics/gamma-conflict.t27", "t27b": "pass"}, + {"path": "specs/physics/hslm_benchmark.t27", "t27b": "pass"}, + {"path": "specs/physics/lqg_cs_bridge.t27", "t27b": "pass"}, {"path": "specs/physics/lqg_entropy.t27", "t27b": "pass_vacuous"}, - {"path": "specs/port/bootstrap/src/compiler/AsmSectionKind_from_i8.t27", "t27b": "blocked", "blocker": "EnumDecl", "reason": "unimplemented"}, - {"path": "specs/port/bootstrap/src/compiler/HirBusPort_axi4_lite_slave.t27", "t27b": "blocked", "blocker": "EnumDecl", "reason": "unimplemented"}, + {"path": "specs/port/bootstrap/src/compiler/AsmSectionKind_from_i8.t27", "t27b": "pass"}, + {"path": "specs/port/bootstrap/src/compiler/HirBusPort_axi4_lite_slave.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/HirTernaryRegFile_new.t27", "t27b": "pass"}, - {"path": "specs/port/bootstrap/src/compiler/TbCheck_new.t27", "t27b": "blocked", "blocker": "ExprIndex", "reason": "unimplemented"}, - {"path": "specs/port/bootstrap/src/phi_f64_literals.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/port/bootstrap/src/sensitivity.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, + {"path": "specs/port/bootstrap/src/compiler/TbCheck_new.t27", "t27b": "blocked", "blocker": "ExprLiteral(char literal)", "reason": "unimplemented"}, + {"path": "specs/port/bootstrap/src/phi_f64_literals.t27", "t27b": "blocked", "blocker": "type (tuple)", "reason": "unimplemented"}, + {"path": "specs/port/bootstrap/src/sensitivity.t27", "t27b": "blocked", "blocker": "type (tuple)", "reason": "unimplemented"}, {"path": "specs/port/browseros/trios/agent-server/apps/server/src/api/routes/health.t27", "t27b": "blocked", "blocker": "type ?T", "reason": "unimplemented"}, {"path": "specs/port/browseros/trios/agent-server/apps/server/src/api/routes/memory.t27", "t27b": "blocked", "blocker": "type undefined", "reason": "unimplemented"}, {"path": "specs/port/browseros/trios/agent-server/apps/server/src/api/routes/queen-registry.t27", "t27b": "blocked", "blocker": "type ?T", "reason": "unimplemented"}, - {"path": "specs/port/browseros/trios/agent-server/apps/server/src/api/routes/queen-rehearsal.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, + {"path": "specs/port/browseros/trios/agent-server/apps/server/src/api/routes/queen-rehearsal.t27", "t27b": "blocked", "blocker": "type ?T", "reason": "unimplemented"}, {"path": "specs/port/browseros/trios/agent-server/apps/server/src/api/routes/queen-report.t27", "t27b": "blocked", "blocker": "type undefined", "reason": "unimplemented"}, {"path": "specs/port/browseros/trios/agent-server/apps/server/src/api/routes/status.t27", "t27b": "blocked", "blocker": "type undefined", "reason": "unimplemented"}, {"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/browser/bookmarks.t27", "t27b": "blocked", "blocker": "EnumDecl", "reason": "unimplemented"}, - {"path": "specs/port/browseros/trios/agent-server/apps/server/src/lib/db/retry.t27", "t27b": "blocked", "blocker": "ExprIdentifier statement", "reason": "unimplemented"}, + {"path": "specs/port/browseros/trios/agent-server/apps/server/src/browser/bookmarks.t27", "t27b": "blocked", "blocker": "type ?T", "reason": "unimplemented"}, + {"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/port-binding.t27", "t27b": "blocked", "blocker": "type ?T", "reason": "unimplemented"}, - {"path": "specs/port/browseros/trios/agent-server/apps/server/src/lib/provider-error-classifier.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/port/browseros/trios/agent-server/apps/server/src/skills/catalog.t27", "t27b": "blocked", "blocker": "type []T", "reason": "unimplemented"}, + {"path": "specs/port/browseros/trios/agent-server/apps/server/src/lib/provider-error-classifier.t27", "t27b": "blocked", "blocker": "ExprLiteral(char literal)", "reason": "unimplemented"}, + {"path": "specs/port/browseros/trios/agent-server/apps/server/src/skills/catalog.t27", "t27b": "blocked", "blocker": "ExprArrayLiteral", "reason": "unimplemented"}, {"path": "specs/port/fpga/openxc7-synth/phi_temporal/temporal_heartbeat.t27", "t27b": "blocked", "blocker": "type (tuple)", "reason": "unimplemented"}, - {"path": "specs/port/fpga/verilog/dsp_probe.t27", "t27b": "blocked", "blocker": "StmtAssign(undeclared)", "reason": "unimplemented"}, + {"path": "specs/port/fpga/verilog/dsp_probe.t27", "t27b": "pass"}, {"path": "specs/port/fpga/verilog/dsp_probe_live.t27", "t27b": "pass"}, - {"path": "specs/port/fpga/verilog/e8m0_jtag.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, + {"path": "specs/port/fpga/verilog/e8m0_jtag.t27", "t27b": "pass"}, {"path": "specs/port/fpga/verilog/gft_dup2_jtag.t27", "t27b": "blocked", "blocker": "type (tuple)", "reason": "unimplemented"}, {"path": "specs/port/fpga/verilog/gft_signed_dot4_jtag.t27", "t27b": "pass"}, - {"path": "specs/port/fpga/verilog/link_node.t27", "t27b": "blocked", "blocker": "EnumDecl", "reason": "unimplemented"}, - {"path": "specs/port/fpga/verilog/ternary_mac_demo_top.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/port/fpga/vivado/uart_echo_top.t27", "t27b": "blocked", "blocker": "EnumDecl", "reason": "unimplemented"}, - {"path": "specs/port/scripts/bulk-create-notebooks.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, + {"path": "specs/port/fpga/verilog/link_node.t27", "t27b": "blocked", "blocker": "type (tuple)", "reason": "unimplemented"}, + {"path": "specs/port/fpga/verilog/ternary_mac_demo_top.t27", "t27b": "blocked", "blocker": "type (tuple)", "reason": "unimplemented"}, + {"path": "specs/port/fpga/vivado/uart_echo_top.t27", "t27b": "blocked", "blocker": "type (tuple)", "reason": "unimplemented"}, + {"path": "specs/port/scripts/bulk-create-notebooks.t27", "t27b": "pass"}, {"path": "specs/port/scripts/check-conflicts.t27", "t27b": "pass"}, - {"path": "specs/port/scripts/check-pagination-truncation.t27", "t27b": "blocked", "blocker": "type []T", "reason": "unimplemented"}, + {"path": "specs/port/scripts/check-pagination-truncation.t27", "t27b": "blocked", "blocker": "ExprLiteral(negative literal)", "reason": "unimplemented"}, {"path": "specs/port/scripts/gen_w317.t27", "t27b": "blocked", "blocker": "type ?T", "reason": "unimplemented"}, - {"path": "specs/port/scripts/gen_w365.t27", "t27b": "blocked", "blocker": "ExprIdentifier statement", "reason": "unimplemented"}, + {"path": "specs/port/scripts/gen_w365.t27", "t27b": "pass"}, {"path": "specs/port/scripts/gen_w378.t27", "t27b": "blocked", "blocker": "type ?T", "reason": "unimplemented"}, - {"path": "specs/port/scripts/gen_w379.t27", "t27b": "blocked", "blocker": "ExprIdentifier statement", "reason": "unimplemented"}, - {"path": "specs/port/scripts/gen_w380.t27", "t27b": "blocked", "blocker": "type []T", "reason": "unimplemented"}, - {"path": "specs/port/scripts/git_commands_tasks_1_4.t27", "t27b": "blocked", "blocker": "ExprIdentifier statement", "reason": "unimplemented"}, + {"path": "specs/port/scripts/gen_w379.t27", "t27b": "blocked", "blocker": "StmtFor(range)", "reason": "unimplemented"}, + {"path": "specs/port/scripts/gen_w380.t27", "t27b": "blocked", "blocker": "ExprLiteral(char literal)", "reason": "unimplemented"}, + {"path": "specs/port/scripts/gen_w381.t27", "t27b": "pass"}, + {"path": "specs/port/scripts/gen_w382.t27", "t27b": "pass"}, + {"path": "specs/port/scripts/gen_w384.t27", "t27b": "pass"}, + {"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_lean.t27", "t27b": "pass"}, + {"path": "specs/port/scripts/gen_w391_lean.t27", "t27b": "pass"}, + {"path": "specs/port/scripts/gen_w631.t27", "t27b": "pass"}, + {"path": "specs/port/scripts/git_commands_tasks_1_4.t27", "t27b": "blocked", "blocker": "ExprCall(std.*)", "reason": "unimplemented"}, {"path": "specs/port/scripts/install-constitutional-hook.t27", "t27b": "blocked", "blocker": "type (tuple)", "reason": "unimplemented"}, - {"path": "specs/port/scripts/mcp-wrapper.t27", "t27b": "blocked", "blocker": "ExprIdentifier statement", "reason": "unimplemented"}, - {"path": "specs/port/scripts/print_pellis_seal_decimal.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/port/scripts/run_v51_multiple.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, + {"path": "specs/port/scripts/mcp-wrapper.t27", "t27b": "blocked", "blocker": "ExprLiteral(char literal)", "reason": "unimplemented"}, + {"path": "specs/port/scripts/print_pellis_seal_decimal.t27", "t27b": "pass"}, + {"path": "specs/port/scripts/run_v51_multiple.t27", "t27b": "pass"}, {"path": "specs/port/scripts/test-agent-bridge.t27", "t27b": "blocked", "blocker": "type (anonymous struct)", "reason": "unimplemented"}, - {"path": "specs/port/scripts/tri-issue-create.t27", "t27b": "blocked", "blocker": "type []T", "reason": "unimplemented"}, + {"path": "specs/port/scripts/tri-issue-create.t27", "t27b": "blocked", "blocker": "ExprIf", "reason": "unimplemented"}, {"path": "specs/port/scripts/tri-pr-create.t27", "t27b": "blocked", "blocker": "type undefined", "reason": "unimplemented"}, {"path": "specs/port/scripts/tri-search.t27", "t27b": "blocked", "blocker": "ExprCall(std.*)", "reason": "unimplemented"}, - {"path": "specs/port/scripts/verify_smoking_guns.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, + {"path": "specs/port/scripts/verify_precision.t27", "t27b": "pass"}, + {"path": "specs/port/scripts/verify_smoking_guns.t27", "t27b": "blocked", "blocker": "ExprBinary(*)", "reason": "unimplemented"}, {"path": "specs/port/tools/check_duplicate_declarations.t27", "t27b": "blocked", "blocker": "type (tuple)", "reason": "unimplemented"}, - {"path": "specs/port/tools/check_fix_carries_source.t27", "t27b": "blocked", "blocker": "ExprIdentifier statement", "reason": "unimplemented"}, + {"path": "specs/port/tools/check_fix_carries_source.t27", "t27b": "pass"}, {"path": "specs/port/tools/ci/check_specs_still_parse.t27", "t27b": "blocked", "blocker": "type ?T", "reason": "unimplemented"}, - {"path": "specs/port/tools/gft_deep_demo.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, - {"path": "specs/port/tools/oracle/run.t27", "t27b": "blocked", "blocker": "EnumDecl", "reason": "unimplemented"}, - {"path": "specs/port/tools/run_conformance_vvp.t27", "t27b": "blocked", "blocker": "ExprIdentifier statement", "reason": "unimplemented"}, + {"path": "specs/port/tools/gft_deep_demo.t27", "t27b": "pass"}, + {"path": "specs/port/tools/oracle/run.t27", "t27b": "blocked", "blocker": "type (tuple)", "reason": "unimplemented"}, + {"path": "specs/port/tools/run_conformance_vvp.t27", "t27b": "pass"}, {"path": "specs/port/tools/ternary_model.t27", "t27b": "pass"}, - {"path": "specs/port/trinity/fpga/fly-vivado/verilog/trinity_qmtech.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, + {"path": "specs/port/trinity/fpga/fly-vivado/verilog/trinity_qmtech.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/blink_minimal.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/blink_simple.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"}, - {"path": "specs/port/trinity/fpga/openxc7-synth/d6_inv_test.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, - {"path": "specs/port/trinity/fpga/openxc7-synth/d6_test.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/d6_inv_test.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/d6_test.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/d_bank13_test.t27", "t27b": "pass"}, - {"path": "specs/port/trinity/fpga/openxc7-synth/d_bufg_test.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/d_bufg_test.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/d_clk_direct.t27", "t27b": "pass"}, - {"path": "specs/port/trinity/fpga/openxc7-synth/d_e21_test.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, - {"path": "specs/port/trinity/fpga/openxc7-synth/d_f19_test.t27", "t27b": "blocked", "blocker": "type []T", "reason": "unimplemented"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/d_e21_test.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/d_f19_test.t27", "t27b": "blocked", "blocker": "StmtForRange", "reason": "unimplemented"}, {"path": "specs/port/trinity/fpga/openxc7-synth/d_full_path.t27", "t27b": "pass"}, - {"path": "specs/port/trinity/fpga/openxc7-synth/d_g22_test.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, - {"path": "specs/port/trinity/fpga/openxc7-synth/d_lut_only.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, - {"path": "specs/port/trinity/fpga/openxc7-synth/d_oscillator.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/d_g22_test.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/d_lut_only.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/d_oscillator.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/d_simple_ff.t27", "t27b": "blocked", "blocker": "type (tuple)", "reason": "unimplemented"}, - {"path": "specs/port/trinity/fpga/openxc7-synth/d_simple_led.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, - {"path": "specs/port/trinity/fpga/openxc7-synth/d_slow_blink.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/port/trinity/fpga/openxc7-synth/d_srl_blink.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, - {"path": "specs/port/trinity/fpga/openxc7-synth/d_static_on.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/d_simple_led.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/d_slow_blink.t27", "t27b": "blocked", "blocker": "type (tuple)", "reason": "unimplemented"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/d_srl_blink.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/d_static_on.t27", "t27b": "pass"}, {"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": "blocked", "blocker": "type (tuple)", "reason": "unimplemented"}, {"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": "blocked", "blocker": "StmtAssign(undeclared)", "reason": "unimplemented"}, - {"path": "specs/port/trinity/fpga/openxc7-synth/led_diagnostic.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, + {"path": "specs/port/trinity/fpga/openxc7-synth/led_d5_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": "blocked", "blocker": "type u1", "reason": "unimplemented"}, {"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": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, - {"path": "specs/port/trinity/fpga/openxc7-synth/symbiflow_blink.t27", "t27b": "blocked", "blocker": "BenchBlock", "reason": "unimplemented"}, + {"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/symbiflow_blink.t27", "t27b": "pass"}, {"path": "specs/port/trinity/fpga/openxc7-synth/uart_echo.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/background_agent/main.t27", "t27b": "blocked", "blocker": "type void", "reason": "unimplemented"}, - {"path": "specs/port/trinity/src/cli/health_check.t27", "t27b": "blocked", "blocker": "type []T", "reason": "unimplemented"}, - {"path": "specs/port/trinity/src/cli/railway_create_project.t27", "t27b": "blocked", "blocker": "type []T", "reason": "unimplemented"}, - {"path": "specs/port/trinity/src/tri/gen_aabb.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, + {"path": "specs/port/trinity/src/cli/health_check.t27", "t27b": "blocked", "blocker": "ExprIf", "reason": "unimplemented"}, + {"path": "specs/port/trinity/src/cli/railway_create_project.t27", "t27b": "blocked", "blocker": "ExprLiteral(char literal)", "reason": "unimplemented"}, + {"path": "specs/port/trinity/src/cli/railway_null_startcmd.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/tri/gen_aabb.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/gen_arithmetic.t27", "t27b": "blocked", "blocker": "StmtExpr", "reason": "unimplemented"}, {"path": "specs/port/trinity/src/tri/gen_barrier.t27", "t27b": "pass"}, - {"path": "specs/port/trinity/src/tri/gen_bezier.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/port/trinity/src/tri/gen_cache.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/port/trinity/src/tri/gen_caesar.t27", "t27b": "blocked", "blocker": "type []T", "reason": "unimplemented"}, - {"path": "specs/port/trinity/src/tri/gen_color.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/port/trinity/src/tri/gen_cross_entropy.t27", "t27b": "blocked", "blocker": "type []T", "reason": "unimplemented"}, - {"path": "specs/port/trinity/src/tri/gen_cursor.t27", "t27b": "blocked", "blocker": "type []T", "reason": "unimplemented"}, - {"path": "specs/port/trinity/src/tri/gen_escape.t27", "t27b": "blocked", "blocker": "type []T", "reason": "unimplemented"}, - {"path": "specs/port/trinity/src/tri/gen_fuzz.t27", "t27b": "blocked", "blocker": "type []T", "reason": "unimplemented"}, - {"path": "specs/port/trinity/src/tri/gen_gradient.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/port/trinity/src/tri/gen_gradient_descent.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, + {"path": "specs/port/trinity/src/tri/gen_bezier.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/tri/gen_cache.t27", "t27b": "blocked", "blocker": "type ?T", "reason": "unimplemented"}, + {"path": "specs/port/trinity/src/tri/gen_caesar.t27", "t27b": "blocked", "blocker": "StmtFor", "reason": "unimplemented"}, + {"path": "specs/port/trinity/src/tri/gen_color.t27", "t27b": "blocked", "blocker": "ExprLiteral(char literal)", "reason": "unimplemented"}, + {"path": "specs/port/trinity/src/tri/gen_cross_entropy.t27", "t27b": "blocked", "blocker": "StmtFor", "reason": "unimplemented"}, + {"path": "specs/port/trinity/src/tri/gen_cursor.t27", "t27b": "blocked", "blocker": "type ?T", "reason": "unimplemented"}, + {"path": "specs/port/trinity/src/tri/gen_escape.t27", "t27b": "blocked", "blocker": "type ?T", "reason": "unimplemented"}, + {"path": "specs/port/trinity/src/tri/gen_fuzz.t27", "t27b": "blocked", "blocker": "ExprArrayLiteral", "reason": "unimplemented"}, + {"path": "specs/port/trinity/src/tri/gen_gradient.t27", "t27b": "blocked", "blocker": "ExprArrayLiteral", "reason": "unimplemented"}, + {"path": "specs/port/trinity/src/tri/gen_gradient_descent.t27", "t27b": "blocked", "blocker": "ExprIf", "reason": "unimplemented"}, {"path": "specs/port/trinity/src/tri/gen_image.t27", "t27b": "blocked", "blocker": "StmtExpr", "reason": "unimplemented"}, {"path": "specs/port/trinity/src/tri/gen_kmeans.t27", "t27b": "blocked", "blocker": "type ?T", "reason": "unimplemented"}, - {"path": "specs/port/trinity/src/tri/gen_leb128.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/port/trinity/src/tri/gen_linear_regression.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/port/trinity/src/tri/gen_matrix3x3.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/port/trinity/src/tri/gen_mock.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/port/trinity/src/tri/gen_neuron.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/port/trinity/src/tri/gen_quaternion.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/port/trinity/src/tri/gen_ray.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/port/trinity/src/tri/gen_rect.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/port/trinity/src/tri/gen_relu.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/port/trinity/src/tri/gen_rle.t27", "t27b": "blocked", "blocker": "type []T", "reason": "unimplemented"}, + {"path": "specs/port/trinity/src/tri/gen_leb128.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/tri/gen_linear_regression.t27", "t27b": "blocked", "blocker": "StmtFor", "reason": "unimplemented"}, + {"path": "specs/port/trinity/src/tri/gen_matrix3x3.t27", "t27b": "blocked", "blocker": "ExprArrayLiteral", "reason": "unimplemented"}, + {"path": "specs/port/trinity/src/tri/gen_mock.t27", "t27b": "blocked", "blocker": "StmtFor(range)", "reason": "unimplemented"}, + {"path": "specs/port/trinity/src/tri/gen_neuron.t27", "t27b": "blocked", "blocker": "StmtForRange", "reason": "unimplemented"}, + {"path": "specs/port/trinity/src/tri/gen_quaternion.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/tri/gen_ray.t27", "t27b": "blocked", "blocker": "type ?T", "reason": "unimplemented"}, + {"path": "specs/port/trinity/src/tri/gen_rect.t27", "t27b": "pass"}, + {"path": "specs/port/trinity/src/tri/gen_relu.t27", "t27b": "blocked", "blocker": "ExprIf", "reason": "unimplemented"}, + {"path": "specs/port/trinity/src/tri/gen_rle.t27", "t27b": "blocked", "blocker": "StmtForRange", "reason": "unimplemented"}, {"path": "specs/port/trinity/src/tri/gen_rsa_simple.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/gen_rwlock.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/gen_semaphore.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/tri/gen_snapshot.t27", "t27b": "pass"}, - {"path": "specs/port/trinity/src/tri/gen_softmax.t27", "t27b": "blocked", "blocker": "type []T", "reason": "unimplemented"}, - {"path": "specs/port/trinity/src/tri/gen_test_runner.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, + {"path": "specs/port/trinity/src/tri/gen_softmax.t27", "t27b": "blocked", "blocker": "type void", "reason": "unimplemented"}, + {"path": "specs/port/trinity/src/tri/gen_test_runner.t27", "t27b": "blocked", "blocker": "StmtFor(range)", "reason": "unimplemented"}, {"path": "specs/port/trinity/src/tri/gen_work_stealing.t27", "t27b": "blocked", "blocker": "StmtExpr", "reason": "unimplemented"}, - {"path": "specs/port/trinity/src/vibeec/validation_engine.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, + {"path": "specs/port/trinity/src/vibeec/validation_engine.t27", "t27b": "pass"}, {"path": "specs/port/trinity/src/wasm_stubs/auto_shard_stub.t27", "t27b": "blocked", "blocker": "type ?T", "reason": "unimplemented"}, - {"path": "specs/port/trios/apps/trios-macos/rings/RUST-13/clade-meshd/src/transport.t27", "t27b": "blocked", "blocker": "ExprIdentifier statement", "reason": "unimplemented"}, + {"path": "specs/port/trios/apps/trios-macos/rings/RUST-13/clade-meshd/src/transport.t27", "t27b": "blocked", "blocker": "ExprCall(method)", "reason": "unimplemented"}, {"path": "specs/port/trios/apps/trios-macos/rings/RUST-13/trios-mesh/src/bin/smoke_m1.t27", "t27b": "blocked", "blocker": "type (tuple)", "reason": "unimplemented"}, - {"path": "specs/port/trios/apps/trios-macos/rings/RUST-13/trios-mesh/tools/ad9361_config.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, + {"path": "specs/port/trios/apps/trios-macos/rings/RUST-13/trios-mesh/tools/ad9361_config.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/tri-tunnel/src/main.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-bridge/src/main.t27", "t27b": "blocked", "blocker": "type ?T", "reason": "unimplemented"}, {"path": "specs/port/trios/crates/trios-cli/src/cmd/agent.t27", "t27b": "blocked", "blocker": "ExprIf", "reason": "unimplemented"}, {"path": "specs/port/trios/crates/trios-cli/src/cmd/commit.t27", "t27b": "blocked", "blocker": "type ?T", "reason": "unimplemented"}, - {"path": "specs/port/trios/crates/trios-cli/src/cmd/leaderboard.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/port/trios/crates/trios-cli/src/cmd/roster.t27", "t27b": "blocked", "blocker": "ExprIdentifier statement", "reason": "unimplemented"}, + {"path": "specs/port/trios/crates/trios-cli/src/cmd/leaderboard.t27", "t27b": "blocked", "blocker": "type ?T", "reason": "unimplemented"}, + {"path": "specs/port/trios/crates/trios-cli/src/cmd/roster.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": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/port/trios/crates/trios-cli/src/metrics.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/port/trios/crates/trios-doctor/rings/SILVER-RING-DR-00/src/lib.t27", "t27b": "blocked", "blocker": "EnumDecl", "reason": "unimplemented"}, - {"path": "specs/port/trios/crates/trios-doctor/src/main.t27", "t27b": "blocked", "blocker": "EnumDecl", "reason": "unimplemented"}, - {"path": "specs/port/trios/crates/trios-git/src/stash.t27", "t27b": "blocked", "blocker": "ExprIdentifier statement", "reason": "unimplemented"}, - {"path": "specs/port/trios/crates/trios-golden-float/build.t27", "t27b": "blocked", "blocker": "ExprIdentifier statement", "reason": "unimplemented"}, - {"path": "specs/port/trios/crates/trios-hdc/build.t27", "t27b": "blocked", "blocker": "ExprIdentifier statement", "reason": "unimplemented"}, + {"path": "specs/port/trios/crates/trios-cli/src/cmd/submit.t27", "t27b": "blocked", "blocker": "StmtLocal", "reason": "unimplemented"}, + {"path": "specs/port/trios/crates/trios-cli/src/metrics.t27", "t27b": "blocked", "blocker": "ConstDecl(str field)", "reason": "unimplemented"}, + {"path": "specs/port/trios/crates/trios-doctor/rings/SILVER-RING-DR-00/src/lib.t27", "t27b": "blocked", "blocker": "ExprSwitch", "reason": "unimplemented"}, + {"path": "specs/port/trios/crates/trios-doctor/src/main.t27", "t27b": "blocked", "blocker": "StmtFor", "reason": "unimplemented"}, + {"path": "specs/port/trios/crates/trios-git/src/stash.t27", "t27b": "pass"}, + {"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-mcp/rings/SR-02/src/discovery.t27", "t27b": "blocked", "blocker": "type ?T", "reason": "unimplemented"}, - {"path": "specs/port/trios/crates/trios-mcp/rings/SR-02/src/lib.t27", "t27b": "blocked", "blocker": "ExprIdentifier statement", "reason": "unimplemented"}, + {"path": "specs/port/trios/crates/trios-mcp/rings/SR-02/src/lib.t27", "t27b": "pass"}, {"path": "specs/port/trios/crates/trios-mesh/src/packet.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, {"path": "specs/port/trios/crates/trios-openclaw/rings/OC-01/src/lib.t27", "t27b": "blocked", "blocker": "type ?T", "reason": "unimplemented"}, - {"path": "specs/port/trios/crates/trios-physics/build.t27", "t27b": "blocked", "blocker": "ExprIdentifier statement", "reason": "unimplemented"}, - {"path": "specs/port/trios/crates/trios-physics/rings/PH-01/src/lib.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/port/trios/crates/trios-physics/src/lib.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/port/trios/crates/trios-rainbow-bridge/src/lamport.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/port/trios/crates/trios-sacred/rings/SC-00/src/lib.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/port/trios/crates/trios-sacred/rings/SC-01/src/lib.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/port/trios/crates/trios-scarab-types/rings/SR-01/src/lib.t27", "t27b": "blocked", "blocker": "EnumDecl", "reason": "unimplemented"}, + {"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": "blocked", "blocker": "type ?T", "reason": "unimplemented"}, + {"path": "specs/port/trios/crates/trios-rainbow-bridge/src/lamport.t27", "t27b": "blocked", "blocker": "type ?T", "reason": "unimplemented"}, + {"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": "blocked", "blocker": "ExprIf", "reason": "unimplemented"}, + {"path": "specs/port/trios/crates/trios-scarab-types/rings/SR-01/src/lib.t27", "t27b": "blocked", "blocker": "ExprSwitch", "reason": "unimplemented"}, {"path": "specs/port/trios/crates/trios-trinity-brain/src/phi.t27", "t27b": "blocked", "blocker": "type f32", "reason": "unimplemented"}, - {"path": "specs/providers/catalog.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/providers/gonka/deepseek-v4-flash-0731.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/providers/gonka/glm-5-2-fp8.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/providers/gonka/glm-5-3-flash.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/providers/gonka/kimi-k2-6.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/providers/gonka/minimax-m2-7.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/providers/tri_gnk_pair.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/providers/trinet/fpga-xc7a200t.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/providers/trinet/gpu-consumer-24gb.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/queen/dispatch.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/queen/task_analysis.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/queen/views.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, + {"path": "specs/providers/catalog.t27", "t27b": "pass"}, + {"path": "specs/providers/gonka/deepseek-v4-flash-0731.t27", "t27b": "pass"}, + {"path": "specs/providers/gonka/glm-5-2-fp8.t27", "t27b": "pass"}, + {"path": "specs/providers/gonka/glm-5-3-flash.t27", "t27b": "pass"}, + {"path": "specs/providers/gonka/kimi-k2-6.t27", "t27b": "pass"}, + {"path": "specs/providers/gonka/minimax-m2-7.t27", "t27b": "pass"}, + {"path": "specs/providers/tri_gnk_pair.t27", "t27b": "pass"}, + {"path": "specs/providers/trinet/fpga-xc7a200t.t27", "t27b": "pass"}, + {"path": "specs/providers/trinet/gpu-consumer-24gb.t27", "t27b": "pass"}, + {"path": "specs/queen/dispatch.t27", "t27b": "pass"}, + {"path": "specs/queen/task_analysis.t27", "t27b": "blocked", "blocker": "ExprCast(f64)", "reason": "unimplemented"}, + {"path": "specs/queen/views.t27", "t27b": "pass"}, {"path": "specs/rings/ring_103_phi_sgd.t27", "t27b": "blocked", "blocker": "type f32", "reason": "unimplemented"}, {"path": "specs/sacred/cosmology.t27", "t27b": "pass_vacuous"}, {"path": "specs/sacred/dark_matter.t27", "t27b": "pass_vacuous"}, @@ -459,188 +471,188 @@ {"path": "specs/sandbox/https_enforce.t27", "t27b": "blocked", "blocker": "StmtExpr", "reason": "unimplemented"}, {"path": "specs/sandbox/modules.t27", "t27b": "blocked", "blocker": "StmtExpr", "reason": "unimplemented"}, {"path": "specs/sandbox/orphan_detection.t27", "t27b": "blocked", "blocker": "StmtExpr", "reason": "unimplemented"}, - {"path": "specs/skills/t27-measure-corpus.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/t27-phi-loop.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/t27-providers-steward.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/t27-self-host.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/t27-tri-pipeline.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/t27-tri.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/t27-wave-audit.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/t27-wrap-up.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/trinity-blog-post.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/trinity-board-sync.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/trinity-cloud.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/trinity-connect-accounts.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/trinity-doctor.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/trinity-farm-garden.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/trinity-fpga-synth.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/trinity-god-mode.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/trinity-implement-issue.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/trinity-queen-hive-visuals.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/trinity-review-code.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/trinity-run-tests.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/trinity-scholar.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/trinity-status.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/trinity-tech-tree.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/trinity-tri.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/trinity-trinity-test.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/trinity-ux-wave.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/trinity-vibee-gen.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/trinity-vsa-verify.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/skills/trinity-wave.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/system/unified-agent-operations.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, + {"path": "specs/skills/t27-measure-corpus.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/t27-phi-loop.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/t27-providers-steward.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/t27-self-host.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/t27-tri-pipeline.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/t27-tri.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/t27-wave-audit.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/t27-wrap-up.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/trinity-blog-post.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/trinity-board-sync.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/trinity-cloud.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/trinity-connect-accounts.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/trinity-doctor.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/trinity-farm-garden.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/trinity-fpga-synth.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/trinity-god-mode.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/trinity-implement-issue.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/trinity-queen-hive-visuals.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/trinity-review-code.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/trinity-run-tests.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/trinity-scholar.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/trinity-status.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/trinity-tech-tree.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/trinity-tri.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/trinity-trinity-test.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/trinity-ux-wave.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/trinity-vibee-gen.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/trinity-vsa-verify.t27", "t27b": "pass_vacuous"}, + {"path": "specs/skills/trinity-wave.t27", "t27b": "pass_vacuous"}, + {"path": "specs/system/unified-agent-operations.t27", "t27b": "pass_vacuous"}, {"path": "specs/ternary/activation_quantizer.t27", "t27b": "pass"}, - {"path": "specs/ternary/bitnet_layer.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, + {"path": "specs/ternary/bitnet_layer.t27", "t27b": "pass"}, {"path": "specs/ternary/bitnet_majority.t27", "t27b": "pass"}, - {"path": "specs/ternary/bitnet_mlp.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/ternary/bitnet_mlp3.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/ternary/bitnet_neuron.t27", "t27b": "blocked", "blocker": "FnDecl", "reason": "unimplemented"}, - {"path": "specs/ternary/bitnet_neuron_nchunk.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/ternary/clocked_counter.t27", "t27b": "blocked", "blocker": "StmtAssign(undeclared)", "reason": "unimplemented"}, + {"path": "specs/ternary/bitnet_mlp.t27", "t27b": "pass"}, + {"path": "specs/ternary/bitnet_mlp3.t27", "t27b": "pass"}, + {"path": "specs/ternary/bitnet_neuron.t27", "t27b": "pass"}, + {"path": "specs/ternary/bitnet_neuron_nchunk.t27", "t27b": "pass"}, + {"path": "specs/ternary/clocked_counter.t27", "t27b": "pass"}, {"path": "specs/ternary/comb_bitnet_layer.t27", "t27b": "pass"}, {"path": "specs/ternary/comb_bitnet_neuron.t27", "t27b": "pass"}, {"path": "specs/ternary/comb_ternary_dot.t27", "t27b": "pass"}, - {"path": "specs/ternary/gft_add_rne.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, + {"path": "specs/ternary/gft_add_rne.t27", "t27b": "pass"}, {"path": "specs/ternary/gft_argmax4.t27", "t27b": "pass"}, - {"path": "specs/ternary/gft_axpy.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, - {"path": "specs/ternary/gft_bitnet_neuron.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, - {"path": "specs/ternary/gft_classifier4.t27", "t27b": "blocked", "blocker": "FnDecl", "reason": "unimplemented"}, - {"path": "specs/ternary/gft_classify.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, - {"path": "specs/ternary/gft_classify3.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, + {"path": "specs/ternary/gft_axpy.t27", "t27b": "pass"}, + {"path": "specs/ternary/gft_bitnet_neuron.t27", "t27b": "pass"}, + {"path": "specs/ternary/gft_classifier4.t27", "t27b": "pass"}, + {"path": "specs/ternary/gft_classify.t27", "t27b": "pass"}, + {"path": "specs/ternary/gft_classify3.t27", "t27b": "pass"}, {"path": "specs/ternary/gft_dot2.t27", "t27b": "pass"}, - {"path": "specs/ternary/gft_dot2_rne.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, + {"path": "specs/ternary/gft_dot2_rne.t27", "t27b": "pass"}, {"path": "specs/ternary/gft_dot4.t27", "t27b": "pass"}, - {"path": "specs/ternary/gft_dot4_rne.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, - {"path": "specs/ternary/gft_dot8.t27", "t27b": "blocked", "blocker": "FnDecl", "reason": "unimplemented"}, + {"path": "specs/ternary/gft_dot4_rne.t27", "t27b": "pass"}, + {"path": "specs/ternary/gft_dot8.t27", "t27b": "pass"}, {"path": "specs/ternary/gft_exp2.t27", "t27b": "pass"}, - {"path": "specs/ternary/gft_hidden2.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, + {"path": "specs/ternary/gft_hidden2.t27", "t27b": "pass"}, {"path": "specs/ternary/gft_layer2.t27", "t27b": "pass"}, - {"path": "specs/ternary/gft_layer3.t27", "t27b": "blocked", "blocker": "FnDecl", "reason": "unimplemented"}, - {"path": "specs/ternary/gft_layer4.t27", "t27b": "blocked", "blocker": "FnDecl", "reason": "unimplemented"}, + {"path": "specs/ternary/gft_layer3.t27", "t27b": "pass"}, + {"path": "specs/ternary/gft_layer4.t27", "t27b": "pass"}, {"path": "specs/ternary/gft_log2.t27", "t27b": "pass"}, - {"path": "specs/ternary/gft_logistic.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, - {"path": "specs/ternary/gft_madd.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, - {"path": "specs/ternary/gft_mlp2.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, - {"path": "specs/ternary/gft_mlp3.t27", "t27b": "blocked", "blocker": "FnDecl", "reason": "unimplemented"}, + {"path": "specs/ternary/gft_logistic.t27", "t27b": "pass"}, + {"path": "specs/ternary/gft_madd.t27", "t27b": "pass"}, + {"path": "specs/ternary/gft_mlp2.t27", "t27b": "pass"}, + {"path": "specs/ternary/gft_mlp3.t27", "t27b": "pass"}, {"path": "specs/ternary/gft_mul_rne.t27", "t27b": "pass"}, - {"path": "specs/ternary/gft_neuron_full.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, + {"path": "specs/ternary/gft_neuron_full.t27", "t27b": "pass"}, {"path": "specs/ternary/gft_nll.t27", "t27b": "pass"}, {"path": "specs/ternary/gft_recip.t27", "t27b": "pass"}, {"path": "specs/ternary/gft_relu.t27", "t27b": "pass"}, - {"path": "specs/ternary/gft_sadd.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, - {"path": "specs/ternary/gft_sgd_step.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, - {"path": "specs/ternary/gft_signed_dot4.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, - {"path": "specs/ternary/gft_signed_mac.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, - {"path": "specs/ternary/gft_smul.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, - {"path": "specs/ternary/gft_softmax4.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, - {"path": "specs/ternary/gft_softmax_grad4.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, - {"path": "specs/ternary/gft_train1.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, - {"path": "specs/ternary/gft_train2.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, - {"path": "specs/ternary/gft_train2relu.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, - {"path": "specs/ternary/gft_xorbp.t27", "t27b": "blocked", "blocker": "FnDecl", "reason": "unimplemented"}, - {"path": "specs/ternary/gft_xorbp2.t27", "t27b": "blocked", "blocker": "FnDecl", "reason": "unimplemented"}, - {"path": "specs/ternary/gft_xornet.t27", "t27b": "blocked", "blocker": "FnDecl", "reason": "unimplemented"}, - {"path": "specs/ternary/gft_xorpercep.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, - {"path": "specs/ternary/gft_xorpercep3.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, - {"path": "specs/ternary/gft_xorpercep4.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, - {"path": "specs/ternary/gft_xortrain.t27", "t27b": "blocked", "blocker": "ExprBinary(<< >>)", "reason": "unimplemented"}, - {"path": "specs/ternary/stream_ternary_mac.t27", "t27b": "blocked", "blocker": "StmtAssign(undeclared)", "reason": "unimplemented"}, + {"path": "specs/ternary/gft_sadd.t27", "t27b": "pass"}, + {"path": "specs/ternary/gft_sgd_step.t27", "t27b": "pass"}, + {"path": "specs/ternary/gft_signed_dot4.t27", "t27b": "pass"}, + {"path": "specs/ternary/gft_signed_mac.t27", "t27b": "pass"}, + {"path": "specs/ternary/gft_smul.t27", "t27b": "pass"}, + {"path": "specs/ternary/gft_softmax4.t27", "t27b": "pass"}, + {"path": "specs/ternary/gft_softmax_grad4.t27", "t27b": "pass"}, + {"path": "specs/ternary/gft_train1.t27", "t27b": "pass"}, + {"path": "specs/ternary/gft_train2.t27", "t27b": "pass"}, + {"path": "specs/ternary/gft_train2relu.t27", "t27b": "pass"}, + {"path": "specs/ternary/gft_xorbp.t27", "t27b": "pass"}, + {"path": "specs/ternary/gft_xorbp2.t27", "t27b": "pass"}, + {"path": "specs/ternary/gft_xornet.t27", "t27b": "pass"}, + {"path": "specs/ternary/gft_xorpercep.t27", "t27b": "pass"}, + {"path": "specs/ternary/gft_xorpercep3.t27", "t27b": "pass"}, + {"path": "specs/ternary/gft_xorpercep4.t27", "t27b": "pass"}, + {"path": "specs/ternary/gft_xortrain.t27", "t27b": "pass"}, + {"path": "specs/ternary/stream_ternary_mac.t27", "t27b": "pass"}, {"path": "specs/ternary/ternary_full_adder.t27", "t27b": "pass"}, {"path": "specs/ternary/ternary_mac.t27", "t27b": "pass"}, {"path": "specs/ternary/ternary_ripple_adder.t27", "t27b": "pass"}, {"path": "specs/ternary/ternary_xor.t27", "t27b": "pass"}, - {"path": "specs/tools/mcp/gitbutler.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/mcp/inngest-dev.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/mcp/needle.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/mcp/neon.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/mcp/notebooklm.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/mcp/railway-mcp-server.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/mcp/t27-traceability.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/mcp/tri-mcp.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/mcp/tri-ssot.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/mcp/trinity.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/mcp/zig-docs.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/abandoned.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/cell.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/census.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/ci.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/competitors.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/discard.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/doctor.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/elab.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/emit.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/experience.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/fleet.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/fmt.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/fpga.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/gates.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/gen.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/harness.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/health.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/hooks.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/issues.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/jumps.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/kinds.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/lean.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/ledgers.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/loop.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/merging.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/misread.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/mods.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/mutate.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/now.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/one-away.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/orphaned.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/pr.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/prose.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/quantifiers.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/red.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/reseal.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/rtl.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/seals.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/serve.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/skill.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/status.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/sweep.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/synth.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/test.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/topic.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/types.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/unparsed.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/vectors.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/verdict.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/vsim.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/window.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/tri/worktrees.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/bench.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/bio.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/blindspots.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/conscious.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/constants.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/cosmos.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/dashboard.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/fib.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/fpga.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/gematria.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/govern.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/hardware.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/identity.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/lucas.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/mesh.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/needle-check.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/needle-search.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/needle.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/omega.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/particles.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/phi.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/quantum.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/reputation.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/sacred-const.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/spiral.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/swarm.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/test.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/vsa.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/tools/trinity/tri/wallet.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, + {"path": "specs/tools/mcp/gitbutler.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/mcp/inngest-dev.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/mcp/needle.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/mcp/neon.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/mcp/notebooklm.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/mcp/railway-mcp-server.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/mcp/t27-traceability.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/mcp/tri-mcp.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/mcp/tri-ssot.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/mcp/trinity.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/mcp/zig-docs.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/abandoned.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/cell.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/census.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/ci.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/competitors.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/discard.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/doctor.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/elab.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/emit.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/experience.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/fleet.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/fmt.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/fpga.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/gates.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/gen.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/harness.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/health.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/hooks.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/issues.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/jumps.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/kinds.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/lean.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/ledgers.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/loop.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/merging.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/misread.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/mods.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/mutate.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/now.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/one-away.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/orphaned.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/pr.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/prose.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/quantifiers.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/red.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/reseal.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/rtl.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/seals.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/serve.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/skill.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/status.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/sweep.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/synth.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/test.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/topic.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/types.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/unparsed.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/vectors.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/verdict.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/vsim.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/window.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/tri/worktrees.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/bench.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/bio.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/blindspots.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/conscious.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/constants.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/cosmos.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/dashboard.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/fib.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/fpga.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/gematria.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/govern.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/hardware.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/identity.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/lucas.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/mesh.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/needle-check.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/needle-search.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/needle.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/omega.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/particles.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/phi.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/quantum.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/reputation.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/sacred-const.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/spiral.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/swarm.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/test.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/vsa.t27", "t27b": "pass_vacuous"}, + {"path": "specs/tools/trinity/tri/wallet.t27", "t27b": "pass_vacuous"}, {"path": "specs/traffic_animator.t27", "t27b": "blocked", "blocker": "ExprBinary statement", "reason": "unimplemented"}, {"path": "specs/tri/agent/agent_run.t27", "t27b": "pass_vacuous"}, {"path": "specs/tri/agent/agents.t27", "t27b": "pass_vacuous"}, @@ -658,74 +670,74 @@ {"path": "specs/tri/pipeline/spec_writer.t27", "t27b": "pass_vacuous"}, {"path": "specs/tri/pipeline/workflow_executor.t27", "t27b": "pass_vacuous"}, {"path": "specs/tri/pipeline/workflow_parser.t27", "t27b": "pass_vacuous"}, - {"path": "specs/tri/sort/selection_sort.t27", "t27b": "blocked", "blocker": "type []T", "reason": "unimplemented"}, + {"path": "specs/tri/sort/selection_sort.t27", "t27b": "blocked", "blocker": "ExprCall(method)", "reason": "unimplemented"}, {"path": "specs/tri/t27b/steward.t27", "t27b": "pass"}, {"path": "specs/tri/utils/args.t27", "t27b": "blocked", "blocker": "type (alias)", "reason": "unimplemented"}, {"path": "specs/tri/utils/arrow_time.t27", "t27b": "pass_vacuous"}, {"path": "specs/tri/utils/colors.t27", "t27b": "pass_vacuous"}, {"path": "specs/tri/utils/error.t27", "t27b": "pass_vacuous"}, {"path": "specs/tri/utils/string.t27", "t27b": "pass_vacuous"}, - {"path": "specs/trinet/etx.t27", "t27b": "blocked", "blocker": "type f64", "reason": "unimplemented"}, - {"path": "specs/trinity/build_graph.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/abi.c-api.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/agent.daemons.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/agent.phi-loop.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/agent.tri-api.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/api.http-server.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/archive.legacy.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/bench.suite.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/bot.tri-bot.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/brain.regions.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/catalog.spec-mirror.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/catalog.world-scan.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/cli.tri.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/convert.b2t.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/examples.zig.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/ext.vscode-swe.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/fpga.adapter.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/fpga.in-repo.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/lib.trinity.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/llm.firebird.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/llm.igla-chat.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/mcp.needle-mcp.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/mcp.trinity-mcp.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/native.canvas.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/native.node-gui.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/native.queen-app.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/node.trinity-node.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/numeric.golden-float.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/ops.deploy-infra.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/ops.railway-cli.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/pkg.vendored-cache.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/queen.lib.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/registry.commands.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/release.packaging.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/research.nexus-docs.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/research.programs.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/research.unreferenced-sources.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/search.vsa-index.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/specs.t27-vendored-compiler.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/specs.tri-corpus.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/specs.vibee-corpus.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/state.trinity-dir.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/test.graph.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/tools.scripts.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/train.hslm.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/training.targets.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/tri27.programs.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/tri27.toolchain.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/vibee.compiler.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/vsa.zig-hdc.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/web.docsite.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/web.queen-web.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/capabilities/web.site.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/compiler_matrix.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/trinity/project.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/ui/queen_evidence.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, - {"path": "specs/vsa/similarity_search.t27", "t27b": "blocked", "blocker": "type []T", "reason": "unimplemented"}, - {"path": "specs/xilinx7/far.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"}, + {"path": "specs/trinet/etx.t27", "t27b": "pass"}, + {"path": "specs/trinity/build_graph.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/abi.c-api.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/agent.daemons.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/agent.phi-loop.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/agent.tri-api.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/api.http-server.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/archive.legacy.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/bench.suite.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/bot.tri-bot.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/brain.regions.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/catalog.spec-mirror.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/catalog.world-scan.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/cli.tri.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/convert.b2t.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/examples.zig.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/ext.vscode-swe.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/fpga.adapter.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/fpga.in-repo.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/lib.trinity.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/llm.firebird.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/llm.igla-chat.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/mcp.needle-mcp.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/mcp.trinity-mcp.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/native.canvas.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/native.node-gui.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/native.queen-app.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/node.trinity-node.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/numeric.golden-float.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/ops.deploy-infra.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/ops.railway-cli.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/pkg.vendored-cache.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/queen.lib.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/registry.commands.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/release.packaging.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/research.nexus-docs.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/research.programs.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/research.unreferenced-sources.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/search.vsa-index.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/specs.t27-vendored-compiler.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/specs.tri-corpus.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/specs.vibee-corpus.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/state.trinity-dir.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/test.graph.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/tools.scripts.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/train.hslm.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/training.targets.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/tri27.programs.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/tri27.toolchain.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/vibee.compiler.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/vsa.zig-hdc.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/web.docsite.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/web.queen-web.t27", "t27b": "pass"}, + {"path": "specs/trinity/capabilities/web.site.t27", "t27b": "pass"}, + {"path": "specs/trinity/compiler_matrix.t27", "t27b": "pass_vacuous"}, + {"path": "specs/trinity/project.t27", "t27b": "pass"}, + {"path": "specs/ui/queen_evidence.t27", "t27b": "pass"}, + {"path": "specs/vsa/similarity_search.t27", "t27b": "blocked", "blocker": "VarDecl(module, undefined)", "reason": "unimplemented"}, + {"path": "specs/xilinx7/far.t27", "t27b": "pass"}, {"path": "specs/xilinx7/flow.t27", "t27b": "pass"}, {"path": "specs/xilinx7/frames.t27", "t27b": "pass"}, - {"path": "specs/xilinx7/packets.t27", "t27b": "blocked", "blocker": "type [N]T", "reason": "unimplemented"} + {"path": "specs/xilinx7/packets.t27", "t27b": "pass"} ] }