docs: nommer les deux lectures, et dire laquelle est une primitive

This commit is contained in:
Sylvain Duchesne
2026-09-21 13:40:35 +02:00
parent d0ea043a5b
commit 05a0f7b148
2 changed files with 16 additions and 7 deletions
+2
View File
@@ -6,6 +6,8 @@
«app-contract»
`reference` a NURI that names a document and grants nothing — what an application circulates (never: link, lien, share-link · see: contract_polyfill-surface)
`ReadCap` upstream's word for what opens a document — a reference carrying its secret (never: token, credential, permission)
`shape read` a read whose selector is a ShEx shape, i.e. which predicates an object carries, never a list of documents (never: typed read, shape-based read, lecture par forme · see: knowledge_what-a-read-scope-is-upstream)
`document read` a read selected by naming documents - upstream anchors ONE, so naming several is this package's own composition (never: bulk read, union read, lecture par document)
`polyfill-era` a published symbol with no counterpart in the target SDK, deleted at migration (never: transitional, shim-only · see: knowledge_what-an-app-deletes-at-migration)
«e2e-harness»
@@ -19,6 +19,13 @@ vocabulary:
- term: ReadCap
gloss: upstream's word for what opens a document — a reference carrying its secret
not: [token, credential, permission]
- term: shape read
gloss: a read whose selector is a ShEx shape, i.e. which predicates an object carries, never a list of documents
not: [typed read, shape-based read, lecture par forme]
see: knowledge_what-a-read-scope-is-upstream
- term: document read
gloss: a read selected by naming documents - upstream anchors ONE, so naming several is this package's own composition
not: [bulk read, union read, lecture par document]
- term: polyfill-era
gloss: a published symbol with no counterpart in the target SDK, deleted at migration
not: [transitional, shim-only]