FIFO chiqim (`postOut`) — qoida 42 qiymat ajratish + qulf tartibi

finalize-ep-04 yangiladi

Yangilandi: commit_sha, pr_url

qa-ep-04-t02-s01 statusni o'zgartirdi Review → Bajarildi

qa-ep-04-t02-s01 izoh qoldirdi

QA 2-yurish (mutatsiya testi bilan). AC2426 (grain A) — commit 4646501 testni haqiqiy assert bilan kuchaytirdi: StockPostingServiceTest.java:186-200 da har stock_movements qatorining batch_id -> (unit_cost, qty) juftligi QATTIQ KODLANGAN kutilgan qiymatga (20000.0000/5, 22000.0000/5, 24000.0000/2) tenglashtiriladi. Tautologiya yo'q — kutilgan qiymat DB dan o'qilmaydi, testda expectedByBatch map'ida literal yozilgan; qatorlar soni containsExactlyInAnyOrder bilan 3 ga qotirilgan. MUTATSIYA NATIJALARI (src/main/java/uz/erpbom/warehouse/service/StockOutPoster.java): a) q.111 setUnitCost(batch.getUnitCost()) -> BigDecimal.ZERO => QIZIL. AssertionFailedError (test q.195): [stock_movements.unit_cost snapshot — batch 1 o'ziniki bo'lishi kerak] expected: 20000.0000 but was: 0.00 b) q.109 setQty(consumeQty) -> setQty(command.qty()) (qatlam qty o'rniga umumiy chiqim qty'si) => QIZIL. AssertionFailedError (test q.198): [stock_movements.qty — batch 1 dan sarflangan miqdorga teng bo'lishi kerak] expected: 5.0000 but was: 12.0000 Har mutatsiyadan keyin fayl `git checkout --` bilan aynan tiklandi. SPEC MUVOFIQLIGI: 03_warehouse.md §5 qoida 9 (grain A) — chiqim bir necha partiyani qamrasa har qatlam uchun alohida stock_movements qatori, har birida o'z batch_id + unit_cost snapshot. StockOutPoster.post q.79-127: FIFO sikl ichida har sarflangan qatlam uchun bitta movement (setBatchId(batch.getId()), setUnitCost(batch.getUnitCost()), setQty(consumeQty), setTotalCost(allocatedCost)) — muvofiq. Taqiqlangan qty x unit_cost hisobi yo'q (total_cost = qoida 42 ajratmasi). TEST CHIQISHI (toza working tree, flock ostida `mvn -Dtest=StockPostingServiceTest test`): Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 53.72 s postOutWritesOneMovementPerConsumedBatchWithOwnBatchIdAndUnitCost AC2426 stepByStepFullConsumptionSumsExactlyToTotalCostAndDepletesBatch AC2427 postOutBeyondAvailableQtyThrowsInsufficientAndLeavesStockUntouched AC2428 postOutForGoodConditionNeverTouchesDefectiveBatches AC2429 concurrentPostOutCallsOnSameStockRowNeverCorruptQtyOnHand AC2430 postOutRetriesOnSustainedLockContentionThenReturnsStockBusy AC2430 5/5 mezon bajarildi -> done.

qa-ep-04-t02-s01 qabul mezonini belgiladi

✓ 3 qatlamli qoldiqdan chiqimda 3 ta `stock_movements` qatori yoziladi, har birida o'z `batch_id` va `unit_cost` (grain 🅰️)

coder-ep-04-t02-s01 statusni o'zgartirdi Ishlanyapti → Review

coder-ep-04-t02-s01 yangiladi

Yangilandi: commit_sha

coder-ep-04-t02-s01 fayllarni qayd etdi

1 ta fayl qayd etildi

coder-ep-04-t02-s01 ishga oldi

qa-ep-04-t02-s01 izoh qoldirdi

QA (mutatsiya tekshiruvi bilan) — QAYTARILDI: AC2426 yiqildi, qolgan 4 mezon ✅. TEST BAZASI: flock + `mvn -Dtest=StockPostingServiceTest test` → 6/6 yashil (Tests run: 6, Failures: 0, Errors: 0, 48.4s, Testcontainers postgres:16). 🔴 AC2426 — TEST DA'VOSI ISBOTLANMAGAN (assert'siz ustun) Fayl: src/test/java/uz/erpbom/warehouse/service/StockPostingServiceTest.java:168-177 Blok `SELECT batch_id, unit_cost, qty FROM stock_movements ...` ni o'qiydi, lekin tsiklda FAQAT `batch_id` yig'iladi (173-qator); `unit_cost` va `qty` tanlanadi-yu HECH QAYERDA assert qilinmaydi. `result.get(i).unitCost()` (159-161-qator) qaytgan RECORD ni tekshiradi — u `batch.getUnitCost()` dan mustaqil olinadi va DB'ga nima YOZILGANINI isbotlamaydi. Mutatsiya dalili: StockOutPoster.java:111 `movement.setUnitCost(batch.getUnitCost())` → `movement.setUnitCost(BigDecimal.ZERO)` qilindi. Natija: AC2426+AC2427+AC2429 testlari 3/3 YASHIL qoldi (Tests run: 3, Failures: 0) — ya'ni har qatorda `stock_movements.unit_cost = 0.00` yozilsa ham test ushlamaydi. `stock_movements` da `unit_cost > 0` CHECK ham yo'q (V16), demak DB ham tutmaydi. Mutatsiya `git checkout` bilan aynan tiklandi (working tree = fb2f045). Kutilgan: AC2426 matni "har birida o'z `batch_id` VA `unit_cost`" deydi (qoida 9, grain 🅰️ — `unit_cost` partiyadan snapshot). Test DB'dan o'qilgan har qator uchun `batch_id → unit_cost` juftligini assert qilishi kerak: batch1→20000.00, batch2→22000.00, batch3→24000.00 (`stock_movements.unit_cost` numeric(18,2) — §2.4 bo'yicha to'g'ri), va shu bilan birga qator `qty` si (5.0000 / 5.0000 / 2.0000). Hozir bu uchtasi ham DB darajasida tekshirilmagan. ✅ MUSTAQIL TASDIQLANGAN (har biri mutatsiya bilan sinaldi, hammasi USHLANDI): - AC2427 (qoida 42): 21x1 dona chiqim, har qadamning ANIQ total_cost i tekshiriladi. M1: taqiqlangan `unit_cost x qty` formulasi → yiqildi (chk_stock_batches_remaining_cost, remaining_cost = -0.06). M2: HALF_UP→HALF_DOWN (bor-yo'g'i 1 tiyin, 10-qadamda) → yiqildi ("chiqim #10 expected 31142.86 but was 31142.85"). Σ = 654000.00, qty_remaining=0 va remaining_cost=0.00 DB'dan tekshirilgan. StockOutPoster.java:90-97 — oxirgi qatlam tarmog'i (`newQtyRemaining==0` → butun `remaining_cost`) matematik jihatdan proporsional formulaga aynan teng (remaining_cost DB'da 18,2), shuning uchun uni ajratib ko'rsatadigan mutatsiya MUMKIN EMAS — defekt emas, invariant (Σ=total_cost) esa isbotlangan. - AC2428: M7 — `available.compareTo(qty) < 0` bloki olib tashlandi → yiqildi (BusinessConflictException o'rniga IllegalStateException). Kod STOCK_INSUFFICIENT ni yozuvlardan OLDIN tashlaydi; qoldiq/partiya/0 ta movement tekshirilgan. Kontrakt: `STOCK_INSUFFICIENT` (openapi/common.yaml:124, warehouse.yaml:2705) ✅. - AC2429 (qoida 26): M4 — FIFO so'rovidan `b.condition = :condition` olib tashlandi → yiqildi (defective batch tanlandi). Test defective ni good dan eskiroq qilib (minusDays(5) vs 1) to'g'ri diskriminatsiya qiladi. M3 — `ORDER BY receivedAt/id` ASC→DESC → AC2426 testi yiqildi ([3,2,1] vs [1,2,3]), qoida 6 FIFO tartibi qoplangan. - AC2430: M5 — StockRepository dan `@Lock(PESSIMISTIC_WRITE)` olib tashlandi → konkurent test yiqildi (qty_on_hand 90.0000, kutilgan 50.0000 — haqiqiy lost update). M6 — MAX_RETRIES 2→0 → STOCK_BUSY testi yiqildi (3051ms < 8500ms), ya'ni "3 urinish x lock_timeout 3s" da'vosi haqiqatan o'lchanadi. `SET LOCAL lock_timeout='3s'` real 55P03 bilan tasdiqlandi (log: "canceling statement due to lock timeout ... in relation stock"). Kontrakt: `STOCK_BUSY` (warehouse.yaml:2667) ✅. ⚠️ Eslatma (defekt emas): 40P01 (deadlock) yo'li bu primitiv bilan sinalmaydi — bitta postOut faqat BITTA stock qatorini qulflaydi; 40P01 ham 55P03 bilan bir xil kod yo'lidan o'tadi (StockPostingService.java:121-131). Ko'p qatorli deadlock stsenariysi ship/receive/set-assembly bargalarida sinalishi SHART. CROSS-CUTTING: @Transactional — StockOutPoster.post (56-qator), retry sikli TransactionTemplate bilan tashqarida (self-invocation to'g'ri hal qilingan) ✅; tenant_id yo'q (AR-1) ✅; precision qty numeric(18,4) / pul numeric(18,2), stock_batches.unit_cost (18,4) — §2.3/§2.4 ga mos ✅; fizik DELETE yo'q, stock_movements insert-only ✅; log'ga token/parol yozilmaydi ✅; nomlash snake_case, jadval ko'plikda, FK to'liq nomdan ✅. QILINADIGAN ISH: StockPostingServiceTest.java:168-177 blokini har qator uchun (batch_id, unit_cost, qty) uchligini assert qiladigan qilib kuchaytiring, so'ng yuqoridagi M8 mutatsiyasini (`setUnitCost(BigDecimal.ZERO)`) qo'lda takrorlab test YIQILISHINI ko'ring. Main kodga tegish shart emas — u to'g'ri.

qa-ep-04-t02-s01 statusni o'zgartirdi Review → Ishlanyapti

qa-ep-04-t02-s01 qabul mezonini belgiladi

✗ 3 qatlamli qoldiqdan chiqimda 3 ta `stock_movements` qatori yoziladi, har birida o'z `batch_id` va `unit_cost` (grain 🅰️)

qa-ep-04-t02-s01 qabul mezonini belgiladi

✓ Ikki parallel tranzaksiya bir `stock` qatoriga tegsa qoldiq buzilmaydi (konkurent test); qulf tartibi buzilgan chaqiruvda deadlock o'rniga retry va `409 stock_busy` chiqadi

qa-ep-04-t02-s01 qabul mezonini belgiladi

✓ `good` chiqimi faqat `good` partiyalaridan sarflaydi — o'sha ombor×variantda `defective` partiya bo'lsa ham unga tegmaydi (qoida 26)

qa-ep-04-t02-s01 qabul mezonini belgiladi

✓ Qoldiqdan ko'p chiqimga urinish `insufficient_stock` bilan rad etiladi va tranzaksiya rollback bo'ladi (qoldiq va partiyalar tegilmaydi)

qa-ep-04-t02-s01 qabul mezonini belgiladi

✓ 654 000 so'mlik 21 donalik partiyadan bosqichma-bosqich to'liq chiqim qilinganda `Σ movements.total_cost = 654 000.00` (tiyinigacha), oxirgi chiqim yaxlitlash qoldig'ini oladi va `remaining_cost = 0` bo'ladi

coder-ep-04-t02-s01 izoh qoldirdi

QA qaytargan ikkita testni kuchaytirdim (mantiq TEGILMADI): AC2427 — endi 21x1 diskriminatsion bo'linish, har stock_movements qatorining ANIQ total_cost'i assert qilinadi, taqiqlangan unit_cost×qty formulasi bilan Σ=654000.06 chiqadi (654000.00 EMAS). AC2429 — defective partiya endi good'dan aniq eskiroq received_at bilan yaratiladi, condition filtri olib tashlansa FIFO defective'ni tanlaydi va test yiqiladi. Ikkala mutatsiyani qo'lda takrorlab tasdiqladim (git checkout bilan tikladim). Shu bilan birga test Testcontainers'ga o'tkazildi (qattiq yozilgan 172.18.0.2 IP o'rniga — repodagi boshqa 86 test bilan bir xil uslub) va hardcoded seed ID'lardan (product_category_id=1 — bu ID hech qanday migratsiya bilan kafolatlanmagan edi) nom bo'yicha qidiruv/o'z kategoriyasini yaratishga o'tdi. AC2426/AC2429 ga qty_on_hand≡Σqty_remaining invarianti qo'shildi. mvn -Dtest=StockPostingServiceTest: 6/6 yashil. Commit fb2f045 — faqat test fayli.

coder-ep-04-t02-s01 yangiladi

Yangilandi: commit_sha

coder-ep-04-t02-s01 qabul mezonini belgiladi

✓ `good` chiqimi faqat `good` partiyalaridan sarflaydi — o'sha ombor×variantda `defective` partiya bo'lsa ham unga tegmaydi (qoida 26)

coder-ep-04-t02-s01 qabul mezonini belgiladi

✓ 654 000 so'mlik 21 donalik partiyadan bosqichma-bosqich to'liq chiqim qilinganda `Σ movements.total_cost = 654 000.00` (tiyinigacha), oxirgi chiqim yaxlitlash qoldig'ini oladi va `remaining_cost = 0` bo'ladi

coder-ep-04-t02-s01 statusni o'zgartirdi Ishlanyapti → Review

coder-ep-04-t02-s01 fayllarni qayd etdi

1 ta fayl qayd etildi

qa-ep-04-t02-s01 izoh qoldirdi

QA (mutatsiya tekshiruvi bilan) — QAYTARILDI. Baza yashil: StockPostingServiceTest 6/6. Ishlab chiqarish kodi (StockOutPoster) qoida 42 va 26 ni TO'G'RI bajaradi, lekin ikki AC testi yolg'onni USHLAMAYDI (mutatsiya bilan isbotlandi) — ya'ni mezon amalda tekshirilmagan. [DEFEKT-1 / AC2427 — kritik] src/test/java/uz/erpbom/warehouse/service/StockPostingServiceTest.java:162-195. StockOutPoster.java:88-97 dagi qoida 42 ajratishni ATAYLAB taqiqlangan formulaga (allocatedCost = unit_cost * qty, oxirgi qatlam istisnosisiz) almashtirdim — test YASHIL qoldi (butun klass 6/6 yashil). Sabab: 6/7/8 bo'linishida unit_cost=31142.8571 (4 kasr) bilan ham summa tasodifan 186857.14+218000.00+249142.86 = 654000.00 chiqadi va remaining_cost ham 0 bo'ladi. Test faqat SUMMA va remaining_cost ni tekshiradi, har harakat qatorining total_cost qiymatini tekshirmaydi. Kerak: (a) diskriminatsiya qiladigan bo'linish (mas. 21 x 1 dona -> taqiqlangan formulada 21*31142.86 = 654000.06 != 654000.00), va/yoki (b) har chiqim uchun kutilgan aniq total_cost (186857.14 / 217933.33 / 249209.53) va oraliq remaining_cost qiymatlarini assert qilish. [DEFEKT-2 / AC2429 — kritik] StockPostingServiceTest.java:236-260. StockBatchRepository.java:27 dagi FIFO so'rovidan condition filtrini olib tashladim (tautologiyaga almashtirdim) — test YASHIL qoldi. Sabab: testda good partiya defective dan OLDIN insert qilinadi (received_at eskiroq) va good qoldig'i (10) so'ralgan 4 ni to'liq qoplaydi, shuning uchun filtrsiz ham FIFO good ni tanlaydi. Kerak: defective partiyani good dan ESKIROQ received_at bilan qo'yish (va/yoki good qoldig'ini so'ralgan miqdordan kam qilib defective ga 'oshib ketish' imkonini yaratish) — shunda filtr yo'qolsa test yiqiladi. [DEFEKT-3 / test DB ulanishi — o'rta] StockPostingServiceTest.java:59-69. Jonli erpbom-dev-postgres ga Docker bridge IP (172.18.0.2:5432) QATTIQ YOZILGAN. Repodagi 97 test klassidan 76 tasi Testcontainers ishlatadi; shu moduldagi qo'shni StockBatchesAndMovementsMigrationTest ham (@Testcontainers + PostgreSQLContainer(postgres:16) + @ServiceConnection). Bu yagona istisno: IP konteyner/tarmoq qayta yaratilganda o'zgaradi, test umumiy dev bazaga yozadi va seed id'lariga (org=1, unit=3, category=1, brand=1) tayanadi. Testcontainers har klassga izolyatsiya qilingan baza beradi — 'parallel agentlar bitta bazani bo'lishadi' argumenti Testcontainers bilan yo'qoladi. Qo'shni test uslubiga keltirilsin. Qabul qilingan mezonlar (tekshirildi): AC2426 (grain — assertlar diskriminatsion), AC2428 (rollback HAQIQATAN ishlaydi: exception'dan oldin qty_on_hand=0 + soxta stock_movements qatorini saveAndFlush qildim — test baribir yashil, ya'ni tranzaksiya rollback qildi; assertlar (qty=10, countMovements=0) rollback bo'lmasa yiqilardi), AC2430 (retry TRANZAKSIYADAN TASHQARIDA: StockPostingService.java:110 transactionTemplate.execute(...) siklda, StockOutPoster alohida bean/@Transactional; log'da uchta ALOHIDA 3s qulf kutishi 55P03 bilan 11:09:34/37/40 — abort bo'lgan tranzaksiya qayta ishlatilsa 25P02 darhol kelardi. MAX_RETRIES=2 -> 0 mutatsiyasida test YIQILDI (3125ms < 8500ms), demak retry soni haqiqatan assert qilingan). Eslatmalar (bloklamaydi): (1) haqiqiy 40P01 ikki qatorli deadlock bu primitiv bilan tamoyilan yaratib bo'lmaydi (bitta postOut faqat BITTA stock qatorini qulflaydi); kod 40P01 va 55P03 ni AYNI shartda (StockPostingService.isRetryableLockFailure) qayta uradi, shuning uchun kod darajasida qamrab olingan — lekin haqiqiy deadlock stsenariysi ko'p qatorli bargalarda (ship/receive/set_assembly) albatta test qilinsin. (2) invariant qty_on_hand = SUM(qty_remaining) faqat AC2430a va AC2427 testlarida tekshirilgan; AC2426/AC2429 da ham qo'shilsa yaxshi. (3) CROSS_CUTTING Q p.2 (qator mavjud emas -> pg_advisory_xact_lock) postOut'da amalga oshirilmagan — chiqim uchun zararsiz (qator yo'q = qoldiq 0 = STOCK_INSUFFICIENT), lekin ko'p qatorli oqimda tartib kafolatini buzadi; kirim/ko'p qatorli bargalarda hisobga olinsin. (4) Kontrakt mos: openapi/v1/warehouse.yaml dagi 409 STOCK_INSUFFICIENT / 409 STOCK_BUSY kodlari kod bilan bir xil (staged faylga tegilmadi). Ishchi daraxt tozalandi — barcha mutatsiyalar git checkout bilan tiklandi, faqat oldindan staged openapi/v1/warehouse.yaml qoldi. Commit qilinmadi.

qa-ep-04-t02-s01 statusni o'zgartirdi Review → Ishlanyapti

qa-ep-04-t02-s01 qabul mezonini belgiladi

✗ `good` chiqimi faqat `good` partiyalaridan sarflaydi — o'sha ombor×variantda `defective` partiya bo'lsa ham unga tegmaydi (qoida 26)

qa-ep-04-t02-s01 qabul mezonini belgiladi

✗ 654 000 so'mlik 21 donalik partiyadan bosqichma-bosqich to'liq chiqim qilinganda `Σ movements.total_cost = 654 000.00` (tiyinigacha), oxirgi chiqim yaxlitlash qoldig'ini oladi va `remaining_cost = 0` bo'ladi

qa-ep-04-t02-s01 qabul mezonini belgiladi

✓ Ikki parallel tranzaksiya bir `stock` qatoriga tegsa qoldiq buzilmaydi (konkurent test); qulf tartibi buzilgan chaqiruvda deadlock o'rniga retry va `409 stock_busy` chiqadi

qa-ep-04-t02-s01 qabul mezonini belgiladi

✓ Qoldiqdan ko'p chiqimga urinish `insufficient_stock` bilan rad etiladi va tranzaksiya rollback bo'ladi (qoldiq va partiyalar tegilmaydi)

qa-ep-04-t02-s01 qabul mezonini belgiladi

✓ 3 qatlamli qoldiqdan chiqimda 3 ta `stock_movements` qatori yoziladi, har birida o'z `batch_id` va `unit_cost` (grain 🅰️)

coder-ep-04-t02-s01 statusni o'zgartirdi Ishlanyapti → Review

coder-ep-04-t02-s01 yangiladi

Yangilandi: branch, commit_sha

coder-ep-04-t02-s01 qabul mezonini belgiladi

✓ Ikki parallel tranzaksiya bir `stock` qatoriga tegsa qoldiq buzilmaydi (konkurent test); qulf tartibi buzilgan chaqiruvda deadlock o'rniga retry va `409 stock_busy` chiqadi

coder-ep-04-t02-s01 qabul mezonini belgiladi

✓ `good` chiqimi faqat `good` partiyalaridan sarflaydi — o'sha ombor×variantda `defective` partiya bo'lsa ham unga tegmaydi (qoida 26)

coder-ep-04-t02-s01 qabul mezonini belgiladi

✓ Qoldiqdan ko'p chiqimga urinish `insufficient_stock` bilan rad etiladi va tranzaksiya rollback bo'ladi (qoldiq va partiyalar tegilmaydi)

coder-ep-04-t02-s01 qabul mezonini belgiladi

✓ 654 000 so'mlik 21 donalik partiyadan bosqichma-bosqich to'liq chiqim qilinganda `Σ movements.total_cost = 654 000.00` (tiyinigacha), oxirgi chiqim yaxlitlash qoldig'ini oladi va `remaining_cost = 0` bo'ladi

coder-ep-04-t02-s01 qabul mezonini belgiladi

✓ 3 qatlamli qoldiqdan chiqimda 3 ta `stock_movements` qatori yoziladi, har birida o'z `batch_id` va `unit_cost` (grain 🅰️)

coder-ep-04-t02-s01 fayllarni qayd etdi

11 ta fayl qayd etildi

coder-ep-04-t02-s01 statusni o'zgartirdi Backlog → Ishlanyapti

Agent ishni boshladi

coder-ep-04-t02-s01 ishga oldi

pm-agent yaratdi

FIFO chiqim (`postOut`) — qoida 42 qiymat ajratish + qulf tartibi