From 05a0f7b1488f7f84ba5cd524dfb39e941a5779a0 Mon Sep 17 00:00:00 2001 From: Sylvain Duchesne Date: Mon, 21 Sep 2026 13:40:35 +0200 Subject: [PATCH] docs: nommer les deux lectures, et dire laquelle est une primitive --- .project/VOCABULARY.md | 16 +++++++++------- .project/concepts/app-contract/_overview.md | 7 +++++++ 2 files changed, 16 insertions(+), 7 deletions(-) diff --git a/.project/VOCABULARY.md b/.project/VOCABULARY.md index b2c5114..14ac80e 100644 --- a/.project/VOCABULARY.md +++ b/.project/VOCABULARY.md @@ -4,15 +4,17 @@ ```text «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) - `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) + `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» - `journey` one named end-to-end story in the applicative suite, reported pass or fail as a whole (never: scenario, test case, spec) - `batch` one run of a suite, which mints its own physical user and discards the previous one (never: session, campaign) + `journey` one named end-to-end story in the applicative suite, reported pass or fail as a whole (never: scenario, test case, spec) + `batch` one run of a suite, which mints its own physical user and discards the previous one (never: session, campaign) «sign-in» - `settle` decide which identity is acting, from the URL, storage, or the barrier — needs no session (never: resolve identity, determine user, login · see: knowledge_settling-is-not-connecting) - `barrier` the full-screen overlay this package mounts to hand out the wallet and take an identifier (never: modal, popup, login screen) + `settle` decide which identity is acting, from the URL, storage, or the barrier — needs no session (never: resolve identity, determine user, login · see: knowledge_settling-is-not-connecting) + `barrier` the full-screen overlay this package mounts to hand out the wallet and take an identifier (never: modal, popup, login screen) ``` diff --git a/.project/concepts/app-contract/_overview.md b/.project/concepts/app-contract/_overview.md index 03096a3..15cb6c2 100644 --- a/.project/concepts/app-contract/_overview.md +++ b/.project/concepts/app-contract/_overview.md @@ -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]