Layer 0 amendment: unified decomposition redesign spec (Phase R + T + B2)

docs/compiler_redesign.md

@@ -29,6 +29,12 @@ shape of the current compiler. The companion docs are:
   declarative pipeline shim (last Foundation piece): reduces
   `compile_to_mir` + `compile_kernel_body` to `Compiler.run(prog,
   pipeline=DEFAULT_PIPELINE)`.
+- [`phase_decomposition_redesign.md`](phase_decomposition_redesign.md) —
+  unified Phase R/T/B2 spec: supersedes the piecemeal Phase A3 +
+  Layer 3 cleanup work; frames every remaining migration PR against
+  ONE load-bearing invariant (the ACID test — zero edits to existing
+  source files for any new algorithm / pragma / index type /
+  aggregation / backend target). The next layer above this doc.
 
 ## 1. The diagnosis
 

docs/index.md

@@ -66,6 +66,7 @@ api/index
 
 phase_f5_declarative_pipeline
 phase_a3_remove_deprecated_bool_fields
+phase_decomposition_redesign
 ```
 
 ## Project status