refactor: clarify binary market SimplicityHL

[tvolk131]

Summary

• split binary-market coordinator authentication and five-operation action dispatch into focused SimplicityHL helpers
• document the eight static roles and the nested ACTION shape with named aliases
• rename RT, commitment, issuance, burn, collateral, and outpoint locals/helpers so transition invariants read directly
• strengthen the follower regression to cover structurally different ACTION branches
• refresh the intentional CMR/script vectors and preserve prior identities as historical documentation

Compatibility and compiled identity

The market is still undeployed. This keeps the public parameters, transaction layouts, protocol behavior, and SLOT/ACTION witness ABI unchanged, but the new Simplicity structure intentionally changes compiled identities:

• canonical CMR: 702f5d04…d5ee → 00e4bab6…2447
• nonuniform fixture CMR: 090548f9…1931 → 53fac89c…3ccc

SimplicityHL 0.6 requires witness expressions to stay in main, so follower selection remains there. Followers still prune and ignore ACTION; only an authenticated coordinator reads and dispatches it.

Resource delta

Compared with the oracle-precomputed baseline, worst-case finalized values change by:

• cost: +1,928 mw (+0.053%)
• pruned program / covenant stack / transaction: +32 bytes
• extra cells: +587; extra frames: +2
• transaction weight: +32 WU; vsize: +8 vB
• witness bytes and annex padding: unchanged

All rounded CI ceilings still have headroom.

Verification

• nix develop .#default --command just ci
• exact all-path, both-RT-side budget probe
• golden ABI, CMR, script, and control-block vectors
• focused structurally divergent follower/coordinator ACTION regression

---

^{Need help on this PR? Tag @codesmith-bot with what you need. Autofix is disabled.}