Luis Mendes
a0c7f5188e
feat(plan): wire invariant reconciliation actor auto-invocation
...
Wire the InvariantReconciliationActor into PlanLifecycleService phase
transitions so that invariant reconciliation runs automatically at each
lifecycle boundary. This ensures plan invariants are verified before
processing can proceed.
Changes:
- Add InvariantService as a new optional dependency on PlanLifecycleService
(injected via the DI container as a Singleton provider)
- Add _run_invariant_reconciliation() method that creates and invokes the
reconciliation actor, emits INVARIANT_RECONCILED events on success, and
raises ReconciliationBlockedError (with INVARIANT_VIOLATED event) on
failure to block the phase transition
- Invoke reconciliation at three phase transition points:
1. start_strategize() - after preflight guardrails, before PROCESSING
2. execute_plan() - after estimation/error patterns, before Execute
3. apply_plan() - after state validation, before Apply transition
- Subscribe to CORRECTION_APPLIED events for post-correction reconciliation
(best-effort, failures logged but not re-raised)
- Per-plan disable: reconciliation is skipped when plan.invariant_actor is
None or "__optional__", following the established estimation actor pattern
- Decision recording: the reconciliation actor already records
invariant_enforced decisions via DecisionService
Tests:
- Behave: 10 scenarios in invariant_reconciliation_autowire.feature
covering auto-invocation, skip-when-disabled, transition blocking,
decision recording, and post-correction reconciliation
- Robot: 5 integration tests in invariant_reconciliation_autowire.robot
- All nox sessions pass (lint, typecheck, unit_tests, integration_tests,
coverage_report at 97%)
ISSUES CLOSED : #829
2026-04-05 05:46:05 +00:00
..
2026-04-03 00:29:46 +00:00
2026-03-31 16:01:58 +00:00
2026-03-31 21:47:12 +00:00
2026-04-03 00:29:46 +00:00
2026-04-04 20:38:16 +00:00
2026-04-04 20:38:16 +00:00
2026-04-04 20:38:16 +00:00
2026-04-04 20:38:16 +00:00
2026-04-04 20:38:16 +00:00
2026-04-02 23:53:13 +00:00
2026-04-01 06:16:41 +00:00
2026-04-01 06:16:41 +00:00
2026-03-26 06:19:14 +00:00
2026-03-26 06:19:14 +00:00
2026-03-31 21:47:12 +00:00
2026-03-30 23:40:36 +01:00
2026-04-03 00:23:58 +00:00
2026-03-26 13:41:31 +00:00
2026-03-30 18:27:59 +00:00
2026-04-04 20:38:16 +00:00
2026-03-30 19:35:23 +00:00
2026-03-31 21:47:12 +00:00
2026-03-28 05:27:14 +00:00
2026-03-28 05:27:14 +00:00
2026-03-26 13:41:31 +00:00
2026-03-31 16:01:58 +00:00
2026-03-31 16:01:58 +00:00
2026-04-02 16:53:03 +00:00
2026-04-04 20:38:16 +00:00
2026-03-30 17:06:49 -04:00
2026-03-31 21:47:12 +00:00
2026-03-27 23:53:22 +00:00
2026-04-04 20:38:16 +00:00
2026-04-02 17:00:53 +00:00
2026-04-02 16:59:07 +00:00
2026-04-02 06:21:49 +00:00
2026-03-30 13:18:07 +01:00
2026-03-30 13:18:07 +01:00
2026-03-30 13:18:07 +01:00
2026-03-30 13:18:07 +01:00
2026-03-30 13:18:07 +01:00
2026-04-01 01:46:37 +00:00
2026-03-31 21:47:12 +00:00
2026-03-30 21:39:26 +00:00
2026-03-31 11:03:20 +00:00
2026-04-02 19:09:04 +00:00
2026-04-02 19:09:04 +00:00
2026-04-02 19:09:04 +00:00
2026-03-31 21:47:12 +00:00
2026-04-02 19:09:04 +00:00
2026-04-02 19:09:04 +00:00
2026-03-31 21:47:12 +00:00
2026-04-01 06:16:41 +00:00
2026-03-31 21:47:12 +00:00
2026-03-31 21:47:12 +00:00
2026-03-30 21:48:01 +00:00
2026-03-30 21:48:01 +00:00
2026-03-27 12:57:03 +00:00
2026-03-25 17:49:06 +00:00
2026-03-30 21:39:26 +00:00
2026-03-29 16:23:04 +01:00
2026-03-30 17:06:49 -04:00
2026-03-31 21:47:12 +00:00
2026-04-02 16:59:40 +00:00
2026-04-02 08:31:27 +00:00
2026-04-02 16:58:36 +00:00
2026-03-31 11:03:20 +00:00
2026-04-04 20:38:16 +00:00
2026-03-31 21:47:12 +00:00
2026-03-26 07:52:09 +00:00
2026-04-04 20:38:16 +00:00
2026-03-30 23:40:36 +01:00
2026-03-30 23:40:36 +01:00
2026-03-30 23:40:36 +01:00
2026-04-04 20:38:16 +00:00
2026-03-31 21:47:12 +00:00
2026-04-01 06:16:41 +00:00
2026-04-04 20:38:16 +00:00
2026-03-31 21:47:12 +00:00
2026-04-02 17:08:52 +00:00
2026-03-27 23:53:22 +00:00
2026-04-03 02:01:45 +00:00
2026-04-04 20:38:16 +00:00
2026-04-02 17:07:48 +00:00
2026-04-02 16:53:03 +00:00
2026-04-02 16:59:07 +00:00
2026-03-31 16:01:58 +00:00
2026-03-31 11:31:00 +00:00
2026-03-31 21:47:12 +00:00
2026-03-31 16:01:58 +00:00
2026-03-31 21:47:12 +00:00
2026-03-30 13:19:08 +00:00
2026-04-02 16:58:39 +00:00
2026-03-24 22:01:48 +00:00
2026-03-31 21:47:12 +00:00
2026-03-24 22:01:48 +00:00
2026-03-31 21:47:12 +00:00
2026-03-31 21:47:12 +00:00
2026-03-29 18:57:15 +01:00
2026-04-05 05:46:05 +00:00
2026-04-02 16:59:14 +00:00
2026-03-30 09:21:51 +00:00
2026-03-27 11:10:56 +00:00
2026-04-02 16:58:32 +00:00
2026-03-31 21:47:12 +00:00
2026-03-30 11:51:27 +00:00
2026-03-31 21:47:12 +00:00
2026-04-02 16:52:33 +00:00
2026-03-31 21:47:12 +00:00
2026-03-31 21:47:12 +00:00
2026-04-04 23:48:02 +00:00
2026-04-02 16:52:33 +00:00
2026-03-31 21:47:12 +00:00
2026-04-02 19:09:04 +00:00
2026-04-02 16:53:03 +00:00
2026-04-04 20:38:16 +00:00
2026-04-04 20:38:16 +00:00
2026-03-30 13:18:07 +01:00
2026-03-30 17:48:48 +00:00
2026-03-31 21:47:12 +00:00
2026-03-31 21:47:12 +00:00
2026-03-30 22:42:15 +00:00
2026-03-30 22:42:15 +00:00
2026-03-30 23:40:36 +01:00
2026-04-02 16:58:36 +00:00
2026-03-30 19:52:51 +00:00
2026-03-31 21:47:12 +00:00
2026-03-29 18:57:15 +01:00
2026-04-02 17:08:38 +00:00
2026-04-02 17:07:41 +00:00
2026-04-02 19:09:04 +00:00
2026-04-02 19:09:04 +00:00
2026-04-02 19:09:04 +00:00
2026-04-02 19:09:04 +00:00
2026-03-30 17:06:49 -04:00
2026-04-04 20:38:16 +00:00
2026-04-02 19:09:04 +00:00
2026-03-31 01:49:16 +00:00
2026-04-03 20:50:17 +00:00
2026-04-02 19:09:04 +00:00
2026-03-30 17:06:49 -04:00
2026-04-02 19:09:04 +00:00
2026-04-02 19:09:04 +00:00
2026-04-02 19:09:04 +00:00
2026-03-30 23:40:36 +01:00
2026-03-30 13:18:07 +01:00
2026-03-31 21:47:12 +00:00
2026-04-01 04:27:09 +00:00
2026-03-30 13:18:07 +01:00
2026-04-03 13:38:33 -04:00
2026-04-04 20:38:16 +00:00
2026-03-30 23:40:36 +01:00
2026-04-04 20:38:16 +00:00
2026-04-03 00:01:48 +00:00
2026-03-30 23:40:36 +01:00
2026-04-02 21:30:05 +00:00
2026-04-04 20:38:16 +00:00
2026-04-02 16:59:48 +00:00
2026-03-31 21:47:12 +00:00
2026-03-30 17:12:20 +00:00
2026-03-30 08:42:48 +00:00
2026-03-30 14:33:28 +00:00
2026-03-30 14:33:28 +00:00
2026-03-31 21:47:12 +00:00
2026-03-31 21:47:12 +00:00
2026-03-30 10:18:19 +00:00
2026-03-30 10:18:19 +00:00
2026-03-25 13:05:04 +00:00
2026-03-30 23:40:36 +01:00
2026-03-30 23:40:36 +01:00
2026-03-30 23:40:36 +01:00
2026-03-30 13:18:07 +01:00
2026-03-31 21:47:12 +00:00
2026-04-02 08:31:27 +00:00
2026-04-02 08:31:27 +00:00
2026-04-04 20:38:16 +00:00
2026-04-01 13:02:24 +00:00
2026-04-04 20:38:16 +00:00
2026-04-04 20:38:16 +00:00
2026-03-31 21:47:12 +00:00
2026-04-02 08:31:27 +00:00
2026-04-02 08:31:27 +00:00
2026-03-30 13:44:54 +00:00
2026-03-31 21:47:12 +00:00
2026-03-28 00:57:51 +00:00
2026-04-02 16:53:03 +00:00
2026-03-29 18:57:15 +01:00
2026-03-29 18:57:15 +01:00
2026-03-31 21:47:12 +00:00
2026-03-29 18:57:15 +01:00
2026-04-02 17:00:53 +00:00
2026-03-30 13:18:07 +01:00
2026-03-27 23:53:22 +00:00
2026-04-04 20:38:16 +00:00
2026-04-04 23:08:32 +00:00
2026-04-04 23:08:32 +00:00
2026-03-31 21:47:12 +00:00
2026-04-04 20:38:16 +00:00
2026-03-31 23:57:39 +00:00
2026-03-28 05:27:14 +00:00
2026-03-28 05:27:14 +00:00
2026-04-03 19:00:22 +00:00
2026-04-02 16:50:50 +00:00
2026-03-27 05:58:35 +00:00
2026-04-02 16:51:15 +00:00
2026-03-27 05:58:35 +00:00
2026-04-02 16:51:29 +00:00
2026-03-28 00:30:26 +00:00
2026-03-27 05:58:35 +00:00
2026-03-26 01:02:10 +00:00
2026-03-27 22:53:33 +00:00
2026-03-27 05:58:35 +00:00
2026-03-27 05:58:35 +00:00
2026-03-27 05:58:35 +00:00
2026-04-03 03:58:45 +00:00
2026-04-03 19:03:15 +00:00
2026-03-28 04:15:49 +00:00
2026-04-02 19:09:04 +00:00
2026-04-01 00:40:46 +00:00
2026-03-30 17:06:49 -04:00
2026-03-27 05:58:35 +00:00
2026-03-27 05:58:35 +00:00
2026-03-27 05:58:35 +00:00
2026-03-27 05:58:35 +00:00
2026-04-04 20:38:16 +00:00
2026-03-27 05:58:35 +00:00
2026-03-27 05:58:35 +00:00
2026-03-27 05:58:35 +00:00
2026-03-27 05:58:35 +00:00
2026-03-27 05:58:35 +00:00
2026-03-27 05:58:35 +00:00
2026-04-01 04:27:09 +00:00
2026-03-31 07:42:06 +00:00
2026-04-02 23:53:13 +00:00
2026-04-02 23:59:37 +00:00
2026-04-02 17:07:26 +00:00
2026-04-02 16:53:03 +00:00
2026-04-02 16:53:03 +00:00
2026-04-02 17:07:26 +00:00
2026-04-02 17:07:26 +00:00
2026-04-02 17:07:26 +00:00
2026-04-02 17:07:26 +00:00
2026-03-31 11:31:00 +00:00
2026-03-29 18:57:15 +01:00
2026-04-01 21:51:14 +00:00
2026-04-04 20:38:16 +00:00
2026-04-01 21:51:14 +00:00
2026-04-03 05:56:27 +00:00
2026-04-02 17:08:13 +00:00
2026-04-04 20:38:16 +00:00
2026-04-02 20:48:33 +00:00
2026-04-01 09:23:21 +00:00
2026-04-03 05:56:27 +00:00
2026-04-02 17:09:15 +00:00
2026-03-31 21:47:12 +00:00
2026-04-01 03:30:00 +00:00
2026-04-04 20:38:16 +00:00
2026-03-30 11:47:37 +08:00