Element ids: the existing-member route and one-way v3/v5 rollback, documented #98

Merged
libby merged 4 commits from hands/variants-element-id-docs into main 2026-11-11 08:53:13 +00:00
Member

Docs and one message for Aqua's AquaSynth #35 findings (variants:follow_up:cult-element-id-existing-member, store-header-v3-one-way):

  • The Caching README teaches the trailing derived-member route for a type with an existing readable id and why the rule exists; the refusal text names that route.
  • Rollback after a store holds element ids is one-way: v3 single-file / v5 directory, refused by name from cultlib-unity-v2.0.0 (single-file) and cultlib-unity-v1.0.57 / caching-unity-v1.2.0 (directory); earlier pins read single-file stores silently and drop the ids. No carry-back except the narrow whole-store write that leaves no id. The py/rs/ts runtimes keep the header they read.
  • Two C# tests pin the recipe (derive once, persist, rename keeps the element, v3) and the drop-to-v1 case.

Soul: s1 and s2 rejected (false claims, all fixed); s3 verified the tag facts, three Lows left, filed as follow-up.

🤖 Generated with Claude Code

Docs and one message for Aqua's AquaSynth #35 findings (variants:follow_up:cult-element-id-existing-member, store-header-v3-one-way): - The Caching README teaches the trailing derived-member route for a type with an existing readable id and why the rule exists; the refusal text names that route. - Rollback after a store holds element ids is one-way: v3 single-file / v5 directory, refused by name from cultlib-unity-v2.0.0 (single-file) and cultlib-unity-v1.0.57 / caching-unity-v1.2.0 (directory); earlier pins read single-file stores silently and drop the ids. No carry-back except the narrow whole-store write that leaves no id. The py/rs/ts runtimes keep the header they read. - Two C# tests pin the recipe (derive once, persist, rename keeps the element, v3) and the drop-to-v1 case. Soul: s1 and s2 rejected (false claims, all fixed); s3 verified the tag facts, three Lows left, filed as follow-up. 🤖 Generated with [Claude Code](https://claude.com/claude-code)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Docs: refusal by name differs by store kind and pin (tags read); the C# runtime decides the mark; empty and duplicate sources refuse to load
All checks were successful
CultMesh QUIC native / Build win32-x64 (pull_request) Has been skipped
CultMesh QUIC native / Build linux-x64 (pull_request) Has been skipped
CultMesh QUIC native / Release native binaries (pull_request) Has been skipped
CultMesh portability and performance / ubuntu-latest reactive semantics and leases (pull_request) Successful in 25m38s
CultMesh QUIC native / Verify committed binaries match SHA256SUMS (pull_request) Successful in 46s
3e9fb543f2
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
libby merged commit 7002c252ed into main 2026-11-11 08:53:13 +00:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
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!98
No description provided.