Annex D pipeline note + driver docs

Goal

Document the fix→fmt ordering, the one-home invariant, and the CLI contract.

Implementation Sketch

Annex D note: the ori fix → ori fmt pipeline ordering + the one-home invariant (each normalization registers in exactly one home — needs-a-resolved-type → fix, else fmt). Driver/CLI docs for the subcommand, flags, exit codes, and the post-apply + fixpoint + atomicity contract.

Spec References

ori-fix-proposal.md §Interaction with ori fmt, §Spec & Grammar Impact (Annex D, CLI docs)

Work Items

• Annex D fix→fmt ordering + one-home invariant note
• Driver/CLI docs (subcommand, flags, exit codes, contract)