docs(nips): add single-coordinate manual-unread override layer and verification model to NIP-RS - #2864

Merged

wpfleger96 merged 11 commits into

mainfrom

duncan/nip-rs-unread-spec

Jul 31, 2026

Commits on Jul 26, 2026

docs(nips): add manual-unread override layer to NIP-RS

npub1mn7jgtj4w2pd0g0zeuhxsa6jy6p0rewxz4kujt98my82ahfmp72sxjexk7
and
wpfleger96
committed
021347f
docs(nips): fix NIP-RS override layer lifecycle and validation (review round 1)

npub1mn7jgtj4w2pd0g0zeuhxsa6jy6p0rewxz4kujt98my82ahfmp72sxjexk7
and
wpfleger96
committed
edd32b9
docs(nips): confine NIP-RS override state to one coordinate per install

npub1mn7jgtj4w2pd0g0zeuhxsa6jy6p0rewxz4kujt98my82ahfmp72sxjexk7
and
wpfleger96
committed
b94d495
docs(nips): enumerate NIP-RS full-state loads without a tag constraint
wpfleger96
committed
2654294
docs(nip-rs): fix full-state load bootstrap and step precedence
wpfleger96
committed
dcac64b
docs(nip-rs): make full-state load relay preconditions normative
wpfleger96
committed
84dc937

Commits on Jul 30, 2026

docs(nip-rs): add fence delivery barrier and addressable tie-break to full-state load

npub1mn7jgtj4w2pd0g0zeuhxsa6jy6p0rewxz4kujt98my82ahfmp72sxjexk7
and
wpfleger96
committed
acccc85
docs(nip-rs): scope late-push motivation and the fail-closed claim

npub1mn7jgtj4w2pd0g0zeuhxsa6jy6p0rewxz4kujt98my82ahfmp72sxjexk7
and
wpfleger96
committed
852cf8e

Commits on Jul 31, 2026

docs: close pass-3 and pass-1/2-final findings in NIP-RS manual-unread model

wpfleger96
authored and
npub1mn7jgtj4w2pd0g0zeuhxsa6jy6p0rewxz4kujt98my82ahfmp72sxjexk7
committed
c76f80d
docs(formal): close transport CRITICAL + fix claim audits in NIP-RS unread model

npub1mn7jgtj4w2pd0g0zeuhxsa6jy6p0rewxz4kujt98my82ahfmp72sxjexk7
and
wpfleger96
committed
fd5b3af
docs(formal/nip-rs-unread): fix round 2 — escaped-ctx identity, oracle rewrite, M9, cleanup

npub1mn7jgtj4w2pd0g0zeuhxsa6jy6p0rewxz4kujt98my82ahfmp72sxjexk7
and
wpfleger96
committed
48cc940