Exact numeric rounding check
Check explicitly supplied decimal claims against five declared decimal-place rounding rules. Returns exact expected text, tie evidence and rational errors; no number extraction, unit inference or fact verification.
data-assurance · Operation ID: numeric-rounding-check
Choose this operation when
- Check rounding consistency in an agent-generated numeric report
- Audit exact decimal tie handling without binary floating-point artifacts
Outside this profile
- Extracting facts or judging truth, semantic correctness, evidence authenticity, causal effects, or production readiness
- Fetching data, executing models or user code, changing datasets, authorizing actions, or contacting live services
- Inferring population quality, statistical significance, uncertainty intervals, or generalization from a supplied sample
Exact release references
Static JSON contract · Markdown reference · Fixed example response
Complete input schema
{
"$schema": "https://json-schema.org/draft/2020-12/schema",
"type": "object",
"properties": {
"claims": {
"minItems": 1,
"maxItems": 200,
"type": "array",
"items": {
"type": "object",
"properties": {
"id": {
"type": "string",
"minLength": 1,
"maxLength": 100
},
"source": {
"type": "string",
"maxLength": 44,
"pattern": "^-?(?:0|[1-9]\\d{0,23})(?:\\.\\d{1,18})?$",
"description": "Exact decimal string: up to 24 integer and 18 fractional digits; no exponent, plus sign, whitespace, or leading zeros."
},
"claimed": {
"type": "string",
"maxLength": 45,
"pattern": "^-?(?:0|[1-9]\\d{0,24})(?:\\.\\d{1,18})?$",
"description": "Exact claimed decimal; up to 25 integer digits to accommodate source rounding carry, and 18 fractional digits."
},
"decimalPlaces": {
"type": "integer",
"minimum": 0,
"maximum": 18
},
"mode": {
"type": "string",
"enum": [
"half-even",
"half-away-from-zero",
"toward-zero",
"floor",
"ceiling"
]
}
},
"required": [
"id",
"source",
"claimed",
"decimalPlaces",
"mode"
],
"additionalProperties": false
}
}
},
"required": [
"claims"
],
"additionalProperties": false
}
Complete output-envelope schema
{
"type": "object",
"required": [
"operation",
"version",
"result",
"provenance"
],
"properties": {
"operation": {
"const": "numeric-rounding-check",
"type": "string"
},
"version": {
"const": "0.29.0",
"type": "string"
},
"result": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"type": "object",
"properties": {
"profile": {
"type": "string",
"const": "exact-decimal-rounding-v1"
},
"advisoryOnly": {
"type": "boolean",
"const": true
},
"externalRequests": {
"type": "number",
"const": 0
},
"semanticValidityVerified": {
"type": "boolean",
"const": false
},
"consistent": {
"type": "boolean"
},
"checkedCount": {
"type": "integer",
"minimum": 0,
"maximum": 9007199254740991
},
"mismatchCount": {
"type": "integer",
"minimum": 0,
"maximum": 9007199254740991
},
"claims": {
"maxItems": 200,
"type": "array",
"items": {
"type": "object",
"properties": {
"id": {
"type": "string",
"minLength": 1,
"maxLength": 100
},
"consistent": {
"type": "boolean"
},
"expected": {
"type": "string",
"maxLength": 64
},
"claimedMinusExpected": {
"type": "object",
"properties": {
"numerator": {
"type": "string",
"maxLength": 2049,
"pattern": "^-?(?:0|[1-9]\\d*)$"
},
"denominator": {
"type": "string",
"maxLength": 2048,
"pattern": "^[1-9]\\d*$"
}
},
"required": [
"numerator",
"denominator"
],
"additionalProperties": false
},
"absoluteRoundingError": {
"type": "object",
"properties": {
"numerator": {
"type": "string",
"maxLength": 2049,
"pattern": "^-?(?:0|[1-9]\\d*)$"
},
"denominator": {
"type": "string",
"maxLength": 2048,
"pattern": "^[1-9]\\d*$"
}
},
"required": [
"numerator",
"denominator"
],
"additionalProperties": false
},
"exact": {
"type": "boolean"
},
"tie": {
"type": "boolean"
}
},
"required": [
"id",
"consistent",
"expected",
"claimedMinusExpected",
"absoluteRoundingError",
"exact",
"tie"
],
"additionalProperties": false
}
}
},
"required": [
"profile",
"advisoryOnly",
"externalRequests",
"semanticValidityVerified",
"consistent",
"checkedCount",
"mismatchCount",
"claims"
],
"additionalProperties": false
},
"provenance": {
"type": "object",
"required": [
"inputSha256",
"outputSha256",
"deterministic",
"externalRequests"
],
"properties": {
"inputSha256": {
"type": "string",
"pattern": "^[a-f0-9]{64}$"
},
"outputSha256": {
"type": "string",
"pattern": "^[a-f0-9]{64}$"
},
"deterministic": {
"const": true
},
"externalRequests": {
"const": 0
}
}
}
},
"additionalProperties": false
}
Fixed example
One accepted fixed example, not a custom-input trial. No operation runs when this static page is requested.
Example input
{
"claims": [
{
"id": "reported-rate",
"source": "1.245",
"claimed": "1.25",
"decimalPlaces": 2,
"mode": "half-even"
}
]
}
Example response
{
"operation": "numeric-rounding-check",
"version": "0.29.0",
"result": {
"profile": "exact-decimal-rounding-v1",
"advisoryOnly": true,
"externalRequests": 0,
"semanticValidityVerified": false,
"consistent": false,
"checkedCount": 1,
"mismatchCount": 1,
"claims": [
{
"id": "reported-rate",
"consistent": false,
"expected": "1.24",
"claimedMinusExpected": {
"numerator": "1",
"denominator": "100"
},
"absoluteRoundingError": {
"numerator": "1",
"denominator": "200"
},
"exact": false,
"tie": true
}
]
},
"provenance": {
"inputSha256": "2da0fae2a30e8eef6a180e1763cd895c4824e08ba9556b32cc202086910ff43e",
"outputSha256": "8883a6ae66f0b6b32c704129b98492523391975e090ed6e75e68e2e05de68a27",
"deterministic": true,
"externalRequests": 0
}
}
Bounds and precision
JavaScript IEEE-754 numbers; use strings for large integer IDs/exact decimals where the schema accepts strings. No lossless numeric parsing.
{
"global": {
"requestBytes": 131072,
"responseBytes": 524288,
"jsonDepth": 32,
"jsonNodes": 20000,
"requestsPerMinute": 60,
"paidAttemptsPerMinute": 20,
"idempotencyHours": 24
},
"operation": {
"inputBytes": 100000,
"outputBytes": 400000,
"jsonNodes": 12000,
"depth": 20,
"findings": 200,
"decimalIntegerDigits": 24,
"decimalFractionDigits": 18,
"rationalDigits": 2048,
"claims": 200,
"decimalPlaces": "0–18",
"claimedIntegerDigits": 25
}
}
Complete schemas, descriptions and cross-field validation may impose additional limits.
Proposed price and protocol definitions
{
"unit": "one successful operation call",
"proposedNominalUsd": "0.005",
"sixDecimalTokenBaseUnits": "5000",
"subscription": false,
"includesPayerWalletOrNetworkFees": false,
"liveQuoteVerified": false,
"condition": "Actual SDK challenge is authoritative only within the caller's explicit authorization; configured six-decimal token peg is an operator assertion, not a conversion guarantee."
}
Protocol definitions: x402, mpp. MPP uses Tempo charge. Paid MCP execution is unsupported. All runtime readiness is not evaluated in this build.
API path templates, not endpoints on this documentation host
{
"x402": "/v1/x402/numeric-rounding-check",
"mpp": "/v1/mpp/numeric-rounding-check"
}
Required headers
{
"Content-Type": "application/json",
"Idempotency-Key": "random 16–128 character operation identifier"
}
Actual SDK challenge amount, asset, network, recipient and wallet costs must pass independent authorization. Preserve identical key, body, protocol and credential on retries; on PAYMENT_UNCERTAIN stop and reconcile.
Execution profile and provider conditions
{
"deterministic": true,
"externalRequests": 0,
"maxExternalRequests": 0,
"resultSnapshotPersisted": false,
"fixedExampleIsIllustrativeSnapshot": false,
"requiresPayment": true,
"supportsMcpExecution": false
}
Deterministic supplied-input operation with no external requests or stored request/result bodies. Payment infrastructure retains payment metadata and hashes.
Failure handling
- HTTP 400: Malformed JSON, missing/invalid idempotency key, or payment identifier mismatch Correct the request before payment
- HTTP 402: Payment challenge or rejected payment Use official protocol SDK; inspect payment outcome before another payment
- HTTP 409: Idempotency conflict, duplicate proof, or PAYMENT_UNCERTAIN Keep original key, body, and proof; reconcile uncertainty with operator; never blindly repay
- HTTP 413: Input or generated output too large Reduce input; no payment attempted for validation failure
- HTTP 415: Unsupported media type or compression Send uncompressed application/json
- HTTP 422: Schema or service-specific semantic validation failure Correct input using returned error code; no payment attempted
- HTTP 429: Request/payment-attempt rate exceeded Wait for rate limit window; preserve existing payment identity
- HTTP 503: Payment configuration/provider/state unavailable, or live DNS preparation failed before settlement Check readiness; DNS preparation failures may retry the identical key/body/credential only; uncertainty requires reconciliation
Declared requirements
Before any paid call, refresh the live operation contract and POST the complete bounded budgeted plan to the separate API's /preflight. Unknown requirements block selection; compatible preflight is not permission to spend.