DevX Initiative
In review: This tooling data is still being verified and may change.
← Dijkstra readiness

MLabs · cabal / nix

plutus-simple-model

Dijkstra readiness: upstream (see below). Dependency evidence does not establish compatibility.

Dijkstra hardfork

All tools →

DismissedAbandoned; the repository is archived. (2026-10-23)

Otherwise: Not verified

Exposure dependency · inherited readiness upstream · repository archived · scanned at 8474a3e725

Changed surfaces touched by shipped code (8)
  • block-encodingunassessed · via marker:raw-cbor-codec
  • era-identityupstream · via dependency:cardano-ledger
  • plutus-languagereleased · via plutarch, plutus-plutus-core
  • plutus-script-contextreleased · via plutarch, plutus-plutus-core, marker:script-context
  • protocol-parametersupstream · via dependency:cardano-ledger, marker:cost-models-or-parameters
  • stake-pool-registrationunassessed · via marker:pool-registration
  • transaction-encodingupstream · via dependency:cardano-ledger, marker:raw-cbor-codec
  • transaction-rulesupstream · via dependency:cardano-ledger

Lead decisions

  • not-reached· own codeblock-encodingplutus-script-contextprotocol-parametersstake-pool-registrationtransaction-encoding

    An emulator on cardano-ledger's Alonzo/Babbage types with its own parameters; it follows no chain.

Inspect source release

Artifact mapping

partial

Native resolution

unresolved

Integration review

unresolved

Capability review

unresolved

Discovered source release
alonzo-plutus-v1
Source repository
mlabs-haskell/plutus-simple-model
Last successful discovery
2026-10-17T16:52:59.114Z
Last attempt
2026-10-17T16:52:57.213Z

Dependency profiles

No native profile has been collected. Dependency coverage is unresolved, not empty.

Chain-facing capabilities

Findings describe behavior in a specific release and configuration. Suggestions need verification; historical findings do not establish behavior in the current source. None establishes hardfork compatibility.

No capability findings have been returned. Behavior remains unresolved; an empty list does not mean this tool has no chain-facing capabilities.

Unresolved frontiers and next actions

capability

Chain-facing capabilities have not been reviewed.

Next: Review production entry points and integration behavior.

integration

Runtime, bundled, and service dependencies have not been reviewed.

Next: Export a discovery review packet.

resolution

No native dependency resolution has been imported.

Next: Collect a native resolution for a declared release/profile.

artifact

Source release identified; published package/binary correspondence and supported profiles need verification.

Next: Confirm distribution artifacts and production configuration with release evidence.

Discovered manifests (5)
Evidence index (2)