Can validator consensus guarantee both agreement and semantic correctness?

The discussion section of the Honest Quorum paper (2607.16109) makes an honesty move that is easy to skim past: its threshold theorems (Section 6) "mix deterministic protocol assumptions with statistical semantic assumptions." They are two different kinds of guarantee sitting in one result, and the paper insists on keeping them apart.

| Property | Kind of guarantee | What it rests on | |---|---|---| | Agreement | Deterministic | Authenticated channels, partial synchrony, and only Byzantine validators equivocating; then two conflicting q-certificates cannot both form when the intersection condition holds | | Semantic certificate validity | Statistical | Event Eδ: protocol-compliant false endorsement of invalid candidates is bounded by eδ | | Liveness | Statistical | Event Uε: unusable support for a valid candidate is bounded by uε |

The top row has the shape of the classical BFT agreement argument: quorum intersection rules out two conflicting certificates. The bottom two are where the reasoners enter. Both are conditional statements: if the event holds, the property follows. And the events are assumptions about how the validators behave on the workload, not something the protocol can enforce. The protocol can force every message to be signed and counted; it cannot force a validator's judgment of a transition to be right.

Two things follow. First, the error runs in two directions. Eδ bounds a validator wrongly endorsing an invalid candidate, which is the Honest Quorum failure itself (Can a quorum of honest validators certify an invalid transition?). Uε bounds the opposite, a valid candidate failing to gather usable support, so that a correct change stalls. The excerpt does not define "unusable support", so this note does not say whether it means abstention, disagreement or something else. Second, the paper draws the conclusion plainly: its statistical claims "do not turn semantic correctness into a deterministic property of consensus." Consensus machinery can make agreement as certain as the protocol theory allows. It cannot lend that certainty to the answer.

For a reader building on agentic validators, the split is a checklist. For each property you are claiming, ask which column it is in. If someone reports that a panel of AI reviewers "reached consensus," that is a top-row fact. If they conclude the change is safe, they are relying on a bottom-row assumption, and it needs a stated bound and a stated scope (What scope should a validator's statistical guarantee actually state?).

The vault already holds the move that goes the other way. Can we automatically generate formal verifiers from policy text? shows one route for pulling a semantic property out of the statistical column: write the application invariant down as a checkable rule and let a deterministic verifier decide. That connection is this note's inference, not the paper's, and it carries the same caution the verifier note states about itself: the guarantee covers the checker, not the translation from prose policy into the checker.

Two other vault results hold the containment side of the same problem, and pairing them with this note is again a reading of mine, since neither source addresses quorums. Can memory poisoning compromise decision-making even with authorization layers? keeps a wrong approval from executing by putting authorization outside the reviewing agent's judgment. It does not make the reviewer right, and its own limits carry over (one pipeline, attacks that may not reach the authorization layer). Can deterministic checks protect LLM judges from failure? orders checks that cannot be argued with ahead of ones that can, and measures a judge's correctness on a partition its proposer cannot see. Both bound what a wrong verdict can do, which is a different move from taking the property out of the statistical column.

What the excerpt does not give. The theorem statements, the value of q, the form of the intersection condition, and any values of eδ and uε. Only the structure of the guarantees is in the excerpt.