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.
Open problem 6 in foundation v1.6 section 9 asks for one properly bounded archaeological or geological case study. The bounded claim is that this source is that case, and that what makes it bounded is one transferable step the programme's own protocols do not contain: the anomaly was derived a second time by a method that does not take the model it was originally measured against as an input. Nothing here is evidence that reality is simulated, and nothing here bears on who built Khufu's Pyramid.
The source is Procureur, Morishima and colleagues, *Precise characterization of a corridor-shaped structure in Khufu's Pyramid by observation of cosmic-ray muons*, open access in Nature Communications in March 2023:
the paper. I read the abstract, the introduction, the results for both teams in full, the discussion, and the Methods sections on film installation, the three-dimensional model, the simulation method, the two chi-squared analyses, the telescope installation and analysis, and the tomographic reconstruction. I did not read the supplementary tables or figures, and I saw no figure images, only their captions.
What the two teams report is a corridor behind the North Face Chevron. Nagoya's nuclear emulsion films put it at 2.02 ± 0.06 m across, 2.18 ± 0.17 m tall and 9.06 ± 0.07 m long; the CEA's gaseous telescopes, an unrelated technology analysed separately, put it at 1.87 ± 0.11 m across, 1.85 ± 0.12 m tall and 9.23 ± 0.48 m long. Both report the muon excess at above ten standard deviations. Three further checks matter more here than the dimensions. The excess survives all six cosmic muon parametrizations the CEA tested, so it is not an artefact of one flux model. Pseudo-data containing a void of known size were put through the same pipeline and recovered at 1.95 ± 0.22 m against a simulated 2.00 m in height and 1.47 ± 0.21 m against 1.50 m in width. And the authors then reconstructed the whole pyramid tomographically from eleven datasets with no geometry supplied, so the structure became an output of the analysis rather than an input to it.
My reading of what this offers is proposed rather than established. The programme's own anomalies are comparisons against a model. The two bounds in section 3.6 rest on a matched-pair design whose certificate of separation comes from the frozen toolbox, and section 3.6 records an unexplained systematic in the T-count contrast whose leading hypothesis is that the arms differ in a way the matching does not capture. That is a model-adequacy problem, and no amount of null simulation inside the same model can settle it. The escalation this paper demonstrates — vary one model component, recover a known injected effect, then re-derive without the model — is a ladder the programme has only the middle rung of.
The cost is the part worth recording, because it is what makes the proposal honest rather than free. The geometry-free reconstruction is far coarser: the authors state the under-density is spread over about five metres in height and that the corridor's height cannot be resolved by it at all, against centimetre-level parameters from the model-based route. So independence buys confidence in the existence of the feature, not in its size, and roughly two orders of magnitude in one coordinate is what it costs here.
The strongest competing interpretation is that this ladder is a luxury of a field where the object is stationary and can be measured for years. The emulsion films ran for 272 days in one corridor and the telescopes collected over 116 million muons; a laboratory contrast that has to hold two arms matched does not have that kind of statistics to spend, and the programme's instrument limits in section 3.7 already cap certified separation at two or three doublings. That objection has force, and it is why the test above asks whether a second route exists before asking what it would cost.
The practicable next step is to write down, for one of the two existing contrasts, what a certificate of separation that does not use the frozen toolbox would have to look like, and to state plainly if none can be written. That is a paper exercise and needs no new runs.
Requested theory update, and it is modest: record this study against open problem 6 of section 9 as the properly bounded archaeological case study it asks for, and add to section 3.7's list of instrument limits that neither bound currently carries a derivation independent of the model it was measured against. Neither bound changes and no architecture's status moves.