Deontic Modeling
Deontic Modeling
Obligations, permissions, prohibitions, powers, rights, actors, objects, triggers, deadlines, fulfillment, violation, contrary-to-duty states, conflicts, defeaters, transitions, and review. Firewall doctrine: render structure, refuse interpretation, cite, abstain, and hand off.
Structured Visual
Jurisdiction: US; as of 2026-08-28; not legal advice; Render structure, refuse interpretation, cite, abstain, and hand off.
RENDER STRUCTURE · REFUSE INTERPRETATION · CITE · ABSTAIN · HAND-OFF: render structure, refuse interpretation, cite provenance, abstain when unsupported, and hand off to human review.
Scope and honesty note
Jurisdiction: United States computational-law classroom model; source snapshot 2026-08-28; curriculum as of 2026-08-29. Synthetic inputs, code, labels, measurements and outputs are teaching artifacts, not law, legal advice, authority, eligibility, benefits, tax, court, filing, research, ranking, or outcome determinations. Code encodes selected interpretations and can be incomplete, wrong, outdated, biased, overprecise, underinclusive, or non-isomorphic. The system must cite source and version, expose assumptions and gaps, abstain when unsupported, and hand legal judgment to accountable humans.
See the essential structure first
Start with this deliberately incomplete structure, then use the pinned authorities, worked application, exceptions, and handoff below. This deliberately incomplete preview has 4 nodes; exceptions and legal consequences remain in the sourced prose below.
Jurisdiction: US; as of 2026-08-28; not legal advice; Render structure, refuse interpretation, cite, abstain, and hand off.
RENDER STRUCTURE · REFUSE INTERPRETATION · CITE · ABSTAIN · HAND-OFF: render structure, refuse interpretation, cite provenance, abstain when unsupported, and hand off to human review.
Begin with computational-law doctrine
Deontic models represent normative positions rather than ordinary truth alone. Obligations, permissions, prohibitions, powers and rights need actors, objects, triggers, conditions, time, source and institutional consequences. Permission is not simply lack of prohibition, and prohibition is not automatically a classical negation of obligation. Contrary-to-duty logic must preserve both the violated primary norm and activated remedial norm. Conflicts require explicit source priority, exceptions and interpretation. A transition label such as fulfilled or violated is an encoded assessment over stated facts, not a legal judgment.
Institutional power and duty source
The provision supplies court actor, decision duties, review powers, remedies and standards for distinct modal labels. Pinned source or measurement: “§706. Scope of review To the extent necessary to decision and when presented, the reviewing court shall decide all relevant questions of law, interpret constitutional and statutory provisions, and determine the meaning or applicability of the terms of an agency action. The reviewing court shall- (1) compel agency action unlawfully withheld or unreasonably delayed; and (2) hold unlawful and set aside agency action, findings, and conclusions found to be- (A) arbitrary, capricious, an abuse of discretion, or otherwise not in accordance with law; (B) contrary to constitutional right, power, privilege, or immunity; (C) in excess of statutory jurisdiction, authority, or limitations, or short of statutory right; (D) without observance of procedure required by law; (E) unsupported by substantial evidence in a case subject to sections 556 and 557 of this title or otherwise reviewed on the record of an agency hearing provided by statute; or (F) unwarranted by the facts to the extent that the facts are subject to trial de novo by the reviewing court. In making the foregoing determinations, the court shall review the whole record or those parts of it cited by a party, and due account shall be taken of the rule of prejudicial error. ( Pub. L. 89–554, Sept. 6, 1966, 80 Stat. 393 .)” Coordinate: 5 U.S.C. § 706; https://www.neochart.com/catalog/federal/title_5/section_706/title5_sec706_9a580d7b5bc7/706_scope_of_review_to_the_extent_necessary_to_decision_and_0001/index.html; data via neochart.com, snapshot 2026-08.
Tax obligation boundary
The gross-income definition shows that a definitional inclusion is not itself a complete filing or payment obligation. Pinned source or measurement: “§61. Gross income defined (a) General definition Except as otherwise provided in this subtitle, gross income means all income from whatever source derived, including (but not limited to) the following items: (1) Compensation for services, including fees, commissions, fringe benefits, and similar items; (2) Gross income derived from business; (3) Gains derived from dealings in property; (4) Interest; (5) Rents; (6) Royalties; (7) Dividends; (8) Annuities; (9) Income from life insurance and endowment contracts; (10) Pensions; (11) Income from discharge of indebtedness; (12) Distributive share of partnership gross income; (13) Income in respect of a decedent; and (14) Income from an interest in an estate or trust. (b) Cross references For items specifically included in gross income, see part II (sec. 71 and following). For items specifically excluded from gross income, see part III (sec. 101 and following). (Aug. 16, 1954, ch. 736, 68A Stat. 17 ; Pub. L. 98–369, div. A, title V, §531(c), July 18, 1984, 98 Stat. 884 ; Pub. L. 115–97, title I, §11051(b)(1)(A), Dec. 22, 2017, 131 Stat. 2089 .)” Coordinate: 26 U.S.C. § 61; https://www.neochart.com/catalog/federal/tax/title_26/chapter_1/section_61/title26_sec61_bcd7ff77d1ff/61_gross_income_defined_0001/index.html; data via neochart.com, snapshot 2026-08.
Pin the synthetic computational record
A synthetic normative workflow records source spans, agency, claimant and staff actors, notice and response actions, protected field, trigger and deadlines, explicit extension power, obligation and permission labels, prohibition and blocked attempt, fulfillment evidence, violation and remedial states, exception, override, conflict and reviewer.
Work the audited application
The verified trigger activates the agency's notice obligation; the sent notice can mark the classroom obligation fulfilled only on stipulated service facts. The claimant's response is permitted, not required. The disclosure prohibition remains distinct and the blocked attempt is not a completed violation. The supervisor's extension requires an explicit legal power. If notice were late, a remedial obligation could activate without erasing the late state.
Read the populated computational artifact
The deontic record contains source, norm, modality, bearer, counterparty, action, object, trigger, condition, deadline, obligation, permission, prohibition, power, right, immunity, active state, fulfillment, violation, excuse, waiver field, override, expiration, remedial duty, contrary-to-duty state, conflict, priority, evidence, transition, consequence, and reviewer. The artifact contains 16 populated rows.
Jurisdiction: US; as of 2026-08-28; not legal advice; Render structure, refuse interpretation, cite, abstain, and hand off.
RENDER STRUCTURE · REFUSE INTERPRETATION · CITE · ABSTAIN · HAND-OFF: render structure, refuse interpretation, cite provenance, abstain when unsupported, and hand off to human review.
Read the complete record
The complete record keeps sources, stated facts, and questions for review separate. Pinned sources and measurements: Verbatim text or bounded snapshot data. 5 U.S.C. § 706: Institutional power and duty source: The provision supplies court actor, decision duties, review powers, remedies and standards for distinct modal labels.. 26 U.S.C. § 61: Tax obligation boundary: The gross-income definition shows that a definitional inclusion is not itself a complete filing or payment obligation.. Synthetic computational record: Classroom inputs and intermediate states. Workflow: Agency must send notice after verified trigger; claimant may submit response; staff must not disclose protected field; supervisor may extend time under source rule. Events: Trigger occurs, notice sent, response filed, attempted disclosure blocked, extension approved and review requested. Modal questions: Who owes what to whom, under which source, when, with what permission, power, exception, fulfillment and violation consequence. Audit trace: Semantics, provenance, execution, evidence, limits and handoff. Modal labels: Obligation O, permission P, prohibition F, power, disability, claim-right, liberty, liability and immunity remain semantically distinct. Norm tuple: Source, norm id, bearer, counterparty, action, object, trigger, condition, deadline, jurisdiction, version, priority and remedy. Transition: Before trigger, active, fulfilled, violated, excused, waived if legally permitted, overridden, expired, remedial duty and closed. Permission: Explicit permission can create an exception or protected option; absence of prohibition is not always permission, and permission is not obligation. Prohibition: Forbidden action and scope, exceptions, attempt, prevention, violation evidence and remedy; not merely negative obligation without chosen semantics. Contrary-to-duty: Primary obligation may be violated while a secondary remedial obligation activates; fulfillment of remedy does not erase historical violation. Conflict: O action and F action or incompatible obligations require source priority and human interpretation, not arbitrary truth tables.
Narrow summary
Model normative positions as source-bound actor-action-time tuples, preserve contrary-to-duty history and conflicts, and leave modal legal judgments to humans.