What problem does it solve? It converts a set of individually reviewed and accepted proof-step artifacts into a single self-contained, journal-style LaTeX paper bundle without introducing unreviewed lemmas or silently dropping derivations. ## Core Features & Use Cases - Coverage and dependency verification: Confirms every required sketch step has an accepted proof and review artifact, and that all step dependencies are closed before assembly. - Structured LaTeX generation: Produces intro, preliminaries, main theorem, proof sketch, and full-detail appendix files plus bibliography and style support files from a shared template. - Honest status reporting: Writes an assembly report marking the result COMPLETE or PARTIAL_BLOCKED with named blockers instead of overstating what is proved. - Use Case: After all proof steps of a machine-learning theorem candidate pass review, run this Skill to generate a compilable arXiv-style LaTeX bundle whose appendix preserves every accepted local derivation in full detail. ## Quick Start Assemble the accepted proof steps for perspective 1 idea 2 into the LaTeX template bundle and report the assembly status.
