Skip to content

Veriloop 0.12.1

Choose a tag to compare

@bgun42 bgun42 released this 19 Oct 00:31
· 11 commits to main since this release

Improvements

  • Group related findings into bounded root-cause repairs and verify preserved normal behavior.
  • Resolve loop vs standalone output/persistence responsibilities: workers return structured results; controller owns loop records.
  • Keep review histories and worker artifacts out of strict reviewer/gate reads, searches and diffs.
  • Reduce redundant checks and document rewrites while retaining independent controller checks, full final acceptance and required device verification before gate.
  • Require a changed approach for user-authorized follow-up runs after no progress; preserve the three-iteration cap.
  • Add a dependency-free Python worker-result validation CLI and regression tests.
  • Document the improvements and CLI usage in English and Korean README files.

Verification

  • Existing contract suite: 3 traces, authorized reduced-mode transition, worker exits, adversarial guards, worker schema/semantics and JSON fallback checks passed.
  • Runtime CLI: 2 valid cases passed; 9 invalid cases rejected.
  • Manifest JSON and skill metadata checks, git diff whitespace check passed.

Exact role models/efforts, fresh independent strict reviewers and gates, snapshot invalidation and required acceptance checks remain enforced. Python CLI requires Python 3.10+.