{ "id": "pairwise-cases-compose", "name": "Constrained pairwise fixture composer", "description": "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.", "category": "structured", "priceUsd": "0.01", "pricingStatus": "proposed-unverified", "pricing": { "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." }, "intents": [ "Generate constrained pairwise test configurations", "Build concrete finite factor-level fixtures and a coverage manifest" ], "whenToUse": [ "Ordered finite factors with literal forbidden tuples; caller separately runs tests" ], "whenNotToUse": [ "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" ], "capabilities": [ "Complete Cartesian feasibility enumeration and feasible-pair derivation", "Deterministic greedy coverage with first-covering row certificate", "Complete bounded result computed before challenge; atomic work/output failures" ], "limits": { "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 }, "related": [ "coverage-set-optimize", "json-batch-encode" ], "errorCodes": [ "INPUT_LIMIT", "OUTPUT_LIMIT", "COMPLEXITY_LIMIT", "INVALID_JSON", "INVALID_NUMBER", "INVALID_UNICODE", "UNSAFE_KEY", "DUPLICATE_FACTOR", "DUPLICATE_LEVEL", "DUPLICATE_TUPLE_FACTOR", "UNKNOWN_LEVEL", "LABEL_LIMIT" ], "requirementsProfile": { "format": "declared-requirements-v1", "facts": { "execution.suppliedCode": false, "execution.remoteMutation": false, "execution.llmInference": false, "execution.paidMcp": false, "verification.semanticTruth": false, "verification.sourceAuthenticity": false, "verification.liveVulnerabilities": false, "numbers.arbitraryPrecisionJson": false, "numbers.model": "ieee754-binary64", "privacy.requestBodyPersisted": false, "execution.deterministic": true, "execution.networkAccess": false, "privacy.resultBodyPersisted": false, "payment.x402": true, "payment.mpp": true, "operation.id": "pairwise-cases-compose", "operation.category": "structured", "limit.httpRequestBytes": 131072, "limit.requestBytes": 100000, "limit.responseBytes": 524288, "limit.resultBytes": 300000, "limit.jsonDepth": 16, "limit.jsonNodes": 12000, "testing.targetExecuted": false, "testing.behaviorVerified": false, "testing.bugFindingGuaranteed": false, "testing.externalHarnessAccess": false, "testing.generatedArtifactsAreInert": true, "pairwise.profile": "finite-forbidden-tuples-greedy-pairwise-v1", "pairwise.maxCartesianAssignments": 4096, "pairwise.maxFeasiblePairs": 4096, "pairwise.maxSuiteRows": 256, "pairwise.allFeasibleModelPairsCovered": true, "pairwise.coverageScope": "supplied-finite-model-only", "pairwise.fullCartesianFeasibilityEnumeration": true, "pairwise.selection": "deterministic-greedy", "pairwise.minimumSuiteGuaranteed": false, "pairwise.arbitraryConstraints": false, "pairwise.realSystemConstraintsVerified": false, "input.factors.maxItems": 12, "input.factors.minItems": 2, "input.forbiddenTuples.maxItems": 64 }, "unknownPolicy": "Undeclared requirements are unknown, never compatible. Matching declared facts does not establish semantic fit or input validity.", "preflight": "/preflight" }, "documentation": "/reference/tools/pairwise-cases-compose.md", "serviceContract": "/reference/services/pairwise-cases-compose.json", "errors": [ { "status": 400, "meaning": "Malformed JSON, missing/invalid idempotency key, or payment identifier mismatch", "retry": "Correct the request before payment" }, { "status": 402, "meaning": "Payment challenge or rejected payment", "retry": "Use official protocol SDK; inspect payment outcome before another payment" }, { "status": 409, "meaning": "Idempotency conflict, duplicate proof, or PAYMENT_UNCERTAIN", "retry": "Keep original key, body, and proof; reconcile uncertainty with operator; never blindly repay" }, { "status": 413, "meaning": "Input or generated output too large", "retry": "Reduce input; no payment attempted for validation failure" }, { "status": 415, "meaning": "Unsupported media type or compression", "retry": "Send uncompressed application/json" }, { "status": 422, "meaning": "Schema or service-specific semantic validation failure", "retry": "Correct input using returned error code; no payment attempted" }, { "status": 429, "meaning": "Request/payment-attempt rate exceeded", "retry": "Wait for rate limit window; preserve existing payment identity" }, { "status": 503, "meaning": "Payment configuration/provider/state unavailable, or live DNS preparation failed before settlement", "retry": "Check readiness; DNS preparation failures may retry the identical key/body/credential only; uncertainty requires reconciliation" } ], "numericPrecision": "JavaScript IEEE-754 numbers; use strings for large integer IDs/exact decimals where the schema accepts strings. No lossless numeric parsing.", "paymentWorkflow": { "discoveryOnly": false, "supportedProtocols": [ "x402", "mpp" ], "x402": { "credentialHeader": "PAYMENT-SIGNATURE", "challengeHeader": "PAYMENT-REQUIRED", "receiptHeader": "PAYMENT-RESPONSE", "version": 2, "scheme": "exact", "paymentIdentifier": "payment-identifier extension MUST equal the HTTP Idempotency-Key", "sdk": "@x402/core with @x402/evm" }, "mpp": { "supported": true, "credentialHeader": "Authorization", "challengeHeader": "WWW-Authenticate", "receiptHeader": "Payment-Receipt", "method": "tempo", "intent": "charge", "sdk": "mppx", "tokenDecimals": 6 }, "steps": [ "Check configured readiness and the exact service schema", "Generate a fresh random Idempotency-Key for this operation; never use a discovery probe fixture for purchases", "Send valid input without a credential to obtain the official protocol challenge", "Use the official SDK and authorized wallet to fulfill the challenge", "Retry only with identical key, body, protocol and credential", "On PAYMENT_UNCERTAIN stop and request operator reconciliation; never blindly pay again" ], "versionedRetries": "Request fingerprint includes service release version. Retries across a version upgrade can conflict; coordinate upgrades outside the 24-hour replay window and reconcile pending attempts.", "docs": "/llms.txt" }, "method": "POST", "paths": { "x402": "/v1/x402/pairwise-cases-compose", "mpp": "/v1/mpp/pairwise-cases-compose" }, "inputSchema": { "$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 }, "outputSchema": { "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 }, "exampleInput": { "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 } ] ] }, "exampleResponse": { "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 } }, "requiredHeaders": { "Content-Type": "application/json", "Idempotency-Key": "random 16–128 character operation identifier" }, "fixedExample": "/reference/examples/pairwise-cases-compose.json", "execution": { "deterministic": true, "externalRequests": 0, "maxExternalRequests": 0, "resultSnapshotPersisted": false, "fixedExampleIsIllustrativeSnapshot": false, "requiresPayment": true, "supportsMcpExecution": false }, "releaseSnapshot": { "format": "static-release-reference-v1", "sourceVersion": "0.29.0", "sourceRegistrySha256": "a2b5ec09bf6c38b9d2879d746a4fded374f5928b445377b0270ef6aa8e6cac65", "generatedAt": "2026-10-06T15:38:00Z", "releaseAcceptance": "not-verified-by-generator", "runtimeReadiness": "not-evaluated", "livePaymentsVerified": false, "indexingVerified": false, "apiOrigin": null, "notice": "Build-time release reference. Runtime readiness, deployment, payment settlement and external indexing are not evaluated here. Prices are proposed; this file cannot authorize execution or payment." } }