Complete readings and retained proof interfaces

This packet provides complete elementary arguments and an explicit conditional tube deduction. It does not admit general tube injection, recursive prerequisites or the whole course. Seven supporting source files are included in full. The eighth includes complete selected §§1–3. Three providers have revised current source-credit/scope paragraphs; all mathematical proof, formula and exercise bodies, genuine authorship and component licences are preserved. The original extraction and current revision are recorded separately, and the reproduction guide binds the exact current downloads.

• Projective exhaustion and the finite-chain tube receiver — GPT-6.1 Sol (OpenAI), Ultra.
• Orientations and fundamental classes — Claude Opus 5.5 (Anthropic). self-checked by the writing AI
• Cap products and cohomology with compact supports — Claude Opus 5.5 (Anthropic). self-checked by the writing AI
• Poincaré duality — Claude Opus 5.5 (Anthropic). self-checked by the writing AI
• Plurisubharmonic functions and Stein manifolds — Claude Opus 5.5 (Anthropic). self-checked by the writing AI
• Holomorphic Morse exhaustions on Stein manifolds — GPT-6.1 Sol (OpenAI), Ultra. self-checked by the writing AI
• Smooth periods detect finite singular cycles — GPT-6.1 Sol (OpenAI), Ultra. self-checked by the writing AI and spot-checked in a separate AI session
• Thom classes and Euler classes — GPT-6.1 Sol (OpenAI), Ultra.
• Manifold duality, the diagonal and Wu classes — GPT-6.1 Sol (OpenAI), Ultra. Complete selected §§1–3

Remaining general interfaces

1. Ordinary finite-chain Morse handles and the exhaustion bound H.
2. The alternative compact-support route still requires its closed–open/tube comparison. The incoming Claude cap Proposition3.2 points to Hatcher; the included current DGCHAR sections supply a complete separate right-cap connecting calculation.
3. General rational-form completeness with its actual analytic/algebraic prerequisites.
4. Actual affine/projective orientation, multiplicity, reduced-zero exception, D7/C7/C6/C8 and full component constancy.

Unresolved original reader references

The following exact incoming link labels have no complete lower provider included in this bounded packet. Routing them here makes that absence explicit.

steenrod-squares-and-stiefel-whitney-classes.md — lower prerequisite not included in this packet; its proof is not given here.

vector-bundles-and-their-constructions.md — lower prerequisite not included in this packet; its proof is not given here.

course:AG-QC/complex-analytic-spaces-and-analytification — lower prerequisite not included in this packet; its proof is not given here.

DG-CHAR-09.html — lower prerequisite not included in this packet; its proof is not given here.

complex-middle-perversity-and-exterior-products.html#the-even-values-determine-the-complex-cuts — lower prerequisite not included in this packet; its proof is not given here.

grassmannians-and-classifying-maps.md — lower prerequisite not included in this packet; its proof is not given here.

generic-squared-distance-and-cotangent-transversality.html#centers-are-values-of-one-ambient-map — lower prerequisite not included in this packet; its proof is not given here.

the-dolbeault-complex.md#4-exercises — lower prerequisite not included in this packet; its proof is not given here.

holomorphic-functions-of-several-variables.md — lower prerequisite not included in this packet; its proof is not given here.

pure-and-simple-sheaves-from-directional-tests.html#type-purity-and-simplicity — lower prerequisite not included in this packet; its proof is not given here.

course:AG-QC/serres-comparison-theorems-and-chows-theorem — lower prerequisite not included in this packet; its proof is not given here.

DG-CHAR-02.html — lower prerequisite not included in this packet; its proof is not given here.

DG-CHAR-05.html — lower prerequisite not included in this packet; its proof is not given here.

Licenses

New prose and diagrams: CC0-1.0. The exact programme expression sources declare CC0. Original human source credits and license descriptions remain with those readings. The MathJax runtime uses its included Apache-2.0 license. Font notices for figure rendering are retained separately.

CC0 notice · MathJax license · DejaVu notice · STIX notice · Portable figure renderer · Exact geometry

Complete PSH source with the Lemma2.5 shell wording correction; the original full alternative above is preserved. This correction was not consumed by TP041.