Skills Guide

Vérification de cohérence d'intégration

VérifiéSûr

Vérifie la cohérence d'intégration des modules quant.cpp : système de types, pipeline quantize→attention, intégrité du cache, niveaux progressifs et égalité SIMD vs générique.

Télécharger et utiliser
Spar Skills Guide Bot
TestingAvancé
22/07/2026
Claude Code
#integration-testing#cpp#quantization#cross-module-validation#simd

Recommandé pour

Claude CodeGénération de testsIngénieur QA / test

Synthèse automatique

Vérifie la cohérence d'intégration de quant.cpp en comparant les interfaces entre modules (types ↔ blocs, pipeline quantize→attention, cache, tiers progressifs, SIMD vs générique).

Points forts

  • Fournit cinq listes de contrôle d'interfaces avec des assertions concrètes (tailles de types, ref_count, MSE, équivalence bit-exact)
  • Ancre la revue dans le diff réel via git diff --name-only pour cibler les modules touchés
  • S'appuie sur un tableau de bugs historiques (pointeur NULL, hypothèses codées en dur, paramètres ignorés, débordement) comme aide-mémoire
  • Termine par une étape de build et de test exécutable (cmake --build puis ctest)

Limites

  • Ne contient aucun code de test : la couverture dépend de la suite ctest existante du dépôt
  • Très spécifique à l'architecture de quant.cpp, non transposable à un autre projet
  • Les seuils et tolérances (MSE, similarité attention) sont cités sans valeurs numériques de référence
Quand l'utiliser

À utiliser avant de fusionner une modification touchant les types de quantization, le cache, la compression progressive ou les noyaux SIMD de quant.cpp.

Quand l'éviter

À éviter sur un projet sans cette structure de modules quant.cpp, ou lorsque aucun build et aucune suite de tests ne sont disponibles.

Analyse de sécurité

Sûr
Score qualité76/100

The skill is a read/verify-oriented QA checklist for a C++ quantization codebase. It contains no exfiltration, no destructive commands, no obfuscated payloads, no credential access, and no attempts to disable safety controls. The only executable action is a standard out-of-tree cmake build and ctest run, which is legitimate for integration verification, though it would run untrusted project build scripts — hence a minor note rather than a risk rating.

Points d'attention
  • •Instructions include running build/test commands (`cmake --build build && ctest --test-dir build`), which executes arbitrary project build scripts; this is normal for a QA skill but is a powerful action.
  • •No allowed-tools declared, so the skill implicitly depends on whatever default tool set the agent has (bash/file read) rather than scoping it explicitly.
Comment cette analyse est faite

Exemples

Pre-merge coherence check
Value cache 쪽 코드를 수정했어. 머지 전에 git diff로 변경된 모듈 식별하고, cache→block 경계면 체크리스트랑 빌드/ctest까지 돌려서 정합성 검증해줘.
Full 5-boundary QA
quant.cpp 전체에 대해 QA 실행해줘: 타입 시스템↔블록, quantize→attention, cache→block, progressive→tier, SIMD→generic 다섯 경계면을 교차 비교하고 발견 사항 보고해줘.
New quantization type validation
새 quantization 타입을 추가했는데 TQ_TRAITS 등록이 완전한지 검증해줘. attention 함수 포인터 NULL 여부와 type_size == sizeof(block) 정합성 확인 포함해서.

name: qa description: "quant.cpp의 통합 정합성을 검증한다. 모듈 간 경계면 불일치, 타입 시스템 정합성, quantize→attention 파이프라인, cache 무결성을 교차 비교한다. '검증', 'QA', '테스트', '정합성 확인', 'validate' 요청 시, 또는 코드 변경 후 머지 전에 자동으로 사용."

QA — Integration Coherence Verification

"존재 확인"이 아닌 **"경계면 교차 비교"**가 핵심이다.

검증 대상: 5대 경계면

1. 타입 시스템 ↔ 블록 구조

TQ_TRAITS[type].type_size == sizeof(block_type)
TQ_TRAITS[type].attention != NULL  (모든 7개 타입)
tq_type_bpe(type) == sizeof(block) * 8.0 / block_size

2. Quantize → Attention 파이프라인

for each type:
  quantize(key) → attention(query, quantized) → finite score
  quantize(key) → dequantize(quantized) → MSE < threshold

3. Cache → Block

cache_append(key, value) → cache_get_block() → valid pointer
cache_append(key, value) → cache_get_value() → valid pointer
cache_share_block() → ref_count == 2

4. Progressive → Tier

append N tokens → tier(0) for recent, tier(1) for warm, tier(2) for cold
recompression: warm_type → cold_type 정확한 타입 사용 확인

5. SIMD → Generic

neon_quantize(input) == generic_quantize(input)  (bit-exact)
neon_attention(q, k) ≈ generic_attention(q, k)  (tolerance)

실행 방법

  1. 변경된 파일 목록 확인 (git diff --name-only)
  2. 해당 파일이 속한 모듈 식별
  3. 해당 모듈의 경계면 체크리스트 실행
  4. 빌드 + 테스트: cmake --build build && ctest --test-dir build
  5. 발견 사항 보고

버그 패턴 (과거 발견 사례)

| 패턴 | 사례 | 교훈 | |------|------|------| | 함수 포인터 NULL | Uniform attention 미등록 (BUG-1) | traits 테이블 완전성 항상 검증 | | 하드코딩 가정 | Progressive가 UNIFORM_4B 가정 (BUG-2) | 동적 타입 조회 사용 | | 파라미터 무시 | Value cache 미저장 (BUG-3) | 모든 파라미터 사용 여부 확인 | | 정수 오버플로 | size 계산 (BUG-4) | 곱셈 전 오버플로 체크 |

Du fichier au premier essai

Le téléchargement contient exactement le contenu affiché sur cette fiche. Cette copie peut différer de la dernière version du dépôt source.

Consulter la source et ses fichiers annexes

Ce téléchargement contient uniquement SKILL.md. Les scripts, références, modèles et dépendances éventuels ne sont pas inclus. Récupérez les fichiers nécessaires depuis la source en conservant leur arborescence avant de poursuivre.

1. Télécharger le fichier

Télécharger SKILL.md

Depuis la racine d’un projet de test, enregistrez le fichier sous .skill-downloads/integration-coherence-verification-mrwak8gk/SKILL.md, ou utilisez la commande suivante. Ce dossier sert à examiner la skill avant son installation.

Commande pour macOS/Linux ou WSL : un shell POSIX et curl sont nécessaires. Sous Windows sans WSL, utilisez le bouton de téléchargement et créez le dossier manuellement.

mkdir -p '.skill-downloads/integration-coherence-verification-mrwak8gk' && curl --fail --show-error --location 'https://skills-guides.com/api/skills/integration-coherence-verification-mrwak8gk/download' --output '.skill-downloads/integration-coherence-verification-mrwak8gk/SKILL.md.part' && mv '.skill-downloads/integration-coherence-verification-mrwak8gk/SKILL.md.part' '.skill-downloads/integration-coherence-verification-mrwak8gk/SKILL.md'

2. Vérifier les prérequis

Lisez SKILL.md avant de l’utiliser. Si le fichier cite des scripts ou services externes, examinez-les et préparez les accès nécessaires dans votre environnement de test.

Aucune section de prérequis reconnue dans ce fichier. Cela ne signifie pas qu’il est autonome : les bibliothèques, outils et accès peuvent être cités ailleurs dans le contenu ou dans le dépôt source.

Les plateformes de la fiche sont des indications du catalogue. Les chemins ci-dessous suivent la documentation des outils ; ils ne prouvent pas que cette skill y a été exécutée. Aucune version minimale de ces outils n’est attestée pour cette fiche.

3. Charger la skill

Après vérification, copiez le dossier complet dans le projet avec l’une des commandes ci-dessous, puis ouvrez une nouvelle session de l’outil. La commande s’arrête si un dossier du même nom existe déjà : comparez les fichiers avant de le remplacer.

Claude Code
test -f '.skill-downloads/integration-coherence-verification-mrwak8gk/SKILL.md' && test -s '.skill-downloads/integration-coherence-verification-mrwak8gk/SKILL.md' && mkdir -p '.claude/skills' && test ! -e '.claude/skills/qa' && cp -R '.skill-downloads/integration-coherence-verification-mrwak8gk' '.claude/skills/qa'

OpenSkills

OpenSkills doit déjà être installé. La procédure locale install/read est contrôlée avec OpenSkills 1.5.0, qui exige Node.js ≥ 20.6.0. Aucun slug du catalogue n’est résolu automatiquement.

Installation officielle d’OpenSkills
openskills install './.skill-downloads/integration-coherence-verification-mrwak8gk'

openskills read 'integration-coherence-verification-mrwak8gk'

La lecture doit afficher le contenu du fichier installé et son dossier de base. Elle ne lance ni la skill ni ses dépendances.

Pour un agent qui lit AGENTS.md, synchronisez ensuite l’index. Cette commande modifie AGENTS.md : relisez le diff avant de l’utiliser.

openskills sync

Mode manuel ou autre outil : joignez SKILL.md à une conversation, ou ouvrez-le dans un agent capable de lire les fichiers. Ajoutez les ressources annexes nécessaires. Il n’existe pas de dossier universel reconnu par tous les outils.

4. Faire un premier essai

Utilisez une entrée courte et fictive : un endpoint d’API, un petit document ou un brief d’interface. Dans une nouvelle conversation, joignez le fichier ou donnez son chemin à l’agent, puis adaptez cette demande :

Lis .skill-downloads/integration-coherence-verification-mrwak8gk/SKILL.md et applique ses instructions à cet exemple : [décrire une entrée de test]. Indique les fichiers, dépendances ou accès qui manquent. Produis le résultat demandé par la skill sans inventer de données ni exécuter de script non examiné.

Résultat attendu : une sortie correspondant aux instructions de la skill, ou une liste précise des prérequis manquants. Une simple confirmation de lecture ne valide pas le premier usage. Si une ressource externe est indisponible, ce parcours reste à tester.

Skills similaires

Comparaison de performances ClickHouse

Testing

Évaluez les résultats de tests de performance ClickHouse, analysez les régressions de PR, comparez avec l'historique et vérifiez la fiabilité des mesures.

Claude CodeintermediateSûr 49,547
Skills Guide Bot

Analyse des rapports de performance CI

Testing

Analyse les rapports de comparaison de performance CI pour une PR ClickHouse. Recoupe l'historique master pour distinguer les vraies régressions des tests instables.

Claude CodeintermediateSûr 49,516
Skills Guide Bot

Méthode Santa

Testing

Vérification adversarial multi-agents avec deux réviseurs indépendants. La sortie est vérifiée deux fois et corrigée itérativement jusqu'à ce que les deux acceptent avant publication.

Claude CodeCodexCursorintermediateSûr 244,766
Skills Guide Bot