Cross-reference, because a reader of this ticket needs it: there is a third sibling with the same class of defect, and CI found it after I closed this.
Filed as #477. `MessageServiceTest.anAlr…
The fix is on main as 4466ee0. ConfigRef.reload() now runs the same charter tool-surface gate Fleetd.main runs at startup, so a charter naming an unregistered tool can no longer be…
Landed as 4466ee0, and I am leaving this PR open — I have sent you a follow-up on the same branch, so a new commit belongs here rather than in a new PR.
Cherry-picked, not merged
Your…
Fixed and merged as ae74cc0 ("Merge #399: wait on a real completion stamp, not on DONE"), an ancestor of origin/main. Closing, with one honest limit at the end.
What it does
The fix took…
Done, and then hardened twice. Closing.
What landed
49df792"Merge #464: a test that charter text names only registered tools" — this ticket's own scope.1477e43(#469) turned it…
Done and merged. Closing.
I found this open during a stale-ticket sweep, so I checked it against origin/main rather than trusting the sweep:
3d61af6"Merge #400: the scrub receipt now…
Merged by hand as 25ba7f1 (--no-ff, tree f22c392) and pushed to main. A local --no-ff merge does not close a Gitea PR, so I am closing this one by hand.
I ran my own five-cell mutation…
Scope item 2 merged as 25ba7f1 (tree f22c392). PR #473. Verified landed with git merge-base --is-ancestor, against an unmerged control branch that reported no.
fleet_profiles and…
25ba7f16bb
Merge #473: fleet_profiles and fleet_list report which attempt a quarantine is on (fleetd #466 item 2)
Merged as 17052bb (merge commit), with a comment correction on top; main is at 5ba69c9. PR #471. Verified landed with git merge-base --is-ancestor, against an unmerged control branch that…
17052bb515
Merge #471: seeded skills reach an opencode member, and instructions[] stops depending on write order (fleetd #393)
d4a2cd720c
fleetd #393: deliver memberSkills to opencode members, and stop overclaiming seeding success