This repository has been archived on 2026-11-02. You can view files and clone it. You cannot open issues or pull requests or push a commit.

jschoubben 52c18f7a45 The path-preservation proof resolves access ids to their default paths too ...

An access named by id (issue 153) resolves to the path the definition still carries when the
assignment says nothing, and the proof compares that — the same rule as a placed directory.

2026-10-01 00:01:41 +02:00

..

broker

The controller takes one announcement at a time

2026-09-30 21:37:53 +02:00

builder

A definition names no installation: the check, an operator's value, a context on the git seat

2026-09-30 18:38:06 +02:00

catalogue

The path-preservation proof resolves access ids to their default paths too

2026-10-01 00:01:41 +02:00

envfile

An address is read from the node's settings where it is used, never recorded with a port

2026-09-23 23:49:31 +02:00

identity

Adopt the tunnel as a mesh fact, refuse a mismatched takeover, and rekey after enrolment

2026-09-24 00:02:07 +02:00

inventory

The seat rename survives a row seeded under the new name

2026-09-30 21:34:34 +02:00

licences

Rename mesh-control -> mesh-controller, substrate -> foundation

2026-09-16 18:40:40 +02:00

link

A definition names no installation: the check, an operator's value, a context on the git seat

2026-09-30 18:38:06 +02:00

overlay

A route's internal name says where the request arrives

2026-09-30 14:51:12 +02:00

secrets

Recoverable means sealed to the current operator key; recovery names the provider

2026-09-21 01:16:32 +02:00

store

The control plane's own manifest says where the node put the store and the broker

2026-09-23 23:49:55 +02:00

token

Record whether a node is adopted and which modules were taken on it (hq ADR 0100)

2026-09-22 17:14:05 +02:00