`WageAccrualPort` — 07_tasks hook'i + idempotentlik

finalize-ep-06 yangiladi

Yangilandi: pr_url

qa-ep-06-t06-s02 statusni o'zgartirdi Review → Bajarildi

qa-ep-06-t06-s02 izoh qoldirdi

QA (qa-EP-06-T06-S02) — commit 28ab795 mustaqil tekshirildi: 4/4 mezon O'TDI, done. TESTLAR (o'zim yurgizdim, flock ostida): WageAccrualPortTest 3/3, WageAccrualServiceTest 7/7 — yashil (S01 regressiyasi yo'q). MEZONLAR: - AC2897: WageAccrualPortImpl.java:37-40 (findByWorkId fast-path). Test WageAccrualPortTest.java:71-105 — id tengligi + xom SQL COUNT(*)=1 (:103-104). - AC2898: WageAccrualPort.java:21-31 — (a) 07 tasdiq tranzaksiyasi ICHIDA, sinxron (qoida 5 iqtibosi, REQUIRED propagation), (b) WIP yangilanishidan OLDIN + sababi (labor_cost_snapshot = result.amount()). §2.6 izohi bilan mos. - AC2899: WageAccrualPort.java:14-20 — rejected/submitted da port UMUMAN chaqirilmaydi, §5 qoida 12 ga havola, javobgarlik chaqiruvchida (works jadvali bu modulda yo'q). §8.5 bilan mos. - AC2900: WageAccrualPortImpl.java:45-47 + WageAccrualResult.java:80-95. Testlar :109-132 va :141-163. MUTATSIYA TEKSHIRUVI (testlar yolg'onni ushlaydimi): - Mutatsiya A (PortImpl:37-40 idempotentlik shohidi olib tashlandi) -> secondCallWithSameWorkIdReturnsFirstResultWithoutNewRow ERROR. Bytecode tasdiqlandi: javap da findByWorkId 2 -> 1. - Mutatsiya B (PortImpl:45-47 qty=0 no-op olib tashlandi) -> zeroConfirmedQty... va afterBrakOnly... 2 ta ERROR. Bytecode: signum 1 -> 0, noAccrual 1 -> 0. - Ikkala fayl git checkout bilan tiklandi, bytecode baseline'ga qaytdi, qayta yurgizishda yashil. KONTRAKT: openapi/ ga tegilmagan (git show --stat: 0 ta openapi fayli), REST controller/endpoint qo'shilmagan — wage_entries kontraktda faqat o'qish. Cross-cutting: @Transactional bor (PortImpl:32), tenant_id/schema yo'q, outbox/broker bu yo'lda ishlatilmagan (qoida 5 — sinxron), DELETE yo'q (insert-only), log'ga sir yozilmaydi. qty INVARIANTI YUMSHATILISHI (>0 -> >=0, WageAccrualCommand:75) — XAVFLI EMAS, lekin 2 ta kuzatuv: 1) qty=0 WageAccrualService ga to'g'ridan-to'g'ri yetsa, soxta nol qator YOZILMAYDI: DB CHECK chk_wage_entries_qty_positive (V23__wage_entries.sql:71-72) insert'ni rad etadi — buni mutatsiya B yurishi empirik ko'rsatdi (log: 'violates check constraint chk_wage_entries_qty_positive', qty=0.0000, amount=0.00, qator saqlanmadi). Manfiy qty hali ham rad etiladi — vaqtinchalik QA probe testi bilan tasdiqlandi (-0.0001 va -5 -> IllegalArgumentException); probe fayl o'chirildi. TAVSIYA (bloklamaydi): himoya endi faqat DB da va xato 500-sinf DataIntegrityViolationException bo'lib chiqadi. WageAccrualService.accrue boshiga o'z qorovuli qo'yilsa (qty.signum() <= 0 -> IllegalArgumentException) invariant uni hujjatlashtirgan qatlamda majburlanadi. 2) WageAccrualPortImpl:49-65 dagi catch-fallback ('ikkinchi himoya qatlami') AMALDA ISHLAMAYDI. Mutatsiya A aynan shu yo'lni ochdi va natija: saveAndFlush yiqilgandan keyin Hibernate sessiyasi buzilgan, catch ichidagi findByWorkId auto-flush chaqiradi -> org.hibernate.AssertionFailure ('has a null identifier'), ya'ni PortImpl:52-54 izohi ('chaqiruvchi xato KO'RMAYDI') va Port javodocidagi 'xato tashlanmaydi, natija barqaror' (WageAccrualPort.java:41-42) shartsiz ko'rinishda NOTO'G'RI — u faqat ketma-ket (fast-path) retry uchun to'g'ri. Mezonlarga ta'sir qilmaydi (ketma-ket retry ishlaydi, UNIQUE(work_id) ikkinchi qatorni baribir to'sadi) va bitta tranzaksiya ichida tiklanish printsipial mumkin emas (tranzaksiya allaqachon rollback-only). Kelgusi tuzatish uchun qayd etildi — 07_tasks coder'i bu jumlani shartsiz kafolat deb o'qimasin.

qa-ep-06-t06-s02 qabul mezonini belgiladi

✓ `confirmedQty = 0` bilan chaqiruv qator yaratmaydi (brak-only holat)

qa-ep-06-t06-s02 qabul mezonini belgiladi

✓ Rad etilgan ish uchun accrual chaqirilmaydi degan shart port kontraktida qayd etilgan (qoida 12)

qa-ep-06-t06-s02 qabul mezonini belgiladi

✓ Port javodocida chaqiruv shartlari (07 tasdiq tranzaksiyasi ichida, WIP dan oldin) aniq yozilgan

qa-ep-06-t06-s02 qabul mezonini belgiladi

✓ Bir xil `workId` bilan ikkinchi chaqiruv yangi `wage_entries` qatori yaratmaydi va birinchi natijani qaytaradi

coder-ep-06-t06-s02 statusni o'zgartirdi Ishlanyapti → Review

coder-ep-06-t06-s02 yangiladi

Yangilandi: branch, commit_sha

coder-ep-06-t06-s02 izoh qoldirdi

WageAccrualPort (uz.erpbom.employees.service) qo'shildi: WageAccrualPortImpl S01 dagi WageAccrualService ustiga idempotentlik qatlamini qo'radi — findByWorkId bilan avval tekshiradi (AC2897), qty=0 bo'lsa WageAccrualService ga umuman yubormasdan no-op qaytaradi (AC2900, WageAccrualCommand endi qty>=0 ga ruxsat beradi, nol tekshiruvi WageAccrualPort darajasida hal qilinadi). Port javodocida chaqiruv shartlari (07 tranzaksiyasi ichida sinxron, WIP dan oldin, rejected uchun chaqirilmaydi) batafsil yozilgan (AC2898/2899). REST/openapi ga tegilmadi. Testlar: WageAccrualPortTest (3 ta, yashil) + regressiya uchun WageAccrualServiceTest (7 ta, yashil) — flock ostida, tor doirada yurgizildi.

coder-ep-06-t06-s02 qabul mezonini belgiladi

✓ `confirmedQty = 0` bilan chaqiruv qator yaratmaydi (brak-only holat)

coder-ep-06-t06-s02 qabul mezonini belgiladi

✓ Rad etilgan ish uchun accrual chaqirilmaydi degan shart port kontraktida qayd etilgan (qoida 12)

coder-ep-06-t06-s02 qabul mezonini belgiladi

✓ Port javodocida chaqiruv shartlari (07 tasdiq tranzaksiyasi ichida, WIP dan oldin) aniq yozilgan

coder-ep-06-t06-s02 qabul mezonini belgiladi

✓ Bir xil `workId` bilan ikkinchi chaqiruv yangi `wage_entries` qatori yaratmaydi va birinchi natijani qaytaradi

coder-ep-06-t06-s02 fayllarni qayd etdi

6 ta fayl qayd etildi

coder-ep-06-t06-s02 statusni o'zgartirdi Backlog → Ishlanyapti

Agent ishni boshladi

coder-ep-06-t06-s02 ishga oldi

pm-agent bog'liqlik qo'shdi

→ EP-06-T06-S01

pm-agent yaratdi

`WageAccrualPort` — 07_tasks hook'i + idempotentlik