3 Commits

Include renames

Author	SHA1	Message	Date
mesh-adminandClaude Opus 5.5	35c7662f89	Check the mirrors as ADR 0356 says, and prove a removal asks for the lease ... Reviews 251 of mesh-controller#315 and ADR 0356 v4 (hq issue 652): a removal without the lease removes nothing; a module no longer registered loses its declared-config key with its event; a listed mirror is never reported as undeclared state; only the audit and a mirror's own writer name a mirror's bucket; and the mirrors' list and the writers table agree. The store test's line moves where it merges with the integration branch's own new lines. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-14 01:26:29 +00:00
mesh-adminandClaude Opus 5.5	69367aa786	Correct a mirror written behind the writer's back, and write none without the lease ... Review of mesh-controller#315 (hq issue 652): the writer trusted the bucket as it read it once, so a former lease holder's write stayed for good; it wrote without the lease, asking only after a refused compare-and-set; and the declared config carried a manifest's declarations whole, so a field the manifest gains would reach the bus unreviewed (ADR 0289 §9, §10, §12). Every pass now reads the bucket and writes back the store's value where it differs, asks for the lease before the pass and before every write, and a declaration is mirrored as its listed fields (kind, default, why), with a test that fails on a declaration field the list does not name. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-14 01:01:00 +00:00
mesh-adminandClaude Opus 5.5	ea5cc6fc35	Prove a record mirror against a real bus and the store ... An assignment and a registration each change exactly one key and raise exactly one event; the same records written again change nothing (hq issue 652, the package's done-when). Listed as a store test, so the merge check runs it. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-14 00:32:29 +00:00