What was consulted

The Family 282 catalogue page establishes its attribution, source date, stated scope, and reported absence of a Lean note OpenAI282. The detailed source formulas and internal labels in this manuscript are attributed to the supplied dossier Dossier.

Cheung manuscripts are cited with identifiers and supplied versions. Where only excerpts or summaries are available, no independent verification of the entire manuscript is claimed. The Enter Calculus Companion describes itself as a searchable companion, not a proof checker CheungPortal.

Family 260, 265, 280, 290-02, 211, 362, and 376 are used only as the supplied documentary comparisons Dossier. Their models, backgrounds, equations, regulators, or theorem dependencies are not identified with this one.