Skip to content

feat: add proof-carrying evolution - #1

Merged
EvanProgramming merged 1 commit into
mainfrom
codex/proof-carrying-evolution
Aug 31, 2026
Merged

EvanProgramming merged 1 commit into
mainfrom
codex/proof-carrying-evolution

Conversation

@EvanProgramming

Copy link
Copy Markdown
Owner

Summary

  • require non-regressing paired shadow replay before learned-artifact promotion
  • expose evidence cards, applicability envelopes, revalidation state, and task-family metrics
  • downgrade environment-mismatched guidance and turn corrections into regression cases

Security

  • replay endpoint records paired sandbox results and never executes commands
  • learned artifacts still cannot grant permissions, create dynamic tools, contain secrets, or modify external skills

Validation

  • make check
  • KYROZEN_DB_PATH=/state.sqlite3 make test (35 tests)
  • API learning smoke
  • benchmark unittest replay
  • git diff --check

@EvanProgramming
EvanProgramming merged commit b8607a8 into main Aug 31, 2026
2 checks passed
@EvanProgramming
EvanProgramming deleted the codex/proof-carrying-evolution branch August 31, 2026 13:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant