Projectivization transfer is a conditional research computation lead
Family 065; scoped reading addendum, 9 October 2026 Australia/Brisbane. Source revision fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb.
Source finding
The October 5 introduction transfers all-genus ordinary Virasoro constraints from a smooth connected complex projective base to projectivization of an arbitrary algebraic vector bundle of rank at least two. The bundle need not split or be positive; the base need not have semisimple quantum cohomology. Actual integral curve classes, odd insertions and the first Hodge grading are specified.
Applicability boundary
The premise that the base satisfies the constraints remains necessary. Coefficientwise finiteness and ancestor bounds in the proof do not automatically give a triangular, initialized or efficient numerical recurrence engine. The earlier complete-intersection manuscript and proof details remain queued. There is no family formal-scope document.
Business decision
Defer a standalone product; inspect finite recurrence construction and an existing research computation before adding a dossier.
Exact sections read
These readings establish recorded source scope, not proof correctness. No independent Lean verification was run. Companion manuscripts and construction effectiveness remain separately tracked. See source metadata.