# SkillOS Proof-Carrying Intelligence Expansion

This expansion adds the canonical Proof Gradient public language and platform architecture:

```text
Aim. Act. Prove. Evolve.
GoalOS gives the network direction.
PlanOS gives it strategy.
SkillOS gives it capability.
The Proof Gradient gives it evolution.
The Artifact Vault stores reusable intelligence.
The Run Fabric executes agents at scale.
The Proof Ledger records what happened.
The Selection Gate promotes only what proved itself.
```

It is additive. It does not remove existing proofs.
