Add captured alias declaration types

docs/roadmap/implementation.md

@@ -1,6 +1,6 @@
 # Application-owned aliases implementation plan
 
-Status: ready for implementation; no stages completed.
+Status: in progress; Stages 1–4 completed.
 
 ## Authority, baseline, and scope
 
@@ -348,6 +348,12 @@ invalid paths/spellings are reported at installation; nil and zero declarations
 are handled as selected; canonical command-only calls continue to work. No
 factories, loaders, or handlers run during capture.
 
+**Completed:** Added the opaque `Declaration` and `RoutingRule` types, command
+and flag alias factories, eager normalized capture with retained issues, and
+value/pointer normalization at `New` and `Register`. Built-in and consumer
+installation slices now use declarations explicitly. Verified with root and
+both integration module suites under the local workspace.
+
 ## Stage 5: Install canonical commands and command aliases atomically
 
 **Work**