Apr 05, 4-5 AM (1)
Apr 05, 5-6 AM (9)
Apr 05, 6-7 AM (13)
Apr 05, 7-8 AM (4)
Apr 05, 8-9 AM (1)
Apr 05, 9-10 AM (0)
Apr 05, 10-11 AM (7)
Apr 05, 11-12 PM (7)
Apr 05, 12-1 PM (5)
Apr 05, 1-2 PM (2)
Apr 05, 2-3 PM (3)
Apr 05, 3-4 PM (3)
Apr 05, 4-5 PM (18)
Apr 05, 5-6 PM (3)
Apr 05, 6-7 PM (2)
Apr 05, 7-8 PM (2)
Apr 05, 8-9 PM (0)
Apr 05, 9-10 PM (5)
Apr 05, 10-11 PM (19)
Apr 05, 11-12 AM (18)
Apr 06, 12-1 AM (4)
Apr 06, 1-2 AM (6)
Apr 06, 2-3 AM (12)
Apr 06, 3-4 AM (11)
Apr 06, 4-5 AM (5)
Apr 06, 5-6 AM (7)
Apr 06, 6-7 AM (4)
Apr 06, 7-8 AM (8)
Apr 06, 8-9 AM (24)
Apr 06, 9-10 AM (15)
Apr 06, 10-11 AM (9)
Apr 06, 11-12 PM (2)
Apr 06, 12-1 PM (38)
Apr 06, 1-2 PM (49)
Apr 06, 2-3 PM (27)
Apr 06, 3-4 PM (8)
Apr 06, 4-5 PM (32)
Apr 06, 5-6 PM (18)
Apr 06, 6-7 PM (3)
Apr 06, 7-8 PM (11)
Apr 06, 8-9 PM (6)
Apr 06, 9-10 PM (9)
Apr 06, 10-11 PM (29)
Apr 06, 11-12 AM (16)
Apr 07, 12-1 AM (8)
Apr 07, 1-2 AM (8)
Apr 07, 2-3 AM (3)
Apr 07, 3-4 AM (4)
Apr 07, 4-5 AM (1)
Apr 07, 5-6 AM (17)
Apr 07, 6-7 AM (6)
Apr 07, 7-8 AM (14)
Apr 07, 8-9 AM (35)
Apr 07, 9-10 AM (38)
Apr 07, 10-11 AM (25)
Apr 07, 11-12 PM (63)
Apr 07, 12-1 PM (38)
Apr 07, 1-2 PM (56)
Apr 07, 2-3 PM (54)
Apr 07, 3-4 PM (24)
Apr 07, 4-5 PM (36)
Apr 07, 5-6 PM (19)
Apr 07, 6-7 PM (22)
Apr 07, 7-8 PM (21)
Apr 07, 8-9 PM (20)
Apr 07, 9-10 PM (16)
Apr 07, 10-11 PM (41)
Apr 07, 11-12 AM (21)
Apr 08, 12-1 AM (13)
Apr 08, 1-2 AM (6)
Apr 08, 2-3 AM (9)
Apr 08, 3-4 AM (9)
Apr 08, 4-5 AM (4)
Apr 08, 5-6 AM (21)
Apr 08, 6-7 AM (40)
Apr 08, 7-8 AM (72)
Apr 08, 8-9 AM (41)
Apr 08, 9-10 AM (24)
Apr 08, 10-11 AM (56)
Apr 08, 11-12 PM (43)
Apr 08, 12-1 PM (36)
Apr 08, 1-2 PM (64)
Apr 08, 2-3 PM (45)
Apr 08, 3-4 PM (17)
Apr 08, 4-5 PM (16)
Apr 08, 5-6 PM (17)
Apr 08, 6-7 PM (27)
Apr 08, 7-8 PM (12)
Apr 08, 8-9 PM (11)
Apr 08, 9-10 PM (6)
Apr 08, 10-11 PM (50)
Apr 08, 11-12 AM (18)
Apr 09, 12-1 AM (7)
Apr 09, 1-2 AM (5)
Apr 09, 2-3 AM (2)
Apr 09, 3-4 AM (4)
Apr 09, 4-5 AM (6)
Apr 09, 5-6 AM (15)
Apr 09, 6-7 AM (36)
Apr 09, 7-8 AM (22)
Apr 09, 8-9 AM (25)
Apr 09, 9-10 AM (33)
Apr 09, 10-11 AM (20)
Apr 09, 11-12 PM (60)
Apr 09, 12-1 PM (68)
Apr 09, 1-2 PM (43)
Apr 09, 2-3 PM (74)
Apr 09, 3-4 PM (22)
Apr 09, 4-5 PM (51)
Apr 09, 5-6 PM (26)
Apr 09, 6-7 PM (23)
Apr 09, 7-8 PM (21)
Apr 09, 8-9 PM (39)
Apr 09, 9-10 PM (18)
Apr 09, 10-11 PM (29)
Apr 09, 11-12 AM (14)
Apr 10, 12-1 AM (5)
Apr 10, 1-2 AM (4)
Apr 10, 2-3 AM (4)
Apr 10, 3-4 AM (12)
Apr 10, 4-5 AM (3)
Apr 10, 5-6 AM (9)
Apr 10, 6-7 AM (29)
Apr 10, 7-8 AM (45)
Apr 10, 8-9 AM (47)
Apr 10, 9-10 AM (20)
Apr 10, 10-11 AM (61)
Apr 10, 11-12 PM (70)
Apr 10, 12-1 PM (46)
Apr 10, 1-2 PM (23)
Apr 10, 2-3 PM (36)
Apr 10, 3-4 PM (33)
Apr 10, 4-5 PM (38)
Apr 10, 5-6 PM (30)
Apr 10, 6-7 PM (11)
Apr 10, 7-8 PM (13)
Apr 10, 8-9 PM (7)
Apr 10, 9-10 PM (25)
Apr 10, 10-11 PM (47)
Apr 10, 11-12 AM (18)
Apr 11, 12-1 AM (6)
Apr 11, 1-2 AM (4)
Apr 11, 2-3 AM (2)
Apr 11, 3-4 AM (0)
Apr 11, 4-5 AM (8)
Apr 11, 5-6 AM (4)
Apr 11, 6-7 AM (5)
Apr 11, 7-8 AM (7)
Apr 11, 8-9 AM (3)
Apr 11, 9-10 AM (0)
Apr 11, 10-11 AM (10)
Apr 11, 11-12 PM (4)
Apr 11, 12-1 PM (7)
Apr 11, 1-2 PM (3)
Apr 11, 2-3 PM (7)
Apr 11, 3-4 PM (10)
Apr 11, 4-5 PM (18)
Apr 11, 5-6 PM (39)
Apr 11, 6-7 PM (0)
Apr 11, 7-8 PM (0)
Apr 11, 8-9 PM (1)
Apr 11, 9-10 PM (1)
Apr 11, 10-11 PM (19)
Apr 11, 11-12 AM (23)
Apr 12, 12-1 AM (4)
Apr 12, 1-2 AM (1)
Apr 12, 2-3 AM (9)
Apr 12, 3-4 AM (0)
Apr 12, 4-5 AM (0)
3,216 commits this week Apr 05, 2026 - Apr 12, 2026
fix(pollux): check exp claim in JWT.verify
JWT.verify did not validate the exp (expiration) claim, so expired JWTs were incorrectly considered valid. This is a security issue per RFC 7519 Section 4.1.4.

Added an explicit exp check after JWT decode: if exp is present and the current time is at or past it, verify() returns false. JWTs without an exp claim keep the previous behavior (no expiration enforced).

Closes #489

Signed-off-by: Seydi Charyyev <[email protected]>
[Dijkstra] CIP-159-08: Phantom asset attack prevention (#1120)
Add batch-wide withdrawal bound check to prevent phantom asset attacks
when nested transactions combine deposits and withdrawals.

`Transaction.lagda.md`:
+  Define allWithdrawals batch aggregation helper (mirrors
   allDirectDeposits)

`Utxo.lagda.md`:
+  Define NoPhantomWithdrawals predicate using allWithdrawals
+  Add NoPhantomWithdrawals premise to UTXO rule
+  Document phantom asset attack and spend-side safety analogy

`Utxo/Properties/Computational.lagda.md`:
+  Update Computational-UTXO for new premise tuple arity (21+h → 22+h)
[Dijkstra] CIP-159-04: Update certificate rules for partial withdrawals (#1116)
CIP-159 changes withdrawal semantics from "all-or-nothing" (withdrawal
amount must equal the full account balance) to "partial" (any amount up
to the current balance may be withdrawn).

`Certs.lagda.md`:
+  Define _≤ᵐ_ relation and Dec-≤ᵐ decision procedure for comparing a
   Coin value against a Maybe Coin (just bal → amt ≤ bal; nothing → ⊥).
+  Define applyWithdrawals helper (fold-based pointwise subtraction of
   withdrawal amounts from account balances).
+  Relax PRE-CERT precondition to three premises: credential is a
   registered key hash, credential is in dom rewards, and withdrawal
   amount ≤ balance (via ≤ᵐ with lookupᵐ?).
+  Update PRE-CERT effect from zeroing withdrawn credentials to pointwise
   subtraction via applyWithdrawals.
+  Document partial withdrawal semantics and version restriction deferral.

`Certs/Properties/Computational.lagda.md`:
+  Add scoped ⁇-≤ᵐ instance (positioned after DELEG/POOL/GOVCERT/CERT
   proofs to avoid instance pollution).
+  Update Computational-PRE-CERT for the new three-premise precondition.
Add standalone Gerolamino extension (SolidJS) + dashboard lint fixes
New extension-gerolamo Chrome extension:
- SolidJS + TanStack Solid Query + Tailwind + WXT
- Standalone mode using Koios API (free, no API key required)
- 9 tabs: Overview, Node, Blocks, Network, Explorer, Wallet, Pebble, Logs, Settings
- Background service worker polls Koios for live chain data
- Auto-connects on install, no configuration needed
- Wallet generation via @harmoniclabs/cardano-ledger-ts
- Pebble smart contract compiler (in-browser)
- Cyberpunk neon UI theme, 537KB zipped

Dashboard lint fixes:
- Fix empty catch blocks, `any` types, `require()` import, empty interfaces

Co-Authored-By: Claude Opus 4.6 <[email protected]>
[Dijkstra] CIP-159-10: Apply batch-wide direct deposits in LEDGER rule (#1122)
After all sub-rule transitions (`SUBLEDGERS`, `CERTS`, `GOVS`, `UTXOW`),
apply batch-wide direct deposits to the final CertState via
`applyDirectDeposits` and `allDirectDeposits`.

`Ledger.lagda.md`:
+  Update `LEDGER-V` output: compute `certStateFinal` by applying
   `allDirectDeposits` to `certState₂`, use `certStateFinal` in the
   output `LedgerState` and in `rmOrphanDRepVotes`;
+  `LEDGER-I` unchanged (invalid batches don't apply deposits);
+  Document direct deposit application ordering and phantom asset
   prevention rationale.

`Ledger/Properties/Computational.lagda.md`:
+  Update `computeProof` valid branch to compute `certStateFinal` and use
   it in the output `LedgerState`.
flake.lock: Update
Flake lock file updates:

• Updated input 'haskell-nix':
    'github:input-output-hk/haskell.nix/cad2645' (2026-01-03)
  → 'github:input-output-hk/haskell.nix/ed95c6b' (2026-04-11)
• Removed input 'haskell-nix/cabal-32'
• Updated input 'haskell-nix/hackage':
    'github:input-output-hk/hackage.nix/05797dd' (2026-01-03)
  → 'github:input-output-hk/hackage.nix/53d33dc' (2026-04-11)
• Updated input 'haskell-nix/hackage-for-stackage':
    'github:input-output-hk/hackage.nix/fba3874' (2026-01-03)
  → 'github:input-output-hk/hackage.nix/2da13a6' (2026-04-11)
• Added input 'haskell-nix/hls-2.12':
    'github:haskell/haskell-language-server/7d983de' (2025-09-24)
• Updated input 'haskell-nix/iserv-proxy':
    'github:stable-haskell/iserv-proxy/1506051' (2025-08-15)
  → 'github:stable-haskell/iserv-proxy/3f7b281' (2026-04-08)
• Updated input 'haskell-nix/stackage':
    'github:input-output-hk/stackage.nix/8a7333a' (2026-01-03)
  → 'github:input-output-hk/stackage.nix/d4d9969' (2026-04-11)
flake.lock: Update
Flake lock file updates:

• Updated input 'haskellNix':
    'github:input-output-hk/haskell.nix/cc939d0' (2026-02-23)
  → 'github:input-output-hk/haskell.nix/ed95c6b' (2026-04-11)
• Removed input 'haskellNix/cabal-32'
• Updated input 'haskellNix/hackage':
    'github:input-output-hk/hackage.nix/06f38c7' (2026-02-23)
  → 'github:input-output-hk/hackage.nix/53d33dc' (2026-04-11)
• Updated input 'haskellNix/hackage-for-stackage':
    'github:input-output-hk/hackage.nix/2d5bbb1' (2026-02-23)
  → 'github:input-output-hk/hackage.nix/2da13a6' (2026-04-11)
• Updated input 'haskellNix/iserv-proxy':
    'github:stable-haskell/iserv-proxy/91ef7ff' (2026-02-04)
  → 'github:stable-haskell/iserv-proxy/3f7b281' (2026-04-08)
• Updated input 'haskellNix/stackage':
    'github:input-output-hk/stackage.nix/862226e' (2026-02-23)
  → 'github:input-output-hk/stackage.nix/d4d9969' (2026-04-11)
• Updated input 'iohk-nix':
    'github:input-output-hk/iohk-nix/a704b93' (2025-11-12)
  → 'github:input-output-hk/iohk-nix/f444d97' (2026-03-23)
flake.lock: Update
Flake lock file updates:

• Updated input 'auth-keys-hub':
    'github:input-output-hk/auth-keys-hub/6b83eb6320ee1d78c46d00803648b6d05f566837?narHash=sha256-tLWwRf6/PdnbXQjHglf2dXA4SSq6HgSjy7oZVlRTZq4%3D' (2023-05-08)
  → 'github:input-output-hk/auth-keys-hub/0d4fb20e6a57e29bfa5da5ebeea18670dfecc8a8?narHash=sha256-RyzerfnEmoCd6tWgXzbl%2BX5ioSlYDLaxPVBsOcLFXFg%3D' (2026-01-08)
• Removed input 'auth-keys-hub/crystal'
• Removed input 'auth-keys-hub/crystal/ameba-src'
• Removed input 'auth-keys-hub/crystal/bdwgc-src'
• Removed input 'auth-keys-hub/crystal/crystal-aarch64-darwin'
• Removed input 'auth-keys-hub/crystal/crystal-src'
• Removed input 'auth-keys-hub/crystal/crystal-x86_64-darwin'
• Removed input 'auth-keys-hub/crystal/crystal-x86_64-linux'
• Removed input 'auth-keys-hub/crystal/crystalline-src'
• Removed input 'auth-keys-hub/crystal/flake-parts'
• Removed input 'auth-keys-hub/crystal/flake-parts/nixpkgs-lib'
• Removed input 'auth-keys-hub/crystal/nixpkgs'
• Updated input 'auth-keys-hub/flake-parts':
    'github:hercules-ci/flake-parts/86684881e184f41aa322e653880e497b66429f3e?narHash=sha256-fSMthG%2Btp60AHhNmaHc4StT3ltfHkQsJtN8GhfLWmtI%3D' (2023-05-01)
  → 'github:hercules-ci/flake-parts/b905f6fc23a9051a6e1b741e1438dbfc0634c6de?narHash=sha256-%2Bhu54pAoLDEZT9pjHlqL9DNzWz0NbUn8NEAHP7PQPzU%3D' (2025-01-06)
• Updated input 'auth-keys-hub/flake-parts/nixpkgs-lib':
    'github:NixOS/nixpkgs/da45bf6ec7bbcc5d1e14d3795c025199f28e0de0?dir=lib&narHash=sha256-sASwo8gBt7JDnOOstnps90K1wxmVfyhsTPPNTGBPjjg%3D' (2023-04-30)
  → 'https://github.com/NixOS/nixpkgs/archive/e9b51731911566bbf7e4895475a87fe06961de0b.tar.gz?narHash=sha256-CewEm1o2eVAnoqb6Ml%2BQi9Gg/EfNAxbRx1lANGVyoLI%3D' (2025-01-01)
• Updated input 'auth-keys-hub/nixpkgs':
    'github:NixOS/nixpkgs/eb751d65225ec53de9cf3d88acbf08d275882389?narHash=sha256-IiJ0WWW6OcCrVFl1ijE%2BgTaP0ChFfV6dNkJR05yStmw%3D' (2023-05-07)
  → 'github:NixOS/nixpkgs/5ae3b07d8d6527c42f17c876e404993199144b6a?narHash=sha256-6eeL1YPcY1MV3DDStIDIdy/zZCDKgHdkCmsrLJFiZf0%3D' (2025-11-24)
• Removed input 'auth-keys-hub/statix'
• Removed input 'auth-keys-hub/statix/fenix'
• Removed input 'auth-keys-hub/statix/fenix/nixpkgs'
• Removed input 'auth-keys-hub/statix/fenix/rust-analyzer-src'
• Removed input 'auth-keys-hub/statix/nixpkgs'
• Updated input 'auth-keys-hub/treefmt-nix':
    'github:numtide/treefmt-nix/c8c3731dc404f837f38f89c2c5ffc2afc02e249d?narHash=sha256-IyNRNRxw0slA3VQySVA7QPXHMOxlbx0ePWvj9oln%2BWk%3D' (2023-05-03)
  → 'github:numtide/treefmt-nix/d1ed3b385f8130e392870cfb1dbfaff8a63a1899?narHash=sha256-uPNWcYbhY2fjY3HOfRCR5jsfzdzemhfxLSxwjXYXqNc%3D' (2025-01-17)
• Updated input 'auth-keys-hub/treefmt-nix/nixpkgs':
    'github:nixos/nixpkgs/d9f759f2ea8d265d974a6e1259bd510ac5844c5d?narHash=sha256-8FuaH5t/aVi/pR1XxnF0qi4WwMYC%2BYxlfdsA0V%2BTEuQ%3D' (2023-04-08)
  → 'github:nixos/nixpkgs/0e82ab234249d8eee3e8c91437802b32c74bb3fd?narHash=sha256-zExSA1i/b%2B1NMRhGGLtNfFGXgLtgo%2BdcuzHzaWA6w3Q%3D' (2024-12-30)
• Removed input 'auth-keys-hub/tullia'
• Removed input 'auth-keys-hub/tullia/nix-nomad'
• Removed input 'auth-keys-hub/tullia/nix-nomad/flake-compat'
• Removed input 'auth-keys-hub/tullia/nix-nomad/flake-utils'
• Removed input 'auth-keys-hub/tullia/nix-nomad/gomod2nix'
• Removed input 'auth-keys-hub/tullia/nix-nomad/gomod2nix/nixpkgs'
• Removed input 'auth-keys-hub/tullia/nix-nomad/gomod2nix/utils'
• Removed input 'auth-keys-hub/tullia/nix-nomad/nixpkgs'
• Removed input 'auth-keys-hub/tullia/nix-nomad/nixpkgs-lib'
• Removed input 'auth-keys-hub/tullia/nix2container'
• Removed input 'auth-keys-hub/tullia/nix2container/flake-utils'
• Removed input 'auth-keys-hub/tullia/nix2container/nixpkgs'
• Removed input 'auth-keys-hub/tullia/nixpkgs'
• Removed input 'auth-keys-hub/tullia/std'
• Removed input 'auth-keys-hub/tullia/std/arion'
• Removed input 'auth-keys-hub/tullia/std/blank'
• Removed input 'auth-keys-hub/tullia/std/devshell'
• Removed input 'auth-keys-hub/tullia/std/devshell/flake-utils'
• Removed input 'auth-keys-hub/tullia/std/devshell/nixpkgs'
• Removed input 'auth-keys-hub/tullia/std/dmerge'
• Removed input 'auth-keys-hub/tullia/std/dmerge/nixlib'
• Removed input 'auth-keys-hub/tullia/std/dmerge/yants'
• Removed input 'auth-keys-hub/tullia/std/flake-utils'
• Removed input 'auth-keys-hub/tullia/std/incl'
• Removed input 'auth-keys-hub/tullia/std/incl/nixlib'
• Removed input 'auth-keys-hub/tullia/std/makes'
• Removed input 'auth-keys-hub/tullia/std/microvm'
• Removed input 'auth-keys-hub/tullia/std/n2c'
• Removed input 'auth-keys-hub/tullia/std/n2c/flake-utils'
• Removed input 'auth-keys-hub/tullia/std/n2c/nixpkgs'
• Removed input 'auth-keys-hub/tullia/std/nixago'
• Removed input 'auth-keys-hub/tullia/std/nixago/flake-utils'
• Removed input 'auth-keys-hub/tullia/std/nixago/nixago-exts'
• Removed input 'auth-keys-hub/tullia/std/nixago/nixpkgs'
• Removed input 'auth-keys-hub/tullia/std/nixpkgs'
• Removed input 'auth-keys-hub/tullia/std/paisano'
• Removed input 'auth-keys-hub/tullia/std/paisano/nixpkgs'
• Removed input 'auth-keys-hub/tullia/std/paisano/nosys'
• Removed input 'auth-keys-hub/tullia/std/paisano/yants'
• Removed input 'auth-keys-hub/tullia/std/paisano-tui'
• Removed input 'auth-keys-hub/tullia/std/paisano-tui/nixpkgs'
• Removed input 'auth-keys-hub/tullia/std/paisano-tui/std'
• Removed input 'auth-keys-hub/tullia/std/yants'
• Removed input 'auth-keys-hub/tullia/std/yants/nixpkgs'
• Updated input 'bitte':
    'github:input-output-hk/bitte/d198c74d49efca955894a597aa4ac3e8ccbc9924?narHash=sha256-hTPc0bqyGUBX8%2BzoYaavDzNbkx5ZGrT0S/xKGY4lRV4%3D' (2023-05-25)
  → 'github:input-output-hk/bitte/c3b506c7b319b1f997eef629c4257bdc52bb2361?narHash=sha256-X7mQOlK0Yf3PqrsswiCWLs0Qx/9mOmLc9MnsCgwAFcQ%3D' (2023-07-28)
• Updated input 'bitte/nix':
    'github:nixos/nix/291e36b1c03469f02307b2b1bf01189b3b4aea33?narHash=sha256-QQISjcDOAtRbki1c3D7h4/skpFF7tvFGNm8RD3yq5NQ%3D' (2023-01-18)
  → 'github:nixos/nix/8fbb4598c24b89c73db318ca7de7f78029cd61f4?narHash=sha256-48kBdcwamd6RcjUm2crPXGih3glBwph0jkIupdiSslw%3D' (2023-07-25)
• Added input 'bitte/nix/flake-compat':
    'github:edolstra/flake-compat/35bb57c0c8d8b62bbfd284272c928ceb64ddbde9?narHash=sha256-4gtG9iQuiKITOjNQQeQIpoIB6b16fm%2B504Ch3sNKLd8%3D' (2023-01-17)
• Updated input 'bitte/nix/nixpkgs':
    'github:NixOS/nixpkgs/fc5b90fd72177d9bcf435b10c12bb943549748c6?narHash=sha256-eLhLKOpF1ix5xZeFF9g8uE1stdyxuBLJvWQ20gLbDto%3D' (2023-01-19)
  → 'github:NixOS/nixpkgs/04a75b2eecc0acf6239acf9dd04485ff8d14f425?narHash=sha256-jy1LB8HOMKGJEGXgzFRLDU1CBGL0/LlkolgnqIsF0D8%3D' (2022-12-08)
• Removed input 'bitte/tullia'
• Removed input 'bitte/tullia/nix-nomad'
• Removed input 'bitte/tullia/nix-nomad/flake-compat'
• Removed input 'bitte/tullia/nix-nomad/flake-utils'
• Removed input 'bitte/tullia/nix-nomad/gomod2nix'
• Removed input 'bitte/tullia/nix-nomad/gomod2nix/nixpkgs'
• Removed input 'bitte/tullia/nix-nomad/gomod2nix/utils'
• Removed input 'bitte/tullia/nix-nomad/nixpkgs'
• Removed input 'bitte/tullia/nix-nomad/nixpkgs-lib'
• Removed input 'bitte/tullia/nix2container'
• Removed input 'bitte/tullia/nix2container/flake-utils'
• Removed input 'bitte/tullia/nix2container/nixpkgs'
• Removed input 'bitte/tullia/nixpkgs'
• Removed input 'bitte/tullia/std'
• Updated input 'bitte-cells/cardano-db-sync/customConfig':
    'path:./custom-config?narHash=sha256-Zd5w1I1Dwt783Q4WuBuCpedcwG1DrIgQGqabyF87prM%3D'
  → 'path:./custom-config'
• Updated input 'darwin':
    'github:lnl7/nix-darwin/87b9d090ad39b25b2400029c64825fc2a8868943?narHash=sha256-AsdYgE8/GPwcelGgrntlijMg4t3hLFJFCRF3tL5WVjA%3D' (2023-01-09)
  → 'github:lnl7/nix-darwin/06648f4902343228ce2de79f291dd5a58ee12146?narHash=sha256-KM2WYj6EA7M/FVZVCl3rqWY%2BTFV5QzSyyGE2gQxeODU%3D' (2026-04-01)
• Updated input 'deploy-rs':
    'github:serokell/deploy-rs/8c9ea9605eed20528bf60fae35a2b613b901fd77?narHash=sha256-QO1xF7stu5ZMDLbHN30LFolMAwY6TVlzYvQoUs1RD68%3D' (2023-01-19)
  → 'github:serokell/deploy-rs/77c906c0ba56aabdbc72041bf9111b565cdd6171?narHash=sha256-hwsYgDnby50JNVpTRYlF3UR/Rrpt01OrxVuryF40CFY%3D' (2026-02-02)
• Updated input 'deploy-rs/flake-compat':
    'github:edolstra/flake-compat/009399224d5e398d03b22badca40a37ac85412a1?narHash=sha256-Ht91NGdewz8IQLtWZ9LCeNXMSXHUss%2B9COoqu6JLmXU%3D' (2022-11-17)
  → 'github:edolstra/flake-compat/ff81ac966bb2cae68946d5ed5fc4994f96d0ffec?narHash=sha256-NeCCThCEP3eCl2l/%2B27kNNK7QrwZB1IJCrXfrbv5oqU%3D' (2024-12-04)
• Updated input 'deploy-rs/nixpkgs':
    'github:NixOS/nixpkgs/bb31220cca6d044baa6dc2715b07497a2a7c4bc7?narHash=sha256-JkHam6WQOwZN1t2C2sbp1TqMv3TVRjzrdoejqfefwrM%3D' (2022-12-19)
  → 'github:NixOS/nixpkgs/bd3bac8bfb542dbde7ffffb6987a1a1f9d41699f?narHash=sha256-jAIUqsiN2r3hCuHji80U7NNEafpIMBXiwKlSrjWMlpg%3D' (2025-03-26)
• Updated input 'deploy-rs/utils':
    'github:numtide/flake-utils/5aed5285a952e0b949eb3ba02c12fa4fcfef535f?narHash=sha256-nuEHfE/LcWyuSWnS8t12N1wc105Qtau%2B/OdUAjtQ0rA%3D' (2022-11-02)
  → 'github:numtide/flake-utils/11707dc2f618dd54ca8739b309ec4fc024de578b?narHash=sha256-l0KFg5HjrsfsO/JpG%2Br7fRrqm12kzFHyUHqHCVpMMbI%3D' (2024-11-13)
• Added input 'deploy-rs/utils/systems':
    'github:nix-systems/default/da67096a3b9bf56a91d16901293e51ba5b49a27e?narHash=sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768%3D' (2023-04-09)
• Updated input 'nix':
    'github:NixOS/nix/ab14087ea3d96f04e8b0248af2502a8b381d0e23?narHash=sha256-ce9Fp57yCP2ElCxlpBlTb8MQsXB%2BOz81rhqTg3e5Hbw%3D' (2023-04-18)
  → 'github:NixOS/nix/362256cb58f7d627a9696cf3fe2f946b7875fe63?narHash=sha256-8BMw6Y4Uha5GthoHnCiYCBEnJXvwD/mWUQdV%2BFCLSVU%3D' (2024-04-09)
• Updated input 'nixpkgs-postgrest':
    'github:NixOS/nixpkgs/13d086012159a2c351925e746b083456a7c91636?narHash=sha256-3XuqZUE6yMid8MSgYNyU76ClnZelfT2iO3YyaMxd/N4%3D' (2022-12-15)
  → 'github:NixOS/nixpkgs/6f8d98bfeb0911b08af066fcfb15cef7f8ee09c1?narHash=sha256-1WfroWqkK/ELU2INucykRdLRuCpBplm6AbHtdX9s%2B5Q%3D' (2026-04-12)
• Updated input 'openziti':
    'github:johnalotoski/openziti-bins/fdc4283ea28c5865fd1d2874a9871cba2392bdb0?narHash=sha256-h7b57EK5gDWeqW3CP2Wrps6vZ/XH6HhqHi3bZl8/jq0%3D' (2023-03-10)
  → 'github:johnalotoski/openziti-bins/d9d132c69e5ea9dc5779c64fbbb84894f3ec31d8?narHash=sha256-7/Q4b64GZSDE1SNfTo3lqGvHZgKDhq8Xb3l4dnbBJ6Y%3D' (2023-05-23)
• Updated input 'std':
    'github:divnix/std/2d3ee4b663ccd7627d0f18a680239f7ffaad83c8?narHash=sha256-WPsNKS9T%2BLK/RgFIl/HrxeN7b4Hb8QdCnGgajdiZubM%3D' (2023-01-14)
  → 'github:divnix/std/4177882c378184b795fa97594b5effd062213891?narHash=sha256-T%2BcYx8cnYJIlWzrF6%2BCreLyt3/xEJM4jUIPpMjjc/t8%3D' (2025-08-17)
• Updated input 'std/devshell':
    'github:numtide/devshell/e3dc3e21594fe07bdb24bdf1c8657acaa4cb8f66?narHash=sha256-%2BxVlcK60x7VY1vRJbNUEAHi17ZuoQxAIH4S4iUFUGBA%3D' (2022-09-17)
  → follows 'std/blank'
• Removed input 'std/devshell/flake-utils'
• Removed input 'std/devshell/nixpkgs'
• Updated input 'std/dmerge':
    'github:divnix/data-merge/d160d18ce7b1a45b88344aa3f13ed1163954b497?narHash=sha256-fzI2gp1skGA8mQo/FBFrUAtY0GQkAIAaV/V127TJPyY%3D' (2022-08-03)
  → 'github:divnix/dmerge/9f7f7a8349d33d7bd02e0f2b484b1f076e503a96?narHash=sha256-ojGtRQ9pIOUrxsQEuEPerUkqIJEuod9hIflfNkY%2B9CE%3D' (2023-06-15)
• Added input 'std/dmerge/haumea':
    follows 'std/haumea'
• Updated input 'std/dmerge/nixlib':
    follows 'std/nixpkgs'
  → follows 'std/lib'
• Removed input 'std/flake-utils'
• Added input 'std/haumea':
    'github:nix-community/haumea/34dd58385092a23018748b50f9b23de6266dffc2?narHash=sha256-FePm/Gi9PBSNwiDFq3N%2BDWdfxFq0UKsVVTJS3cQPn94%3D' (2023-05-26)
• Added input 'std/haumea/nixpkgs':
    follows 'std/lib'
• Updated input 'std/incl':
    'github:divnix/incl/ce7bebaee048e4cd7ebdb4cee7885e00c4e2abca?narHash=sha256-E/%2B23NKtxAqYG/0ydYgxlgarKnxmDbg6rCMWnOBqn9Q%3D' (2022-11-24)
  → 'github:divnix/incl/526751ad3d1e23b07944b14e3f6b7a5948d3007b?narHash=sha256-Beq4WhSeH3jRTZgC1XopTSU10yLpK1nmMcnGoXO0XYo%3D' (2023-08-31)
• Updated input 'std/incl/nixlib':
    follows 'std/nixpkgs'
  → follows 'std/lib'
• Added input 'std/lib':
    'github:nix-community/nixpkgs.lib/d15f6f6021693898fcd2c6a9bb13707383da9bbc?narHash=sha256-L8rwzYPsLo/TYtydPJoQyYOfetuiyQYnTWYcyB8UE/s%3D' (2024-07-28)
• Updated input 'std/n2c':
    'github:nlewo/nix2container/b008fe329ffb59b67bf9e7b08ede6ee792f2741a?narHash=sha256-SAh3ZjFGsaCI8FRzXQyp56qcGdAqgKEfJWPCQ0Sr7tQ%3D' (2022-10-06)
  → follows 'std/blank'
• Removed input 'std/n2c/flake-utils'
• Removed input 'std/n2c/nixpkgs'
• Updated input 'std/nixago':
    'github:nix-community/nixago/8c1f9e5f1578d4b2ea989f618588d62a335083c3?narHash=sha256-/PnwdWoO/JugJZHtDUioQp3uRiWeXHUdgvoyNbXesz8%3D' (2022-08-30)
  → follows 'std/blank'
• Removed input 'std/nixago/flake-utils'
• Removed input 'std/nixago/nixago-exts'
• Removed input 'std/nixago/nixpkgs'
• Updated input 'std/nixpkgs':
    'github:nixos/nixpkgs/95fda953f6db2e9496d2682c4fc7b82f959878f7?narHash=sha256-FZFPuW9NWHJteATOf79rZfwfRn5fE0wi9kRzvGfDHPA%3D' (2022-10-06)
  → 'github:nixos/nixpkgs/205fd4226592cc83fd4c0885a3e4c9c400efabb5?narHash=sha256-zwVvxrdIzralnSbcpghA92tWu2DV2lwv89xZc8MTrbg%3D' (2024-07-09)
• Removed input 'std/nosys'
• Added input 'std/paisano':
    'github:paisano-nix/core/adcf742bc9463c08764ca9e6955bd5e7dcf3a3fe?narHash=sha256-EpcAmvIS4ErqhXtVEfd2GPpU/E/s8CCRSfYzk6FZ/fY%3D' (2024-02-22)
• Added input 'std/paisano/call-flake':
    'github:divnix/call-flake/74061f6c241227cd05e79b702db9a300a2e4131a?narHash=sha256-bmhE1TmrJG4ba93l9WQTLuYM53kwGQAjYHRvHOeuxWU%3D' (2023-06-21)
• Added input 'std/paisano/nixpkgs':
    follows 'std/nixpkgs'
• Added input 'std/paisano/nosys':
    'github:divnix/nosys/feade0141487801c71ff55623b421ed535dbdefa?narHash=sha256-JBDVBnos8g0toU7EhIIqQ1If5m/nyBqtHhL3sicdPwI%3D' (2022-11-09)
• Added input 'std/paisano/yants':
    follows 'std/yants'
• Added input 'std/paisano-tui':
    'github:paisano-nix/tui/231761b260587a64817e4ffae3afc15defaa15db?narHash=sha256-R19YURSK%2BMY/Rw6FZnojQS9zuDh%2BOoTAyngQAjjoubc%3D' (2024-02-22)
• Added input 'std/terranix':
    follows 'std/blank'
• Updated input 'std/yants':
    'github:divnix/yants/d18f356ec25cb94dc9c275870c3a7927a10f8c3c?narHash=sha256-wRRec6ze0gJHmGn6m57/zhz/Kdvp9HS4Nl5fkQ%2BuIuA%3D' (2022-10-30)
  → 'github:divnix/yants/8f0da0dba57149676aa4817ec0c880fbde7a648d?narHash=sha256-kooxYm3/3ornWtVBNHM3Zh020gACUyFX2G0VQXnB%2Bmk%3D' (2023-06-15)
• Updated input 'std/yants/nixpkgs':
    follows 'std/nixpkgs'
  → follows 'std/lib'
• Updated input 'tullia':
    'github:input-output-hk/tullia/621365f2c725608f381b3ad5b57afef389fd4c31?narHash=sha256-B7rEZ/DBUMlK1AcJ9ajnAPPxqXY6zW2SBX%2B51bZV0Ac%3D' (2023-02-06)
  → 'github:input-output-hk/tullia/2964cff1a16eefe301bdddb508c49d94d04603d6?narHash=sha256-wOKutImA7CRL0rN%2BNg80E72fD5FkVub7LLP2k9NICpg%3D' (2023-05-23)
• Updated input 'tullia/std':
    'github:divnix/std/516387e3d8d059b50e742a2ff1909ed3c8f82826?narHash=sha256-tMTaS0bqLx6VJ%2BK%2BZT6xqsXNpzvSXJTmogkraBGzymg%3D' (2023-01-24)
  → 'github:divnix/std/490542f624412662e0411d8cb5a9af988ef56633?narHash=sha256-H37dcuWAGZs6Yl9mewMNVcmSaUXR90/bABYFLT/nwhk%3D' (2023-02-27)
• Updated input 'tullia/std/n2c':
    'github:nlewo/nix2container/b008fe329ffb59b67bf9e7b08ede6ee792f2741a?narHash=sha256-SAh3ZjFGsaCI8FRzXQyp56qcGdAqgKEfJWPCQ0Sr7tQ%3D' (2022-10-06)
  → 'github:nlewo/nix2container/ebca8f58d450cae1a19c07701a5a8ae40afc9efc?narHash=sha256-hUYCwJneMjnxTvj30Fjow6UMJUITqHlpUGpXMPXUJsU%3D' (2023-02-25)
• Updated input 'tullia/std/nixago':
    'github:nix-community/nixago/8c1f9e5f1578d4b2ea989f618588d62a335083c3?narHash=sha256-/PnwdWoO/JugJZHtDUioQp3uRiWeXHUdgvoyNbXesz8%3D' (2022-08-30)
  → 'github:nix-community/nixago/9cab4dde31ec2f2c05d702ea8648ce580664e906?narHash=sha256-X/aIT8Qc8UCqnxJvaZykx3CJ0ZnDFvO%2Bdqp/7fglZWo%3D' (2023-02-11)
• Updated input 'tullia/std/nixpkgs':
    'github:nixos/nixpkgs/95fda953f6db2e9496d2682c4fc7b82f959878f7?narHash=sha256-FZFPuW9NWHJteATOf79rZfwfRn5fE0wi9kRzvGfDHPA%3D' (2022-10-06)
  → 'github:nixos/nixpkgs/6ccc4a59c3f1b56d039d93da52696633e641bc71?narHash=sha256-epG6pOT9V0kS%2BFUqd7R6/CWkgnZx2DMT5Veqo%2By6G3c%3D' (2023-02-09)
• Removed input 'tullia/std/nosys'
• Added input 'tullia/std/paisano':
    'github:paisano-nix/core/5f2fc05e98e001cb1cf9535ded09e05d90cec131?narHash=sha256-YGfMothgUq1T9wMJYEhOSvdIiD/8gLXO1YcZA6hyIWU%3D' (2023-02-26)
• Added input 'tullia/std/paisano/nixpkgs':
    follows 'tullia/std/nixpkgs'
• Added input 'tullia/std/paisano/nosys':
    'github:divnix/nosys/feade0141487801c71ff55623b421ed535dbdefa?narHash=sha256-JBDVBnos8g0toU7EhIIqQ1If5m/nyBqtHhL3sicdPwI%3D' (2022-11-09)
• Added input 'tullia/std/paisano/yants':
    follows 'tullia/std/yants'
• Added input 'tullia/std/paisano-tui':
    'github:paisano-nix/tui/802958d123b0a5437441be0cab1dee487b0ed3eb?narHash=sha256-Nq1dH/qn7Wg/Tj1%2Bid%2BZM3o0fzqonW73jAgY3mCp35M%3D' (2023-02-27)
• Added input 'tullia/std/paisano-tui/nixpkgs':
    follows 'tullia/std/blank'
• Added input 'tullia/std/paisano-tui/std':
    follows 'tullia/std'
flake.lock: Update
Flake lock file updates:

• Updated input 'CHaP':
    'github:input-output-hk/cardano-haskell-packages/adb95662bd219b60292c4c34b8c223d205eb00b0' (2023-09-02)
  → 'github:input-output-hk/cardano-haskell-packages/86660ad10909f521a9c42cb01e9626aefd3903cf' (2026-04-11)
• Updated input 'hackageNix':
    'github:input-output-hk/hackage.nix/34cd9fe31d210f2ff041f490eaa4029f6b2812c4' (2023-08-28)
  → 'github:input-output-hk/hackage.nix/71cae2e4678c1721bacca2a8ad9dda647ca3ecfc' (2026-04-12)
flake.lock: Update
Flake lock file updates:

• Updated input 'CHaP':
    'github:input-output-hk/cardano-haskell-packages/adb95662bd219b60292c4c34b8c223d205eb00b0' (2023-09-02)
  → 'github:input-output-hk/cardano-haskell-packages/86660ad10909f521a9c42cb01e9626aefd3903cf' (2026-04-11)
• Updated input 'hackageNix':
    'github:input-output-hk/hackage.nix/34cd9fe31d210f2ff041f490eaa4029f6b2812c4' (2023-08-28)
  → 'github:input-output-hk/hackage.nix/71cae2e4678c1721bacca2a8ad9dda647ca3ecfc' (2026-04-12)
flake.lock: Update
Flake lock file updates:

• Updated input 'flake-compat':
    'github:edolstra/flake-compat/b4a34015c698c7793d592d66adbab377907a2be8?narHash=sha256-Z%2Bs0J8/r907g149rllvwhb4pKi8Wam5ij0st8PwAh%2BE%3D' (2022-04-19)
  → 'github:edolstra/flake-compat/5edf11c44bc78a0d334f6334cdaf7d60d732daab?narHash=sha256-vNpUSpF5Nuw8xvDLj2KCwwksIbjua2LZCqhV1LNRDns%3D' (2025-12-29)
• Updated input 'flake-utils':
    'github:numtide/flake-utils/c0e246b9b83f637f4681389ecabcb2681b4f3af0?narHash=sha256-zllb8aq3YO3h8B/U0/J1WBgAL8EX5yWf5pMj3G0NAmc%3D' (2022-08-07)
  → 'github:numtide/flake-utils/11707dc2f618dd54ca8739b309ec4fc024de578b?narHash=sha256-l0KFg5HjrsfsO/JpG%2Br7fRrqm12kzFHyUHqHCVpMMbI%3D' (2024-11-13)
• Added input 'flake-utils/systems':
    'github:nix-systems/default/da67096a3b9bf56a91d16901293e51ba5b49a27e?narHash=sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768%3D' (2023-04-09)
• Updated input 'naersk':
    'github:nix-community/naersk/6944160c19cb591eb85bbf9b2f2768a935623ed3?narHash=sha256-9o2OGQqu4xyLZP9K6kNe1pTHnyPz0Wr3raGYnr9AIgY%3D' (2022-09-03)
  → 'github:nix-community/naersk/9d4ed44d8b8cecdceb1d6fd76e74123d90ae6339?narHash=sha256-88IFXZ7Sa1vxbz5pty0Io5qEaMQMMUPMonLa3Ls/ss4%3D' (2026-01-30)
• Added input 'naersk/fenix':
    'github:nix-community/fenix/bf0d6f70f4c9a9cf8845f992105652173f4b617f?narHash=sha256-z6QEu4ZFuHiqdOPbYss4/Q8B0BFhacR8ts6jO/F/aOU%3D' (2025-07-14)
• Added input 'naersk/fenix/nixpkgs':
    follows 'naersk/nixpkgs'
• Added input 'naersk/fenix/rust-analyzer-src':
    'github:rust-lang/rust-analyzer/591e3b7624be97e4443ea7b5542c191311aa141d?narHash=sha256-EJcdxw3aXfP8Ex1Nm3s0awyH9egQvB2Gu%2BQEnJn2Sfg%3D' (2025-07-13)
• Updated input 'nixpkgs':
    'github:NixOS/nixpkgs/c5924154f000e6306030300592f4282949b2db6c?narHash=sha256-ONFhHBLv5nZKhwV/F2GOH16197PbvpyWhoO0AOyktkU%3D' (2022-10-08)
  → 'github:NixOS/nixpkgs/4c1018dae018162ec878d42fec712642d214fdfa?narHash=sha256-ar3rofg%2BawPB8QXDaFJhJ2jJhu%2BKqN/PRCXeyuXR76E%3D' (2026-04-09)
• Updated input 'pre-commit-hooks':
    'github:cachix/pre-commit-hooks.nix/11aff801aa0ea1fb02ae43e61f7cdf610f5fe2e5?narHash=sha256-kkV5gfDJWMxKmYq3Y2pgvD7zH/I3WoW/0wr659Stj1Q%3D' (2022-10-10)
  → 'github:cachix/pre-commit-hooks.nix/580633fa3fe5fc0379905986543fd7495481913d?narHash=sha256-8Psjt%2BTWvE4thRKktJsXfR6PA/fWWsZ04DVaY6PUhr4%3D' (2026-04-07)
• Added input 'pre-commit-hooks/flake-compat':
    'github:NixOS/flake-compat/5edf11c44bc78a0d334f6334cdaf7d60d732daab?narHash=sha256-vNpUSpF5Nuw8xvDLj2KCwwksIbjua2LZCqhV1LNRDns%3D' (2025-12-29)
• Removed input 'pre-commit-hooks/flake-utils'
• Added input 'pre-commit-hooks/gitignore':
    'github:hercules-ci/gitignore.nix/637db329424fd7e46cf4185293b9cc8c88c95394?narHash=sha256-HG2cCnktfHsKV0s4XW83gU3F57gaTljL9KNSuG6bnQs%3D' (2024-02-28)
• Added input 'pre-commit-hooks/gitignore/nixpkgs':
    follows 'pre-commit-hooks/nixpkgs'
• Updated input 'rust-overlay':
    'github:oxalica/rust-overlay/af29a900f10dd6e467622202fb4f6d944d72a3a6?narHash=sha256-y/UcVB5k0Wdc0j%2B7whJE2%2Bvko8m296wZYX37b2lFSpI%3D' (2022-10-10)
  → 'github:oxalica/rust-overlay/08b4f3633471874c8894632ade1b78d75dbda002?narHash=sha256-wpSQm2PD/w4uRo2wb8utk0b5hOBkkg/CZ1xICY%2BqB7M%3D' (2026-04-11)
• Removed input 'rust-overlay/flake-utils'