What problem does it solve? Domain invariants often get scattered across services and controllers, duplicated, or bypassed through public setters, causing inconsistent state and oversell-style concurrency bugs. This Skill guides the implementation of a single Aggregate root that owns its invariants in one place, tested once. ## Core Features & Use Cases - Aggregate realization: Builds one Aggregate root plus its value objects with private setters, named predicates instead of raw invariant fields, soft-delete only, and primitive/Published Language identity at the boundary. - Invariant testing: Translates natural-language tests (tests_nl) into one invariant-test per declared invariant, including genuinely multi-threaded contention tests for concurrency claims and JVM-safe INV-n test naming. - §14 gate compliance: Enforces that invariant-bearing state stays captive of the root, verified by the worker's gate before merge. - Use Case: When a building-block manifest marks a block as type = aggregate, the worker loads this Skill to implement, for example, a Product aggregate whose "cannot sell a deactivated product" rule becomes a failing-then-passing invariant test. ## Quick Start Ask the mismAgent worker to realize the aggregate block from your building-blocks manifest, for example: implement the Product aggregate block with its invariants and invariant tests.
