Module contract 

Contractual formation & agreement (§22, legal_logic.md) — private ordering.

Beyond universal human rights, agents create binding private law through agreements. This formalises the micro-states of formation (Offer → Assent → Binding) and composes §18 capacity: mutual assent only creates a binding obligation when both parties had the juridical capacity to agree. A contract may also incorporate a larger normative corpus by reference (e.g. the UN Guiding Principles).

Enums

ContractState

The lifecycle state of a binding contract.

FormationStage

The formation stage of an agreement.

Functions

contract_state

Contract lifecycle (precedence order): an unmet condition precedent → Pending; a condition subsequent that occurred → Discharged; performance → Performed; a passed deadline without performance → Breached; otherwise Active.

formation_stage

The raw formation stage from the two acts (capacity aside): an offer needs a stipulation; binding needs assent on top of it.

incorporates_by_reference

Incorporation by reference: the agreement imports the clauses of instrument (a corpus URI hash). A non-zero instrument means clauses are incorporated.

is_binding_contract

A contract is binding iff it was stipulated, assented to, AND both parties had intact juridical capacity (composes capacity::stipulation_binding — an agreement assented to under duress or by an incapacitated party does not bind).

liable_party

Trace liability through a sub-contract chain: chain[i] is the party at depth i (the prime contractor chain[0] sub-contracts to chain[1], etc.). Liability for a breach at depth rests on chain[depth], capped at the performing sub-contractor at the chain’s end. None for an empty chain.

performance_met

Performance is met iff an oracle-trusted measurement shows delivered reaching required (performance_ratio >= 1.0). An untrusted oracle measurement is not admissible (fail closed).

performance_ratio

Performance ratio = delivered / required (clamped ≥ 0); 1.0 = fully performed. A non-positive required is vacuously satisfied (1.0).

terms_respect_limits

A contract term that obligates a FORBIDDEN action (a deontic / human-rights limit — e.g. an agreement to waive a non-derogable right) is VOID. The terms respect the limits iff none of obligated_actions is in forbidden. (Private ordering cannot contract out of the baselines.)