lamina-consistency-guarantees

Solid

Product-facing consistency — what users and actors may see when, stale vs fresh data, and acceptable lag. Use when multiple views must agree without prescribing storage technology.

AI & Automation 114 stars 3 forks Updated today Apache-2.0

Install

View on GitHub

Quality Score: 82/100

Stars 20%
69
Recency 20%
100
Frontmatter 20%
70
Documentation 15%
100
Issue Health 10%
50
License 10%
100
Description 5%
100

Skill Content

# Consistency Guarantees Define what "correct enough" means for users and actors — in product language, not database jargon. Match guarantees to user expectations and risk. ## Decision frameworks - **Strong consistency (product)**: After an action, every view immediately reflects the outcome (payment confirmed → ticket shows downloadable now). - When to use: Money, legal eligibility, safety-critical status. - How: Block success UI until authoritative state is confirmed; scenarios for lag failures. - **Eventual consistency (product)**: Views converge after a short delay (roster updates after bulk venue change). - When to use: Non-critical aggregates, notifications, search indexes. - How: Show "updating" state; set user expectation on delay; scenarios for stale reads. - **Read-your-writes**: Actor always sees their own recent changes (admin assigns venue → admin view shows assignment immediately). - When to use: Any mutating workflow. - How: Verify actor walk sees own action reflected. - **Monotonic reads**: Once shown as true, status should not flip backward without explicit transition (paid → unpaid without refund flow). ## Checklists 1. Per operation, state the consistency guarantee users expect. 2. Identify views that can temporarily disagree (student app vs admin console). 3. Design feedback for lag (skeleton, "processing", refresh). 4. Write scenarios for stale read and recovery. 5. Do not prescribe storage — document product behavior only. ## Anti-pa...

Details

Author
aryaniyaps
Repository
aryaniyaps/lamina
Created
2 months ago
Last Updated
today
Language
TypeScript
License
Apache-2.0

Similar Skills

Semantically similar based on skill content — not just same category

AI & Automation Listed

consistency-models

Choosing distributed consistency guarantees as an engineering decision: linearizability, sequential/causal ordering, session guarantees (read-your-writes, monotonic reads), bounded staleness and eventual convergence, stated as observable contracts rather than a false total ladder; CAP stated correctly—the choice between C and A exists only while partitioned—and PACELC, replica paths and transaction isolation boundaries. Use when a user cannot see their own write, when a read after a write returns the previous value, when a design names a model instead of an observable requirement, when reads are being routed to replicas, or when someone cites "pick two". Does not cover multi-service atomicity (distributed-transactions-and-sagas), quorum arithmetic (consensus-and-quorums), caches (caching-strategies), replicated cache topology (cache-sharding-and-replication), or the JMM's happens-before (java-memory-model).

2 Updated 5 days ago
robsonkades
Code & Development Solid

lamina-multi-view-integrity

Consistency across actor views — student, admin, and system surfaces must reflect the same domain truth. Use in multi-actor products when roles see different slices of one system.

114 Updated today
aryaniyaps
AI & Automation Listed

async-state-consistency

Asynchronous state consistency: cache races, subscriber notifications, memoized/coalesced loads, replay, one-shot reads, invalidation, stale results. Excludes UI-only display, deployment topology, distributed consensus, unrelated flakiness.

11 Updated 3 weeks ago
Xopoko