VakeWorks holds three theorems that ground its Transparency Pledge — one meta-theorem and two instantiations, presented here in the same order as the pledge image cycles through ACT → EAT → CODE.

ACT Meta-Theorem: Acting AVVVake WWWorks!

The substrate-agnostic generalisation. Subsumes both EAT and CODE as instances; admits future substrates (governance, infrastructure, commercial, ecological, educational) as new ACT instances as VakeWorks operates in them.

Suppose the following three statements are true:

  1. You have to act to be.
  2. You are what you act.
  3. Be the change you want to see.

Then, the following holds:

  • Act the change you want to be.
ACT Meta-Theorem visual — five paired transparency lenses spiralling outward from the OpenEarth Pangea globe with DNA-helix (food / germline-seed) + 0/1 binary-stream (code / digital) tubes.
The ACT Meta-Theorem made enforceable as five paired transparencies — see the Transparency Pledge.

Why this is the meta-theorem:

TheoremSubstratePremise 1 (act-to-be)Premise 2 (you-are-what-you)QED
EATfood / germline-seedYou have to eat to beYou are what you eatEat the change you want to be
CODEcode / digitalYou have to code to beYou are what you codeCode the change you want to be
ACTany substrateYou have to act to beYou are what you actAct the change you want to be

Eating is acting in the food substrate. Coding is acting in the digital substrate. Governing, contracting, building, teaching, growing — all acting in their respective substrates. Whenever a substrate satisfies the three premises, the QED holds.

EAT Theorem: Eating AVVVake WWWorks!

VakeWorks’ original (Dec 2025) theorem — the food / germline-seed-sovereignty instance.

Suppose the following three statements are true:

  1. You have to eat to be (or live).
  2. You are what you eat.
  3. Be the change you want to see.

Then, the following holds:

  • Eat the change you want to be.
EAT Theorem visual — five food / germline-seed transparency lenses (Ecological · Income · Produce · Process · Profits) with DNA-double-helix tubes emanating from the OpenEarth Pangea globe.
The EAT Theorem made enforceable as five food / germline-seed transparencies — Ecological · Income · Produce · Process · Profits.

Watch a presentation of the EAT theorem by VakeWorks co-founders — recording archive on @livingsystems_vakeworks.

CODE Theorem: Coding AVVVake WWWorks!

The digital-sovereignty companion. Same three-premise form, instantiated in the algorithmic substrate.

Suppose the following three statements are true:

  1. You have to code to be (in the algorithmic age).
  2. You are what you code.
  3. Be the change you want to see.

Then, the following holds:

  • Code the change you want to be.
CODE Theorem visual — five digital-sovereignty transparency lenses (Jurisdiction · Compensation · Substrate · Pipeline · Profits-Continuity) with 0/1 binary-stream tubes emanating from the OpenEarth Pangea globe; IAS framework + foundation.protocols.* markers.
The CODE Theorem made enforceable as five digital-sovereignty transparencies — Jurisdiction · Compensation · Substrate · Pipeline · Profits-Continuity — rooted in the openearth.network (/|\ias\|/) and protocols.foundation ({f.p.*}).

All three theorems are enforced via statistical contract theory embedded in the legal contracts VakeWorks signs with its customers and clients — see the Transparency Pledge for the full five-paired-transparency frame.