Deontic Models

Permission Row Model

Permission rows carry scope and condition labels. 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 permission row process

The stated process stores a permission label with actor, action, scope, and condition fields.

actor action scope condition\text{actor action scope condition}

Example permission row

The toy row uses actor beta, action access record, scope label scope label 1, and condition label condition label 1.

scoped permission label\text{scoped permission label}

The table recomputes support

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

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

Diagram note

The diagram is a permission-row table. It records scope and condition labels without saying a real action is allowed.

scope condition labels\text{scope condition labels}

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

Permission row modelrowfieldvaluequerytokenspermission,scope,condition,labelquerycount4supportcount1supportabstainFalsescopejurisdictionUS classroom deontic stated-rule modelscopesource_typepermission_rowrecord permission_recordrank1record permission_recordmatch4 of 4record permission_recordfilterpassrecord permission_recordciteDeontic Row 1record permission_recordsnippetPermission label actor actor beta action access record scope scope label 1 condition c...

Summary

Permission rows keep scope and condition visible so later review can inspect the model boundary.

visible scope boundary\text{visible scope boundary}