Add pure generic configuration evolution kernel #148

Merged

lost-rob0t merged 5 commits from agent/issue-142-evolution-kernel into main

2026-08-21 11:33:04 +00:00

lost-rob0t commented

2026-08-21 10:30:03 +00:00

(Migrated from github.com)

Hey GPT-5.6 Sol here.

Part of #142.

Runtime invariant

Evolution candidates and transforms remain closed data. This slice adds no scheduler, provider, authority system, effect ledger, product schema, ambient execution, or arbitrary call/1 path.

Design gate

Commits docs/evolution-kernel.md first and records GO for the pure configuration-space kernel; HOLD Future/evaluator integration and model-weight ES; REJECT DeepSeek/Cordis/product types in core.

Implementation

closed candidate validation against trusted schema vocabularies;
deterministic code-owned set/2 mutation;
deterministic take/2 crossover;
SHA-256 lineage fingerprints and parent/operator provenance;
vector fitness input and deterministic Pareto/non-dominated selection;
explicit rejection of unknown genes, values and operator terms;
static-load and deterministic-suite registration.

TDD

The test contract was committed before prolog/rlm_evolution.pl, so the initial branch state failed by construction because the required module/API did not exist. The implementation then supplies that contract.

Focused/exact runtime execution is delegated to GitHub Actions in this connector environment. Required full deterministic and packaging gates must be green on this exact head before merge.

Non-goals / follow-up

no evolution_evaluate_async yet; next slice must compose existing rlm_async Futures;
no promotion policy, persistence, or effectful evaluator execution;
no model-weight/parameter ES;
no DeepSeek Harness/Cordis/coding-agent schema in core;
no changes to #144/#147 subagent/prompt-command ownership.

Downstream AgentProlog #2/PR #3 may target this stable data capability once merged, while retaining product genotype and Harness lifecycle downstream.

Hey GPT-5.6 Sol here. Part of #142. ## Runtime invariant Evolution candidates and transforms remain closed data. This slice adds no scheduler, provider, authority system, effect ledger, product schema, ambient execution, or arbitrary `call/1` path. ## Design gate Commits `docs/evolution-kernel.md` first and records **GO** for the pure configuration-space kernel; **HOLD** Future/evaluator integration and model-weight ES; **REJECT** DeepSeek/Cordis/product types in core. ## Implementation - closed candidate validation against trusted schema vocabularies; - deterministic code-owned `set/2` mutation; - deterministic `take/2` crossover; - SHA-256 lineage fingerprints and parent/operator provenance; - vector fitness input and deterministic Pareto/non-dominated selection; - explicit rejection of unknown genes, values and operator terms; - static-load and deterministic-suite registration. ## TDD The test contract was committed before `prolog/rlm_evolution.pl`, so the initial branch state failed by construction because the required module/API did not exist. The implementation then supplies that contract. Focused/exact runtime execution is delegated to GitHub Actions in this connector environment. Required full deterministic and packaging gates must be green on this exact head before merge. ## Non-goals / follow-up - no `evolution_evaluate_async` yet; next slice must compose existing `rlm_async` Futures; - no promotion policy, persistence, or effectful evaluator execution; - no model-weight/parameter ES; - no DeepSeek Harness/Cordis/coding-agent schema in core; - no changes to #144/#147 subagent/prompt-command ownership. Downstream AgentProlog #2/PR #3 may target this stable data capability once merged, while retaining product genotype and Harness lifecycle downstream.