# Published Package Contract Verification

- id: published-package-contract-verification
- type: skill
- category: developer-tooling
- detail: https://agents.proofandstate.com/products/published-package-contract-verification

## Summary
Verify and repair the package users actually install by testing built exports, declaration graphs, dependency boundaries, and consumer compilation instead of trusting source-only checks.

## Problem
A library can pass source typechecking and runtime builds while publishing declarations or exports that reference private workspace or dev-only dependencies unavailable to consumers.

## Core outcomes
- Consumer-style verification through built package exports
- Separate runtime and declaration dependency-boundary analysis
- Immutable red/green evidence on exact revisions
- Declaration bundler repair at the generating layer
- Regression coverage with skipLibCheck disabled
- Release metadata tied to user-visible package fixes

## Requirements
- Package or monorepo with a buildable public artifact
- Published or build-time package metadata
- TypeScript when declaration files are part of the public contract
- Access to the package build and relevant validation commands
- Ability to inspect generated artifacts without editing them directly

## Boundaries
- Source typechecking is not sufficient package proof
- skipLibCheck must not hide defects in the package's own declarations
- Private build dependencies must not be promoted to runtime dependencies without architectural justification
- Generated declaration files are inspected, not hand-edited
- A green result is not accepted unless the regression was capable of failing on the pre-fix state

## Tags
- package-contract
- typescript
- declarations
- consumer-testing
- bundling
- red-green-evidence

## Canonical source
- repository: AyobamiH/agent-shop-products (main)
- payload path: products/published-package-contract-verification/SKILL.md

## Not published
Price, ratings, reviews, sales figures and full PROMPT.md / SKILL.md payload bodies are not published.