Result

The simulation yields 64 non-uncertain results out of 72 and 8 uncertain states. It avoids false favourable outcomes, but retains three false negatives and turns disagreements into abstentions.

Trade-off

Average simulated cost is below Sonnet alone because verification is conditional. However, the P90 workflow reserve can be higher and pedagogical signal worsened.

What remains useful

Disagreement carries information: it signals a case where LearnX should abstain. But models should no longer be the authority assigning final levels.