Validate schema definitions for correctness
review-schemaskillsetup L2★0
giodl73-repo/PROOF ↗What it does
Review proof.toml schemas for correctness
Best for
When debugging proof.toml merge behavior or verifying schema correctness across a directory hierarchy.
Inputs
- · proof.toml file path
- · "cascade"
- · "maxim"
Outputs
- · syntax report
- · cascade trace
- · validity status
Failure modes
- · Cascade merge order misunderstood causing wrong effective config
Trust signals
- · Clear SIGNAL review methodology
- · Cascade correctness trace pattern