{"id":"compensation-coverage","title":"Check that every write step in a multi-step plan has an undo step, and give the rollback order","description":"For an agent plan made of steps with declared effects (read or write), checks every write in the plan, run or not, has a compensation step that exists, is itself a write, is not its own compensation, and that the dependencies have no cycle; flags writes declared irreversible; and, given which steps have completed, returns the compensations to run in reverse completion order. Does not judge whether a compensation really undoes the effect, nor run anything.","roi":"Finds the write with no undo before step 3 of 6 fails and leaves the system half-done.","audience":"agent-infra","package":"execution-safety-kit","channels":["x402","mcp"],"endpoint":{"method":"POST","url":"https://agents.writerslogic.com/api/v1/compensation-coverage","path":"/api/v1/compensation-coverage","contentType":"application/json"},"price":{"amount":"0.005","currency":"USDC","network":"base","perCall":true,"failedCallsCharged":false},"inputSchema":{"type":"object","additionalProperties":false,"required":["steps"],"properties":{"steps":{"type":"array","minItems":1,"maxItems":100,"items":{"type":"object","additionalProperties":false,"required":["id","effect"],"properties":{"id":{"type":"string","minLength":1,"maxLength":200},"effect":{"type":"string","enum":["read","write"]},"compensation":{"type":"string","minLength":1,"maxLength":200,"description":"Id of the step that undoes this one."},"irreversible":{"type":"boolean","description":"Declared impossible to undo (send email, wire transfer)."},"dependsOn":{"type":"array","maxItems":20,"items":{"type":"string","minLength":1,"maxLength":200}}}}},"completed":{"type":"array","maxItems":100,"items":{"type":"string","minLength":1,"maxLength":200},"description":"Step ids completed so far, in completion order. Only used for rollbackOrder and to say an irreversible write has already run; coverage is always checked for the whole plan."}}},"resultSchema":{"type":"object","properties":{"status":{"type":"string","enum":["pass","fail","unknown","unsupported"],"description":"pass: every rule held. fail: a rule was violated (see witnesses). unknown: the input lacks the evidence to decide. unsupported: outside what this engine covers. Missing evidence is never a pass."},"uncovered":{"type":"array","items":{"type":"string"},"description":"Write steps with no usable compensation."},"irreversible":{"type":"array","items":{"type":"string"}},"rollbackOrder":{"type":"array","items":{"type":"string"},"description":"Compensation step ids to run, latest completed first. Present when completed is given."},"witnesses":{"type":"array","items":{"type":"object","properties":{"ruleId":{"type":"string"},"detail":{"type":"string"},"path":{"type":"string","description":"JSON pointer or dotted path into the input."},"offset":{"type":"integer"},"index":{"type":"integer"},"expected":{"description":"What the rule required."},"actual":{"description":"What the input had."}}}},"versions":{"type":"object","description":"Every semantic dependency of this answer (engine, tables and their as-of dates, tokenizer, calendar, rounding profile)."},"limits":{"type":"array","items":{"type":"string"}},"deterministic":{"type":"boolean","description":"Always true: pure code, no model."}}},"outputSchema":{"type":"object","properties":{"data":{"type":"object","properties":{"status":{"type":"string","enum":["pass","fail","unknown","unsupported"],"description":"pass: every rule held. fail: a rule was violated (see witnesses). unknown: the input lacks the evidence to decide. unsupported: outside what this engine covers. Missing evidence is never a pass."},"uncovered":{"type":"array","items":{"type":"string"},"description":"Write steps with no usable compensation."},"irreversible":{"type":"array","items":{"type":"string"}},"rollbackOrder":{"type":"array","items":{"type":"string"},"description":"Compensation step ids to run, latest completed first. Present when completed is given."},"witnesses":{"type":"array","items":{"type":"object","properties":{"ruleId":{"type":"string"},"detail":{"type":"string"},"path":{"type":"string","description":"JSON pointer or dotted path into the input."},"offset":{"type":"integer"},"index":{"type":"integer"},"expected":{"description":"What the rule required."},"actual":{"description":"What the input had."}}}},"versions":{"type":"object","description":"Every semantic dependency of this answer (engine, tables and their as-of dates, tokenizer, calendar, rounding profile)."},"limits":{"type":"array","items":{"type":"string"}},"deterministic":{"type":"boolean","description":"Always true: pure code, no model."}}},"_provenance":{"type":"object","description":"C2PA-aligned manifest and W3C VC 2.0 (eddsa-jcs-2022) issued by the hub DID; verify at POST /api/v1/verify-provenance"}},"required":["data","_provenance"]},"example":{"steps":[{"id":"reserve","effect":"write","compensation":"release"},{"id":"release","effect":"write","irreversible":false,"compensation":"reserve"},{"id":"charge","effect":"write","dependsOn":["reserve"]}],"completed":["reserve","charge"]},"openapiOperation":{"operationId":"compensation_coverage","summary":"Check that every write step in a multi-step plan has an undo step, and give the rollback order","description":"For an agent plan made of steps with declared effects (read or write), checks every write in the plan, run or not, has a compensation step that exists, is itself a write, is not its own compensation, and that the dependencies have no cycle; flags writes declared irreversible; and, given which steps have completed, returns the compensations to run in reverse completion order. Does not judge whether a compensation really undoes the effect, nor run anything.\n\nPrice: 0.005 USDC on Base (x402).","x-x402-price-usdc":"0.005","x-x402-amount":"5000","x-payment-info":{"protocols":["x402"],"price":{"mode":"fixed","currency":"USD","amount":"0.005"}},"x-audience":"agent-infra","x-sample-url":"https://agents.writerslogic.com/api/v1/samples/compensation-coverage","security":[{"x402":[]},{"apiKey":[]}],"requestBody":{"required":true,"content":{"application/json":{"schema":{"type":"object","additionalProperties":false,"required":["steps"],"properties":{"steps":{"type":"array","minItems":1,"maxItems":100,"items":{"type":"object","additionalProperties":false,"required":["id","effect"],"properties":{"id":{"type":"string","minLength":1,"maxLength":200},"effect":{"type":"string","enum":["read","write"]},"compensation":{"type":"string","minLength":1,"maxLength":200,"description":"Id of the step that undoes this one."},"irreversible":{"type":"boolean","description":"Declared impossible to undo (send email, wire transfer)."},"dependsOn":{"type":"array","maxItems":20,"items":{"type":"string","minLength":1,"maxLength":200}}}}},"completed":{"type":"array","maxItems":100,"items":{"type":"string","minLength":1,"maxLength":200},"description":"Step ids completed so far, in completion order. Only used for rollbackOrder and to say an irreversible write has already run; coverage is always checked for the whole plan."}}},"example":{"steps":[{"id":"reserve","effect":"write","compensation":"release"},{"id":"release","effect":"write","irreversible":false,"compensation":"reserve"},{"id":"charge","effect":"write","dependsOn":["reserve"]}],"completed":["reserve","charge"]}}}},"responses":{"200":{"description":"Paid result with provenance","content":{"application/json":{"schema":{"type":"object","properties":{"data":{"type":"object","properties":{"status":{"type":"string","enum":["pass","fail","unknown","unsupported"],"description":"pass: every rule held. fail: a rule was violated (see witnesses). unknown: the input lacks the evidence to decide. unsupported: outside what this engine covers. Missing evidence is never a pass."},"uncovered":{"type":"array","items":{"type":"string"},"description":"Write steps with no usable compensation."},"irreversible":{"type":"array","items":{"type":"string"}},"rollbackOrder":{"type":"array","items":{"type":"string"},"description":"Compensation step ids to run, latest completed first. Present when completed is given."},"witnesses":{"type":"array","items":{"type":"object","properties":{"ruleId":{"type":"string"},"detail":{"type":"string"},"path":{"type":"string","description":"JSON pointer or dotted path into the input."},"offset":{"type":"integer"},"index":{"type":"integer"},"expected":{"description":"What the rule required."},"actual":{"description":"What the input had."}}}},"versions":{"type":"object","description":"Every semantic dependency of this answer (engine, tables and their as-of dates, tokenizer, calendar, rounding profile)."},"limits":{"type":"array","items":{"type":"string"}},"deterministic":{"type":"boolean","description":"Always true: pure code, no model."}}},"_provenance":{"type":"object","description":"C2PA-aligned manifest and W3C VC 2.0 (eddsa-jcs-2022) issued by the hub DID; verify at POST /api/v1/verify-provenance"}},"required":["data","_provenance"]}}}},"400":{"description":"Invalid request (no payment consumed)","content":{"application/json":{"schema":{"type":"object","properties":{"error":{"type":"string"},"code":{"type":"string"}}}}}},"401":{"description":"Invalid X-API-KEY","content":{"application/json":{"schema":{"type":"object","properties":{"error":{"type":"string"},"code":{"type":"string"}}}}}},"402":{"description":"Payment required or invalid","content":{"application/json":{"schema":{"type":"object","description":"x402 v2 PaymentRequired (also base64 in the PAYMENT-REQUIRED header)","properties":{"x402Version":{"type":"integer"},"error":{"type":"string"},"code":{"type":"string"},"resource":{"type":"object"},"accepts":{"type":"array","items":{"type":"object"}},"extensions":{"type":"object"}}}}}},"502":{"description":"Upstream failure; the payment is released or not settled","content":{"application/json":{"schema":{"type":"object","properties":{"error":{"type":"string"},"code":{"type":"string"}}}}}}}},"links":{"docs":"https://agents.writerslogic.com/docs/compensation-coverage/","docsJson":"https://agents.writerslogic.com/docs/compensation-coverage.json","sample":"https://agents.writerslogic.com/api/v1/samples/compensation-coverage","openapi":"https://agents.writerslogic.com/openapi.json","catalog":"https://agents.writerslogic.com/api/v1/catalog","verifyProvenance":"https://agents.writerslogic.com/api/v1/verify-provenance","index":"https://agents.writerslogic.com/docs/index.json"}}