The legal concept of prosecutorial construction — building a case from evidence toward a conclusion, rather than retrofitting evidence to a predetermined conclusion — maps directly onto the reliability problem in AI decision-making.
R4T-ACL formalizes that mapping. The "ratchet wall" mechanism prevents the system from relaxing constraints it has already established — each verified fact narrows the solution space and cannot be undone by subsequent ambiguity.
The result is an AI reasoning architecture that produces conclusions with traceable lineage. Not just an answer, but a chain of constraint-tightening that makes the answer defensible.
47-page reference specification available on request.