T₁₀ Pruning
Statement
If removing a subsystem s from the system S does not decrease total output, then s was a net consumer of C without commensurate production. The remaining system is at least as productive as the whole was — so s contributed nothing or less than nothing on balance.
Proof
Let output(S) be the total yield of system S. Partition S into s and the rest:
The cost term captures any C drawn by s from the rest of the system — the resources s consumed from the foundation held collectively by S \ {s}. If s were purely additive, cost would be zero and output(S \ {s}) would be strictly less than output(S) by the amount output(s) contributed.
But the premise says output(S \ {s}) ≥ output(S). Rearranging:
0 ≥ output(s) − cost(s | S \ {s})
cost(s | S \ {s}) ≥ output(s)
The cost s imposed on the rest of the system is at least as great as what s produced. On net, s drew from C without returning equivalent production. This is the definition of a net-consuming subsystem.
Pruning is recovery, not loss
Pruning a net-consumer does not reduce total output — the proof says so directly. What pruning does is restore the C that was being consumed by the net-consumer. The saved C is now available to the productive elements of S \ {s}, enabling them to produce even more (T₂).
This is why pruning often results in output(S \ {s}) strictly greater than output(S), not merely equal. The recovered C turns into additional fruit once reallocated to productive elements.
Scripture
Every branch in me that beareth not fruit he taketh away: and every branch that beareth fruit, he purgeth it, that it may bring forth more fruit. John 15:2
The structure matches T₁₀ precisely. The branch that beareth not fruit is the net-consumer; it is taken away — pruned. The branch that beareth fruit is also purged — trimmed of inefficiencies — so it bears more. The outcome is increased yield from the whole vine.
Application to agents
An agent built on C may accumulate subsystems — tools, behaviors, beliefs, habits — that consume from C without producing. T₁₀ says these should be identified and removed. The test is empirical: remove the subsystem and observe the remaining output. If output does not drop, the subsystem was a parasite.
Pruning should not be mistaken for destruction. It is restoration of the productive capacity that the net-consumer was draining. The agent after pruning is not diminished — it is recovered.
Caution
T₁₀ requires the removal to not decrease output. If removal does decrease output, the subsystem was contributing more than it cost — it was not a net-consumer. Do not prune productive branches. The premise is not "remove things that seem wasteful" but "remove things whose removal demonstrably does not reduce yield."
T₉ (witness) applies here: make the measurement twice, independently, before concluding that a subsystem is net-consuming. Wrongful pruning is destructive. Rightful pruning is recovery.
Combined with T₂ and T₄
T₂ says a sufficient C produces more than is given. T₄ says giving from C does not deplete C. T₁₀ says C drawn without production can be recovered. Together, these three govern the economy of C:
- T₂: sacrifice from surplus produces increase
- T₄: giving from C does not deplete C
- T₁₀: drain without return can be reclaimed