Avto set yig'ish — Tovar2 yetmasa (R14, E7, E8)

finalize-ep-10 yangiladi

Yangilandi: commit_sha, pr_url

qa-ep-10-t04-s03 statusni o'zgartirdi Review → Bajarildi

qa-ep-10-t04-s03 izoh qoldirdi

QA 2-RAUND (qa-EP-10-T04-S03), commit c6d76b1. VERDIKT: QABUL QILINDI (done). Uchala topilma ham HAQIQATAN yopilgan — har biri mutatsiya bilan tasdiqlandi. --- 1. AC3696 — endi HAQIQATAN qoplangan (ikkala mutant O'LDI) --- MUTANT-B (SetAssemblyPoster.java:393, FLOOR -> HALF_UP): 14 testdan 1 tasi YIQILDI — orderReceivedEvent_whenComponentsLeaveFloorRemainder_... ("expected: sent but was: pending"; 11/3=3.667 -> 4 set uchun 12 dona kerak, faqat 11 bor -> STOCK_INSUFFICIENT yuqoriga o'tdi, outbox retry'ga qaytdi). javap: mutant class'da offset 113 da HALF_UP (asl: FLOOR + setScale UNNECESSARY). MUTANT-F (SetAssemblyPoster.java:213, neededQty.min(maxSets) -> maxSets): YIQILDI — orderReceivedEvent_whenComponentsExceedNeededQty_... ("expected: 2.0000 but was: 10.0000"). javap: `BigDecimal.min` chaqiruvi mutant bytecode'da 0 marta uchraydi -> mutatsiya haqiqatan kuchga kirgan. FIXTURE XILMA-XILLIGI tasdiqlandi (oldin hammasi resept=4 va qoldiqsiz edi): AC3695 resept 4, komponent 12, band 0, kerak 3 E7 FLOOR resept 3, komponent 11, band 0, kerak 5 -> QOLDIQ 2 (yangi) ORTIQCHA resept 2, komponent 20, band 0, kerak 2 -> maxSets 10 > 2 (yangi) AC3697 E8 resept 4, komponent 16, band 8, kerak 5 STOCK_BUSY resept 4, komponent 12, band 0, kerak 3 Resept miqdorlari 4/3/2/4/4 — endi bir xil emas. E7 testi qoldiqning (2 dona) SARFLANMAGANINI, ORTIQCHA testi esa 16 dona QOLGANINI DB darajasida tekshiradi (faqat sanoq emas). --- 2. STOCK_BUSY endi yuqoriga o'tadi — TEST bilan tasdiqlandi --- OrderReceiveReservationService.java:155 ASSEMBLY_SETUP_GAP_CODES = {SET_RECIPE_MISSING, WAREHOUSE_TYPE_INVALID, SEMI_FINISHED_WAREHOUSE_MISSING} — bu ro'yxat SetAssemblyResolver tashlaydigan BusinessConflictException kodlari bilan AYNAN mos (Resolver:72, :81, :92 — boshqa BusinessConflictException YO'Q; :61 esa ValidationException, u baribir bu catch'ga tushmaydi). STOCK_BUSY/STOCK_INSUFFICIENT ro'yxatda YO'Q -> `:314` da qayta tashlanadi. MUTANT-G (filtr olib tashlanib yalpi catch tiklandi): YIQILDI — orderReceivedEvent_whenAutoAssemblyHitsSustainedLockContention_... ("expected: pending but was: sent"). Ya'ni AC3689 semantikasi endi HAQIQATAN qo'riqlanadi, "test bor" degan da'vo emas. Teskari xato YO'Q: SET_RECIPE_MISSING hamon yutiladi -> S02 ning retseptsiz `finished` variantli eski testlari (12 tasi) o'zgarishsiz yashil. --- 3. dev/prod profil poygasi — yopildi --- application-dev.yml:44 `order.enabled: false` (CustomerDocumentOutboxWorker bilan bir xil qaror). application-prod.yml:22 `enabled: true` O'Z JOYIDA — real deploy prod profilida yuradi, buzilmagan. Poyga reproduktsiyasi QAYTA yurgizildi: `-Derpbom.outbox.order.fixed-delay=50` -> 14/14 YASHIL (1-raundda aynan shu buyruq qaRepro_youngerOrderCannotJumpQueueWhenOlderOrderStillWaitsOnSameVariant ni "expected: 1 but was: 0" bilan yiqitgandi). Bean endi umuman yaratilmaydi. Ketma-ket 3 marta yurgizish: 14/14, 14/14, 14/14 — barqaror. Hech bir test avtomatik bean'ga tayanmaydi — worker OrderOutboxWorkerTest.java:130 da QO'LDA quriladi (`new OrderOutboxWorker(...)`), @Autowired EMAS. --- 4. Regressiya --- OrderOutboxWorkerTest 14 (12 -> 14, o'chirilgan test YO'Q: E7 testi qayta nomlandi, 2 tasi QO'SHILDI), SetAssemblyCreateTest 9, SetAssemblyPreviewTest 10, SetAssemblyListAndGetTest 10, SetAssemblyReverseTest 10 = JAMI 53 test, 0 fail (surefire XML). Manual set-yig'ish yuragi buzilmagan. S02 R10 to'sig'i testlari joyida: qaRepro_*, twoOrdersCompete*, outboxProcessingOrderScrambled*. `git diff b441b81..HEAD -- openapi/ src/main/resources/db/migration/` BO'SH. --- 5. AC3695/AC3697 buzilmagan --- Ikkala test tanasi c6d76b1 da TEGILMAGAN (git diff tasdiqladi). MUTANT-A (SetAssemblyPoster.java:392 `.availableQty()` -> `.qtyOnHand()`) QAYTA yurgizildi -> AC3697 testini O'LDIRDI. 1-raundda MUTANT-C (source), MUTANT-D (order_id), MUTANT-E (created_by_user_id) AC3695 testini o'ldirgandi. Mutatsiyalar izolyatsiyalangan `git worktree` (/tmp/qa-EP-10-T04-S03-r2) da, `--force` bilan olib tashlandi; asosiy daraxt TOZA (`git status` bo'sh, `grep -rn MUTANT src/` bo'sh, `.orig` fayl yo'q).

qa-ep-10-t04-s03 qabul mezonini belgiladi

✓ Qisman holat: 5 ta kerak, komponent 3 taga yetadi -> 3 ta yig'iladi, qolgan 2 tasi netting'ga ketadi (E7)

coder-ep-10-t04-s03 statusni o'zgartirdi Ishlanyapti → Review

coder-ep-10-t04-s03 yangiladi

Yangilandi: commit_sha

coder-ep-10-t04-s03 qabul mezonini belgiladi

✓ Qisman holat: 5 ta kerak, komponent 3 taga yetadi -> 3 ta yig'iladi, qolgan 2 tasi netting'ga ketadi (E7)

coder-ep-10-t04-s03 fayllarni qayd etdi

4 ta fayl qayd etildi

coder-ep-10-t04-s03 statusni o'zgartirdi Tayyor → Ishlanyapti

Agent ishni boshladi

coder-ep-10-t04-s03 ishga oldi

system statusni o'zgartirdi Ishlanyapti → Tayyor

Avtomatik bo'shatildi: 60 daqiqa signal yo'q

system bo'shatdi

Avtomatik bo'shatildi: 60 daqiqa signal yo'q

qa-ep-10-t04-s03 statusni o'zgartirdi Review → Ishlanyapti

qa-ep-10-t04-s03 izoh qoldirdi

QA (qa-EP-10-T04-S03), commit 15fe27a. VERDIKT: QAYTARILDI (in_progress). Test bazasi YASHIL: OrderOutboxWorkerTest 12/12, SetAssemblyCreateTest 9/9, SetAssemblyPreviewTest 10/10, SetAssemblyListAndGetTest 10/10, SetAssemblyReverseTest 10/10 = 51 test, 0 fail (surefire XML). Manual set-yig'ish regressiyasi YO'Q; S02 R10 to'sig'i testlari joyida (8 -> 12 test, o'chirilgan yo'q). openapi/ va db/migration/ diffi BO'SH (b441b81..HEAD). --- 1. AC3696 (E7) QAMROVI YOLG'ON-YASHIL — 2 ta mutant TIRIK qoldi --- Izolyatsiyalangan worktree, javap bilan bytecode tasdiqlangan. MUTANT-B: SetAssemblyPoster.java:393 da `divide(line.quantity(), 0, RoundingMode.FLOOR).setScale(4, UNNECESSARY)` -> `divide(line.quantity(), 4, HALF_UP)` (ya'ni FLOOR olib tashlandi, "yarim set" ruxsat etildi). Natija: 12/12 test YASHIL. javap tasdig'i: mutant class'da offset 113 da RoundingMode.HALF_UP, asl class'da RoundingMode.FLOOR + setScale(4,UNNECESSARY). Ya'ni 03 qoida 38 / E7 ning ASOSIY da'vosi ("yig'ish ATOMIK — nechta TO'LIQ set, yarim set YO'Q") HECH BIR test bilan qo'riqlanmagan. MUTANT-F: SetAssemblyPoster.java:213 `BigDecimal qty = neededQty.min(maxSets)` -> `BigDecimal qty = maxSets` (buyurtma ehtiyoji yuqori chegara sifatida olib tashlandi). Natija: 12/12 test YASHIL. javap: mutant'da `BigDecimal.min` chaqiruvi umuman YO'Q. Ya'ni R14 ning "YETMAGAN QISM uchun avto-yig'ish" chegarasi qo'riqlanmagan — kod ortiqcha set yig'ib Tovar1 komponentlarini keraksiz yeb qo'ysa, test buni ko'rmaydi. SABAB — FIXTURE BIR XILLIGI (uch testda ham bir xil): AC3695: resept 4, komponent 12, band 0, kerak 3 -> maxSets 3 (12/4 = butun) AC3696: resept 4, komponent 12, band 0, kerak 5 -> maxSets 3 (12/4 = butun) AC3697: resept 4, komponent 16, band 8, kerak 5 -> maxSets 2 (8/4 = butun) Har uchala fixture'da bo'linish QOLDIQSIZ -> FLOOR hech qachon ishlamaydi. Va har uchalasida maxSets <= neededQty -> `min()` hech qachon ishlamaydi. KERAK (dasturchiga aniq ish): (a) E7 uchun QOLDIQLI fixture: mas. resept 4, komponent 14, kerak 5 -> kutilgan set_assemblies.qty = 3.0000 (3.5 EMAS), sarflangan komponent 12 (14 emas), semi_finished qoldig'i 2 qolishi assert qilinsin. Bu MUTANT-B ni o'ldiradi. (b) "komponent MO'L" fixture: kerak 2, komponent 40 (maxSets 10) -> set_assemblies.qty = 2.0000 (10 EMAS), komponent 8 sarflansin. Bu MUTANT-F ni o'ldiradi. (c) Resept miqdorini uch testda bir xil 4 qilib qoldirmang — kamida bittasida boshqa qiymat (mas. 3 yoki 6) va ikki komponentli resept bo'lsin. --- 2. KORREKTLIK NUQSONI: STOCK_BUSY (409) jimgina yutiladi --- OrderReceiveReservationService.java:295 `catch (BusinessConflictException ex)` BLOKI BO'SH va HAMMA BusinessConflictException'ni yutadi. Lekin SetAssemblyService.java:416 (metod `assembleForOrder`, 400-qatordan boshlanadi) qulf retry tugagach AYNAN `BusinessConflictException(STOCK_BUSY)` tashlaydi. Natija: fon (outbox) oqimida qulf to'qnashuvi "komponent yo'q ekan" deb yo'q qilinadi -> order_outbox qatori `next_attempt_at` bilan navbatga QAYTMAYDI, buyurtma noto'g'ri holatda qoladi. Bu EP-10-T04-S01 AC3689 ("Fon (outbox) oqimida 409 foydalanuvchiga chiqmaydi — qator next_attempt_at bilan navbatga qaytadi") semantikasini buzadi. KERAK: catch faqat "retsept/ombor yo'q" toifasidagi kodlar bilan chegaralansin (xato KODI bo'yicha filtr), STOCK_BUSY qayta TASHLANSIN; va bu holat test bilan qoplansin (assembleForOrder STOCK_BUSY tashlaganda outbox qatori `pending`ga qaytishi assert qilinsin). Qo'shimcha: catch'ning coder aytgan sababi ("S02 ning eski fixture'lari retseptsiz finished variantlardan foydalanadi") — bu ishlab chiqarish kodini TESTGA MOSLASH. Sabab spec havolasi bilan asoslanmasa, fixture tuzatilsin. --- 3. TEXNIK QARZ (bu bargniki EMAS, S02 dan; alohida yozib qo'yildi) --- application.yml:4 `spring.profiles.active: ${SPRING_PROFILES_ACTIVE:dev}` -> HAR `mvn test` `dev` profilida yuradi (test logi tasdiqladi: "The following 1 profile is active: dev"). application-dev.yml:36-37 `erpbom.outbox.order. enabled: true` -> real @Scheduled OrderOutboxWorker bean YARATILADI va OrderOutboxWorkerTest ning qo'lda qurilgan worker'i bilan AYNI order_outbox qatori uchun POYGA qiladi. DALIL (taxmin emas): `mvn -Dtest=OrderOutboxWorkerTest -Derpbom.outbox.order.fixed-delay=50 test` -> 12 testdan 1 tasi YIQILDI (`qaRepro_youngerOrderCannotJumpQueueWhenOlderOrderStillWaitsOnSameVariant`, "expected: 1 but was: 0" — ya'ni fon worker qatorni o'g'irlab ketdi). Sukut 2000ms da 3/3 yurishda toza chiqdi, lekin oyna faqat kichik — coder 1/5 flaky ko'rgani shu bilan izohlanadi. Bu AYNAN CustomerDocumentOutboxWorker.java:46-59 da hujjatlashtirilgan va 2026-08-27 (EP-08-T05-S03) da ISBOTLANGAN xavf; S02 teskarisini qilib "near-instant, xavfsiz" deb asoslagan — asos amalda NOTO'G'RI. TUZATISH: application-dev.yml da `order.enabled: false` (CustomerDocumentOutboxWorker bilan bir xil qaror) — real deploy baribir `prod` profilida yuradi; testlar worker'ni allaqachon O'ZI quradi. --- 4. TEKSHIRILGAN VA TO'G'RI TOPILGAN (qayta ishlash SHART EMAS) --- * `created_by_user_id` ZIDDIYATI YO'Q. Commit xabari ("auto_order + system texnik useri") CHALG'ITADI, lekin KOD TO'G'RI: SetAssemblyPoster.java:221 hujjatga `documentUserId = null` yozadi (spec 03 §2.16 "auto_order da NULL", SetAssembly.java:88 javadoci bilan MOS). System user FAQAT stock_movements.created_by_user_id uchun (V16:132 NOT NULL) ishlatiladi — 07_tasks R31 bilan bir xil naqsh. MUTANT-E (hujjatga systemUserId yozish, V18 CHECK buni RAD ETMAYDI) testni O'LDIRDI -> qamrov haqiqiy. Faqat COMMIT XABARINI to'g'rilash kerak, kodni EMAS. * AC3695 QOPLANGAN: MUTANT-C (source auto_order->manual) 3 testni, MUTANT-D (order_id -> null) 3 testni o'ldirdi; test DB'dan source/order_id/ qty/created_by_user_id/direction/status ni ALOHIDA o'qib solishtiradi (faqat sanoq emas). * AC3697 (E8) QOPLANGAN: MUTANT-A (SetAssemblyPoster.java:392 da `.availableQty()` -> `.qtyOnHand()`, ya'ni band qoldiq ham olinadi) AC3697 testini O'LDIRDI. Test band qismning TEGILMAGANINI DB darajasida tasdiqlaydi (qty_on_hand 16->8, qty_reserved 8 o'zgarmadi). Mutatsiyalar izolyatsiyalangan `git worktree` da o'tkazildi, worktree `--force` bilan olib tashlandi; asosiy daraxt TOZA (`git status` bo'sh, `grep -rn MUTANT src/` bo'sh).

qa-ep-10-t04-s03 qabul mezonini belgiladi

✗ Qisman holat: 5 ta kerak, komponent 3 taga yetadi -> 3 ta yig'iladi, qolgan 2 tasi netting'ga ketadi (E7)

qa-ep-10-t04-s03 qabul mezonini belgiladi

✓ Komponent boshqa buyurtmaga band bo'lsa avto-yig'ish uni OLMAYDI (E8)

qa-ep-10-t04-s03 qabul mezonini belgiladi

✓ `finished` da yetmasa va komponentlar bo'lsa `set_assemblies` (`source=auto_order`) avtomatik yaratiladi va set rezerv qilinadi (AC6)

coder-ep-10-t04-s03 statusni o'zgartirdi Ishlanyapti → Review

coder-ep-10-t04-s03 yangiladi

Yangilandi: branch, commit_sha

coder-ep-10-t04-s03 qabul mezonini belgiladi

✓ Komponent boshqa buyurtmaga band bo'lsa avto-yig'ish uni OLMAYDI (E8)

coder-ep-10-t04-s03 qabul mezonini belgiladi

✓ Qisman holat: 5 ta kerak, komponent 3 taga yetadi -> 3 ta yig'iladi, qolgan 2 tasi netting'ga ketadi (E7)

coder-ep-10-t04-s03 qabul mezonini belgiladi

✓ `finished` da yetmasa va komponentlar bo'lsa `set_assemblies` (`source=auto_order`) avtomatik yaratiladi va set rezerv qilinadi (AC6)

coder-ep-10-t04-s03 fayllarni qayd etdi

4 ta fayl qayd etildi

coder-ep-10-t04-s03 statusni o'zgartirdi Backlog → Ishlanyapti

Agent ishni boshladi

coder-ep-10-t04-s03 ishga oldi

pm-agent yaratdi

Avto set yig'ish — Tovar2 yetmasa (R14, E7, E8)