[CLAUDE] Skill: land 5 slot owner ratify @S172 (68·69·70·71·72)
All checks were successful
Deploy SOLUTION_ERP / build-deploy (push) Successful in 6m41s
All checks were successful
Deploy SOLUTION_ERP / build-deploy (push) Successful in 6m41s
68 — mở enum class `view-claim-broader-than-sample` (kiểu hỏng thứ tư: suy-luận vượt mẫu; 3 nhóm class cũ không phủ được). Seed class_repeat.counts khoá mới = 0 CÙNG NHỊP ⇒ bất-biến counts ≡ enum giữ 12/12 hai chiều. 69 — wire cổng ép-seed C2 vào /pause.md §2.5 (đếm 2 cột A∖B, seed on-behalf trước khi commit `wal: pause`). Token cổng-seed 0/5 → 5/5. Vá cơ chế lead-gap FLAG-6: phiên kết bằng /pause thì phép đếm không bao giờ chạy ⇒ sót seed là tất yếu cấu trúc, không phải đãng trí. 70 — tách 2 sổ đếm H24: +param `-CoCa` cho h24-signal-write.ps1. Class CÓ CA nhưng không thành FLAG (lead tự khai ⇒ con-đo xếp ngoài TOTAL) nay CHẶN RESET nhưng KHÔNG tăng tally. Vá incentive-inversion ring2-audit A4 bắt: cơ chế cũ thưởng cho việc giấu. Fault-inject 4/4 (CoCa chặn reset · đối chứng âm vẫn reset · rào enum exit 2 · happy-path exit 0). Khôi phục view-stale-header 0 → 4. 71 — gom trọn nợ harvest 11 vai / ~306 KB (S168 6 vai · S171 4 vai + reviewer×3 lens · cicd 2 sha mở từ S162). KHÔNG gom S159-bookend-open (dương-giả, ring1 chứng 4/4 byte-exact). Sleep probe pending=1/15 ⇒ IM nên không nén. Ghi uỷ quyền thường trực gom+nén = AUTO, lead tự quyết, kèm 2 rào không được nới theo. 72 — MFE vào nhịp closeout: gỡ cổng từ-khoá `eval` ⇒ AUTO mỗi closeout. Tiền đề "MFE tắt" đã ăn trọn lớp-① reinject + E3 của harness-refine; đo lại: exit 0, 23 role, implementer-frontend 11/13 = 85%. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
This commit is contained in:
@ -63,6 +63,12 @@ param(
|
||||
[ValidateSet('light', 'deep')]
|
||||
[string]$AuditKind,
|
||||
|
||||
# SO THU HAI (S172, owner slot 70). Class CO CA trong vong nay nhung KHONG thanh FLAG
|
||||
# - dien hinh: lead TU KHAI truoc khi con-do soi, nen con-do xep vao §0-bis NGOAI TOTAL.
|
||||
# Chung KHONG tang tally (khong phai FLAG moi) nhung CHAN RESET (ca co that = chuoi chua dut).
|
||||
[AllowEmptyString()]
|
||||
[string]$CoCa,
|
||||
|
||||
[string]$RepoRoot
|
||||
)
|
||||
|
||||
@ -155,6 +161,23 @@ if ($bad.Count -gt 0) {
|
||||
|
||||
$firedUnique = @($firedRaw | Select-Object -Unique)
|
||||
|
||||
# parse -CoCa (SO THU HAI, S172 slot 70). Cung enum DONG, cung luat cam tu-che class.
|
||||
$cocaRaw = @()
|
||||
if (-not [string]::IsNullOrWhiteSpace($CoCa)) {
|
||||
$cocaRaw = @($CoCa -split ',' | ForEach-Object { $_.Trim() } | Where-Object { $_ -ne '' })
|
||||
}
|
||||
$badCoCa = @($cocaRaw | Where-Object { $enum -notcontains $_ } | Select-Object -Unique)
|
||||
if ($badCoCa.Count -gt 0) {
|
||||
foreach ($b in $badCoCa) {
|
||||
Write-Host ("FAIL: -CoCa class '{0}' is NOT in the closed enum lead_self_audit.flag_classes." -f $b)
|
||||
}
|
||||
Write-Host (" Closed enum ({0}): {1}" -f $enum.Count, ($enum -join ', '))
|
||||
exit 2
|
||||
}
|
||||
$cocaUnique = @($cocaRaw | Select-Object -Unique)
|
||||
# Giao voi -Flags: mot class vua FLAG vua tu-khai thi FLAG thang (no da tang tally roi).
|
||||
$cocaOnly = @($cocaUnique | Where-Object { $firedUnique -notcontains $_ })
|
||||
|
||||
# ---------------------------------------------------------------------------
|
||||
# read counter state
|
||||
# ---------------------------------------------------------------------------
|
||||
@ -220,10 +243,20 @@ foreach ($cls in $firedUnique) {
|
||||
# ---------------------------------------------------------------------------
|
||||
# (3b) RESET pass - consecutive semantics; at most one reset pass per session (FIX-1 p2);
|
||||
# a present freeze key blocks it entirely (owner-owned hung streak stays intact).
|
||||
#
|
||||
# 🔴 SO THU HAI chan reset (S172, owner slot 70 - vá incentive-inversion do ring2-audit A4 bắt).
|
||||
# BENH: "consecutive semantics" doc tin-hieu tu DUY NHAT danh-sach -Flags. Nhung mot class CO CA
|
||||
# THAT ma lead TU KHAI TRUOC khi con-do soi thi con-do xep no vao §0-bis NGOAI TOTAL => no vang
|
||||
# mat khoi -Flags => may doc thanh "khong tai dien" => RESET. Tuc co-che dang THUONG CHO VIEC GIAU:
|
||||
# im lang thi con-do bat va streak +1; tu thu thi streak ve 0.
|
||||
# CA THAT @S172: view-stale-header 4 -> 0, trong khi 2 header stale (STATUS:6, HANDOFF:5) CO THAT
|
||||
# va chinh lead da khai ra chung trong cung phien.
|
||||
# VA: reset chi khi class VANG MAT o CA HAI so - khong FLAG *VA* khong co ca tu-khai.
|
||||
# -Flags = "so FLAG moi" (tang tally) ⟂ -CoCa = "class nao co ca trong vong" (chi chan reset).
|
||||
# ---------------------------------------------------------------------------
|
||||
if (-not $resetDone) {
|
||||
$resetCandidates = @($enum | Where-Object {
|
||||
($firedUnique -notcontains $_) -and ((Get-Count $counts $_) -ge 1) -and ($decided -notcontains $_)
|
||||
($firedUnique -notcontains $_) -and ($cocaOnly -notcontains $_) -and ((Get-Count $counts $_) -ge 1) -and ($decided -notcontains $_)
|
||||
})
|
||||
if ($resetCandidates.Count -gt 0) {
|
||||
if ($frozen) {
|
||||
@ -234,7 +267,7 @@ if (-not $resetDone) {
|
||||
foreach ($cls in $resetCandidates) {
|
||||
$cur = Get-Count $counts $cls
|
||||
Set-Prop $counts $cls ([int]0)
|
||||
Write-Host ("RESET: class '{0}' counts {1} -> 0 (did not repeat this session - consecutive semantics)." -f $cls, $cur)
|
||||
Write-Host ("RESET: class '{0}' counts {1} -> 0 (khong FLAG VA khong co ca tu-khai - consecutive semantics)." -f $cls, $cur)
|
||||
}
|
||||
$resetDone = $true
|
||||
}
|
||||
@ -252,6 +285,8 @@ Set-Prop $la 'signal_session' ([string]$Session)
|
||||
Set-Prop $la 'signal_decided' (@($decided))
|
||||
Set-Prop $la 'signal_reset_done' ([bool]$resetDone)
|
||||
Set-Prop $la 'signal_last_kind' ([string]$AuditKind)
|
||||
# SO THU HAI - vet de doc lai duoc "vong nay class nao co ca ma khong thanh FLAG"
|
||||
Set-Prop $la 'signal_coca' (@($cocaOnly))
|
||||
|
||||
# ---------------------------------------------------------------------------
|
||||
# (6a) B10 @S152 enum-parity: EVERY enum class must exist as a key (0 if absent) so a
|
||||
|
||||
Reference in New Issue
Block a user