spec-manager 0.1.1 → 0.2.1

package/dist/core/invariants.js

@@ -0,0 +1,19 @@
+const MUTABLE_TASK_STATUSES = new Set(['running']);
+const ACTIVE_TASK_STATUSES = new Set(['draft', 'running', 'waiting']);
+export function assertTaskMutable(task, operation) {
+    if (!MUTABLE_TASK_STATUSES.has(task.status)) {
+        throw new Error(`TASK_IMMUTABLE: cannot ${operation} task ${task.id} with status=${task.status}`);
+    }
+}
+export function assertNoActiveTaskForSpec(tasks, specCode) {
+    const active = tasks.find(task => task.specCode === specCode && ACTIVE_TASK_STATUSES.has(task.status));
+    if (active) {
+        throw new Error(`TASK_ALREADY_ACTIVE: ${specCode} already has ${active.id} status=${active.status}`);
+    }
+}
+export function assertTaskHasSuccessfulVerification(task) {
+    if (!(task.verifications ?? []).some(verification => verification.exitCode === 0)) {
+        throw new Error(`VERIFICATION_REQUIRED: task ${task.id} requires at least one successful verification`);
+    }
+}
+//# sourceMappingURL=invariants.js.map

package/dist/core/invariants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"invariants.js","sourceRoot":"","sources":["../../src/core/invariants.ts"],"names":[],"mappings":"AAEA,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;AACnD,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;AAEtE,MAAM,UAAU,iBAAiB,CAAC,IAAgB,EAAE,SAAiB;IACnE,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,KAAK,CAAC,0BAA0B,SAAS,SAAS,IAAI,CAAC,EAAE,gBAAgB,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IACpG,CAAC;AACH,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,KAAmB,EAAE,QAAgB;IAC7E,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,QAAQ,IAAI,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IACvG,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,IAAI,KAAK,CAAC,wBAAwB,QAAQ,gBAAgB,MAAM,CAAC,EAAE,WAAW,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACvG,CAAC;AACH,CAAC;AAED,MAAM,UAAU,mCAAmC,CAAC,IAAgB;IAClE,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,KAAK,CAAC,CAAC,EAAE,CAAC;QAClF,MAAM,IAAI,KAAK,CAAC,+BAA+B,IAAI,CAAC,EAAE,gDAAgD,CAAC,CAAC;IAC1G,CAAC;AACH,CAAC"}

package/dist/core/lifecycle.d.ts

@@ -0,0 +1,37 @@
+import type { AuditSink } from './audit-events.js';
+import type { ProjectPaths } from './paths.js';
+import type { ImplementationAuthority, SpecStatus } from './status.js';
+import type { SpecLevel } from './validate.js';
+export type { ImplementationAuthority } from './status.js';
+export type ImplementationBlocker = 'missing-spec' | 'wrong-status' | 'no-children' | 'children-incomplete' | 'authority-not-allowed';
+export interface ImplementationReadiness {
+    specCode: string;
+    level?: SpecLevel;
+    currentStatus?: SpecStatus;
+    expectedStatus: 'confirmed' | 'frozen';
+    ready: boolean;
+    alreadyImplemented: boolean;
+    blockers: ImplementationBlocker[];
+}
+export interface LifecycleCascadeResult {
+    cascadedSpecs: Array<{
+        code: string;
+        oldStatus: string;
+        newStatus: 'implemented';
+        level: SpecLevel;
+    }>;
+    skippedSpecs: Array<{
+        code: string;
+        status: string;
+        reason: string;
+    }>;
+}
+export interface CascadeImplementedHierarchyOptions {
+    paths: ProjectPaths;
+    startSpecCode: string;
+    authority: ImplementationAuthority;
+    auditSink?: AuditSink;
+}
+export declare function assessImplementationReadiness(paths: ProjectPaths, specCode: string, authority: ImplementationAuthority): ImplementationReadiness;
+export declare function cascadeImplementedHierarchy(options: CascadeImplementedHierarchyOptions): LifecycleCascadeResult;
+//# sourceMappingURL=lifecycle.d.ts.map

package/dist/core/lifecycle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lifecycle.d.ts","sourceRoot":"","sources":["../../src/core/lifecycle.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE/C,OAAO,KAAK,EAAE,uBAAuB,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACvE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAE/C,YAAY,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AAE3D,MAAM,MAAM,qBAAqB,GAC7B,cAAc,GACd,cAAc,GACd,aAAa,GACb,qBAAqB,GACrB,uBAAuB,CAAC;AAE5B,MAAM,WAAW,uBAAuB;IACtC,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,SAAS,CAAC;IAClB,aAAa,CAAC,EAAE,UAAU,CAAC;IAC3B,cAAc,EAAE,WAAW,GAAG,QAAQ,CAAC;IACvC,KAAK,EAAE,OAAO,CAAC;IACf,kBAAkB,EAAE,OAAO,CAAC;IAC5B,QAAQ,EAAE,qBAAqB,EAAE,CAAC;CACnC;AAED,MAAM,WAAW,sBAAsB;IACrC,aAAa,EAAE,KAAK,CAAC;QACnB,IAAI,EAAE,MAAM,CAAC;QACb,SAAS,EAAE,MAAM,CAAC;QAClB,SAAS,EAAE,aAAa,CAAC;QACzB,KAAK,EAAE,SAAS,CAAC;KAClB,CAAC,CAAC;IACH,YAAY,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACvE;AAED,MAAM,WAAW,kCAAkC;IACjD,KAAK,EAAE,YAAY,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,uBAAuB,CAAC;IACnC,SAAS,CAAC,EAAE,SAAS,CAAC;CACvB;AAED,wBAAgB,6BAA6B,CAC3C,KAAK,EAAE,YAAY,EACnB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,uBAAuB,GACjC,uBAAuB,CAwCzB;AAED,wBAAgB,2BAA2B,CAAC,OAAO,EAAE,kCAAkC,GAAG,sBAAsB,CAI/G"}

package/dist/core/lifecycle.js

@@ -0,0 +1,70 @@
+import { findSpecByCode, listAllSpecs, updateSpec } from './spec-io.js';
+export function assessImplementationReadiness(paths, specCode, authority) {
+    const spec = findSpecByCode(paths, specCode);
+    const expectedStatus = spec?.fm.level === 'L3' ? 'frozen' : 'confirmed';
+    if (!spec) {
+        return { specCode, expectedStatus: 'confirmed', ready: false, alreadyImplemented: false, blockers: ['missing-spec'] };
+    }
+    if (spec.fm.status === 'implemented') {
+        return {
+            specCode,
+            level: spec.fm.level,
+            currentStatus: spec.fm.status,
+            expectedStatus,
+            ready: false,
+            alreadyImplemented: true,
+            blockers: [],
+        };
+    }
+    const blockers = [];
+    if (spec.fm.level === 'L3') {
+        if (authority !== 'task-complete')
+            blockers.push('authority-not-allowed');
+        if (spec.fm.status !== 'frozen')
+            blockers.push('wrong-status');
+    }
+    else if (spec.fm.level === 'L1' || spec.fm.level === 'L2') {
+        if (spec.fm.status !== 'confirmed')
+            blockers.push('wrong-status');
+        const children = listAllSpecs(paths).filter(child => child.fm.parentCode === specCode);
+        if (children.length === 0)
+            blockers.push('no-children');
+        else if (children.some(child => child.fm.status !== 'implemented'))
+            blockers.push('children-incomplete');
+    }
+    else {
+        blockers.push('authority-not-allowed');
+    }
+    return {
+        specCode,
+        level: spec.fm.level,
+        currentStatus: spec.fm.status,
+        expectedStatus,
+        ready: blockers.length === 0,
+        alreadyImplemented: false,
+        blockers,
+    };
+}
+export function cascadeImplementedHierarchy(options) {
+    const result = { cascadedSpecs: [], skippedSpecs: [] };
+    cascadeOne(options, options.startSpecCode, result);
+    return result;
+}
+function cascadeOne(options, specCode, result) {
+    const spec = findSpecByCode(options.paths, specCode);
+    const readiness = assessImplementationReadiness(options.paths, specCode, options.authority);
+    if (!spec || !readiness.ready) {
+        result.skippedSpecs.push({
+            code: specCode,
+            status: readiness.currentStatus ?? 'missing',
+            reason: readiness.alreadyImplemented ? 'already implemented' : readiness.blockers.join(', '),
+        });
+        return;
+    }
+    const oldStatus = spec.fm.status;
+    updateSpec(options.paths, specCode, { status: 'implemented', changeSummary: `cascade: ${options.authority}` }, { auditSink: options.auditSink, transitionAuthority: options.authority });
+    result.cascadedSpecs.push({ code: specCode, oldStatus, newStatus: 'implemented', level: spec.fm.level });
+    if (spec.fm.parentCode)
+        cascadeOne(options, spec.fm.parentCode, result);
+}
+//# sourceMappingURL=lifecycle.js.map

package/dist/core/lifecycle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lifecycle.js","sourceRoot":"","sources":["../../src/core/lifecycle.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAwCxE,MAAM,UAAU,6BAA6B,CAC3C,KAAmB,EACnB,QAAgB,EAChB,SAAkC;IAElC,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC7C,MAAM,cAAc,GAAG,IAAI,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC;IACxE,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,kBAAkB,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC;IACxH,CAAC;IACD,IAAI,IAAI,CAAC,EAAE,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QACrC,OAAO;YACL,QAAQ;YACR,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,KAAK;YACpB,aAAa,EAAE,IAAI,CAAC,EAAE,CAAC,MAAM;YAC7B,cAAc;YACd,KAAK,EAAE,KAAK;YACZ,kBAAkB,EAAE,IAAI;YACxB,QAAQ,EAAE,EAAE;SACb,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAA4B,EAAE,CAAC;IAC7C,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QAC3B,IAAI,SAAS,KAAK,eAAe;YAAE,QAAQ,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QAC1E,IAAI,IAAI,CAAC,EAAE,CAAC,MAAM,KAAK,QAAQ;YAAE,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACjE,CAAC;SAAM,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QAC5D,IAAI,IAAI,CAAC,EAAE,CAAC,MAAM,KAAK,WAAW;YAAE,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAClE,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC;QACvF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;aACnD,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,KAAK,aAAa,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAC3G,CAAC;SAAM,CAAC;QACN,QAAQ,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IACzC,CAAC;IAED,OAAO;QACL,QAAQ;QACR,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,KAAK;QACpB,aAAa,EAAE,IAAI,CAAC,EAAE,CAAC,MAAM;QAC7B,cAAc;QACd,KAAK,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC;QAC5B,kBAAkB,EAAE,KAAK;QACzB,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,OAA2C;IACrF,MAAM,MAAM,GAA2B,EAAE,aAAa,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC;IAC/E,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;IACnD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,UAAU,CACjB,OAA2C,EAC3C,QAAgB,EAChB,MAA8B;IAE9B,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACrD,MAAM,SAAS,GAAG,6BAA6B,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IAC5F,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QAC9B,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC;YACvB,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,SAAS,CAAC,aAAa,IAAI,SAAS;YAC5C,MAAM,EAAE,SAAS,CAAC,kBAAkB,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;SAC7F,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC;IACjC,UAAU,CACR,OAAO,CAAC,KAAK,EACb,QAAQ,EACR,EAAE,MAAM,EAAE,aAAa,EAAE,aAAa,EAAE,YAAY,OAAO,CAAC,SAAS,EAAE,EAAE,EACzE,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,mBAAmB,EAAE,OAAO,CAAC,SAAS,EAAE,CACzE,CAAC;IACF,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC;IAEzG,IAAI,IAAI,CAAC,EAAE,CAAC,UAAU;QAAE,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;AAC1E,CAAC"}

package/dist/core/paths.d.ts

@@ -9,6 +9,7 @@ export interface ProjectPaths {
     configDir: string;
     configFile: string;
     auditFile: string;
+    integrityExemptionsFile: string;
     incidentsDir: string;
     dictFile: string;
     specsDir: string;
@@ -31,6 +32,8 @@ export declare function getPaths(root?: string): ProjectPaths;
 export declare function specFilePath(paths: ProjectPaths, _parentFilePath: string | null, code: string, topic?: string, _date?: string): string;
 export declare function assertSafeTopic(topic: string): void;
 export declare function assertSafeSpecCode(code: string): void;
+export declare function assertSafeChangeName(name: string): void;
+export declare function resolveWithin(baseDir: string, ...segments: string[]): string;
 /**
  * 平铺布局下,元数据目录在 topic 级别:
  *   specs/<topic>/decisions/、specs/<topic>/tasks/

package/dist/core/paths.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"paths.d.ts","sourceRoot":"","sources":["../../src/core/paths.ts"],"names":[],"mappings":"AAIA;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,GAAE,MAAsB,GAAG,MAAM,CAYtE;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,EAAE,OAAO,CAAC;CACxB;AAED,wBAAgB,QAAQ,CAAC,IAAI,GAAE,MAA6B,GAAG,YAAY,CAe1E;AAUD;;;;;;;;;;GAUG;AACH,wBAAgB,YAAY,CAC1B,KAAK,EAAE,YAAY,EACnB,eAAe,EAAE,MAAM,GAAG,IAAI,EAC9B,IAAI,EAAE,MAAM,EACZ,KAAK,CAAC,EAAE,MAAM,EACd,KAAK,CAAC,EAAE,MAAM,GACb,MAAM,CAKR;AASD,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAInD;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAIrD;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,GAAG,OAAO,GAAG,MAAM,CAExF;AAED,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,WAAW,GAAG,aAAa,CAAC;IACpC,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,YAAY,GAAG,aAAa,EAAE,CAqBlE;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,YAAY,GAAG,iBAAiB,EAAE,CAoB/E;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,kBAAkB,GAAG,IAAI,CAU7E"}
+{"version":3,"file":"paths.d.ts","sourceRoot":"","sources":["../../src/core/paths.ts"],"names":[],"mappings":"AAIA;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,GAAE,MAAsB,GAAG,MAAM,CAYtE;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,uBAAuB,EAAE,MAAM,CAAC;IAChC,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,EAAE,OAAO,CAAC;CACxB;AAED,wBAAgB,QAAQ,CAAC,IAAI,GAAE,MAA6B,GAAG,YAAY,CAgB1E;AAUD;;;;;;;;;;GAUG;AACH,wBAAgB,YAAY,CAC1B,KAAK,EAAE,YAAY,EACnB,eAAe,EAAE,MAAM,GAAG,IAAI,EAC9B,IAAI,EAAE,MAAM,EACZ,KAAK,CAAC,EAAE,MAAM,EACd,KAAK,CAAC,EAAE,MAAM,GACb,MAAM,CAKR;AASD,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAInD;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAIrD;AAED,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAIvD;AAED,wBAAgB,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,QAAQ,EAAE,MAAM,EAAE,GAAG,MAAM,CAW5E;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,GAAG,OAAO,GAAG,MAAM,CAExF;AAED,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,WAAW,GAAG,aAAa,CAAC;IACpC,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,YAAY,GAAG,aAAa,EAAE,CAqBlE;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,YAAY,GAAG,iBAAiB,EAAE,CAoB/E;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,kBAAkB,GAAG,IAAI,CAU7E"}

package/dist/core/paths.js

@@ -1,5 +1,5 @@
 import { existsSync, readdirSync, statSync } from 'node:fs';
-import { dirname, join, resolve } from 'node:path';
+import { dirname, isAbsolute, join, relative, resolve } from 'node:path';
 import { SPEC_CODE_RE, TOPIC_RE } from './constants.js';
 /**
  * 解析项目根目录。
@@ -29,6 +29,7 @@ export function getPaths(root = resolveProjectRoot()) {
         configDir,
         configFile: join(configDir, 'config.yaml'),
         auditFile: join(configDir, 'audit.json'),
+        integrityExemptionsFile: join(configDir, 'integrity-exemptions.json'),
         incidentsDir: join(configDir, 'incidents'),
         dictFile: join(configDir, 'dict.yaml'),
         specsDir: join(root, 'specs'),
@@ -79,6 +80,23 @@ export function assertSafeSpecCode(code) {
         throw new Error(`spec code 非法: ${code}（必须匹配 ${SPEC_CODE_RE.source}，且不能包含路径分隔符）`);
     }
 }
+export function assertSafeChangeName(name) {
+    if (!/^[a-z0-9-]+$/.test(name)) {
+        throw new Error(`PATH_OUTSIDE_PROJECT: change name 非法: ${name}`);
+    }
+}
+export function resolveWithin(baseDir, ...segments) {
+    if (segments.some(segment => isAbsolute(segment))) {
+        throw new Error(`PATH_OUTSIDE_PROJECT: absolute path is not allowed`);
+    }
+    const base = resolve(baseDir);
+    const target = resolve(base, ...segments);
+    const rel = relative(base, target);
+    if (rel === '..' || rel.startsWith(`..${process.platform === 'win32' ? '\\' : '/'}`) || isAbsolute(rel)) {
+        throw new Error(`PATH_OUTSIDE_PROJECT: ${target} is outside ${base}`);
+    }
+    return target;
+}
 /**
  * 平铺布局下,元数据目录在 topic 级别:
  *   specs/<topic>/decisions/、specs/<topic>/tasks/

package/dist/core/paths.js.map

@@ -1 +1 @@
-{"version":3,"file":"paths.js","sourceRoot":"","sources":["../../src/core/paths.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC5D,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAExD;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAc,OAAO,CAAC,GAAG,EAAE;IAC5D,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC;IAC9C,IAAI,OAAO;QAAE,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC;IAErC,IAAI,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;YAAE,OAAO,GAAG,CAAC;QACvD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,MAAM,KAAK,GAAG;YAAE,MAAM;QAC1B,GAAG,GAAG,MAAM,CAAC;IACf,CAAC;IACD,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC;AACtB,CAAC;AAeD,MAAM,UAAU,QAAQ,CAAC,OAAe,kBAAkB,EAAE;IAC1D,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IAC9C,MAAM,aAAa,GAAG,QAAQ,CAAC,SAAS,CAAC,EAAE,WAAW,EAAE,IAAI,KAAK,CAAC;IAClE,OAAO;QACL,IAAI;QACJ,SAAS;QACT,UAAU,EAAE,IAAI,CAAC,SAAS,EAAE,aAAa,CAAC;QAC1C,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC;QACxC,YAAY,EAAE,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC;QAC1C,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC;QACtC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;QAC7B,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC;QACjC,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC;QACjC,aAAa;KACd,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,CAAS;IACzB,IAAI,CAAC;QACH,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,YAAY,CAC1B,KAAmB,EACnB,eAA8B,EAC9B,IAAY,EACZ,KAAc,EACd,KAAc;IAEd,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACzB,MAAM,CAAC,GAAG,KAAK,IAAI,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC9C,eAAe,CAAC,CAAC,CAAC,CAAC;IACnB,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAY;IACxC,6CAA6C;IAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACtC,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAa;IAC3C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,aAAa,KAAK,SAAS,QAAQ,CAAC,MAAM,cAAc,CAAC,CAAC;IAC5E,CAAC;AACH,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,iBAAiB,IAAI,SAAS,YAAY,CAAC,MAAM,cAAc,CAAC,CAAC;IACnF,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,YAAoB,EAAE,IAA2B;IAC9E,OAAO,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC,CAAC;AAC3C,CAAC;AAsBD;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,KAAmB;IAC/C,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC;QAAE,OAAO,GAAG,CAAC;IAC5C,KAAK,MAAM,UAAU,IAAI,WAAW,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QAC9E,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QAC3E,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;QACvD,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,QAAQ,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YAClE,IAAI,IAAI,CAAC,WAAW,EAAE;gBAAE,SAAS;YACjC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,SAAS;YACzC,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,SAAS;YACxC,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAC3C,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,UAAU,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC;YACjF,IAAI,GAAG,EAAE,CAAC;gBACR,MAAM,IAAI,KAAK,CAAC,iBAAiB,MAAM,CAAC,IAAI,KAAK,GAAG,CAAC,QAAQ,KAAK,QAAQ,GAAG,CAAC,CAAC;YACjF,CAAC;YACD,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,KAAmB;IACxD,MAAM,GAAG,GAAwB,EAAE,CAAC;IACpC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC;QAAE,OAAO,GAAG,CAAC;IAC5C,KAAK,MAAM,UAAU,IAAI,WAAW,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QAC9E,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QAC3E,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;QACvD,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,QAAQ,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YAClE,IAAI,IAAI,CAAC,WAAW,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,SAAS;YAC5F,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,aAAa,IAAI,CAAC,MAAM,CAAC,UAAU;gBAAE,SAAS;YAC/E,GAAG,CAAC,IAAI,CAAC;gBACP,KAAK,EAAE,UAAU,CAAC,IAAI;gBACtB,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC;gBAC/B,EAAE,EAAE,IAAI,CAAC,QAAQ,EAAE,GAAG,MAAM,CAAC,IAAI,KAAK,CAAC;gBACvC,UAAU,EAAE,MAAM,CAAC,UAAU;aAC9B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,QAAgB;IAChD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;IACpD,IAAI,MAAM,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3E,CAAC;IACD,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IACzC,IAAI,GAAG,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IAC/C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}
+{"version":3,"file":"paths.js","sourceRoot":"","sources":["../../src/core/paths.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC5D,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACzE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAExD;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAc,OAAO,CAAC,GAAG,EAAE;IAC5D,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC;IAC9C,IAAI,OAAO;QAAE,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC;IAErC,IAAI,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;YAAE,OAAO,GAAG,CAAC;QACvD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,MAAM,KAAK,GAAG;YAAE,MAAM;QAC1B,GAAG,GAAG,MAAM,CAAC;IACf,CAAC;IACD,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC;AACtB,CAAC;AAgBD,MAAM,UAAU,QAAQ,CAAC,OAAe,kBAAkB,EAAE;IAC1D,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IAC9C,MAAM,aAAa,GAAG,QAAQ,CAAC,SAAS,CAAC,EAAE,WAAW,EAAE,IAAI,KAAK,CAAC;IAClE,OAAO;QACL,IAAI;QACJ,SAAS;QACT,UAAU,EAAE,IAAI,CAAC,SAAS,EAAE,aAAa,CAAC;QAC1C,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC;QACxC,uBAAuB,EAAE,IAAI,CAAC,SAAS,EAAE,2BAA2B,CAAC;QACrE,YAAY,EAAE,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC;QAC1C,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC;QACtC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;QAC7B,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC;QACjC,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC;QACjC,aAAa;KACd,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,CAAS;IACzB,IAAI,CAAC;QACH,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,YAAY,CAC1B,KAAmB,EACnB,eAA8B,EAC9B,IAAY,EACZ,KAAc,EACd,KAAc;IAEd,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACzB,MAAM,CAAC,GAAG,KAAK,IAAI,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC9C,eAAe,CAAC,CAAC,CAAC,CAAC;IACnB,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAY;IACxC,6CAA6C;IAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACtC,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAa;IAC3C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,aAAa,KAAK,SAAS,QAAQ,CAAC,MAAM,cAAc,CAAC,CAAC;IAC5E,CAAC;AACH,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,iBAAiB,IAAI,SAAS,YAAY,CAAC,MAAM,cAAc,CAAC,CAAC;IACnF,CAAC;AACH,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CAAC,yCAAyC,IAAI,EAAE,CAAC,CAAC;IACnE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,OAAe,EAAE,GAAG,QAAkB;IAClE,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,GAAG,QAAQ,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACnC,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACxG,MAAM,IAAI,KAAK,CAAC,yBAAyB,MAAM,eAAe,IAAI,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,YAAoB,EAAE,IAA2B;IAC9E,OAAO,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC,CAAC;AAC3C,CAAC;AAsBD;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,KAAmB;IAC/C,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC;QAAE,OAAO,GAAG,CAAC;IAC5C,KAAK,MAAM,UAAU,IAAI,WAAW,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QAC9E,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QAC3E,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;QACvD,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,QAAQ,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YAClE,IAAI,IAAI,CAAC,WAAW,EAAE;gBAAE,SAAS;YACjC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,SAAS;YACzC,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,SAAS;YACxC,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAC3C,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,UAAU,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC;YACjF,IAAI,GAAG,EAAE,CAAC;gBACR,MAAM,IAAI,KAAK,CAAC,iBAAiB,MAAM,CAAC,IAAI,KAAK,GAAG,CAAC,QAAQ,KAAK,QAAQ,GAAG,CAAC,CAAC;YACjF,CAAC;YACD,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,KAAmB;IACxD,MAAM,GAAG,GAAwB,EAAE,CAAC;IACpC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC;QAAE,OAAO,GAAG,CAAC;IAC5C,KAAK,MAAM,UAAU,IAAI,WAAW,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QAC9E,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QAC3E,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;QACvD,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,QAAQ,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YAClE,IAAI,IAAI,CAAC,WAAW,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,SAAS;YAC5F,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,aAAa,IAAI,CAAC,MAAM,CAAC,UAAU;gBAAE,SAAS;YAC/E,GAAG,CAAC,IAAI,CAAC;gBACP,KAAK,EAAE,UAAU,CAAC,IAAI;gBACtB,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC;gBAC/B,EAAE,EAAE,IAAI,CAAC,QAAQ,EAAE,GAAG,MAAM,CAAC,IAAI,KAAK,CAAC;gBACvC,UAAU,EAAE,MAAM,CAAC,UAAU;aAC9B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,QAAgB;IAChD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;IACpD,IAAI,MAAM,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3E,CAAC;IACD,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IACzC,IAAI,GAAG,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IAC/C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/core/reconciliation.d.ts

@@ -0,0 +1,25 @@
+import type { ProjectPaths } from './paths.js';
+import { type CreateDecisionInput } from './decision.js';
+export interface ReconciliationAction {
+    action: 'implement' | 'create' | 'skip';
+    target: string;
+    detail: string;
+}
+export interface ReconciliationConflict {
+    target: string;
+    message: string;
+}
+export interface LifecycleReconciliationPlan {
+    implementationActions: ReconciliationAction[];
+    decisionActions: ReconciliationAction[];
+    conflicts: ReconciliationConflict[];
+}
+export interface LifecycleReconciliationReport extends LifecycleReconciliationPlan {
+    applied: boolean;
+}
+export declare const LIFECYCLE_RECONCILIATION_TARGETS: readonly ["architecture-hardening-L2.1", "architecture-hardening-L1", "harness-coding-L2.1", "harness-coding-L1", "repository-remediation-L2.1", "repository-remediation-L1"];
+export declare const LIFECYCLE_RECONCILIATION_STARTS: readonly ["architecture-hardening-L2.1", "harness-coding-L2.1", "repository-remediation-L2.1"];
+export declare const LIFECYCLE_RECONCILIATION_DECISIONS: Omit<CreateDecisionInput, 'paths'>[];
+export declare function planLifecycleReconciliation(paths: ProjectPaths): LifecycleReconciliationPlan;
+export declare function applyLifecycleReconciliation(paths: ProjectPaths): LifecycleReconciliationReport;
+//# sourceMappingURL=reconciliation.d.ts.map

package/dist/core/reconciliation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reconciliation.d.ts","sourceRoot":"","sources":["../../src/core/reconciliation.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE/C,OAAO,EAAiD,KAAK,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAKxG,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,WAAW,GAAG,QAAQ,GAAG,MAAM,CAAC;IACxC,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,sBAAsB;IACrC,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,2BAA2B;IAC1C,qBAAqB,EAAE,oBAAoB,EAAE,CAAC;IAC9C,eAAe,EAAE,oBAAoB,EAAE,CAAC;IACxC,SAAS,EAAE,sBAAsB,EAAE,CAAC;CACrC;AAED,MAAM,WAAW,6BAA8B,SAAQ,2BAA2B;IAChF,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,eAAO,MAAM,gCAAgC,+KAOnC,CAAC;AAEX,eAAO,MAAM,+BAA+B,gGAIlC,CAAC;AAEX,eAAO,MAAM,kCAAkC,EAAE,IAAI,CAAC,mBAAmB,EAAE,OAAO,CAAC,EAmBlF,CAAC;AAEF,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,YAAY,GAAG,2BAA2B,CAkD5F;AAED,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,YAAY,GAAG,6BAA6B,CA4B/F"}

package/dist/core/reconciliation.js

@@ -0,0 +1,122 @@
+import { join } from 'node:path';
+import { siblingMetaDir } from './paths.js';
+import { createDecision, listDecisions, nextDecisionId } from './decision.js';
+import { cascadeImplementedHierarchy } from './lifecycle.js';
+import { findSpecByCode, listAllSpecs } from './spec-io.js';
+import { withProjectTransaction } from './transaction.js';
+export const LIFECYCLE_RECONCILIATION_TARGETS = [
+    'architecture-hardening-L2.1',
+    'architecture-hardening-L1',
+    'harness-coding-L2.1',
+    'harness-coding-L1',
+    'repository-remediation-L2.1',
+    'repository-remediation-L1',
+];
+export const LIFECYCLE_RECONCILIATION_STARTS = [
+    'architecture-hardening-L2.1',
+    'harness-coding-L2.1',
+    'repository-remediation-L2.1',
+];
+export const LIFECYCLE_RECONCILIATION_DECISIONS = [
+    {
+        docCode: 'architecture-hardening-L1',
+        topic: 'architecture-hardening',
+        what: '以领域不变量、完整性扫描和项目事务强化跨文件一致性与审计可信度。',
+        why: '集中修复任务绕过、路径安全、引用完整性、并发写入与验证门禁问题。',
+    },
+    {
+        docCode: 'harness-coding-L1',
+        topic: 'harness-coding',
+        what: '将任务上下文、执行回写、验证证据和变更闭环纳入 coding harness 控制层。',
+        why: '让 frozen L3 到实现结果形成可追踪、可验证、可审计的执行链路。',
+    },
+    {
+        docCode: 'repository-remediation-L1',
+        topic: 'repository-remediation',
+        what: '通过固定迁移、严格历史豁免和 merge-missing 资产补齐修复历史一致性。',
+        why: '在不篡改终态 Task 的前提下消除历史完整性问题并保持未来门禁。',
+    },
+];
+export function planLifecycleReconciliation(paths) {
+    const specs = listAllSpecs(paths);
+    const byCode = new Map(specs.map(spec => [spec.fm.code, spec]));
+    const virtualImplemented = new Set(specs.filter(spec => spec.fm.status === 'implemented').map(spec => spec.fm.code));
+    const conflicts = [];
+    const implementationActions = [];
+    const targetSet = new Set(LIFECYCLE_RECONCILIATION_TARGETS);
+    for (const code of LIFECYCLE_RECONCILIATION_TARGETS) {
+        const spec = byCode.get(code);
+        if (!spec) {
+            conflicts.push({ target: code, message: `reconciliation target is missing: ${code}` });
+            continue;
+        }
+        if (spec.fm.status === 'implemented') {
+            implementationActions.push(action('skip', code, 'spec already implemented'));
+            virtualImplemented.add(code);
+            continue;
+        }
+        const children = specs.filter(child => child.fm.parentCode === code);
+        const ready = spec.fm.status === 'confirmed'
+            && children.length > 0
+            && children.every(child => virtualImplemented.has(child.fm.code));
+        if (!ready) {
+            conflicts.push({ target: code, message: `fixed reconciliation target is not ready: ${code}` });
+            continue;
+        }
+        implementationActions.push(action('implement', code, 'confirmed parent has only implemented direct children'));
+        virtualImplemented.add(code);
+    }
+    for (const spec of specs) {
+        if (targetSet.has(spec.fm.code) || spec.fm.status !== 'confirmed' || (spec.fm.level !== 'L1' && spec.fm.level !== 'L2'))
+            continue;
+        const children = specs.filter(child => child.fm.parentCode === spec.fm.code);
+        if (children.length > 0 && children.every(child => child.fm.status === 'implemented')) {
+            conflicts.push({ target: spec.fm.code, message: `ready reconciliation target is outside fixed scope: ${spec.fm.code}` });
+        }
+    }
+    const decisions = listDecisions(paths, { includeAll: true });
+    const decisionActions = LIFECYCLE_RECONCILIATION_DECISIONS.map(input => {
+        const existing = decisions.find(decision => decision.fm.docCode === input.docCode);
+        if (!existing)
+            return action('create', input.docCode, 'create missing Decision Card');
+        if (existing.fm.what !== input.what || existing.fm.why !== input.why) {
+            conflicts.push({ target: input.docCode, message: `existing Decision Card differs for ${input.docCode}` });
+        }
+        return action('skip', input.docCode, 'Decision Card already exists');
+    });
+    return { implementationActions, decisionActions, conflicts };
+}
+export function applyLifecycleReconciliation(paths) {
+    const plan = planLifecycleReconciliation(paths);
+    if (plan.conflicts.length > 0) {
+        throw new Error(`RECONCILIATION_CONFLICT: ${plan.conflicts.map(conflict => conflict.message).join('; ')}`);
+    }
+    withProjectTransaction(paths, 'lifecycle reconciliation', tx => {
+        for (const spec of listAllSpecs(paths))
+            tx.snapshot(spec.filePath);
+        for (const input of LIFECYCLE_RECONCILIATION_DECISIONS) {
+            const spec = findSpecByCode(paths, input.docCode);
+            if (!spec)
+                throw new Error(`Spec not found: ${input.docCode}`);
+            tx.snapshot(join(siblingMetaDir(spec.filePath, 'decisions'), `${nextDecisionId(paths, input.topic)}.md`));
+        }
+        for (const startSpecCode of LIFECYCLE_RECONCILIATION_STARTS) {
+            cascadeImplementedHierarchy({ paths, startSpecCode, authority: 'project-reconcile' });
+        }
+        for (const planned of plan.decisionActions.filter(item => item.action === 'create')) {
+            const input = LIFECYCLE_RECONCILIATION_DECISIONS.find(item => item.docCode === planned.target);
+            if (!input)
+                throw new Error(`missing reconciliation decision input: ${planned.target}`);
+            createDecision({ paths, ...input });
+        }
+    });
+    const finalPlan = planLifecycleReconciliation(paths);
+    if (finalPlan.conflicts.length > 0 || [...finalPlan.implementationActions, ...finalPlan.decisionActions].some(item => item.action !== 'skip')) {
+        throw new Error('RECONCILIATION_INCOMPLETE: reconciliation did not converge to an idempotent state');
+    }
+    return { ...plan, applied: true };
+}
+function action(actionName, target, detail) {
+    return { action: actionName, target, detail };
+}
+//# sourceMappingURL=reconciliation.js.map

package/dist/core/reconciliation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reconciliation.js","sourceRoot":"","sources":["../../src/core/reconciliation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,cAAc,EAA4B,MAAM,eAAe,CAAC;AACxG,OAAO,EAAE,2BAA2B,EAAE,MAAM,gBAAgB,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5D,OAAO,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAuB1D,MAAM,CAAC,MAAM,gCAAgC,GAAG;IAC9C,6BAA6B;IAC7B,2BAA2B;IAC3B,qBAAqB;IACrB,mBAAmB;IACnB,6BAA6B;IAC7B,2BAA2B;CACnB,CAAC;AAEX,MAAM,CAAC,MAAM,+BAA+B,GAAG;IAC7C,6BAA6B;IAC7B,qBAAqB;IACrB,6BAA6B;CACrB,CAAC;AAEX,MAAM,CAAC,MAAM,kCAAkC,GAAyC;IACtF;QACE,OAAO,EAAE,2BAA2B;QACpC,KAAK,EAAE,wBAAwB;QAC/B,IAAI,EAAE,kCAAkC;QACxC,GAAG,EAAE,kCAAkC;KACxC;IACD;QACE,OAAO,EAAE,mBAAmB;QAC5B,KAAK,EAAE,gBAAgB;QACvB,IAAI,EAAE,6CAA6C;QACnD,GAAG,EAAE,sCAAsC;KAC5C;IACD;QACE,OAAO,EAAE,2BAA2B;QACpC,KAAK,EAAE,wBAAwB;QAC/B,IAAI,EAAE,2CAA2C;QACjD,GAAG,EAAE,mCAAmC;KACzC;CACF,CAAC;AAEF,MAAM,UAAU,2BAA2B,CAAC,KAAmB;IAC7D,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IAClC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAChE,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IACrH,MAAM,SAAS,GAA6B,EAAE,CAAC;IAC/C,MAAM,qBAAqB,GAA2B,EAAE,CAAC;IACzD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAS,gCAAgC,CAAC,CAAC;IAEpE,KAAK,MAAM,IAAI,IAAI,gCAAgC,EAAE,CAAC;QACpD,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,qCAAqC,IAAI,EAAE,EAAE,CAAC,CAAC;YACvF,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,EAAE,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;YACrC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,0BAA0B,CAAC,CAAC,CAAC;YAC7E,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC;QACrE,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,CAAC,MAAM,KAAK,WAAW;eACvC,QAAQ,CAAC,MAAM,GAAG,CAAC;eACnB,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACpE,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,6CAA6C,IAAI,EAAE,EAAE,CAAC,CAAC;YAC/F,SAAS;QACX,CAAC;QACD,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,EAAE,uDAAuD,CAAC,CAAC,CAAC;QAC/G,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,MAAM,KAAK,WAAW,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC;YAAE,SAAS;QAClI,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,UAAU,KAAK,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC7E,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,KAAK,aAAa,CAAC,EAAE,CAAC;YACtF,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,uDAAuD,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC3H,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7D,MAAM,eAAe,GAAG,kCAAkC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;QACrE,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,CAAC,CAAC;QACnF,IAAI,CAAC,QAAQ;YAAE,OAAO,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,EAAE,8BAA8B,CAAC,CAAC;QACtF,IAAI,QAAQ,CAAC,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,QAAQ,CAAC,EAAE,CAAC,GAAG,KAAK,KAAK,CAAC,GAAG,EAAE,CAAC;YACrE,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,sCAAsC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAC5G,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,EAAE,8BAA8B,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,qBAAqB,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC;AAC/D,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,KAAmB;IAC9D,MAAM,IAAI,GAAG,2BAA2B,CAAC,KAAK,CAAC,CAAC;IAChD,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,4BAA4B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7G,CAAC;IAED,sBAAsB,CAAC,KAAK,EAAE,0BAA0B,EAAE,EAAE,CAAC,EAAE;QAC7D,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,KAAK,CAAC;YAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACnE,KAAK,MAAM,KAAK,IAAI,kCAAkC,EAAE,CAAC;YACvD,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;YAClD,IAAI,CAAC,IAAI;gBAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;YAC/D,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,EAAE,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAC5G,CAAC;QACD,KAAK,MAAM,aAAa,IAAI,+BAA+B,EAAE,CAAC;YAC5D,2BAA2B,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,mBAAmB,EAAE,CAAC,CAAC;QACxF,CAAC;QACD,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,EAAE,CAAC;YACpF,MAAM,KAAK,GAAG,kCAAkC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;YAC/F,IAAI,CAAC,KAAK;gBAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;YACxF,cAAc,CAAC,EAAE,KAAK,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;QACtC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,2BAA2B,CAAC,KAAK,CAAC,CAAC;IACrD,IAAI,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,qBAAqB,EAAE,GAAG,SAAS,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,EAAE,CAAC;QAC9I,MAAM,IAAI,KAAK,CAAC,mFAAmF,CAAC,CAAC;IACvG,CAAC;IACD,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACpC,CAAC;AAED,SAAS,MAAM,CAAC,UAA0C,EAAE,MAAc,EAAE,MAAc;IACxF,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AAChD,CAAC"}

package/dist/core/remediation.d.ts

@@ -0,0 +1,41 @@
+import type { ProjectPaths } from './paths.js';
+import { type CreateDecisionInput } from './decision.js';
+export declare const REPOSITORY_REMEDIATION_V1: "repository-remediation-v1";
+export type RepositoryRemediationId = typeof REPOSITORY_REMEDIATION_V1;
+export interface PlannedAction {
+    action: 'create' | 'skip';
+    target: string;
+    detail: string;
+}
+export interface RemediationConflict {
+    target: string;
+    message: string;
+}
+export interface RepositoryRemediationPlan {
+    migrationId: RepositoryRemediationId;
+    decisions: PlannedAction[];
+    exemptions: PlannedAction[];
+    agentAssets: PlannedAction[];
+    conflicts: RemediationConflict[];
+}
+export interface RepositoryRemediationOptions {
+    paths: ProjectPaths;
+    packageRoot: string;
+    migrationId: string;
+    now?: string;
+}
+export interface RepositoryRemediationReport extends RepositoryRemediationPlan {
+    applied: boolean;
+}
+export declare const REPOSITORY_REMEDIATION_V1_DECISIONS: Omit<CreateDecisionInput, 'paths'>[];
+export declare const REPOSITORY_REMEDIATION_V1_TASKS: readonly [readonly ["spec-manager-ai-ux-L3.1.1-readme", "T-001"], readonly ["spec-manager-ai-ux-L3.1.2-skill", "T-001"], readonly ["spec-manager-ai-ux-L3.1.3-encoding", "T-001"], readonly ["spec-manager-ai-ux-L3.1.4-batch", "T-001"], readonly ["spec-manager-ai-ux-L3.1.5-tests", "T-001"], readonly ["roadmap-openspec-L3.1.1-guide", "T-001"], readonly ["workflow-hardening-L3.1.1-cli", "T-001"], readonly ["workflow-hardening-L3.1.2-hints", "T-001"], readonly ["workflow-hardening-L3.1.3-tools", "T-001"], readonly ["roadmap-openspec-L3.1.2-agents", "T-001"], readonly ["roadmap-openspec-L3.1.3-view", "T-001"], readonly ["l3-approval-L3.1.1-single-freeze", "T-001"], readonly ["roadmap-openspec-L3.1.4-completion", "T-001"], readonly ["workflow-hardening-L3.1.4-placeholder-fix", "T-001"], readonly ["harness-coding-L3.1.1-context", "T-001"], readonly ["harness-coding-L3.1.2-report", "T-001"]];
+export declare const REPOSITORY_REMEDIATION_V1_AGENT_DIRECTORIES: readonly [{
+    readonly source: "rules";
+    readonly target: ".claude/skills/spec-manager/rules";
+}, {
+    readonly source: "templates";
+    readonly target: ".claude/skills/spec-manager/templates";
+}];
+export declare function planRepositoryRemediation(options: RepositoryRemediationOptions): RepositoryRemediationPlan;
+export declare function applyRepositoryRemediation(options: RepositoryRemediationOptions): RepositoryRemediationReport;
+//# sourceMappingURL=remediation.d.ts.map

package/dist/core/remediation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"remediation.d.ts","sourceRoot":"","sources":["../../src/core/remediation.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE/C,OAAO,EAAiD,KAAK,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAYxG,eAAO,MAAM,yBAAyB,EAAG,2BAAoC,CAAC;AAC9E,MAAM,MAAM,uBAAuB,GAAG,OAAO,yBAAyB,CAAC;AAEvE,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,QAAQ,GAAG,MAAM,CAAC;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,yBAAyB;IACxC,WAAW,EAAE,uBAAuB,CAAC;IACrC,SAAS,EAAE,aAAa,EAAE,CAAC;IAC3B,UAAU,EAAE,aAAa,EAAE,CAAC;IAC5B,WAAW,EAAE,aAAa,EAAE,CAAC;IAC7B,SAAS,EAAE,mBAAmB,EAAE,CAAC;CAClC;AAED,MAAM,WAAW,4BAA4B;IAC3C,KAAK,EAAE,YAAY,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,2BAA4B,SAAQ,yBAAyB;IAC5E,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,eAAO,MAAM,mCAAmC,EAAE,IAAI,CAAC,mBAAmB,EAAE,OAAO,CAAC,EAyBnF,CAAC;AAEF,eAAO,MAAM,+BAA+B,g4BAiBlC,CAAC;AAEX,eAAO,MAAM,2CAA2C;;;;;;EAG9C,CAAC;AAEX,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,4BAA4B,GAAG,yBAAyB,CAmD1G;AAED,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,4BAA4B,GAAG,2BAA2B,CAiC7G"}

package/dist/core/remediation.js

@@ -0,0 +1,169 @@
+import { join } from 'node:path';
+import { siblingMetaDir } from './paths.js';
+import { createDecision, listDecisions, nextDecisionId } from './decision.js';
+import { exemptionTaskKey, mergeIntegrityExemptions, readIntegrityExemptions, } from './integrity-exemptions.js';
+import { findSpecByCode } from './spec-io.js';
+import { listTasks } from './task.js';
+import { withProjectTransaction } from './transaction.js';
+import { mergeMissingDirectories } from './agents.js';
+export const REPOSITORY_REMEDIATION_V1 = 'repository-remediation-v1';
+export const REPOSITORY_REMEDIATION_V1_DECISIONS = [
+    {
+        docCode: 'l3-approval-L1',
+        topic: 'l3-approval',
+        what: '一次明确的 L3 人工审批直接冻结规格，并保留实施前人工门禁。',
+        why: '减少重复审批步骤，同时维持实现代码只能基于 frozen L3 的约束。',
+    },
+    {
+        docCode: 'roadmap-openspec-L1',
+        topic: 'roadmap-openspec',
+        what: '以本地文件为事实源，补齐 rich guide、agent 检测、交互视图与 shell completion。',
+        why: '提升 spec-manager 的可发现性与跨 agent 使用体验，同时保持 local-first。',
+    },
+    {
+        docCode: 'spec-manager-ai-ux-L1',
+        topic: 'spec-manager-ai-ux',
+        what: '通过场景化文档、精简 skill 和核心测试改善 AI 使用 spec-manager 的体验。',
+        why: '降低 AI 理解和操作工作流的成本；已被后续废弃的能力不作为当前推荐。',
+    },
+    {
+        docCode: 'workflow-hardening-L1',
+        topic: 'workflow-hardening',
+        what: '以 CLI 为工作流事实源，统一 agent 入口并强化规格、计划和任务状态校验。',
+        why: '防止不同工具入口产生流程漂移，并让错误在实施前被发现。',
+    },
+];
+export const REPOSITORY_REMEDIATION_V1_TASKS = [
+    ['spec-manager-ai-ux-L3.1.1-readme', 'T-001'],
+    ['spec-manager-ai-ux-L3.1.2-skill', 'T-001'],
+    ['spec-manager-ai-ux-L3.1.3-encoding', 'T-001'],
+    ['spec-manager-ai-ux-L3.1.4-batch', 'T-001'],
+    ['spec-manager-ai-ux-L3.1.5-tests', 'T-001'],
+    ['roadmap-openspec-L3.1.1-guide', 'T-001'],
+    ['workflow-hardening-L3.1.1-cli', 'T-001'],
+    ['workflow-hardening-L3.1.2-hints', 'T-001'],
+    ['workflow-hardening-L3.1.3-tools', 'T-001'],
+    ['roadmap-openspec-L3.1.2-agents', 'T-001'],
+    ['roadmap-openspec-L3.1.3-view', 'T-001'],
+    ['l3-approval-L3.1.1-single-freeze', 'T-001'],
+    ['roadmap-openspec-L3.1.4-completion', 'T-001'],
+    ['workflow-hardening-L3.1.4-placeholder-fix', 'T-001'],
+    ['harness-coding-L3.1.1-context', 'T-001'],
+    ['harness-coding-L3.1.2-report', 'T-001'],
+];
+export const REPOSITORY_REMEDIATION_V1_AGENT_DIRECTORIES = [
+    { source: 'rules', target: '.claude/skills/spec-manager/rules' },
+    { source: 'templates', target: '.claude/skills/spec-manager/templates' },
+];
+export function planRepositoryRemediation(options) {
+    assertMigrationId(options.migrationId);
+    const conflicts = [];
+    const decisions = listDecisions(options.paths, { includeAll: true });
+    const decisionActions = REPOSITORY_REMEDIATION_V1_DECISIONS.map(input => {
+        const existing = decisions.find(decision => decision.fm.docCode === input.docCode);
+        if (!existing)
+            return action('create', input.docCode, 'create missing Decision Card');
+        if (existing.fm.what !== input.what || existing.fm.why !== input.why) {
+            conflicts.push({ target: input.docCode, message: `existing Decision Card differs for ${input.docCode}` });
+        }
+        return action('skip', input.docCode, 'Decision Card already exists');
+    });
+    const exemptionResult = readIntegrityExemptions(options.paths);
+    for (const problem of exemptionResult.problems) {
+        conflicts.push({ target: problem.sourceId, message: problem.message });
+    }
+    const existingByTask = new Map(exemptionResult.registry.exemptions.map(exemption => [exemptionTaskKey(exemption), exemption]));
+    const tasks = new Map(listTasks(options.paths).map(task => [`${task.specCode}:${task.id}`, task]));
+    const exemptionActions = REPOSITORY_REMEDIATION_V1_TASKS.map(([specCode, taskId]) => {
+        const key = `${specCode}:${taskId}`;
+        const task = tasks.get(key);
+        if (!task || task.status !== 'completed' || (task.verifications ?? []).some(v => v.exitCode === 0)) {
+            conflicts.push({ target: key, message: `migration target is not an eligible legacy completed task: ${key}` });
+        }
+        const existing = existingByTask.get(key);
+        if (!existing)
+            return action('create', key, 'register legacy missing-verification exemption');
+        if (existing.migrationId !== REPOSITORY_REMEDIATION_V1) {
+            conflicts.push({ target: key, message: `task already has an exemption from ${existing.migrationId}` });
+        }
+        return action('skip', key, 'legacy exemption already registered');
+    });
+    const assetReport = mergeMissingDirectories({
+        paths: options.paths,
+        packageRoot: options.packageRoot,
+        directories: [...REPOSITORY_REMEDIATION_V1_AGENT_DIRECTORIES],
+        dryRun: true,
+    });
+    for (const note of assetReport.notes)
+        conflicts.push({ target: 'agent-assets', message: note });
+    const agentAssets = [
+        ...assetReport.created.map(target => action('create', target, 'create missing Claude skill asset')),
+        ...assetReport.skipped.map(target => action('skip', target, 'Claude skill asset already exists')),
+    ];
+    return {
+        migrationId: REPOSITORY_REMEDIATION_V1,
+        decisions: decisionActions,
+        exemptions: exemptionActions,
+        agentAssets,
+        conflicts,
+    };
+}
+export function applyRepositoryRemediation(options) {
+    const plan = planRepositoryRemediation(options);
+    if (plan.conflicts.length > 0) {
+        throw new Error(`REMEDIATION_CONFLICT: ${plan.conflicts.map(conflict => conflict.message).join('; ')}`);
+    }
+    const now = options.now ?? new Date().toISOString();
+    withProjectTransaction(options.paths, options.migrationId, tx => {
+        for (const planned of plan.decisions.filter(item => item.action === 'create')) {
+            const input = REPOSITORY_REMEDIATION_V1_DECISIONS.find(item => item.docCode === planned.target);
+            if (!input)
+                throw new Error(`missing decision manifest entry: ${planned.target}`);
+            const spec = findSpecByCode(options.paths, input.docCode);
+            if (!spec)
+                throw new Error(`Spec not found: ${input.docCode}`);
+            tx.snapshot(join(siblingMetaDir(spec.filePath, 'decisions'), `${nextDecisionId(options.paths, input.topic)}.md`));
+            createDecision({ paths: options.paths, ...input });
+        }
+        const current = readIntegrityExemptions(options.paths);
+        const additions = plan.exemptions
+            .filter(item => item.action === 'create')
+            .map(item => exemptionForTask(item.target, now));
+        const merged = mergeIntegrityExemptions(current.registry, additions);
+        tx.write(options.paths.integrityExemptionsFile, `${JSON.stringify(merged, null, 2)}\n`);
+        mergeMissingDirectories({
+            paths: options.paths,
+            packageRoot: options.packageRoot,
+            directories: [...REPOSITORY_REMEDIATION_V1_AGENT_DIRECTORIES],
+            write: (target, content) => tx.write(target, content),
+        });
+    });
+    const finalPlan = planRepositoryRemediation(options);
+    if (finalPlan.conflicts.length > 0 || [...finalPlan.decisions, ...finalPlan.exemptions, ...finalPlan.agentAssets].some(item => item.action !== 'skip')) {
+        throw new Error('REMEDIATION_INCOMPLETE: migration did not converge to an idempotent state');
+    }
+    return { ...plan, applied: true };
+}
+function exemptionForTask(taskKey, createdAt) {
+    const separator = taskKey.lastIndexOf(':');
+    const specCode = taskKey.slice(0, separator);
+    const taskId = taskKey.slice(separator + 1);
+    return {
+        id: `${REPOSITORY_REMEDIATION_V1}:${specCode}:${taskId}`,
+        kind: 'legacy-missing-verification',
+        specCode,
+        taskId,
+        reason: 'Task completed before successful verification became mandatory.',
+        createdAt,
+        migrationId: REPOSITORY_REMEDIATION_V1,
+    };
+}
+function action(actionName, target, detail) {
+    return { action: actionName, target, detail };
+}
+function assertMigrationId(migrationId) {
+    if (migrationId !== REPOSITORY_REMEDIATION_V1) {
+        throw new Error(`UNKNOWN_MIGRATION: ${migrationId}. Supported: ${REPOSITORY_REMEDIATION_V1}`);
+    }
+}
+//# sourceMappingURL=remediation.js.map