Evidence

../

verify/: Separate whole-statement reports and grades for the vertex-count construction, linear-intersection theorem and their exact problem formulations.

---

The linear-intersection examination preserves its exact target and argument, full derivations, finite diagnostic examples, and separately graded conclusions. Reproduction requires checking those arguments and explicit sets; no cached output or private computational input supports the result.

The separate vertex-count examination retains the all-orders construction, its negative first-question consequences, and an independently accepted grade. Its finite symbolic argument needs no executable evidence. Each examination has its own exact subject and scope; neither certifies an external Lean development.