freemo
9cfa1dd1d7
CI / lint (pull_request) Successful in 1m25s
CI / typecheck (pull_request) Successful in 1m48s
CI / quality (pull_request) Successful in 1m52s
CI / security (pull_request) Successful in 1m52s
CI / push-validation (pull_request) Successful in 36s
CI / helm (pull_request) Successful in 38s
CI / build (pull_request) Successful in 46s
CI / integration_tests (pull_request) Successful in 3m55s
CI / unit_tests (pull_request) Successful in 6m46s
CI / docker (pull_request) Successful in 1m33s
CI / coverage (pull_request) Successful in 10m45s
CI / status-check (pull_request) Successful in 7s
CI / lint (push) Successful in 56s
CI / quality (push) Successful in 1m15s
CI / typecheck (push) Successful in 1m25s
CI / security (push) Successful in 1m30s
CI / build (push) Successful in 34s
CI / push-validation (push) Successful in 40s
CI / helm (push) Successful in 43s
CI / benchmark-regression (push) Failing after 45s
CI / integration_tests (push) Successful in 3m55s
CI / unit_tests (push) Successful in 4m21s
CI / e2e_tests (push) Successful in 4m26s
CI / docker (push) Successful in 1m28s
CI / coverage (push) Successful in 12m20s
CI / status-check (push) Successful in 3s
CI / benchmark-publish (push) Successful in 1h20m8s
fix(subplan): propagate invariant_enforced decisions to child plans on spawn
...
SubplanService.spawn() now re-records all invariant_enforced decisions from
the parent plan decision tree onto each child plan decision tree. This
satisfies the spec requirement: 'recorded as invariant_enforced decisions that
propagate to child plans.' (Glossary → Invariant)
Previously, child plans started Strategize with a completely empty invariant
set, violating the spec's propagation requirement. non_overridable global
invariants enforced on the parent were not guaranteed to be enforced on child
plans.
The fix adds _propagate_invariant_decisions() to SubplanService which queries
the parent plan's invariant_enforced decisions and re-records each one on the
child plan using DecisionService.record_decision(). The DecisionService is
already injected into SubplanService, so no new dependencies are required.
BDD regression coverage added in features/tdd_invariant_propagation_subplan.feature
with 4 scenarios covering: single invariant propagation, multiple invariant
propagation, non_overridable invariant propagation, and clean spawn with no
parent invariants.
ISSUES CLOSED : #9131
2026-05-12 16:45:59 +00:00
..
2026-05-07 20:05:33 +00:00
2026-04-15 06:37:18 +00:00
2026-04-27 07:33:18 +00:00
2026-04-30 10:56:21 +00:00
2026-04-02 16:59:07 +00:00
2026-05-12 16:45:59 +00:00
2026-04-13 04:56:01 +00:00
2026-03-31 21:47:12 +00:00
2026-04-03 00:29:46 +00:00
2026-04-02 16:51:04 +00:00
2026-04-13 04:56:01 +00:00
2026-04-02 23:53:13 +00:00
2026-04-28 03:22:06 +00:00
2026-04-23 11:46:36 +00:00
2026-05-01 09:10:48 +00:00
2026-04-01 06:16:41 +00:00
2026-04-01 06:16:41 +00:00
2026-04-05 21:26:33 +00:00
2026-03-31 21:47:12 +00:00
2026-05-07 20:05:33 +00:00
2026-04-13 04:56:01 +00:00
2026-05-07 20:05:33 +00:00
2026-04-17 16:28:45 +08:00
2026-04-05 21:19:40 +00:00
2026-04-13 04:56:01 +00:00
2026-05-06 01:07:15 +00:00
2026-04-27 05:00:54 +00:00
2026-05-09 23:13:33 +01:00
2026-05-05 01:33:31 +00:00
2026-03-31 21:47:12 +00:00
2026-04-17 16:28:45 +08:00
2026-04-30 10:56:21 +00:00
2026-05-12 13:02:59 +00:00
2026-04-13 04:56:01 +00:00
2026-04-23 12:19:50 +00:00
2026-04-30 10:56:21 +00:00
2026-05-06 04:08:25 +00:00
2026-04-30 02:05:12 +00:00
2026-05-09 23:13:33 +01:00
2026-05-03 00:17:15 +00:00
2026-03-31 21:47:12 +00:00
2026-05-07 20:05:33 +00:00
2026-04-02 17:00:53 +00:00
2026-05-02 21:54:17 +00:00
2026-05-05 02:01:49 +00:00
2026-04-02 06:21:49 +00:00
2026-03-30 13:18:07 +01:00
2026-04-28 05:00:12 +00:00
2026-04-23 09:08:11 +00:00
2026-05-07 07:08:52 +00:00
2026-04-30 02:05:12 +00:00
2026-04-20 13:54:28 +00:00
2026-04-13 04:56:01 +00:00
2026-05-03 00:39:15 +00:00
2026-04-17 18:33:39 +00:00
2026-03-31 21:47:12 +00:00
2026-04-17 11:46:38 +00:00
2026-04-13 04:56:01 +00:00
2026-05-05 02:01:49 +00:00
2026-04-05 08:39:14 +00:00
2026-04-13 04:56:01 +00:00
2026-04-13 04:56:01 +00:00
2026-05-12 01:05:10 +00:00
2026-05-05 02:01:49 +00:00
2026-04-08 11:02:14 +00:00
2026-04-13 04:56:01 +00:00
2026-05-05 02:01:49 +00:00
2026-04-02 19:09:04 +00:00
2026-04-13 04:56:01 +00:00
2026-03-31 21:47:12 +00:00
2026-04-01 06:16:41 +00:00
2026-04-13 04:56:01 +00:00
2026-04-13 04:56:01 +00:00
2026-03-31 21:47:12 +00:00
2026-04-13 04:56:01 +00:00
2026-03-31 21:47:12 +00:00
2026-03-30 21:48:01 +00:00
2026-04-05 07:43:56 +00:00
2026-05-09 23:13:33 +01:00
2026-04-01 01:46:37 +00:00
2026-04-05 17:55:54 +00:00
2026-05-05 02:01:49 +00:00
2026-05-07 20:05:33 +00:00
2026-04-21 05:14:07 +00:00
2026-05-11 04:39:29 +00:00
2026-05-07 20:05:33 +00:00
2026-04-17 11:46:38 +00:00
2026-04-27 07:33:18 +00:00
2026-03-29 18:57:15 +01:00
2026-04-17 11:46:38 +00:00
2026-04-23 12:19:50 +00:00
2026-04-12 08:15:49 +00:00
2026-04-05 04:33:46 +00:00
2026-04-05 04:33:46 +00:00
2026-04-08 11:02:14 +00:00
2026-04-13 04:56:01 +00:00
2026-04-13 04:56:01 +00:00
2026-04-05 20:56:32 +00:00
2026-04-09 13:00:47 +00:00
2026-04-15 00:24:13 +00:00
2026-04-12 16:43:30 +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-05 04:09:27 +00:00
2026-05-05 02:01:49 +00:00
2026-05-05 02:01:49 +00:00
2026-05-05 02:01:49 +00:00
2026-03-31 21:47:12 +00:00
2026-04-05 04:22:46 +00:00
2026-04-05 04:22:46 +00:00
2026-04-05 04:22:46 +00:00
2026-04-05 04:22:46 +00:00
2026-04-05 04:22:46 +00:00
2026-04-04 20:38:16 +00:00
2026-04-13 04:56:01 +00:00
2026-04-13 04:56:01 +00:00
2026-04-13 04:56:01 +00:00
2026-04-30 10:56:21 +00:00
2026-04-21 16:53:08 +00:00
2026-03-31 21:47:12 +00:00
2026-05-08 05:11:47 +00:00
2026-04-24 05:45:20 +00:00
2026-05-05 17:18:16 +00:00
2026-05-07 23:49:20 +00:00
2026-04-05 08:22:45 +00:00
2026-03-31 21:47:12 +00:00
2026-04-02 17:08:52 +00:00
2026-04-05 18:08:56 +00:00
2026-04-05 21:06:04 +00:00
2026-04-04 20:38:16 +00:00
2026-04-20 06:08:50 +00:00
2026-04-05 08:43:01 +00:00
2026-05-07 20:05:33 +00:00
2026-05-12 08:30:24 +00:00
2026-04-02 17:07:48 +00:00
2026-04-02 16:53:03 +00:00
2026-03-31 16:01:58 +00:00
2026-04-13 04:56:01 +00:00
2026-04-24 22:46:41 +00:00
2026-05-08 09:57:18 +00:00
2026-05-02 01:36:45 +00:00
2026-04-30 14:56:33 +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-04-05 17:49:20 +00:00
2026-03-31 21:47:12 +00:00
2026-03-31 21:47:12 +00:00
2026-04-05 08:29:55 +00:00
2026-03-31 21:47:12 +00:00
2026-05-05 05:25:28 +00:00
2026-04-09 14:17:50 +00:00
2026-04-28 04:06:57 +00:00
2026-03-29 18:57:15 +01:00
2026-04-28 04:06:57 +00:00
2026-04-05 05:46:05 +00:00
2026-04-02 16:59:14 +00:00
2026-04-17 22:49:46 +00:00
2026-04-05 08:26:50 +00:00
2026-05-05 02:01:49 +00:00
2026-03-30 09:21:51 +00:00
2026-04-26 11:19:10 +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-04-05 07:06:53 +00:00
2026-04-23 09:22:33 +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-04-02 19:09:04 +00:00
2026-03-30 08:42:48 +00:00
2026-05-11 04:39:29 +00:00
2026-03-31 21:47:12 +00:00
2026-03-31 21:47:12 +00:00
2026-04-05 07:48:02 +00:00
2026-03-30 22:42:15 +00:00
2026-03-30 22:42:15 +00:00
2026-04-19 17:10:17 +00:00
2026-04-13 04:56:01 +00:00
2026-04-24 10:32:15 +00:00
2026-04-21 03:38:05 +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-04 20:38:16 +00:00
2026-04-17 08:34:33 +00:00
2026-04-02 19:09:04 +00:00
2026-05-05 02:01:49 +00:00
2026-05-05 02:01:49 +00:00
2026-05-05 02:01:49 +00:00
2026-04-13 04:56:01 +00:00
2026-04-17 08:34:33 +00:00
2026-05-05 02:01:49 +00:00
2026-04-17 08:34:33 +00:00
2026-04-17 08:34:33 +00:00
2026-04-13 04:56:01 +00:00
2026-04-21 11:31:15 +00:00
2026-05-07 20:05:33 +00:00
2026-04-30 14:56:33 +00:00
2026-04-05 20:46:24 +00:00
2026-05-09 12:23:24 +00:00
2026-05-09 12:23:24 +00:00
2026-05-12 08:30:24 +00:00
2026-05-12 08:30:24 +00:00
2026-04-04 20:38:16 +00:00
2026-05-05 02:01:49 +00:00
2026-03-31 21:47:12 +00:00
2026-04-13 04:56:01 +00:00
2026-04-13 04:56:01 +00:00
2026-04-05 04:38:31 +00:00
2026-05-05 02:01:49 +00:00
2026-04-09 06:11:39 +00:00
2026-03-30 23:40:36 +01:00
2026-03-31 03:58:43 +00:00
2026-05-08 09:32:29 +00:00
2026-05-05 17:18:16 +00:00
2026-05-08 18:50:33 +00:00
2026-04-10 18:59:10 +00:00
2026-04-05 08:22:36 +00:00
2026-03-30 17:12:20 +00:00
2026-05-08 09:57:18 +00:00
2026-04-13 04:56:01 +00:00
2026-04-13 04:56:01 +00:00
2026-03-30 14:33:28 +00:00
2026-05-07 20:05:33 +00:00
2026-04-13 04:56:01 +00:00
2026-03-31 21:47:12 +00:00
2026-05-05 06:16:46 +00:00
2026-05-05 06:16:46 +00:00
2026-03-31 21:47:12 +00:00
2026-04-13 04:56:01 +00:00
2026-03-30 10:18:19 +00:00
2026-04-13 04:56:01 +00:00
2026-03-31 21:47:12 +00:00
2026-04-13 04:56:01 +00:00
2026-04-02 16:52:33 +00:00
2026-04-13 04:56:01 +00:00
2026-03-31 21:47:12 +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-13 04:56:01 +00:00
2026-04-05 08:29:36 +00:00
2026-04-13 04:56:01 +00:00
2026-04-13 04:56:01 +00:00
2026-04-13 04:56:01 +00:00
2026-03-30 13:44:54 +00:00
2026-04-05 09:03:32 +00:00
2026-03-31 21:47:12 +00:00
2026-05-07 20:05:33 +00:00
2026-04-30 10:03:08 +00:00
2026-05-03 00:17:15 +00: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-05 04:37:45 +00:00
2026-04-21 11:56:19 +00:00
2026-05-11 08:59:08 +00:00
2026-04-13 04:56:01 +00:00
2026-03-30 13:18:07 +01:00
2026-03-31 21:47:12 +00:00
2026-04-13 04:56:01 +00:00
2026-05-05 02:01:49 +00:00
2026-05-05 02:01:49 +00:00
2026-05-05 02:01:49 +00:00
2026-05-05 02:01:49 +00:00
2026-04-04 20:38:16 +00:00
2026-05-05 10:56:18 +00:00
2026-04-08 11:02:14 +00:00
2026-04-13 04:56:01 +00:00
2026-04-13 04:56:01 +00:00
2026-05-11 04:39:29 +00:00
2026-05-11 04:39:29 +00:00
2026-04-05 21:11:53 +00:00
2026-04-05 07:15:48 +00:00
2026-04-05 08:22:36 +00:00
2026-04-13 04:56:01 +00:00
2026-04-23 12:19:50 +00:00
2026-04-05 08:59:59 +00:00
2026-05-08 06:24:23 +00:00
2026-04-17 18:00:47 +08:00
2026-04-14 02:51:16 +00:00
2026-04-21 01:59:07 +00:00
2026-04-08 11:02:14 +00:00
2026-04-08 11:02:14 +00:00
2026-04-30 02:05:12 +00:00
2026-04-25 04:21:23 +00:00
2026-04-13 04:56:01 +00:00
2026-04-13 04:56:01 +00:00
2026-04-13 04:56:01 +00:00
2026-05-12 10:17:39 +00:00
2026-04-13 04:56:01 +00:00
2026-04-05 08:22:45 +00:00
2026-04-13 04:56:01 +00:00
2026-04-13 04:56:01 +00:00
2026-04-02 16:51:29 +00:00
2026-04-05 17:52:59 +00:00
2026-04-13 04:56:01 +00:00
2026-04-08 11:02:14 +00:00
2026-05-07 23:39:08 +01:00
2026-04-13 04:56:01 +00:00
2026-04-15 13:37:16 +08:00
2026-04-28 09:23:33 +00:00
2026-04-13 04:56:01 +00:00
2026-04-08 11:02:14 +00:00
2026-04-13 04:56:01 +00:00
2026-05-12 16:45:59 +00:00
2026-04-21 06:42:10 +00:00
2026-04-28 10:12:06 +00:00
2026-05-05 04:04:13 +00:00
2026-04-26 18:23:48 +00:00
2026-04-26 12:19:34 +00:00
2026-05-05 09:37:22 +00:00
2026-05-02 21:57:54 +00:00
2026-04-13 04:56:01 +00:00
2026-04-27 02:06:23 +00:00
2026-04-24 11:05:02 +00:00
2026-04-24 19:01:56 +00:00
2026-05-05 17:48:39 +00:00
2026-04-13 04:56:01 +00:00
2026-04-08 11:02:14 +00:00
2026-04-13 04:56:01 +00:00
2026-04-08 11:02:14 +00:00
2026-04-08 11:02:14 +00:00
2026-04-08 11:02:14 +00:00
2026-05-07 14:22:57 +00:00
2026-04-13 04:56:01 +00:00
2026-04-13 04:56:01 +00:00
2026-04-13 21:16:55 +00:00
2026-04-26 17:34:52 +00:00
2026-04-13 04:56:01 +00:00
2026-04-13 04:56:01 +00:00
2026-05-07 19:14:53 +00:00
2026-04-08 11:02:14 +00:00
2026-04-08 11:02:14 +00:00
2026-04-27 01:12:35 +00:00
2026-04-13 04:56:01 +00:00
2026-04-23 18:29:11 +00:00
2026-04-22 00:45:09 +00:00
2026-04-13 04:56:01 +00:00
2026-04-10 20:50:20 +00:00
2026-04-13 04:56:01 +00:00
2026-04-28 07:33:43 +00:00
2026-04-05 09:09:06 +00:00
2026-03-31 07:42:06 +00:00
2026-04-27 07:33:18 +00:00
2026-04-27 07:33:18 +00:00
2026-04-02 23:53:13 +00:00
2026-04-24 04:11:54 +00:00
2026-04-13 04:56:01 +00:00
2026-04-21 08:45:06 +00:00
2026-04-06 07:55:09 +00:00
2026-04-05 04:19:52 +00:00
2026-04-13 04:56:01 +00:00
2026-03-29 18:57:15 +01:00
2026-04-30 15:36:26 +00:00
2026-04-05 18:08:09 +00:00
2026-04-02 17:12:54 +00:00
2026-04-05 18:08:09 +00:00
2026-04-05 18:09:41 +00:00
2026-05-08 11:15:36 +00:00
2026-04-23 23:01:46 +00:00
2026-04-02 17:08:13 +00:00
2026-05-08 11:15:36 +00:00
2026-04-13 04:56:01 +00:00
2026-04-02 20:48:33 +00:00
2026-04-01 09:23:21 +00:00
2026-04-13 04:56:01 +00:00
2026-04-13 04:56:01 +00:00
2026-04-03 05:56:27 +00:00
2026-04-22 06:37:17 +00:00
2026-04-06 07:55:09 +00:00
2026-04-05 03:26:37 +00:00
2026-03-31 21:47:12 +00:00
2026-04-30 10:56:21 +00:00
2026-04-01 03:30:00 +00:00
2026-03-30 13:18:07 +01:00
2026-03-30 11:47:37 +08:00