Author	SHA1	Message	Date
Libby	6311d599ad	cultcache-ts: one record per key; a store's unregistered records load as foreign ... The cache judge #refuseRetype runs before every admission; the unresolved-type throw in the load is replaced by the foreign list; writtenOwns moves to store-format.ts as the one predicate of both judges. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>	2026-11-11 23:42:16 +00:00
Libby	6d1684e1c2	Key-identity vector: retype refusal, foreign carry, key in two stores (C# rows, 12) (#120)	2026-11-11 23:42:09 +00:00
Meta Vens	16d68660de	Write-ownership map: body facts across runtimes, authority table, cut sequence ... Probed at b7a68884: only the C# cache arm retypes a key (cache {A,B} replaces B's record with A); cacheless writes already refuse. TS, Rust and Python key records by (type, key), so two types coexist at one key and no leaf has a retype path; leaf parity needs key identity first. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2026-10-28 00:08:03 +01:00