JSON Schema contracts, authoring guides, and worked examples for the two spec shapes that drive the product: greenfield Design Specs and delta-oriented Change Specs.