# Evidence-platform prototype report

Source revision `fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb`. This concrete offline report joins source fingerprints, static checker metadata, explicit withdrawal dependencies and one illustrative operational claim. It is not an independently checked proof or a completed ten-claim buyer pilot.

## Source and checker evidence

- 372 families and 719 unique manuscripts inventoried.
- 242 selected family-scope documents located; existence is not proof verification.
- 2933 source files fingerprinted in [manifest.json](manifest.json).
- 416 checker configurations scanned in the preserved preflight; no trusted checker executed.
- 2 configurations enable an external kernel: lean/ComparatorChallenges/ArtinParabolicIntersections.json, lean/ComparatorChallenges/TraceIdealTransportSupport.json.
- Independent proof verification: **not run**.

## Explicit corrections and dependencies

The preserved withdrawal scan found 3 proof-withdrawal notices and 2 explicitly named dependency edges. A withdrawn proof does not establish that its mathematical statement is false. Notice dates and the repository history heading differ and must remain separate.

- [Algebraicity of Kuga-Satake Correspondences for K3 Surfaces](https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Algebraicity-of-Kuga-Satake-Correspondences-for-K3-Surfaces-October-3-2026/README.md): notice says October 6, 2026; proof withdrawn.
- [Algebraicity of Weil classes on split abelian eightfolds](https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Algebraicity-of-Weil-classes-on-split-abelian-eightfolds-September-18-2026/README.md): notice says October 6, 2026; proof withdrawn.
- [The rational Hodge conjecture for products of K3 surfaces](https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/The-rational-Hodge-conjecture-for-products-of-K3-surfaces-October-4-2026/README.md): notice says October 6, 2026; proof withdrawn.

## Illustrative software claim

Claim `illustrative-sampled-eigenvalue-nonlinear-stability-claim` uses contract `325-complete-polynomial-numerical-range`. The linter reports 17 documentary gaps. [Full claim audit](claim-audit.json). Supplied references and statuses are unverified.

- **MODEL_SCOPE_MISMATCH**: The declared norm_model differs from the reviewed theorem model; a separate bridge is needed.
- **MODEL_SCOPE_MISMATCH**: The declared comparison_domain differs from the reviewed theorem model; a separate bridge is needed.
- **ADDITIONAL_RESULT_REQUIRED**: The reviewed statement does not supply the claimed use: eigenvalue_maximum_bounds_arbitrary_nonnormal_norm.
- **ADDITIONAL_RESULT_REQUIRED**: The reviewed statement does not supply the claimed use: sampled_boundary_max_is_rigorous_upper.
- **ADDITIONAL_RESULT_REQUIRED**: The reviewed statement does not supply the claimed use: finite_test_agreement_accepts_source_theorem.
- **ADDITIONAL_RESULT_REQUIRED**: The reviewed statement does not supply the claimed use: general_nonlinear_stability_from_polynomial_norm.
- **ADDITIONAL_RESULT_REQUIRED**: The reviewed statement does not supply the claimed use: production_speedup_from_sharper_constant.
- **OBLIGATION_UNKNOWN**: A material theorem or engineering obligation remains undocumented or unknown.
- **OBLIGATION_UNKNOWN**: A material theorem or engineering obligation remains undocumented or unknown.
- **OBLIGATION_UNKNOWN**: A material theorem or engineering obligation remains undocumented or unknown.
- **OBLIGATION_UNKNOWN**: A material theorem or engineering obligation remains undocumented or unknown.
- **OBLIGATION_UNKNOWN**: A material theorem or engineering obligation remains undocumented or unknown.
- **OBLIGATION_UNKNOWN**: A material theorem or engineering obligation remains undocumented or unknown.
- **OBLIGATION_UNKNOWN**: A material theorem or engineering obligation remains undocumented or unknown.
- **OBLIGATION_UNKNOWN**: A material theorem or engineering obligation remains undocumented or unknown.
- **OBLIGATION_UNKNOWN**: A material theorem or engineering obligation remains undocumented or unknown.
- **OBLIGATION_UNKNOWN**: A material theorem or engineering obligation remains undocumented or unknown.

The registry currently has 20 curated source/model contracts. Complete documentation is not mathematical applicability certification. The next implementation work is precise section/line source anchors and an independently executed proof-run adapter; the next business test is a measured expert workflow comparison.

## Preserved report inputs

All six research inputs, including the exact linter and bundle generator, are copied into [input-archive](input-archive). Their byte hashes and original paths are retained in the manifest. These snapshots remain inert reference material; no archived source or proof code is executed. Later tool edits do not replace this report's inputs.