[trissim]

P717 — ready for the gaming merge queue

Head: 2b2fefd4cd4d4838de75c5da3217f6936df7d722. Source +298/-119, net +179 (limit +223). No main merge after the replacement order. Not installed or merged.

What changed

• Connector.watch_orders starts the task without opening the wire. Each worker pass owns its context; it is closed before the minute timer.
• TodoStore.stalled only observes active held orders. OpenTodoState.open_names() derives eligible states from their declarations; blocked/frozen state stays visible on the board but is not eligible. No P-number list.
• Assignment validates the replacement first. The incarnation's assigned hook folds the strike and release into the same Todo result and SQLite upsert. A refused or unavailable replacement leaves the owner and strikes unchanged. The older two-write distance rule now uses this same operation.
• Ordinary incarnations require the commander; StallWatcherIncarnation owns Core's permission and assignment consequence. Deleted the permission subclasses, Stall-prefixed operation/action copies, separate watcher module, destructive pre-release loop and silent conflict skips in that loop.
• Deleted the new parking/failure tables and their CLI/board paths. Existing commander configuration owns parked units; the existing service log records watcher errors.
• Restored the transcript reader's source selection and checked actual turns, not the truthiness of its result object.

Verification

Ten existing files were run on origin/main at a6799790f and the branch: test_commander_problem_orders, test_tool_replies, test_connector, test_standing_rules, test_todos, test_tools, test_declared_family, test_turn_identity_equality, test_goal_nominal, test_goals.

• Main: 157 passed, 9 failed. Branch's ten files: 158 passed, 8 failed; every failure also fails on main. Production source has not changed since that comparison.
• Final focused run: 13 passed, including all eight watcher cases, migrated assignment callers, the distance rule and concurrent assignment.
• The actual connector application on a copied bus completed three successful passes. Between every pass, a separate process acquired the wire, registry and exclusive route locks and completed maintenance. No watcher error was logged. The original Todo stayed unchanged.
• A copied blocked order refused a direct reassignment and kept its owner, strikes and release history exactly unchanged. A missing check directory also refused a real reassignment before any Todo change. With no spare, the original holder stays assigned.
• Saved native records are controlled fixture data; native history reading, connector lifecycle, state, locks and maintenance are real. No provider input or live-root writes.
• Both complete-root ratchets: src rc 0 / tools rc 0. No new budget added; inherited budget lines remain. Tools have no diff.

Existing main failures are wording-refusal expectations (three tests), withdrawn-order setup, read-only result decoding, read-tool inventory, open-Todo decoding and an event-consumer fixture with no session owner. They were not patched in this task.

Source evidence

Existing NRA parser/index covered 405 Python files with no parse omissions, before and after. References are lexical evidence, not a claim that dynamic receiver bindings were proved. The existing incarnation, Todo, state-family, transcript and connector owners were read directly. There is one assignment-result hook call, and no competing pre-release writer in the watcher.

Evidence: /home/ts/.cache/agent-scratch/core-pi-durable/P717/: main-ten.log, final-ten.log, served-final.log, delivered-{src,tools}-ratchet.log, delivered-source.jsonl, and served-final/test_three_connector_passes_al0/three-pass-result.json. Earlier failed proof setups remain recorded; the final served proof passes.

[Copilot]

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

An organization owner can choose the repository organization as the billing source for reviews requested by members with a paid Copilot license. Learn about Copilot code review billing.