Skip to content

Commit deb5c6e

Browse files
committed
docs(changeset): carry the unique-scope family's two corrections in this slice's note
Under the maintainer's ruling B, slice 3's note stays as written and this slice's own changeset says what changed under it: a field-less unique refusal is now unattributed where a unique indexes[] entry covers the probed column, and the second organization is provisioned by signUp, then POST /auth/organization/create. Frontmatter and the Clause-② line unchanged. Claude-Session: https://claude.ai/code/session_01VoSxBQujKLZKPwK2u5ehQ6 Co-authored-by: Claude <noreply@anthropic.com>
1 parent 3478955 commit deb5c6e

1 file changed

Lines changed: 5 additions & 0 deletions

File tree

‎.changeset/15953-verify-parent-write-reach-family.md‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -36,3 +36,8 @@ await stack.stop();
3636
```
3737

3838
**`@objectstack/cli` — `os verify --parent-write-reach`.** Opt-in, like `--delete-behaviors` and `--unique-scopes`, on a fresh boot of its own with the verifier personas' sets registered. A write whose answer disagrees, a door that faulted, or a persona that could not be provisioned counts in `hardFailures` and fails the run. The `--json` document carries the report as `parentWriteReach` when the flag is given; without the flag the run and its document are unchanged.
39+
40+
**The unique-scope family — one change and one correction.** `runUniqueScopeProofs` is new in this same release, and two sentences of its own entry in these notes no longer hold:
41+
42+
- **Attribution changed.** A unique refusal that names no field is now `unattributed` where a unique `indexes[]` entry covers the probed column. That entry refuses the same second holder, naming no field either, and admits the twin, so there the refusal may be the entry's rather than the field's own declaration. This is a change to the family's attribution rule: a field-less refusal is attributed to the field only when its twin with only the probed value changed is admitted AND no unique `indexes[]` entry covers the field.
43+
- **How the second organization is provisioned, corrected.** The family provisions it by `signUp`, then `POST /auth/organization/create`, not by a sign-up that creates its own organization as that entry's parenthetical says.

0 commit comments

Comments
 (0)