Purpose
Validate Marlowe JSON before lowering.
Accept JSON input and return one JSON object:
{"status":"valid",...}{"status":"invalid","errors":[...],"warnings":[...]}
Validation Pipeline
- Run schema validation against
schema/marlowe-supported-subset.schema.json. - Run semantic checks with
scripts/validate_marlowe_json.py. - Return structured errors and warnings with JSON paths.
Mandatory Checks
- Contract uses supported constructors only.
- All timeouts are explicit absolute UNIX timestamps.
- Monetary values are integers.
- Party/Token/Payee/Choice references are structurally valid.
- Multi-token contracts are allowed; check consistency and emit warnings when risky.
- Choice bounds are non-empty and ordered.
- Continuations are complete and reachable.
- Obvious unsupported requirements are flagged.
Warning Policy
Emit warnings for patterns that are legal JSON but high-risk design:
- timeout too near current time
- empty
whencases - zero or negative payment constants
- duplicated choice names by same role
Resources
- Schema:
schema/marlowe-supported-subset.schema.json - Semantic checks:
references/semantic-checks.md - Runner:
scripts/validate_marlowe_json.py
Return JSON only.
