What problem does it solve? Converting an Excel workbook into a gaspatchio model produces claims — the values were read losslessly, the formulas were translated correctly, the recursion reproduces the source — and without structure those claims are unverifiable. This Skill enforces a three-proof discipline so every conversion claim carries its own executable proof and any numeric discrepancy localises to exactly one stage. ## Core Features & Use Cases - Reader trust-boundary validation: Verifies fastexcel/calamine output against raw sheet XML <v> values, catching silent float truncation caused by String dtype inference. - Three-proof reconciliation structure: Separates reader verification, formula re-evaluation from cached precedents, and full-grid model reconciliation so residuals have exactly one cause. - Faithful-quirk reproduction: Reproduces VLOOKUP clamping, notional post-lapse charges, and rounding placement exactly as the source workbook behaves, flagging each quirk for the owner. - Use Case: An actuary must migrate a universal life pricing workbook to gaspatchio for regulatory audit. The Skill guides extraction via xl-marinade, reads assumptions through defined names, and delivers a model plus three self-reporting proof scripts and a reconciliation report. ## Quick Start Convert the attached UL pricing workbook into a gaspatchio model with full reader, formula, and full-grid reconciliation proofs.
