@virune/compiler 1.1.0-rc.0

package/dist/src/selfhost/promotion-policy-replay-v2.js

@@ -0,0 +1,343 @@
+import { createPromotionShadowHistoryV2, } from './promotion-shadow-history-v2.js';
+export const PROMOTION_POLICY_REPLAY_VERSION = 2;
+const requiredEvidenceFloorByStage = {
+    'required-selfhost': [
+        'bootstrap-smoke',
+        'differential-smoke',
+        'format-check',
+        'performance-smoke',
+        'type-check',
+        'unit-tests',
+        'binding-corpus',
+        'browser-integration',
+        'clean-bootstrap',
+        'cross-evidence-generation-binding',
+        'environment-perturbation',
+        'exact-head-evidence-binding',
+        'fixed-seed-verification',
+        'full-conformance',
+        'full-differential',
+        'fuzz-regression',
+        'independent-runner-reproducibility',
+        'legacy-rollback',
+        'performance-budget',
+        'stage1-stage2-transition',
+        'stage2-stage3-fixed-point',
+    ],
+    'required-compiler': [
+        'bootstrap-smoke',
+        'differential-smoke',
+        'format-check',
+        'performance-smoke',
+        'type-check',
+        'unit-tests',
+        'binding-corpus',
+        'browser-integration',
+        'clean-bootstrap',
+        'cross-evidence-generation-binding',
+        'environment-perturbation',
+        'exact-head-evidence-binding',
+        'fixed-seed-verification',
+        'full-conformance',
+        'full-differential',
+        'fuzz-regression',
+        'independent-runner-reproducibility',
+        'legacy-rollback',
+        'performance-budget',
+        'stage1-stage2-transition',
+        'stage2-stage3-fixed-point',
+        'compiler-api-compatibility',
+        'interop-abi-compatibility',
+        'runtime-abi-compatibility',
+    ],
+    'production-default': [
+        'bootstrap-smoke',
+        'differential-smoke',
+        'format-check',
+        'performance-smoke',
+        'type-check',
+        'unit-tests',
+        'binding-corpus',
+        'browser-integration',
+        'clean-bootstrap',
+        'cross-evidence-generation-binding',
+        'environment-perturbation',
+        'exact-head-evidence-binding',
+        'fixed-seed-verification',
+        'full-conformance',
+        'full-differential',
+        'fuzz-regression',
+        'independent-runner-reproducibility',
+        'legacy-rollback',
+        'performance-budget',
+        'stage1-stage2-transition',
+        'stage2-stage3-fixed-point',
+        'compiler-api-compatibility',
+        'interop-abi-compatibility',
+        'runtime-abi-compatibility',
+        'release-reproducibility',
+        'stable-release-cycle',
+    ],
+};
+const promotionRequirementFloorByStage = {
+    'required-selfhost': {
+        minimumConsecutiveSuccessfulRuns: 14,
+        minimumObservationDays: 14,
+        rollbackEvidenceRequired: false,
+        minimumStableReleaseCycles: 0,
+    },
+    'required-compiler': {
+        minimumConsecutiveSuccessfulRuns: 28,
+        minimumObservationDays: 28,
+        rollbackEvidenceRequired: false,
+        minimumStableReleaseCycles: 0,
+    },
+    'production-default': {
+        minimumConsecutiveSuccessfulRuns: 30,
+        minimumObservationDays: 30,
+        rollbackEvidenceRequired: true,
+        minimumStableReleaseCycles: 1,
+    },
+};
+export class PromotionPolicyReplayError extends Error {
+    path;
+    name = 'PromotionPolicyReplayError';
+    constructor(path, message) {
+        super(`${path}: ${message}`);
+        this.path = path;
+    }
+}
+export function evaluatePromotionObservationSourceV2(sourceValue, trustedValue) {
+    const source = parseSource(sourceValue, '$.source');
+    const trusted = parseTrustedSource(trustedValue, '$.trusted');
+    const reasons = [];
+    if (source.repository !== trusted.repository)
+        reasons.push('repository-mismatch');
+    if (source.workflow !== trusted.workflow)
+        reasons.push('workflow-mismatch');
+    if (source.ref !== trusted.ref)
+        reasons.push('ref-mismatch');
+    if (source.eventName !== trusted.eventName)
+        reasons.push('event-mismatch');
+    if (source.fork)
+        reasons.push('fork-source');
+    return { countable: reasons.length === 0, reasons };
+}
+export function replayPromotionHistoryAgainstPolicyV2(policyValue, stage, historyValue) {
+    const policyStage = parsePolicyStage(policyValue, stage);
+    const canonicalHistory = createPromotionShadowHistoryV2(historyValue).history;
+    if (canonicalHistory.stage !== stage) {
+        throw new PromotionPolicyReplayError('history.stage', `expected ${stage}, received ${canonicalHistory.stage}`);
+    }
+    const currentSubjectId = canonicalHistory.promotionSubjectId;
+    const formalEntries = canonicalHistory.entries.filter(entry => entry.countsTowardPromotion);
+    const currentSegment = formalEntries.length === 0
+        ? []
+        : trailingSubjectSegment(formalEntries, currentSubjectId);
+    const excludedRuns = [];
+    const disposition = currentSegment.map(entry => {
+        const evidence = new Map(entry.evidence.map(item => [item.id, item.status]));
+        const missingEvidence = policyStage.requiredEvidence.filter(id => !evidence.has(id));
+        const failedEvidence = policyStage.requiredEvidence.filter(id => evidence.get(id) === 'failed');
+        const evidenceQualifies = missingEvidence.length === 0 && failedEvidence.length === 0;
+        if (entry.countsTowardPromotion && entry.outcome === 'passed' && !evidenceQualifies) {
+            const reasons = [];
+            if (missingEvidence.length > 0)
+                reasons.push('missing-current-required-evidence');
+            if (failedEvidence.length > 0)
+                reasons.push('failed-current-required-evidence');
+            excludedRuns.push({ runId: entry.runId, missingEvidence, failedEvidence, reasons });
+        }
+        return { entry, evidenceQualifies };
+    });
+    const successful = canonicalHistory.productInvalidated ? [] : trailingPolicySuccesses(disposition);
+    const qualifyingRunIds = successful.map(item => item.entry.runId);
+    const successfulRuns = successful.length;
+    const observationDays = new Set(successful.map(item => item.entry.completedAt.slice(0, 10))).size;
+    const firstSuccessfulAt = successful[0]?.entry.completedAt ?? null;
+    const productInvalidated = canonicalHistory.productInvalidated;
+    const unexplainedDifferentials = canonicalHistory.unexplainedDifferentials;
+    const historyThresholdsSatisfied = !productInvalidated
+        && successfulRuns >= policyStage.minimumConsecutiveSuccessfulRuns
+        && observationDays >= policyStage.minimumObservationDays
+        && unexplainedDifferentials <= policyStage.maximumUnexplainedDifferentials;
+    return {
+        version: PROMOTION_POLICY_REPLAY_VERSION,
+        stage,
+        promotionSubjectId: currentSubjectId,
+        requiredEvidence: policyStage.requiredEvidence,
+        successfulRuns,
+        observationDays,
+        firstSuccessfulAt,
+        productInvalidated,
+        unexplainedDifferentials,
+        minimumConsecutiveSuccessfulRuns: policyStage.minimumConsecutiveSuccessfulRuns,
+        minimumObservationDays: policyStage.minimumObservationDays,
+        maximumUnexplainedDifferentials: policyStage.maximumUnexplainedDifferentials,
+        manualApprovalRequired: policyStage.manualApprovalRequired,
+        rollbackEvidenceRequired: policyStage.rollbackEvidenceRequired,
+        minimumStableReleaseCycles: policyStage.minimumStableReleaseCycles,
+        historyThresholdsSatisfied,
+        qualifyingRunIds,
+        excludedRuns,
+    };
+}
+function trailingSubjectSegment(entries, promotionSubjectId) {
+    let first = entries.length - 1;
+    for (let index = entries.length - 2; index >= 0; index -= 1) {
+        if (entries[index].promotionSubjectId !== promotionSubjectId)
+            break;
+        first = index;
+    }
+    return entries.slice(first);
+}
+function trailingPolicySuccesses(entries) {
+    const formal = entries.filter(item => item.entry.countsTowardPromotion);
+    if (formal.length === 0)
+        return [];
+    let first = formal.length;
+    for (let index = formal.length - 1; index >= 0; index -= 1) {
+        const item = formal[index];
+        if (item.entry.outcome !== 'passed' || !item.evidenceQualifies)
+            break;
+        first = index;
+    }
+    return formal.slice(first);
+}
+function parsePolicyStage(value, stageId) {
+    const policy = record(value, 'policy');
+    exactKeys(policy, ['schemaVersion', 'automaticPromotionAllowed', 'stages'], 'policy');
+    if (policy.schemaVersion !== 1)
+        throw new PromotionPolicyReplayError('policy.schemaVersion', 'expected 1');
+    if (policy.automaticPromotionAllowed !== false) {
+        throw new PromotionPolicyReplayError('policy.automaticPromotionAllowed', 'automatic promotion must remain disabled');
+    }
+    const stages = array(policy.stages, 'policy.stages');
+    const matches = stages.filter(item => recordOrNull(item)?.id === stageId);
+    if (matches.length !== 1)
+        throw new PromotionPolicyReplayError('policy.stages', `expected exactly one ${stageId} stage`);
+    const stagePath = `policy.stage.${stageId}`;
+    const stage = record(matches[0], stagePath);
+    exactKeys(stage, ['id', 'blocking', 'scope', 'productionDefault', 'requiredEvidence', 'promotionRequirements'], stagePath);
+    const expectedScope = stageId === 'required-selfhost' ? 'selfhost-related' : stageId === 'required-compiler' ? 'compiler-changes' : 'production';
+    if (stage.blocking !== true || stage.scope !== expectedScope || stage.productionDefault !== (stageId === 'production-default')) {
+        throw new PromotionPolicyReplayError(stagePath, 'stage blocking/scope/productionDefault contract is invalid');
+    }
+    const requiredEvidence = uniqueStrings(stage.requiredEvidence, `${stagePath}.requiredEvidence`).sort(compareText);
+    const missingEvidenceFloor = requiredEvidenceFloorByStage[stageId].filter(id => !requiredEvidence.includes(id));
+    if (missingEvidenceFloor.length > 0) {
+        throw new PromotionPolicyReplayError(`${stagePath}.requiredEvidence`, `required evidence is below the canonical safety floor: ${missingEvidenceFloor.join(', ')}`);
+    }
+    const requirementsPath = `${stagePath}.promotionRequirements`;
+    const requirements = record(stage.promotionRequirements, requirementsPath);
+    exactKeys(requirements, [
+        'minimumConsecutiveSuccessfulRuns',
+        'minimumObservationDays',
+        'maximumUnexplainedDifferentials',
+        'manualApprovalRequired',
+        'rollbackEvidenceRequired',
+        'minimumStableReleaseCycles',
+    ], requirementsPath);
+    const minimumConsecutiveSuccessfulRuns = nonNegativeInteger(requirements.minimumConsecutiveSuccessfulRuns, 'minimumConsecutiveSuccessfulRuns');
+    const minimumObservationDays = nonNegativeInteger(requirements.minimumObservationDays, 'minimumObservationDays');
+    const maximumUnexplainedDifferentials = nonNegativeInteger(requirements.maximumUnexplainedDifferentials, 'maximumUnexplainedDifferentials');
+    const manualApprovalRequired = bool(requirements.manualApprovalRequired, 'manualApprovalRequired');
+    const rollbackEvidenceRequired = bool(requirements.rollbackEvidenceRequired, 'rollbackEvidenceRequired');
+    const minimumStableReleaseCycles = nonNegativeInteger(requirements.minimumStableReleaseCycles, 'minimumStableReleaseCycles');
+    const floor = promotionRequirementFloorByStage[stageId];
+    if (minimumConsecutiveSuccessfulRuns < floor.minimumConsecutiveSuccessfulRuns) {
+        throw new PromotionPolicyReplayError('minimumConsecutiveSuccessfulRuns', `must be at least ${floor.minimumConsecutiveSuccessfulRuns} for ${stageId}`);
+    }
+    if (minimumObservationDays < floor.minimumObservationDays) {
+        throw new PromotionPolicyReplayError('minimumObservationDays', `must be at least ${floor.minimumObservationDays} for ${stageId}`);
+    }
+    if (maximumUnexplainedDifferentials !== 0) {
+        throw new PromotionPolicyReplayError('maximumUnexplainedDifferentials', 'must remain 0 for blocking promotion stages');
+    }
+    if (!manualApprovalRequired)
+        throw new PromotionPolicyReplayError('manualApprovalRequired', 'blocking promotion stages must require manual approval');
+    if (floor.rollbackEvidenceRequired && !rollbackEvidenceRequired) {
+        throw new PromotionPolicyReplayError('rollbackEvidenceRequired', `${stageId} must require rollback evidence`);
+    }
+    if (minimumStableReleaseCycles < floor.minimumStableReleaseCycles) {
+        throw new PromotionPolicyReplayError('minimumStableReleaseCycles', `must be at least ${floor.minimumStableReleaseCycles} for ${stageId}`);
+    }
+    return {
+        requiredEvidence,
+        minimumConsecutiveSuccessfulRuns,
+        minimumObservationDays,
+        maximumUnexplainedDifferentials,
+        manualApprovalRequired,
+        rollbackEvidenceRequired,
+        minimumStableReleaseCycles,
+    };
+}
+function parseSource(value, path) {
+    const source = record(value, path);
+    exactKeys(source, ['repository', 'workflow', 'ref', 'eventName', 'fork'], path);
+    return {
+        repository: text(source.repository, `${path}.repository`),
+        workflow: text(source.workflow, `${path}.workflow`),
+        ref: text(source.ref, `${path}.ref`),
+        eventName: text(source.eventName, `${path}.eventName`),
+        fork: bool(source.fork, `${path}.fork`),
+    };
+}
+function parseTrustedSource(value, path) {
+    const source = record(value, path);
+    exactKeys(source, ['repository', 'workflow', 'ref', 'eventName'], path);
+    const eventName = text(source.eventName, `${path}.eventName`);
+    if (eventName !== 'schedule') {
+        throw new PromotionPolicyReplayError(`${path}.eventName`, 'trusted event must be schedule');
+    }
+    return {
+        repository: text(source.repository, `${path}.repository`),
+        workflow: text(source.workflow, `${path}.workflow`),
+        ref: text(source.ref, `${path}.ref`),
+        eventName,
+    };
+}
+function uniqueStrings(value, path) {
+    const values = array(value, path).map((item, index) => text(item, `${path}[${index}]`));
+    if (new Set(values).size !== values.length)
+        throw new PromotionPolicyReplayError(path, 'duplicate values are not allowed');
+    return values;
+}
+function record(value, path) {
+    if (value === null || typeof value !== 'object' || Array.isArray(value))
+        throw new PromotionPolicyReplayError(path, 'expected object');
+    return value;
+}
+function recordOrNull(value) {
+    return value !== null && typeof value === 'object' && !Array.isArray(value) ? value : null;
+}
+function array(value, path) {
+    if (!Array.isArray(value))
+        throw new PromotionPolicyReplayError(path, 'expected array');
+    return value;
+}
+function text(value, path) {
+    if (typeof value !== 'string' || value.length === 0 || value.trim() !== value)
+        throw new PromotionPolicyReplayError(path, 'expected non-empty canonical string');
+    return value;
+}
+function bool(value, path) {
+    if (typeof value !== 'boolean')
+        throw new PromotionPolicyReplayError(path, 'expected boolean');
+    return value;
+}
+function nonNegativeInteger(value, path) {
+    if (!Number.isSafeInteger(value) || value < 0)
+        throw new PromotionPolicyReplayError(path, 'expected non-negative safe integer');
+    return value;
+}
+function exactKeys(value, expected, path) {
+    const actual = Object.keys(value).sort(compareText);
+    const wanted = [...expected].sort(compareText);
+    if (JSON.stringify(actual) !== JSON.stringify(wanted))
+        throw new PromotionPolicyReplayError(path, `expected exactly keys ${wanted.join(', ')}`);
+}
+function compareText(left, right) {
+    return left < right ? -1 : left > right ? 1 : 0;
+}
+//# sourceMappingURL=promotion-policy-replay-v2.js.map

package/dist/src/selfhost/promotion-policy-replay-v2.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"promotion-policy-replay-v2.js","sourceRoot":"","sources":["../../../src/selfhost/promotion-policy-replay-v2.ts"],"names":[],"mappings":"AAAA,OAAO,EACN,8BAA8B,GAE9B,MAAM,kCAAkC,CAAC;AAG1C,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAU,CAAC;AAE1D,MAAM,4BAA4B,GAA+D;IAChG,mBAAmB,EAAE;QACpB,iBAAiB;QACjB,oBAAoB;QACpB,cAAc;QACd,mBAAmB;QACnB,YAAY;QACZ,YAAY;QACZ,gBAAgB;QAChB,qBAAqB;QACrB,iBAAiB;QACjB,mCAAmC;QACnC,0BAA0B;QAC1B,6BAA6B;QAC7B,yBAAyB;QACzB,kBAAkB;QAClB,mBAAmB;QACnB,iBAAiB;QACjB,oCAAoC;QACpC,iBAAiB;QACjB,oBAAoB;QACpB,0BAA0B;QAC1B,2BAA2B;KAC3B;IACD,mBAAmB,EAAE;QACpB,iBAAiB;QACjB,oBAAoB;QACpB,cAAc;QACd,mBAAmB;QACnB,YAAY;QACZ,YAAY;QACZ,gBAAgB;QAChB,qBAAqB;QACrB,iBAAiB;QACjB,mCAAmC;QACnC,0BAA0B;QAC1B,6BAA6B;QAC7B,yBAAyB;QACzB,kBAAkB;QAClB,mBAAmB;QACnB,iBAAiB;QACjB,oCAAoC;QACpC,iBAAiB;QACjB,oBAAoB;QACpB,0BAA0B;QAC1B,2BAA2B;QAC3B,4BAA4B;QAC5B,2BAA2B;QAC3B,2BAA2B;KAC3B;IACD,oBAAoB,EAAE;QACrB,iBAAiB;QACjB,oBAAoB;QACpB,cAAc;QACd,mBAAmB;QACnB,YAAY;QACZ,YAAY;QACZ,gBAAgB;QAChB,qBAAqB;QACrB,iBAAiB;QACjB,mCAAmC;QACnC,0BAA0B;QAC1B,6BAA6B;QAC7B,yBAAyB;QACzB,kBAAkB;QAClB,mBAAmB;QACnB,iBAAiB;QACjB,oCAAoC;QACpC,iBAAiB;QACjB,oBAAoB;QACpB,0BAA0B;QAC1B,2BAA2B;QAC3B,4BAA4B;QAC5B,2BAA2B;QAC3B,2BAA2B;QAC3B,yBAAyB;QACzB,sBAAsB;KACtB;CACD,CAAC;AAEF,MAAM,gCAAgC,GAKhC;IACL,mBAAmB,EAAE;QACpB,gCAAgC,EAAE,EAAE;QACpC,sBAAsB,EAAE,EAAE;QAC1B,wBAAwB,EAAE,KAAK;QAC/B,0BAA0B,EAAE,CAAC;KAC7B;IACD,mBAAmB,EAAE;QACpB,gCAAgC,EAAE,EAAE;QACpC,sBAAsB,EAAE,EAAE;QAC1B,wBAAwB,EAAE,KAAK;QAC/B,0BAA0B,EAAE,CAAC;KAC7B;IACD,oBAAoB,EAAE;QACrB,gCAAgC,EAAE,EAAE;QACpC,sBAAsB,EAAE,EAAE;QAC1B,wBAAwB,EAAE,IAAI;QAC9B,0BAA0B,EAAE,CAAC;KAC7B;CACD,CAAC;AAkDF,MAAM,OAAO,0BAA2B,SAAQ,KAAK;IAEjB;IADV,IAAI,GAAG,4BAA4B,CAAC;IAC7D,YAAmC,IAAY,EAAE,OAAe;QAC/D,KAAK,CAAC,GAAG,IAAI,KAAK,OAAO,EAAE,CAAC,CAAC;QADK,SAAI,GAAJ,IAAI,CAAQ;IAE/C,CAAC;CACD;AAED,MAAM,UAAU,oCAAoC,CACnD,WAAoB,EACpB,YAAqB;IAErB,MAAM,MAAM,GAAG,WAAW,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,kBAAkB,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;IAC9D,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,MAAM,CAAC,UAAU,KAAK,OAAO,CAAC,UAAU;QAAE,OAAO,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAClF,IAAI,MAAM,CAAC,QAAQ,KAAK,OAAO,CAAC,QAAQ;QAAE,OAAO,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAC5E,IAAI,MAAM,CAAC,GAAG,KAAK,OAAO,CAAC,GAAG;QAAE,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC7D,IAAI,MAAM,CAAC,SAAS,KAAK,OAAO,CAAC,SAAS;QAAE,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC3E,IAAI,MAAM,CAAC,IAAI;QAAE,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC7C,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,qCAAqC,CACpD,WAAoB,EACpB,KAA4B,EAC5B,YAAqD;IAErD,MAAM,WAAW,GAAG,gBAAgB,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IACzD,MAAM,gBAAgB,GAAG,8BAA8B,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC;IAC9E,IAAI,gBAAgB,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;QACtC,MAAM,IAAI,0BAA0B,CAAC,eAAe,EAAE,YAAY,KAAK,cAAc,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC;IAChH,CAAC;IAED,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,kBAAkB,CAAC;IAC7D,MAAM,aAAa,GAAG,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;IAC5F,MAAM,cAAc,GAAG,aAAa,CAAC,MAAM,KAAK,CAAC;QAChD,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,sBAAsB,CAAC,aAAa,EAAE,gBAAgB,CAAC,CAAC;IAC3D,MAAM,YAAY,GAAyC,EAAE,CAAC;IAC9D,MAAM,WAAW,GAAG,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;QAC9C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC7E,MAAM,eAAe,GAAG,WAAW,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACrF,MAAM,cAAc,GAAG,WAAW,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,QAAQ,CAAC,CAAC;QAChG,MAAM,iBAAiB,GAAG,eAAe,CAAC,MAAM,KAAK,CAAC,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,CAAC;QACtF,IAAI,KAAK,CAAC,qBAAqB,IAAI,KAAK,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACrF,MAAM,OAAO,GAAa,EAAE,CAAC;YAC7B,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;YAClF,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;YAChF,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,CAAC;QACrF,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC;IACrC,CAAC,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,uBAAuB,CAAC,WAAW,CAAC,CAAC;IACnG,MAAM,gBAAgB,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAClE,MAAM,cAAc,GAAG,UAAU,CAAC,MAAM,CAAC;IACzC,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAClG,MAAM,iBAAiB,GAAG,UAAU,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,WAAW,IAAI,IAAI,CAAC;IACnE,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,kBAAkB,CAAC;IAC/D,MAAM,wBAAwB,GAAG,gBAAgB,CAAC,wBAAwB,CAAC;IAC3E,MAAM,0BAA0B,GAAG,CAAC,kBAAkB;WAClD,cAAc,IAAI,WAAW,CAAC,gCAAgC;WAC9D,eAAe,IAAI,WAAW,CAAC,sBAAsB;WACrD,wBAAwB,IAAI,WAAW,CAAC,+BAA+B,CAAC;IAC5E,OAAO;QACN,OAAO,EAAE,+BAA+B;QACxC,KAAK;QACL,kBAAkB,EAAE,gBAAgB;QACpC,gBAAgB,EAAE,WAAW,CAAC,gBAAgB;QAC9C,cAAc;QACd,eAAe;QACf,iBAAiB;QACjB,kBAAkB;QAClB,wBAAwB;QACxB,gCAAgC,EAAE,WAAW,CAAC,gCAAgC;QAC9E,sBAAsB,EAAE,WAAW,CAAC,sBAAsB;QAC1D,+BAA+B,EAAE,WAAW,CAAC,+BAA+B;QAC5E,sBAAsB,EAAE,WAAW,CAAC,sBAAsB;QAC1D,wBAAwB,EAAE,WAAW,CAAC,wBAAwB;QAC9D,0BAA0B,EAAE,WAAW,CAAC,0BAA0B;QAClE,0BAA0B;QAC1B,gBAAgB;QAChB,YAAY;KACZ,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAAoD,OAAqB,EAAE,kBAA0B;IACnI,IAAI,KAAK,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;IAC/B,KAAK,IAAI,KAAK,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC7D,IAAI,OAAO,CAAC,KAAK,CAAE,CAAC,kBAAkB,KAAK,kBAAkB;YAAE,MAAM;QACrE,KAAK,GAAG,KAAK,CAAC;IACf,CAAC;IACD,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,uBAAuB,CAA2I,OAAqB;IAC/L,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;IACxE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACnC,IAAI,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1B,KAAK,IAAI,KAAK,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,iBAAiB;YAAE,MAAM;QACtE,KAAK,GAAG,KAAK,CAAC;IACf,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AAC5B,CAAC;AAYD,SAAS,gBAAgB,CAAC,KAAc,EAAE,OAA8B;IACvE,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACvC,SAAS,CAAC,MAAM,EAAE,CAAC,eAAe,EAAE,2BAA2B,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC;IACtF,IAAI,MAAM,CAAC,aAAa,KAAK,CAAC;QAAE,MAAM,IAAI,0BAA0B,CAAC,sBAAsB,EAAE,YAAY,CAAC,CAAC;IAC3G,IAAI,MAAM,CAAC,yBAAyB,KAAK,KAAK,EAAE,CAAC;QAChD,MAAM,IAAI,0BAA0B,CAAC,kCAAkC,EAAE,0CAA0C,CAAC,CAAC;IACtH,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACrD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,OAAO,CAAC,CAAC;IAC1E,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,0BAA0B,CAAC,eAAe,EAAE,wBAAwB,OAAO,QAAQ,CAAC,CAAC;IACzH,MAAM,SAAS,GAAG,gBAAgB,OAAO,EAAE,CAAC;IAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAC5C,SAAS,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,uBAAuB,CAAC,EAAE,SAAS,CAAC,CAAC;IAC3H,MAAM,aAAa,GAAG,OAAO,KAAK,mBAAmB,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,OAAO,KAAK,mBAAmB,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,YAAY,CAAC;IACjJ,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,KAAK,KAAK,aAAa,IAAI,KAAK,CAAC,iBAAiB,KAAK,CAAC,OAAO,KAAK,oBAAoB,CAAC,EAAE,CAAC;QAChI,MAAM,IAAI,0BAA0B,CAAC,SAAS,EAAE,4DAA4D,CAAC,CAAC;IAC/G,CAAC;IACD,MAAM,gBAAgB,GAAG,aAAa,CAAC,KAAK,CAAC,gBAAgB,EAAE,GAAG,SAAS,mBAAmB,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAClH,MAAM,oBAAoB,GAAG,4BAA4B,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IAChH,IAAI,oBAAoB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,0BAA0B,CACnC,GAAG,SAAS,mBAAmB,EAC/B,0DAA0D,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC3F,CAAC;IACH,CAAC;IACD,MAAM,gBAAgB,GAAG,GAAG,SAAS,wBAAwB,CAAC;IAC9D,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,qBAAqB,EAAE,gBAAgB,CAAC,CAAC;IAC3E,SAAS,CAAC,YAAY,EAAE;QACvB,kCAAkC;QAClC,wBAAwB;QACxB,iCAAiC;QACjC,wBAAwB;QACxB,0BAA0B;QAC1B,4BAA4B;KAC5B,EAAE,gBAAgB,CAAC,CAAC;IACrB,MAAM,gCAAgC,GAAG,kBAAkB,CAAC,YAAY,CAAC,gCAAgC,EAAE,kCAAkC,CAAC,CAAC;IAC/I,MAAM,sBAAsB,GAAG,kBAAkB,CAAC,YAAY,CAAC,sBAAsB,EAAE,wBAAwB,CAAC,CAAC;IACjH,MAAM,+BAA+B,GAAG,kBAAkB,CAAC,YAAY,CAAC,+BAA+B,EAAE,iCAAiC,CAAC,CAAC;IAC5I,MAAM,sBAAsB,GAAG,IAAI,CAAC,YAAY,CAAC,sBAAsB,EAAE,wBAAwB,CAAC,CAAC;IACnG,MAAM,wBAAwB,GAAG,IAAI,CAAC,YAAY,CAAC,wBAAwB,EAAE,0BAA0B,CAAC,CAAC;IACzG,MAAM,0BAA0B,GAAG,kBAAkB,CAAC,YAAY,CAAC,0BAA0B,EAAE,4BAA4B,CAAC,CAAC;IAC7H,MAAM,KAAK,GAAG,gCAAgC,CAAC,OAAO,CAAC,CAAC;IACxD,IAAI,gCAAgC,GAAG,KAAK,CAAC,gCAAgC,EAAE,CAAC;QAC/E,MAAM,IAAI,0BAA0B,CAAC,kCAAkC,EAAE,oBAAoB,KAAK,CAAC,gCAAgC,QAAQ,OAAO,EAAE,CAAC,CAAC;IACvJ,CAAC;IACD,IAAI,sBAAsB,GAAG,KAAK,CAAC,sBAAsB,EAAE,CAAC;QAC3D,MAAM,IAAI,0BAA0B,CAAC,wBAAwB,EAAE,oBAAoB,KAAK,CAAC,sBAAsB,QAAQ,OAAO,EAAE,CAAC,CAAC;IACnI,CAAC;IACD,IAAI,+BAA+B,KAAK,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,0BAA0B,CAAC,iCAAiC,EAAE,6CAA6C,CAAC,CAAC;IACxH,CAAC;IACD,IAAI,CAAC,sBAAsB;QAAE,MAAM,IAAI,0BAA0B,CAAC,wBAAwB,EAAE,wDAAwD,CAAC,CAAC;IACtJ,IAAI,KAAK,CAAC,wBAAwB,IAAI,CAAC,wBAAwB,EAAE,CAAC;QACjE,MAAM,IAAI,0BAA0B,CAAC,0BAA0B,EAAE,GAAG,OAAO,iCAAiC,CAAC,CAAC;IAC/G,CAAC;IACD,IAAI,0BAA0B,GAAG,KAAK,CAAC,0BAA0B,EAAE,CAAC;QACnE,MAAM,IAAI,0BAA0B,CAAC,4BAA4B,EAAE,oBAAoB,KAAK,CAAC,0BAA0B,QAAQ,OAAO,EAAE,CAAC,CAAC;IAC3I,CAAC;IACD,OAAO;QACN,gBAAgB;QAChB,gCAAgC;QAChC,sBAAsB;QACtB,+BAA+B;QAC/B,sBAAsB;QACtB,wBAAwB;QACxB,0BAA0B;KAC1B,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,IAAY;IAChD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACnC,SAAS,CAAC,MAAM,EAAE,CAAC,YAAY,EAAE,UAAU,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;IAChF,OAAO;QACN,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,CAAC;QACzD,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,IAAI,WAAW,CAAC;QACnD,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,IAAI,MAAM,CAAC;QACpC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,IAAI,YAAY,CAAC;QACtD,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,OAAO,CAAC;KACvC,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc,EAAE,IAAY;IACvD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACnC,SAAS,CAAC,MAAM,EAAE,CAAC,YAAY,EAAE,UAAU,EAAE,KAAK,EAAE,WAAW,CAAC,EAAE,IAAI,CAAC,CAAC;IACxE,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC;IAC9D,IAAI,SAAS,KAAK,UAAU,EAAE,CAAC;QAC9B,MAAM,IAAI,0BAA0B,CAAC,GAAG,IAAI,YAAY,EAAE,gCAAgC,CAAC,CAAC;IAC7F,CAAC;IACD,OAAO;QACN,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,CAAC;QACzD,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,IAAI,WAAW,CAAC;QACnD,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,IAAI,MAAM,CAAC;QACpC,SAAS;KACT,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,KAAc,EAAE,IAAY;IAClD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;IACxF,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM;QAAE,MAAM,IAAI,0BAA0B,CAAC,IAAI,EAAE,kCAAkC,CAAC,CAAC;IAC3H,OAAO,MAAM,CAAC;AACf,CAAC;AAED,SAAS,MAAM,CAAC,KAAc,EAAE,IAAY;IAC3C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,0BAA0B,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;IACvI,OAAO,KAAgC,CAAC;AACzC,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IACnC,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAgC,CAAC,CAAC,CAAC,IAAI,CAAC;AACvH,CAAC;AAED,SAAS,KAAK,CAAC,KAAc,EAAE,IAAY;IAC1C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,0BAA0B,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACxF,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,IAAI,CAAC,KAAc,EAAE,IAAY;IACzC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,KAAK;QAAE,MAAM,IAAI,0BAA0B,CAAC,IAAI,EAAE,qCAAqC,CAAC,CAAC;IACjK,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,IAAI,CAAC,KAAc,EAAE,IAAY;IACzC,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,0BAA0B,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;IAC/F,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc,EAAE,IAAY;IACvD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAK,KAAgB,GAAG,CAAC;QAAE,MAAM,IAAI,0BAA0B,CAAC,IAAI,EAAE,oCAAoC,CAAC,CAAC;IAC5I,OAAO,KAAe,CAAC;AACxB,CAAC;AAED,SAAS,SAAS,CAAC,KAA8B,EAAE,QAA2B,EAAE,IAAY;IAC3F,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC/C,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,0BAA0B,CAAC,IAAI,EAAE,yBAAyB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACjJ,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC/C,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC"}

package/dist/src/selfhost/promotion-shadow-history-v2.d.ts

@@ -0,0 +1,55 @@
+import type { PromotionSubjectStage } from './promotion-subject.js';
+export declare const PROMOTION_SHADOW_HISTORY_VERSION: 2;
+export type PromotionObservationOutcome = 'passed' | 'product-failed' | 'infrastructure-failed' | 'cancelled';
+export type PromotionObservationEvidenceStatus = 'passed' | 'failed';
+export interface PromotionObservationEvidenceInputV2 {
+    readonly id: string;
+    readonly status: PromotionObservationEvidenceStatus;
+    readonly sha256: string;
+}
+export interface PromotionShadowHistoryEntryInputV2 {
+    readonly version: typeof PROMOTION_SHADOW_HISTORY_VERSION;
+    readonly runId: string;
+    readonly stage: PromotionSubjectStage;
+    readonly executionCommit: string;
+    readonly promotionSubjectId: string;
+    readonly completedAt: string;
+    readonly outcome: PromotionObservationOutcome;
+    readonly countsTowardPromotion: boolean;
+    readonly unexplainedDifferentials: number;
+    readonly evidence: readonly PromotionObservationEvidenceInputV2[];
+}
+export interface PromotionShadowHistoryInputV2 {
+    readonly version: typeof PROMOTION_SHADOW_HISTORY_VERSION;
+    readonly stage: PromotionSubjectStage;
+    readonly entries: readonly PromotionShadowHistoryEntryInputV2[];
+}
+export interface PromotionObservationEvidenceV2 extends PromotionObservationEvidenceInputV2 {
+}
+export interface PromotionShadowHistoryEntryV2 extends Omit<PromotionShadowHistoryEntryInputV2, 'evidence'> {
+    readonly evidence: readonly PromotionObservationEvidenceV2[];
+}
+export interface PromotionShadowHistoryV2 {
+    readonly version: typeof PROMOTION_SHADOW_HISTORY_VERSION;
+    readonly stage: PromotionSubjectStage;
+    readonly promotionSubjectId: string;
+    readonly successfulRuns: number;
+    readonly observationDays: number;
+    readonly firstSuccessfulAt: string | null;
+    readonly latestCompletedAt: string;
+    readonly productInvalidated: boolean;
+    readonly unexplainedDifferentials: number;
+    readonly entries: readonly PromotionShadowHistoryEntryV2[];
+}
+export interface PromotionShadowHistoryResultV2 {
+    readonly history: PromotionShadowHistoryV2;
+    readonly serialized: string;
+    readonly sha256: string;
+}
+export declare class PromotionShadowHistoryError extends Error {
+    readonly path: string;
+    readonly name = "PromotionShadowHistoryError";
+    constructor(path: string, message: string);
+}
+export declare function createPromotionShadowHistoryV2(value: unknown): PromotionShadowHistoryResultV2;
+//# sourceMappingURL=promotion-shadow-history-v2.d.ts.map

package/dist/src/selfhost/promotion-shadow-history-v2.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"promotion-shadow-history-v2.d.ts","sourceRoot":"","sources":["../../../src/selfhost/promotion-shadow-history-v2.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAEpE,eAAO,MAAM,gCAAgC,EAAG,CAAU,CAAC;AAE3D,MAAM,MAAM,2BAA2B,GACpC,QAAQ,GACR,gBAAgB,GAChB,uBAAuB,GACvB,WAAW,CAAC;AAEf,MAAM,MAAM,kCAAkC,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAErE,MAAM,WAAW,mCAAmC;IACnD,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,kCAAkC,CAAC;IACpD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,kCAAkC;IAClD,QAAQ,CAAC,OAAO,EAAE,OAAO,gCAAgC,CAAC;IAC1D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAC;IACtC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,2BAA2B,CAAC;IAC9C,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;IACxC,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,QAAQ,CAAC,QAAQ,EAAE,SAAS,mCAAmC,EAAE,CAAC;CAClE;AAED,MAAM,WAAW,6BAA6B;IAC7C,QAAQ,CAAC,OAAO,EAAE,OAAO,gCAAgC,CAAC;IAC1D,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,SAAS,kCAAkC,EAAE,CAAC;CAChE;AAED,MAAM,WAAW,8BAA+B,SAAQ,mCAAmC;CAAG;AAE9F,MAAM,WAAW,6BAA8B,SAAQ,IAAI,CAAC,kCAAkC,EAAE,UAAU,CAAC;IAC1G,QAAQ,CAAC,QAAQ,EAAE,SAAS,8BAA8B,EAAE,CAAC;CAC7D;AAED,MAAM,WAAW,wBAAwB;IACxC,QAAQ,CAAC,OAAO,EAAE,OAAO,gCAAgC,CAAC;IAC1D,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAC;IACtC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,SAAS,6BAA6B,EAAE,CAAC;CAC3D;AAED,MAAM,WAAW,8BAA8B;IAC9C,QAAQ,CAAC,OAAO,EAAE,wBAAwB,CAAC;IAC3C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACxB;AAED,qBAAa,2BAA4B,SAAQ,KAAK;aAElB,IAAI,EAAE,MAAM;IAD/C,SAAyB,IAAI,iCAAiC;gBAC3B,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;CAGhE;AAMD,wBAAgB,8BAA8B,CAAC,KAAK,EAAE,OAAO,GAAG,8BAA8B,CA8C7F"}

package/dist/src/selfhost/promotion-shadow-history-v2.js

@@ -0,0 +1,227 @@
+import { createHash } from 'node:crypto';
+export const PROMOTION_SHADOW_HISTORY_VERSION = 2;
+export class PromotionShadowHistoryError extends Error {
+    path;
+    name = 'PromotionShadowHistoryError';
+    constructor(path, message) {
+        super(`${path}: ${message}`);
+        this.path = path;
+    }
+}
+const gitShaPattern = /^[0-9a-f]{40}$/u;
+const sha256Pattern = /^[0-9a-f]{64}$/u;
+const timestampPattern = /^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}\.\d{3}Z$/u;
+export function createPromotionShadowHistoryV2(value) {
+    const input = record(value, '$');
+    exactKeys(input, ['version', 'stage', 'entries'], '$');
+    literal(input.version, PROMOTION_SHADOW_HISTORY_VERSION, '$.version');
+    const stage = promotionStage(input.stage, '$.stage');
+    const entryValues = array(input.entries, '$.entries');
+    if (entryValues.length === 0)
+        throw new PromotionShadowHistoryError('$.entries', 'at least one observation is required');
+    const seenRunIds = new Set();
+    const entries = entryValues.map((entry, index) => parseEntry(entry, index, stage, seenRunIds));
+    for (let index = 1; index < entries.length; index += 1) {
+        if (compareEntryOrder(entries[index - 1], entries[index]) >= 0) {
+            throw new PromotionShadowHistoryError(`$.entries[${index}]`, 'entries must be strictly ordered by completedAt and runId');
+        }
+    }
+    const latest = entries.at(-1);
+    const countingEntries = entries.filter(entry => entry.countsTowardPromotion);
+    const currentSubjectId = countingEntries.at(-1)?.promotionSubjectId ?? latest.promotionSubjectId;
+    const currentSegment = countingEntries.length === 0
+        ? []
+        : trailingSubjectSegment(countingEntries, currentSubjectId);
+    const countingCurrentSubjectEntries = countingEntries.filter(entry => entry.promotionSubjectId === currentSubjectId);
+    const productInvalidated = countingCurrentSubjectEntries.some(entry => entry.outcome === 'product-failed');
+    const unexplainedDifferentials = countingCurrentSubjectEntries.reduce((total, entry) => {
+        const next = total + entry.unexplainedDifferentials;
+        if (!Number.isSafeInteger(next)) {
+            throw new PromotionShadowHistoryError('$.entries', 'aggregate unexplained differentials exceed safe integer range');
+        }
+        return next;
+    }, 0);
+    const trailingSuccessful = productInvalidated ? [] : trailingCountingSuccesses(currentSegment);
+    const history = {
+        version: PROMOTION_SHADOW_HISTORY_VERSION,
+        stage,
+        promotionSubjectId: currentSubjectId,
+        successfulRuns: trailingSuccessful.length,
+        observationDays: distinctUtcDays(trailingSuccessful),
+        firstSuccessfulAt: trailingSuccessful[0]?.completedAt ?? null,
+        latestCompletedAt: latest.completedAt,
+        productInvalidated,
+        unexplainedDifferentials,
+        entries,
+    };
+    const serialized = JSON.stringify(history);
+    return { history, serialized, sha256: sha256(serialized) };
+}
+function parseEntry(value, index, expectedStage, seenRunIds) {
+    const path = `$.entries[${index}]`;
+    const entry = record(value, path);
+    exactKeys(entry, [
+        'version', 'runId', 'stage', 'executionCommit', 'promotionSubjectId', 'completedAt',
+        'outcome', 'countsTowardPromotion', 'unexplainedDifferentials', 'evidence',
+    ], path);
+    literal(entry.version, PROMOTION_SHADOW_HISTORY_VERSION, `${path}.version`);
+    const runId = nonEmptyString(entry.runId, `${path}.runId`);
+    if (seenRunIds.has(runId))
+        throw new PromotionShadowHistoryError(`${path}.runId`, `duplicate runId ${runId}`);
+    seenRunIds.add(runId);
+    const stage = promotionStage(entry.stage, `${path}.stage`);
+    if (stage !== expectedStage)
+        throw new PromotionShadowHistoryError(`${path}.stage`, `expected ${expectedStage}, received ${stage}`);
+    const executionCommit = canonicalGitSha(entry.executionCommit, `${path}.executionCommit`);
+    const promotionSubjectId = canonicalSha256(entry.promotionSubjectId, `${path}.promotionSubjectId`);
+    const completedAt = canonicalTimestamp(entry.completedAt, `${path}.completedAt`);
+    const outcome = observationOutcome(entry.outcome, `${path}.outcome`);
+    const countsTowardPromotion = boolean(entry.countsTowardPromotion, `${path}.countsTowardPromotion`);
+    const unexplainedDifferentials = nonNegativeSafeInteger(entry.unexplainedDifferentials, `${path}.unexplainedDifferentials`);
+    if (outcome !== 'product-failed' && unexplainedDifferentials !== 0) {
+        throw new PromotionShadowHistoryError(`${path}.unexplainedDifferentials`, 'only product-failed observations may have unexplained differentials');
+    }
+    const evidence = parseEvidence(entry.evidence, `${path}.evidence`);
+    if (outcome === 'passed' && evidence.some(item => item.status !== 'passed')) {
+        throw new PromotionShadowHistoryError(`${path}.evidence`, 'passed observations cannot contain failed evidence');
+    }
+    return {
+        version: PROMOTION_SHADOW_HISTORY_VERSION,
+        runId,
+        stage,
+        executionCommit,
+        promotionSubjectId,
+        completedAt,
+        outcome,
+        countsTowardPromotion,
+        unexplainedDifferentials,
+        evidence,
+    };
+}
+function parseEvidence(value, path) {
+    const values = array(value, path);
+    if (values.length === 0)
+        throw new PromotionShadowHistoryError(path, 'at least one evidence item is required');
+    const seen = new Set();
+    const evidence = values.map((item, index) => {
+        const itemPath = `${path}[${index}]`;
+        const recordValue = record(item, itemPath);
+        exactKeys(recordValue, ['id', 'status', 'sha256'], itemPath);
+        const id = nonEmptyString(recordValue.id, `${itemPath}.id`);
+        if (seen.has(id))
+            throw new PromotionShadowHistoryError(`${itemPath}.id`, `duplicate evidence id ${id}`);
+        seen.add(id);
+        const status = evidenceStatus(recordValue.status, `${itemPath}.status`);
+        const itemSha256 = canonicalSha256(recordValue.sha256, `${itemPath}.sha256`);
+        return { id, status, sha256: itemSha256 };
+    }).sort((left, right) => compareText(left.id, right.id));
+    return evidence;
+}
+function trailingSubjectSegment(entries, promotionSubjectId) {
+    let first = entries.length - 1;
+    for (let index = entries.length - 2; index >= 0; index -= 1) {
+        if (entries[index].promotionSubjectId !== promotionSubjectId)
+            break;
+        first = index;
+    }
+    return entries.slice(first);
+}
+function trailingCountingSuccesses(entries) {
+    const counting = entries.filter(entry => entry.countsTowardPromotion);
+    if (counting.length === 0 || counting.at(-1).outcome !== 'passed')
+        return [];
+    let first = counting.length - 1;
+    for (let index = counting.length - 2; index >= 0; index -= 1) {
+        if (counting[index].outcome !== 'passed')
+            break;
+        first = index;
+    }
+    return counting.slice(first);
+}
+function distinctUtcDays(entries) {
+    return new Set(entries.map(entry => entry.completedAt.slice(0, 10))).size;
+}
+function promotionStage(value, path) {
+    if (value === 'required-selfhost' || value === 'required-compiler' || value === 'production-default')
+        return value;
+    throw new PromotionShadowHistoryError(path, 'invalid promotion stage');
+}
+function observationOutcome(value, path) {
+    if (value === 'passed' || value === 'product-failed' || value === 'infrastructure-failed' || value === 'cancelled')
+        return value;
+    throw new PromotionShadowHistoryError(path, 'invalid observation outcome');
+}
+function evidenceStatus(value, path) {
+    if (value === 'passed' || value === 'failed')
+        return value;
+    throw new PromotionShadowHistoryError(path, 'invalid evidence status');
+}
+function canonicalTimestamp(value, path) {
+    if (typeof value !== 'string' || !timestampPattern.test(value)) {
+        throw new PromotionShadowHistoryError(path, 'expected canonical UTC ISO timestamp');
+    }
+    const parsed = new Date(value);
+    if (Number.isNaN(parsed.getTime()) || parsed.toISOString() !== value) {
+        throw new PromotionShadowHistoryError(path, 'expected canonical UTC ISO timestamp');
+    }
+    return value;
+}
+function canonicalGitSha(value, path) {
+    if (typeof value !== 'string' || !gitShaPattern.test(value)) {
+        throw new PromotionShadowHistoryError(path, 'expected lowercase 40-character Git SHA');
+    }
+    return value;
+}
+function canonicalSha256(value, path) {
+    if (typeof value !== 'string' || !sha256Pattern.test(value)) {
+        throw new PromotionShadowHistoryError(path, 'expected lowercase 64-character SHA-256');
+    }
+    return value;
+}
+function nonNegativeSafeInteger(value, path) {
+    if (!Number.isSafeInteger(value) || value < 0)
+        throw new PromotionShadowHistoryError(path, 'expected a non-negative safe integer');
+    return value;
+}
+function boolean(value, path) {
+    if (typeof value !== 'boolean')
+        throw new PromotionShadowHistoryError(path, 'expected a boolean');
+    return value;
+}
+function literal(value, expected, path) {
+    if (value !== expected)
+        throw new PromotionShadowHistoryError(path, `expected ${expected}`);
+}
+function record(value, path) {
+    if (value === null || typeof value !== 'object' || Array.isArray(value))
+        throw new PromotionShadowHistoryError(path, 'expected an object');
+    return value;
+}
+function array(value, path) {
+    if (!Array.isArray(value))
+        throw new PromotionShadowHistoryError(path, 'expected an array');
+    return value;
+}
+function nonEmptyString(value, path) {
+    if (typeof value !== 'string' || value.length === 0 || value.trim() !== value) {
+        throw new PromotionShadowHistoryError(path, 'expected a non-empty canonical string');
+    }
+    return value;
+}
+function exactKeys(value, expected, path) {
+    const actual = Object.keys(value).sort(compareText);
+    const wanted = [...expected].sort(compareText);
+    if (JSON.stringify(actual) !== JSON.stringify(wanted)) {
+        throw new PromotionShadowHistoryError(path, `expected exactly keys ${wanted.join(', ')}`);
+    }
+}
+function compareEntryOrder(left, right) {
+    return compareText(left.completedAt, right.completedAt) || compareText(left.runId, right.runId);
+}
+function sha256(value) {
+    return createHash('sha256').update(value, 'utf8').digest('hex');
+}
+function compareText(left, right) {
+    return left < right ? -1 : left > right ? 1 : 0;
+}
+//# sourceMappingURL=promotion-shadow-history-v2.js.map