sunholo/deontic
Pure obligation-reasoning engine (obligations, cure windows, waivers, suspension/resume, force majeure, attributed delay, termination cascade) with Z3-provable settlement math including per-diem statutory interest; outstanding principal is reported and survives termination. Days are signed, so obligations falling due before the model epoch work correctly; an obligation priced at 0 has no payment leg, which makes the engine usable for non-financial deadlines such as decisions that must be settled by a date. It has NO permission or prohibition modality — it answers who owes what by when, not what anyone may do
| Field | Value |
|---|---|
| Latest | 0.3.0 |
| Stability | experimental |
| Effects | IO |
| Exports | 4 modules |
| Last Updated | 2026-09-16T06:48:09Z |
Exported Modules
- sunholo/deontic/types
- sunholo/deontic/settle
- sunholo/deontic/engine
- sunholo/deontic/api
Dependencies
No dependencies (pure standalone package).
Loading version history from registry...