AiNOS
§R01 · RESEARCH

Research program · AiNOS

Research for accountable AI.

We publish the definitions, architectures, and evidence behind AiNOS — starting with what it means for a single high-stakes AI decision to be auditable.

Papers01FieldExplainable AIVenueACM FAccTPartnerU of T
FIG. R01 — PAPER SPECIMEN: A CONSEQUENTIAL AI DECISION IS EXPLAINABLE WHEN ITS SOURCE-TO-DECISION RECORD IS RECONSTRUCTABLE, CONTESTABLE, GOVERNABLE, AND BOUNDED · REQUIRED PROPERTY
§R02 · PAPERS

Published work.

Conceptual definitions and architectures from the AiNOS research program. Each paper is open to read in full.

Paper 01 · Conceptual definition

Preprint · 2026

Auditable Decision Intelligence: A Decision-Centered Definition of Explainable AI for High-Stakes Decisions

A consequential AI decision is explainable when a qualified reviewer can externally reconstruct and contest its source-to-decision record — reconstructable, contestable, governable, and bounded.

In high-stakes AI, explainability is usually treated as the presence of an explanation artifact. We redefine it as an institutional property of a single consequential decision: the ability to reconstruct, contest, govern, and bound its source-to-decision record. The paper specifies the Decision Audit Contract (DAC) — the minimal record that makes one decision auditable — and shows the definition is a genuine contribution, not a relabeling of existing transparency work.

Reconstructable

The decision can be replayed from its recorded source-to-decision path.

Contestable

A reviewer can pinpoint the exact fact, rule, or judgment to challenge.

Governable

The record shows where the system may reason freely and where approval is required.

Bounded

Claims stay inside covered sources, valid context, and stated limits.

Falsifiable test

A system fully compliant with Kroll's accountable algorithms, Cobbe's reviewable automated decision-making, the EU AI Act (Art. 12 & 14), and NIST IR 8312 can still fail ADI — because none guarantees a per-decision source → claim → boundary link.

FieldExplainable AI / FAccTVenuePrepared for ACM FAccTTypeConceptual definitionLength16 pages

More work is in progress across the decision-intelligence program — context benchmarks, the ontology-driven architecture, and the ontology context compiler. Talk to the team →