diff --git a/CLAUDE.md b/CLAUDE.md index a53cc57..175c89a 100644 --- a/CLAUDE.md +++ b/CLAUDE.md @@ -90,7 +90,7 @@ that owns the work is the other case: there the authority is the operator's and the subagent is only the hands, so it may act. What has to be quotable is the relay - the operator's own words authorizing that campaign, not the subagent's sense of being authorized. A subagent that cannot quote them -reports and stops. (Recorded 2026-09-05 by the operator, campaign 029.) +reports and stops. (Recorded 2026-09-05 by the operator.) A relay unlocks nothing the rows above forbid outright: closing a mirrored bead whose other half has not landed, and a release - a tag, a @@ -102,15 +102,14 @@ merge of one PR meeting every condition its consent names. A version bump is the recorded exception: on a release bead the operator has named (in the campaign plan or their own words), the bump commit is release -prep, not a release. (Recorded 2026-08-27 by the operator, campaign 008.) +prep, not a release. (Recorded 2026-08-27 by the operator.) Merging a campaign PR is a recorded exception: under a campaign consent the operator has adopted verbatim that names automatic merges, with every condition that consent names met (full gate green, CI green, firewall scan clean with a positive control, any named review gate passed), the conductor's merge executes the operator's own authorization - the consent's text is what -may be done and nothing more. (Recorded 2026-09-01 by the operator, campaign -025 post-wrap queue walk.) +may be done and nothing more. (Recorded 2026-09-01 by the operator.) Widening this section is a decision for the user to make and record here. An agent may draft the change; it does not adopt it. diff --git a/docs/adr/0003-fixtures-as-the-example-data-contract.md b/docs/adr/0003-fixtures-as-the-example-data-contract.md index cc1d2e2..1c1c3f1 100644 --- a/docs/adr/0003-fixtures-as-the-example-data-contract.md +++ b/docs/adr/0003-fixtures-as-the-example-data-contract.md @@ -1,7 +1,7 @@ # ADR-0003: Fixtures as the example-data contract Status: accepted (2026-08-16) -Amendment status: **accepted** (2026-09-05, campaign-029) - see below; the +Amendment status: **accepted** (2026-09-05) - see below; the amendment's substitution table was applied to the accepted text's named sites on 2026-09-05 (sui-bzg), under the operator ruling of that date. diff --git a/docs/adr/0005-language-neutral-trace-wire-format.md b/docs/adr/0005-language-neutral-trace-wire-format.md index 964c16b..79223a7 100644 --- a/docs/adr/0005-language-neutral-trace-wire-format.md +++ b/docs/adr/0005-language-neutral-trace-wire-format.md @@ -7,7 +7,7 @@ set gains exactly one form, `{"$redacted": true}`, producible by the projection layer; format version stays 1 Amendment status: **accepted** (2026-09-02, sui-qay: attribute-level entries in the identity tables, on the unqualified direction-agent verdict -under the operator campaign-026 grant, PR 68; drafted 2026-09-01 as +under the operator's grant, PR 68; drafted 2026-09-01 as proposed) - see "Amendment accepted" below; the accepted text outside that section is unchanged. diff --git a/docs/adr/0007-text-first-authoring.md b/docs/adr/0007-text-first-authoring.md index 20acadb..7ce2199 100644 --- a/docs/adr/0007-text-first-authoring.md +++ b/docs/adr/0007-text-first-authoring.md @@ -3,14 +3,14 @@ Status: accepted (2026-08-16) Amendment status: **accepted** (2026-09-02, sui-qay: attribute-level stamping and the closed layering gap, on the unqualified direction-agent -verdict under the operator campaign-026 grant, PR 68; drafted 2026-09-01 +verdict under the operator's grant, PR 68; drafted 2026-09-01 as proposed) - see "Amendment accepted" below; the accepted text outside that section is unchanged. Amendment status: **accepted** (2026-09-05, sui-gcm: a picklist is a rendering of the expression string, and the component owns no second representation, on the unqualified direction-agent verdict under the -operator campaign-029 grant; drafted 2026-09-04 as proposed) - see +operator's grant; drafted 2026-09-04 as proposed) - see "Amendment accepted" below; the accepted text outside that section is unchanged, as is the sui-qay amendment above it. diff --git a/docs/adr/0009-javascript-ships-as-source.md b/docs/adr/0009-javascript-ships-as-source.md index c876bd1..2079fef 100644 --- a/docs/adr/0009-javascript-ships-as-source.md +++ b/docs/adr/0009-javascript-ships-as-source.md @@ -229,7 +229,7 @@ still surfaces in a host's build, which is the price this record already accepted. No decision moves, no clause is edited, and no text above this line changes. -Filed with `sui-wqr`, campaign 027's condition-editor arc. +Filed with `sui-wqr`, part of the condition-editor arc. --- @@ -287,8 +287,7 @@ earlier one than a downstream user's build, and it is the whole of what the "price of the thin toolchain" now buys. No decision moves, no clause is edited, and no text above this line changes. -Filed with `sui-l3u`; the check itself is `statifier_examples` PR 65, campaign -033's fill lane. +Filed with `sui-l3u`; the check itself is `statifier_examples` PR 65. --- @@ -311,4 +310,4 @@ not a test, it still lives in the host rather than here, and this repository's toolchain is still Node-free. No decision moves, no clause is edited, and no text above this line changes. -Filed with `sui-ehe`, campaign 034's ruling RQ-034-10. +Filed with `sui-ehe`, on a ruling by the operator. diff --git a/docs/adr/0012-trace-projection-and-redaction.md b/docs/adr/0012-trace-projection-and-redaction.md index 301e43f..4f929ce 100644 --- a/docs/adr/0012-trace-projection-and-redaction.md +++ b/docs/adr/0012-trace-projection-and-redaction.md @@ -1,7 +1,7 @@ # ADR-0012: Trace projection and redaction Status: accepted (2026-08-26) -Amendment status: **accepted** (2026-09-05, campaign-029; proposed 2026-08-27, sui-0of); **accepted** (2026-08-29, sui-hmn: the three implementation rulings, accepted under the operator campaign-015 direction-agent gate grant, PR 55) - see "Amendment +Amendment status: **accepted** (2026-09-05; proposed 2026-08-27, sui-0of); **accepted** (2026-08-29, sui-hmn: the three implementation rulings, accepted under the operator's direction-agent gate grant, PR 55) - see "Amendment proposed" below; the sui-0of substitution was applied to the Decision's "Located positions" passage on 2026-09-05 (sui-bzg), under the operator ruling of that date. @@ -13,7 +13,7 @@ version stays `1` - see "Versioning decision" below. ## Amendment proposed 2026-08-27 (sui-0of): canonical example domains -*Accepted 2026-09-05 (campaign-029); proposed 2026-08-27. The substitution +*Accepted 2026-09-05; proposed 2026-08-27. The substitution proposed below was applied to the Decision's "Located positions" passage on 2026-09-05 (sui-bzg); nothing else below this section has been edited.* @@ -53,7 +53,7 @@ list is still a list. ## Amendment accepted 2026-08-29 (sui-hmn): the three implementation rulings -Status: accepted (2026-08-29, unqualified direction-agent verdict under the operator campaign-015 grant, PR 55) +Status: accepted (2026-08-29, unqualified direction-agent verdict under the operator's grant, PR 55) *Accepted 2026-08-29. Nothing outside this section has been edited, and no Status line elsewhere in this record has been changed.* diff --git a/docs/adr/0013-otel-correlation-in-the-wire-format.md b/docs/adr/0013-otel-correlation-in-the-wire-format.md index 9270d98..81c2a53 100644 --- a/docs/adr/0013-otel-correlation-in-the-wire-format.md +++ b/docs/adr/0013-otel-correlation-in-the-wire-format.md @@ -1,6 +1,6 @@ # ADR-0013: OTel correlation in the trace wire format -Status: accepted (2026-09-01, campaign-025; unqualified direction-agent verdict) +Status: accepted (2026-09-01; unqualified direction-agent verdict) Extends ADR-0005 additively: one new optional envelope key, reserved by name, carried on the message families that already carry the step counters. @@ -34,7 +34,7 @@ misbehaving macrostep in the inspector cannot get to its trace, and one looking at a slow `statifier.macrostep` span cannot get to the phase-by-phase detail that would explain it. The join is the point of doing either. -The operator ruling of 2026-09-01 (campaign-025 ruling R25-2, recorded as a +The operator ruling of 2026-09-01 (recorded as a dated note on `sui-b94`) settled the question this record's bead was filed to ask, and left one thing open: diff --git a/docs/adr/0014-non-value-error-reasons-on-the-wire.md b/docs/adr/0014-non-value-error-reasons-on-the-wire.md index 2de7f22..6ff2746 100644 --- a/docs/adr/0014-non-value-error-reasons-on-the-wire.md +++ b/docs/adr/0014-non-value-error-reasons-on-the-wire.md @@ -1,6 +1,6 @@ # ADR-0014: Non-value error reasons on the wire -Status: accepted (2026-09-05, campaign-029; proposed 2026-09-02, campaign-027) +Status: accepted (2026-09-05; proposed 2026-09-02) Extends ADR-0005 additively: the existing event `error` object gains a discriminator and two optional fields, and becomes reachable for a class of @@ -449,7 +449,7 @@ drops these messages. ## Notes -- 2026-09-02 (campaign-027, `sui-4lr`): recorded at Status **proposed**. The +- 2026-09-02 (`sui-4lr`): recorded at Status **proposed**. The flip to accepted is the operator's, and follows as its own docs-only change. Line numbers in this record were resolved against `statifier-ui` `662a6f6` and statifier 2.0.0 as vendored under diff --git a/docs/adr/0015-a-neutral-discriminator-for-exit-reasons.md b/docs/adr/0015-a-neutral-discriminator-for-exit-reasons.md index 6331f03..bbf5353 100644 --- a/docs/adr/0015-a-neutral-discriminator-for-exit-reasons.md +++ b/docs/adr/0015-a-neutral-discriminator-for-exit-reasons.md @@ -1,6 +1,6 @@ # ADR-0015: A neutral discriminator beside `session.terminated`'s reason -Status: accepted (2026-09-05, campaign-029) +Status: accepted (2026-09-05) Extends ADR-0005 additively: `session.terminated` gains one optional field, `kind`, carrying a language-neutral token for the exit reason's class. The @@ -471,7 +471,7 @@ emits `reason` alone. ## Notes -- 2026-09-02 (campaign-027, `sui-2s4`): recorded at Status **proposed**. The +- 2026-09-02 (`sui-2s4`): recorded at Status **proposed**. The flip to accepted is the operator's, and follows as its own docs-only change. No code, no `docs/wire-format.md` edit, and no implementing bead accompany this record; all three follow the flip. @@ -502,7 +502,7 @@ emits `reason` alone. branch is cut from. ADR-0014 was already on `main` when this branch was created, so its README index row is inherited rather than merged around. -- **Note, 2026-09-05 (campaign-030, `sui-77a`): the record's citations +- **Note, 2026-09-05 (`sui-77a`): the record's citations re-resolved against `main` at `9592f0e`.** PR 97's direction review left finding 3 open - two citations had drifted a few lines. Re-resolving them today showed the drift is wider than those two, because `docs/wire-format.md` diff --git a/docs/adr/0016-value-location-omits-its-fallback.md b/docs/adr/0016-value-location-omits-its-fallback.md index 26f5cfb..44626c1 100644 --- a/docs/adr/0016-value-location-omits-its-fallback.md +++ b/docs/adr/0016-value-location-omits-its-fallback.md @@ -1,9 +1,9 @@ # ADR-0016: `value_location` omits its element-span fallback -Status: accepted (2026-09-05, campaign-030; proposed 2026-09-02, campaign-027) +Status: accepted (2026-09-05; proposed 2026-09-02) -Amendment status: **accepted** (2026-09-05, campaign-030; proposed -2026-09-05, campaign-030, sui-4so: Decision 2 re-argued +Amendment status: **accepted** (2026-09-05; proposed +2026-09-05, sui-4so: Decision 2 re-argued against an always-present span cell, after `8119f19` falsified the "not a schema change" limb) - see "Amendment proposed" below; the record's text outside that section is unchanged, apart from one added item in the @@ -209,10 +209,10 @@ This pull request merges at `proposed`; a separate pull request flips this amendment's status, and the record's own Status line, to `accepted` once the operator has taken the judgement in limb 2 above. -**Note, 2026-09-05 (campaign-030, `sui-dgi`):** that separate pull request is +**Note, 2026-09-05 (`sui-dgi`):** that separate pull request is the one carrying this Note. Both status lines - this amendment's in the header and the record's own - now read `accepted`, and the operator has taken -the judgement in limb 2 (`RQ-030-1`, verbatim: "accept as written, version +the judgement in limb 2 (ruled by the operator, 2026-09-05, verbatim: "accept as written, version stays 1"). The sentence above stands as written and is historical: it describes the state at the recording pull request, not the record's state today. Added by addition rather than by rewording, so the flip removes no @@ -415,7 +415,7 @@ redundancy, and the naming is the part the format cares least about. Recommended, pending the operator's flip. The Status line above stays `proposed`. -**Note, 2026-09-05 (campaign-030, `sui-dgi`):** the flip landed in the pull +**Note, 2026-09-05 (`sui-dgi`):** the flip landed in the pull request that carries this Note, and the header above now reads `accepted`. The sentence above stands as written and is historical: it describes the state at the recording pull request, not the record's state today. Added by diff --git a/docs/adr/0017-an-offline-producer-for-the-wire-format.md b/docs/adr/0017-an-offline-producer-for-the-wire-format.md index efe1eea..8752acc 100644 --- a/docs/adr/0017-an-offline-producer-for-the-wire-format.md +++ b/docs/adr/0017-an-offline-producer-for-the-wire-format.md @@ -1,6 +1,6 @@ # ADR-0017: An offline producer for the wire format -Status: accepted (2026-09-05, campaign-030; proposed 2026-09-05, campaign-030) +Status: accepted (2026-09-05; proposed 2026-09-05) Adds a **second producer** of the v1 trace wire format beside `StatifierUI.Trace.Subscriber`: a pure function that turns a persisted @@ -229,7 +229,7 @@ avoids paying, it pays in surface. Recommended, pending the operator's flip. The Status line above stays `proposed`. -**Note, 2026-09-05 (campaign-030, `sui-yse`):** the flip landed in the pull +**Note, 2026-09-05 (`sui-yse`):** the flip landed in the pull request that carries this Note, and the header above now reads `accepted`. The sentence above stands as written and is historical: it describes the state at the recording pull request, not the record's state today. Added by diff --git a/docs/adr/0018-a-wire-message-for-guard-evaluation.md b/docs/adr/0018-a-wire-message-for-guard-evaluation.md index 66c84f2..6f5052a 100644 --- a/docs/adr/0018-a-wire-message-for-guard-evaluation.md +++ b/docs/adr/0018-a-wire-message-for-guard-evaluation.md @@ -1,6 +1,6 @@ # ADR-0018: A wire message for guard evaluation -Status: accepted (2026-09-05, campaign-031; proposed 2026-09-05, campaign-031) +Status: accepted (2026-09-05; proposed 2026-09-05) Adds one type to the v1 trace wire format: `trace.conds_evaluated`, the mapping of statifier 2.5.0's `Statifier.Effect.Trace.CondsEvaluated`. It @@ -14,7 +14,7 @@ move on `sui-e41`, which is filed and blocked on this record. This record merges at **proposed**; flipping it to accepted after `sui-e41` lands is a separate gated change (`sui-3or`). -**Note, 2026-09-05 (campaign-031, `sui-3or`):** that separate change is the one +**Note, 2026-09-05 (`sui-3or`):** that separate change is the one carrying this Note. The Status line above now reads `accepted`; `sui-e41` landed on `main` at `ac93c18` and the 0.7.0 prep at `6beea9f`. The sentence above stands as written and is historical: it describes the state at the recording pull @@ -389,7 +389,7 @@ and it flips only by its own gated pull request (`sui-3or`), after the section above; it touches no numbered decision, and every decision 1-6 landed as written.* -**Note, 2026-09-05 (campaign-031, `sui-3or`):** that gated pull request has +**Note, 2026-09-05 (`sui-3or`):** that gated pull request has landed, and the Status line now reads `accepted`. The paragraph above stands as written and is historical: it describes the state at the recording pull request. Its two substantive claims are unaffected by the flip - nothing above or below @@ -477,7 +477,7 @@ decides a wire-format shape before the shape exists: ADR-0016 and ADR-0017 each merged at proposed and were flipped in a later, separately gated change (`9942e1f` then `9592f0e`; `0f3c083` then `35a388a`). -**Note, 2026-09-05 (campaign-031, `sui-3or`):** the flip landed in the pull +**Note, 2026-09-05 (`sui-3or`):** the flip landed in the pull request that carries this Note, and the Status line above reads `accepted`. The paragraph above stands as written and is historical. The check it asks for was performed against `main` at `6beea9f`: every numbered decision 1-6 holds as diff --git a/docs/plans/260905-sui-2vj-path-types-declared-kinds.md b/docs/plans/260905-sui-2vj-path-types-declared-kinds.md index 08a26fd..aa59a8d 100644 --- a/docs/plans/260905-sui-2vj-path-types-declared-kinds.md +++ b/docs/plans/260905-sui-2vj-path-types-declared-kinds.md @@ -12,9 +12,9 @@ value it holds - and lets that declaration decide the operator list, the value control, and the candidate set, while never rewriting the author's source and never refusing it. -Bead: sui-2vj. Campaign 032, lane U. +Bead: sui-2vj. -**No new dependency.** The 032 design walk ruled that statifier-ui takes no +**No new dependency.** The operator ruled that statifier-ui takes no `statifier_datamodel` dependency: the caller (statifier_blocks, or any host) builds the map. `mix.exs` is untouched by this plan. @@ -893,7 +893,7 @@ change is measured against, and it satisfies all three. ## References -- Bead: `sui-2vj` (campaign 032, lane U; blocks `sui-oyy` and `sui-aln`) +- Bead: `sui-2vj` (blocks `sui-oyy` and `sui-aln`) - Related ADRs: `docs/adr/0007-text-first-authoring.md` (the sui-gcm amendment and its sui-94o Note), `docs/adr/0004-one-package-with-optional-integrations.md` (the one-way dependency arrow), diff --git a/docs/telemetry.md b/docs/telemetry.md index 7822414..a700e86 100644 --- a/docs/telemetry.md +++ b/docs/telemetry.md @@ -10,7 +10,7 @@ bridge implements for the engine) and statifier ADR-0062 (the bridge is a separate package, `opentelemetry_statifier`, scoped to the whole family rather than to the engine alone). -**Status: accepted (2026-09-01, campaign-025; unqualified direction-agent verdict).** Nothing here is emitted today. The surface below is +**Status: accepted (2026-09-01; unqualified direction-agent verdict).** Nothing here is emitted today. The surface below is the decision about what this package *will* emit and what it will never emit; the emit sites and their tests are a follow-up bead. diff --git a/mix.exs b/mix.exs index 88f1692..7655630 100644 --- a/mix.exs +++ b/mix.exs @@ -114,7 +114,7 @@ defmodule StatifierUI.MixProject do # (`StatifierDatamodel.Index.path_types/1`), and a second reading of the # same document in this package would be the drifting copy the # completion source already refuses for the grammar. Pure, no runtime - # processes, and no dependency of its own (RQ-033-5: the Hex floor, not + # processes, and no dependency of its own (the Hex floor, not # a git pin). {:statifier_datamodel, "~> 0.4"},