Proof-Carrying Intelligence

Agent Evolution Protocol.

Commit → Execute → Prove → Evolve.

This expansion does not claim achieved superintelligence, Kardashev Type II civilization, guaranteed wealth, investment returns, audited customer ROI, financial advice, legal advice, medical advice, policy advice, token advice, or autonomous self-improvement without controls. It defines and publishes the architecture for governed proof-carrying agent evolution.

One agent proves.
The network improves.

Not memory. Not vibes. Proof.

AimGoalOS — Defines direction, success criteria, constraints, risk, policy, budget, and evaluation requirements.
ActPlanOS + SkillOS + Run Fabric — Resolves strategies, skills, tools, policies, context, and approvals, then executes agents at scale.
ProveProof Ledger — Records trace, score, feedback, cost, latency, tool history, policy decisions, failures, and credit assignment.
EvolveProof Gradient + Selection Gate — Promotes only upgrades that passed evaluation, approval, canary, monitoring, rollback, and scope control.

The eight-system kernel

Direction

GoalOS

Turns mission into explicit goals, success criteria, constraints, and risk boundaries.

Strategy

PlanOS

Converts goals into plans, playbooks, route graphs, and canary strategies.

Capability

SkillOS

Stores and routes verified reusable skills, tools, context recipes, and procedures.

Evolution

Proof Gradient

Selects what evolves based on proof, not vibes, claims, or proxy gaming.

Reusable intelligence

Artifact Vault

Stores versioned, scoped, signed, auditable, rollbackable artifacts.

Scaled execution

Run Fabric

Runs stateless agents by resolving artifacts, executing work, and emitting proof.

Evidence memory

Proof Ledger

Records append-only evidence from every execution.

Promotion authority

Selection Gate

Promotes only improvements that proved themselves and can be monitored and rolled back.

Artifact classes

GoalOS

Aim Artifacts

goals, success criteria, constraints, risk boundaries

PlanOS

Strategy Artifacts

plans, playbooks, route graphs, canary plans

SkillOS

Capability Artifacts

skills, tools, context recipes, reusable procedures

Policy

Guardrail Artifacts

permissions, vetoes, risk gates, rollback rules

Eval

Judgment Artifacts

rubrics, negative controls, holdouts, verifier criteria

Tool

Action Artifacts

execution bundles, tool plans, runtime decisions

Context

Grounding Artifacts

context recipes, retrieval scopes, data boundaries

Proof Gradient

Evolution Artifacts

upgrade candidates, canary verdicts, propagated releases