Case 10: Narrow documentary language control

Self-authored synthetic review scenario, not a published software claim or customer assertion. The source material is public and pinned to fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb.

Proposed claim

A hypothetical record declares only binary-language class equality with the source machine/resource/acceptance model; every required documentary status is supplied for a completeness control.

Review the declared model and statuses against the source. Cases 09/10 deliberately supply synthetic statuses to test documentary completeness. Those statuses are not authenticated evidence or proven hypotheses. Other cases explicitly leave operational obligations unknown.

Source pointers

• lean/docs/103.md, SHA-256 21e0be3e46468655991435570d83521e12ab9c83ad76fa6f484c88edcbc0e139.
• lean/OAI/Computability/Logspace/Deterministic.lean, SHA-256 f51289517dc00b6f843e6f408f393c1bcac7d25e78eb162c0c629618875d252b.
• lean/OAI/Computability/Logspace/Equality.lean, SHA-256 4e04bb9a264ff32042267832d47423079a0d72b9880994b5e84957d672d5fbe9.
• preprints/Exact-Derandomization-of-Logarithmic-Space-L-equals-RL-equals-BPL-September-23-2026/build/sections/compiler.tex, SHA-256 c9edf110e23b522052f88b76e0f4dd586a153f566d32f0d4d2b704ab74537d95.

Pointers identify exact files, not a new complete-file reading, theorem proof or selected-run certificate. Determine the statement, hypotheses, formal coverage and missing model/implementation bridges from the source itself.

Review fields

Record preparation seconds, material gaps with exact evidence locations, unsure items, false alarms after adjudication and correction seconds in the blank result template. Do not open the report/key during the source-only arm. No expert has completed either arm.