Rejected — no longer in force and nothing replaced it — kept because a rejection is worth being able to point at.
1 of 121 decisions. Back to the full index.
| # | Title | Summary | Status |
|---|---|---|---|
| ADR-058 | Luria is a truth maintenance system, and should say so | Nobody could name the category, so every description reached for a new metaphor and none of them stuck. The category exists and is from 1979: a truth maintenance system maintains beliefs plus the justifications linking them, and retracting one propagates to everything that rested on it. That is the engine, exactly. What is ours is narrow and worth stating narrowly — the nodes are human prose, propagation halts at a finding instead of resolving itself, and acknowledgement is a first-class move. Rejected: claiming a new category, which costs us the prior art. | Rejected — the README opens on what the record does, not on what to call it; the prior art belongs in the concepts page instead |