Case 01: Finite noisy joint boundary reconstruction

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 finite noisy same-patch measurement app is guaranteed to reconstruct both metric and connection by the selected formalization.

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/365.md, SHA-256 6f0cf7314968e12c2ad323d6f4a91fb5ae7a1f545a6c78043527d130f546c4e2.
• preprints/Determination-of-a-metric-and-a-unitary-connection-from-one-boundary-patch-October-5-2026/paper.pdf, SHA-256 8e1bdd3a9067234842406dba45efc9e8efae5be0cd72a6c09f6dceee8793badb.

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.