Slice 7: difficulty and formation models plus observable live state

[StarshipSuperjam]

Parent capability: difficulty.
Delivery slice: 7. Milestone: Campaign.
Roadmap state: planned. Executable now: yes.

Atomic obligations

• DIF-01.model
• DIF-02.model
• DIF-03.model
• FORM-01.model

Blockers

• None
• Required delivery slices: slice 4, slice 5, slice 6

Completion evidence

• Proof level: playable.
• Mechanics records/catalog rows: DIF-01, DIF-02, DIF-03, FORM-01.
• Automated evidence must add roadmap-evidence: ID success and roadmap-evidence: ID failure markers for every obligation ID, attached to tests that exercise those paths.
• A gameplay-affecting PR stays draft until the operator approves the playable .sb3 at its tested commit.

Closure rule

This leaf closes only when all obligations above are delivered, every blocker is closed (or closes in the same PR), the required evidence is present, and the repository closure check passes.