Maintenance and DevX

• MergedFix some flaky gens in testscardano-scaling/hydra · @vrom911
• MergedBump Mithril to 2630.0 and switch to the v2 database backendcardano-scaling/hydra · @vrom911
• MergedReject deposits too large to be claimed by an increment txcardano-scaling/hydra · @v0d1ch
• MergedMake mac release binaries runnable without nixcardano-scaling/hydra · @vrom911
• PR openedMake withTempDir clean up atomically on successcardano-scaling/hydra · @vrom911
• PR openedFix flakey etcd, TUI and chain-sync testscardano-scaling/hydra · @noonio
• Issue closedAArch64 Darwin release binaries link against non-existent `/nix/store` dylibscardano-scaling/hydra · @michalrus

• MergedDecouple Blockfrost inline-datum test from published script hashescardano-scaling/hydra · @vrom911
• MergedMake prop_specIsComplete actually enforce API doc completenesscardano-scaling/hydra · @vrom911
• PR openedUnify docs key naming to fuel and fundscardano-scaling/hydra · @vrom911
• PR openedMake mac release binaries runnable without nixcardano-scaling/hydra · @vrom911
• Issue closedLimit cross-package re-exports and qualify module imports.cardano-scaling/hydra · @locallycompact
• Issue closedAllow for selection of UTxOs when performing partial fanoutcardano-scaling/hydra · @noonio
• Issue closedUpdate to hydra-coding-standards 0.7.0cardano-scaling/hydra · @locallycompact
• Issue closedSimple installation packages for Hydra nodecardano-scaling/hydra · @ghost

• MergedComplete StateChanged generator and remove orphaned golden testscardano-scaling/hydra · @vrom911
• MergedRe-enable golden tests for the persisted event formatcardano-scaling/hydra · @vrom911
• Mergedfix paste in the tui; and also reject invalid valuescardano-scaling/hydra · @noonio
• MergedEmit SyncedStatusReport only on sync status changecardano-scaling/hydra · @vrom911
• PR openedMake prop_specIsComplete actually enforce API doc completenesscardano-scaling/hydra · @vrom911
• PR openedtypst-agda-spec-6: Document the Agda formalisation and record the changelog entrycardano-scaling/hydra · @noonio
• PR openedtypst-agda-spec-5: Differentially test the node and validator against the Agda referencecardano-scaling/hydra · @noonio
• PR openedtypst-agda-spec-4: Add the hydra-agda package (MAlonzo extraction) and CI gatecardano-scaling/hydra · @noonio
• PR openedtypst-agda-spec-3: Add the Agda formalisation of the specificationcardano-scaling/hydra · @noonio
• PR openedtypst-agda-spec-2: Migrate the specification prose from LaTeX to Typstcardano-scaling/hydra · @noonio
• PR openedtypst-agda-spec-1: Forbid simultaneous commit and decommit in the head logiccardano-scaling/hydra · @noonio
• PR openedAdd claude review gh actioncardano-scaling/hydra · @v0d1ch
• Issue openedAArch64 Darwin release binaries link against non-existent `/nix/store` dylibscardano-scaling/hydra · @michalrus
• Issue closedhydra-tui gets too many reports of NodeInSynccardano-scaling/hydra · @noonio
• Mergedfeat(web): modernize UI/UX, upgrade to React 19/Next 16, and migrate to pnpmcardano-scaling/hydra-explorer · @venom-vu
• PR openedMigrate web Nix packaging to pnpm and bump hydra to 2.3.0cardano-scaling/hydra-explorer · @v0d1ch

2 commits · cardano-scaling/hydra-explorer

• MergedUpgrade hydra-coding-standsrds version to 0.8.0cardano-scaling/hydra · @vrom911
• PR openedFirst attempt a claude skill for setting up a hydra-node clustercardano-scaling/hydra · @noonio
• PR openedfeat(web): modernize UI/UX, upgrade to React 19/Next 16, and migrate to pnpmcardano-scaling/hydra-explorer · @venom-vu

7 commits · cardano-scaling/hydra-explorer

• MergedParallelize hydra-node test suitecardano-scaling/hydra · @noonio
• MergedFix nightly CI silently running zero tests, add more test coveragecardano-scaling/hydra · @vrom911
• MergedFix blockfrost datum decodingcardano-scaling/hydra · @v0d1ch
• MergedFix bug related to non-canonical inline datums in UTxO JSON round-tripscardano-scaling/hydra · @v0d1ch
• MergedFix Blockfrost error handling so HTTP errors are retried instead of crashingcardano-scaling/hydra · @v0d1ch

2 commits · cardano-scaling/hydra-explorer

• Issue openedhydra-tui gets too many reports of NodeInSynccardano-scaling/hydra · @noonio
• Issue closedMove the hydra-formal-specification "repo" back into the "monorepo"cardano-scaling/hydra · @noonio
• Issue closedMake sure all hydra-nodes in a Head use the same --deposit-periodcardano-scaling/hydra · @v0d1ch
• Issue closedNode observes and persists deposit events from unrelated Headscardano-scaling/hydra · @leuhk

• MergedStop benchmark working state from leaking into published docscardano-scaling/hydra · @vrom911
• PR openedFix bug related to non-canonical inline datums in UTxO JSON round-tripscardano-scaling/hydra · @v0d1ch
• Issue openedDo a review of the documentation on the website to see what is out of datecardano-scaling/hydra · @noonio
• Issue openedDeposit/increment not re-posted after rollback if CommitFinalized was already appliedcardano-scaling/hydra · @v0d1ch
• Issue closedRevisit transaction trace picture of partial fanoutcardano-scaling/hydra · @noonio