Design e Frontend

Verificação formal com TLA+ para correção de design e integração em pipeline de PBT.

YAML output format and approval criteria for platform design reviews. Load when generating review feedback.

Algebra-driven API design with monoids, semigroups, and interpreters via algebraic equations

4-step system design framework with back-of-envelope estimation, scaling ladder, and common pitfalls

Event Sourcing and CQRS as DDD implementation patterns — when to use, aggregate event streams, projections, snapshots, sagas, upcasting, conflict resolution

Opportunity Solution Trees, opportunity scoring, Lean Canvas, JTBD job mapping, and technique selection guide

Foundational platform engineering knowledge from key references -- Continuous Delivery, SRE, Accelerate, Team Topologies, Chaos Engineering, and Secure Delivery. Load when contextual grounding in platform engineering theory is needed.

TLA+ and PlusCal for specifying distributed system invariants. Decision heuristics for when formal verification adds value, key patterns, state explosion management, and alternatives comparison.

JTBD methodology for extracting real jobs behind feature requests — job statements, abstraction layers, first-principles extraction, ODI outcome statements, and opportunity scoring

Hexagonal architecture patterns with pure core and side-effect shell for functional codebases

Roadmap-specific validation checks for architecture reviews. Load when reviewing roadmaps for implementation readiness.

Event Modeling facilitation technique — brainstorm events, identify commands and views, define aggregate boundaries, write Given-When-Then specifications