Obligation Models
Exceptions and Waiver
A stated exception event changes only the toy model trace. Honesty note: toy contract model; jurisdictions vary; the pinned first step states the as-of date; enforceability and breach require legal review; not legal advice.
Contract model honesty note
Honesty note: toy contract model; jurisdictions vary; as of June 24, 2026; enforceability and breach require legal review; not legal advice; status trace is not a breach conclusion.
Exception facts must be stated
The toy source Toy Contract sec. 5.4 includes an exception-event field. The model does not infer waiver doctrine.
Example event variant
The event facts include an order_received event and a waiver_notice event dated June 2, 2026.
The exception changes only the toy trace
The model uses 2 event facts to update 1 trace row without making waiver doctrine claims.
Diagram note
The diagram shows the stated exception fact and the resulting model row. It is not a legal waiver conclusion.
Jurisdiction: US; as of 2026-06-24; not legal advice; Code encodes the stated-rule interpretation.
Summary
Exceptions stay auditable when the source field and event fact are visible and the legal doctrine question is handed off.