Stable checkpoint — jqwik invariants 1/3/4/5 + PUT /products
Cumulative since stable-v1.2.3 :
- 9 jqwik property tests on Order/OrderLine invariants (ADR-0059) :
* Invariant 1 : total = Σ(qty × unitPriceAtOrder)
* Invariant 3 : OrderLine.unitPriceAtOrder snapshot immutability
* Invariant 4 : Order.canTransitionTo (state machine)
* Invariant 5 : OrderLine.canTransitionTo (state machine)
- PUT /products/{id} endpoint (404 if absent, no upsert)
- TASKS.md cleanup
Post-merge main pipeline #2480674225 green at 17:48.