[F1.2] Gate manifest-regenerated catalog additions through G4

[metaphorics]

Question

Implement formal model extension policy (catalog additions only via manifest regeneration + G4 authority) without exclusions, compatibility shims, or copied reference code.

Blocked by

• Close Intl Temporal and target cells

Spine anchor

Hoare — this leaf serves one bounded product obligation and one evidence ledger.

Acceptance

.outline/gates/F1.2.md reports every gate checked with current, non-pending evidence.