{"id":"constraint-carryover","title":"Check that earlier constraints (numbers, dates, codes, quoted terms, negations) survive into a later plan or summary","description":"Takes the constraints an agent was given (budget caps, deadlines, identifiers, prohibitions) and a later artifact (plan, summary, handoff, tool arguments) and reports for each constraint whether its concrete atoms still appear: numbers with their unit or currency, ISO dates, codes, quoted terms, or caller-listed anchor strings, with offsets. For a negated constraint it also reports whether the closest matching sentence still carries a negation cue. Rule-based: it checks that the specifics survived, not that the artifact obeys them, and a constraint with no extractable atoms returns unknown rather than carried.","roi":"Detects silently dropped constraints at every handoff between steps. 50 constraints per $0.005 call.","audience":"agent-infra","package":"context-evidence-kit","channels":["x402","mcp"],"endpoint":{"method":"POST","url":"https://agents.writerslogic.com/api/v1/constraint-carryover","path":"/api/v1/constraint-carryover","contentType":"application/json"},"price":{"amount":"0.005","currency":"USDC","network":"base","perCall":true,"failedCallsCharged":false},"inputSchema":{"type":"object","additionalProperties":false,"required":["constraints","target"],"properties":{"constraints":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"id":{"type":"string","maxLength":100,"minLength":1,"description":"Echoed back."},"text":{"type":"string","maxLength":2000,"minLength":1,"description":"The constraint in plain words."},"anchors":{"type":"array","items":{"type":"string","maxLength":200},"maxItems":20,"description":"Exact strings that must appear (case-insensitive); replaces atom extraction for this constraint."}},"required":["id","text"]},"maxItems":50,"minItems":1,"description":"Up to 50; 20000 characters of constraint text in total."},"target":{"type":"string","maxLength":60000,"minLength":1,"description":"The later artifact that must still honor the constraints."}}},"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."},"constraints":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"id":{"type":"string"},"verdict":{"type":"string","enum":["carried","missing","unknown"]},"atoms":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"kind":{"type":"string","enum":["number","quoted","date","code","anchor"]},"text":{"type":"string"},"found":{"type":"boolean"},"partial":{"type":"boolean","description":"Number found but its unit or currency differs."},"spans":{"type":"array","items":{"type":"object","description":"Half-open [start,end) range in four coordinate systems: UTF-16 code units, code points, UTF-8 bytes, extended grapheme clusters (Intl.Segmenter).","properties":{"utf16":{"type":"object","properties":{"start":{"type":"integer"},"end":{"type":"integer"}}},"codePoint":{"type":"object","properties":{"start":{"type":"integer"},"end":{"type":"integer"}}},"utf8":{"type":"object","properties":{"start":{"type":"integer"},"end":{"type":"integer"}}},"grapheme":{"type":"object","properties":{"start":{"type":"integer"},"end":{"type":"integer"}}},"graphemeAligned":{"type":"boolean"}}},"maxItems":5}}},"maxItems":40},"polarity":{"type":"string","enum":["kept","dropped","unchecked"]}}},"maxItems":50},"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."},"constraints":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"id":{"type":"string"},"verdict":{"type":"string","enum":["carried","missing","unknown"]},"atoms":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"kind":{"type":"string","enum":["number","quoted","date","code","anchor"]},"text":{"type":"string"},"found":{"type":"boolean"},"partial":{"type":"boolean","description":"Number found but its unit or currency differs."},"spans":{"type":"array","items":{"type":"object","description":"Half-open [start,end) range in four coordinate systems: UTF-16 code units, code points, UTF-8 bytes, extended grapheme clusters (Intl.Segmenter).","properties":{"utf16":{"type":"object","properties":{"start":{"type":"integer"},"end":{"type":"integer"}}},"codePoint":{"type":"object","properties":{"start":{"type":"integer"},"end":{"type":"integer"}}},"utf8":{"type":"object","properties":{"start":{"type":"integer"},"end":{"type":"integer"}}},"grapheme":{"type":"object","properties":{"start":{"type":"integer"},"end":{"type":"integer"}}},"graphemeAligned":{"type":"boolean"}}},"maxItems":5}}},"maxItems":40},"polarity":{"type":"string","enum":["kept","dropped","unchecked"]}}},"maxItems":50},"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":{"constraints":[{"id":"c1","text":"Total spend must not exceed $5,000 before 2026-12-31."},{"id":"c2","text":"Do not contact the customer by phone."}],"target":"Plan: book venues with a $5,000 cap, all invoices settled by 2026-12-31. Contact the customer by email only."},"openapiOperation":{"operationId":"constraint_carryover","summary":"Check that earlier constraints (numbers, dates, codes, quoted terms, negations) survive into a later plan or summary","description":"Takes the constraints an agent was given (budget caps, deadlines, identifiers, prohibitions) and a later artifact (plan, summary, handoff, tool arguments) and reports for each constraint whether its concrete atoms still appear: numbers with their unit or currency, ISO dates, codes, quoted terms, or caller-listed anchor strings, with offsets. For a negated constraint it also reports whether the closest matching sentence still carries a negation cue. Rule-based: it checks that the specifics survived, not that the artifact obeys them, and a constraint with no extractable atoms returns unknown rather than carried.\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/constraint-carryover","security":[{"x402":[]},{"apiKey":[]}],"requestBody":{"required":true,"content":{"application/json":{"schema":{"type":"object","additionalProperties":false,"required":["constraints","target"],"properties":{"constraints":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"id":{"type":"string","maxLength":100,"minLength":1,"description":"Echoed back."},"text":{"type":"string","maxLength":2000,"minLength":1,"description":"The constraint in plain words."},"anchors":{"type":"array","items":{"type":"string","maxLength":200},"maxItems":20,"description":"Exact strings that must appear (case-insensitive); replaces atom extraction for this constraint."}},"required":["id","text"]},"maxItems":50,"minItems":1,"description":"Up to 50; 20000 characters of constraint text in total."},"target":{"type":"string","maxLength":60000,"minLength":1,"description":"The later artifact that must still honor the constraints."}}},"example":{"constraints":[{"id":"c1","text":"Total spend must not exceed $5,000 before 2026-12-31."},{"id":"c2","text":"Do not contact the customer by phone."}],"target":"Plan: book venues with a $5,000 cap, all invoices settled by 2026-12-31. Contact the customer by email only."}}}},"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."},"constraints":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"id":{"type":"string"},"verdict":{"type":"string","enum":["carried","missing","unknown"]},"atoms":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"kind":{"type":"string","enum":["number","quoted","date","code","anchor"]},"text":{"type":"string"},"found":{"type":"boolean"},"partial":{"type":"boolean","description":"Number found but its unit or currency differs."},"spans":{"type":"array","items":{"type":"object","description":"Half-open [start,end) range in four coordinate systems: UTF-16 code units, code points, UTF-8 bytes, extended grapheme clusters (Intl.Segmenter).","properties":{"utf16":{"type":"object","properties":{"start":{"type":"integer"},"end":{"type":"integer"}}},"codePoint":{"type":"object","properties":{"start":{"type":"integer"},"end":{"type":"integer"}}},"utf8":{"type":"object","properties":{"start":{"type":"integer"},"end":{"type":"integer"}}},"grapheme":{"type":"object","properties":{"start":{"type":"integer"},"end":{"type":"integer"}}},"graphemeAligned":{"type":"boolean"}}},"maxItems":5}}},"maxItems":40},"polarity":{"type":"string","enum":["kept","dropped","unchecked"]}}},"maxItems":50},"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/constraint-carryover/","docsJson":"https://agents.writerslogic.com/docs/constraint-carryover.json","sample":"https://agents.writerslogic.com/api/v1/samples/constraint-carryover","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"}}