Chain-facing capabilities have not been reviewed.
Next: Review production entry points and integration behavior.
In review: This tooling data is still being verified and may change.
Viper Science · container
libcardano
Dijkstra readiness: gap (see below). Dependency evidence does not establish compatibility.
Dijkstra hardfork
All tools →Breaks after HF
Own code gap
Exposure service · inherited readiness gap · scanned at 7a63ffabaf
Changed surfaces touched by shipped code (7)
- block-encodinggap · via marker:segregated-block-body, ogmios
- era-identitygap · via ogmios
- node-to-client-protocolverified · via ogmios
- plutus-languagegap · via ogmios
- protocol-parametersgap · via marker:cost-models-or-parameters, ogmios
- stake-pool-registrationunassessed · via marker:pool-registration
- transaction-encodinggap · via marker:legacy-stake-certificate, ogmios
Blocked by
- own gaplibcardanotransaction-encoding
Lead decisions
confirmed· own codetransaction-encoding
The transaction builder's stake registration certificate is the deposit-less type 0. Dijkstra rejects deposit-less stake (de)registration certificates (types 0 and 1); on the devnet a Conway transaction carrying one is refused after the fork (cross-era-submission).
- include/cardano/ledger.hpp:767
static constexpr auto TypeTag() -> Uint { return 0; } - src/babbage/transaction.cpp:165
auto cert = babbage::StakeRegistration{}; - include/cardano/ledger.hpp:1564
using StakeRegistration = shelley::StakeRegistration;
- include/cardano/ledger.hpp:767
not-reached· ogmiosblock-encodingera-identityplutus-languageprotocol-parameterstransaction-encoding
Ogmios is named only as a JSON format in a doc comment.
- include/cardano/transaction.hpp:94
/// @brief Provide de-serialization from JSON, i.e., Ogmios.
- include/cardano/transaction.hpp:94
not-reached· own codeblock-encodingprotocol-parametersstake-pool-registration
The block type with segregated bodies is declared but never decoded (no block deserializer exists); cost models are genesis-file JSON, and pool registration certificates stay valid without the optional BLS key.
- include/cardano/ledger.hpp:1138
struct Block - include/cardano/genesis.hpp:271
struct CostModels - src/shelley/transaction.cpp:107
auto TransactionBuilder::addPoolRegistrationCertificate(
- include/cardano/ledger.hpp:1138
Artifact mapping
partial
Native resolution
unresolved
Integration review
unresolved
Capability review
unresolved
- Discovered source release
- unreleased:main
- Source repository
- ViperScience/libcardano
- Last successful discovery
- 2026-10-17T16:51:41.993Z
- Last attempt
- 2026-10-17T16:51:40.022Z
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
Runtime, bundled, and service dependencies have not been reviewed.
Next: Export a discovery review packet.
No GitHub stable release was found; default-branch source is discovery evidence only.
Next: Confirm distribution artifacts and production configuration with release evidence.
No native dependency resolution has been imported.
Next: Collect a native resolution for a declared release/profile.
Discovered manifests (3)
Evidence index (2)
- Release selection and immutable source identity
evidence:80589e4763e861397f695fc144587068d59116d3efb50d38b9caad3f5539e3c8Retained at data/readiness/evidence/80589e4763e861397f695fc144587068d59116d3efb50d38b9caad3f5539e3c8.json.gz - Pinned repository tree for manifest and integration discovery
evidence:c8cc2566496077c14cac754f597b9570ffa090b221cf609c096d1290f784c714Retained at data/readiness/evidence/c8cc2566496077c14cac754f597b9570ffa090b221cf609c096d1290f784c714.json.gz