soloforge 1.1.2 → 1.1.30

package/dist/engine/knowledge/knowledge_governance_gate.js

@@ -0,0 +1,123 @@
+/**
+ * 知识治理统一入口。
+ *
+ * 将知识生命周期、中文语义、知识演进、文档治理和语言策略串成单一检查入口。
+ */
+import { evaluatePromotion } from "./knowledge_lifecycle.js";
+import { validatePromotionEvidence } from "./knowledge_evolution.js";
+import { evaluateSemanticPriority } from "./chinese_semantic_priority.js";
+import { validateDesignDocEligibility, checkDocContentCompliance } from "./documentation_governance.js";
+import { evaluateLanguagePolicy } from "./language_policy_contract.js";
+function defaultLanguagePolicy(language = "zh") {
+    const zh = language === "zh";
+    return {
+        default: zh ? "zh_first" : "en_first",
+        business_semantics: zh ? "zh_first" : "en_allowed",
+        acceptance_criteria: zh ? "zh_first" : "en_allowed",
+        review_findings: zh ? "zh_first" : "en_allowed",
+        governance_contracts: zh ? "zh_first" : "en_allowed",
+        user_feedback: zh ? "zh_first" : "en_allowed",
+        code_comments: zh ? "zh_first" : "en_allowed",
+        api_docs: "source_preserving",
+        commit_messages: "source_preserving",
+        logs_and_errors: "source_preserving",
+        code_identifiers: "code_native",
+    };
+}
+export function checkKnowledgePromotionHealth(context) {
+    const candidate = context.promotion_candidate;
+    if (!candidate)
+        return [];
+    const result = evaluatePromotion({
+        entry_id: candidate.id,
+        from_status: context.from_status ?? "draft",
+        to_status: candidate.proposed_status,
+        from_sovereignty: context.from_sovereignty ?? "normal",
+        to_sovereignty: candidate.proposed_sovereignty,
+        evidence_ids: candidate.evidence_ids,
+        requested_by: context.requested_by ?? "ai_inference",
+    });
+    if (result.allowed)
+        return [];
+    return [result.reason].map((reason) => ({
+        severity: "hard_fail",
+        kind: "promotion",
+        message_zh: reason,
+        evidence_ref: candidate.id,
+    }));
+}
+export function checkEvolutionEvidence(context) {
+    const candidate = context.promotion_candidate;
+    if (!candidate)
+        return [];
+    const result = validatePromotionEvidence(candidate, context.promotion_evidences ?? []);
+    if (result.sufficient)
+        return [];
+    return result.missing.map((message) => ({
+        severity: "hard_fail",
+        kind: "evolution",
+        message_zh: message,
+        evidence_ref: candidate.id,
+    }));
+}
+export function checkSemanticCompliance(context) {
+    const contents = context.contents ?? [];
+    if (contents.length === 0)
+        return [];
+    const result = evaluateSemanticPriority(defaultLanguagePolicy(context.project_language), contents);
+    return result.pollution_findings.map((finding) => ({
+        severity: "warning",
+        kind: "semantic",
+        message_zh: finding.message,
+        evidence_ref: finding.entry_id,
+    }));
+}
+export function checkDocumentationGovernance(context) {
+    const findings = [];
+    if (context.design_doc_content) {
+        for (const finding of checkDocContentCompliance("design_doc", context.design_doc_content)) {
+            findings.push({
+                severity: finding.severity === "info" ? "advisory" : finding.severity,
+                kind: "documentation",
+                message_zh: finding.message_zh,
+                evidence_ref: finding.evidence_ref,
+            });
+        }
+    }
+    const eligibility = validateDesignDocEligibility({
+        decision_id: "knowledge-governance-smoke",
+        doc_eligibility_status: "verified",
+        evidence_refs: ["knowledge-governance-gate"],
+    });
+    if (!eligibility.allowed) {
+        findings.push({ severity: "hard_fail", kind: "documentation", message_zh: eligibility.reason });
+    }
+    return findings;
+}
+export function checkLanguagePolicyCompliance(context) {
+    const evaluation = evaluateLanguagePolicy("user_project", [
+        { rule_id: "lp-user-feedback-zh", location: "knowledge_governance", passed: context.project_language !== "en", detail: "用户项目默认中文语义优先" },
+    ], context.language_override_evidence);
+    return evaluation.findings.map((finding) => ({
+        severity: finding.severity,
+        kind: "language",
+        message_zh: finding.message_zh,
+        evidence_ref: finding.location,
+    }));
+}
+export function runKnowledgeGovernanceCheck(context = {}) {
+    const findings = [
+        ...checkKnowledgePromotionHealth(context),
+        ...checkEvolutionEvidence(context),
+        ...checkSemanticCompliance(context),
+        ...checkDocumentationGovernance(context),
+        ...checkLanguagePolicyCompliance(context),
+    ];
+    return {
+        checked_at: new Date().toISOString(),
+        findings,
+        hard_fail_count: findings.filter((f) => f.severity === "hard_fail").length,
+        warning_count: findings.filter((f) => f.severity === "warning").length,
+    };
+}
+//# sourceMappingURL=knowledge_governance_gate.js.map

package/dist/engine/knowledge/knowledge_governance_gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"knowledge_governance_gate.js","sourceRoot":"","sources":["../../../src/engine/knowledge/knowledge_governance_gate.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,yBAAyB,EAA2B,MAAM,0BAA0B,CAAC;AAC9F,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,OAAO,EAAE,4BAA4B,EAAE,yBAAyB,EAAE,MAAM,+BAA+B,CAAC;AACxG,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AA8BvE,SAAS,qBAAqB,CAAC,WAAkC,IAAI;IACnE,MAAM,EAAE,GAAG,QAAQ,KAAK,IAAI,CAAC;IAC7B,OAAO;QACL,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;QACrC,kBAAkB,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY;QAClD,mBAAmB,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY;QACnD,eAAe,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY;QAC/C,oBAAoB,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY;QACpD,aAAa,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY;QAC7C,aAAa,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY;QAC7C,QAAQ,EAAE,mBAAmB;QAC7B,eAAe,EAAE,mBAAmB;QACpC,eAAe,EAAE,mBAAmB;QACpC,gBAAgB,EAAE,aAAa;KAChC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,OAAmC;IAC/E,MAAM,SAAS,GAAG,OAAO,CAAC,mBAAmB,CAAC;IAC9C,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,CAAC;IAC1B,MAAM,MAAM,GAAG,iBAAiB,CAAC;QAC/B,QAAQ,EAAE,SAAS,CAAC,EAAE;QACtB,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,OAAO;QAC3C,SAAS,EAAE,SAAS,CAAC,eAAe;QACpC,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,IAAI,QAAQ;QACtD,cAAc,EAAE,SAAS,CAAC,oBAAoB;QAC9C,YAAY,EAAE,SAAS,CAAC,YAAY;QACpC,YAAY,EAAE,OAAO,CAAC,YAAY,IAAI,cAAc;KACrD,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IAC9B,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,MAAc,EAAE,EAAE,CAAC,CAAC;QAC9C,QAAQ,EAAE,WAAoB;QAC9B,IAAI,EAAE,WAAoB;QAC1B,UAAU,EAAE,MAAM;QAClB,YAAY,EAAE,SAAS,CAAC,EAAE;KAC3B,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,OAAmC;IACxE,MAAM,SAAS,GAAG,OAAO,CAAC,mBAAmB,CAAC;IAC9C,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,CAAC;IAC1B,MAAM,MAAM,GAAG,yBAAyB,CAAC,SAAS,EAAE,OAAO,CAAC,mBAAmB,IAAI,EAAE,CAAC,CAAC;IACvF,IAAI,MAAM,CAAC,UAAU;QAAE,OAAO,EAAE,CAAC;IACjC,OAAO,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACtC,QAAQ,EAAE,WAAoB;QAC9B,IAAI,EAAE,WAAoB;QAC1B,UAAU,EAAE,OAAO;QACnB,YAAY,EAAE,SAAS,CAAC,EAAE;KAC3B,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,OAAmC;IACzE,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC;IACxC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACrC,MAAM,MAAM,GAAG,wBAAwB,CAAC,qBAAqB,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,QAAQ,CAAC,CAAC;IACnG,OAAO,MAAM,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACjD,QAAQ,EAAE,SAAkB;QAC5B,IAAI,EAAE,UAAmB;QACzB,UAAU,EAAE,OAAO,CAAC,OAAO;QAC3B,YAAY,EAAE,OAAO,CAAC,QAAQ;KAC/B,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,OAAmC;IAC9E,MAAM,QAAQ,GAAiC,EAAE,CAAC;IAClD,IAAI,OAAO,CAAC,kBAAkB,EAAE,CAAC;QAC/B,KAAK,MAAM,OAAO,IAAI,yBAAyB,CAAC,YAAY,EAAE,OAAO,CAAC,kBAAkB,CAAC,EAAE,CAAC;YAC1F,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,OAAO,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ;gBACrE,IAAI,EAAE,eAAe;gBACrB,UAAU,EAAE,OAAO,CAAC,UAAU;gBAC9B,YAAY,EAAE,OAAO,CAAC,YAAY;aACnC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,WAAW,GAAG,4BAA4B,CAAC;QAC/C,WAAW,EAAE,4BAA4B;QACzC,sBAAsB,EAAE,UAAU;QAClC,aAAa,EAAE,CAAC,2BAA2B,CAAC;KAC7C,CAAC,CAAC;IACH,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;QACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC;IAClG,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,OAAmC;IAC/E,MAAM,UAAU,GAAG,sBAAsB,CAAC,cAAc,EAAE;QACxD,EAAE,OAAO,EAAE,qBAAqB,EAAE,QAAQ,EAAE,sBAAsB,EAAE,MAAM,EAAE,OAAO,CAAC,gBAAgB,KAAK,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE;KACxI,EAAE,OAAO,CAAC,0BAA0B,CAAC,CAAC;IACvC,OAAO,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAC3C,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,YAAY,EAAE,OAAO,CAAC,QAAQ;KAC/B,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,UAAsC,EAAE;IAClF,MAAM,QAAQ,GAAG;QACf,GAAG,6BAA6B,CAAC,OAAO,CAAC;QACzC,GAAG,sBAAsB,CAAC,OAAO,CAAC;QAClC,GAAG,uBAAuB,CAAC,OAAO,CAAC;QACnC,GAAG,4BAA4B,CAAC,OAAO,CAAC;QACxC,GAAG,6BAA6B,CAAC,OAAO,CAAC;KAC1C,CAAC;IACF,OAAO;QACL,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACpC,QAAQ;QACR,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC,MAAM;QAC1E,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,MAAM;KACvE,CAAC;AACJ,CAAC"}

package/dist/engine/knowledge/knowledge_injection_boundary.d.ts

@@ -0,0 +1,59 @@
+/**
+ * Knowledge Injection Boundary — 知识注入边界三道门
+ *
+ * 将"可索引""可注入""注入优先级"拆成三道门，
+ * 为每次 expand 生成知识注入报告，说明哪些知识被注入、
+ * 哪些只能 advisory、哪些被排除以及排除原因。
+ */
+import type { KnowledgeEntry, KnowledgeInjectionReport, KnowledgeConflict, ExclusionReason } from "../../types/index.js";
+import type { IntentRouteDecision } from "../pipeline/intent_router.js";
+import { type ConsumableAssetRef } from "../templates/consumable_asset_registry.js";
+export interface InjectionGovernanceFinding {
+    severity: "hard_fail" | "advisory";
+    subject_id: string;
+    field: string;
+    message: string;
+}
+interface GateResult<T> {
+    passed: T[];
+    excluded: Array<{
+        id: string;
+        name: string;
+        reason: ExclusionReason;
+    }>;
+}
+/** 清除合同缓存（测试/重置时使用） */
+export declare function clearInjectionContractCache(): void;
+/** 门1: 过滤可索引的知识条目，排除非 active/pending_review 状态 */
+export declare function filterIndexable(entries: KnowledgeEntry[]): GateResult<KnowledgeEntry>;
+/** 门2: 过滤可注入的知识条目，按消费模式、作用域、产品、路由等条件筛选 */
+export declare function filterInjectable(entries: KnowledgeEntry[], routeDecision: IntentRouteDecision | undefined, scopeFilters: string[], assets: ConsumableAssetRef[], productFilters?: string[], contractRoot?: string): {
+    injectable: KnowledgeEntry[];
+    advisory: KnowledgeEntry[];
+    excluded: Array<{
+        id: string;
+        name: string;
+        reason: ExclusionReason;
+    }>;
+    indexOnlyExcludedIds: Set<string>;
+};
+/** 门3: 按优先级排序知识条目，检测冲突，在预算内裁剪 */
+export declare function sortByPriority(entries: KnowledgeEntry[], routeDecision: IntentRouteDecision | undefined, assets: ConsumableAssetRef[], budget: number): {
+    sorted: KnowledgeEntry[];
+    conflicts: KnowledgeConflict[];
+    dropped: Array<{
+        id: string;
+        name: string;
+        reason: ExclusionReason;
+    }>;
+};
+/** 知识注入边界主入口，依次执行三道门并生成注入报告 */
+export declare function enforceKnowledgeInjectionBoundary(entries: KnowledgeEntry[], routeDecision: IntentRouteDecision | undefined, scopeFilters: string[], assets: ConsumableAssetRef[] | undefined, budget?: number, productFilters?: string[], contractRoot?: string): KnowledgeInjectionReport;
+/** 自治理验证知识注入报告的合规性 */
+export declare function validateInjectionReport(report: KnowledgeInjectionReport): InjectionGovernanceFinding[];
+/**
+ * 从报告中获取已注入的条目，回溯到原始 KnowledgeEntry 对象。
+ */
+export declare function getInjectedEntryIds(report: KnowledgeInjectionReport): string[];
+export {};
+//# sourceMappingURL=knowledge_injection_boundary.d.ts.map

package/dist/engine/knowledge/knowledge_injection_boundary.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"knowledge_injection_boundary.d.ts","sourceRoot":"","sources":["../../../src/engine/knowledge/knowledge_injection_boundary.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EACV,cAAc,EACd,wBAAwB,EAExB,iBAAiB,EAEjB,eAAe,EAEhB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAIxE,OAAO,EAEL,KAAK,kBAAkB,EAExB,MAAM,2CAA2C,CAAC;AAKnD,MAAM,WAAW,0BAA0B;IACzC,QAAQ,EAAE,WAAW,GAAG,UAAU,CAAC;IACnC,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,UAAU,UAAU,CAAC,CAAC;IACpB,MAAM,EAAE,CAAC,EAAE,CAAC;IACZ,QAAQ,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,eAAe,CAAA;KAAE,CAAC,CAAC;CACxE;AA+FD,uBAAuB;AACvB,wBAAgB,2BAA2B,IAAI,IAAI,CAElD;AA+DD,kDAAkD;AAClD,wBAAgB,eAAe,CAAC,OAAO,EAAE,cAAc,EAAE,GAAG,UAAU,CAAC,cAAc,CAAC,CAmBrF;AAID,0CAA0C;AAC1C,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,cAAc,EAAE,EACzB,aAAa,EAAE,mBAAmB,GAAG,SAAS,EAC9C,YAAY,EAAE,MAAM,EAAE,EACtB,MAAM,EAAE,kBAAkB,EAAE,EAC5B,cAAc,GAAE,MAAM,EAAO,EAC7B,YAAY,CAAC,EAAE,MAAM,GACpB;IACD,UAAU,EAAE,cAAc,EAAE,CAAC;IAC7B,QAAQ,EAAE,cAAc,EAAE,CAAC;IAC3B,QAAQ,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,eAAe,CAAA;KAAE,CAAC,CAAC;IACvE,oBAAoB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CACnC,CAsEA;AA4CD,iCAAiC;AACjC,wBAAgB,cAAc,CAC5B,OAAO,EAAE,cAAc,EAAE,EACzB,aAAa,EAAE,mBAAmB,GAAG,SAAS,EAC9C,MAAM,EAAE,kBAAkB,EAAE,EAC5B,MAAM,EAAE,MAAM,GACb;IACD,MAAM,EAAE,cAAc,EAAE,CAAC;IACzB,SAAS,EAAE,iBAAiB,EAAE,CAAC;IAC/B,OAAO,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,eAAe,CAAA;KAAE,CAAC,CAAC;CACvE,CAuEA;AAMD,+BAA+B;AAC/B,wBAAgB,iCAAiC,CAC/C,OAAO,EAAE,cAAc,EAAE,EACzB,aAAa,EAAE,mBAAmB,GAAG,SAAS,EAC9C,YAAY,EAAE,MAAM,EAAE,EACtB,MAAM,EAAE,kBAAkB,EAAE,GAAG,SAAS,EACxC,MAAM,GAAE,MAAuB,EAC/B,cAAc,GAAE,MAAM,EAAO,EAC7B,YAAY,CAAC,EAAE,MAAM,GACpB,wBAAwB,CAiF1B;AAsFD,sBAAsB;AACtB,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,wBAAwB,GAAG,0BAA0B,EAAE,CA2HtG;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,wBAAwB,GAAG,MAAM,EAAE,CAO9E"}