analyze-default

name	analyze-default
description	默认分析工作流规范 — 只读多轮分析、代码事实优先、analyze-lite 关联联查与 PCV 收敛验证

Analyze Default Skill

定位

analyze-default 承接 analyze.default 的执行细节。instructions/13-analyze.instructions.md 只保留工作流入口、只读底线和路由索引；默认分析的轮次、证据、收敛和输出字段由本 Skill 负责。

触发条件

• 用户要求分析、判断、解释、定位原因、评估是否合理，但当前目标是结论而不是直接改文件。
• 语义初判为 analyze，且不满足 analyze.research 的技术调研、选型或外部资料优先条件。
• 用户要求“全面审查 / 多维度审查 / review / audit”时不得进入本 Skill，应路由到 audit。

只读边界

• analyze 是项目内容只读工作流，禁止修改源码、规范与配置；只允许写分析报告、记忆，以及经 spec-governance 语义分流后必须写入的 active-root 运行态台账。
• 发现必须修改的问题时，只能在结论里建议切换 dev 或 fix，不得在 analyze 内直接实施。
• 用户先给结论、根因或方案假设时，必须独立取证；核验成立才采纳，并说明证据。

执行流程

步骤	要求
A1 问题界定	写一句话分析目标、边界、输入证据和不分析范围
A1a 规模路由	broad scan 前调用 skill-gap-analysis 的 ProjectArtifactScaleRoutingGate；先识别项目并形成 ScaleDecisionRecord，再决定 single-pass / batched / sampled+deep-read / blocked
A1b 增量与精度	当 decision 为 batched / sampled+deep-read，或用户要求增量/逐文件/完整深度时，必须加载 incremental-project-analysis：冻结 depthTier、尝试加载/创建 ProjectKnowledgeSnapshot、按 SelectiveInvalidation 生成本轮 plan；禁止只靠自然语言摘要复用
A2 事实取证	先查真实代码、文档、配置或运行证据，再对照计划或用户说法
A3 多轮分析	至少 3 轮；连续 2 轮无新发现后才可收敛
A4 analyze-lite CRS	建立关联文件集合，收敛前反向联查是否遗漏关键消费者
A5 PCV 汇总验证	对每条结论执行去重、实证核查、三列验证、分级和推荐结论
A5-ef EvidenceFreshness	对“已验证 / 推荐 / 可确认 / 完整”等 strong claim 生成或引用 ClaimEvidenceIndexV1 与 StaleEvidenceLintDecisionV1；summary-only 只能导航，不能支撑最终强结论
A5a 治理评估	完成结论合理性评估后，对当前中性候选执行 PostAssessmentGovernanceIntakeGate；复合意图逐项落账，record.none 提供 challenge evidence
A6 报告输出	结论必须包含合理性、可实施性、收益、验证状态和影响范围；non-small 须 Theme+Detail 双产物；确认清单须 CoverageMatrix
A6b 分批交付	若走 incremental-project-analysis 分批：每 accepted 批输出 BatchProgressCard；全批后 GlobalOptimizationBacklog + 双层 ValidationResult

证据门禁

CodeTruthFirstGate

当结论依赖代码是否存在、如何实现、路径是否正确或行为是否真实时：

1. 先用关键词、接口路径、类名、方法名或配置名探索真实代码。
2. 再与需求、计划或报告中的路径对比。
3. 结论标为 按计划实现、架构偏差但功能完整、未实现 或 证据不足。

禁止只对计划文档里的路径执行存在性检查后直接判定未实现。

ControlPlaneAdviceInventoryGate（建议路径 inventory · PI-176 / PF-181 / PF-178 同簇）

当结论是设计建议、分级方案、体系拆分、Gate/复审强度/控制面如何改，或用户问「能否/应该如何」且答案依赖 DevCodex 或当前仓库如何实现 时，在输出推荐矩阵或「最优方案」之前必须：

1. 对 source-root（规范仓如 devcodex，非仅 user-global 镜像）做 ExistingCapabilityInventory：既有 Gate 名、Skill Owner、runtime（如 selectReviewClass）、探针、相关 PF/PI、文案漂移面。
2. 输出最小 inventory 表或等价证据：reusePoint / currentBehavior / gap / 禁平行声明（不得静默发明平行等级名或新 Gate 哲学体系）。
3. 仅对话记忆、user-global Skill 镜像或未 inventory 时，禁止写「已验证最优 / 项目已支持 / 可直接按此实施」。

触发面示例：C19/R 档、ECR、复审清单、Hook/CLI/MCP、validate、host projection、规范吸纳。
低风险且与项目实现无关的纯概念解释可写 N/A + skipReason，不得把控制面建议降级为 N/A。
与 expert-output-quality 的 CodeTruthEvidenceMatrixGate / SolutionFitAgainstRepoGate 同向；chat 路径同样适用，不因未进 CP1 而豁免。

ProfileTruthReconciliationGate（targeted）

项目级 analyze 在 A2 事实取证时必须调用 load-profile 的 ProfileTruthReconciliationGate targeted 模式：先把 Profile 声明当作待核对输入，再用当前代码、配置、package、运行证据和正式需求建立 ProfileTruthMatrix。若出现 stale-profile 或 unverifiable，本轮结论必须采用可验证事实并明确可信度；若出现 stale-code-or-doc 或 intentional-exception，必须说明目标态/政策依据和消费者影响。

analyze 只矫正结论，不修改 Profile。需要修订 Profile 时在 upgradeAdvice 指向独立 dev/fix/self-fix。低风险单文件且结论与项目事实无关时可写 N/A + skipReason，不得把普通项目级根因分析降级为 N/A。

AnalyzeLiteCRSGate

每轮分析需要维护关联文件集合：

• seedEvidence：用户输入、截图、报告、路径或初始线索。
• actualSources：本轮实际读取的代码、文档、配置、测试或日志。
• relatedConsumers：可能消费该事实的 README、website、Profile、prompts、validate、部署副本或运行时。
• missingSurface：尚未读取但可能影响结论的关联面。

收敛前必须复查 missingSurface，并说明未继续读取的 skipReason。

ProjectArtifactScaleRoutingGate

项目级 analyze、全库关联联查或用户提示“大目录/文件很多”时必须触发。未形成 ScaleDecisionRecord 前，只允许带排除边界的 bounded inventory；非 single-pass 必须记录 batch budget、checkpoint、timeout/retry 和 invalid-run 排除。抽样深读只能声明“全量 inventory + 代表性深读”，不得宣称逐字全读。

QuestionEvidenceGate

当问题本质是“是否应该 / 哪个更好 / 有没有更好建议 / 推荐什么”时，先判断是否需要 ComparativeResearchGate：

• 涉及高成本、技术路线、外部平台、产品路线或长期维护时，升级 analyze.research 或补足对比证据。
• 纯解释、低风险本地事实核验或用户明确要求快速答复时，写 N/A + skipReason。

ReviewFindingIntakeGate

外部审查报告、AI review finding、audit issue 或代码评审发现只能作为线索。每条 finding 必须本地复核，并分类为：

• must-fix
• user-decision-required
• docs-implementation-drift
• test-coverage-gap
• already-fixed-or-not-reproduced
• intentional-design-accepted

不得直接按审查报告文字验证通过；涉及设计如此、兼容策略或产品取舍时，必须记录依据和消费者影响。

GovernanceGateRegistryRef

分析发现规范吸纳、长清单残留、复审遗漏、用户文档、发布门禁、前端缓存或自我进化控制面问题时，不在本 Skill 内复制 Gate 长清单；应引用 spec-governance 的 GovernanceGateRegistry，输出 gateGroup、ownerSkill、trigger、evidence 与 validationRoute。

PCV 收敛验证

PCV	动作
PCV-1	汇总并去重所有轮次发现
PCV-2	对每条结论重新读取对应事实源；运行时数字优先本轮实际执行，不能用记忆历史数字冒充已验证
PCV-2a	MeasuredVerificationStandard：探针/validate/测试结论标 已验证 前必须跑生产入口（如 node scripts/test-spec-governance.js、npm run test:core）；隔离 harness 未复用 createCanonicalAwareReader 与 validate 上下文时只能标非权威实验，不得写成 V# 红/绿
PCV-2b	EvidenceFreshnessGate：最终结论、推荐方案、覆盖声明和外部 finding 采纳声明必须有 fresh evidence refs；若 StaleEvidenceLintDecisionV1.status=WARN/UNVERIFIED/BLOCK，输出降级措辞或转入 audit/dev/fix，不得继续写强结论
PCV-3	补齐合理性、可实施性、收益
PCV-4	多路径时给出推荐结论和推荐理由；无后续动作时写 推荐：无后续动作
PCV-5	标注 已验证 / 待验证 / 排除；用户可见摘要分列命令、exitCode、权威/实验
PCV-6	输出过滤后的最终结论，排除项说明原因

输出最小字段

字段	要求
analysisTarget	一句话问题定义
scaleDecision	ProjectArtifactScaleRoutingGate、六项规模指标、四态决策、预算/checkpoint；N/A 仅限明确单文件且说明理由
rounds	至少 3 轮，记录每轮新增发现数
evidenceMap	结论到文件、命令或事实源的映射
profileTruth	mode、profileTrustState、ProfileTruthMatrix；N/A 时写 skipReason
pcv	PCV-1~PCV-6 结果
evidenceFreshness	ClaimEvidenceIndexV1.indexDigest、StaleEvidenceLintDecisionV1.status/mode、downgrade/rerun 计数；不触发时写 N/A + skipReason=no-strong-claims
recommendation	推荐结论、推荐理由或无后续动作
upgradeAdvice	是否建议切换 audit/dev/fix/research，含理由
governanceIntake	candidate ID、评估结论、泛化范围、现有规范状态、复合 record intents、target ledgers、write requirement/evidence、verification state 或 none challenge
coverageMatrix	大库/多报告确认清单时：FindingThemeCoverageMatrix（source→mapped/residual/EX）；禁止主题合并冒充零遗漏（ABS-17）
timing	长分析：SessionTimingCard 或 N/A+skipReason（ABS-18）

分析交付双产物（ABS-10）

大库或多批分析完成时，除主题优先级清单外，须链接去噪后的 high/medium 明细（或 FindingDetailLedger）；不得用 8 条主题冒充「仅有 8 个问题」。精度档位与宣称边界见 incremental-project-analysis（待建）/ PI-115。