Spec reconciliation sweep after the 2026-08-27 review (precedence rule 1) #150

New issue

Closed

opened 2026-08-27 19:21:15 +02:00 by thecrealm · 0 comments

thecrealm commented

2026-08-27 19:21:15 +02:00

Owner

Docs-only amendments where the code deliberately differs; each lands in the § plus §13.3:

§10.9.3 still says E2EE puppeting is "scheduled after hardening" — shipped (D48);
§10.9.2 names a "configured critical facts" ack knob that has no config surface (ALO waits for the whole batch);
§10.7.2 port budgets: FactStores 17 reads + 11 writes, CryptoStore 29 vs "≤~10 / ~19" — amend (as done twice before) or split;
§10.6.2 "in-memory form never public": CacheEntry/GapNode/CachePage are public engine ABI — fence with InternalKatrixApi or amend;
§3.2 "hard rules CI-enforced": rules for SyncSource/store isolation, projection/cursor, DI/logging vendor, and "only FFI is the crypto driver" are held by inspection only; cinterop also exists in CryptoRandom.apple/linux.kt, Platform.apple.kt and the IndexedDB JS bridge — amend to "only crypto FFI" and/or add an architecture test;
§3.3/§10.3 SyncSource is poll() not a Flow (research shape) — note in §13.1 mapping;
§14 "BOM plus individual artifacts" → see the BOM issue;
NFR-1 "reference desktop hardware" undefined — name the runner/hardware;
NFR-3 wording vs the 100k-event proxy gate — describe the proxy or extend the gate (see the CR-16 issue).
Acceptance: each bullet amended or an implementation issue linked; spec-lint clean.

Docs-only amendments where the code deliberately differs; each lands in the § plus §13.3: - §10.9.3 still says E2EE puppeting is "scheduled after hardening" — shipped (D48); - §10.9.2 names a "configured critical facts" ack knob that has no config surface (ALO waits for the whole batch); - §10.7.2 port budgets: `FactStores` 17 reads + 11 writes, `CryptoStore` 29 vs "≤~10 / ~19" — amend (as done twice before) or split; - §10.6.2 "in-memory form never public": `CacheEntry`/`GapNode`/`CachePage` are public engine ABI — fence with `InternalKatrixApi` or amend; - §3.2 "hard rules CI-enforced": rules for SyncSource/store isolation, projection/cursor, DI/logging vendor, and "only FFI is the crypto driver" are held by inspection only; cinterop also exists in `CryptoRandom.apple/linux.kt`, `Platform.apple.kt` and the IndexedDB JS bridge — amend to "only crypto FFI" and/or add an architecture test; - §3.3/§10.3 `SyncSource` is `poll()` not a `Flow` (research shape) — note in §13.1 mapping; - §14 "BOM plus individual artifacts" → see the BOM issue; - NFR-1 "reference desktop hardware" undefined — name the runner/hardware; - NFR-3 wording vs the 100k-event proxy gate — describe the proxy or extend the gate (see the CR-16 issue). Acceptance: each bullet amended or an implementation issue linked; spec-lint clean.

thecrealm referenced this issue

2026-08-27 19:21:41 +02:00

1.0 gate: spec→module→test links, unstable-identifier window, golden sample budgets, Maven Central decision #133

thecrealm added the

labels

2026-08-27 19:22:01 +02:00

thecrealm added

now

and removed

labels

2026-09-01 21:11:00 +02:00

thecrealm referenced this issue from a commit