# Substrate surface: the detail the board routes to. One writer, many readers. # Copy to `//..md`, fill the header, delete the example records. # Every record here is addressable as `-` and is cited from the board and from other surfaces. # Model: `models/coordination.model.md` — nodes, edges, derived states. ═══════════════════ HEADER (permanent) ═══════════════════ Type: Owner: Key: -`> Parent: ═══════════════════ PROTOCOL (permanent) ═══════════════════ ## Surface contract (STRICT) - CURRENT TRUTH ONLY. Overwrite in place — no appending, no archaeology, no DONE/SUPERSEDED/ACK markers. - Each record carries EXACTLY the schema below and nothing else. Normalized records, not prose. - `Key` is fixed for the life of the surface. Moving the file does not change it, so every id already issued survives the move. - NOTHING IS RAISED WITHOUT A DESTINATION. `Kind` selects the destination; the destination is derived, never chosen. - ABSORBED IS A TRANSITION, NEVER A STATE: extract to `_changelogs.txt`, then delete the record in the same change. There is ONE history home; a changelog inside a workspace is a second place history may live. - No state is written. Open, blocked and absorbed are queries over the edges. ## Fixed record schema Item - — Subject: Kind: Acknowledger: Satisfied-by: Evidence: Edges: ## Kind → destination → closes when | kind | home | closes when | | ------- | ------------------------------------ | -------------------------- | | round | this surface | its acknowledger closes it | | claim | the plan row it claims against | the row retires | | finding | the durable-record surface | never — it is referenced | | ruling | the surface owning the axis it binds | never — it is cited by id | | repair | the tree it fixes | the change is on disk | ## Gate - `Kind` in the closed set · `Acknowledger` present iff judgement · `Satisfied-by` present iff artifact. - `Key` unique across the workspace · `-` unique within it · duplicate `Subject` is a finding. - Every edge resolves; a citation to nothing is a finding; a cycle is a finding. - Unacknowledged past `N` rounds is a finding, escalating to the board then the owner. ═══════════════════ RECORDS ═══════════════════ Item -1 — Subject: <—> Kind: <—> Acknowledger: — Satisfied-by: <—> Evidence: <—> Edges: — Item -2 — Subject: <—> Kind: <—> Acknowledger: <—> Satisfied-by: — Evidence: <—> Edges: — ═══════════════════ OPEN (unresolved only) ═══════════════════ - (none)