Separate functions examine the same hypothesis from different positions.
Describe the case
Identify the conclusion to review or the control to test, the context and the decision you need to make.
Agree the work
Run the agreed process
Examine the outcome and its limits
What happens when the functions do not coincide
When the functions do not coincide, the process can stop or state the limits of the outcome. Divergence signals record that disagreement existed; they do not preserve the content of a dissenting view. The record states evidence, limits and stop conditions so a human reviewer can inspect it. It is not proof of auditor acceptance.
Where the four functions are described
The four required functions are named on Home. They are not restated as a second architecture map here.
What the Blind Validator examines
The Blind Validator receives the original case and the candidate conclusion, not the debate that prepared it. It is not shown that every other signal is kept out, or that the whole barrier after synthesis is verified.
When the path stops.
The Home Quadriga section explains when the Review stops incomplete and when the process may refuse an unsupported conclusion. It is not restated here.
See the methodology in action
When Review produces a record, you can inspect its limits and stop conditions. A record is not guaranteed after every stop.
Models are updated automatically. We do not publish specific versions. The architecture (roles, blind validation) is stable; the specific models that fill each role evolve as better options become available.