[Anchor Proposal]: CAP Theorem

[raifdmueller]

Proposed Term

CAP Theorem

Context

Source: catalog review of https://lawsofsoftwareengineering.com/.

Why it may qualify as an anchor: A formal theorem with precise boundaries — a distributed system can guarantee at most two of Consistency, Availability, Partition tolerance. Invoking it frames a concrete trade-off discussion for distributed data stores.

• Precise: formal theorem, exact terms
• Rich: triggers consistency-model, availability, partition reasoning
• Consistent: stable, textbook concept
• Attributable: Eric Brewer (2000 conjecture; Gilbert & Lynch 2002 proof)

Pre-assessment tier: ★★★ (self-standing).

Related existing anchors: event-driven-architecture, cqrs.

Pre-submission Checklist

• Searched existing anchors — not present
• Well-established concept

[raifdmueller]

✅ Shipped in #554 — CAP Theorem is now live in the catalog (EN + DE), with metadata, a changelog entry, and an AgentSkill catalog entry. It passed verification against the quality criteria (precise / rich / consistent / attributable) and the recognition test. Thanks for the proposal! 🙏