ARC Open Governance

The internet is becoming a network of autonomous intelligence. Machines can communicate, reason, transact, and act across systems, and capability alone cannot establish legitimate authority.

ARC introduces a new relational computing architecture for determining what consequences are legitimately reachable. GMAP provides the governed action protocol. VALIS is the first implementation of ARC, using its runtime and the KORE settlement boundary to govern consequential transitions and produce independently verifiable Statements.

The purpose underneath the machinery is fundamental. Human authority, privacy, consent, and accountability are worth preserving as intelligence becomes autonomous, and preserving them takes machinery rather than promises.

Open computational knowledge. Locally controlled information. Governed intelligence. Verifiable consequences.

The computational foundation

ARC Field Database and ARC Language

Locally controlled relational information and computation, held on machines the person owns and expressed in a language whose answers carry evidence.

The authority protocol

GMAP

Explicit identity, purpose, consent, constraints, and authorization for every consequential transition. GMAP is implemented today as the settlement lifecycle running in the VALIS runtime and in KORE.

The instantiated machine

VALIS and KORE

Consequential reachability, governed settlement, and enforcement, producing the record that every settled consequence stands on.

The verifiable evidence

The Statement

What was requested, authorized, executed, observed, or left uncertain, in a form that anyone can recheck rather than a form they are asked to believe.

The intended result is plain. Intelligence can assist without automatically inheriting authority over the individual.

The Open Agent Internet

The internet is entering the age of autonomous actors.

Agents are beginning to communicate, transact, and operate across networks built for people, applications, and organizations.

Interoperability gives them the ability to act. It does not, by itself, establish legitimate authority for every consequence that follows.

ARC introduces a proposed computational foundation for that boundary. Through relational computation, consequential reachability, governed settlement, and verifiable evidence, ARC explores how autonomous actors can interact without silently expanding their authority.

The protocols that let agents interact already exist and are being adopted. ARC proposes the complementary layer, a computational model for determining, preserving, and evidencing which consequential transitions are legitimate as interactions cross systems.

ARC Open Governance is building a governance layer for the open internet, introducing a new computational architecture for determining, settling, and verifying consequential actions across autonomous systems.

VALIS is the first implementation. ARC Open Governance is the institution we are establishing to make the underlying knowledge open to scrutiny and collaboration.

Explore the invention

For researchers, scientists, and curious visitors

The architecture, the transition it governs, and the evidence it leaves, presented as one proposition you can examine end to end.

Begin with the architecture

Run the reference

For developers, standards engineers, and technical reviewers

The founding release, its verification battery, and the claim-by-claim evidence record, with the current access status stated plainly.

Verify it, then run it

Understand VALIS

For infrastructure companies and potential implementation partners

The first implementation of the architecture, where autonomous action is cleared before it is allowed to have effects.

See what VALIS clears

Join the foundation

For contributors, rights organizations, communities, and institutions

Six contribution lanes and the doors of ARC Open Governance, open to people and machines on the same terms.

Find your door

From one internet to the next

The internet was built for people. It is learning to carry actors.

Everyone understands the internet as traffic moving between systems under shared protocols. That picture is the right place to start, because the change now under way is a change in who, and what, the traffic belongs to. Four movements carry the picture from the network everyone knows to the one being built.

Person writes, decides Application software people use Organization answers for itself Service systems people rely on PROTOCOLS shared agreements every line ends at someone who answers Movement one of four

An internet built for people

Protocols are agreements that let independent systems and networks exchange traffic, and for fifty years that traffic has served human needs. People wrote, bought, published, and decided at the ends of the lines, and the machines in the middle only carried. Authority never had to travel, because a person always answered for what arrived.

Person writes, decides Organization answers for itself Service systems people rely on PROTOCOLS shared agreements Λ a new actor joins the network Movement two of four

A new type of actor

The traffic is changing character. What crosses the network now is not only messages between people but proposals from machines that can act on their own. An agent is a new type of actor, explicit and named. It does not merely send. It initiates, transacts, and operates across systems that were built assuming a human would be there to answer.

Λ THE AGENT CAPABILITY the power to reach effects, exercised at once AUTHORITY spent by default, because nothing separates the two Movement three of four

Capability is not authority

This actor arrives holding two things at once. It has capability, the real power to reach effects, and it appears to carry the authority to use that power, because nothing in the legacy network separates the two. Whoever holds the capability spends the authority by default, and the consequences land wherever the reach extends.

Λ THE AGENT BOUND as one act Identity Proposal Dependencies Exposure History Λ SETTLEMENT under the nine laws STATEMENT NETWORK other systems refused, with its reasons kept Movement four of four

Bound, settled, interoperable

ARC binds the relational facts before a consequence crosses. The actor's identity, the proposal itself, what the proposal depends on, the exposure it creates, and the history standing behind it are bound together and computed through governed settlement under the nine laws. What clears may interoperate across the open internet as a Statement anyone can verify. What does not clear is refused, with its reasons kept on the record.

The scenes illustrate the model rather than depicting a running system. The machinery they picture is specified in the founding release and examined in the verification section below. Without JavaScript, all four movements print in sequence on this page. With it, they step.