Skip to content

feat(verified): seal_write.t27 -- what one seal write must guarantee (REA 6.6.0 patterns) - #10458

Merged
gHashTag merged 2 commits into
masterfrom
claude/seal-write-safety
Oct 18, 2026
Merged

gHashTag merged 2 commits into
masterfrom
claude/seal-write-safety

docs(verified): seal_write.t27 carries why the seal lookup folds case…

f4919b9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar