// quant.cpp의 통합 정합성을 검증한다. 모듈 간 경계면 불일치, 타입 시스템 정합성, quantize→attention 파이프라인, cache 무결성을 교차 비교한다. '검증', 'QA', '테스트', '정합성 확인', 'validate' 요청 시, 또는 코드 변경 후 머지 전에 자동으로 사용.
quant.cpp의 다음 WBS 항목을 자율적으로 구현한다. Karpathy 루프 패턴: score → implement → score → commit/revert. '개발해줘', '다음 항목 구현', '다음 WBS', 'develop', 특정 모듈명(polar, qjl 등) 언급 시 사용.
quant.cpp 지속성장 루프. 자동으로 현재 상태를 읽고, 가장 임팩트 있는 다음 작업을 선택하여 구현하고, 검증한다. 'grow', '성장', '계속', '다음', '진행', '개선' 요청 시 사용. 매 라운드마다 state.md를 읽고 업데이트하여 세션 간 연속성을 보장한다.
quant.cpp 개발 오케스트레이터. 에이전트 팀을 구성하고, score 기반 Phase 전환, 병렬 작업 위임, Merge Gate를 자동 수행한다. '개발 시작', '하네스 실행', '팀 구성', '오케스트레이션' 요청 시 사용. 프로젝트의 핵심 개발 루프를 조율하는 상위 스킬.
quant.cpp의 5차원 스코어링 하네스를 실행하고 결과를 분석한다. 'score', '점수', '현재 상태', '스코어', '평가' 요청 시 사용. 구조/정확성/품질/성능/통합 5개 차원을 자동 측정하고, 병목 차원과 다음 최적 행동을 추천한다.
| name | qa |
| description | quant.cpp의 통합 정합성을 검증한다. 모듈 간 경계면 불일치, 타입 시스템 정합성, quantize→attention 파이프라인, cache 무결성을 교차 비교한다. '검증', 'QA', '테스트', '정합성 확인', 'validate' 요청 시, 또는 코드 변경 후 머지 전에 자동으로 사용. |
"존재 확인"이 아닌 **"경계면 교차 비교"**가 핵심이다.
TQ_TRAITS[type].type_size == sizeof(block_type)
TQ_TRAITS[type].attention != NULL (모든 7개 타입)
tq_type_bpe(type) == sizeof(block) * 8.0 / block_size
for each type:
quantize(key) → attention(query, quantized) → finite score
quantize(key) → dequantize(quantized) → MSE < threshold
cache_append(key, value) → cache_get_block() → valid pointer
cache_append(key, value) → cache_get_value() → valid pointer
cache_share_block() → ref_count == 2
append N tokens → tier(0) for recent, tier(1) for warm, tier(2) for cold
recompression: warm_type → cold_type 정확한 타입 사용 확인
neon_quantize(input) == generic_quantize(input) (bit-exact)
neon_attention(q, k) ≈ generic_attention(q, k) (tolerance)
git diff --name-only)cmake --build build && ctest --test-dir build| 패턴 | 사례 | 교훈 |
|---|---|---|
| 함수 포인터 NULL | Uniform attention 미등록 (BUG-1) | traits 테이블 완전성 항상 검증 |
| 하드코딩 가정 | Progressive가 UNIFORM_4B 가정 (BUG-2) | 동적 타입 조회 사용 |
| 파라미터 무시 | Value cache 미저장 (BUG-3) | 모든 파라미터 사용 여부 확인 |
| 정수 오버플로 | size 계산 (BUG-4) | 곱셈 전 오버플로 체크 |