Deontic Models

Exception Overrides Trace

Exception rows are visible trace rows, not hidden logic. 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

Trace the exception row

The stated process keeps the base label, exception label, and human-review label as separate prong rows.

base exception review rows\text{base exception review rows}

Example exception packet

The toy facts mark base_label true and exception_label true, while review_label remains unknown.

true true unknown\text{true true unknown}

The trace recomputes row status

This trace has 3 rows and 1 unknown review row.

trace rows=3,unknown rows=1\text{trace rows}=3,\quad \text{unknown rows}=1

Diagram note

The diagram is a prong trace. Exception handling stays visible as row labels and does not produce legal advice.

exception trace only\text{exception trace only}

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

Exception overrides trace base_label: satisfied via base_label=True compare=True exception_label: satisfied via exception_label=True compare=True review_label: unknown via review_label=None compare=True

Summary

Exception rows should be traceable because hidden exception logic is hard for human reviewers to inspect.

visible exception row\text{visible exception row}