mosaicstack/stack
20
0
Fork 1
Code Issues 335 Pull Requests 14 Actions Packages Projects Releases 15 Wiki Activity

docs: agent enrollment command family v1 design (M4-4-0) #1481

Merged
fred merged 3 commits from feat/m4-4-0-enrollment-design into next 2026-08-30 01:21:01 +00:00
Conversation 0 Commits 3 Files Changed 2
+319
3 Commits
Author SHA1 Message Date
fred d18ce04959 design rev 3: GLM round-2 findings
ci/woodpecker/pr/ci Pipeline was successful
Details 
shared replay mode refused (seed-only rule, contract 3 SS4.3/SS7 item 4);
concurrency loser semantics and scope-mismatch collision added to rule 5
and witness 5; query-side correlation envelope specified; no-oracle
indistinguishability probe added to witness 9; fence authorization
scope pinned; SHARED-CONTRACT SS5.3 citation fixed, fleet-side ASKS
reference removed.
 2026-08-29 20:00:54 -05:00
fred 7bc69286d1 design rev 2: GLM review findings 1-8
ci/woodpecker/pr/ci Pipeline was canceled
Details 
Contract 5 §4 composed in full (fail-closed §4.4, CLI parity §4.5,
correlation id returned in result); idempotency re-attributed to
contract 3 §4.3 (via §7 item 4) and designed to the full fence/replay
envelope; harness error-code split fixed; full write-consumer set;
intake credential write joins the transaction; audit linkage pinned
FK-free; custody-schema cited at rev 13; witnesses 9-11 added
(correlation, CLI parity, fail-closed) plus the full §4.3 replay set.
 2026-08-29 19:49:49 -05:00
fred 4753e285eb docs: agent enrollment command family v1 design (M4-4-0)
ci/woodpecker/pr/ci Pipeline was successful
Details 
Design note for the rank-4 enrollment command family: contract
composition (contract 5 rank-4 row + envelope, contract 3 §3.5,
custody-schema rev 4 FK binding), assignment-scope pin per D11,
measured current state, command surface with closed error enum,
additive schema delta plan (0021), and the witness list the
implementation slice must ship. Amends no contract.
 2026-08-29 19:37:16 -05:00