Contract: a cacheless write asks the same ownership rule with its one entry
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
This commit is contained in:
parent
0c19d080b3
commit
7c7cc79904
1 changed files with 4 additions and 3 deletions
|
|
@ -206,9 +206,10 @@ The rule is checked again where the write lands, under the store's lock: a write
|
|||
whose durable record is not owned, because another writer rewrote it after this cache
|
||||
loaded, is refused typed, and the record is reloaded as the store holds it, read-only when a type can
|
||||
read it. This holds for every write through the store, the store's own `Push`, `Delete` and
|
||||
`CommitBatch` included. A CultMesh single-file write owns the ids of the catalog entry it writes,
|
||||
its own and those it lists compatible, and an id whose publishing entry has the entry's schema name and
|
||||
which the entry reads whole; it is refused the same way otherwise.
|
||||
`CommitBatch` included. A CultMesh single-file write asks the same rule with the one catalog entry it writes in
|
||||
place of a registry: it owns that entry's own id and the ids it lists compatible, and an id whose publishing
|
||||
entry that entry reads whole (the entry lists the writer's id compatible, or has its schema name, and leaves no
|
||||
persisted slot unread); it is refused the same way otherwise.
|
||||
|
||||
A record that resolves to no local type is a foreign record, for example one of a type this build does not
|
||||
have, or one renamed under a new schema name without declaring its old id. A store never destroys or relabels it: the store carries it
|
||||
|
|
|
|||
Loading…
Reference in a new issue