pages / program / lambda_exchange_moonbeam_ed0b731dcbf6c1c0

program · lambda_exchange_moonbeam_ed0b731dcbf6c1c0

canister coord://offchain/genie/program/lambda_exchange_moonbeam_ed0b731dcbf6c1c0@v1/005ccce965e8c39b · v1 · artifact root 0x005ccce965e8c39b23a7c9b255fe4c1fb19dfe9a8b62c1e2381052cbee93930b · previous none (first version) · superroot at publish not sealed yet

sealed cases that reached it: 0 — sealed cases that reached this word (the store counts, never reads)

the words it says

• venues · mcp
• venues · grid
• vaults · vault:taifoon:loop
• products · lambda.read
• products · lambda.act
• components · evm-carrier
• hops · settled
• hops · recorded
• kinds · trigger
• kinds · read
• kinds · guard
• kinds · act
• kinds · settle
• kinds · check
• guards · owner-arm
• guards · signer-allowlist
• guards · chain-pin
• guards · receipt-check
• guards · outflow-breaker
• guards · halt-on-failure
• guards · single-runner
• guards · idempotent-payouts
• guards · fixed-addresses
• guards · vault-owns
• guards · kms-sign-only
• guards · role-keys
• flows · flow:agentic-commerce
• lambdas · lambda:exchange-moonbeam-ed0b731dcbf6c1c0
• parties · agent
• hdkinds · product
• hdkinds · symptom
• hdkinds · cause
• hdkinds · fix
• hdkinds · rule
• hdkinds · agent
• hdedges · caused_by
• hdedges · fixed_by
• effects · read
• effects · act
• effects · settle
• reader_kinds · lane
• reader_kinds · rule
• script_functions · sign
• hosts · start
• intents · sign

the source

// generated by genie import from lang/gen/taifoon-lambdas.json (lambda:exchange-moonbeam-ed0b731dcbf6c1c0) — a Taifoon Lambda as a genie client program: its triggers, reads, acts behind its guards, its vault.
genie lambda_exchange_moonbeam_ed0b731dcbf6c1c0 v1
about "Commerce contract of edge_ed0b731dcbf6c1c0 (mcp.tool_call, moonbeam on 36927): flow:agentic-commerce for one seller (8453:19132, its mcp door) under agreement agr_a359c03418801f6b (signed): list, pay in, the twelve hops of each sale, metered by meter:exchange-moonbeam-ed0b731dcbf6c1c0; reads, records and unsigned plans only"

use vault vault:taifoon:loop
use chain every
use product lambda.act lambda.read
use guard owner-arm signer-allowlist chain-pin receipt-check outflow-breaker halt-on-failure single-runner idempotent-payouts fixed-addresses vault-owns kms-sign-only role-keys

agent exchange_moonbeam_ed0b731dcbf6c1c0 is "Commerce contract of edge_ed0b731dcbf6c1c0 (mcp.tool_call, moonbeam on 36927)"
  states idle read settled recorded held
  start idle
  final recorded held
  failed held
  on event lane
  move idle -> read meter lambda.read
  move read -> settled act settler signs evm-carrier settle(bytes32) guard owner-arm signer-allowlist chain-pin receipt-check outflow-breaker halt-on-failure single-runner idempotent-payouts fixed-addresses vault-owns kms-sign-only role-keys via vault:taifoon:loop on every cap 50000 USDC meter lambda.act
  move settled -> recorded
  move * -> held when guard.held == true
  refuse guard_held "a guard held the run; nothing was signed"
  say recorded "Commerce contract of edge_ed0b731dcbf6c1c0 (mcp.tool_call, moonbeam on 36927): the run is recorded"
  next idle read "The run starts on its trigger: lane"

vault vault:taifoon:loop
  grid lambda.act per_call 1
  cap USDC every per_tx 50000 per_day 5000000

knowledge
  symptom "Commerce contract of edge_ed0b731dcbf6c1c0 (mcp.tool_call, moonbeam on 36927) is held" caused_by "a guard held the run (owner-arm, signer-allowlist, chain-pin, receipt-check, outflow-breaker, halt-on-failure, single-runner, idempotent-payouts, fixed-addresses, vault-owns, kms-sign-only, role-keys)" fixed_by "read the guard by name in the trace, fix its cause, let the next trigger run"
  rule "Commerce contract of edge_ed0b731dcbf6c1c0 (mcp.tool_call, moonbeam on 36927) signs only behind owner-arm, signer-allowlist, chain-pin, receipt-check, outflow-breaker, halt-on-failure, single-runner, idempotent-payouts, fixed-addresses, …"