Gastronomy

Breaks after HF

Blocked by

• own gapgastronomytransaction-encodingplutus-language
• upstream fixaikenplutus-languageplutus-script-context

Waiting on

• blockfrostno-evidence, no verdicttransaction-encoding
• pallasin-progress, no verdictconsensus-participationplutus-languageprotocol-parametersstake-pool-registrationtransaction-encodingtransaction-rules

Lead decisions

• confirmed· aikenplutus-languageplutus-script-context

  Script contexts for the debugged transaction are built by Aiken's uplc crate (tx_to_programs), which has no PlutusV4 context.

  • gastronomy/Cargo.toml:24uplc = { git = "https://github.com/SundaeSwap-finance/aiken.git", rev = "8416725" }
  • gastronomy/src/uplc.rs:149tx_to_programs(&tx, &resolved_inputs, &slot_config, script_overrides).unwrap()

• confirmed· own codetransaction-encoding

  Debugging a transaction by id fetches its CBOR from Blockfrost and decodes it with Pallas's Conway MintedTx, which cannot read the Dijkstra three-element form or its new body keys.

  • gastronomy/src/uplc.rs:114let multi_era_tx = MintedTx::decode_fragment(&tx_bytes).unwrap();
  • gastronomy/src/chain_query.rs:137let tx_bytes = hex::decode(value["cbor"].as_str().unwrap())?;

• confirmed· own codeplutus-language

  Reference scripts of the inputs are rebuilt from Blockfrost's script type with arms for PlutusV1-V3 only; a PlutusV4 reference script has no case.

  • gastronomy/src/chain_query.rs:214let script = match script_version {
  • gastronomy/src/chain_query.rs:221Type::PlutusV3 => {

• not-reached· blockfrostera-identityprotocol-parameters

  The debugger fetches transaction bytes and UTxOs from Blockfrost; no parameters or era summaries.

  • gastronomy/src/chain_query.rs:34Self::Blockfrost(blockfrost) => blockfrost.get_tx_bytes(tx_id).await,

• not-reached· own codeblock-encodingplutus-script-contextprotocol-parameters

  Script contexts come from Aiken's uplc crate (its own lead); cost models are uplc's defaults and no blocks are decoded.

  • gastronomy/src/uplc.rs:25tx::{script_context::PlutusScript, tx_to_programs},
  • gastronomy/src/uplc.rs:205CostModel::default(),

• not-reached· pallasnode-to-client-protocol

  The UPLC debugger uses the umbrella crate for ledger primitives and phase-two helpers, never pallas::network.

  • gastronomy/Cargo.toml:20pallas = { version = "0.32.0", features = ["applying"] }
  • gastronomy/src/lib.rs:15pub use pallas::ledger::primitives::ScriptHash;

• not-reached· pallasblock-encodingera-identity

  The UPLC debugger uses Pallas for primitives and phase-two helpers; it decodes no blocks and detects no eras.

  • gastronomy/src/lib.rs:15pub use pallas::ledger::primitives::ScriptHash;
  • gastronomy/Cargo.toml:20pallas = { version = "0.32.0", features = ["applying"] }