pages / program / flow_seller_check
canister coord://offchain/genie/program/flow_seller_check@v1/6ff089d847f90c71 · v1 · artifact root 0x6ff089d847f90c71a6aa5ff1155f6bd3ddad608bfe2d9b83013b0d00dd97021f · 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)
// generated by genie import from lang/gen/lambda-flows.json (flow:seller-check) — a lambda flow as a genie machine: every node a state, every edge a move; a guard node's edge carries its pass; an act node's entry signs behind the lambda's standard arm. genie flow_seller_check v1 about "A seller checked before it is resold: its own 402, buyer demand, one paid check, Jev on its own tool, the cause, the listing state, the draft gate: _SELLER_CHECK_v1_: the job agents ran by hand for x402 Atlas and PulseNetwork on 2026-10-22, as one module (taifoon-agents ops/content-sweep/seller-check). Read the seller's 402 (its tool, fields, price, payTo per network) → guard …" use chain eip155:8453 eip155:42161 use guard owner-arm signer-allowlist agent seller_check is "A seller checked before it is resold: its own 402, buyer demand, one paid check, Jev on its own tool, the cause, the listing state, the draft gate" states start read_402 guard_node pay grade cause_node listing_state draft_gate draft start start final draft on event trigger move start -> read_402 component seller-402 move read_402 -> guard_node component loop-signer move guard_node -> pay act pay signs loop-signer:x402.check-(the-chain-s-USDC,-EIP-3009) transferWithAuthorization(address,address,uint256,uint256,uint256,bytes32,bytes) guard owner-arm signer-allowlist component loop-signer move pay -> grade component jev move grade -> cause_node component seller-check move cause_node -> listing_state component seller-check move listing_state -> draft_gate component outreach-gate move draft_gate -> draft component outreach-gate next read_402 guard_node "then guard" next guard_node pay "then pay" next pay grade "then grade" next grade cause_node "then cause" next cause_node listing_state "then listing state" next listing_state draft_gate "then draft gate" next draft_gate draft "then draft" knowledge symptom "A seller checked before it is resold: its own 402, buyer demand, one paid check, Jev on its …" caused_by "a guard node did not pass" fixed_by "read the guard's expect in the flow, fix the input, run again" rule "A seller checked before it is resold: its own 402, buyer demand, one paid check, Jev on its …"