Given original and replay artifacts: per-step digest identity, drift set, cost delta, and a re_derives | diverges | inconclusive equivalence verdict.

Recompute per-step catalog price for an artifact (model, usage dimensions, service tier, cache read/write, context thresholds), compare with recorded cost, flag overbilling variance and unpriced steps, with per-provider totals.

Adjudicate a closed-set claim about a run (model_is, cost_le, no_tool_host, output_digest_at_step, step counts, status, run id) to supported | contradicted | unknown with the deciding evidence path.

x402 duplicate-grant guard: derive the canonical idempotency key from (payment_nonce, resource), analyze supplied settlement txs, and return a verdict + recommended action (stateless key derivation, or stateful allow/reject/replay-cache against supplied seen_keys). Cites duplicate-grant Attack II (arXiv:2605.11781). Ed25519-signed.

Recent SEC EDGAR filings for a company resolved by ticker or CIK: form type, filing/report dates, accession number and primary-document URL, with optional form and since-date filters. Upstream: SEC EDGAR submissions API (public domain; SEC fair-access compliant: declared User-Agent, cached responses).

Normalize a batch of cross-protocol payment proofs into a per-sub-agent payroll ledger with anomaly alerts.

x402 'upto' metered-settlement fairness check: cap breach (settled>cap), over-charge / under-report vs the reported usage math (per_token/per_byte/per_second unit price), and a signed-authorization amount<=cap check. Deterministic signed verdict. $0.01.

Verify a Web Bot Auth (RFC 9421 + draft-meunier-webbotauth-httpsig-protocol) request signature: structured-field dictionary form, supported components/params, keyid resolution against the Signature-Agent key directory (or an inline public_key_jwk), the (URL, key) pairing rule, created/expires/nonce policy, and Ed25519 crypto verification. Pure verification, per-step report.

Pre-share audit of an artifact: credential-shape scan of step/metadata bytes, detection of the v2 step-id pre-redaction gap, secret-named field coverage, and a safe_to_share verdict with an explicit checked/not-checked scope.

Post-action side-effect verification: re-read claimed real-world state (HTTP JSON fields, status code) and compare to expected.

DID/VC credential verification: resolve did:web/did:key (or an inline DID document), check the Ed25519 proof signature, verificationMethod/key-purpose match, validity window, revocation, and walk an AIP delegation chain (scope-subset + validity-nesting). Deterministic valid/invalid/unverifiable verdict with reason codes, Ed25519-signed. $0.01.

Third-party verify of a run receipt: recompute input/output/artifact hashes from supplied material, check the Ed25519 signature against the published JWKS (or an inline jwks for offline verify), and return a verdict.

Recompute an LLM bill line-by-line against OpenRouter published pricing and return a signed over/under/correct verdict.

Convert a .tine run into OpenTelemetry GenAI spans as a complete OTLP/JSON document (gen_ai.* attributes, deterministic trace/span ids) for Langfuse, Phoenix or any OTLP collector.

Signed reserve digest for USDC, USDT, EURC and DAI: latest reserve figures, attestation timestamps and a per-issuer staleness verdict.

Build a standardized, signed run receipt for an agent tool call from a .tine artifact or a raw run record: flat 8-field receipt (mcp_server_id, tool_name, input_hash, output_hash, allowed_scopes, side_effect_class, denial_reason, replay_link) plus a payment/artifact binding block. Ed25519-signed.

Register, list, resolve or revoke a DDG-pinned ed25519 signer key binding (fingerprint sha256: of the raw 32-byte key) for an agent identity; upgrades later verdicts from verified-tofu to verified.

Emit a spec-native tine-attest/1 attestation object over a run oid (target_id, claim, evidence_ids, ed25519 signature) and return its stored bytes, oid and fsck-clean self-check.

Byte-exactness conformance suite for third-party readers: UTF-16BE key order, 2^53-1 integer bound, envelope header <= 256 B, nesting <= 512, canonical number grammar, NUL-free UTF-8 and oid re-derivation.

Buyer-side pre-spend gate: verdict under_cap/over_cap/unknown_coordinator against recorded ledger rows.