Issues

• Payload accepts plain JSON and maps it to Plutus data

  enhancement
  lambdasistemi/singular#719 · Filter by author paolino opened on Oct 20, 2026 · M1: Permanent two-edge registry for KERI — Demo 1

• Demo 1 steps need no jq: settings, registry name and receipts handled by the commands

  enhancement
  lambdasistemi/singular#717 · Filter by author paolino opened on Oct 20, 2026 · M1: Permanent two-edge registry for KERI — Demo 1

• Release singular and open-datum executables for Linux and macOS

  lambdasistemi/singular#695 · Filter by author paolino opened on Oct 19, 2026 · M1: Permanent two-edge registry for KERI — Demo 1

• Take vault, bundle and submit planning from cardano-wallet-tools

  refactor
  lambdasistemi/singular#691 · Filter by author paolino opened on Oct 18, 2026
  

• Two-actors journeys leak a run directory per CI run under ~/.cache

  bug
  lambdasistemi/singular#690 · Filter by author paolino opened on Oct 17, 2026 · M1: Permanent two-edge registry for KERI — Demo 1

• The devnet harness holds more memory the longer a run lasts

  lambdasistemi/singular#687 · Filter by author paolino opened on Oct 17, 2026 · M1: Permanent two-edge registry for KERI — Demo 1

• Publication boundary controls: a fixture-build setup failure prints no reason

  lambdasistemi/singular#686 · Filter by author paolino opened on Oct 17, 2026 · M4: Tooling, performance and maintainability

• No staking surface: remove the always-true staking validator from the published blueprint

  lambdasistemi/singular#682 · Filter by author paolino opened on Oct 16, 2026 · M1: Permanent two-edge registry for KERI — Demo 1

• Correspondence: the compiled witness policy and the off-chain pin and name derivations agree with the ledger model

  lambdasistemi/singular#681 · Filter by author paolino opened on Oct 16, 2026 · M1: Permanent two-edge registry for KERI — Demo 1

• Registry identity over ledger histories: the state token is unique, so a fold is this registry's

  lambdasistemi/singular#680 · Filter by author paolino opened on Oct 16, 2026 · M1: Permanent two-edge registry for KERI — Demo 1

• Ledger boundary model: a registry-free ledger layer and the mint guarantees of one transaction

  lambdasistemi/singular#679 · Filter by author paolino opened on Oct 16, 2026 · M1: Permanent two-edge registry for KERI — Demo 1

• Genesis checks the registry's policy pins on chain (1.x)

  lambdasistemi/singular#678 · Filter by author paolino opened on Oct 16, 2026 · M1: Permanent two-edge registry for KERI — Demo 1

• Conformance appendix example on generated fold selections fails at random

  lambdasistemi/singular#677 · Filter by author paolino opened on Oct 16, 2026 · M4: Tooling, performance and maintainability

• Epic: ledger-level guarantees — minting policies and asset-name derivation in the model

  lambdasistemi/singular#676 · Filter by author paolino opened on Oct 16, 2026 · M1: Permanent two-edge registry for KERI — Demo 1

• Retire the key file from the registry write commands; move the harnesses to the vault

  lambdasistemi/singular#672 · Filter by author paolino opened on Oct 16, 2026 · M1: Permanent two-edge registry for KERI — Demo 1

• Measure the registration cost, minimum tip, booking width and carrier minimum on the target network

  lambdasistemi/singular#671 · Filter by author paolino opened on Oct 16, 2026 · M1: Permanent two-edge registry for KERI — Demo 1

• One definition of a well-formed naming state in the Lean model

  lambdasistemi/singular#670 · Filter by author paolino opened on Oct 16, 2026 · M4: Tooling, performance and maintainability

• Rename the earlier design's public names to the ruled vocabulary, source and wire together

  lambdasistemi/singular#669 · Filter by author paolino opened on Oct 16, 2026 · M4: Tooling, performance and maintainability

• Retire the first-stage rejection from the Lean model once the validators follow the ruled rule

  lambdasistemi/singular#668 · Filter by author paolino opened on Oct 16, 2026 · M1: Permanent two-edge registry for KERI — Demo 1

• Two-actor foreign-open control fails in setup: bob's reclaim booking left no access trace

  lambdasistemi/singular#667 · Filter by author paolino opened on Oct 16, 2026 · M1: Permanent two-edge registry for KERI — Demo 1

• Diagram text keeps the previous palette's colours after the theme toggle

  lambdasistemi/singular#666 · Filter by author paolino opened on Oct 16, 2026 · M4: Tooling, performance and maintainability

• Release run pages under onchain-release/ are outside the hosted speech check; four ship without speech

  lambdasistemi/singular#663 · Filter by author paolino opened on Oct 15, 2026 · M1: Permanent two-edge registry for KERI — Demo 1

• Release-archive journeys lose their freshly built open-datum executable mid-run (exit 127)

  lambdasistemi/singular#659 · Filter by author paolino opened on Oct 15, 2026 · M1: Permanent two-edge registry for KERI — Demo 1

• A query command to read the local state directory through the Singular library

  lambdasistemi/singular#655 · Filter by author paolino opened on Oct 15, 2026 · M4: Tooling, performance and maintainability

• Presence witness: mint one with every name token, burn it at termination or deletion

  lambdasistemi/singular#652 · Filter by author paolino opened on Oct 15, 2026 · M2: Registry extensions — witnesses, reservations and deletion