Turn model text into a safe typed value
one move: reject ambiguity at the boundary
Open the code pane immediately, then use the Spec tab, optional design question, tests, and artifact when you want them.
Finish each move before carrying the artifact forward.
Structured generation is only useful when untrusted output is parsed, validated, and repaired or rejected before application code sees it.
Deliverable: State the system invariant in one sentence.Validate a JSON-like object against required fields, primitive types, enum values, and unknown-key policy.
Deliverable: Type the deterministic core.Valid objects pass unchanged, missing or mistyped fields return stable paths, and extra keys follow the declared policy.
Deliverable: Record a normal case and a boundary case.Add nested errors, null values, extra keys, and a coercion-looking string.
Deliverable: Name the failure signal and its guard.A schema contract, validation error report, and safe fallback policy.
Deliverable: Save the contract, evidence, and handoff note.Valid objects pass unchanged, missing or mistyped fields return stable paths, and extra keys follow the declared policy.
Add nested errors, null values, extra keys, and a coercion-looking string.
A schema contract, validation error report, and safe fallback policy.
Deriva-authored extension beyond the supplied PDF. The five moves are Deriva’s implementation contract for this project.