# 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](input.json) 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](https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/lean/docs/103.md), SHA-256 `21e0be3e46468655991435570d83521e12ab9c83ad76fa6f484c88edcbc0e139`.
- [lean/OAI/Computability/Logspace/Deterministic.lean](https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/lean/OAI/Computability/Logspace/Deterministic.lean), SHA-256 `f51289517dc00b6f843e6f408f393c1bcac7d25e78eb162c0c629618875d252b`.
- [lean/OAI/Computability/Logspace/Equality.lean](https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/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](https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/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](../review-results-template.json). Do not open the report/key during the source-only arm. No expert has completed either arm.