Obligation Models

Party Fields

Obligor, beneficiary, and action are explicit fields, not inferred advice. 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.

highlighted = computed this step

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.

toy contract as of June24,2026\text{toy contract as of }June 24, 2026

Party roles are data fields

The process does not infer who benefits or who acts. It reads the party and action labels from Toy Contract sec. 2.1.

party labels are authored inputs\text{party labels are authored inputs}

Example field packet

The toy packet names Vendor as obligor, Buyer as beneficiary, and deliver as the action. Those are 3 explicit fields.

explicit fields=3\text{explicit fields}=3

The table preserves the labels

The compiler carries those fields into the row before status is computed. It does not choose a side or advise a party.

obligor plus beneficiary plus action\text{obligor plus beneficiary plus action}

Diagram note

The diagram is a field audit. Read it as named slots for review, not as a rights or duties conclusion.

fields are slots\text{fields are slots}

Jurisdiction: US; as of 2026-06-24; not legal advice; Code encodes the stated-rule interpretation.

Party fieldsrowfieldvaluescopenoteParty fields; jurisdictions vary; enforceability and breach require legal review; not legal advice; status trace is not a breach conclusion.statusvocabularylate,not_triggered,pending,satisfied,unknownclause deliveryrank1clause deliverystatusnot_triggeredclause deliverytriggeredFalseclause deliverytriggernoneclause deliveryduenoneclause deliveryperformancenoneclause deliverydaysLate0clause deliveryciteToy Contract sec. 2.1

Summary

Explicit party fields make later traces inspectable because the model shows exactly which labels it used.

explicit fields make traces inspectable\text{explicit fields make traces inspectable}