ARSENAL PRODUCT #3 APPROVED LIST PRICE: $1.00 CLAIM VERIFICATION OWNED DATA EVIDENCE

Arsenal Verify
Structured claim checking against owned evidence lakes.

Checks structured assertions against ELYRAON's columnar datasets and returns deterministic verdicts with the exact rows examined as cryptographic evidence. Evaluates comparison operators across verified partition data. Grounded evidence checking — does not promise perfect universal factual accuracy.

Commercial Billing Specification
$1.00USD / call
Customer pays $1.00 (100 cents), platform fee included
SPEND CEILING $4.00
MEASURED LATENCY p50 36 ms
AUTH SCOPE arsenal.verification.read

CAPABILITY SPECIFICATION

Deterministic Verdict Rules & Empirical Evidence Guarantees.

Verdict Matrix

Observed Evidence Deterministic Verdict
A row satisfies the operator and filters verified
Rows were examined and none satisfied the condition contradicted
Zero rows matched filter query insufficient_evidence
Dataset missing or rights not commercial_ready insufficient_evidence
Malformed operator or missing required operand invalid_input

Verification Boundaries

  • ! Zero Rows ≠ Contradiction — Because zero rows is not evidence of falsity, an unobserved claim returns insufficient_evidence. Proving a universal negative requires direct full-lake partition scans.
  • ! Row Examination Limit — max_rows_per_claim (default 500, max 5,000) bounds the query size to prevent runaway resource consumption.
  • ! Commercial Rights Gate — Refuses queries against datasets whose declared rights_status is not commercial_ready.
  • ! Query Deduplication — Multiple claims sharing identical (dataset, filters) tuples share a single upstream DuckDB query.

INTERACTIVE PURCHASE & EXECUTION CONSOLE

Run Arsenal Verify Live.
Select → Authenticate → Quote → Authorize → Result & Receipt.

1 Configure Claims Array (JSON)

Claim shape: claim_id, dataset, operator (exists, equals, gte, lte, contains), column, expected, filters.

2 Authenticate Client Credential

Enter your own Arsenal API key (kept only in this browser tab). Your price is confirmed by a live quote before anything is charged.

Live Binding Quote (EXCHANGER) Customer pays: $1.00 USD (platform fee included)

Hard Spending Ceiling: $4.00 USD • Required Scope: arsenal.verification.read • Settlement: EXCHANGER Cents Ledger

QUOTE READY
3 Authorize Payment & Execute
Unique Idempotency-Key per purchase • Zero double-charge guarantee

DEVELOPER & AGENT ACCESS

REST Endpoints & Model Context Protocol.

cURL / HTTP Invocation

# Execute Verification Call
curl -s https://elyraon.com.co/api/arsenal/v1/products/elyreon.verification.claims/execute \
  -H "X-Arsenal-Key: $ARSENAL_KEY" \
  -H "Idempotency-Key: verify-$(date +%s)" \
  -H "Content-Type: application/json" \
  -d '{
    "claims": [{
      "claim_id": "c1",
      "dataset": "cisa_kev",
      "operator": "equals",
      "column": "vendor",
      "expected": "Accellion",
      "filters": {"cve_id": "CVE-2021-27104"}
    }]
  }'

MCP Tool Definition (JSON-RPC 2.0)

# POST /api/arsenal/mcp
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "elyreon.verification.claims",
    "arguments": {
      "claims": [{
        "claim_id": "c1",
        "dataset": "cisa_kev",
        "operator": "equals",
        "column": "vendor",
        "expected": "Accellion"
      }],
      "__idempotency_key": "mcp-verify-001"
    }
  }
}

View machine-readable schema: GET /api/arsenal/v1/products/elyreon.verification.claims • Full Manifest: GET /api/arsenal/v1/manifest • Customer History: /account/