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.zoneExplore alternative plans through formations, review, and recorded attempts.
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 can explore it through Competition, Huddle, and alternative formations, 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. 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
Explore alternative plans through formations, review, and recorded attempts.
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."