Skip to content

docs(design): convert hard tabs to spaces in SEA-1442 sentinels record - #289

Open
seal-agent wants to merge 1 commit into
mainfrom
compass-runner-1442-doc-tabs
Open

docs(design): convert hard tabs to spaces in SEA-1442 sentinels record#289
seal-agent wants to merge 1 commit into
mainfrom
compass-runner-1442-doc-tabs

Conversation

@seal-agent

@seal-agent seal-agent commented Aug 12, 2026

Copy link
Copy Markdown
Contributor

The Go code fences in the compass-runner gateway/operator-fault error
sentinels design record carried literal tabs (pasted from gofmt output),
tripping markdownlint MD010/no-hard-tabs on the push-to-main full sweep.
Convert the 17 leading tabs to spaces at 2-per-indent-level, matching the
universal repo convention for Go fences in design docs. Content-preserving;
no change to the frozen contract.

Co-authored-by: Matt Wilkinson matt@rigel.build

@linear-code

linear-code Bot commented Aug 12, 2026

Copy link
Copy Markdown

SEA-1442

seal-agent added a commit that referenced this pull request Aug 12, 2026
Add `docs/operations/dogfood-provisioning.md` — a step-by-step runbook for bringing a Compass **server + runner** pair up on a single host over the authenticated TLS network door, using only the binaries this repository already ships (`compass-server`, `compass-runner`, `compass-mint-runner-token`, `compass-gen-cert` under `go/cmd/`). No new tooling.

Scope is the loopback bring-up that produces the `https://127.0.0.1:8443` door. Serving it onto a tailnet and baking the UI bundle are called out as separate downstream steps that consume this door, not covered here.

Contents:

- **Prerequisites** — fail-fast, each tied to the exact enforcing code path (Go toolchain, a reachable Postgres + DSN, state dir).
- **Two-shell bring-up** — server (Shell 1) and runner (Shell 2), both foreground/long-lived, with cert generation, runner-token minting, and runner-trust steps.
- **Verify** — `curl` against the door (no reflection service is registered, so `grpcurl` is not an option), plus the ListAccounts-over-socket step that yields the bootstrap-admin account id.
- **Accepted-risk** notes on runner-token lifetime and single-operator exposure.

Every code citation is source-verified against the current tree. State-dir creation follows the ruled `mkdir -p "$STATE" && chmod 700 "$STATE"` form (not `mkdir -m 700`).

Stacked on #289 (`compass-runner-1442-doc-tabs`): this is a docs PR, so the whole-repo markdownlint CI gate runs and would red on main's pre-existing hard-tab errors in the SEA-1442 sentinels record until #289 lands. Files are disjoint (this PR touches only the new runbook). **Merge order: #289 first, then this PR.** Once #289 merges I will rebase this onto main and re-verify CI.

Verified: CI-exact whole-repo `moon run root:markdownlint` = 0 errors across 84 files on this stacked tree.

Spec-impact: none. Refs SEA-1943.

Co-authored-by: Matt Wilkinson <matt@sealedsecurity.com>

tmp
seal-agent added a commit that referenced this pull request Aug 12, 2026
Add `docs/operations/dogfood-provisioning.md` — a step-by-step runbook for bringing a Compass **server + runner** pair up on a single host over the authenticated TLS network door, using only the binaries this repository already ships (`compass-server`, `compass-runner`, `compass-mint-runner-token`, `compass-gen-cert` under `go/cmd/`). No new tooling.

Scope is the loopback bring-up that produces the `https://127.0.0.1:8443` door. Serving it onto a tailnet and baking the UI bundle are called out as separate downstream steps that consume this door, not covered here.

Contents:

- **Prerequisites** — fail-fast, each tied to the exact enforcing code path (Go toolchain, a reachable Postgres + DSN, state dir).
- **Two-shell bring-up** — server (Shell 1) and runner (Shell 2), both foreground/long-lived, with cert generation, runner-token minting, and runner-trust steps.
- **Verify** — `curl` against the door (no reflection service is registered, so `grpcurl` is not an option), plus the ListAccounts-over-socket step that yields the bootstrap-admin account id.
- **Accepted-risk** notes on runner-token lifetime and single-operator exposure.

Every code citation is source-verified against the current tree. State-dir creation follows the ruled `mkdir -p "$STATE" && chmod 700 "$STATE"` form (not `mkdir -m 700`).

Stacked on #289 (`compass-runner-1442-doc-tabs`): this is a docs PR, so the whole-repo markdownlint CI gate runs and would red on main's pre-existing hard-tab errors in the SEA-1442 sentinels record until #289 lands. Files are disjoint (this PR touches only the new runbook). **Merge order: #289 first, then this PR.** Once #289 merges I will rebase this onto main and re-verify CI.

Verified: CI-exact whole-repo `moon run root:markdownlint` = 0 errors across 84 files on this stacked tree.

Spec-impact: none. Refs SEA-1943.

Co-authored-by: Matt Wilkinson <matt@sealedsecurity.com>

tmp

tmp2
seal-agent added a commit that referenced this pull request Aug 12, 2026
Add `docs/operations/dogfood-provisioning.md` — a step-by-step runbook for bringing a Compass **server + runner** pair up on a single host over the authenticated TLS network door, using only the binaries this repository already ships (`compass-server`, `compass-runner`, `compass-mint-runner-token`, `compass-gen-cert` under `go/cmd/`). No new tooling.

Scope is the loopback bring-up that produces the `https://127.0.0.1:8443` door. Serving it onto a tailnet and baking the UI bundle are called out as separate downstream steps that consume this door, not covered here.

Contents:

- **Prerequisites** — fail-fast, each tied to the exact enforcing code path (Go toolchain, a reachable Postgres + DSN, state dir).
- **Two-shell bring-up** — server (Shell 1) and runner (Shell 2), both foreground/long-lived, with cert generation, runner-token minting, and runner-trust steps.
- **Verify** — `curl` against the door (no reflection service is registered, so `grpcurl` is not an option), plus the ListAccounts-over-socket step that yields the bootstrap-admin account id.
- **Accepted-risk** notes on runner-token lifetime and single-operator exposure.

Every code citation is source-verified against the current tree. State-dir creation follows the ruled `mkdir -p "$STATE" && chmod 700 "$STATE"` form (not `mkdir -m 700`).

Stacked on #289 (`compass-runner-1442-doc-tabs`): this is a docs PR, so the whole-repo markdownlint CI gate runs and would red on main's pre-existing hard-tab errors in the SEA-1442 sentinels record until #289 lands. Files are disjoint (this PR touches only the new runbook). **Merge order: #289 first, then this PR.** Once #289 merges I will rebase this onto main and re-verify CI.

Verified: CI-exact whole-repo `moon run root:markdownlint` = 0 errors across 84 files on this stacked tree.

Spec-impact: none. Refs SEA-1943.

Co-authored-by: Matt Wilkinson <matt@sealedsecurity.com>

tmp

tmp2

tmp3
seal-agent added a commit that referenced this pull request Aug 12, 2026
Add `docs/operations/dogfood-provisioning.md` — a step-by-step runbook for bringing a Compass **server + runner** pair up on a single host over the authenticated TLS network door, using only the binaries this repository already ships (`compass-server`, `compass-runner`, `compass-mint-runner-token`, `compass-gen-cert` under `go/cmd/`). No new tooling.

Scope is the loopback bring-up that produces the `https://127.0.0.1:8443` door. Serving it onto a tailnet and baking the UI bundle are called out as separate downstream steps that consume this door, not covered here.

Contents:

- **Prerequisites** — fail-fast, each tied to the exact enforcing code path (Go toolchain, a reachable Postgres + DSN, state dir).
- **Two-shell bring-up** — server (Shell 1) and runner (Shell 2), both foreground/long-lived, with cert generation, runner-token minting, and runner-trust steps.
- **Verify** — `curl` against the door (no reflection service is registered, so `grpcurl` is not an option), plus the ListAccounts-over-socket step that yields the bootstrap-admin account id.
- **Accepted-risk** notes on runner-token lifetime and single-operator exposure.

Every code citation is source-verified against the current tree. State-dir creation follows the ruled `mkdir -p "$STATE" && chmod 700 "$STATE"` form (not `mkdir -m 700`).

Stacked on #289 (`compass-runner-1442-doc-tabs`): this is a docs PR, so the whole-repo markdownlint CI gate runs and would red on main's pre-existing hard-tab errors in the SEA-1442 sentinels record until #289 lands. Files are disjoint (this PR touches only the new runbook). **Merge order: #289 first, then this PR.** Once #289 merges I will rebase this onto main and re-verify CI.

Verified: CI-exact whole-repo `moon run root:markdownlint` = 0 errors across 84 files on this stacked tree.

Spec-impact: none. Refs SEA-1943.

Co-authored-by: Matt Wilkinson <matt@sealedsecurity.com>

tmp

tmp2

tmp3
seal-agent added a commit that referenced this pull request Aug 12, 2026
Add `docs/operations/dogfood-provisioning.md` — a step-by-step runbook for bringing a Compass **server + runner** pair up on a single host over the authenticated TLS network door, using only the binaries this repository already ships (`compass-server`, `compass-runner`, `compass-mint-runner-token`, `compass-gen-cert` under `go/cmd/`). No new tooling.

Scope is the loopback bring-up that produces the `https://127.0.0.1:8443` door. Serving it onto a tailnet and baking the UI bundle are called out as separate downstream steps that consume this door, not covered here.

Contents:

- **Prerequisites** — fail-fast, each tied to the exact enforcing code path (Go toolchain, a reachable Postgres + DSN, state dir).
- **Two-shell bring-up** — server (Shell 1) and runner (Shell 2), both foreground/long-lived, with cert generation, runner-token minting, and runner-trust steps.
- **Verify** — `curl` against the door (no reflection service is registered, so `grpcurl` is not an option), plus the ListAccounts-over-socket step that yields the bootstrap-admin account id.
- **Accepted-risk** notes on runner-token lifetime and single-operator exposure.

Every code citation is source-verified against the current tree. State-dir creation follows the ruled `mkdir -p "$STATE" && chmod 700 "$STATE"` form (not `mkdir -m 700`).

Stacked on #289 (`compass-runner-1442-doc-tabs`): this is a docs PR, so the whole-repo markdownlint CI gate runs and would red on main's pre-existing hard-tab errors in the SEA-1442 sentinels record until #289 lands. Files are disjoint (this PR touches only the new runbook). **Merge order: #289 first, then this PR.** Once #289 merges I will rebase this onto main and re-verify CI.

Verified: CI-exact whole-repo `moon run root:markdownlint` = 0 errors across 84 files on this stacked tree.

Spec-impact: none. Refs SEA-1943.

Co-authored-by: Matt Wilkinson <matt@sealedsecurity.com>

tmp

tmp2

tmp3

tmp4
@seal-agent
seal-agent force-pushed the compass-runner-1442-doc-tabs branch from 9c8a708 to f3f83d6 Compare August 13, 2026 00:43
The Go code fences in the compass-runner gateway/operator-fault error
sentinels design record carried literal tabs (pasted from gofmt output),
tripping markdownlint MD010/no-hard-tabs on the push-to-main full sweep.
Convert the 17 leading tabs to spaces at 2-per-indent-level, matching the
universal repo convention for Go fences in design docs. Content-preserving;
no change to the frozen contract.

Co-authored-by: Matt Wilkinson <matt@rigel.build>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant