diff --git a/.trinity/seals/worktrees_TriWorktreeReap.json b/.trinity/seals/worktrees_TriWorktreeReap.json index d5560e48d7..2bd4fa8590 100644 --- a/.trinity/seals/worktrees_TriWorktreeReap.json +++ b/.trinity/seals/worktrees_TriWorktreeReap.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+ea35d9b72", + "built_by": "t27c-bootstrap@0.5.2+ae19b93cd", "closure": [ { "spec": "specs/tri/lab/receipt.t27", @@ -11,16 +11,16 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:8d09198aa53a8bdc23093d3cffb3512bc8380d7489f2246d662f60e96ab45a1d", + "gen_hash_c": "sha256:ef394961ea6804088b9a81da13baebb8f1cbfe6e1187e62e3f7122b17c234c4c", "gen_hash_rust": "sha256:a2b4fae679bfa41d9985a8c72810452a1748b7a490f224082d1d07b617ba9bd5", "gen_hash_verilog": "sha256:716b12e948192e930b1e51c9f46cf0a674355d58e9e87d00137b27cbdadab708", - "gen_hash_zig": "sha256:624311ddde0ac3622b5eeb5ef74a1e74b6ec59bd944d2ff8157f828947de373e", + "gen_hash_zig": "sha256:8096bea0fc9750a5617560324c12c28001d6204e2371f65177005bb33612153d", "module": "TriWorktreeReap", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-19T03:51:32Z", + "sealed_at": "2026-10-19T06:24:35Z", "sealed_by": "t27c-bootstrap@0.5.2", - "spec_hash": "sha256:b01a0e09684d6e3c6c055a8a6f9efb69215f2f0ac4ffeff1a5df33fa403748fd", + "spec_hash": "sha256:e6181a331c212c15d5bd38a26ab84a2d0f8f5885e7fcf2ae686063d219311016", "spec_path": "specs/tri/worktrees/reap.t27", "tests": { "failed": 0, diff --git a/docs/reports/t27b_expectations.json b/docs/reports/t27b_expectations.json index 27e283b808..6ca382f91b 100644 --- a/docs/reports/t27b_expectations.json +++ b/docs/reports/t27b_expectations.json @@ -47,10 +47,13 @@ {"path": "specs/analog/linear.t27", "t27b": "pass"}, {"path": "specs/analog/linear_zoh.t27", "t27b": "blocked", "blocker": "ExprCall(@sin)", "reason": "unimplemented"}, {"path": "specs/analog/mos_psp103.t27", "t27b": "pass"}, + {"path": "specs/analog/mos_psp103_50c_data.t27", "t27b": "pass"}, {"path": "specs/analog/mos_psp103_data.t27", "t27b": "pass"}, {"path": "specs/analog/mos_table.t27", "t27b": "pass"}, + {"path": "specs/analog/sar_adc.t27", "t27b": "pass"}, {"path": "specs/analog/sar_cdac.t27", "t27b": "pass"}, {"path": "specs/analog/sar_comparator.t27", "t27b": "pass"}, + {"path": "specs/analog/sar_comparator_psp.t27", "t27b": "pass"}, {"path": "specs/analog/sar_logic.t27", "t27b": "pass"}, {"path": "specs/analog/sar_switch.t27", "t27b": "pass"}, {"path": "specs/api/c_abi.t27", "t27b": "pass"}, @@ -572,6 +575,7 @@ {"path": "specs/ml/loss/huber_loss.t27", "t27b": "pass"}, {"path": "specs/ml/loss/kl_divergence.t27", "t27b": "pass"}, {"path": "specs/ml/loss/mse_loss.t27", "t27b": "pass"}, + {"path": "specs/ml/ngram_hslm.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, {"path": "specs/ml/optimizer/adagrad.t27", "t27b": "pass"}, {"path": "specs/ml/optimizer/adam.t27", "t27b": "pass"}, {"path": "specs/ml/optimizer/adamw.t27", "t27b": "pass"}, @@ -2001,6 +2005,7 @@ {"path": "specs/tri/utils/time.t27", "t27b": "blocked", "blocker": "ExprCall(@divFloor)", "reason": "unimplemented"}, {"path": "specs/tri/utils/utf8.t27", "t27b": "pass"}, {"path": "specs/tri/utils/version.t27", "t27b": "pass"}, + {"path": "specs/tri/worktrees/reap.t27", "t27b": "pass"}, {"path": "specs/trinet/eth_top_ax7203.t27", "t27b": "pass"}, {"path": "specs/trinet/etx.t27", "t27b": "pass"}, {"path": "specs/trinet/ledger.t27", "t27b": "pass"}, diff --git a/specs/tri/worktrees/reap.t27 b/specs/tri/worktrees/reap.t27 index 93c7d1c64f..f328d96d66 100644 --- a/specs/tri/worktrees/reap.t27 +++ b/specs/tri/worktrees/reap.t27 @@ -250,7 +250,7 @@ test a_lock_is_held_by_nobody_a_live_pid_a_dead_one_or_an_unknown { test a_branch_and_a_path_are_plain_or_not { assert plain("claude/tri-worktrees-reap-10805") == true; assert plain("worktree-agent-a5476fea5f7b1db56") == true; - assert plain("/Users/playom/t27/.claude/worktrees/agent-a1a8e2b61031e3d98") == true; + assert plain("/Users/dev/t27/.claude/worktrees/agent-a1a8e2b61031e3d98") == true; assert plain("/private/tmp/claude-501/-Users-playom/04183dc5-60f9/scratchpad/epic/wt_4a") == true; assert plain("") == false; assert plain("/Users/play om/t27") == false;