SYNTHETIC SOFTWARE SERVICES AGREEMENT Parties: Cedar Vale Systems LLC (Provider) and Bluehaven Fieldworks Inc. (Customer) Effective date: 2026-10-01 4.2 Payment. Customer will pay all undisputed invoices within seventy-five (75) days. Provider may suspend access five (5) days after written notice of late payment. 7.1 Liability. Customer's liability is unlimited. Provider's aggregate liability will not exceed fees paid in the one month preceding the event giving rise to the claim. 9.3 Data retention. Provider may retain Customer Data for as long as needed for business purposes after termination. 12.4 Termination. Either party may terminate for material breach if the breach remains uncured for thirty (30) days after written notice. This agreement and every organization in it are fictional and exist only for this public interaction.
Guided Demo
Contract Review & Redline
A fictional contract review that keeps rule matches, prepared AI suggestions, and the reviewer's accept, modify, or reject decision separate in the audit trail.
Guided Demo · Clean-room reconstruction · Fictional contract
A fictional contract review that keeps rule matches, prepared AI suggestions, and the reviewer's accept, modify, or reject decision separate in the audit trail.
- Target user
- Sales, procurement, and contract reviewers
- Input
- One self-contained fictional English contract and clean-room rules
- Output
- Finding trail, prepared suggestion, human decision, and printable HTML redline
- Public format
- Guided Demo
Use the case, then inspect the decision trail.
The case uses fictional, synthetic, or prepared material. It shows only the parts that can be released safely. The internal runtime is not public.
Interactive reconstruction · fictional contract
Contract Review Workbench
Trace each public rule match to the fictional clause, then accept, rewrite, or reject the prepared suggestion.
- Layer 01Rule checkDeterministic public pattern
- Layer 02Prepared AI suggestionFixed synthetic content
- Layer 03Human decisionAccept · modify · reject
Suspension window is shorter than the invoice-review cycle
Customer will pay all undisputed invoices within seventy-five (75) days. Provider may suspend access five (5) days after written notice of late payment.
Public rule check: flag a suspension window under 15 days when payment terms exceed 60 days.
Provider may suspend access only after fifteen (15) days' written notice, provided the overdue amount is undisputed.
Liability allocation is materially one-sided
Customer's liability is unlimited. Provider's aggregate liability will not exceed fees paid in the one month preceding the event giving rise to the claim.
Public rule check: flag unlimited liability for one party when the other party has a low fixed cap.
Each party's aggregate liability will not exceed fees paid or payable during the twelve (12) months preceding the event giving rise to the claim, subject to mutually agreed exclusions.
Post-termination retention has no defined limit
Provider may retain Customer Data for as long as needed for business purposes after termination.
Public rule check: flag retention language that has neither a defined period nor a deletion trigger.
Provider will delete or return Customer Data within thirty (30) days after termination, except where a documented legal obligation requires a longer period.
Accepted and modified clauses render as deletions and insertions; rejected clauses remain unchanged.
HTML redline is ready after human review.
- 01
Fictional contract loaded.
- 02
Three public rule checks matched source evidence.
- 03
Prepared suggestions displayed; no live model request was made.
Problem
The user problem
Contract findings, AI-assisted suggestions, and accountable human decisions need to remain distinct in one review trail.
Workflow
Steps from input to decision
- Run deterministic checks against the fictional contract
- Attach a prepared AI suggestion without treating it as authority
- Record human accept, modify, or reject decisions
- Prepare a printable HTML redline
Validation
What was checked
- Deterministic finding, prepared suggestion, and human decision remain separately labeled
- Sales and procurement sources are represented as one product family
Evidence
What the case verifies
- One fictional English contract supports a review trail and printable HTML redline.
- Sales and procurement implementations are treated as one product family, not two separate products.
Continue