Skip to content

docs(signing-key-lld): dual-audience translate pass — decision-matrix + symbol anchors#407

Merged
bdchatham merged 1 commit into
mainfrom
docs/lingua-translate-signing-key-lld
Jun 13, 2026
Merged

docs(signing-key-lld): dual-audience translate pass — decision-matrix + symbol anchors#407
bdchatham merged 1 commit into
mainfrom
docs/lingua-translate-signing-key-lld

Conversation

@bdchatham

Copy link
Copy Markdown
Collaborator

An improve-in-place /lingua Translate pass on the validator signing-key LLD — the first production translation from the Sei Agentic Mesh corpus work (Phase 3 pilot). Suggest-only, and because this doc is safety-critical (a validator double-sign is slashable and irreversible), Guardrail-6 was in force throughout: restructure for clarity, never reword a constraint.

The doc was already strongly conformant, so this is a deliberately small diff — two real improvements, nothing manufactured:

1. §6 validator legality → decision-matrix

The three SigningKey-combination paragraphs become a (combination → verdict → why) table. Every verdict (Rejected / Valid-and-expected / Valid) and every reason is preserved verbatim-in-meaning; the GenesisCeremony mutual-exclusion invariant now reads must not (was "is not"), corroborated by the return fmt.Errorf(...) block directly above it. The win is dual-legibility: a reader scans the verdict column, and an implementing agent reads three typed (combination, verdict) facts instead of inferring each verdict from a mid-paragraph adjective.

2. File anchors: drifted line numbers → symbols

Three code references had genuinely rotted since the doc was written. Re-anchored to symbols that survive refactors (all verified present on main):

was now
planner.go:195 the NodeUpdateInProgress setCondition discipline
noderesource.go:229-447 buildNodePodSpec, buildNodeMainContainer
planner.go:411 buildBasePlan (validator path)
validator.go:17-36 validatorPlanner.Validate

What was deliberately not changed

Sections that were already conformant were left untouched. §8's cutover is single-shot by construction (no phases), so no per-phase rollback was invented — surfaced, not authored.


Review: prose-steward adversarial fidelity pass → DOES NOT BLOCK (clause-by-clause check of the safety-critical §6 matrix; no constraint dropped, weakened, or broadened). · Linear: PLT-496 · Doctrine: Design 04 → BG-4 (Tide#146)

🤖 Generated with Claude Code

… + symbol anchors

Improve-in-place /lingua Translate of the validator signing-key LLD (Sei
Agentic Mesh Phase 3 pilot). Suggest-only, Guardrail-6 (safety-critical:
double-sign) in force — restructure, never reword a constraint.

- §6 validator legality: the three SigningKey-combination paragraphs become a
  (combination → verdict → why) decision-matrix. Every verdict and reason
  preserved verbatim-in-meaning; the GenesisCeremony mutual-exclusion invariant
  reads 'must not' (was 'is not'), corroborated by the code block above it. An
  agent now reads three typed (combination, verdict) facts instead of inferring
  the verdict from mid-paragraph adjectives.
- File anchors re-pointed from drifted line numbers to symbols that survive
  refactors: planner.go:195 → the NodeUpdateInProgress setCondition discipline;
  noderesource.go:229-447 → buildNodePodSpec/buildNodeMainContainer;
  planner.go:411 → buildBasePlan; validator.go:17-36 → validatorPlanner.Validate.
  (The old line numbers had genuinely rotted.)

No content that was already conformant was touched; §8 cutover has no per-phase
rollback and none was invented (the design is single-shot by construction).

Reviewed by prose-steward (adversarial fidelity pass): DOES NOT BLOCK.
Linear: PLT-496.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@cursor

cursor Bot commented Jun 13, 2026

Copy link
Copy Markdown

PR Summary

Low Risk
Documentation-only edits to an LLD; no runtime or API behavior changes, with safety constraints preserved rather than relaxed.

Overview
§6 validator legality is reframed as a three-row decision matrix (SigningKey × GenesisCeremony / Snapshot / neither → verdict → rationale), replacing prose paragraphs. The GenesisCeremony mutual-exclusion rule is stated as must not import keys from a Secret, aligned with the planner fmt.Errorf above it; other verdicts and migration/block-sync cases are unchanged in meaning.

§5 and Related work drop brittle line-number links (planner.go:195, noderesource.go:229-447, etc.) in favor of stable symbol anchors (NodeUpdateInProgress setCondition discipline, buildNodePodSpec / buildNodeMainContainer, validatorPlanner.Validate, buildBootstrapPlan, buildBasePlan validator path).

Reviewed by Cursor Bugbot for commit eae2305. Bugbot is set up for automated code reviews on this repo. Configure here.

@bdchatham bdchatham merged commit a79a0e9 into main Jun 13, 2026
5 checks passed
@bdchatham bdchatham deleted the docs/lingua-translate-signing-key-lld branch June 13, 2026 17:44
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