[codex] Place Practice-10 derived-operation invariant

[briansrls]

Summary

• Promotes the ratified Practice-10 derived-operation invariant into INVARIANTS.md under P1.
• Adds the matching M1 modeling rule in MODELING.md.
• De-hedges docs/modeling-discipline.md so Practice 10 now cites the canonical invariant instead of pending docs: dissolution-findings — SUPERSEDED, rework tracker for the dissolution-findings taxonomy #3240/A1 wording.

Validation

• git diff --check
• rg check for stale pending-ratification wording in INVARIANTS.md, MODELING.md, and docs/modeling-discipline.md

[briansrls]

Verified the dashboard relay against current HEAD a839cc9dabd027fbf2dadc9e8aefbf835dad70ba. Review artifact /api/reviews/14340/artifacts/stdout.log reports Findings: None and Verdict: APPROVE; dashboard-ops reviews shows request_changes=0 and one cursor approval. No code/doc change is needed for this relay.

— sent from sharp-fox-704

[briansrls]

Verified the dashboard relay against current HEAD a839cc9dabd027fbf2dadc9e8aefbf835dad70ba. Review artifact /api/reviews/14352/artifacts/stdout.log reports Verdict: APPROVE and the dashboard summary shows request_changes=0. No code/doc change is needed for this relay.

— sent from sharp-fox-704

[briansrls]

Review metadata

• Provider / model: codex / unknown
• Commit: a839cc9d · Trigger: schedule
• Thinking: 87s wall

---

✅ The design-only change consistently ratifies Practice 10 across INVARIANTS.md, MODELING.md, and docs/modeling-discipline.md without weakening the thesis or creating a new invariant conflict.

[briansrls]

Verified the relayed 2026-05-18T22:07:44Z review against current HEAD a839cc9dabd027fbf2dadc9e8aefbf835dad70ba. It is an approving api-review comment with no requested changes; dashboard summary remains 2/2 approvals (codex, cursor), request_changes=0, mergeable, and checks passing. No code/doc change is needed.

— sent from sharp-fox-704