Skip to content

Close Directed Evolution proof gaps#288

Draft
rita-aga wants to merge 3 commits into
mainfrom
codex/directed-evolution-gap-closure
Draft

Close Directed Evolution proof gaps#288
rita-aga wants to merge 3 commits into
mainfrom
codex/directed-evolution-gap-closure

Conversation

@rita-aga
Copy link
Copy Markdown
Collaborator

Summary\n- Add Directed Evolution proof entities and CSDL/spec fields for semantic protocols, simulated-user plans, selection protocols, diffs, evidence summaries, and metric provenance.\n- Route worker outputs through declared actions/reactions while preserving clean boundaries: simulated users observe, evaluators pass/fail, selector marks losing survivors NotSelected, promoter records lineage.\n- Emit OData runtime-request telemetry tagged by Directed Evolution episode/variant/tenant so Datadog can judge telemetry gates.\n- Add ADR-0124 documenting the proof telemetry and diff architecture.\n\n## Proof\n- Published Directed Evolution app ref used for the final proof: nerdsane/directed-evolution@997771a3bb8f4598dc172f16164ac37bb3e24dc1\n- Fresh proof tenant completed: de-control-agent-answers-gap-closure-final-20260528235049\n- Promotion: en-019e71f0-82a5-7302-aac3-16fe814224ab\n\n## Verification\n- cargo fmt --manifest-path os-apps/directed-evolution/wasm/work_item_result_router/Cargo.toml --all -- --check\n- cargo test --manifest-path os-apps/directed-evolution/wasm/work_item_result_router/Cargo.toml\n- ./os-apps/directed-evolution/wasm/build.sh\n- cargo test -p temper-server runtime_metrics -- --nocapture (compiled cleanly; no matching tests)

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