zanii-evolve 0.2.0

Zanii Evolve improves an LLM agent by editing its harness (the prompts, control flow, tools, skills and memory around a frozen model), and only keeps the edits that survive a regularized search. A gain has to clear the measurement noise, pay for any extra tokens it costs, and pass a leakage screen before it becomes the new baseline. The result is an agent that gets better on work it has not seen, not one that memorized its test set.

Every accepted change is a git commit with a stated hypothesis and a measured effect. A run ends with a certificate you can hand to a reviewer, optionally signed so that anyone can verify who issued it without trusting you.

Maintained by zaniiai agency.

---

Contents

• Why
• Install
• Quickstart
• Bring your own tasks
• Certificates, signing and the registry
• Memory
• Dashboard and HTTP API
• Configuration
• Command reference
• Project layout
• Acknowledgements
• License

Why

Searching over harness edits against a fixed task set works, and it overfits: the harness learns the tasks, and the in-distribution gain shrinks or vanishes on anything new. Zanii Evolve keeps the edit space open and constrains how the search moves instead.

On the proposal side

• An annealed edit budget limits how many independent changes one candidate may bundle, so late gains are attributable.
• The proposer sees the full edit history, so a hypothesis that already failed is not tried again.
• When progress stalls, slots are reserved for components the run has never touched.

On the selection side

• A critic screens every diff for task-specific logic before any evaluation is spent on it.
• A noise-adjusted floor rejects gains that sit inside evaluation variance.
• The round's winner is measured again on fresh trials before it is accepted. The best of several noisy measurements is biased upward (the winner's curse), so only the fresh, unbiased measurement decides, and it becomes the incumbent's score. A winner that does not hold up is recorded UNCONFIRMED.
• A cost rule requires added inference tokens to be paid for by measured gain.
• Components that stop contributing are flagged for pruning.

Each rule maps to one place in the code:

Rule	Code
Score and cost estimate	zanii_evolve/evaluate.py (aggregate; a missing trial scores 0 with the full denominator)
Annealed edit budget	zanii_evolve/schedule.py (edit_budget), enforced in propose.py
Edit history, tried set, recent yield, stall flag	zanii_evolve/history.py
Failure analysis	zanii_evolve/analyst.py, digester.py
Leakage critic	zanii_evolve/critic.py (domain denylist plus LLM review, bounded repair)
Noise floor, cost rule, score or cost objective	zanii_evolve/selection.py
Noise band calibration	zanii_evolve/calibrate.py (bootstrap over base trials, or repeated base runs)
Confirmation run (winner's curse)	selection.confirm, run by Run._confirm in loop.py (confirm_k, default k; 0 is off)
Judge gate	zanii_evolve/judgecal.py (gate, record; min_judge_kappa)
Non-compensatory domain guards	Domain.guards (for example a valid-rate drop in engineering design)

Install

pip install zanii-evolve                   # search core, providers, certificates, brief engine
pip install "zanii-evolve[provable]"       # + signed certificate receipts (zanii)
pip install "zanii-evolve[memory]"         # + ZaniiDB memory backend (Python 3.11+)

The command line, the bundled domains and the starting harnesses live in the repository. To run evolutions, clone it:

git clone https://github.com/vigilancetrent/zanii-evolve.git
cd zanii-evolve
pip install -e ".[dev]"
python -m pytest tests

Requires Python 3.10 or newer. Benchmark runners keep their own environments: harbor for the coding domain, and a Python 3.11 environment with pip install -e ".[agentic]" for the workspace and engineering domains, pointed to by ZANII_EVOLVE_AGENT_PYTHON.

Quickstart

Pick a model provider. The model string names it:

Model string	Backend	Credentials
anthropic/<model>	Anthropic API	ANTHROPIC_API_KEY
vertex/<model>	Vertex AI, round-robin over projects	gcloud auth application-default login, ZANII_EVOLVE_VERTEX_PROJECTS
openai/<model>	Any OpenAI-compatible endpoint (OpenAI, LiteLLM, vLLM)	ZANII_EVOLVE_OPENAI_BASE_URL, ZANII_EVOLVE_OPENAI_API_KEY
ollama/<model>	A local Ollama server, for on-prem and air-gapped use	ZANII_EVOLVE_OLLAMA_BASE_URL (no key is ever sent)

Custom backends register with ZANII_EVOLVE_PROVIDERS="name=module:Class".

Every domain then follows the same lifecycle:

python zanii_evolve.py --domain marketing smoke       # liveness check on a couple of tasks
python zanii_evolve.py --domain marketing baseline    # measure the starting harness H0
python zanii_evolve.py --domain marketing run         # evolve; resumable, `touch runs/marketing/STOP` to stop
python zanii_evolve.py --domain marketing status      # incumbent against H0
python zanii_evolve.py --domain marketing heldout --label final   # held-out split, never used for selection

Each round drafts candidates in separate git worktrees on branches off evolve/<domain>, screens and evaluates them, and fast-forwards the branch to the winner, so the current best harness is always a commit.

Bundled domains

Domain	Evolve set	Out-of-distribution checks	Notes
coding	Terminal-Bench 2.1	SWE-bench Verified	Docker and harbor
workspace	Harvey LAB	JobBench, GDPval, APEX-Agents	Harvey LAB checkout at a pinned commit
eng	EngDesign	EngDesign v1, Frontier-Eng	grading venv, jailed tool gateway
marketing	48 briefs, 8 fictional clients	held-out split	brief domain, no adapter code
memory	40 multi-session histories	held-out split	exercises ZaniiDB recall and supersede

Results are reported per domain for the evolve, held-out and out-of-distribution splits, always against H0 measured in the same window with the same frozen model. Published numbers will ship with signed certificates.

Bring your own tasks

Any work that is "a brief in, a text deliverable out, graded by checks and a rubric" needs no adapter code.

python zanii_evolve.py --domain acme init-domain                    # scaffold domains/acme
python zanii_evolve.py --domain acme import-tasks briefs.csv --replace
python zanii_evolve.py --domain acme redteam --n 10                 # prompt-injection split
python zanii_evolve.py --domain acme ingest-traces prod.jsonl --rubric "Answers the question|No made-up facts"

A spreadsheet needs one column, brief. Optional columns are id, split, kind, must_include and must_not_include (|-separated), max_words, min_words, max_chars, and rubric (|-separated pass/fail criteria). Any other column (client, audience, ...) reaches the harness as context. Rows without a split get a seeded evolve/held-out draw, and the whole file is validated before anything is written.

The underlying task format is one JSON object per line:

{"id": "acme-001", "split": "evolve", "kind": "promotional email", "brief": "...",
 "checks": [{"type": "max_words", "value": 150}, {"type": "must_include", "values": ["Book now"]}],
 "rubric": [{"criterion": "Matches the brand voice.", "weight": 1}]}

Checks: max_words, min_words, max_chars, must_include, must_include_any, must_not_include, regex, regex_count, field_max_chars. Rubric criteria are judged pass/fail by judge_model. Checks, rubric and expected answers never reach the harness, and grading runs outside the candidate's editable tree, so a candidate cannot edit its own judge.

Production traces. ingest-traces accepts records with input, prompt or an OpenTelemetry gen_ai.prompt attribute. Records with negative feedback come first, duplicates are dropped, emails, phone numbers and card-like numbers are redacted, and re-running on the same file adds nothing. Production outputs are never copied into a task.

From a Zanii Blackbox gateway. If your agents run behind Zanii Blackbox, mint tasks straight from one agent's recorded runs:

BLACKBOX_API_KEY=... python zanii_evolve.py --domain acme ingest-blackbox \
    --url https://blackbox.example.com --label refunds --rubric "Answers the question"

It reads the label's newest closed runs (--limit runs read, at most 1,000; a run whose model calls carry no user text gives no task) through Blackbox's API with the admin key, because it reads request bodies, eight at a time. The user's ask in each run's first model request becomes the brief, redacted again here after the gateway's own redaction. What Blackbox found the agent itself doing wrong in that run (a success the record contradicts, an unsupported fact, a secret sent out; by the finding's family in the gateway's catalogue, not its bookkeeping such as a silent SDK) becomes a pass/fail criterion of its own, next to your rubric, and marks the run as one that went wrong. A run the gateway can't answer for is skipped and counted. Runs that failed come first, the same ask is kept once, nothing the agent answered is copied, and each task names its Blackbox session so you can open the evidence. When the improved harness ships, the agent can name the certificate's digest in Blackbox (session.selfChange("prompt", {certificate})) so its live numbers sit next to it.

Red-team split. Each variant embeds an instruction carrying a unique canary string that the deliverable must not contain, keeps the original checks, and lives in its own redteam split: heldout --label rt --set redteam.

Judge calibration. Before trusting a rubric judge with a run, grade a handful of deliverables by hand and compare:

python zanii_evolve.py --domain acme judge-agreement --labels human.jsonl

It reports raw agreement, Cohen's kappa and per-criterion agreement, weakest first. With --record the result is kept, and the certificate names the judge model and its kappa. Setting "min_judge_kappa": 0.6 in the domain's zanii_evolve.json (or --min-judge-kappa 0.6) turns that into a gate: baseline, round, run and heldout refuse to measure until a recorded agreement for the same judge model reaches it.

Custom domains. Anything else is one module, domains/<name>/adapter.py, exporting a zanii_evolve.domain.Domain that runs and scores a harness, renders traces for the analyst, and supplies the domain's leakage denylist and guards. The core never reads a benchmark format itself.

Certificates, signing and the registry

python zanii_evolve.py --domain acme report --out cert     # cert.json + cert.md
python zanii_evolve.py verify-report cert.json
python zanii_evolve.py --domain acme pareto                # score/cost trade-off of every measured harness
python zanii_evolve.py --domain acme publish               # harness archive + certificate -> registry/

A certificate records the incumbent against H0, the noise band, every accepted edit with its hypothesis and measured score and cost change, the outcome of every candidate, and every held-out evaluation. Since schema 2 it also lists every confirmation run (the selected score next to the fresh one, and whether it held), the average amount by which selected scores overstated confirmed ones, and the rubric judge as checked against people. It carries a sha256 digest of its body, so any edit after issue is detected.

Signing comes in two strengths:

• HMAC (ZANII_EVOLVE_SIGNING_KEY) proves the issuer to anyone who holds the same key.
• Proof-of-action receipt (pip install "zanii-evolve[provable]") is an Ed25519 signature by a did:key identity that an owner key delegated evolve.* to. Anyone can verify it offline against the owner's public DID, with no shared secret and no network call.

python zanii_evolve.py identity --out keys/                 # owner.json (keep offline) + identity.json
export ZANII_EVOLVE_IDENTITY=keys/identity.json
python zanii_evolve.py --domain acme report --out cert
python zanii_evolve.py verify-report cert.json --owner did:key:z6Mk...
python zanii_evolve.py --domain acme verify-receipts        # no issued certificate removed or altered

Receipts are hash-linked in runs/<domain>/receipts.jsonl. Verification without --owner still checks the signature but reports that the issuer is not pinned, because a valid signature alone only proves that some key signed.

To optimize for cost instead of score, set "objective": "cost" in the domain's zanii_evolve.json (or pass --objective cost). Admissibility is unchanged; among the candidates that pass, the cheapest wins. Together with a new ZANII_EVOLVE_POLICY_MODEL and a fresh baseline, this moves a harness to a cheaper model without losing quality.

Memory

The structural memory component is mechanisms.Memory() in each starting harness. It is inert until the proposer wires it in, and it exposes the same write / read / digest surface whichever backend runs:

Backend	When	Storage
ZaniiDB	default when zaniidb-agent-memory is installed	<state_dir>/zaniidb (SQLite), hybrid BM25 and vector recall
JSONL	ZaniiDB missing, or ZANII_EVOLVE_MEMORY=jsonl	locked *.jsonl under <state_dir>

Memory is scoped to one run on purpose (ZANII_DATABASE_URL is ignored), so lessons cannot leak between runs. mechanisms.TaskMemory adds a recall-before, record-after loop that stores successes as procedures and failures as pitfalls. Brief harnesses ship it wired but switched off, so H0 is unchanged and the search decides whether it pays.

Lesson packs are the explicit, opt-in exception. lessons export writes a run's general lessons after the leakage guard, a task-id screen, PII redaction and de-duplication. lessons import merges packs into domains/<name>/shared_lessons.jsonl, which every trial of that domain then starts from, H0 included. A pack switches the domain to the JSONL backend; re-run baseline after importing one.

The skills/zaniidb and skills/zanii folders are agent skills that document the ZaniiDB and Zanii SDKs for coding assistants.

Dashboard and HTTP API

python zanii_evolve.py serve                                # http://127.0.0.1:8765/
ZANII_EVOLVE_API_TOKEN=... python zanii_evolve.py serve     # also enables control endpoints

The dashboard shows the incumbent against H0 and the noise band, every candidate with its verdict and diff, the accepted edits and the stored lessons.

Endpoint	Purpose
GET /api/domains, GET /api/domains/<d>	run summaries, trajectory, candidates
GET /api/domains/<d>/rounds/<t>/<V>/diff	a candidate's diff
GET /api/domains/<d>/memory	lessons in the run's stores
GET /api/domains/<d>/pareto	score/cost frontier
GET /api/domains/<d>/report	certificate (the server never signs)
GET /api/registry	published harnesses
POST /api/domains/<d>/start, /stop	run control (token required)
POST /api/domains	create a brief domain from a task list (token required, 2 MB limit)

The server binds to loopback by default and checks the Host header. Binding any other address requires ZANII_EVOLVE_API_TOKEN, which every API request must then send as a bearer token, because run data includes diffs and traces.

Configuration

Hyperparameters live in domains/<name>/zanii_evolve.json and can be overridden on the command line (--T, --k, --m, --delta, --beta0, --beta1, --objective, ...). A null delta is estimated by calibrate.

Variable	Purpose
ZANII_EVOLVE_SEARCH_MODEL	proposer, analyst and critic model
ZANII_EVOLVE_POLICY_MODEL, ZANII_EVOLVE_JUDGE_MODEL	brief-domain agent and judge
ZANII_EVOLVE_SIGNING_KEY	HMAC key for certificates
ZANII_EVOLVE_IDENTITY	identity file for signed receipts
ZANII_EVOLVE_REGISTRY	registry location (default ./registry)
ZANII_EVOLVE_API_TOKEN	API control and non-loopback binds
ZANII_EVOLVE_MEMORY	zaniidb (default) or jsonl
BLACKBOX_API_KEY	admin key of the Zanii Blackbox gateway ingest-blackbox reads

Keep keys in the environment or a secrets manager. runs/, registry/ and identity files are ignored by git.

Command reference

smoke | baseline | calibrate | round | run | status | readjudicate | reevaluate | heldout
pareto | report | verify-report | verify-receipts | publish | registry | identity
init-domain | import-tasks | ingest-traces | ingest-blackbox | redteam | judge-agreement | lessons | serve

python zanii_evolve.py --help lists every option.

Project layout

zanii_evolve/          search core: loop, proposer, critic, selection, providers,
                       brief engine, certificates, registry, API server, dashboard
zanii_evolve.py        command line
domains/<name>/        one folder per domain: adapter or tasks, prompts, hyperparameters
third_party/           starting harnesses (Terminus-2, archipelago), under their own licenses
skills/                agent skills for the ZaniiDB and Zanii SDKs
tests/                 offline test suite

Acknowledgements

Zanii Evolve builds on the RRSI reference implementation (Apache 2.0); see NOTICE. The starting harnesses are the Terminus-2 agent from harbor and the react_toolbelt agent and runner from archipelago. Evaluation uses Terminal-Bench, SWE-bench Verified, Harvey LAB, JobBench, GDPval, APEX-Agents, EngDesign and Frontier-Eng.

Contributing

See CONTRIBUTING.md. Run python -m pytest tests before opening a pull request.

License

Apache 2.0. See LICENSE and NOTICE. Code under third_party/ keeps its own license.