by42ppcrps-dev.github.io
ClauseProof runs two readings of the same contract clause against the same facts, shows the money gap, and lets a browser agent propose and repair a fix that must pass deterministic tests before a…
First seen 2026-11-05 · Last seen 2026-11-05 · Source: webmcp.com
Answer 0 · Act 3 · Transact 0 · Score: Not yet scored
Tool inspector
stage_interpretations
Stage exactly two clause-cited readings of the SLA remedy and material-breach language that lead to different commercial outcomes. Typical pair: (a) exclusiveRemedyScope=all_sla_related_remedies with repeatedSlaFailureMayBeMaterialBreach=false; (b) sla_compensation_only with true. Cite sla-exclusive-remedy and material-breach in each. This does not choose the intended outcome.
Page: /clauseproof/
Input schema
| Property | Type | Required | Description |
|---|---|---|---|
baseRevision |
integer | yes | The revision number returned by inspect_contract_case. |
interpretations |
array | yes | Exactly two readings whose semantics differ enough to change credits, termination, or future fees. |
Raw JSON schema
{
"$schema": "https://json-schema.org/draft/2020-12/schema",
"type": "object",
"properties": {
"baseRevision": {
"type": "integer",
"minimum": 0,
"maximum": 9007199254740991,
"description": "The revision number returned by inspect_contract_case."
},
"interpretations": {
"minItems": 2,
"maxItems": 2,
"type": "array",
"items": {
"type": "object",
"properties": {
"label": {
"type": "string",
"minLength": 3,
"maxLength": 60,
"description": "Short human-readable name, e.g. 'Vendor-favorable reading'."
},
"clauseIds": {
"minItems": 1,
"maxItems": 3,
"type": "array",
"items": {
"type": "string",
"enum": [
"sla-commitment",
"sla-exclusive-remedy",
"material-breach"
]
},
"description": "Visible clause IDs this reading relies on. Must include sla-exclusive-remedy and material-breach."
},
"semantics": {
"type": "object",
"properties": {
"exclusiveRemedyScope": {
"type": "string",
"enum": [
"sla_compensation_only",
"all_sla_related_remedies"
],
"description": "How far the 'sole and exclusive remedy' sentence reaches. all_sla_related_remedies: service credits displace every remedy for SLA failures, including termination (vendor-favorable). sla_compensation_only: credits only cap money; other remedies such as breach termination survive (customer-favorable)."
},
"repeatedSlaFailureMayBeMaterialBreach": {
"type": "boolean",
"description": "true if repeated uptime misses can count as a material breach under the termination clause; false if they never can."
},
"creditsSurviveTermination": {
"type": "boolean",
"description": "true if credits already accrued are still owed after termination; false if they are forfeited."
}
},
"required": [
"exclusiveRemedyScope",
"repeatedSlaFailureMayBeMaterialBreach",
"creditsSurviveTermination"
],
"additionalProperties": false
},
"rationale": {
"type": "string",
"minLength": 20,
"maxLength": 320,
"description": "One or two sentences explaining why the cited words support this reading."
}
},
"required": [
"label",
"clauseIds",
"semantics",
"rationale"
],
"additionalProperties": false
},
"description": "Exactly two readings whose semantics differ enough to change credits, termination, or future fees."
}
},
"required": [
"baseRevision",
"interpretations"
],
"additionalProperties": false
}
Similar websites
econsor.de
German digital agency building portals, e-commerce sites and online marketing, combining strategy, design and AI to grow clients' visibility and customer base.
inkframe-eta.vercel.app
Browser-native Elah video editor for 9:16 and 16:9 exports
agentdesk-demo.vercel.app
Meridian Ops
eworker.ca
E-Worker is business infrastructure powered by AI, with focused apps and connected business work.