Sverka (reconciliation) `@Scheduled` job — invariant tekshiruvi

finalize-ep-04 yangiladi

Yangilandi: commit_sha, pr_url

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

QA (qa-EP-04-T02-S03) — mustaqil tekshiruv, coder isbotiga tayanmasdan. TESTLAR (o'zim yurgizdim, flock ostida, tor doirada): - StockReconciliationJobTest 4/4 + StockReconciliationJobDisabledTest 3/3 YASHIL. - Regressiya: StockInPosterTest 4/4 + StockPostingServiceTest 6/6 YASHIL. - Muhit tuzatishi: repoda Testcontainers BOR (pom.xml: spring-boot-testcontainers + org.testcontainers:postgresql); yurish paytida testcontainers-ryuk konteyneri ko'tarildi va baza toza/izolyatsiya qilingan (bootstrap owner userId=2, warehouse_id=1..4) — testlar erpbom-dev-postgres'ga URMAYDI. MUTATSIYA TEKSHIRUVI (5 ta, hammasi QIZIL): (a) invariant sharti teskari (`<>` -> `=`, ikkala so'rovda): 4 testdan 3 tasi yiqildi — AC2435 (qty va cost) + AC2436. (b) @ConditionalOnProperty olib tashlandi: DisabledTest 2/3 yiqildi (AC2438 ikkala yarmi). (b2) application.yml dagi `on-profile: test` hujjati neytrallandi: disabledInTestProfileWithoutAnyExplicitEnabledProperty yiqildi — demak test haqiqiy yml ni o'qiydi, taqlid emas. (c1) runOnce() ga haqiqiy `UPDATE stock SET qty_on_hand = qty_on_hand + 1` inject qilindi (readOnly saqlangan): SQLSTATE 25006 bilan yiqildi — lekin bu Postgres himoyasi, testning o'zi emas. (c2) o'sha UPDATE + `readOnly` olib tashlandi: test O'ZINING snapshot assertioni bilan yiqildi (StockReconciliationJobTest.java:269, "stock jadvali diff bo'sh bo'lishi kerak") — AC2437 testining TISHI BOR, faqat DB read-only tranzaksiyasiga tayanmaydi. (d) 3 ta log.error -> log.debug: AC2435 ikkala testi assertErrorLoggedWithKey (StockReconciliationJobTest.java:299) da yiqildi — ListAppender HAQIQATAN ERROR darajasini va kalit (warehouse_id/product_variant_id/condition/batch_id) mavjudligini tekshiradi, bo'sh assert emas. Har mutatsiyadan keyin `git checkout -- <fayl>`; yakunda `git diff HEAD -- src/` BO'SH. UCHINCHI INVARIANT TALQINI — QABUL QILINDI (spec bo'shlig'i EMAS): Coder board matnidagi "Sigma stock_movements.total_cost = stock_batches.total_cost" ni `total_cost = remaining_cost + Sigma(direction='out'.total_cost)` shaklida yozgan. Mustaqil tasdiqladim: 1. StockInPoster.java:75 `batch.setTotalCost(command.totalCost())` va StockInPoster.java:96-104 `movement.setBatchId(batch.getId()); setDirection("in"); setTotalCost(command.totalCost())` — ya'ni `in` harakat qatorining total_cost'i partiya total_cost'ining O'ZI, xuddi shu batch_id bilan. Demak so'zma-so'z (barcha direction bo'yicha) yig'indi = total_cost + Sigma(out): sarflanmagan partiyadagina to'g'ri, HAR QANDAY sarflangan partiyada yolg'on pozitiv. Haqiqiy yurish ma'lumotida ham ko'rindi: batch_id=5 uchun remaining_cost=60000.00, sum_out=40000.00 (jami 100000.00 = total_cost), so'zma-so'z yig'indi esa 140000.00 bo'lardi. 2. StockOutPoster.java:100/112 `remaining_cost -= allocatedCost` va `movement.total_cost = allocatedCost` — bu 03_warehouse.md §5 qoida 42 mexanikasining AYNAN o'zi; `remaining_cost = total_cost` dan boshlab induksiya bilan `total_cost = remaining_cost + Sigma(out)` har lahzada o'rinli. 3. Doc qo'llab-quvvatlaydi: §5 qoida 42 ning asosiy jumlasi — "Sigma CHIQIM qiymatlari = total_cost" (ya'ni faqat out), bu coder formulasining remaining_cost=0 xususiy holati. FP-21 (§2.4 `total_cost` ustuni + qoida 42 oxiri) dagi "Sigma stock_movements.total_cost" — ajratilgan qiymat endi harakat qatorida saqlanishini bildiruvchi qisqartma; so'zma-so'z barcha direction bo'yicha o'qilsa qoida 42 ning O'Z asosiy jumlasiga ham, kodga ham zid bo'lardi. 4. Qamrov TORAYMAGAN: job uchinchi invariant sifatida `qty_remaining=0 => remaining_cost=0` ni ham tekshiradi; ikkovi birga partiya tugaganda aynan doc'dagi `Sigma chiqim = total_cost` ga keltiriladi. => Talqin to'g'ri va doc bilan izchil. ⚠️ PM uchun NOBLOKLOVCHI eslatma: 03_warehouse.md §2.4 (`stock_movements.total_cost` ustuni izohi) va §5 qoida 42 FP-21 bandidagi "Sigma stock_movements.total_cost" iborasi aniq emas — "Sigma (direction='out')" deb aniqlashtirilsa yaxshi bo'lardi. Docga TEGMADIM (READ-ONLY). AVTO-TUZATISH YO'Q (Q10 deferred) — tasdiqlandi: StockReconciliationJob.java da UPDATE/INSERT/DELETE/MERGE/save()/Repository umuman yo'q (yagona grep mosligi — javadoc izohi); faqat 3 ta SELECT (jdbcTemplate.query). Butun yurish `@Transactional(readOnly = true)`; @Scheduled idempotent (AR-12) — sof o'qish, holat o'zgarmaydi. CROSS-CUTTING: (1) DB metodi `@Transactional(readOnly = true)` ✓; (2) tenant_id/schema almashtirish qo'shilmagan (AR-1) ✓; (3) migratsiya yo'q — FK/precision o'zgarishi yo'q ✓; (4) tashqi broker/kesh ishlatilmagan, asinxron ish yo'q (AR-3/AR-4) ✓; (5) snake_case, jadval ko'plikda ✓; (7) stock/stock_batches/stock_movements da deleted_at yo'q (insert-only ledger + joriy holat) — filtr talab qilinmaydi ✓; (8) log'da faqat id va miqdorlar, parol/token yo'q ✓. MEZONLAR: 2435 ✓ (ListAppender bilan haqiqiy ERROR log + kalit; mutatsiya d bilan tasdiqlandi) · 2436 ✓ (realistik toza holat — qisman VA to'liq sarflangan partiya; naive formulani ushlaydigan fixture) · 2437 ✓ (uchala jadval snapshot'i ustun=qiymat darajasida solishtiriladi, buzilish MAVJUD holatda; mutatsiya c2 bilan tasdiqlandi) · 2438 ✓ (mutatsiya b va b2 bilan tasdiqlandi). KICHIK KUZATUV (blok emas, qabul qilindi): AC2436 testida snapshot diff tekshiruvi yo'q — lekin "DBga yozmaydi" xossasi AC2437 testida (og'irroq holat) + readOnly + grep bilan qoplangan, runOnce() da toza yo'lda yozadigan tarmoq yo'q. Yana: `test` profilini boshqa hech bir test faollashtirmagani uchun oddiy test yurishlarida bean yaratiladi va cron (0 0 3 * * *) ro'yxatdan o'tadi — 03:00 UTC ga to'g'ri kelsa nazariy jihatdan yurishi mumkin, lekin job sof o'qish bo'lgani uchun zarari yo'q; AuthRetentionJob bilan bir xil naqsh. Ish daraxti: `git status --short` = faqat `M openapi/v1/warehouse.yaml` (staged, tegilmadi).

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

✓ Job konfiguratsiya bilan o'chirilishi mumkin va test profilida ishga tushmaydi

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

✓ Job hech qanday qatorni o'zgartirmaydi (faqat o'qiydi) — `stock`/`stock_batches`/`stock_movements` diff bo'sh

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

✓ Toza bazada job hech qanday buzilish topmaydi va DBga yozmaydi

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

✓ Sun'iy ravishda buzilgan qoldiq (`qty_on_hand` ni to'g'ridan-to'g'ri UPDATE qilib) job tomonidan topiladi va ERROR log'da kalit bilan ko'rsatiladi

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

coder-ep-04-t02-s03 yangiladi

Yangilandi: branch, commit_sha

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

✓ Job konfiguratsiya bilan o'chirilishi mumkin va test profilida ishga tushmaydi

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

✓ Job hech qanday qatorni o'zgartirmaydi (faqat o'qiydi) — `stock`/`stock_batches`/`stock_movements` diff bo'sh

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

✓ Toza bazada job hech qanday buzilish topmaydi va DBga yozmaydi

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

✓ Sun'iy ravishda buzilgan qoldiq (`qty_on_hand` ni to'g'ridan-to'g'ri UPDATE qilib) job tomonidan topiladi va ERROR log'da kalit bilan ko'rsatiladi

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

4 ta fayl qayd etildi

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

Agent ishni boshladi

coder-ep-04-t02-s03 ishga oldi

pm-agent bog'liqlik qo'shdi

→ EP-04-T02-S02

pm-agent yaratdi

Sverka (reconciliation) `@Scheduled` job — invariant tekshiruvi