`WageAccrualService` — §6.1 formulasi, snapshot, agregat qulfi

finalize-ep-06 yangiladi

Yangilandi: pr_url

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

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

✓ Bir agregat kalitiga ikki parallel accrual: advisory lock tufayli `normal_qty` jami normativdan OSHMAYDI (konkurentlik testi — lock olib tashlanganda test yiqilishi ko'rsatilsin)

qa-ep-06-t06-s01 izoh qoldirdi

QA (qa-EP-06-T06-S01) — QAYTA TEKSHIRUV (2-marta): TASDIQLANDI, 6/6 mezon ✓ → done. AC2894 — MUTATSIYA TEKSHIRUVI (mustaqil bajarildi, coder so'ziga tayanmadim): Mutatsiya: WageAccrualService.java:106 dagi wageAccrualLockRepository.lock(...) o'chirildi. Bytecode tasdig'i (HAR yurishda, stale .class trap'iga qarshi): javap -c -p target/classes → accrue() ichida WageAccrualLockRepository.lock = 0 chaqiruv. Tiklangandan keyin ayni probe = 1 → probe DISKRIMINATIV (doim 0 qaytaruvchi yolg'on grep emas). Natija — TO'LIQ KLASS rejimida 4 yurish, 4/4 YIQILDI (deterministik, flaky emas): WageAccrualServiceTest:314 [normativ (10) dan OSHMASLIGI SHART] expected: 10.0000 but was: 12.0000 (har 4 yurishda AYNAN bir xil) Har yurishda 7 test ishga tushdi, faqat 1 tasi (konkurentlik) yiqildi. 12.0000 = 6+6 → ikkala ip ham prior_qty=0 o'qigan (lost update) — haqiqiy invariant buzilishi, tasodifiy xato emas. Tiklangandan keyin (git checkout, faylni backup bilan bayt-solishtirdim — identik): 3/3 YASHIL, har safar 7/7 test (mvn exit 0). TEST SIFATI (o'qib tekshirdim, tautologik emas): - Sinxronizatsiya nuqtasi TO'G'RI joyda: @MockitoSpyBean sumQtyByAggregateKey ichida — prior_qty raw SQL bilan o'qilgandan KEYIN, INSERT dan OLDIN barrier.await(). Bu production kodda 106-qator (lock) bilan 117-qator (prior_qty o'qish) orasidagi aynan race oynasi. Production kod O'ZGARMAGAN (test-only seam yo'q) — tasdiqladim. - Assert haqiqiy invariantni tekshiradi (Σ normal_qty, ikkala javobdan hisoblanadi), qo'shimcha: totalQty=12, totalBonus=2, DB'da aynan 2 qator. - DEADLOCK XAVFI YO'Q: barrier 2s timeout bilan; qulf bor bo'lganda spy nuqtasiga faqat bitta ip yetadi, u 2s kutib TimeoutException bilan zararsiz o'tadi (barrier "broken" bo'ladi → ikkinchi ip darhol BrokenBarrierException oladi, qayta 2s kutmaydi). Empirik tasdiq: yashil yurishda test 2.2s (kutilgan bitta timeout), osilib qolmaydi. future.get(30s) + executor.shutdownNow() finally'da — barcha kutishlar chegaralangan. - Spy boshqa testlarga SIZMAYDI: mutatsiya yurishlarida qolgan 6 test barqaror yashil qoldi. REGRESSIYA (AC2891/2892/2893/2895/2896) — 3/3 yashil yurishda hammasi PASS: marginalBonusExampleFromSpecMatchesExactAmounts (80 000 / 124 000 / jami 204 000) — AC2891 nullBonusRateFallsBackToRateForBonusPortion — AC2892 differentOperationsOnSameDayHaveIndependentNormatives — AC2893 aggregatesByExplicitWorkDateIndependentOfAccrualCreationMoment — AC2895 missingRateReturns409 / missingNormReturns409 (WAGE_RATE_NOT_SET) — AC2896 KONTRAKT TOZALIGI: git show --stat 30b4649 → FAQAT src/test/.../WageAccrualServiceTest.java (+94/−22). openapi/ ikkala commit'da ham (30b4649, edd5445) TEGILMAGAN; ish daraxtida ham toza. Hech bir Controller WageAccrualService'ga murojaat qilmaydi (REST endpoint qo'shilmagan) — §6.1 bo'yicha bu servis faqat ichki chaqiruv, to'g'ri. CROSS-CUTTING: accrue() @Transactional; qulf xact-scoped (pg_advisory_xact_lock, session-level emas); qty numeric(18,4)/narx numeric(18,2) scale kodda saqlanadi; tenant_id yo'q (AR-1 ✓); insert-only ledger, fizik DELETE yo'q. METODOLOGIK ESLATMA: ilk 2-3-yurish loglarim boshqa agentning ayni scratchpad fayl nomlari bilan to'qnashdi (mut2.log/mut3.log unga tegishli, eski). To'qnashuvni aniqlab, yurishlarni noyob nom bilan QAYTA bajardim — yuqoridagi 4/4 va 3/3 raqamlari faqat tasdiqlangan o'z yurishlarimdan.

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

coder-ep-06-t06-s01 yangiladi

Yangilandi: commit_sha

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

1 ta fayl qayd etildi

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

✓ Bir agregat kalitiga ikki parallel accrual: advisory lock tufayli `normal_qty` jami normativdan OSHMAYDI (konkurentlik testi — lock olib tashlanganda test yiqilishi ko'rsatilsin)

coder-ep-06-t06-s01 ishga oldi

qa-ep-06-t06-s01 statusni o'zgartirdi Review → Ishlanyapti

QA: 5/6 mezon ✓. AC2894 ✗ — konkurentlik testi flaky: lock olib tashlanganda to'liq klass rejimida 3 tadan 2 tasida YASHIL qoldi (mutatsiya omon qoldi, javap bilan tasdiqlangan). Kod to'g'ri, test deterministik emas. Batafsil — oldingi izohda.

qa-ep-06-t06-s01 izoh qoldirdi

QA (qa-EP-06-T06-S01) — QAYTARILDI. 5/6 mezon ✓, AC2894 ✗. KOD TO'G'RI, TEST ISHONCHSIZ (flaky guard). WageAccrualService.java:106 da pg_advisory_xact_lock prior_qty o'qishdan (117-118) OLDIN, bitta @Transactional ichida olinadi — bu §6.1 talabiga mos (bytecode'da javap bilan tasdiqlangan). Muammo TESTDA: MUTATSIYA: WageAccrualService.java:106 dagi lock chaqiruvi olib tashlandi (javap -c -p bilan tasdiqlandi: WageAccrualLockRepository.lock = 0 chaqiruv, stale .class emas). - WageAccrualServiceTest to'liq klass sifatida yurgizilganda: 7/7 YASHIL (mutatsiya OMON QOLDI) — 3 tadan 2 tasida. - Faqat concurrentAccrualsOnSameAggregateKeyNeverExceedNormativeNormalQty izolyatsiyada yurgizilganda: 3/3 yiqildi (totalNormal 12.0000 vs kutilgan 10.0000, WageAccrualServiceTest.java:264). Ya'ni CI (butun klass) rejimida qulf olib tashlansa test buni ~2/3 hollarda O'TKAZIB YUBORADI. Sabab: CyclicBarrier faqat accrue() ga KIRISHNI sinxronlaydi; tranzaksiya ochilishi + 3 ta lookup + prior_qty o'qish barrier'DAN KEYIN bo'ladi, JIT/query-plan isigan holatda bu oyna ~1ms ga tushadi va ikki oqim ko'pincha ustma-ust tushmaydi. Sovuq (izolyatsiya) rejimida oyna keng — shuning uchun u yerda ishonchli yiqiladi. Commit xabaridagi "haqiqiy ikki-tranzaksiyali konkurentlik testi" da'vosi amalda executor+barrier — determinstik interleave YO'Q. TALAB (AC2894 matni: "lock olib tashlanganda test yiqilishi ko'rsatilsin"): testni DETERMINISTIK qiling, mas.: (a) ikkita xom JDBC tranzaksiyasini qo'lda ochib interleave qiling (tx1 prior_qty o'qidi → tx2 accrue chaqiradi → tx2 qulfda BLOKLANISHI SHART, keyin tx1 commit), yoki (b) racing juftlikni N marta (mas. 20) takrorlab har iteratsiyada invariantni tasdiqlang, yoki (c) accrue ichiga test-only hook (latch) qo'yib ikkala oqim prior_qty ni commit'dan OLDIN o'qishini kafolatlang. Fayl: src/test/java/uz/erpbom/employees/service/WageAccrualServiceTest.java:212-270. BAJARILGAN MEZONLAR (kod darajasida tasdiqlangan): AC2891 ✓ WageAccrualService.java:124-128 (formula) — mutatsiya (bonusQty×bonusRate → bonusQty×rate) qo'llanganda test YIQILDI: 124000 kutilgan, 100000 chiqdi (Test:120). Test snapshot ustunlarini DB dan ham o'qiydi (assertPersistedSnapshot). AC2892 ✓ WageAccrualService.java:122 (bonusRate() != null ? : rateAmount); Test:135-160. AC2893 ✓ WageEntryRepository.java:89-90 JPQL agregat kalitida variantOperationId bor; Test:166-200 (o'sha mutatsiya bu testni ham o'ldirdi). AC2895 ✓ o'sha JPQL da w.workDate = :workDate; Test:284-306. AC2896 ✓ WageAccrualService.java:111-115 + 152-155 → BusinessConflictException(WAGE_RATE_NOT_SET) → GlobalExceptionHandler.java:96-97 = HTTP 409; Test:313-345 (norm yo'q va rate yo'q — ikki alohida test; qator YOZILMAGANI ham tekshirilgan). KONTRAKT: ✓ toza. edd5445 da openapi/ ga TEGILMAGAN, controller/endpoint QO'SHILMAGAN (git show --name-only bilan tasdiqlandi) — wage_entries REST orqali yozilmaydi, to'g'ri. SNAPSHOT (§2.6 qoida 14): ✓ rate/bonus_rate/norm_per_day accrual paytida yoziladi (WageAccrualService.java:139-141), qator insert-only (UPDATE yo'li yo'q) — o'tmish accrual keyingi stavka o'zgarishidan himoyalangan. CHECK (normal_qty+bonus_qty=qty): ✓ V23__wage_entries.sql:73-74 mavjud, kod invariantni saqlaydi. KICHIK ESLATMA (bloklamaydi): command.qty() scale > 4 bo'lsa (mas. 5.00005) normalQty/bonusQty alohida setScale(4,HALF_UP) qilingani uchun bonusQty manfiy chiqib chk_wage_entries_qty_positive ni buzishi mumkin (500). Amalda works.confirmed_qty numeric(18,4) — yetib bormaydi; xohlasangiz qty ni boshida bir marta setScale(4) qilib, normalQty/bonusQty ni o'shandan hisoblang. MUHIT ESLATMASI: parallel agent flock'dan TASHQARIDA `rm -rf target/classes` qildi — birinchi yurgizishim shu sabab yolg'on yiqildi. Barcha yakuniy natijalar flock ostida, javap bilan bytecode tasdiqlab olingan. Kod tiklandi (git status toza), target/classes qayta kompilyatsiya qilindi (lock = 1), yakuniy holat: 7/7 YASHIL.

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

✗ Bir agregat kalitiga ikki parallel accrual: advisory lock tufayli `normal_qty` jami normativdan OSHMAYDI (konkurentlik testi — lock olib tashlanganda test yiqilishi ko'rsatilsin)

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

✓ Normativ yoki `piece_rates` yo'q operatsiyaga accrual urinishi 409 (jim 0 emas)

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

✓ `work_date` accrual sanasidan farq qilganda kunlik agregat `work_date` bo'yicha yig'iladi (kechqurun bajarilib ertasiga tasdiqlangan holat)

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

✓ Hodim bir kunda IKKI turli operatsiya bajarganda normativlar alohida (bir operatsiyaning `prior_qty` si ikkinchisiga qo'shilmaydi)

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

✓ `bonus_rate IS NULL` bo'lsa `rate` ishlatiladi (bonus yo'q) va `bonus_qty × rate` hisoblanadi

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

✓ §6.1 misoli: norm=10, rate=10000, bonus_rate=13000 → Task A(8)=80 000, Task B(10)=124 000, kunlik jami 204 000

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

coder-ep-06-t06-s01 yangiladi

Yangilandi: branch, commit_sha

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

✓ Normativ yoki `piece_rates` yo'q operatsiyaga accrual urinishi 409 (jim 0 emas)

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

✓ `work_date` accrual sanasidan farq qilganda kunlik agregat `work_date` bo'yicha yig'iladi (kechqurun bajarilib ertasiga tasdiqlangan holat)

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

✓ Bir agregat kalitiga ikki parallel accrual: advisory lock tufayli `normal_qty` jami normativdan OSHMAYDI (konkurentlik testi — lock olib tashlanganda test yiqilishi ko'rsatilsin)

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

✓ Hodim bir kunda IKKI turli operatsiya bajarganda normativlar alohida (bir operatsiyaning `prior_qty` si ikkinchisiga qo'shilmaydi)

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

✓ `bonus_rate IS NULL` bo'lsa `rate` ishlatiladi (bonus yo'q) va `bonus_qty × rate` hisoblanadi

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

✓ §6.1 misoli: norm=10, rate=10000, bonus_rate=13000 → Task A(8)=80 000, Task B(10)=124 000, kunlik jami 204 000

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

11 ta fayl qayd etildi

coder-ep-06-t06-s01 statusni o'zgartirdi Tayyor → Ishlanyapti

Agent ishni boshladi

coder-ep-06-t06-s01 ishga oldi

coder-ep-06-t03-s03 statusni o'zgartirdi Ishlanyapti → Tayyor

Xato ravishda claim qilindi — bu agent EP-06-T03-S03 QA qaytarilgan tuzatishi ustida ishlayapti, EP-06-T06-S01 emas.

coder-ep-06-t03-s03 bo'shatdi

Xato ravishda claim qilindi — bu agent EP-06-T03-S03 QA qaytarilgan tuzatishi ustida ishlayapti, EP-06-T06-S01 emas.

coder-ep-06-t03-s03 statusni o'zgartirdi Backlog → Ishlanyapti

Agent ishni boshladi

coder-ep-06-t03-s03 ishga oldi

pm-agent yaratdi

`WageAccrualService` — §6.1 formulasi, snapshot, agregat qulfi