01_suppliers (7 hodisa) + 03_warehouse (5) + 04_employees (2)

qa-ep-13-t05-s04fix statusni o'zgartirdi Review → Bajarildi

qa-ep-13-t05-s04fix izoh qoldirdi

QA 2-o'tish (TOR doira, commit e881458) — AC5602 QAYTA TASDIQLANDI, mutatsiya bilan isbotlangan. 1) COMMIT DOIRASI — faqat test. `git show --stat e881458`: 2 ta test fayli (+93/-1). `git diff e881458^..e881458 -- src/main/` = 0 qator. Eslatma: `git diff e7cbab5..e881458 -- src/main/` BO'SH EMAS, lekin undagi OrderService.java o'zgarishi oraliqdagi BOSHQA commit'ga (6e51559, EP-13-T05-S02 order.created produseri) tegishli — S04 doirasi toza. 2) M6 MUTANTI O'LDI (o'zim yurgizdim, izolyatsiyalangan worktree). StockOutPoster.java:196 dan "qtyBefore.compareTo(minQty) >= 0 &&" olib tashlandi -> postOut_crossingBelowMinQty_enqueuesStockLowOnlyOnTransition:298 QIZIL (11 testdan 1 tasi, expected: 1 / but was: 2). javap tasdig'i: ASL bytecode'da maybeEnqueueStockLow ichida 2 ta BigDecimal.compareTo (offset 62 aload_2=qtyBefore + iflt 85; offset 71 qtyAfter + ifge 85); MUTANTDA 1 tagina qoldi (faqat qtyAfter, ifge 76) — mutatsiya bytecode'da haqiqatan kuchga kirgan. 3) M7 MUTANTI O'LDI. WarehouseNotificationPort.java:234 entityId -> String.valueOf(productVariantId) -> stockLow_sameVariantDifferentWarehouses_dedupeDoesNotCrossWarehouses:357 QIZIL (16 testdan AYNAN 1 tasi, expected: 2 / but was: 1). Test (a) (notifiedTwice) KUTILGANDEK yashil qoldi — u entityId torayishiga sezgir emas va coder buni javadocda ochiq yozgan (halol). javap: ASL "invokedynamic makeConcatWithConstants:(Ljava/lang/Long;Ljava/lang/Long;)" vs MUTANT "invokestatic String.valueOf:(Ljava/lang/Object;)". 4) drainOutbox HELPERI REAL OQIMGA MOS. AbstractOutboxWorker.java:154 muvaffaqiyat o'tishi: UPDATE %s SET status='sent', sent_at=?, locked_at=NULL WHERE id=?. Helper: SET status='sent', sent_at=now() WHERE ... status='pending' — ayni terminal holat. locked_at farqi ahamiyatsiz (qator hech qachon claim qilinmagan, u allaqachon NULL). V55__warehouse_outbox.sql:78-80 — uq_warehouse_outbox_dedup_key ... WHERE status IN ('pending','processing'); 'sent'dan keyin indeks blokdan CHIQADI, shuning uchun 3-qadam endi FAQAT crossing sharti bilan qo'riqlanadi. Soxtalashtirish yo'q. 5) TEST (a) TAUTOLOGIK EMAS. NotificationEnqueueService.enqueue: inbox `notifications` qatori har chaqiruvda shartsiz yoziladi (inappEnabled), push `notification_outbox` esa existsRecentDedupe(dedupeKey) bilan qo'riqlanadi; dedupeKey = eventCode + ':' + userId + ':' + entityId, oyna NotificationOutboxRepository DEDUPE_SQL:63-68 — created_at >= now() - interval '5 minutes' (F3/qoida 13). Ya'ni countOutbox==1 + countNotifications==2 ishlab chiqarish semantikasining o'zi, test o'zini o'zi tasdiqlamayapti. 6) REGRESSIYA (worktree ichida, bloklovchi, 3 bo'lak, surefire XML JUnit parser bilan o'qildi): 131 test / 0 failure / 0 error / 0 skipped. WarehouseOutboxProducer 11 · WarehouseNotificationPort 16 (14+2 yangi) · WarehouseOutboxWorker 1 · PermissionEvaluatorImplIntegration 7 · StockPostingService 6 · StockInPoster 4 · StockReconciliationJob 4 · SetAssembly (Create/Preview/ListAndGet/Reverse) 39 · PurchaseReceipt (5 klass) 43. 7) TOZALIK: grep -rn MUTANT src/ · git grep MUTANT HEAD · *.orig — ikkala daraxtda ham BO'SH; worktree o'chirildi; asosiy daraxt toza (HEAD=e881458). XULOSA: AC5602 endi haqiqatan qo'riqlangan (ikkala mutant ham o'ldi), regressiya yashil -> done.

coder-ep-13-t05-s04fix statusni o'zgartirdi Ishlanyapti → Review

coder-ep-13-t05-s04fix yangiladi

Yangilandi: commit_sha

coder-ep-13-t05-s04fix qabul mezonini belgiladi

✓ `stock.low` chegaradan o'tganda tug'iladi va 5 daqiqalik dedupe takrorni to'sadi

coder-ep-13-t05-s04fix izoh qoldirdi

AC5602 qaytarilishi tuzatildi — ISHLAB CHIQARISH KODI O'ZGARMADI, faqat 2 ta soxta-yashil test kuchaytirildi. MUAMMO 1 (crossing) — WarehouseOutboxProducerIntegrationTest.java, postOut_crossingBelowMinQty_enqueuesStockLowOnlyOnTransition (qator ~281-298): 2- va 3-qadam orasiga drainOutbox("stock.low","product",variantId) qo'shildi (yangi private helper, ~qator 476-487) — 2-qadam yozgan outbox qatorini worker allaqachon jo'natgandek 'pending' -> 'sent' qiladi, shunda uq_warehouse_outbox_dedup_key (WHERE status IN (pending,processing)) 3-qadamni ENDI bloklamaydi. Mutant (StockOutPoster.java:196 dan `qtyBefore.compareTo(minQty) >= 0 &&` olib tashlash) qo'lda tasdiqlandi: mutant bilan test QIZIL (expected 1, got 2), tiklangach YASHIL. MUAMMO 2 (F3 dedupe) — WarehouseNotificationPortIntegrationTest.java ga 2 ta yangi test (qator ~296-360): (a) stockLow_notifiedTwice_outboxDedupedButInboxNotificationWrittenTwice — bir xil stock.low 2 marta notify -> countOutbox==1, countNotifications==2; (b) stockLow_sameVariantDifferentWarehouses_dedupeDoesNotCrossWarehouses — bir xil variant + 2 TURLI ombor, tenant-doirali qabul qiluvchi -> countOutbox==2 (dedupe omborlararo ARALASHMAYDI). Mutant (WarehouseNotificationPort.java:234 dan entityId = String.valueOf(productVariantId) ga toraytirish) qo'lda tasdiqlandi: (b) testi QIZIL (expected 2, got 1), (a) testi mutant bilan ham YASHIL qoldi (kutilganidek — u faqat umumiy dedupe semantikasini isbotlaydi, ombor ajratishni EMAS). Tiklangach ikkalasi ham YASHIL. Test natijalari: WarehouseOutboxProducerIntegrationTest+WarehouseNotificationPortIntegrationTest birga 27/27 yashil; kengroq to'plam (+ WarehouseOutboxWorkerTest, PermissionEvaluatorImplIntegrationTest, StockPostingServiceTest, SetAssembly* 4ta) 80/80 yashil. git grep MUTANT HEAD -- src/ bo'sh, .orig fayl qolmagan. Commit e881458.

coder-ep-13-t05-s04fix fayllarni qayd etdi

2 ta fayl qayd etildi

qa-ep-13-t05-r40c izoh qoldirdi

QA r40c (worktree /tmp/qa-r40c @ e7cbab5, izolyatsiyalangan) — QAYTARILDI. AC5601/5603/5604 HALOL, AC5602 esa is_met=false qilindi. TO'G'RI EKANI TASDIQLANDI (mustaqil): - Uchala bog'lanish REAL, produser zanjiri to'liq: StockOutPoster:maybeEnqueueStockLow -> warehouse_outbox -> WarehouseOutboxWorker#process -> WarehouseNotificationPort. S02 dagi 'iste'molchi bor, produser yo'q' naqshi bu yerda YO'Q (M4 mutanti uchala produserni ham o'ldirdi: 4 test qizil). - Doira semantikasi to'g'ri: tenant YUTADI (union SQL o'qildi, UserPermissionRepository:113-157), guruh huquqi (user_permission_groups + permission_group_items EXISTS) QAMRALGAN — testlar bilan ham isbotlangan. - activeUserIdsWithPermission TEGILMAGAN: git diff 5bcc422..e7cbab5 da PermissionEvaluatorImpl/UserPermissionRepository uchun bitta ham '-' qator yo'q (sof qo'shimcha). F5/NotificationOutboxWorker/AdminSecurityNotificationService regressiyasi yashil. - AC5601: purchase_receipt.pending_supplier YAGONA produser — PurchaseReceiptService:333 (#submit). 01_suppliers da produser yo'q (faqat javadoc havolasi). payroll.paid — finance_outbox/FinanceNotificationPort (2026-09-10 tuzatishi), 14 kod katalog bilan mos. - 132 rule TASDIQ: commitda db/migration, openapi/, NotificationEventCatalog YO'Q; katalog 51 hodisada; stock.view/warehouse_transfer.receive seedda allaqachon bor (R__permissions_and_currencies_seed.sql:50,54). MUTATSIYA: M1 O'LDI (3 qizil) · M2 O'LDI (2 qizil: shipped_sameRuleHolderAtOtherNode + stockLow_stockViewHolderAtOtherNode; coder '1 ta' degan edi, aslida 2) · M3 O'LDI (2 qizil) · M4 O'LDI (4 qizil) · M5 (fixture-identity: user_id -> receipt_id) O'LDI — fixture id'lari turlicha. Har biri javap bilan bytecode'da tasdiqlandi. === AC5602 NEGA YIQILDI — IKKI MUTANT TIRIK QOLDI === (1) M6 — 'CHEGARADAN O'TISH' MANTIG'I UMUMAN QOPLANMAGAN. src/main/java/uz/erpbom/warehouse/service/StockOutPoster.java:196 ni qtyBefore.compareTo(minQty) >= 0 && qtyAfter.compareTo(minQty) < 0 -> qtyAfter.compareTo(minQty) < 0 (ya'ni 'chegaradan o'tish' o'rniga shunchaki 'past') qilib o'zgartirdim. Natija: WarehouseOutboxProducerIntegrationTest 11/11 YASHIL, exit=0. Bytecode tasdiq: maybeEnqueueStockLow da compareTo 2 ta emas, 1 ta qoldi. SABAB: WarehouseOutboxProducerIntegrationTest.java:285 dagi uchinchi tasdiq (3->1 'takroriy pastlik uchun producer YANGI qator YOZMAYDI') BEKOR (vacuous) — uni qoida 31 mantig'i emas, V55__warehouse_outbox.sql:34 dagi 'ON CONFLICT (dedup_key) WHERE status IN (pending, processing) DO NOTHING' partial unikal indeksi ushlab turibdi. 2-qadamda yozilgan qator hamon 'pending', shuning uchun 3-qadamdagi INSERT mantiq to'g'rimi-yo'qmi — baribir jimgina yutiladi. KERAK: testda 2-qadam (6->3) bilan 3-qadam (3->1) ORASIDA outbox qatorini drenajlash — UPDATE warehouse_outbox SET status='sent', sent_at=now() WHERE event_type='stock.low' AND object_id=<variantId> — so'ng 3->1 dan keyin count HAMON 1 ekanini tasdiqlash. Hozirgi (to'g'ri) kodda 1 bo'ladi; 'past' mantig'ida 2 bo'lib test qizil beradi. Qo'shimcha: min ustiga qaytib chiqib (postIn) yana tushganda IKKINCHI hodisa tug'ilishini alohida tasdiqlang — 'crossing qayta ishlaydi' shoxobchasi hozir umuman yurilmaydi. (2) 'KO'DA 5 DAQIQALIK DEDUPE' UCHUN BITTA HAM TEST YO'Q + M7 TIRIK. WarehouseNotificationPortIntegrationTest dagi 14 testning birortasi ham port.notify(stock.low) ni IKKI MARTA chaqirmaydi — F3 dedupe 'takrorni to'sadi' degan mezon yarmi umuman o'lchanmagan. M7: WarehouseNotificationPort.java:234 dagi String entityId = productVariantId + "-" + warehouseId; -> String.valueOf(productVariantId) qilib o'zgartirdim (coder aynan shu torayishga katta javadoc yozgan). Natija: port testi 14/14 YASHIL. Bytecode tasdiq: makeConcat retsepti konstanta havzasidan yo'qoldi, o'rniga String.valueOf(Object) turibdi. KERAK (ikkita test): (a) bitta variant+ombor uchun port.notify ni ikki marta chaqirib: countOutbox(holder) == 1 (F3 push dedupe ishladi), countNotifications(holder) == 2 (qoida 13 in-app'ni to'smaydi); (b) AYNI variant, IKKITA TURLI ombor, tenant doirali stock.view egasi -> countOutbox(holder) == 2. Bu (b) M7 ni o'ldiradi; hozir dedupe kaliti variant bo'yicha to'qnashsa ikkinchi ombor xabari jimgina yo'qoladi va buni hech narsa ushlamaydi. ESLATMA: KOD (1) va (2) da TO'G'RI ko'rinadi — muammo mezonni isbotlaydigan test yo'qligida. Kodni tuzatish emas, yuqoridagi tasdiqlarni qo'shish kerak. REGRESSIYA (bloklovchi, bo'laklab, flock ostida, hammasi HEAD=e7cbab5 toza holatda): 145 test, 0 failure, 0 error — WarehouseNotificationPortIntegrationTest 14 · WarehouseOutboxProducerIntegrationTest 11 · PermissionEvaluatorImplIntegrationTest 7 · PurchaseReceipt* 43 · WarehouseTransfer* 25 · WarehouseOutboxWorkerTest 1 · SupplierNotificationPortIntegrationTest 9 · EmployeeNotificationPortIntegrationTest 6 · AdminSecurityNotificationServiceTest 6 · NotificationOutboxWorkerTest 20 · NotificationOutboxWorkerCircuitBreakerTest 3. TOZALIK: hamma mutant cp <fayl>.orig <fayl> bilan tiklandi; worktree'da git status --porcelain BO'SH, grep -rn MUTANT src/ BO'SH, git grep MUTANT HEAD BO'SH, *.orig qoldig'i YO'Q. Asosiy daraxtga (/var/www/apps/erpbom-backend) TEGILMADI.

qa-ep-13-t05-r40c statusni o'zgartirdi Review → Ishlanyapti

qa-ep-13-t05-r40c qabul mezonini belgiladi

✗ `stock.low` chegaradan o'tganda tug'iladi va 5 daqiqalik dedupe takrorni to'sadi

coder-ep-13-t05-r40c statusni o'zgartirdi Ishlanyapti → Review

coder-ep-13-t05-r40c statusni o'zgartirdi Backlog → Ishlanyapti

coder-ep-13-t05-r40c izoh qoldirdi

10_notifications.md qoida 40 (900-935-qator) bo'yicha 3 bloklangan hodisa ulandi: (1) warehouse_transfer.shipped -> warehouse_transfer.receive, doira=MAQSAD ombor org-node (WarehouseTransferShipPoster.java:143-148 produser, WarehouseNotificationPort.java handleShipped); (2) stock.low -> stock.view, doira=o'sha ombor org-node (StockOutPoster.java:155-207 qoida-31 chegaradan-o'tish producer, WarehouseNotificationPort.java handleStockLow, warehouse_id payload orqali uzatiladi chunki V55 CHECK object_type='product' talab qiladi); (3) purchase_receipt.confirmed -> OWNERSHIP created_by_user_id (PurchaseReceiptService.java transitionToConfirmed yagona chiqish nuqtasi, handleConfirmed BROADCAST emas). Doiraviy qabul qiluvchi uchun PermissionEvaluator#activeUserIdsWithPermissionInOrgNode (YANGI metod, UserPermissionRepository#findActiveUserIdsByPermissionCodeInOrgNode) qo'shildi - guruh orqali berilgan huquqni ham qamraydi, mavjud activeUserIdsWithPermission o'zgarmadi. Testlar: WarehouseNotificationPortIntegrationTest (+10, tenant/org_node/wrong-permission holatlari), WarehouseOutboxProducerIntegrationTest (+6, crossing+dedup+rollback), PermissionEvaluatorImplIntegrationTest (+4). Mutatsiya M1/M2/M3 - uchalasi ham QIZIL bo'lganini tasdiqladim, keyin tikladim (git grep MUTANT HEAD bo'sh). To'liq regressiya (PurchaseReceipt*/WarehouseTransfer*/SetAssembly*/Stock* + yangi testlar, 202 test) yashil.

coder-ep-13-t05-r40c fayllarni qayd etdi

6 ta fayl qayd etildi

coder-ep-13-t05-r40c yangiladi

Yangilandi: commit_sha

coder-ep-13-t05-r40c qabul mezonini belgiladi

✓ `stock.low` chegaradan o'tganda tug'iladi va 5 daqiqalik dedupe takrorni to'sadi

coder-ep-13-t05-r40c qabul mezonini belgiladi

✓ 14 hodisa katalog kodi bilan aynan mos yoziladi va `purchase_receipt.pending_supplier` faqat bitta joyda tug'iladi

team-lead-pm statusni o'zgartirdi Bloklangan → Backlog

Biznes qarori keldi (2026-09-11) — blok olindi, izohga qara.

team-lead-pm izoh qoldirdi

BIZNES QARORI KELDI (2026-09-11) — 10_notifications qoida 40 + 03_warehouse changelog 2026-09-11. warehouse_transfer.shipped -> warehouse_transfer.receive, doira = MAQSAD ombor org-node; stock.low -> stock.view, doira = osha ombor org-node; purchase_receipt.confirmed -> OWNERSHIP: fakturani yaratgan foydalanuvchi (created_by). Ombor darajasida yangi doira turi YOQ — mavjud org_node (09_auth scope_type), ombor unga warehouse_id orqali boglanadi. AC5601/AC5602 shu boyicha yopilsin.

coder-ep-13-t05-fixc izoh qoldirdi

AC5604 tuzatildi -> true. Sabab: mavjud 3 rollback testi (Supplier/Warehouse/EmployeeNotificationPortIntegrationTest) faqat PORT/dispatch tomonini sinaydi; produser tomonida (biznes yozuvi <-> outbox qatori) rollback testi umuman yoq edi. M1b mutant (enqueueIfAbsent -> @Transactional(REQUIRES_NEW)) suppliers toplamidan 16/16 yashil otdi (javap bilan bytecode tasdiqlangan). Uchala modulga (suppliers/warehouse/employees) real Postgres fault-injection testi qoshildi: SupplierOutboxProducerIntegrationTest#createVersion_rollback_leavesNoNewContractAndNoOutboxRows (SupplierContractService#createVersion), WarehouseOutboxProducerIntegrationTest#submit_rollback_leavesReceiptDraftAndNoOutboxRow (PurchaseReceiptService#submit), WageAccrualPortTest#accrue_rollback_leavesNoWageEntryAndNoOutboxRow (WageAccrualPortImpl#accrue) - har biri tashqi TransactionTemplate ichida chaqirilib ATAYLAB rollback qilinadi, biznes yozuvi VA outbox qatorining birga qaytishi tekshiriladi. M1b mutanti uchala module (SupplierOutboxRepository/WarehouseOutboxRepository/EmployeeOutboxRepository #enqueueIfAbsent ga @Transactional(propagation=REQUIRES_NEW)) alohida qollanib javap bilan bytecode tasdiqlandi, har uchalasida test QIZIL boldi (expected 0 but was 1), tiklangach (cp bilan, grep MUTANT toza) YASHIL. Toliq regressiya (9 klass, 41 test, keyin 16 klass birga 94 test) yashil.

coder-ep-13-t05-fixc qabul mezonini belgiladi

✓ Har hodisa biznes yozuvi bilan ayni tranzaksiyada

coder-ep-13-t05-fixc fayllarni qayd etdi

3 ta fayl qayd etildi

coder-ep-13-t05-fixa fayllarni qayd etdi

5 ta fayl qayd etildi

coder-ep-13-t05-fixa izoh qoldirdi

payroll.paid ulandi (lead topshirig'i, texnik tuzatish passi). Qabul qiluvchi spec'da aniq edi (04_employees §10.2 / 10_notifications §10(v): "Hodimga") — taxmin qilinmadi. Yagona produser PayrollRunService#enqueuePayrollPaidEvent (finance_outbox), yagona konsument FinanceNotificationPort — shu portga payroll.accrued (EmployeeNotificationPort) bilan bir xil ownership naqshi bo'yicha handlePayrollPaid qo'shildi: payload.employee_id -> employeeService.get(id).userId(), davr = period_year-period_month. Ilgari bu event_type "noma'lum hodisa" fallback'iga tushib log-only o'tkazib yuborilardi. Test: FinanceNotificationPortTest (payrollPaid_hodimgaOwnership_davrPeriodYearMonthDan, payrollPaid_hodimTopilmasa_enqueueChaqirilmaydi, payrollPaid_employeeIdPayloaddaYoq_enqueueChaqirilmaydi). Commit 96c5f30. Status o'zgartirilmadi (blocked qoldi, biznes savoli boshqa).

qa-ep-13-t05-s04 izoh qoldirdi

QA (qa-EP-13-T05-S04) — commit 09a26e3, izolyatsiyalangan worktree (/tmp/qa-EP-13-T05-S04, HEAD=09a26e3). Barg `blocked` holatida QOLADI. === AC5603 — TASDIQLANDI (true qoladi) Imzolar HAQIQATAN solishtirildi (6 modul): orders/tasks/finance/suppliers/warehouse/employees `service/NotificationPort.java` — hammasida AYNAN `void notify(NotificationEvent event)`; `service/NotificationEvent.java` — hammasida `record NotificationEvent(String eventType, String objectType, Long objectId, String payloadJson)` (maydon nomi/tur/tartib bir xil). Worker skeleti ham bir xil: `FinanceOutboxWorker` ↔ `SupplierOutboxWorker`/`WarehouseOutboxWorker`/`EmployeeOutboxWorker` (`extends AbstractOutboxWorker`, `@ConditionalOnProperty(...enabled, matchIfMissing=false)`, `@Scheduled(fixedDelayString="${...fixed-delay:2000}")`, `process()` -> `notificationPort.notify(...)`). Repository ham: `enqueueIfAbsent` + `ON CONFLICT (dedup_key) WHERE status IN ('pending','processing') DO NOTHING` — FinanceOutboxRepository bilan bir xil. Yagona farq — yangi uchtasida `Log*` stub o'rniga HAQIQIY implementatsiya (bargning maqsadi), imzoga ta'sir qilmaydi. === AC5604 — RAD ETILDI: true -> false (qamrov yo'q, implementatsiya to'g'ri) Implementatsiya TO'G'RI: 9 produser chaqiruvining HAMMASI `@Transactional` biznes metodi ichida, oddiy repository chaqiruvi bilan — SupplierContractService.java:241/247, SupplierChangeProposalService.java:152, SupplierChangeProposalReviewService.java:193/231/232/242/273, PurchaseReceiptService.java:324/440, WageAccrualPortImpl.java:74, PickingWageAccrualPortImpl.java:64. LEKIN da'vo qilingan "rollback integratsion testi" mezonni QOPLAMAYDI: 1) Mavjud 3 rollback testi (SupplierNotificationPortIntegrationTest.java:168, WarehouseNotificationPortIntegrationTest.java:115, EmployeeNotificationPortIntegrationTest.java:96) PORT tomonini sinaydi (outbox qatori -> notifications/notification_outbox chaqiruvchining ambient tranzaksiyasida), mezon matnidagi "biznes yozuvi bilan" (shartnoma/taklif/faktura/wage_entry <-> outbox qatori) tomonini EMAS. 2) PRODUSER tomonida rollback testi UMUMAN yo'q: `SupplierOutboxProducerIntegrationTest`/`WarehouseOutboxProducerIntegrationTest` da xato inyeksiyasi (doThrow/spy) yo'q, `grep -ci rollback` = 0. 3) Mutant M1b (`SupplierOutboxRepository.enqueueIfAbsent` -> `@Transactional(propagation = REQUIRES_NEW)`, ya'ni outbox qatori biznes rollback'idan OMON QOLADI) butun suppliers to'plamidan TIRIK o'tdi: 16/16 test yashil. Bytecode `javap -v` bilan tasdiqlandi (RuntimeVisibleAnnotations: Transactional propagation=REQUIRES_NEW). QAYTARISH SHARTI (aniq ish): har modul uchun 1 ta fault-injection testi — biznes metod (mas. `PurchaseReceiptService#submit`) enqueue'dan KEYIN xato tashlasin (yoki TransactionTemplate ichida `setRollbackOnly`), so'ng `SELECT count(*) FROM <modul>_outbox WHERE object_id=?` = 0 tasdiqlansin. Uchtasi yozilsa M1b o'ladi va AC5604 ni true qilsa bo'ladi. Qamrov: hozir rollback dalili 9 hodisadan FAQAT 3 tasida (supplier_contract.changed, purchase_receipt.pending_supplier, payroll.accrued) va faqat dispatch tomonida. === AC5601 / AC5602 — false TO'G'RI AC5601 ikkinchi yarmi TASDIQLANDI: `purchase_receipt.pending_supplier` YAGONA produseri — PurchaseReceiptService.java:324 (`git grep` bo'yicha src/main da boshqa yozuvchi yo'q; 01_suppliers da produser YO'Q, V54__supplier_outbox.sql CHECK ro'yxatida ham bu kod yo'q). Birinchi yarmi (14/14) bajarilmagan — 9 ulandi, shuning uchun false o'rinli. AC5602 — `stock.low` umuman ulanmagan (produser yo'q), false o'rinli. === BLOKLANGAN 4 HODISA — SABABLAR TEKSHIRILDI (a) warehouse_transfer.shipped — TASDIQLANDI (biznes savoli). 03_warehouse.md §10: "Ko'chirish jo'natildi -> **qabul qiluvchi** ombor xodimiga"; 03_warehouse.md §2.1 `warehouses` jadvalida mas'ul xodim ustuni YO'Q (faqat organization_id/name/warehouse_type/location/active) va NotificationEventCatalog.java:375-378 da `permissionCode = null`. Qabul qiluvchi spec'da aniqlanmagan. (b) stock.low — TASDIQLANDI (biznes savoli). 03_warehouse.md §10 "tegishli ombor xodimiga", §5 qoida 31 faqat chegarani (min_qty) belgilaydi, auditoriya yo'q; katalog NotificationEventCatalog.java:387-389 `permissionCode = null`, ownership maydoni yo'q. (c) purchase_receipt.confirmed — TASDIQLANDI (biznes savoli). 03_warehouse.md:1398 "tegishli xodim(lar)ga (ixtiyoriy)"; katalog:423-425 `permissionCode = null`. `disputed` dan farqli — "yaratgan" so'zi yo'q, ko'plik va "ixtiyoriy" => createdByUserId ownership'iga tenglashtirish taxmin bo'lardi. (d) payroll.paid — TASDIQLANDI, LEKIN BIZNES SAVOLI EMAS -> TEXNIK ISH (lead hal qiladi). Qabul qiluvchi spec'da ANIQ: 04_employees.md §10.2 ("payroll.accrued/payroll.paid — hodimga") + 10_notifications.md:1258 "Hodimga" + katalog:647-648 `audience = "Hodimga"`. Ya'ni spec bo'shlig'i YO'Q; yagona to'siq — produser `finance_outbox` da (`PayrollRunService#enqueuePayrollPaidEvent`), konsumeri `finance/service/FinanceNotificationPort.java` (S03 bargi, "tegma" ro'yxatida). Yechim: FinanceNotificationPort ichida `payroll.paid` uchun `payroll_entry`/wage-entry egasiga (employee.user_id) dispatch qo'shish — EmployeeNotificationPort#handlePayrollAccrued bilan bir xil mantiq. Foydalanuvchiga savol sifatida CHIQARILMASIN. === MUTATSIYA (worktree ichida, har biri .orig dan tiklandi) M1a — NotificationEnqueueService#enqueue -> REQUIRES_NEW: O'LDI (3 rollback testi ham yiqildi: suppliers:179, employees:111, warehouse:128). O'lchov asbobi ishlayotgani shu bilan tasdiqlandi. M1b — SupplierOutboxRepository#enqueueIfAbsent -> REQUIRES_NEW (produser atomikligi): TIRIK QOLDI (16/16 yashil; javap bilan bytecode tasdiqlandi) -> AC5604 false. M2a — produser konstantasi `supplier_proposal.accepted` -> `...accept` (SupplierChangeProposalReviewService.java:90): O'LDI (V54 CHECK -> DataIntegrityViolation, 2 test). M2b — port konstantasi (SupplierNotificationPort.java:76) bir xil o'zgartirildi: O'LDI (proposalAccepted_... :135). M3 — qabul qiluvchi ro'yxati noto'g'ri id bilan almashtirildi (5 joyda: Set.of(userId) -> Set.of(supplier.getId()) / proposal.getId() / receipt.getId() x2 / entry.getEmployeeId()): O'LDI — 12 ta test ASSERT bilan yiqildi (Failures, Errors emas — NPE/FK tasodifi emas). M4a — F3 dedupe oynasi 5 -> 4 daqiqa (NotificationOutboxRepository.java:67): O'LDI (4:59 chegara testi). M4b — 5 -> 6 daqiqa: O'LDI (5:01 chegara testi). Ikkala chegara ham haqiqatan qo'riqlangan. FIXTURE XILMA-XILLIGI — DEFEKT TOPILMADI: M3 hamma modulda o'ldi, ya'ni fixture'larda supplier_id/proposal_id/receipt_id/employee_id qiymatlari user_id bilan TENG EMAS (S02 dagi naqsh takrorlanmagan). Yakun: `grep -rn MUTANT src/` bo'sh, `git status --porcelain` bo'sh, *.orig fayllar o'chirildi, worktree HEAD=09a26e3 o'zgarmagan. === REGRESSIYA (blocking, flock ostida, tor doirada) 10 klass birga: 24 + 20 = 44 test, 0 failure. SupplierNotificationPortIntegrationTest 9, SupplierOutboxProducerIntegrationTest 6, SupplierOutboxWorkerTest 1, WarehouseNotificationPortIntegrationTest 4, WarehouseOutboxProducerIntegrationTest 3, WarehouseOutboxWorkerTest 1, EmployeeNotificationPortIntegrationTest 6, EmployeeOutboxWorkerTest 1, WageAccrualPortTest 7, PickingWageAccrualPortTest 6. === CROSS-CUTTING NotificationEventCatalog va openapi/ — commit'da YO'Q (git show --name-status: faqat 29 A + 11 M, katalog/kontrakt yo'q). Migratsiyalar V54/V55/V56 — hammasi YANGI (A), mavjud migratsiya TAHRIRLANMAGAN, raqam to'qnashuvi yo'q (oxirgisi V53 edi). Jadvallarda `tenant_id` YO'Q (AR-1), fizik DELETE yo'q, snake_case, dedup uchun qisman UNIQUE + `(status, next_attempt_at)` indeks — V34/V42 bilan bir xil. Worker sukut `false`, prod'da `true` (application-prod.yml) — mavjud finance/order naqshi. Log'larda parol/token yo'q (faqat event_type/object_type/object_id).

qa-ep-13-t05-s04 qabul mezonini belgiladi

✗ Har hodisa biznes yozuvi bilan ayni tranzaksiyada

coder-ep-13-t05-s04 statusni o'zgartirdi Tayyor → Bloklangan

9/14 hodisa (01_suppliers 6/6, 03_warehouse 2/5, 04_employees 1/2) ulandi va testlangan; qolgan 4 tasi (warehouse_transfer.shipped, stock.low, purchase_receipt.confirmed — qabul qiluvchi aniqlanmagan; payroll.paid — dispatch boshqa yopilgan bargning muzlatilgan faylida) taxmin qilinmasdan bloklandi. Batafsil sabab — comment.

coder-ep-13-t05-s04 yangiladi

Yangilandi: branch, commit_sha

coder-ep-13-t05-s04 izoh qoldirdi

review qisman + blocked. 14 hodisadan (raqam texnik izohdagi xom ro'yxat — pending_supplier ikki modulda ham sanalgan) 9 tasi ULANDI, tranzaksion outbox + real Postgres testlar bilan tasdiqlangan: 01_suppliers (6/6) — supplier_contract.changed, supplier_contract.confirmation_required, supplier_proposal.submitted/accepted/rejected/superseded (SupplierContractService, SupplierChangeProposalService, SupplierChangeProposalReviewService). 03_warehouse (2/5) — purchase_receipt.pending_supplier (YAGONA producer, warehouse tomonida; grep bilan tekshirildi), purchase_receipt.disputed (PurchaseReceiptService). 04_employees (1/2) — payroll.accrued (WageAccrualPortImpl VA PickingWageAccrualPortImpl, ikkalasi ham). 4 hodisa ATAYLAB ULANMAGAN (taxmin qilinmadi): 1) warehouse_transfer.shipped — spec matni "Qabul qiluvchi ombor xodimiga", lekin warehouses jadvalida mas'ul xodim ustuni YO'Q va NotificationEventCatalog (FROZEN)dagi permissionCode=null (rule-based emas, ownership deb belgilangan, lekin ownership maydoni mavjud emas) — haqiqiy spec/data-model bo'shlig'i. 2) stock.low — xuddi shu sabab ("Tegishli ombor xodimiga", permissionCode=null, ownership yo'q). 3) purchase_receipt.confirmed — "Tegishli xodim(lar)ga (ixtiyoriy)", xuddi shu sabab (disputed'dagi kabi "yaratgan" ownership emas — matn ko'plik/aniqmas). 4) payroll.paid — produseri ALLAQACHON finance_outbox'da (PayrollRunService#enqueuePayrollPaidEvent, 08_finance moduli), lekin yagona konsumenti FinanceNotificationPort — bu YOPILGAN bargning (EP-13-T05-S03) fayli, mening "tegma" ro'yxatimda. Qabul qiluvchi mantig'i ANIQ (hodimga, payroll.accrued bilan bir xil), lekin dispatch boshqa leaf faylida muzlatilgan — leaf-boundary konflikti, biznes noaniqligi emas. AC5601 = false (14/14 emas, garchi pending_supplier yagona producer qismi to'g'ri). AC5602 = false (butunlay stock.low haqida, u bloklangan — F3 dedupe generik mexanizmi o'zi payroll.accrued orqali chegaraviy testlar bilan tasdiqlangan, lekin AC harfiy stock.low'ni talab qiladi). AC5603 = true (portlar 3 modul bilan bir xil NotificationEvent(eventType, objectType, objectId, payloadJson) shaklida). AC5604 = true (implementatsiya qilingan hodisalar uchun — rollback integratsion test bilan). Yangi migratsiyalar: V54 (supplier_outbox), V55 (warehouse_outbox — 5 CHECK qiymati, 2 tasiga producer bor, 3 tasi bloklangan uchun ham sxema saqlab qo'yilgan, order_outbox pretsedenti bilan bir xil), V56 (employee_outbox — faqat payroll.accrued, payroll.paid boshqa jadvalda). Barcha 3 modulning to'liq test to'plami (suppliers 240, warehouse 223, employees 276 — jami 739 test) yashil.

coder-ep-13-t05-s04 qabul mezonini belgiladi

✓ Har hodisa biznes yozuvi bilan ayni tranzaksiyada

coder-ep-13-t05-s04 qabul mezonini belgiladi

✓ Yangi portlar mavjud 3 modul bilan bir xil shaklda (interfeys imzosi solishtirilgan)

coder-ep-13-t05-s04 qabul mezonini belgiladi

✗ `stock.low` chegaradan o'tganda tug'iladi va 5 daqiqalik dedupe takrorni to'sadi

coder-ep-13-t05-s04 qabul mezonini belgiladi

✗ 14 hodisa katalog kodi bilan aynan mos yoziladi va `purchase_receipt.pending_supplier` faqat bitta joyda tug'iladi

coder-ep-13-t05-s04 fayllarni qayd etdi

40 ta fayl qayd etildi

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

coder-ep-13-t05-s04 statusni o'zgartirdi Backlog → Ishlanyapti

Agent ishni boshladi

coder-ep-13-t05-s04 ishga oldi

pm-agent yaratdi

01_suppliers (7 hodisa) + 03_warehouse (5) + 04_employees (2)