Search results

flake: use git+https for inputs so nix develop works behind the GitHub tarball proxy

discuss in meetingThings to discuss in the next formal ledger meetingThings to discuss in the next formal ledger meeting

🛠️ infrastructure

Status: Open.

#1254 In IntersectMBO/formal-ledger-specifications;

· williamdemeo opened on Jul 8, 2026

[Dijkstra] Move NetworkId checks for DirectDeposits and Withdrawals to ENTITIES

Status: Open.

#1252 In IntersectMBO/formal-ledger-specifications;

· carlostome opened on Jul 7, 2026

[Dijkstra] move balance interval checks from Utxo to Entities

era: dijkstra

Status: Open.

#1251 In IntersectMBO/formal-ledger-specifications;

· williamdemeo opened on Jul 6, 2026

Conformance failure: delegate and unregister after a hardfork

conformance

era: conway

Status: Open.

#1249 In IntersectMBO/formal-ledger-specifications;

· carlostome opened on Jul 3, 2026

[Conway] Add <⇒sucᵉ≤ axiom to EpochStructure

discuss in meetingThings to discuss in the next formal ledger meetingThings to discuss in the next formal ledger meeting

era: conway

Status: Open.

#1248 In IntersectMBO/formal-ledger-specifications;

· williamdemeo opened on Jul 1, 2026

Change pvCanFollow relation so positional arguments have clear roles

Status: Open.

#1246 In IntersectMBO/formal-ledger-specifications;

· carlostome opened on Jun 26, 2026

[Conway] EPOCH preserves the DReps equivalence (expired-DReps parametricity)

era: conway

property

Status: Open.

#1241 In IntersectMBO/formal-ledger-specifications;

· williamdemeo opened on Jun 23, 2026

[Conway] CERT and CERTS preserve value

era: conway

property

Status: Open.

#1240 In IntersectMBO/formal-ledger-specifications;

· williamdemeo opened on Jun 23, 2026

[Conway] UTXO preserves value

era: conway

property

Status: Open.

#1239 In IntersectMBO/formal-ledger-specifications;

· williamdemeo opened on Jun 23, 2026

[Conway] LEDGER preserves value

era: conway

property

Status: Open.

#1238 In IntersectMBO/formal-ledger-specifications;

· williamdemeo opened on Jun 23, 2026

[Conway] govDepsMatch is an EPOCH invariant

era: conway

property

Status: Open.

#1237 In IntersectMBO/formal-ledger-specifications;

· williamdemeo opened on Jun 23, 2026

[Conway] govDepsMatch is a LEDGER invariant

era: conway

property

Status: Open.

#1236 In IntersectMBO/formal-ledger-specifications;

· williamdemeo opened on Jun 23, 2026