Constrained pairwise fixture composer
Generate concrete rows covering every pair with a feasible complete assignment under bounded forbidden tuples, with exhaustive-coverage certificate and deterministic greedy ties. No minimum-suite or target-behavior claim.
structured · Operation ID: pairwise-cases-compose
Choose this operation when
- Ordered finite factors with literal forbidden tuples; caller separately runs tests
Outside this profile
- Minimum test suites, arbitrary SAT predicates, unlimited Cartesian products or bug-finding guarantees
- Execute target code, call APIs, fetch data, run external agents, mutate accounts or deploy
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": {
"factors": {
"minItems": 2,
"maxItems": 12,
"type": "array",
"items": {
"type": "object",
"properties": {
"id": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
},
"levels": {
"minItems": 1,
"maxItems": 16,
"type": "array",
"items": {
"anyOf": [
{
"type": "string",
"maxLength": 128
},
{
"type": "integer",
"minimum": -9007199254740991,
"maximum": 9007199254740991
},
{
"type": "boolean"
},
{
"type": "null"
}
]
}
}
},
"required": [
"id",
"levels"
],
"additionalProperties": false
}
},
"forbiddenTuples": {
"maxItems": 64,
"type": "array",
"items": {
"minItems": 1,
"maxItems": 4,
"type": "array",
"items": {
"type": "object",
"properties": {
"factor": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
},
"levelIndex": {
"type": "integer",
"minimum": 0,
"maximum": 15
}
},
"required": [
"factor",
"levelIndex"
],
"additionalProperties": false
}
}
}
},
"required": [
"factors",
"forbiddenTuples"
],
"additionalProperties": false
}
Complete output-envelope schema
{
"type": "object",
"required": [
"operation",
"version",
"result",
"provenance"
],
"properties": {
"operation": {
"const": "pairwise-cases-compose",
"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": "finite-forbidden-tuples-greedy-pairwise-v1"
},
"status": {
"type": "string",
"enum": [
"complete",
"infeasible"
]
},
"factorOrder": {
"minItems": 2,
"maxItems": 12,
"type": "array",
"items": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
}
},
"rows": {
"maxItems": 256,
"type": "array",
"items": {
"type": "object",
"propertyNames": {
"type": "string"
},
"additionalProperties": {
"anyOf": [
{
"type": "string",
"maxLength": 128
},
{
"type": "integer",
"minimum": -9007199254740991,
"maximum": 9007199254740991
},
{
"type": "boolean"
},
{
"type": "null"
}
]
}
}
},
"levelIndexRows": {
"maxItems": 256,
"type": "array",
"items": {
"minItems": 2,
"maxItems": 12,
"type": "array",
"items": {
"type": "integer",
"minimum": 0,
"maximum": 15
}
}
},
"coverage": {
"type": "object",
"properties": {
"cartesianAssignmentCount": {
"type": "integer",
"minimum": 0,
"maximum": 4096
},
"feasibleAssignmentCount": {
"type": "integer",
"minimum": 0,
"maximum": 4096
},
"nominalPairCount": {
"type": "integer",
"minimum": 0,
"maximum": 9007199254740991
},
"feasiblePairCount": {
"type": "integer",
"minimum": 0,
"maximum": 4096
},
"excludedPairCount": {
"type": "integer",
"minimum": 0,
"maximum": 9007199254740991
},
"pairs": {
"maxItems": 4096,
"type": "array",
"items": {
"type": "object",
"properties": {
"factorIndexA": {
"type": "integer",
"minimum": 0,
"maximum": 11
},
"levelIndexA": {
"type": "integer",
"minimum": 0,
"maximum": 15
},
"factorIndexB": {
"type": "integer",
"minimum": 0,
"maximum": 11
},
"levelIndexB": {
"type": "integer",
"minimum": 0,
"maximum": 15
},
"firstCoveringRow": {
"type": "integer",
"minimum": 0,
"maximum": 255
}
},
"required": [
"factorIndexA",
"levelIndexA",
"factorIndexB",
"levelIndexB",
"firstCoveringRow"
],
"additionalProperties": false
}
},
"complete": {
"type": "boolean",
"const": true
}
},
"required": [
"cartesianAssignmentCount",
"feasibleAssignmentCount",
"nominalPairCount",
"feasiblePairCount",
"excludedPairCount",
"pairs",
"complete"
],
"additionalProperties": false
},
"minimumSuiteClaimed": {
"type": "boolean",
"const": false
},
"targetExecuted": {
"type": "boolean",
"const": false
},
"behaviorVerified": {
"type": "boolean",
"const": false
},
"externalRequests": {
"type": "number",
"const": 0
}
},
"required": [
"profile",
"status",
"factorOrder",
"rows",
"levelIndexRows",
"coverage",
"minimumSuiteClaimed",
"targetExecuted",
"behaviorVerified",
"externalRequests"
],
"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
{
"factors": [
{
"id": "codec",
"levels": [
"json",
"msgpack"
]
},
{
"id": "compression",
"levels": [
"none",
"gzip"
]
},
{
"id": "transport",
"levels": [
"http",
"ws"
]
}
],
"forbiddenTuples": [
[
{
"factor": "codec",
"levelIndex": 1
},
{
"factor": "compression",
"levelIndex": 1
}
]
]
}
Example response
{
"operation": "pairwise-cases-compose",
"version": "0.29.0",
"result": {
"profile": "finite-forbidden-tuples-greedy-pairwise-v1",
"status": "complete",
"factorOrder": [
"codec",
"compression",
"transport"
],
"rows": [
{
"codec": "json",
"compression": "none",
"transport": "http"
},
{
"codec": "json",
"compression": "gzip",
"transport": "ws"
},
{
"codec": "msgpack",
"compression": "none",
"transport": "ws"
},
{
"codec": "json",
"compression": "gzip",
"transport": "http"
},
{
"codec": "msgpack",
"compression": "none",
"transport": "http"
}
],
"levelIndexRows": [
[
0,
0,
0
],
[
0,
1,
1
],
[
1,
0,
1
],
[
0,
1,
0
],
[
1,
0,
0
]
],
"coverage": {
"cartesianAssignmentCount": 8,
"feasibleAssignmentCount": 6,
"nominalPairCount": 12,
"feasiblePairCount": 11,
"excludedPairCount": 1,
"pairs": [
{
"factorIndexA": 0,
"levelIndexA": 0,
"factorIndexB": 1,
"levelIndexB": 0,
"firstCoveringRow": 0
},
{
"factorIndexA": 0,
"levelIndexA": 0,
"factorIndexB": 1,
"levelIndexB": 1,
"firstCoveringRow": 1
},
{
"factorIndexA": 0,
"levelIndexA": 1,
"factorIndexB": 1,
"levelIndexB": 0,
"firstCoveringRow": 2
},
{
"factorIndexA": 0,
"levelIndexA": 0,
"factorIndexB": 2,
"levelIndexB": 0,
"firstCoveringRow": 0
},
{
"factorIndexA": 0,
"levelIndexA": 0,
"factorIndexB": 2,
"levelIndexB": 1,
"firstCoveringRow": 1
},
{
"factorIndexA": 0,
"levelIndexA": 1,
"factorIndexB": 2,
"levelIndexB": 0,
"firstCoveringRow": 4
},
{
"factorIndexA": 0,
"levelIndexA": 1,
"factorIndexB": 2,
"levelIndexB": 1,
"firstCoveringRow": 2
},
{
"factorIndexA": 1,
"levelIndexA": 0,
"factorIndexB": 2,
"levelIndexB": 0,
"firstCoveringRow": 0
},
{
"factorIndexA": 1,
"levelIndexA": 0,
"factorIndexB": 2,
"levelIndexB": 1,
"firstCoveringRow": 2
},
{
"factorIndexA": 1,
"levelIndexA": 1,
"factorIndexB": 2,
"levelIndexB": 0,
"firstCoveringRow": 3
},
{
"factorIndexA": 1,
"levelIndexA": 1,
"factorIndexB": 2,
"levelIndexB": 1,
"firstCoveringRow": 1
}
],
"complete": true
},
"minimumSuiteClaimed": false,
"targetExecuted": false,
"behaviorVerified": false,
"externalRequests": 0
},
"provenance": {
"inputSha256": "135abef0c032aca1063b6b8b62cac1383fb8a7ae86d14ac53c6db804c01e967d",
"outputSha256": "0bc60129130519d35d6e26acf194b298be21d801098331327f1e42a1643cd77c",
"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": 300000,
"jsonNodes": 12000,
"depth": 16,
"factors": 12,
"levelsPerFactor": 16,
"forbiddenTuples": 64,
"tupleArity": 4,
"cartesianAssignments": 4096,
"pairEntries": 4096,
"suiteRows": 256,
"tupleLiteralTests": 1100000,
"pairPostings": 270336,
"scoreComparisons": 1048576
}
}
Complete schemas, descriptions and cross-field validation may impose additional limits.
Proposed price and protocol definitions
{
"unit": "one successful operation call",
"proposedNominalUsd": "0.01",
"sixDecimalTokenBaseUnits": "10000",
"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/pairwise-cases-compose",
"mpp": "/v1/mpp/pairwise-cases-compose"
}
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.