POES Verification Skill

You can verify AI-generated code for event-sourced aggregates by applying property-based testing and state exploration to ensure invariants, transitions, and temporal properties hold against production data.

Property-based testing for aggregate verification uses the Hypothesis library to automatically test aggregates against defined properties, ensuring logic correctness by exploring all reachable states and checking temporal properties.

Checking temporal properties and liveness in an event sourcing state graph involves analyzing the aggregate's state graph to verify that specific conditions are eventually met and invariants are not violated during transitions.

Yes, you can replay production events to verify aggregate invariants. This persistence verification ensures that your aggregate logic correctly handles real-world data sequences without breaking defined constraints.

Yes, you need the poes Python library to define and run the automated verification checks for event-sourced aggregates. It provides the necessary framework for property-based testing and state exploration.

The best way to test a banking aggregate is using property-based testing to verify transitions, ensuring the balance never goes negative and stays within defined limits during deposits and withdrawals.