refactor: bound Track A RunContract formatter cleanup

[devkade]

Summary

Child slice of #128. Preserve PR #132 as the bounded formatter cleanup slice instead of letting the parent roadmap close directly.

Evidence

• refactor: consolidate Track A RunContract formatting #132 extracts compact RunContract presentation formatting into src/presentation/run-contract-format.ts.
• refactor: consolidate Track A RunContract formatting #132 splits src/domain/run-contract-prompt-renderer.ts long template literal sections into smaller helpers.
• Current evidence after the slice: messages.ts no longer owns RunContract formatter helpers; prompt rendering remains shared and adapter-neutral.

Scope

• Keep RunContract presentation formatter behavior stable.
• Keep shared prompt rendering semantic sections readable.
• Keep public CLI/Pi wording backward-compatible unless explicitly additive.

Non-goals

• Do not fold GitHub/PR/kapi-agent semantics into RunContract core.
• Do not change workflow-validation completion authority.
• Do not merge RunContract advisory quality with runtime readiness probe.

Acceptance criteria

• src/presentation/messages.ts delegates RunContract compact formatting to a shared presentation helper.
• renderRunContractPrompt remains the service/CLI shared prompt renderer.
• Regression tests cover the moved formatter/prompt behavior.
• npm run verify passes, or unrelated failures are documented.

Verification

npm test -- test/run-contract-format.test.ts test/run-contract-prompt-renderer.test.ts test/presentation-ui.test.ts
npm run verify

Part of #128.

[devkade]

Design decision — 2026-05-15

Kade confirmed the proposed handling:

• Proceed with PR refactor: consolidate Track A RunContract formatting #132 as the bounded implementation for this issue.
• Merge/close refactor: bound Track A RunContract formatter cleanup #133 through PR refactor: consolidate Track A RunContract formatting #132 rather than expanding the parent roadmap: Track A RunContract refactor cleanup #128 scope.
• Keep this slice limited to RunContract presentation formatter / prompt renderer cleanup.