Skip to content

Runtimes serving different repositories never form a cooperative link, even when they discover each other

Two Majordomus servers on the same network, same version, same trusted keys — one serving

declared statusdeclared status: guaranteed Declared deterministic and blocking, implemented, and naming the behavioural test that is to prove it. Whether a recorded run supports it is the evidence verdict, shown beside it.

recorded evidencerecorded evidence: not run Declared guaranteed, and not supported by a recorded run: the test is named, and no passing run of the current inputs is recorded. how evidence is recorded

The repository identity is the digest of the root commits or a declared value, never a path; the handshake refuses a mismatch both ways and ingest refuses another repository's event. The lab proves it between Linux nodes that discovered each other by multicast.

What it means

Two Majordomus servers on the same network, same version, same trusted keys — one serving repository X, one serving repository Y — hear each other's advertisements and may list each other as observed nodes. They never link: each hello is refused as repository_mismatch, the refusal is listed on both sides, and no session, claim, handover or review of one repository reaches the other. A server of X on another machine does link.

How it works

A repository's mesh identity is derived from its root commits — content every clone shares and no unrelated repository has — or declared as cooperation.repository in the mesh declaration, and never from a path, an address or a host name (apps/majordomus-cli/src/mesh/repository.rs). The handshake compares the identities in both directions, and every event carries its repository identity, so an event of another repository is refused at ingest even if something relayed it.

How to see it

majordomus mesh doctor                      # the repository check names this runtime's identity
curl http://127.0.0.1:8741/api/v1/mesh/cooperation | jq '.repository, .refused'
cargo test --manifest-path apps/majordomus-cli/Cargo.toml --test mesh_cooperation runtimes_of_different_repositories

two_clones_at_different_paths_are_one_repository_and_another_is_not proves the identity; runtimes_of_different_repositories_never_link_and_say_why proves the isolation between two server processes; test/mesh-lab/run (scenario repository_isolation) proves it between separate Linux nodes that discovered each other by multicast.

What it does not cover

A fork shares its origin's root commits and is the same repository to the mesh unless one side declares its own cooperation.repository. A shallow clone has no reliable root and must declare one; the doctor says so.

Why it exists

A local network routinely holds several repositories' servers. Cooperation that crossed repository boundaries by default would let one project's claims block another's work and hand one project's context to another's sessions.

Detail rendered from docs/claims/mesh-repository-isolation.md.

From the statement to the proof

  1. 1 · the public statement

    Runtimes serving different repositories never form a cooperative link, even when they discover each other

    Made on Mesh.

  2. 2 · the canonical claim

    mesh-repository-isolationdeclared status: guaranteed in docs/CLAIMS.yaml

    Defined in .ai/repo/rules/project/mesh-cooperation-is-authenticated.v1.md

  3. 3 · the implementation

    apps/majordomus-cli/src/mesh/repository.rs

  4. 4 · the test and the scenarios

    Test: apps/majordomus-cli/tests/mesh_cooperation.rs

  5. 5 · the recorded runs

    recorded evidence: not run how evidence is recorded

Verify it yourself

The test runs in a disposable temporary repository and asserts the behaviour, not a string in the source.

from a clone of the repository
bash test/run.sh apps/majordomus-cli/tests/mesh_cooperation.rs

Searches the titles and descriptions of every page this site publishes.