CLI verification overhaul: add `submission verify`, auto-verifier in measure; remove `validate`; aggregate robustness; Nix devshell improvements#20

Merged

Unisay merged 7 commits intomainfrom

Aug 18, 2025

Commits on Aug 18, 2025

fix(submission/aggregate): tolerate missing fields and respect PROJECT_ROOT in aggregation
Unisay
committed
feat(submission): add verify command, remove validate; improve measure auto-verifier; robust cape.sh exec fallback
Unisay
committed
chore(devshell): prefer repo-local cape.sh in nix dev shell wrapper; expose measure exe from haskell-nix attr
Unisay
committed
docs(scenarios): add scenario verifiers; update guides and schemas README; refresh copilot instructions
Unisay
committed
chore(measure): add cabal project and executables; fix index-state syntax; add GenerateVerifiers skeleton
Unisay
committed
chore: update generated reports and fixture timestamps
Unisay
committed
docs(relude): add guidance document for import style and mixins
Unisay
committed