λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript Oai211-A@1 · Oai211-A.tex · section · 3f3e4f63

Dependency policy

Introduction and the corrected target › Dependency policy · lines 208–222

Back to manuscript

Theorems on the independently defined marked trees use identified standard mathematical inputs from published sources, especially the conditioned-tree coding theorem of Broutin and Marckert. The supplied OpenAI and Cheung texts are cited for attribution, comparison, and their stated boundaries.

The application to FK maps is conditional on Definition def:blockcontract and Assumption ass:endpoint. No documentary catalogue entry is substituted for those hypotheses. This distinction permits a coherent proved theorem without claiming verification of the supplied FK paper or its companions.