hlgov package

Package hlgov carries GovDAO's decisions to Solana (bridge/PLAN.md §5.3, §6.5, §13): a proposal made with one of the builders below, when it executes, dispatches a message through r/hlmailbox to the admin program — the decision's kind, its parameters and its sequence number (this realm's own counter, taken at execution) — and the admin program records it by that number and executes it after its clock. Anyone may re-dispatch an executed decision (the same number and parameters) until the admin program has recorded it. The builders check the parameters with the admin program's own rules, so a proposal that would fail on Solana is refused when it is made. Kind 4 is reserved and its builder refuses every call (§13); a cancel's body starts with an 8-byte salt drawn in the executing transaction, so two cancels of one list differ; kind 12 names a token's mint limits on the pausable ISM (the per-message maximum and the day cap, in base units), one of the 7-day group.

Two decisions change this realm alone: `set decision recipient` (the program id decisions go to, a 7-day change, how a successor admin program ever receives one) and `sync sequence` (at once: the counter is raised — never lowered — to the number the admin program expects next, when a foreign decision has taken one, §6.5). The counter starts at a compiled number (launchSequence: 0 for a chain's first r/hlgov, the predecessor's last number for a successor), so no number the admin program recorded is ever reused. Before the Launch decision every builder but the cancel of a queued change here is refused. Who decides is the governor's (M1k): the compiled launchGovernor through Govern until it yields on r/hlmailbox, GovDAO's proposals after. Every launch value is compiled in below.