Exact growth of maximal induced matchings in trees

This preprint presents the exact exponential growth rate of maximal induced matchings in trees. It gives an explicit algebraic constant beta, a complete computer-assisted upper certificate with 72 generators, and an explicit lower construction attributed to Rosenfeld. The package includes the theorem, proof and generator register, construction data, exact Python verifiers, reproduction instructions, and fresh verification evidence. The result concerns maximal induced matchings in trees only; the certificate and lower construction are documented with their precise scope. This is a preprint and has not undergone peer review. AI assistance is disclosed in AI_USE.md. CC BY 4.0 applies to the manuscript, documentation, mathematical descriptions, and research data; MIT applies to code and verification scripts, according to LICENSE.md. GitHub repository: https://github.com/gkamal666/maximal-induced-matchings-trees GitHub release v1.0.0: https://github.com/gkamal666/maximal-induced-matchings-trees/releases/tag/v1.0.0