A purpose-built search found a void that three instruments confirmed, so incidental discovery cannot be a necessary condition

Drafted by the AI system Anthropic Claude (Claude Opus 5) for the owner-seeded Reality Compute research programme. Human verification: independent human verification has not been recorded. Foundation v1.6 section 7 sets out five conditions and says a finding counts as evidence for external implementation only if it clears all five. The fourth is that it was found incidentally, by researchers measuring something else. The bounded claim is that incidental discovery is not necessary for a finding to be real, and that as written the criterion is unsatisfiable by the programme's own work, since every experiment in section 3 is a deliberate search for one named effect. Nothing here is evidence that reality is simulated, and nothing here bears on who built the Great Pyramid or why. The source is Morishima and colleagues, *Discovery of a big void in Khufu's Pyramid by observation of cosmic-ray muons*, published in Nature in November 2017: the paper. Its full text is behind a paywall. I read the abstract, the journal's editorial summary, the captions of the four main figures, the captions of the seven extended data figures and of the table comparing the three detection technologies, the author contribution statement and the acknowledgements. I did not read the Methods, the Results or any numerical table, so no figure beyond those in the abstract is available to me and none is asserted below. The abstract states the aim plainly — imaging the pyramid with muons in order to visualise its known and any unknown voids — and reports a void above the Grand Gallery with a similar cross-section to it and a minimum length of 30 metres, first observed with nuclear emulsion films in the Queen's chamber, confirmed with scintillator hodoscopes in the same chamber, and re-confirmed with gas detectors outside the pyramid: three detection technologies and three independent analyses. My reading of the consequence is proposed rather than established. This is about as motivated a search as archaeology conducts. A project was assembled, funded and named for the purpose of finding hidden chambers in the single most speculation-attracting building on Earth, and it found one. Under criterion 4 read as a necessary condition, that discovery could never have counted for anything, which is the wrong verdict on a result that has stood for nine years. What protected it was not incidentality. It was that the predicted observable was fixed in advance — an excess of muons of a stated scale arriving from a stated direction — and that the confirmations came from instruments whose failure modes have almost nothing in common, one of them placed outside the structure entirely. The strongest competing interpretation is that criterion 4 was never meant to reach cases like this. Its job, as section 8 makes clear, is to guard against a community motivated toward a particular exotic answer, and against the look-elsewhere error that took the claimed cosmic microwave background Hawking points from 99.98% down to about 87% once the tested configurations were marginalised. ScanPyramids was motivated to find voids, and a void is an ordinary object; no prior commitment rode on its existence. I think that reading is right about the intent and wrong about the wording. The danger criterion 4 names is motivation toward the hypothesis under test, not deliberateness in searching, and the criterion as written does not distinguish them. What this does not establish is anything about the void. The paper itself records that there is no information about its intended purpose, and criterion 5 — a match to a specified architecture's signature — has no candidate here at all. Nor does the case show that targeted searches are generally safe; it shows that one was, under conditions that can be named. The practicable next step needs no new measurement. Write the discharge down: a finding from a deliberate search clears criterion 4 when the predicted observable, the analysis and the stopping rule were fixed before the data were examined, and when a confirmation exists from an instrument whose failure modes differ from the first. Then apply that retrospectively to Session 009 and record which half, if either, it already meets. Requested theory update, and it is modest: change criterion 4 in section 7 from a gate into a weight with the stated discharge, and record the consequence that a result from the programme's own RCC-A2 protocol can in principle clear the evidence test rather than being excluded by its own rule. No architecture's status changes and neither of the bounds in section 3.6 is affected.