Tx3

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

Dijkstra hardfork

All tools →

Not verifiedWaits on a verdict for utxorpc

Exposure dependency · inherited readiness gap · scanned at dabcab43c1

Changed surfaces touched by shipped code (9)

block-encodinggap · via pallas, utxorpc, marker:raw-cbor-codec
consensus-participationin-progress · via pallas
era-identitygap · via pallas
node-to-client-protocolreleased · via pallas
plutus-languagein-progress · via pallas, marker:plutus-language-enum
protocol-parametersin-progress · via pallas, marker:cost-models-or-parameters
stake-pool-registrationin-progress · via pallas
transaction-encodingin-progress · via pallas, utxorpc, marker:raw-cbor-codec
transaction-rulesin-progress · via pallas

Waiting on

utxorpcin-progress, no verdictblock-encodingtransaction-encoding

Lead decisions

not-reached· own codeblock-encodingplutus-languageprotocol-parameterstransaction-encoding
Compiles its own transactions; the language-view table stops at PlutusV3, which limits new scripts but leaves V1-V3 transactions valid, and decoded CBOR is limited to script references it is given.
- crates/tx3-cardano/src/compile/script_data.rs:20PlutusV1=0, PlutusV2=1, PlutusV3=2
- crates/tx3-cardano/src/coercion.rs:119minicbor::decode::<primitives::ScriptRef>(&bytes)
not-reached· pallasblock-encodingera-identityconsensus-participationplutus-languageprotocol-parametersstake-pool-registrationtransaction-encodingtransaction-rules
The Cardano compiler builds transactions with Pallas types and hashes them; it decodes no blocks and detects no eras. Its own Conway-form transactions stay valid after the fork.
- crates/tx3-cardano/src/lib.rs:11use pallas::ledger::traverse::ComputeHash;

Inspect source release

Artifact mapping

partial

Native resolution

unresolved

Integration review

unresolved

Capability review

unresolved

Discovered source release: v0.25.0
Source repository: tx3-lang/tx3
Last successful discovery: 2026-10-17T16:53:14.117Z
Last attempt: 2026-10-17T16:53:12.371Z

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 (18)

Evidence index (2)

Release selection and immutable source identityevidence:2a946bd1294443155521d0f94772f98c93985452bdb696d31297d4188075ad3cRetained at data/readiness/evidence/2a946bd1294443155521d0f94772f98c93985452bdb696d31297d4188075ad3c.json.gz
Pinned repository tree for manifest and integration discoveryevidence:97666e97acd33daad2c7a42f2d4dc2ea8fe559f439fb862c553053a2a9f3e47cRetained at data/readiness/evidence/97666e97acd33daad2c7a42f2d4dc2ea8fe559f439fb862c553053a2a9f3e47c.json.gz