feat: GHAS급 시크릿 탐지 품질 자율층 M0~M5 (parity SLO, report-only)

[pureliture]

GHAS급 시크릿 탐지 품질 — 자율층 M0~M5 (parity SLO)

시크릿 탐지를 GHAS parity SLO에 맞추는 측정 harness + 티어드 FP-억제 품질 머신 + report-only CI SLO 게이트를 synthetic fixture로만 TDD 완성. 실 GHAS 무접촉. autopilot 단일 goal의 자율 done = M5.

SoT: docs/workbench/specs/ghas-quality-secrets/{requirements,design,review}.md (design v2 리뷰 반영본).

active_goal 슬롯 결정 (사용자 승인)

origin/main이 personal-prod-deploy를 active_goal로 유지 중. 이 PR은 슬롯을 밀어내지 않는다 — governance(autopilot_goal.yml/current.yml/CURRENT.md)는 머지 시 main에 맞춰 personal-prod 유지, ghas는 default-off/report-only 코드만 머지한다. M1M5는 전부 active_goal 슬롯 없이 안전하게 동작(기존 secret default 불변, 신규 동작은 전부 gated/default-off/report-only). autonomous M1M5 done, H1~H3(실 GHAS·baseline·enforce)는 human-gated 후속.

Milestones (각 커밋)

• M1 0bdf939 — per-repo 1:1 GHAS parity 측정 harness. core/evaluation/metrics.py 재사용(신규 precision/recall·gate 계산 코드 0줄), baseline/ghas_api는 alert→EvaluationKey 어댑터. secret_type↔rule_id 정규화 맵 + type-coverage, state-aware truth(open+resolved-TP만 positive, dismissed 분리), line tolerance(±k), full-history universe. 적대적 fixture(type-mismatch/line-drift/dismissed + tolerance 경계 음성대조)가 정규화/필터/tolerance 누락을 red로.
• M2 739fac3 — 인라인 싼 FP-억제 티어. scanners/gitleaks/context_filter.py scan-time path-role(docs/example/test)/context-class(manifest-hash) 억제. noise_reason(item:dict) 계약 불변(별도 단계), canary FP-floor(강토큰 위치 무관 보존) → 기존 secret default 불변. partner-pattern default-off gated.
• M3 b2e90e5 — LLM 티어 disposition 배선(scan_all + scan_worker 2경로). 동기 인라인 자동공유 + 비동기 verify 큐(enqueue-only, 인라인 LLM 호출 0). 멱등 verify-job-id + enqueue CAS로 NEEDS_REVIEW 폭주 차단. 새 테이블/GSI/projection/attribute 없이 기존 job_type="verify"로만. verify job pending-반환 가드. salt provenance.
• M4 d905e95 — non-GHAS drift monitor. M1 GHAS-derived 분포 기준선 + rule_id TV distance(verifier-직교), parity/SLO 물리 분리 필드, notification_log 노출, default-off·passive(폴링 신설 없음, byte-identical 증명).
• M5 75df354 — report-only CI SLO 게이트 governance.parity_slo --check. threshold 부재→report-only(영구·자율층), 존재→enforce(H3), 나이>임계→stale-degraded(enforce hard fail). provenance fail-closed.

아키텍처 게이트 (mandatory, 전부 PASS)

pre-implementation / post-M2 / post-M3 / final — 4지점 모두 blocking finding 0.

충돌 해소 (머지 커밋 7d45648)

origin/main이 personal-prod 계열(PR #51~#55, M8 dashboard)로 전진해 충돌 → 사용자 승인대로 해소:

• governance 3파일 → main(theirs) 채택(personal-prod 유지, origin/main과 byte-identical → autopilot_gate 안 잡음, self-modification/scope-expansion 아님).
• 코드 2파일(scan_worker/test) → 양쪽 로직 병합(main baseline-job + 우리 M3 verify 가드, 양립).

검증

• uv run pytest → 1253 passed, 4 skipped(env-gated)
• required local checks 전부 green: render --validate/--check, rebuild_ledger_index, render_github_ruleset, public_safety(--diff origin/main...HEAD, --path spec), parity_slo --check(report-only exit 0), autopilot_gate --base origin/main green(governance가 main과 동일하니 base 트릭 불필요)
• ci/autopilot-gate는 claude/* 면제(ci.yml:109-111, skip+Success)

자율 done = M5 (SLO enforce 미달성 — H-track 대기)

자율층은 영구 report-only(실 baseline 없이 목표 못 만들므로). v1 done(baseline+목표 도달)은 H1~H3 후:

• H1 실 GHAS snapshot 취득(ghas-live-fetch-or-mutation-required stop → 사람 PR, local 비커밋)
• H2 baseline + fixture-vs-real divergence 보고 + measure-first 목표 확정
• H3 threshold(governance/parity_slo_thresholds.yml) 커밋 → report-only→enforce 자동 전환

H-track 메모(final 리뷰 권고): H3 enforce 시 빈/누락 코퍼스 macro=1.0 silent green 방지를 위해 threshold 옆 snapshot_count ≥ N 가드 권고. H1 실 local snapshot 경로를 .gitignore에 명시 추가. M5 parity_slo --check의 ci.yml 한 줄 배선은 .github scope 밖이라 후속(report-only라 미배선이어도 차단 동일).

🤖 Generated with Claude Code

https://claude.ai/code/session_01TwGs78e6Rb7P5BDe2ezQEh

[gemini-code-assist]

Code Review

This pull request implements the GHAS secret-parity SLO goal, introducing a synthetic adversarial snapshot fixture, an M1 parity harness with bidirectional token normalization, an M2 inline cheap tier for scan-time path-role and context-class suppression, an M3 async LLM verifier queue seam, an M4 non-GHAS drift monitor, and an M5 CI SLO gate. The reviewer feedback highlights a potential busy-loop issue in scan_worker.py when verify jobs are repeatedly leased and returned, and suggests several defensive programming guards to prevent potential AttributeError or TypeError exceptions across verify_queue.py, context_filter.py, and parity.py.

Important

The consumer version of Gemini Code Assist on GitHub is being sunset. Starting June 18, 2026, new organization installations will be blocked, and all code review activity will officially cease on July 17, 2026.
For more details on the timeline and next steps, please review the Help Documentation.

[gemini-code-assist]

여기에는 잠재적인 효율성 및 안정성 문제가 있습니다. verify 작업이 code-scan 워커에 의해 리스(lease)되면, 대기 상태(pending)로 반환되고 루프가 계속됩니다. 그러나 대기 중인 다른 작업이 없거나 다른 verify 작업만 있는 경우, 동일한 루프 반복 내에서 lease_next_scan_job을 다음으로 호출할 때 방금 반환된 동일한 verify 작업을 즉시 다시 리스할 수 있습니다. 이로 인해 워커가 단일 호출 내에서 동일한 작업을 최대 max_jobs번 반복해서 리스하고 반환하게 되어 데이터베이스 작업과 CPU 사이클이 낭비될 수 있습니다.

이러한 중복 리스 루프를 방지하기 위해, 현재 호출에서 대기 상태로 반환된 작업 ID를 추적하고 중복 리스가 발생할 경우 루프를 중단(break)하거나 건너뛰는 방안을 고려해 주세요.

[gemini-code-assist]

안정성을 확보하고 방어적 프로그래밍 관행을 준수하기 위해, finding.evidence가 None이거나 누락된 경우에 대비한 가드가 필요합니다. 만약 finding.evidence가 None인 경우, finding.evidence.secret_hash에 접근하면 AttributeError가 발생합니다.

    evidence = getattr(finding, "evidence", None)
    if not evidence or not evidence.secret_hash:
        return ""
    secret_hash = evidence.secret_hash

[gemini-code-assist]

finding.location 또는 finding.location.file_path가 None이거나 누락된 경우 발생할 수 있는 AttributeError 또는 TypeError를 방지하기 위해, 이 속성들을 _is_manifest_hash_location에 전달하기 전에 방어적으로 검증해야 합니다.

Suggested change

	file_path = finding.location.file_path
	location = getattr(finding, "location", None)
	file_path = location.file_path if location else None
	if not file_path:
	return None

[gemini-code-assist]

파싱된 JSON 필드에 대한 방어적 타입 검증을 구현할 때, 키에 접근하거나 .get()을 호출하기 전에 파싱된 JSON이 실제로 딕셔너리 객체인지 확인하여 안정성을 확보해야 합니다. 만약 JSON 파일이 잘못 형성되었거나 객체 대신 리스트/원시 타입을 포함하고 있다면, 처리되지 않은 AttributeError가 발생할 수 있습니다. 또한, 이와 같은 방어적 타입 검증을 구현할 때는 None, 숫자, 불리언, 리스트, 딕셔너리 등 다양한 예기치 않은 타입을 다루는 포괄적인 단위 테스트를 추가하여 견고함을 보장해 주세요.

    data = json.loads(Path(path).read_text(encoding="utf-8"))
    if not isinstance(data, dict):
        raise ValueError("parity snapshot JSON must be a dictionary object")
    source = str(data.get("source", "")).strip().lower()

References

1. When implementing defensive type validation for parsed JSON fields (e.g., verifying a field is a string), ensure robustness by adding comprehensive unit tests that cover various unexpected types, including None, numbers, booleans, lists, and dictionaries.

[gemini-code-assist]

None 입력에 대한 안정성을 확보하기 위해, alerts와 findings가 None으로 전달될 경우 방어적으로 빈 리스트로 초기화해야 합니다.

Suggested change

	config = config or ParityConfig()
	config = config or ParityConfig()
	alerts = alerts or []
	findings = findings or []