docs(product): correct forge §A1 proto placement to leaf forge.proto (SEA-1731) - #199
Open
seal-agent wants to merge 1 commit into
Open
docs(product): correct forge §A1 proto placement to leaf forge.proto (SEA-1731)#199seal-agent wants to merge 1 commit into
seal-agent wants to merge 1 commit into
Conversation
…(SEA-1731) Corrects the frozen `compass-server-ownership-layer-amendment` record so its §A1 add-list matches the shipped A1 proto (PR #149): the forge notification/carrier types (`ForgeNotification`/`ForgeNotificationKind`, `ForgeArtifactKind`, `CommentRef`) live in a new internal-only leaf `proto/compass/v1/forge.proto` that imports only `compass.proto`, **not** in `agent_gateway.proto` as #995 T1 and this record's original text directed — that placement is a circular import (`agent_gateway.proto` already imports `agent.proto`, so `agent.proto` referencing an `agent_gateway.proto` type is a cycle `buf` rejects). The `ForgeCall*` carrier + op requests stay in `agent_gateway.proto`; the leaf is imported acyclically by `agent.proto`/`agent_gateway.proto`/`runner.proto`. Wire contract, field numbers, and generated names are unchanged — placement only. Rewrites the "one structural consequence" section to "two structural consequences" (the cross-file import **plus** the new leaf), updates the T1 add-list and the row-13 disposition, and adds the ledger row for the placement decision. This correction was originally authored as a sealed PR (#1095) against the design corpus while it lived in `sealedsecurity/sealed`. #179 (SEA-1794) migrated the corpus + decision ledger + ledger gate into this repo, so the correction is re-homed here and #1095 is closed. The decision takes **DL-148** — allocated above the current ledger max after the migration (DL-130 in this repo is an unrelated role-prompts decision). Refs SEA-1731 Co-authored-by: Matt Wilkinson <matt@sealedsecurity.com>
seal-agent
force-pushed
the
compass-repo-1731-forge-record-fix-compass
branch
from
August 7, 2026 03:04
d677e40 to
c35cb46
Compare
seal-agent
added a commit
that referenced
this pull request
Aug 7, 2026
The compass-ux-foundation design record (#186, merged) reserved the provisional ledger block DL-148..DL-160 in its Ledger-impact section but, per the ledger single-writer path, did not write DECISIONS.md itself. This lands those 13 rows now that the record is frozen on main. - New `## UX foundation (design system)` section holding all 13 rows contiguously (one cohesive frozen record, grouped by domain as the ledger already groups). - Each row's Decision cell is the record's Ledger-impact prose verbatim (immutable-cell convention); each Record link resolves to the frozen record's D1–D10 / D6.1 section anchors. - Append-only and contiguous above DL-147 (the prior max on main). No existing row is touched. design-ledger-gate passes (136 rows, 43 record headers valid). Confirmed clear with compass/service-owner (DL single-writer): DL-148..160 had no collision on main or any open branch; the authoritative reserved max advances to DL-161 (compass-repo #199). Spec-impact: none (transcribes a frozen record's reserved block) Ledger-impact: DL-148, DL-149, DL-150, DL-151, DL-152, DL-153, DL-154, DL-155, DL-156, DL-157, DL-158, DL-159, DL-160 Refs SEA-1663 Co-authored-by: Matt Wilkinson <matt@sealedsecurity.com>
mattwilkinsonn
added a commit
that referenced
this pull request
Aug 7, 2026
The compass-ux-foundation design record (#186, merged) reserved the provisional ledger block DL-148..DL-160 in its Ledger-impact section but, per the ledger single-writer path, did not write DECISIONS.md itself. This lands those 13 rows now that the record is frozen on main. - New `## UX foundation (design system)` section holding all 13 rows contiguously (one cohesive frozen record, grouped by domain as the ledger already groups). - Each row's Decision cell is the record's Ledger-impact prose verbatim (immutable-cell convention); each Record link resolves to the frozen record's D1–D10 / D6.1 section anchors. - Append-only and contiguous above DL-147 (the prior max on main). No existing row is touched. design-ledger-gate passes (136 rows, 43 record headers valid). Confirmed clear with compass/service-owner (DL single-writer): DL-148..160 had no collision on main or any open branch; the authoritative reserved max advances to DL-161 (compass-repo #199). Spec-impact: none (transcribes a frozen record's reserved block) Ledger-impact: DL-148, DL-149, DL-150, DL-151, DL-152, DL-153, DL-154, DL-155, DL-156, DL-157, DL-158, DL-159, DL-160 Refs SEA-1663 Co-authored-by: Matt Wilkinson <matt@sealedsecurity.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Corrects the frozen
compass-server-ownership-layer-amendmentrecord so its §A1 add-list matches the shipped A1 proto (PR #149): the forge notification/carrier types (ForgeNotification/ForgeNotificationKind,ForgeArtifactKind,CommentRef) live in a new internal-only leafproto/compass/v1/forge.protothat imports onlycompass.proto, not inagent_gateway.protoas #995 T1 and this record's original text directed — that placement is a circular import (agent_gateway.protoalready importsagent.proto, soagent.protoreferencing anagent_gateway.prototype is a cyclebufrejects). TheForgeCall*carrier + op requests stay inagent_gateway.proto; the leaf is imported acyclically byagent.proto/agent_gateway.proto/runner.proto. Wire contract, field numbers, and generated names are unchanged — placement only.Rewrites the "one structural consequence" section to "two structural consequences" (the cross-file import plus the new leaf), updates the T1 add-list and the row-13 disposition, and adds the ledger row for the placement decision.
This correction was originally authored as a sealed PR (#1095) against the design corpus while it lived in
sealedsecurity/sealed. #179 (SEA-1794) migrated the corpus + decision ledger + ledger gate into this repo, so the correction is re-homed here and #1095 is closed. The decision takes DL-148 — allocated above the current ledger max after the migration (DL-130 in this repo is an unrelated role-prompts decision).Refs SEA-1731
Co-authored-by: Matt Wilkinson matt@sealedsecurity.com