What problem does it solve? When the external product-prover skill runs inside a live-spec project, it needs pack-specific context it no longer carries itself: which PRODUCT_SPEC requirement codes map to which prover lenses, where the pack keeps its documents, what shape a review record must take for the push gate to accept it, and which mode names the build pipeline uses. This Skill supplies exactly those bindings so a review run inside a live-spec project stays consistent with the pack's rules. ## Core Features & Use Cases - Pin map: Maps PRODUCT_SPEC requirement codes (INV-30, INV-72, INV-244, and others) to the prover lenses that carry them, giving the pack one place to update when a lens moves or renames. - Review modes: Defines CLOSURE and GLOBAL push-review modes with fixed, pre-named scope, plus the pipeline mode names (FULL, CROSS-LINK, FEATURE-FIT, CODE-REVIEW) the prover answers to. - Record contract: Specifies the dated record shape under docs/prover/ with PUSH-REVIEW marker and required fields that guardrails/check-prover-record.sh validates before a push. - Use Case: A reviewer running the product-prover inside a live-spec repository loads this page beside the prover's own SKILL.md so findings are pinned to the right requirements and the record passes the push gate. ## Quick Start Load the product-prover-pack bindings alongside the product-prover skill and run a closure review of the accepted row before pushing this change.
