{"id":"translation-invariants","title":"Check that numbers, units, part numbers, tolerance signs, dates, placeholders and URLs survive translation","description":"For aligned source and target segments, extracts the tokens a translation must not change (numbers with attached units or %, ISO dates, part numbers and versions, tolerance and comparison operators such as ± ≤ ≥, placeholders like {0} or %s, URLs and emails) and reports any that are missing, added or altered, with offsets in both texts in UTF-16, code points, UTF-8 bytes and graphemes. Numbers are compared by value across decimal and thousands conventions (1,234.5 vs 1.234,5), digits of other scripts count as ASCII digits, and a separator that could be either is reported as ambiguous unless sourceDecimal/targetDecimal says which. Does not read number words, check grammar or translate; units are compared only when attached to the number or a symbol such as %.","roi":"Catches the dropped decimal, the lost ± and the broken placeholder before a translation ships. 200 segments per $0.005 call.","audience":"agent-infra","package":"context-evidence-kit","channels":["x402","mcp"],"endpoint":{"method":"POST","url":"https://agents.writerslogic.com/api/v1/translation-invariants","path":"/api/v1/translation-invariants","contentType":"application/json"},"price":{"amount":"0.005","currency":"USDC","network":"base","perCall":true,"failedCallsCharged":false},"inputSchema":{"type":"object","additionalProperties":false,"required":["segments"],"properties":{"segments":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"id":{"type":"string","maxLength":100,"minLength":1,"description":"Echoed back."},"source":{"type":"string","maxLength":10000},"target":{"type":"string","maxLength":10000}},"required":["id","source","target"]},"maxItems":200,"minItems":1,"description":"Up to 200; 100000 characters in total."},"sourceDecimal":{"type":"string","enum":[".",",","auto"],"description":"Decimal mark of the source locale. Default auto (both readings tried)."},"targetDecimal":{"type":"string","enum":[".",",","auto"],"description":"Decimal mark of the target locale. Default auto."},"kinds":{"type":"array","items":{"type":"string","enum":["number","identifier","operator","placeholder","url","date"]},"maxItems":6,"description":"Token kinds to check. Default all."}}},"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."},"segments":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"id":{"type":"string"},"ok":{"type":"boolean"},"missing":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"kind":{"type":"string","enum":["number","identifier","operator","placeholder","url","date"]},"text":{"type":"string"},"span":{"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":50,"description":"In the source, absent from the target."},"added":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"kind":{"type":"string","enum":["number","identifier","operator","placeholder","url","date"]},"text":{"type":"string"},"span":{"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":50,"description":"In the target, absent from the source."},"ambiguous":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"source":{"type":"string"},"target":{"type":"string"},"sourceSpan":{"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"}}},"targetSpan":{"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":50,"description":"Matched only because a separator can be read as decimal or thousands."}}},"maxItems":200},"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."},"segments":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"id":{"type":"string"},"ok":{"type":"boolean"},"missing":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"kind":{"type":"string","enum":["number","identifier","operator","placeholder","url","date"]},"text":{"type":"string"},"span":{"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":50,"description":"In the source, absent from the target."},"added":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"kind":{"type":"string","enum":["number","identifier","operator","placeholder","url","date"]},"text":{"type":"string"},"span":{"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":50,"description":"In the target, absent from the source."},"ambiguous":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"source":{"type":"string"},"target":{"type":"string"},"sourceSpan":{"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"}}},"targetSpan":{"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":50,"description":"Matched only because a separator can be read as decimal or thousands."}}},"maxItems":200},"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":{"segments":[{"id":"s1","source":"Tighten to 25 Nm ±2 (part PN-4471-B), see https://x.example/a.","target":"Mit 25 Nm anziehen (Teil PN-4471-B), siehe https://x.example/a."}],"targetDecimal":","},"openapiOperation":{"operationId":"translation_invariants","summary":"Check that numbers, units, part numbers, tolerance signs, dates, placeholders and URLs survive translation","description":"For aligned source and target segments, extracts the tokens a translation must not change (numbers with attached units or %, ISO dates, part numbers and versions, tolerance and comparison operators such as ± ≤ ≥, placeholders like {0} or %s, URLs and emails) and reports any that are missing, added or altered, with offsets in both texts in UTF-16, code points, UTF-8 bytes and graphemes. Numbers are compared by value across decimal and thousands conventions (1,234.5 vs 1.234,5), digits of other scripts count as ASCII digits, and a separator that could be either is reported as ambiguous unless sourceDecimal/targetDecimal says which. Does not read number words, check grammar or translate; units are compared only when attached to the number or a symbol such as %.\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/translation-invariants","security":[{"x402":[]},{"apiKey":[]}],"requestBody":{"required":true,"content":{"application/json":{"schema":{"type":"object","additionalProperties":false,"required":["segments"],"properties":{"segments":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"id":{"type":"string","maxLength":100,"minLength":1,"description":"Echoed back."},"source":{"type":"string","maxLength":10000},"target":{"type":"string","maxLength":10000}},"required":["id","source","target"]},"maxItems":200,"minItems":1,"description":"Up to 200; 100000 characters in total."},"sourceDecimal":{"type":"string","enum":[".",",","auto"],"description":"Decimal mark of the source locale. Default auto (both readings tried)."},"targetDecimal":{"type":"string","enum":[".",",","auto"],"description":"Decimal mark of the target locale. Default auto."},"kinds":{"type":"array","items":{"type":"string","enum":["number","identifier","operator","placeholder","url","date"]},"maxItems":6,"description":"Token kinds to check. Default all."}}},"example":{"segments":[{"id":"s1","source":"Tighten to 25 Nm ±2 (part PN-4471-B), see https://x.example/a.","target":"Mit 25 Nm anziehen (Teil PN-4471-B), siehe https://x.example/a."}],"targetDecimal":","}}}},"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."},"segments":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"id":{"type":"string"},"ok":{"type":"boolean"},"missing":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"kind":{"type":"string","enum":["number","identifier","operator","placeholder","url","date"]},"text":{"type":"string"},"span":{"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":50,"description":"In the source, absent from the target."},"added":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"kind":{"type":"string","enum":["number","identifier","operator","placeholder","url","date"]},"text":{"type":"string"},"span":{"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":50,"description":"In the target, absent from the source."},"ambiguous":{"type":"array","items":{"type":"object","additionalProperties":false,"properties":{"source":{"type":"string"},"target":{"type":"string"},"sourceSpan":{"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"}}},"targetSpan":{"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":50,"description":"Matched only because a separator can be read as decimal or thousands."}}},"maxItems":200},"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/translation-invariants/","docsJson":"https://agents.writerslogic.com/docs/translation-invariants.json","sample":"https://agents.writerslogic.com/api/v1/samples/translation-invariants","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"}}