sunholo/deontic

Pure contract-reasoning engine (obligations, cure windows, waivers, force majeure, termination cascade) with Z3-provable settlement math; consumers supply events and print the report under their own capabilities

Field	Value
Latest	0.1.2
Stability	experimental
Effects	IO
Exports	4 modules
Last Updated	2026-07-09T11:34:25Z

Source Code ↗Documentation ↗License ↗

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...