kossLAN/wry
1
0
Fork 0
forked from wry/wry
Code Pull requests Activity

Assert multiphase rejection diagnostics

Browse source
This commit is contained in:
atagen 2026-05-21 21:16:54 +10:00
parent 332a7468f6
commit 01d1545c40
2 changed files with 92 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

4
docs/window-animations-plan.md
View file

@ -245,6 +245,9 @@ Current pure planner status:
- Multiphase planning also has an explained-plan entry point. Accepted plans
report the deterministic strategy, phase reasons, participating nodes, and
validation result; rejected plans report every attempted strategy and failure.
- Rejection diagnostics are treated as contractual test output for unsupported
patterns and analytically invalid candidate plans, including attempted strategy
order and exact validation failure.
- Planner tests now include a deterministic split-tree generator. It builds
valid weighted tiling layouts, derives leaf hierarchy metadata, mutates them
through supported transitions, and runs the real planner plus exact validator.
@ -262,6 +265,7 @@ Tests:
- reversing direction produces equivalent motion in reverse
- accepted and rejected plans expose deterministic strategy explanations
- bounded generated split-tree corpus produces identical plans on repeated runs
- unsupported and invalid candidate plans produce exact expected diagnostics
- child waits for parent/container-space phases when moving upward into a
toplevel peer position
- mono-mode tab switches do not animate, while entering/exiting mono can animate