singular-registry
PlutusData types matching the Aiken cage validator, transaction builders using the TxBuild DSL from cardano-node-clients, JSON/Aiken test vector generator, and devnet E2E tests. Single source of truth for all Haskell cage code.
Modules
singular-registry-0.1.0.0
- Naming
- Naming.Datum
- Naming.Register
- Naming.Request
- Naming.Verify Pure retirement-binding verification (NOTE-024 item 3, NOTE-026)
- Naming.Wire
- Singular
- Provider
- Koios
- Singular.Provider.Koios.Client Typed Koios calls over a chosen transport
- Singular.Provider.Koios.Evidence
- Singular.Provider.Koios.History
- Singular.Provider.Koios.Provider
- Singular.Provider.Koios.Recorded A Koios transport answering from recorded fixtures
- Singular.Provider.Koios.Runtime
- Singular.Provider.Koios.State
- Singular.Provider.Koios.Wire Koios requests and the decoders of their answers
- Koios
- Registry
- Singular.Registry.Application The application a registry pins, as a value
- Singular.Registry.AssetName Deterministic asset-name derivation
- Singular.Registry.Blueprint CIP-57 blueprint schema validation (public facade)
- Singular.Registry.Blueprint.Load blueprint loading, code selection and registry naming codes
- Singular.Registry.Blueprint.Params UPLC parameter application for blueprint compiled code
- Singular.Registry.Blueprint.Schema CIP-57 blueprint schema types, JSON parsing and validation
- Singular.Registry.Candidate Which revision a run's evidence claims to replay
- Singular.Registry.Capabilities
- Singular.Registry.Config Configuration for cage transaction builders
- Singular.Registry.Config.Application The application pin a registry derives from its seed
- Singular.Registry.Confirmation
- Singular.Registry.Deployment One persistent registry, recorded and re-attached to
- Singular.Registry.Deployment.Attach Checking a manifest against a node and attaching to it
- Singular.Registry.Deployment.Manifest The deployment manifest and the paths around it
- Singular.Registry.Deployment.Mirror The proof mirror a deployment carries beside its manifest
- Singular.Registry.Driver Booting a registry and folding its edges, obligations discharged
- Singular.Registry.FoldSelection Pure fold selection over pending requests (#518)
- Singular.Registry.Funding The fixed floor the conformance runner keeps for its scenarios
- Singular.Registry.Lifecycle
- Singular.Registry.Page The registry page: one value from explicit inputs, rendered as text or JSON
- Singular.Registry.Proof Aiken-compatible proof serialization
- Singular.Registry.Replay A registry's trie rebuilt from the public history of its state token
- Singular.Registry.StateToken A registry joined from its state token and the release
- Singular.Registry.Trie Per-token MPF trie management interface
- Singular.Registry.Trie.Pure Pure MPF computations and a mutable compatibility adapter
- Singular.Registry.Trie.PureManager Mutable in-memory TrieManager compatibility adapter
- Singular.Registry.TrieState
- TxBuilder
- Singular.Registry.TxBuilder.Boot Boot token minting transaction
- Singular.Registry.TxBuilder.ConnectedFold Permissionless connected fold with attached actions
- Singular.Registry.TxBuilder.Edges Booking and folding one registry-mode tree edge
- Singular.Registry.TxBuilder.Internal Shared helpers for cage transaction builders (public facade)
- Singular.Registry.TxBuilder.Internal.Edges edge decisions, consumer binding and failure attribution
- Singular.Registry.TxBuilder.Internal.Identity builder script identity and ledger/data conversion
- Singular.Registry.TxBuilder.Internal.Lookup UTxO lookup, balancing, script integrity and time helpers
- Singular.Registry.TxBuilder.Register Consumer stake-credential registration transaction
- Singular.Registry.TxBuilder.Reject Reject transaction for a registry's pending requests
- Singular.Registry.TxBuilder.Request Request transactions, one per seven-admitted-edges edge
- Singular.Registry.TxBuilder.Retract Retract request transaction
- Singular.Registry.TxBuilder.Update Update token transaction — the public fold facade
- Singular.Registry.TxBuilder.Update.Build Fold transaction assembly — one story language program
- Singular.Registry.TxBuilder.Update.Context Fold context preparation — queries, proofs, state and slot
- Singular.Registry.TxBuilder.Update.Duties Fold duty decisions — what each edge owes
- Singular.Registry.Types PlutusData types for the registry validator
- Singular.Registry.Wait
- Wire
- Singular.Registry.Wire.Primitive Primitive registry wire values, their codecs, and the shared Data helpers
- Singular.Registry.Wire.Proof Neighbor and proof-step values for MPF Merkle proofs
- Singular.Registry.Wire.Redeemer Mint, update, and pinned-hook consumer redeemers
- Singular.Registry.Wire.Request Edge vocabulary, request datum, and phase classification
- Singular.Registry.Wire.State Token state, policy accessors, and the cage datum
- Provider