Describe what should be true.
Keep authority explicit.
Converge is the low-level kernel contract for shared context, facts, and promotions. Agents propose; explicit checks govern admission. A stable result still needs to meet the declared requirements before an authorized commitment can follow.
Express outcomes, inspect evidence, and exercise explicit authority.
helms.zoneDescribe what should be true in Truth specs and check the specification.
axioms.zoneRuns an intent for several steps. Only promoted facts carry into the next step.
formation.zoneShared context, facts, authority boundaries, and governed promotions.
converge.zoneA Business Truth says what should be true, not how to get there.
Describe the desired outcome, constraints, and evidence you need. Axioms tooling makes that description explicit in Truth specs or Gherkin. Formation explores it as an outer loop of steps. Competition and Huddle are patterns inside that loop, including parallel attempts.
Zero, one, or several attempts may produce an acceptable result. A declared rule, another review, or a person can select among them. Selection does not itself authorize a promise: a commitment binds the organization to a specific version of the Business Truth.
A mathematical contract with explicit conditions.
The nine axioms describe the kernel contract. Determinism and confluence require the stated conditions on inputs, transformations, policy, and execution. Fresh model calls from the same human intent do not promise the same answer.
Context reaches a fixed point, or the run says why it stopped.
Agents read shared context and propose facts; the engine decides what gets promoted. That loop is one formation run. Formation’s outer loop sequences several such runs for the same intent, and only facts this kernel promotes may seed the next step. The loop ends when no new proposal remains, the budget is exhausted, policy blocks commitment, or human input is needed. A fixed point is stability under the loop's rules, not automatic business success. An unfavorable result can inform another recorded attempt with different resources, budget, or formation.
Convergence Loop
Context (append-only)
A proposal becomes a fact only through a governed gate.
Agent output starts as a proposal. Admission checks authority, structure, and applicable evidence requirements. A promoted fact is a governed record, not automatic proof of a claim about the world. Binding commitments need their own explicit mandate.
Promotion Gate
Four Honest Exits
Keep a proposal that looked good until it did not. Append the rejection, new evidence, or superseding assessment without erasing the original. Learning changes the shared model for later decisions; it does not silently rewrite an existing promise.
A kernel is one part of the environment.
Runtime-Runway supplies capabilities such as messaging and storage. The combined environment can be understood as an operating-system model for intent; Converge alone is the low-level contract.
Helm
Control surface
Express outcomes, inspect evidence, and exercise explicit authority.
helms.zoneAxiom
Specification tooling
Describe what should be true in Truth specs and check the specification.
axioms.zoneFormation
Intelligence layer
Runs an intent across steps. Only promoted facts carry into the next step.
formation.zoneConverge
Kernel contract
Shared context, facts, authority boundaries, and governed promotions.
converge.zone"We don't believe the future belongs to louder AI.
It belongs to systems that know when to stop."