Ghanem (arXiv:2609.18272) proposes that auditor independence be graded on 3 axes, principal, substrate and evidence, and aggregated by the minimum. This response applies that protocol to a deployed verification estate and reports the triple without rounding it up: principal 2, substrate unplaced, evidence 2. It supplies measured detection and a measured negative control where the protocol has simulated probabilities, from a published study of 2,940 evaluations across 60 cases and 4 fault families, with a detection floor published for each family and 0 false flags across 60 clean tracks. It proposes 1 addition to the evidence axis. That axis grades a record by the strongest adversary it survives, which is a grading of who could have altered it. A record can hold the highest grade and still mislead, because the observation behind it was incomplete and nothing in the record says so. Two measurements from the Fixity Register as at 12 October 2026, over 3,413 addresses and 4,734 observations, show the gap: 82 addresses excluded as partial reads, each carrying a correct and attestable digest of the beginning of a response, and 294 of the 298 web pages whose digest moved returned the same byte count as before. The proposal is a predicate on each load-bearing record, declaring whether the observation completed, the population it was drawn from, and what was excluded and why. It is a predicate and not a 4th grade, because a 4th grade would dilute the aggregation argument at Proposition 4.4. A shorter second observation concerns the substrate axis, which has no position for a deterministic verifier when that verifier is the auditor.
No takes yet. Share an insight, caveat, or question.
Joel Hillier (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: