Rust cache: one record per key, foreign carry, key-identity vector walked #123

Merged

libby merged 13 commits from hands/variants-leaf-key-identity-rs into main 2026-11-12 01:05:47 +00:00

Conversation 0 Commits 13 Files changed 7 +776 -53

libby commented 2026-11-11 23:48:31 +00:00

Member

Copy link

Rust leaf of variants:follow_up:leaf-key-identity-parity: the cache holds one record per key (a second type at a held key, or at a key a store carries foreign, is refused with SchemaConflictError, memory-only included), a store's unregistered records load as foreign and are carried byte for byte through writes, a key in two stores refuses the pull; walks the key-identity vector merged as 6d1684e1 (12 rows).

Breaking for leaf consumers (not the managed API: src/ is untouched, so apicompat has nothing to check); the CHANGELOG Unreleased "Breaking" entry states it, and per docs/semver-policy.md the next release is a major bump (Rust is consumed by pinned revision).

Known open, stated in the CHANGELOG and docs/write-ownership-map.md: at a key only the store holds, ownership still follows the envelope's claimed id for ids the cache does not register (Soul cut-leaf-key-identity-rs.s3, deferred to variants:follow_up:lki-rs-declared-ids; it predates this change). redb still keys by (type, key).

Soul passes s1 to s4; s4 held (docs delta over s3 code held with the deferred blocker).

🤖 Generated with Claude Code

Rust leaf of `variants:follow_up:leaf-key-identity-parity`: the cache holds one record per key (a second type at a held key, or at a key a store carries foreign, is refused with `SchemaConflictError`, memory-only included), a store's unregistered records load as foreign and are carried byte for byte through writes, a key in two stores refuses the pull; walks the key-identity vector merged as 6d1684e1 (12 rows). Breaking for leaf consumers (not the managed API: `src/` is untouched, so apicompat has nothing to check); the `CHANGELOG` Unreleased "Breaking" entry states it, and per docs/semver-policy.md the next release is a major bump (Rust is consumed by pinned revision). Known open, stated in the CHANGELOG and `docs/write-ownership-map.md`: at a key only the store holds, ownership still follows the envelope's claimed id for ids the cache does not register (Soul `cut-leaf-key-identity-rs.s3`, deferred to `variants:follow_up:lki-rs-declared-ids`; it predates this change). redb still keys by (type, key). Soul passes s1 to s4; s4 held (docs delta over s3 code held with the deferred blocker). 🤖 Generated with [Claude Code](https://claude.com/claude-code)

libby added 13 commits 2026-11-11 23:48:31 +00:00

cultcache-rs: walk the key-identity vector (red: memory retype, foreign load, key in two stores) ... 5cb91c1c44

Adds the foreign list and foreign_records() accessor, unpopulated.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

cultcache-rs: one record per key in the cache; a store's unregistered records load and are carried as foreign ... 9a8d9f6ee5

One judge, refuse_retype, runs at put, put_envelope, put_raw_envelope, batch, pull and load_soa.
The pull's unresolved-type refusal is gone; put_prepared_batch lays foreign records back.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

cultcache-rs: pin the foreign key in another store and the SoA retype (survivors of hand mutation) ... 4a8e16f4a3

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

cultcache-rs: refused_pull test refuses a key in two stores, the unregistered-type refusal being gone ... 8e6bebfda7

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

cultcache-rs: walk the 12-row key-identity vector; the refusal names its key as a delimited token ... fc367b8ea5

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

cultcache-rs: an envelope claiming the held type's id is still a second type (red: put_envelope, raw, batch, SoA, pull) ... faa2112e8e

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

cultcache-rs: another registered type's record at a key is never owned, whatever id the envelope claims; a store's two records at one key refuse the pull ... c435be28f8

The judge compared the envelopes' claimed schema ids, so a Beta envelope stamped with Alpha's id landed beside Alpha.
Ownership is the written type's own id (C# WrittenOwns); here that is its entry type, with no compatible ids.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

cultcache-rs: pin the batch's own-store lay-back, a refused pull's foreign list and the SoA foreign judge ... c0d0730f7b

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

Rust leaf: ownership map's Rust cells, the changelog's envelope-id and redb load consequences, the vector's catalog spelling note ... 33f5679fc4

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

cultcache-rs: an envelope claiming another registered type's id is refused at admission (red: stale cache and fresh key, every envelope path) ... 1aa7ec2528

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

cultcache-rs: refuse at admission an envelope whose schema id names another registered type ... 86f2472282

put_envelope, put_raw_envelope, put_prepared_batch and load_soa ask the pull's own lookup (resolve_registered_type):
an id resolving to another registered type is refused whether or not this cache holds the key, so a stale cache or a
fresh key can no longer store a Note every reload serves as Settings. Ids naming no registered type still pass. The
type-compare test moves to two envelopes sharing one such id, where refuse_retype alone decides.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

Rust leaf: ownership map and changelog say what the cache judge and the admission check refuse, and that store-level writers trust the claimed id ... b95a1fa7bb

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

Rust leaf: changelog and ownership map scope the admission refusal to ids this cache registers and state the unregistered-id consequence ... 293ce32a6b

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

libby force-pushed hands/variants-leaf-key-identity-rs from 293ce32a6b to 8b8d6c15e0 2026-11-12 00:45:53 +00:00 Compare

libby merged commit c371832736 into main 2026-11-12 01:05:47 +00:00

libby referenced this pull request from a commit 2026-11-12 01:05:48 +00:00

Rust cache: one record per key, foreign carry, key-identity vector walked (#123)

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

GameCult/CultLib!123

No description provided.