sdd-agent-platform 0.4.1 → 0.4.2

package/packages/core/dist/truth-reconciliation.js

@@ -0,0 +1,138 @@
+import { TRUTH_RECONCILIATION_PROJECTION_TYPE, runtimeProjectionStableHash } from './runtime-projection-p0.js';
+import { listRuntimeProjections, recordRuntimeProjectionEnvelope } from './storage/runtime-store.js';
+export const TRUTH_RECONCILIATION_CONTRACT = 'sdd-truth-reconciliation-v1';
+export const TRUTH_RECONCILIATION_PRODUCER_VERSION = 'phase9.21-truth-reconciliation-v1';
+export const TRUTH_DRIFT_OWNER_STAGE = {
+    documentation_catchup: 'spec',
+    clarification: 'spec',
+    acceptance_change: 'tasks',
+    scope_change: 'spec',
+    implementation_mismatch: 'do',
+    validation_mismatch: 'test',
+    gate_policy_mismatch: 'goal-verify'
+};
+const STAGE_ORDER = ['spec', 'plan', 'tasks', 'verifies', 'do', 'test', 'goal-verify', 'ship'];
+const DOCUMENT_OWNER_STAGES = new Set(['spec', 'plan', 'tasks', 'verifies']);
+export function truthReconciliationScopeKey(input) {
+    return [input.branch, input.changedRef.ref, 'truth-reconciliation'].join(':');
+}
+export function buildTruthReconciliationDecision(input) {
+    const changeKind = input.changeKind ?? truthDriftClassForAlignment(input.truthAlignment);
+    const ownerStage = truthReconciliationOwnerStage(changeKind, input.truthAlignment.ownerStage);
+    const changedRef = input.changedRef ?? firstRef(input.truthAlignment.staleRefs) ?? firstRef(input.truthAlignment.declaredTruthRefs) ?? { kind: 'projection', ref: `phase9_12_truth_alignment:${input.truthAlignment.branch}` };
+    const oldHash = input.oldHash ?? changedRef.hash ?? 'unknown';
+    const newHash = input.newHash ?? 'unknown';
+    const invalidatesStages = uniqueStages(input.truthAlignment.invalidatesStages);
+    const minimalFrontier = minimalReworkFrontier({ ownerStage, semanticImpact: input.truthAlignment.semanticImpact, invalidatesStages });
+    const preservesEvidenceRefs = input.truthAlignment.semanticImpact === 'material' ? [] : uniqueRuntimeRefs(input.truthAlignment.acceptedRealityRefs);
+    const supersedesEvidenceRefs = input.truthAlignment.semanticImpact === 'material' ? uniqueRuntimeRefs(input.truthAlignment.acceptedRealityRefs) : [];
+    return {
+        contract: TRUTH_RECONCILIATION_CONTRACT,
+        branch: input.truthAlignment.branch,
+        ownerStage,
+        changedRef,
+        oldHash,
+        newHash,
+        changeKind,
+        semanticImpact: input.truthAlignment.semanticImpact,
+        preservesEvidenceRefs,
+        supersedesEvidenceRefs,
+        invalidatesStages,
+        minimalFrontier,
+        nextIntent: input.nextIntent,
+        reasons: reconciliationReasons(input.truthAlignment, changeKind, ownerStage, minimalFrontier, preservesEvidenceRefs, supersedesEvidenceRefs)
+    };
+}
+export async function recordTruthReconciliationDecision(projectRoot, decision, generatedAt) {
+    return recordRuntimeProjectionEnvelope(projectRoot, {
+        projectionType: TRUTH_RECONCILIATION_PROJECTION_TYPE,
+        scopeKey: truthReconciliationScopeKey(decision),
+        inputHash: runtimeProjectionStableHash(decision),
+        producer: 'phase9.21-truth-reconciliation-runtime',
+        producerVersion: TRUTH_RECONCILIATION_PRODUCER_VERSION,
+        generatedAt,
+        payload: decision
+    });
+}
+export async function readTruthReconciliationProjection(projectRoot, branch) {
+    const projections = await listRuntimeProjections(projectRoot, [TRUTH_RECONCILIATION_PROJECTION_TYPE]);
+    return projections
+        .map((projection) => projection.payload)
+        .filter((envelope) => envelope?.projectionType === TRUTH_RECONCILIATION_PROJECTION_TYPE && envelope.payload?.branch === branch)
+        .sort((left, right) => right.generatedAt.localeCompare(left.generatedAt))[0] ?? null;
+}
+export function truthDriftClassForAlignment(alignment) {
+    if (alignment.ownerStage === 'do' || alignment.invalidatesStages.includes('do')) {
+        return 'implementation_mismatch';
+    }
+    if (alignment.ownerStage === 'test' || alignment.invalidatesStages.includes('test')) {
+        return 'validation_mismatch';
+    }
+    if (alignment.ownerStage === 'goal-verify' || alignment.ownerStage === 'ship' || alignment.invalidatesStages.includes('goal-verify') || alignment.invalidatesStages.includes('ship')) {
+        return 'gate_policy_mismatch';
+    }
+    if (alignment.ownerStage === 'tasks' || alignment.ownerStage === 'verifies') {
+        return alignment.semanticImpact === 'none' ? 'documentation_catchup' : 'acceptance_change';
+    }
+    if (alignment.semanticImpact === 'none') {
+        return 'documentation_catchup';
+    }
+    if (alignment.semanticImpact === 'bounded') {
+        return 'clarification';
+    }
+    return 'scope_change';
+}
+export function truthReconciliationOwnerStage(changeKind, alignmentOwnerStage) {
+    if (changeKind === 'documentation_catchup' && alignmentOwnerStage && DOCUMENT_OWNER_STAGES.has(alignmentOwnerStage)) {
+        return alignmentOwnerStage;
+    }
+    if (changeKind === 'clarification' && alignmentOwnerStage && DOCUMENT_OWNER_STAGES.has(alignmentOwnerStage)) {
+        return alignmentOwnerStage;
+    }
+    return TRUTH_DRIFT_OWNER_STAGE[changeKind];
+}
+export function minimalReworkFrontier(input) {
+    if (input.semanticImpact === 'none') {
+        return [input.ownerStage];
+    }
+    if (input.semanticImpact === 'bounded') {
+        return orderedUniqueStages([input.ownerStage, ...input.invalidatesStages]);
+    }
+    return orderedUniqueStages([input.ownerStage, ...input.invalidatesStages, ...downstreamStages(input.ownerStage)]);
+}
+function reconciliationReasons(alignment, changeKind, ownerStage, minimalFrontier, preservesEvidenceRefs, supersedesEvidenceRefs) {
+    return [
+        ...alignment.reasons,
+        `Truth drift ${changeKind} routes to ${ownerStage}-manager; stage remains the lifecycle boundary, not an actor.`,
+        `Minimal rework frontier: ${minimalFrontier.join(' -> ')}.`,
+        preservesEvidenceRefs.length > 0 ? `Preserves ${preservesEvidenceRefs.length} accepted evidence ref(s).` : 'No accepted evidence refs are preserved by this reconciliation decision.',
+        supersedesEvidenceRefs.length > 0 ? `Supersedes ${supersedesEvidenceRefs.length} accepted reality ref(s); new do/test evidence must be append-only.` : 'No accepted reality refs are superseded.'
+    ];
+}
+function downstreamStages(stage) {
+    const index = STAGE_ORDER.indexOf(stage);
+    return index < 0 ? [] : [...STAGE_ORDER.slice(index + 1)];
+}
+function orderedUniqueStages(stages) {
+    const set = new Set(stages);
+    return STAGE_ORDER.filter((stage) => set.has(stage));
+}
+function uniqueStages(stages) {
+    return orderedUniqueStages(stages);
+}
+function uniqueRuntimeRefs(refs) {
+    const seen = new Set();
+    const result = [];
+    for (const ref of refs) {
+        const key = `${ref.kind}:${ref.ref}:${ref.hash ?? ''}`;
+        if (!seen.has(key)) {
+            seen.add(key);
+            result.push(ref);
+        }
+    }
+    return result;
+}
+function firstRef(refs) {
+    return refs[0] ?? null;
+}
+//# sourceMappingURL=truth-reconciliation.js.map

package/packages/core/dist/truth-reconciliation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"truth-reconciliation.js","sourceRoot":"","sources":["../src/truth-reconciliation.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oCAAoC,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAC/G,OAAO,EAAE,sBAAsB,EAAE,+BAA+B,EAA6C,MAAM,4BAA4B,CAAC;AAIhJ,MAAM,CAAC,MAAM,6BAA6B,GAAG,6BAAsC,CAAC;AACpF,MAAM,CAAC,MAAM,qCAAqC,GAAG,mCAA4C,CAAC;AAuBlG,MAAM,CAAC,MAAM,uBAAuB,GAAsC;IACxE,qBAAqB,EAAE,MAAM;IAC7B,aAAa,EAAE,MAAM;IACrB,iBAAiB,EAAE,OAAO;IAC1B,YAAY,EAAE,MAAM;IACpB,uBAAuB,EAAE,IAAI;IAC7B,mBAAmB,EAAE,MAAM;IAC3B,oBAAoB,EAAE,aAAa;CACpC,CAAC;AAEF,MAAM,WAAW,GAAwB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;AACpH,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAW,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;AAEvF,MAAM,UAAU,2BAA2B,CAAC,KAAiE;IAC3G,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,sBAAsB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAChF,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,KAA8K;IAC7N,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,IAAI,2BAA2B,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACzF,MAAM,UAAU,GAAG,6BAA6B,CAAC,UAAU,EAAE,KAAK,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;IAC9F,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,IAAI,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,6BAA6B,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,EAAE,CAAC;IAC/N,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,UAAU,CAAC,IAAI,IAAI,SAAS,CAAC;IAC9D,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,SAAS,CAAC;IAC3C,MAAM,iBAAiB,GAAG,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,iBAAiB,CAAC,CAAC;IAC/E,MAAM,eAAe,GAAG,qBAAqB,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,CAAC,cAAc,EAAE,iBAAiB,EAAE,CAAC,CAAC;IACtI,MAAM,qBAAqB,GAAG,KAAK,CAAC,cAAc,CAAC,cAAc,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,cAAc,CAAC,mBAAmB,CAAC,CAAC;IACpJ,MAAM,sBAAsB,GAAG,KAAK,CAAC,cAAc,CAAC,cAAc,KAAK,UAAU,CAAC,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,cAAc,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACrJ,OAAO;QACL,QAAQ,EAAE,6BAA6B;QACvC,MAAM,EAAE,KAAK,CAAC,cAAc,CAAC,MAAM;QACnC,UAAU;QACV,UAAU;QACV,OAAO;QACP,OAAO;QACP,UAAU;QACV,cAAc,EAAE,KAAK,CAAC,cAAc,CAAC,cAAc;QACnD,qBAAqB;QACrB,sBAAsB;QACtB,iBAAiB;QACjB,eAAe;QACf,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,OAAO,EAAE,qBAAqB,CAAC,KAAK,CAAC,cAAc,EAAE,UAAU,EAAE,UAAU,EAAE,eAAe,EAAE,qBAAqB,EAAE,sBAAsB,CAAC;KAC7I,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iCAAiC,CAAC,WAAmB,EAAE,QAAqC,EAAE,WAAoB;IACtI,OAAO,+BAA+B,CAAC,WAAW,EAAE;QAClD,cAAc,EAAE,oCAAoC;QACpD,QAAQ,EAAE,2BAA2B,CAAC,QAAQ,CAAC;QAC/C,SAAS,EAAE,2BAA2B,CAAC,QAAQ,CAAC;QAChD,QAAQ,EAAE,wCAAwC;QAClD,eAAe,EAAE,qCAAqC;QACtD,WAAW;QACX,OAAO,EAAE,QAAQ;KAClB,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iCAAiC,CAAC,WAAmB,EAAE,MAAc;IACzF,MAAM,WAAW,GAAG,MAAM,sBAAsB,CAAC,WAAW,EAAE,CAAC,oCAAoC,CAAC,CAAC,CAAC;IACtG,OAAO,WAAW;SACf,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAiE,CAAC;SACjG,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,EAAE,cAAc,KAAK,oCAAoC,IAAI,QAAQ,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,CAAC;SAC9H,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AACzF,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,SAA2G;IACrJ,IAAI,SAAS,CAAC,UAAU,KAAK,IAAI,IAAI,SAAS,CAAC,iBAAiB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAChF,OAAO,yBAAyB,CAAC;IACnC,CAAC;IACD,IAAI,SAAS,CAAC,UAAU,KAAK,MAAM,IAAI,SAAS,CAAC,iBAAiB,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACpF,OAAO,qBAAqB,CAAC;IAC/B,CAAC;IACD,IAAI,SAAS,CAAC,UAAU,KAAK,aAAa,IAAI,SAAS,CAAC,UAAU,KAAK,MAAM,IAAI,SAAS,CAAC,iBAAiB,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,SAAS,CAAC,iBAAiB,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACrL,OAAO,sBAAsB,CAAC;IAChC,CAAC;IACD,IAAI,SAAS,CAAC,UAAU,KAAK,OAAO,IAAI,SAAS,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;QAC5E,OAAO,SAAS,CAAC,cAAc,KAAK,MAAM,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,mBAAmB,CAAC;IAC7F,CAAC;IACD,IAAI,SAAS,CAAC,cAAc,KAAK,MAAM,EAAE,CAAC;QACxC,OAAO,uBAAuB,CAAC;IACjC,CAAC;IACD,IAAI,SAAS,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QAC3C,OAAO,eAAe,CAAC;IACzB,CAAC;IACD,OAAO,cAAc,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,UAA2B,EAAE,mBAAoC;IAC7G,IAAI,UAAU,KAAK,uBAAuB,IAAI,mBAAmB,IAAI,qBAAqB,CAAC,GAAG,CAAC,mBAAmB,CAAC,EAAE,CAAC;QACpH,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IACD,IAAI,UAAU,KAAK,eAAe,IAAI,mBAAmB,IAAI,qBAAqB,CAAC,GAAG,CAAC,mBAAmB,CAAC,EAAE,CAAC;QAC5G,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IACD,OAAO,uBAAuB,CAAC,UAAU,CAAC,CAAC;AAC7C,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAA8F;IAClI,IAAI,KAAK,CAAC,cAAc,KAAK,MAAM,EAAE,CAAC;QACpC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC5B,CAAC;IACD,IAAI,KAAK,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QACvC,OAAO,mBAAmB,CAAC,CAAC,KAAK,CAAC,UAAU,EAAE,GAAG,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,mBAAmB,CAAC,CAAC,KAAK,CAAC,UAAU,EAAE,GAAG,KAAK,CAAC,iBAAiB,EAAE,GAAG,gBAAgB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;AACpH,CAAC;AAED,SAAS,qBAAqB,CAAC,SAAmC,EAAE,UAA2B,EAAE,UAAoB,EAAE,eAA2B,EAAE,qBAAmC,EAAE,sBAAoC;IAC3N,OAAO;QACL,GAAG,SAAS,CAAC,OAAO;QACpB,eAAe,UAAU,cAAc,UAAU,+DAA+D;QAChH,4BAA4B,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG;QAC3D,qBAAqB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,qBAAqB,CAAC,MAAM,4BAA4B,CAAC,CAAC,CAAC,0EAA0E;QACrL,sBAAsB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,sBAAsB,CAAC,MAAM,qEAAqE,CAAC,CAAC,CAAC,0CAA0C;KAClM,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAe;IACvC,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACzC,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAkB;IAC7C,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;IAC5B,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,YAAY,CAAC,MAAkB;IACtC,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAkB;IAC3C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;QACvD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACnB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,QAAQ,CAAC,IAAkB;IAClC,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AACzB,CAAC"}