Observed failure reduction planner
Select the smallest target-failing subsequence among supplied observations, reconcile conflicting evidence, and materialize missing one-deletion experiments. References are caller assertions; no target execution, reproduced bug or global minimum claim.
structured · Operation ID: observation-shrink-plan
Choose this operation when
- Caller already owns a harness and supplies bounded pass/fail/unresolved observations
Outside this profile
- Autonomous ddmin, reproducing bugs, root-cause claims, global minimality or executing a target
- Unobserved harness identity, flakiness or causality verification
- 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": {
"atoms": {
"maxItems": 64,
"type": "array",
"items": {
"type": "object",
"properties": {
"id": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
},
"value": {
"$ref": "#/$defs/__schema0"
}
},
"required": [
"id",
"value"
],
"additionalProperties": false
}
},
"initialRetainedIds": {
"maxItems": 64,
"type": "array",
"items": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
}
},
"harnessRef": {
"type": "string",
"minLength": 1,
"maxLength": 128
},
"caseRef": {
"type": "string",
"minLength": 1,
"maxLength": 128
},
"failureKey": {
"type": "string",
"minLength": 1,
"maxLength": 128
},
"observations": {
"maxItems": 512,
"type": "array",
"items": {
"oneOf": [
{
"type": "object",
"properties": {
"id": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
},
"harnessRef": {
"type": "string",
"minLength": 1,
"maxLength": 128
},
"caseRef": {
"type": "string",
"minLength": 1,
"maxLength": 128
},
"retainedIds": {
"maxItems": 64,
"type": "array",
"items": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
}
},
"outcome": {
"type": "string",
"const": "pass"
}
},
"required": [
"id",
"harnessRef",
"caseRef",
"retainedIds",
"outcome"
],
"additionalProperties": false
},
{
"type": "object",
"properties": {
"id": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
},
"harnessRef": {
"type": "string",
"minLength": 1,
"maxLength": 128
},
"caseRef": {
"type": "string",
"minLength": 1,
"maxLength": 128
},
"retainedIds": {
"maxItems": 64,
"type": "array",
"items": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
}
},
"outcome": {
"type": "string",
"const": "unresolved"
}
},
"required": [
"id",
"harnessRef",
"caseRef",
"retainedIds",
"outcome"
],
"additionalProperties": false
},
{
"type": "object",
"properties": {
"id": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
},
"harnessRef": {
"type": "string",
"minLength": 1,
"maxLength": 128
},
"caseRef": {
"type": "string",
"minLength": 1,
"maxLength": 128
},
"retainedIds": {
"maxItems": 64,
"type": "array",
"items": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
}
},
"outcome": {
"type": "string",
"const": "fail"
},
"failureKey": {
"type": "string",
"minLength": 1,
"maxLength": 128
}
},
"required": [
"id",
"harnessRef",
"caseRef",
"retainedIds",
"outcome",
"failureKey"
],
"additionalProperties": false
}
]
}
}
},
"required": [
"atoms",
"initialRetainedIds",
"harnessRef",
"caseRef",
"failureKey",
"observations"
],
"additionalProperties": false,
"$defs": {
"__schema0": {
"anyOf": [
{
"type": "string"
},
{
"type": "number"
},
{
"type": "boolean"
},
{
"type": "null"
},
{
"type": "array",
"items": {
"$ref": "#/$defs/__schema0"
}
},
{
"type": "object",
"propertyNames": {
"type": "string"
},
"additionalProperties": {
"$ref": "#/$defs/__schema0"
}
}
]
}
}
}
Complete output-envelope schema
{
"type": "object",
"required": [
"operation",
"version",
"result",
"provenance"
],
"properties": {
"operation": {
"const": "observation-shrink-plan",
"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": "supplied-observations-one-deletion-v1"
},
"status": {
"type": "string",
"enum": [
"planned",
"inconsistent-evidence",
"no-target-failure-observed"
]
},
"harnessRef": {
"type": "string",
"minLength": 1,
"maxLength": 128
},
"caseRef": {
"type": "string",
"minLength": 1,
"maxLength": 128
},
"failureKey": {
"type": "string",
"minLength": 1,
"maxLength": 128
},
"selected": {
"anyOf": [
{
"type": "object",
"properties": {
"retainedIds": {
"maxItems": 64,
"type": "array",
"items": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
}
},
"values": {
"maxItems": 64,
"type": "array",
"items": {
"$ref": "#/properties/result/$defs/__schema0"
}
},
"observationIds": {
"maxItems": 512,
"type": "array",
"items": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
}
}
},
"required": [
"retainedIds",
"values",
"observationIds"
],
"additionalProperties": false
},
{
"type": "null"
}
]
},
"smallestAmongSuppliedObservations": {
"type": "boolean"
},
"globalMinimalityEstablished": {
"type": "boolean",
"const": false
},
"oneDeletionCertificate": {
"type": "string",
"enum": [
"supported-by-supplied-passes",
"incomplete",
"not-applicable"
]
},
"neighbors": {
"maxItems": 64,
"type": "array",
"items": {
"type": "object",
"properties": {
"omittedAtomId": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
},
"retainedIds": {
"maxItems": 64,
"type": "array",
"items": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
}
},
"evidenceStatus": {
"type": "string",
"enum": [
"pass",
"unresolved",
"untested",
"other-failure"
]
},
"observationIds": {
"maxItems": 512,
"type": "array",
"items": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
}
}
},
"required": [
"omittedAtomId",
"retainedIds",
"evidenceStatus",
"observationIds"
],
"additionalProperties": false
}
},
"nextExperiments": {
"maxItems": 64,
"type": "array",
"items": {
"type": "object",
"properties": {
"harnessRef": {
"type": "string",
"minLength": 1,
"maxLength": 128
},
"caseRef": {
"type": "string",
"minLength": 1,
"maxLength": 128
},
"targetFailureKey": {
"type": "string",
"minLength": 1,
"maxLength": 128
},
"omittedAtomId": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
},
"retainedIds": {
"maxItems": 64,
"type": "array",
"items": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
}
},
"values": {
"maxItems": 64,
"type": "array",
"items": {
"$ref": "#/properties/result/$defs/__schema0"
}
},
"reason": {
"type": "string",
"enum": [
"unresolved",
"untested",
"other-failure"
]
}
},
"required": [
"harnessRef",
"caseRef",
"targetFailureKey",
"omittedAtomId",
"retainedIds",
"values",
"reason"
],
"additionalProperties": false
}
},
"conflicts": {
"maxItems": 512,
"type": "array",
"items": {
"type": "object",
"properties": {
"retainedIds": {
"maxItems": 64,
"type": "array",
"items": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
}
},
"observationIds": {
"maxItems": 512,
"type": "array",
"items": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
}
}
},
"required": [
"retainedIds",
"observationIds"
],
"additionalProperties": false
}
},
"targetExecuted": {
"type": "boolean",
"const": false
},
"behaviorVerified": {
"type": "boolean",
"const": false
},
"externalRequests": {
"type": "number",
"const": 0
}
},
"required": [
"profile",
"status",
"harnessRef",
"caseRef",
"failureKey",
"selected",
"smallestAmongSuppliedObservations",
"globalMinimalityEstablished",
"oneDeletionCertificate",
"neighbors",
"nextExperiments",
"conflicts",
"targetExecuted",
"behaviorVerified",
"externalRequests"
],
"additionalProperties": false,
"$defs": {
"__schema0": {
"anyOf": [
{
"type": "string"
},
{
"type": "number"
},
{
"type": "boolean"
},
{
"type": "null"
},
{
"type": "array",
"items": {
"$ref": "#/properties/result/$defs/__schema0"
}
},
{
"type": "object",
"propertyNames": {
"type": "string"
},
"additionalProperties": {
"$ref": "#/properties/result/$defs/__schema0"
}
}
]
}
}
},
"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
{
"atoms": [
{
"id": "a",
"value": {
"op": "open"
}
},
{
"id": "b",
"value": {
"op": "configure",
"mode": "x"
}
},
{
"id": "c",
"value": {
"op": "trigger"
}
},
{
"id": "d",
"value": {
"op": "close"
}
}
],
"initialRetainedIds": [
"a",
"b",
"c",
"d"
],
"harnessRef": "harness-v1",
"caseRef": "case-x",
"failureKey": "E_X",
"observations": [
{
"id": "full",
"harnessRef": "harness-v1",
"caseRef": "case-x",
"retainedIds": [
"a",
"b",
"c",
"d"
],
"outcome": "fail",
"failureKey": "E_X"
},
{
"id": "reduced",
"harnessRef": "harness-v1",
"caseRef": "case-x",
"retainedIds": [
"a",
"c"
],
"outcome": "fail",
"failureKey": "E_X"
},
{
"id": "a-pass",
"harnessRef": "harness-v1",
"caseRef": "case-x",
"retainedIds": [
"a"
],
"outcome": "pass"
},
{
"id": "c-unresolved",
"harnessRef": "harness-v1",
"caseRef": "case-x",
"retainedIds": [
"c"
],
"outcome": "unresolved"
}
]
}
Example response
{
"operation": "observation-shrink-plan",
"version": "0.29.0",
"result": {
"profile": "supplied-observations-one-deletion-v1",
"status": "planned",
"harnessRef": "harness-v1",
"caseRef": "case-x",
"failureKey": "E_X",
"selected": {
"retainedIds": [
"a",
"c"
],
"values": [
{
"op": "open"
},
{
"op": "trigger"
}
],
"observationIds": [
"reduced"
]
},
"smallestAmongSuppliedObservations": true,
"globalMinimalityEstablished": false,
"oneDeletionCertificate": "incomplete",
"neighbors": [
{
"omittedAtomId": "a",
"retainedIds": [
"c"
],
"evidenceStatus": "unresolved",
"observationIds": [
"c-unresolved"
]
},
{
"omittedAtomId": "c",
"retainedIds": [
"a"
],
"evidenceStatus": "pass",
"observationIds": [
"a-pass"
]
}
],
"nextExperiments": [
{
"harnessRef": "harness-v1",
"caseRef": "case-x",
"targetFailureKey": "E_X",
"omittedAtomId": "a",
"retainedIds": [
"c"
],
"values": [
{
"op": "trigger"
}
],
"reason": "unresolved"
}
],
"conflicts": [],
"targetExecuted": false,
"behaviorVerified": false,
"externalRequests": 0
},
"provenance": {
"inputSha256": "67fbcdaab9d5b3fd35e6bf7d29e597bfffa06f507f26b5bd0f40c85e5809307a",
"outputSha256": "25ef2cfd69a0b40f6cd46f38112bed174cf4e4f5d35867388bd82becec52855a",
"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,
"atoms": 64,
"observations": 512,
"retainedIds": 64,
"observationIdReferences": 16384,
"atomValueBytes": 512,
"nextExperiments": 64
}
}
Complete schemas, descriptions and cross-field validation may impose additional limits.
Proposed price and protocol definitions
{
"unit": "one successful operation call",
"proposedNominalUsd": "0.003",
"sixDecimalTokenBaseUnits": "3000",
"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/observation-shrink-plan",
"mpp": "/v1/mpp/observation-shrink-plan"
}
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.