어댑터 기능 매트릭스

• ✓ A0 lockfile에서 패키지와 버전 확인 지원
• ✓ A1 빌드·타입체크·테스트 결과 관측 지원
• ✓ A2 정적 심볼 해석 — 어떤 API를 썼는지 지원
• — A3 런타임 계측 — 호출 자체를 관측 미지원
• ✓ A4 clean 샘플을 contract로 검증 지원

심볼 신뢰도 PROBABLE import와 호출 지점으로 추정

Reference ecosystem. Lockfile-resolved versions (package-lock v2/v3, pnpm-lock v9, yarn classic). Static import/member analysis without a type checker yields PROBABLE symbols; EXACT reserved for future TS type-info integration. Verifier adapter node-typescript@1 supports clean resolve/compile/contract.

• ✓ A0 lockfile에서 패키지와 버전 확인 지원
• ✓ A1 빌드·타입체크·테스트 결과 관측 지원
• ✓ A2 정적 심볼 해석 — 어떤 API를 썼는지 지원
• — A3 런타임 계측 — 호출 자체를 관측 미지원
• — A4 clean 샘플을 contract로 검증 미지원

심볼 신뢰도 PROBABLE import와 호출 지점으로 추정

Resolved versions from uv.lock, pinned requirements, poetry.lock (best-effort). AST-free regex import analysis; dynamic attribute access degrades to UNKNOWN. Sample verification uses the shared container verifier only when a contract is expressible without native builds.

• ✓ A0 lockfile에서 패키지와 버전 확인 지원
• ✓ A1 빌드·타입체크·테스트 결과 관측 지원
• ✓ A2 정적 심볼 해석 — 어떤 API를 썼는지 지원
• — A3 런타임 계측 — 호출 자체를 관측 미지원
• — A4 clean 샘플을 contract로 검증 미지원

심볼 신뢰도 PROBABLE import와 호출 지점으로 추정

go.mod/go.sum resolved versions; go/parser import + selector analysis. EXACT requires go/types integration, not claimed in v1.

• ✓ A0 lockfile에서 패키지와 버전 확인 지원
• ✓ A1 빌드·타입체크·테스트 결과 관측 지원
• ✓ A2 정적 심볼 해석 — 어떤 API를 썼는지 지원
• — A3 런타임 계측 — 호출 자체를 관측 미지원
• — A4 clean 샘플을 contract로 검증 미지원

심볼 신뢰도 PROBABLE import와 호출 지점으로 추정

Cargo.lock resolved versions; use-statement analysis. Macro-expanded and dynamic usage degrades to UNKNOWN (goal.md §13.5 conservative start).