Deontic Models

Prohibition Row Model

Prohibition rows carry action labels and exception pointers. Honesty note: simplified stated-rule deontic model with jurisdiction and as-of caveats; the pinned first step carries the full honesty note.

highlighted = computed this step

Deontic model honesty note

Honesty note: simplified stated-rule deontic model; jurisdiction and as-of caveats apply; as of June 24, 2026; not legal advice; code encodes a stated-rule interpretation, not the law itself; no neochart dependency.

deontic model as of June24,2026\text{deontic model as of }June 24, 2026

State the prohibition row process

The stated process stores a prohibition label with actor, action, and an exception pointer.

actor action exception pointer\text{actor action exception pointer}

Example prohibition row

The toy row uses actor alpha, action send notice, and exception pointer exception row 1.

prohibition label plus exception pointer\text{prohibition label plus exception pointer}

The table recomputes support

This model has 1 prohibition row and 1 token-supported row.

prohibition rows=1,support rows=1\text{prohibition rows}=1,\quad \text{support rows}=1

Diagram note

The diagram is a prohibition-row table. The exception pointer is a review link, not an answer about a real exception.

exception pointer for review\text{exception pointer for review}

Jurisdiction: US; as of 2026-06-24; not legal advice; Code encodes a stated-rule label workflow, not the law itself.

Prohibition row modelrowfieldvaluequerytokensprohibition,action,exception,pointerquerycount4supportcount1supportabstainFalsescopejurisdictionUS classroom deontic stated-rule modelscopesource_typeprohibition_rowrecord prohibition_noticerank1record prohibition_noticematch4 of 4record prohibition_noticefilterpassrecord prohibition_noticeciteDeontic Row 1record prohibition_noticesnippetProhibition label actor actor alpha action send notice exception pointer exception row...

Summary

Prohibition rows stay reviewable when the action label and exception pointer are stored separately.

separate exception pointer\text{separate exception pointer}