---
title: "VPSF Claim Algebra Verifier"
method: POST
path: "/v1/tools/verify_vpsf_claim_composite"
tags: ["x402", "VPSF", "claim algebra", "PaymentIntent", "SettlementReceipt", "RefundClaim", "DelegationGrant", "conjunction", "implication", "aggregation", "selective disclosure", "revocation", "JCS", "RFC 8785", "offline verifier"]
---

# VPSF Claim Algebra Verifier

`POST /v1/tools/verify_vpsf_claim_composite`

## Request

- Base URL: `https://ainumbers.co`
- URL: `https://ainumbers.co/v1/tools/verify_vpsf_claim_composite`
- Auth: none declared

Verifies x402 VPSF Payment Claim composites (conjunction, implication, aggregation, selective disclosure, revocation) over the four canonical Payment Claim types (PaymentIntent, SettlementReceipt, RefundClaim, DelegationGrant), entirely client-side. Recomputes every JCS Preimage Hash via RFC 8785 canonicalisation and SHA-256, resolves component claims against a user-supplied manifest, and applies each operator's algebraic rules: vacuous-truth rejection for Implication, non-idempotent non-nestable Revocation, sorted-operand homogeneous-currency Aggregation with recomputed totals, and commitment recomputation for Selective Disclosure.

**Tool URL:** https://ainumbers.co/tools/629-vpsf-claim-verifier.html

## Request body

- object
  - `claims` unknown[], required: x402 Payment Claim objects
    - unknown
  - `composite` object, required: VPSF operator composite over the claims

## Response `200`

Successful tool execution result

- object
  - `ALL_PASS` boolean
  - `operator` string
  - `hash` string, nullable
  - `errors` string[]
  - `children` object[]

---

[API](https://skmtc.dev/ainumbers/apis/ainumbers-co-fintech-intelligence-suite.md) · [All operations](https://skmtc.dev/ainumbers/apis/ainumbers-co-fintech-intelligence-suite/llms.txt) · [OpenAPI document](https://skmtc.dev/ainumbers/apis/ainumbers-co-fintech-intelligence-suite/revisions/b462e4f5bb28?raw)