foundation-schema

foundation-schema validates YAML manifests against defined schemas for LeanOS artifacts across spec, build, and verify directories. It checks objects.yaml, morphisms.yaml, effects.yaml, constraints.yaml, category.yaml, and wiring manifests to ensure correct field definitions, versioning, cross-references, and traces_to mappings for schema correctness.

foundation-schema defines schemas for directory artifacts (objects.yaml, morphisms.yaml, effects.yaml, constraints.yaml), build artifacts (category.yaml, effects.yaml, functors.yaml, transformations.yaml), and verify artifacts (proofs, laws-report, coverage-report) with enforced relationships and diagnostic traceability.

Yes. foundation-schema enforces versioning, field definitions, relationships, and traces_to mappings across artifacts/v{N}/ directories to support validation of outputs and enable debugging of schema issues through diagnostic traceability.

foundation-schema validates manifest structure, field definitions, versioning compliance, cross-references between artifacts, traces_to mappings, and relationship consistency across spec, build, verify, and gen artifacts within the artifacts/v{N}/ directory hierarchy.

Inspect artifacts/v{N}/ directory structure and apply foundation-schema validation to compare spec directory schemas against build output schemas, ensuring field definitions, relationships, and cross-references align across both artifact types.