LINEAGE
Where this fits
Every part of this machine has ancestors in established traditions. This page names them, and points to where each idea does its work in the system.
Framing
This lineage was not a research path. The system took shape from practical work in decision systems, and the traditions below were found afterward, as an attempt to understand what had been built and where it sits among ideas that came before it.
Decision doctrine
Military decision-making is a discipline of structured judgment under uncertainty. Commander’s critical information requirements identify what the commander needs to know to make decisions: questions established to guide the search for evidence. The decision support matrix connects observable conditions to decision points and planned actions as an operation unfolds. The after-action review examines what happened, why, and what should change. ADS carries this discipline into computation: intent declared first, evidence requirements established in advance, conditions expressed in typed form, and each committed act preserved for subsequent reasoning. It runs through the whole machine.
WHERE IT LIVES - The whole machine, on the architecture page
Neural and symbolic
Language models generate reasoning in natural language. Databases and ontologies give information explicit, checkable structure. Connecting them lets a model draw on structured knowledge and write conclusions back, but does not by itself preserve the reasoning as something the system continues to operate on. SDI bridges them with a language, then builds a computer around it. The governed act becomes the machine’s state, in the same grammar later acts read and extend. The grammar section of the architecture page shows the bridge working.
WHERE IT LIVES - The grammar, on the architecture page
The processor
Vaswani and colleagues, Attention Is All You Need, 2017. The transformer architecture underlies the language models SDI uses to read and write ADS: natural-language reasoning coupled to typed expressions the gate can evaluate. The model supplies generativity. The surrounding machine supplies continuity and commit authority.
WHERE IT LIVES - The model, on the architecture page
The theory of meaning
Charles Sanders Peirce, the triadic sign: Sign, Object, Interpretant. Shannon’s information theory sets semantic meaning aside; Peirce gives interpretation an explicit place in the relation between a sign and what it signifies. In SDI, the DER serves as an interpretant: it expresses how evidence is understood in relation to a question, and the judgment that follows. That interpretation becomes a governed artifact, checked for protocol conformance before commit, sealed, and available for later reasoning to examine and extend. The claim concerns interpretation embodied in the record. The record section of the architecture page is where it lives.
WHERE IT LIVES - The record, on the architecture page
The control principle
W. Ross Ashby, the Law of Requisite Variety, 1956: effective regulation requires enough variety to address the disturbances that matter. SDI limits what its gate must regulate by requiring every proposed act to resolve into a defined, typed structure. The model supplies the interpretation; the gate computes whether the act meets the conditions for admission. Its authority covers that boundary. The gate section of the architecture page shows the arithmetic.
WHERE IT LIVES - The gate, on the architecture page
The revisable record
Jon Doyle, truth maintenance, 1979. Phan Minh Dung, argumentation acceptability, 1995. A reasoning system needs to retain the grounds for its conclusions and track what survives challenge. SDI gives those changes a permanent history: the original act remains, later acts examine it, and the graph derives its standing. What the machine reads next reflects what has held up.
WHERE IT LIVES - The argumentation graph, on the architecture page
The measurement tradition
Process-tracing in decision research: Payne, Bettman, and Johnson, The Adaptive Decision Maker, 1993. A decision process can be measured on its structure and effort, independent of whether its conclusion is correct. Jc applies that per reasoning act, and every score is sealed with the act and recomputable from it. Measuring cognitive work is not new; sealing the measurement into the record it measures is the addition. The metrics section of the standards page carries it.
WHERE IT LIVES - Metrics, on the verify page
The owned record
Intellectual capital, Edvinsson and Malone, 1997: accumulated knowledge is an asset, valuable for the work it embodies. Cryptographic record integrity, Haber and Stornetta, 1991: linked records make alterations to an established history detectable. SDI brings these traditions together in a reasoning record its operator can hold, carry, and independently verify. Conclusions remain attached to their evidence and derivation, so the accumulated work travels with a checkable account of how it developed. The record section of the architecture page, and the transparency page, are where it lives.
WHERE IT LIVES - The record and the transparency page
Each entry above ends where the idea does its work, because that is the test of a lineage claim: not whether the ancestor is named, but whether the mechanism honors it. The machine is on the architecture page. The proof is on verify.