sema-evalsIndependent evaluations

x402 Contract Drift

x402 payer–seller demo: does payment-contract drift produce silent payment, or a refusal, depending only on whether the x402 extension surface is honored?

Deterministic demos validate the pipeline; model-pilot runs are exploratory evidence about the named setup only. Not preregistered, not confirmatory evidence.

RunCreatedModeModelEvidence claim
20260723T092012753Z-order-20260716 2026-07-23T09:20:12.753Z model-pilot unsloth/Mistral-Nemo-Instruct-2407-TEE Exploratory paper-only model pilot, not confirmatory evidence and not facilitator/on-chain conformance evidence. Only the payer decision is model-driven. Seller, registry drift, verification, enforcement, in-process transport, simulated payload, and settlement remain deterministic. No wallet, signing, network, facilitator, or production write is available.
20260723T082416781Z-order-20260716 2026-07-23T08:24:16.781Z model-pilot unsloth/Mistral-Nemo-Instruct-2407-TEE Exploratory paper-only model pilot, not confirmatory evidence and not facilitator/on-chain conformance evidence. Only the payer decision is model-driven. Seller, registry drift, verification, enforcement, in-process transport, simulated payload, and settlement remain deterministic. No wallet, signing, network, facilitator, or production write is available.
20260722T080235358Z-order-20260716 2026-07-22T08:02:35.358Z deterministic-harness Validates the x402 V2-shaped payment-contract middleware and payer–seller demo: top-level PaymentRequired semantic extension, CAIP-2 network identifiers, PAYMENT-REQUIRED / PAYMENT-SIGNATURE / PAYMENT-RESPONSE headers, controlled cross-party registry drift, silent payment under baseline, voluntary detection, enforced refusal, the no-drift false-refusal guard, condition pairing, and bundle/summary reproduction. Scripted-agent outcomes are a construction, not evidence about language models, and not conformance evidence against a real x402 SDK (ADR 0016).