DO NOT MERGE: MK synthetic re-addition - #2088

Draft

jasagredo wants to merge 42 commits into

js/utxo-hd-4from

js/utxo-hd-4-skin

Commits on Jul 3, 2026

[UTxO-HD][skin] Add mk-skin review-intermediate plan + spike patches
jasagredo
committed
[UTxO-HD][skin] Phase 0: mk-skin types in Ledger.Basics (lib green)
jasagredo
committed
[UTxO-HD][skin] Phase 1 foundation: mk on LedgerState + skin vocabulary in Basics
jasagredo
committed
[UTxO-HD][skin] Phase 1: Basics internally consistent
jasagredo
committed
[UTxO-HD][skin] Record apply-path re-dress spec (ApplyBlock) for continuation
jasagredo
committed
[UTxO-HD][skin] Phase 1: Abstract apply-path mk-annotated
jasagredo
committed
[UTxO-HD][skin] Phase 1: mk-annotate core Ledger/ signatures
jasagredo
committed
[UTxO-HD][skin] Phase 1: mk-annotate Forging + Mempool/Capacity ticked states
jasagredo
committed
[UTxO-HD][skin] Record apply-path altitude decision + mechanical-sweep rhythm + frontier
jasagredo
committed
[UTxO-HD][skin] Phase 1 sweep: HardFork/Abstract, Mempool/API, Forecast, InFutureCheck, BlockchainTime, State/Types, HeaderValidation
jasagredo
committed
[UTxO-HD][skin] Phase 1 sweep: SupportsProtocol, CrossEraForecaster, Extended (ExtLedgerState mk)
jasagredo
committed
[UTxO-HD][skin] Update plan: abstract layer done, frontier at Storage subsystem
jasagredo
committed
[UTxO-HD][skin] Phase 1: Storage Forker/Snapshots + abstract stragglers
jasagredo
committed
[UTxO-HD][skin] Phase 1: Storage LedgerDB API (LedgerDB -> StateKind, tip fields -> EmptyMK)
jasagredo
committed
[UTxO-HD][skin] Phase 1: Storage V2/LedgerSeq (handle/StateRef/LedgerSeq -> StateKind, states -> EmptyMK)
jasagredo
committed
[UTxO-HD][skin] Phase 1: Storage V2/Forker, V2/Backend, Args (states -> EmptyMK)
jasagredo
committed
[UTxO-HD][skin] Phase 1: Storage V2/InMemory backend (impl state args -> EmptyMK)
jasagredo
committed
[UTxO-HD][skin] Phase 1: Storage V2 driver (LedgerDBEnv/Handle -> StateKind, states -> EmptyMK) — LedgerDB subsystem complete
jasagredo
committed
[UTxO-HD][skin] Phase 1: ChainDB API/Init/Args/Query + Ledger/Query + Dual data instances
jasagredo
committed
[UTxO-HD][skin] Update plan: Storage/LedgerDB subsystem complete; frontier = Dual bodies + HFC combinator
jasagredo
committed
[UTxO-HD][skin] Phase 1: Dual apply/serialisation, SingleEraBlock, ChainSel — Dual green
jasagredo
committed
[UTxO-HD][skin] Record the HFC Flip fork (revert decision 1 vs phantom mk); lib green except HFC
jasagredo
committed
[UTxO-HD][skin] Phase 1 (HFC, option 2): Combinator/Basics green + State.hs type-level
jasagredo
committed
[UTxO-HD][skin] Plan: HFC option 2 decided; document the remaining State/Ledger Flip body-sweep
jasagredo
committed
[UTxO-HD][skin] Phase 1 (HFC): Combinator/State green; Ledger.hs Ticked instance + FlipTickedLedgerState + GetTip/forecast/functor types
jasagredo
committed
[UTxO-HD][skin] Phase 1 (HFC): Combinator/Ledger.hs core green; consumer sweep underway
jasagredo
committed
[UTxO-HD][skin] Phase 1 (HFC): CommonProtocolParams green; Query/Mempool type-level + distribExtLedgerState
jasagredo
committed
[UTxO-HD][skin] Phase 1 (HFC): Query go-bodies Flip-unwrap; Mempool/Common/Client/Governor mk-annotate
jasagredo
committed
[UTxO-HD][skin] Phase 1 (HFC): Mempool Flip-wrap functor args; Mempool/Update/Query + SerialiseDisk mk-annotate
jasagredo
committed
[UTxO-HD][skin] Phase 1 (HFC): Forging mk-annotate + Flip-wrap forgeBlockOne
jasagredo
committed
[UTxO-HD][skin] Phase 1 (HFC): Embed/Unary,Nary,Binary restore Flip/FlipTicked isomorphisms at EmptyMK
jasagredo
committed
[UTxO-HD][skin] Phase 1 (HFC): Degenerate DegenLedgerState Flip-wrap — lib green (239 modules)
jasagredo
committed
[UTxO-HD][skin] Plan: mark lib:ouroboros-consensus GREEN; next = diffusion/lsm/cardano
jasagredo
committed
[UTxO-HD][skin] Port diffusion lib to mk-skin: state positions -> EmptyMK
jasagredo
committed
[UTxO-HD][skin] Re-dress the lsm backend handle/stream sigs to EmptyMK
jasagredo
committed
[UTxO-HD][skin] Integrate diffusion+lsm; record isolation result + cardano WIP status
jasagredo
committed
[UTxO-HD][skin] Update plan: isolation result, decisions log, current state (consensus+diffusion+lsm green; cardano in progress)
jasagredo
committed
[UTxO-HD][skin][cardano] Byron + Shelley ledger/mempool/forge/inspect/serialisation mk-skin (WIP base)
jasagredo
committed
[UTxO-HD][skin][cardano] Cardano/Block.hs: mk-skin the LedgerState pattern synonyms (EmptyMK telescope)
jasagredo
committed
[UTxO-HD][skin][cardano] Cardano/CanHardFork.hs: restore Flip/Comp era-translation wrapping at EmptyMK; shelleyLedgerTables fields
jasagredo
committed
[UTxO-HD][skin][cardano] Cardano/Node.hs: mk-skin protocolInfoCardano init (EmptyMK ExtLedgerState; Flip telescope in genesis-funds injection)
jasagredo
committed
[UTxO-HD][skin] Plan: cardano+protocol integrated — ALL FIVE LIBS GREEN; note transPraosLS divergence
jasagredo
committed