Defeasibility and Exceptions

Defeasibility and Exceptions

Defaults, strict rules, exceptions, unless, except, provided-that, subject-to, notwithstanding, priorities, specificity, temporal rules, burdens, conflicts, explanations, and nonmonotonic revision.

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.

Defeasibility and ExceptionsDefeasibility and ExceptionsSource, version, input, representation, rule or data operation, trace, uncertainty, test, reviewPinned sources and measurementsVerbatim text or bounded snapshot data5 U.S.C. § 706: Enumerated review exceptions and standardsThe review text supplies multiple standards, record scope and prejudicial-error coordination for priority-aware encoding.26 U.S.C. § 61: Broad rule with coordinated exclusionsThe broad gross-income rule illustrates why separate statutory exclusions defeat inclusion only within their exact predicates.Synthetic computational recordClassroom inputs and intermediate statesBase ruleNormally include a receipt in gross-income candidate set under broad source ruleExceptionSpecific exclusion applies if every predicate is proven for the same taxpayer, item, amount and tax yearOverrideLater provision says notwithstanding base rule for defined emergency period; another clause is subject to a separate capAudit traceSemantics, provenance, execution, evidence, limits and handoffRule typesStrict implication, defeasible default, presumption, exception, safe harbor, election, permission, standard and discretionary powerText signalsUnless, except, except that, provided that, subject to, notwithstanding, despite, only if, to extent and without regard toPriority sourceExpress override, hierarchy, specificity, later enactment, temporal scope, jurisdiction, definitions and judicial interpretation; no invented universal orderingNonmonotonicityNew fact or higher-priority rule can retract a provisional conclusion while preserving prior trace and versionBurdenProduction, persuasion, presumption, evidence completeness and authorized finding affect whether exception predicate is establishedConflict statesBase applies, exception candidate, exception established, override candidate, unresolved conflict, no source, interpretation required and human decisionExplanationBase source, matched facts, defeating source, priority reason, changed result, remaining conditions, assumptions and counterfactual
highlighted = computed this step

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.

computational-law snapshot 2026−08−28\text{computational-law snapshot }2026-08-28

Begin with computational-law doctrine

Legal rules are often defeasible: a broad rule applies unless a more specific exception, safe harbor, election, override or contrary authority controls. Textual signals do not share one universal logic. Notwithstanding can establish priority but its exact scope matters; subject to can subordinate a clause; except and unless introduce predicates with burdens and temporal limits. Nonmonotonic systems must retract provisional outputs when new facts or superior authority arrives while retaining audit history. Priority cannot be invented from convenience.

source, semantics, trace, uncertainty, human judgment\text{source, semantics, trace, uncertainty, human judgment}

Enumerated review exceptions and standards

The review text supplies multiple standards, record scope and prejudicial-error coordination for priority-aware encoding. 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.

pinned coordinate: 5U.S.C.§706\text{pinned coordinate: }5 U.S.C. § 706

Broad rule with coordinated exclusions

The broad gross-income rule illustrates why separate statutory exclusions defeat inclusion only within their exact predicates. 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.

pinned coordinate: 26U.S.C.§61\text{pinned coordinate: }26 U.S.C. § 61

Pin the synthetic computational record

A synthetic default-logic packet stores a base inclusion rule, specific exclusion predicates, an express notwithstanding clause, a cap to which the override is subject, enactment and effective dates, hierarchy, specificity, burdens, evidence, provisional and revised results, conflict states, counterfactuals and reviewer decisions.

stated inputs and operations, not legal conclusions\text{stated inputs and operations, not legal conclusions}

Work the audited application

The broad rule first produces an inclusion candidate, not final taxability. The specific exclusion defeats it only when all predicates and temporal scope are established. The later notwithstanding clause outranks the identified base only within its defined emergency period and remains constrained by the clause to which it is expressly subject. Missing evidence leaves an exception candidate and unresolved output rather than defaulting for or against the person.

execute, explain, test, abstain, hand off\text{execute, explain, test, abstain, hand off}

Read the populated computational artifact

The defeasibility record contains base rule, strict rule, default, presumption, exception, safe harbor, election, unless, except, provided-that, subject-to, notwithstanding, override target, hierarchy, specificity, enactment, effective period, burden, evidence, predicate, provisional result, defeated result, revised result, conflict, priority reason, counterfactual, assumption, history, and reviewer. The artifact contains 16 populated rows.

rows=16\text{rows}=16

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.

Defeasibility and ExceptionsDefeasibility and ExceptionsSource, version, input, representation, rule or data operation, trace, uncertainty, test, reviewPinned sources and measurementsVerbatim text or bounded snapshot data5 U.S.C. § 706: Enumerated review exceptions and standardsThe review text supplies multiple standards, record scope and prejudicial-error coordination for priority-aware encoding.26 U.S.C. § 61: Broad rule with coordinated exclusionsThe broad gross-income rule illustrates why separate statutory exclusions defeat inclusion only within their exact predicates.Synthetic computational recordClassroom inputs and intermediate statesBase ruleNormally include a receipt in gross-income candidate set under broad source ruleExceptionSpecific exclusion applies if every predicate is proven for the same taxpayer, item, amount and tax yearOverrideLater provision says notwithstanding base rule for defined emergency period; another clause is subject to a separate capAudit traceSemantics, provenance, execution, evidence, limits and handoffRule typesStrict implication, defeasible default, presumption, exception, safe harbor, election, permission, standard and discretionary powerText signalsUnless, except, except that, provided that, subject to, notwithstanding, despite, only if, to extent and without regard toPriority sourceExpress override, hierarchy, specificity, later enactment, temporal scope, jurisdiction, definitions and judicial interpretation; no invented universal orderingNonmonotonicityNew fact or higher-priority rule can retract a provisional conclusion while preserving prior trace and versionBurdenProduction, persuasion, presumption, evidence completeness and authorized finding affect whether exception predicate is establishedConflict statesBase applies, exception candidate, exception established, override candidate, unresolved conflict, no source, interpretation required and human decisionExplanationBase source, matched facts, defeating source, priority reason, changed result, remaining conditions, assumptions and counterfactual

Narrow summary

Represent exceptions and priorities from exact text and authority, revise outputs nonmonotonically with full history, and abstain on unresolved conflicts or burdens.

trace, test, abstain, hand off\text{trace, test, abstain, hand off}