Limits of Computability
Limits of Computability
Rules and standards, open texture, discretion, evidence, credibility, institutional competence, procedural justice, values, equity, changing law, data limits, automation bias, contestability, and human authority.
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
Computability is a substantive legal design question, not a disclaimer appended after automation. Crisp predicates and arithmetic may be executable under stated facts and sources. Standards, discretion, evidence, credibility, institutional competence, procedural posture, equity, remedies and value conflicts often resist complete formalization. Even rule-like text depends on definitions, facts, exceptions and changing authority. Automation can alter behavior and burdens at scale. Systems must identify what they do not represent, preserve participation and contestability, and reserve authorized judgment to institutions and humans.
Standards and institutional judgment
The provision's arbitrary-capricious, substantial-evidence, whole-record, prejudice and remedy structure demonstrates legal work beyond threshold calculation. 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.
Broad rule and context
The broad income definition demonstrates that even apparently enumerated rules depend on realization, exclusions, attribution, timing, evidence and interpretation. 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 limits assessment compares a complete threshold case with a contested standards case, recording computable fields, open-textured terms, evidence and credibility gaps, authority conflicts, procedural rights, affected groups, proxies, uncertainty, automation impacts, explanation, contestability, override, appeal, responsibility and proposed human boundary.
Work the audited application
The crisp threshold can be computed on complete stipulated inputs, but the system still cannot establish real facts or eligibility. The standards case cannot be converted to weighted proxies without changing the doctrine and process. A high confidence estimate does not authorize denial. The design keeps notice, evidence submission, human reasons, correction and appeal, and measures whether automation shifts errors or burdens across groups.
Read the populated computational artifact
The limits record contains legal task, crisp predicate, arithmetic, standard, discretion, evidence, dispute, credibility, authority conflict, jurisdiction, posture, institution, remedy, equity, value, affected person, notice, participation, accessibility, privacy, contestability, proxy, bias, uncertainty, confidence, automation effect, drift, gaming, chilling effect, responsibility, human boundary, override, appeal, 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: Standards and institutional judgment: The provision's arbitrary-capricious, substantial-evidence, whole-record, prejudice and remedy structure demonstrates legal work beyond threshold calculation.. 26 U.S.C. § 61: Broad rule and context: The broad income definition demonstrates that even apparently enumerated rules depend on realization, exclusions, attribution, timing, evidence and interpretation.. Synthetic computational record: Classroom inputs and intermediate states. Easy case: Complete typed facts satisfy a crisp age threshold with no exception or conflict. Hard case: Reasonableness, best interest, undue hardship, credibility, intent, substantial evidence, equity and remedy depend on contested records and institutions. System pressure: Organization proposes automatic denial because model confidence is high and human queue is costly. Audit trace: Semantics, provenance, execution, evidence, limits and handoff. Computable core: Arithmetic, dates, enumerated predicates, table lookup, consistency, completeness, version comparison and document generation under stated semantics. Open texture: Reasonable, substantial, undue, material, good faith, best interest, public interest and similar standards require contextual interpretation. Fact limits: Missing, disputed, strategic, inaccessible, qualitative, credibility-dependent, future, private and institutionally produced evidence. Authority limits: Conflicting sources, jurisdiction, retroactivity, unsettled doctrine, discretion, waiver, equity, remedy, institutional power and procedural posture. Value and process: Dignity, voice, notice, participation, explanation, bias, burden distribution, accessibility, privacy, contestability and appeal. Automation hazards: False precision, automation bias, feedback, proxy discrimination, selective measurement, scale, drift, gaming, chilling effects and responsibility gaps. Human boundary: Authorized decision, factfinding, credibility, discretion, exception, remedy, policy choice, override and appeal remain accountable human and institutional acts.
Narrow summary
Treat computability limits as doctrine and institutional design, formalize only what sources and facts support, preserve voice and contestability, and keep accountable judgment human.