Doctavian × ALERUNO EffectProof — Mission 1 Evidence Pack
Source → Generate → Observe → Verify → Receipt
Mission 1 source truth
- Customer: Acme Logistics Group
- Expected total: $9,500
- Volume discount clause: must remain hidden because total is below $10,000
- 24-month renewal from Jun 30, 2025 → Jun 30, 2027
Required live Doctavian path
Data SourceDocument SolutionTemplate uploadJSON uploadGenerateDownload
EffectProof acceptance gates
- Authenticated external generation must succeed.
- Downloaded document is independently hashed.
- Rendered values are checked against source truth.
- Conditional clause behavior is checked.
- Replay must not be counted as a second business effect.
- If evidence is missing: BLOCKED, never synthetic PASS.
Source hashes
mission-1-data.json72361af0219be6903286debe27fceadfd8d67a1fb958128fd7dc583f2834e9edmission-1-agreement.docxd1048913e166f40335be1eecd1eb9c1f470792d588063039840feba0c55c6206Demo output
One compact receipt: source hashes + request/operation id + generated document hash + expected-vs-observed checks + final PASS/HOLD/BLOCKED verdict.
ALERUNO EffectProof — synthetic / non-production demo. No customer production data used.