@spottoai/types-package 1.0.2-dev1138.13 → 1.0.2-dev1138.14

package/dist/esm/azure/financialAuthorityViewValidation.js

@@ -5,6 +5,8 @@ import { isFinancialEvidenceAssessmentV1 } from './financialEvidenceAssessmentVa
 import { formatExactDecimalValue, multiplyExactDecimalValues, parseCanonicalDecimal, sumCanonicalDecimals } from '../common/exactDecimal.js';
 import { isFinancialBaselinePeriodV2, isFinancialEvidenceBundleV1, isFinancialScopeBaselineEnvelopeV2 } from './financialScopeBaselineValidation.js';
 import { isFinancialAuthorityComponentDescriptorV1, isFinancialDisplayRollupV1 } from './financialDisplayRollupValidation.js';
+import { AZURE_BILLED_ALL_CHARGES_POLICY_V1 } from './financialChargeComposition.js';
+import { isFinancialChargeCompositionV1 } from './financialChargeCompositionValidation.js';
 const SHA256_ID = /^sha256:[0-9a-f]{64}$/;
 const CURRENCY = /^[A-Z]{3}$/;
 const AZURE_RESOURCE_TYPE = /^[a-z0-9.-]+\/[a-z0-9._/-]+$/;
@@ -55,6 +57,7 @@ const canonicalCoordinatePreimage = (value) => ({
     ownerBaselines: [...value.ownerBaselines].sort((left, right) => left.scopeId.localeCompare(right.scopeId)),
     residualBaseline: value.residualBaseline,
     aggregateBaseline: value.aggregateBaseline,
+    chargeCompositions: [...value.chargeCompositions].sort((left, right) => left.baselineId.localeCompare(right.baselineId)),
     componentDescriptors: [...value.componentDescriptors].sort((left, right) => `${left.baselineId}\u0000${left.componentId}`.localeCompare(`${right.baselineId}\u0000${right.componentId}`)),
     displayRollups: [...value.displayRollups].sort((left, right) => left.displayRollupId.localeCompare(right.displayRollupId)),
     projections: [...value.projections].sort((left, right) => left.scenarioId.localeCompare(right.scenarioId)),
@@ -95,6 +98,7 @@ const isCoordinate = (value, coveredScopeIds, financialRoleByScope, providerAcco
             'ownerBaselines',
             'residualBaseline',
             'aggregateBaseline',
+            'chargeCompositions',
             'componentDescriptors',
             'displayRollups',
             'projections',
@@ -113,6 +117,9 @@ const isCoordinate = (value, coveredScopeIds, financialRoleByScope, providerAcco
         !value.ownerBaselines.every(isFinancialScopeBaselineEnvelopeV2) ||
         !isFinancialScopeBaselineEnvelopeV2(value.residualBaseline) ||
         !isFinancialScopeBaselineEnvelopeV2(value.aggregateBaseline) ||
+        !Array.isArray(value.chargeCompositions) ||
+        value.chargeCompositions.length > 20001 ||
+        !value.chargeCompositions.every(isFinancialChargeCompositionV1) ||
         !Array.isArray(value.componentDescriptors) ||
         value.componentDescriptors.length > 20000 ||
         !value.componentDescriptors.every(isFinancialAuthorityComponentDescriptorV1) ||
@@ -173,6 +180,38 @@ const isCoordinate = (value, coveredScopeIds, financialRoleByScope, providerAcco
     }
     if (coordinate.residualBaseline.status === 'available' && !bundleIds.has(coordinate.residualBaseline.evidenceBundleId))
         return false;
+    const composableBaselines = [...coordinate.ownerBaselines, coordinate.residualBaseline].filter((baseline) => baseline.status === 'available' && baseline.baselineKind === 'owner');
+    const chargeCompositionByBaselineId = new Map(coordinate.chargeCompositions.map(composition => [composition.baselineId, composition]));
+    if (chargeCompositionByBaselineId.size !== coordinate.chargeCompositions.length ||
+        coordinate.chargeCompositions.length !== composableBaselines.length)
+        return false;
+    for (const baseline of composableBaselines) {
+        const composition = chargeCompositionByBaselineId.get(baseline.baselineId);
+        if (composition === undefined ||
+            canonicalText(baseline.chargeInclusionPolicyRef) !== canonicalText(AZURE_BILLED_ALL_CHARGES_POLICY_V1.policyRef) ||
+            composition.ownerScopeId !== baseline.scopeId ||
+            periodText(composition.period) !== periodText(baseline.period) ||
+            composition.costBasis !== baseline.costBasis ||
+            composition.estimateLens !== baseline.estimateLens ||
+            composition.accountingCurrencyCode !== baseline.total.currencyCode ||
+            composition.reconciliation.sourceTotal !== baseline.total.amount)
+            return false;
+        const baselineComponentById = new Map(baseline.components.map(component => [component.componentId, component]));
+        const partitionedComponentIds = composition.buckets.flatMap(bucket => bucket.componentIds);
+        if (partitionedComponentIds.length !== baseline.components.length ||
+            new Set(partitionedComponentIds).size !== partitionedComponentIds.length ||
+            partitionedComponentIds.some(componentId => !baselineComponentById.has(componentId)))
+            return false;
+        for (const bucket of composition.buckets) {
+            try {
+                if (formatExactDecimalValue(sumCanonicalDecimals(bucket.componentIds.map(componentId => baselineComponentById.get(componentId).amount))) !== bucket.amount)
+                    return false;
+            }
+            catch {
+                return false;
+            }
+        }
+    }
     const financialOwnerBaselines = coordinate.ownerBaselines.filter(baseline => financialRoleByScope.get(baseline.scopeId) === 'owner');
     const availableMembers = [...financialOwnerBaselines, coordinate.residualBaseline]
         .filter(baseline => baseline.status === 'available')
@@ -256,7 +295,7 @@ const isCoordinate = (value, coveredScopeIds, financialRoleByScope, providerAcco
             (projection.targetEvidenceBundleId !== undefined && !bundleIds.has(projection.targetEvidenceBundleId)) ||
             (targetAssessment !== undefined &&
                 (targetAssessment.request.scopeId !== projection.scopeId ||
-                    targetAssessment.result !== 'available' ||
+                    (projection.status === 'available' && targetAssessment.result !== 'available') ||
                     targetAssessment.evidenceBundleId !== projection.targetEvidenceBundleId)) ||
             (projection.baselineId !== undefined && (owner.status !== 'available' || projection.baselineId !== owner.baselineId)) ||
             (projection.status === 'available' && owner.status !== 'available'))
@@ -328,6 +367,15 @@ const isCoordinate = (value, coveredScopeIds, financialRoleByScope, providerAcco
                             return false;
                         continue;
                     }
+                    if (projection.operationKind === 'replace-quantity-and-rate') {
+                        if (!('targetQuantity' in applied) || !('targetRate' in applied))
+                            return false;
+                        if (applied.targetQuantity.unit !== applied.targetRate.quantityUnit ||
+                            applied.targetRate.currencyCode !== projection.accountingCurrencyCode ||
+                            formatExactDecimalValue(multiplyExactDecimalValues(parseCanonicalDecimal(applied.targetQuantity.amount), parseCanonicalDecimal(applied.targetRate.amount))) !== applied.targetAmount)
+                            return false;
+                        continue;
+                    }
                     if (!('sourceRate' in applied) || !('targetQuantity' in applied) || component.effectiveRate === undefined)
                         return false;
                     if (applied.sourceRate.amount !== component.effectiveRate.amount ||
@@ -495,3 +543,225 @@ export const isFinancialAuthorityViewV1 = (value) => {
 export const isFinancialAuthorityViewBoundToArtifactGenerationV1 = (value, expected) => isFinancialAuthorityViewV1(value) &&
     value.artifactGeneration.runId === expected.runId &&
     value.artifactGeneration.generatedAt === expected.generatedAt;
+const isSameProviderAccountSet = (left, right) => {
+    if (left.length !== right.length)
+        return false;
+    const sortedLeft = [...left].sort();
+    const sortedRight = [...right].sort();
+    return sortedLeft.every((value, index) => value === sortedRight[index]);
+};
+const isResourceProjectionCoordinate = (value, projection, assessmentById, bundleIds) => {
+    if (!isRecord(value) ||
+        !hasExactFields(value, [
+            'coordinateId',
+            'periodRole',
+            'period',
+            'costBasis',
+            'estimateLens',
+            'ownerBaseline',
+            'componentDescriptors',
+            'displayRollups',
+            'projections',
+        ], [
+            'requestedCurrencyCode',
+            'displayMemberBaselines',
+            'chargeComposition',
+            'displayMemberChargeCompositions',
+        ]) ||
+        !isHash(value.coordinateId) ||
+        (value.periodRole !== 'current' && value.periodRole !== 'previous') ||
+        !isFinancialBaselinePeriodV2(value.period) ||
+        typeof value.costBasis !== 'string' ||
+        !COST_BASES.has(value.costBasis) ||
+        typeof value.estimateLens !== 'string' ||
+        !ESTIMATE_LENSES.has(value.estimateLens) ||
+        (value.requestedCurrencyCode !== undefined && (typeof value.requestedCurrencyCode !== 'string' || !CURRENCY.test(value.requestedCurrencyCode))) ||
+        !isFinancialScopeBaselineEnvelopeV2(value.ownerBaseline) ||
+        (value.displayMemberBaselines !== undefined &&
+            (!Array.isArray(value.displayMemberBaselines) ||
+                value.displayMemberBaselines.length > 20000 ||
+                !value.displayMemberBaselines.every(isFinancialScopeBaselineEnvelopeV2))) ||
+        (value.chargeComposition !== undefined && !isFinancialChargeCompositionV1(value.chargeComposition)) ||
+        (value.displayMemberChargeCompositions !== undefined &&
+            (!Array.isArray(value.displayMemberChargeCompositions) ||
+                value.displayMemberChargeCompositions.length > 20000 ||
+                !value.displayMemberChargeCompositions.every(isFinancialChargeCompositionV1))) ||
+        !Array.isArray(value.componentDescriptors) ||
+        value.componentDescriptors.length > 20000 ||
+        !value.componentDescriptors.every(isFinancialAuthorityComponentDescriptorV1) ||
+        !Array.isArray(value.displayRollups) ||
+        value.displayRollups.length > 20000 ||
+        !value.displayRollups.every(isFinancialDisplayRollupV1) ||
+        !Array.isArray(value.projections) ||
+        value.projections.length > 20000 ||
+        !value.projections.every(isFinancialProjectionEnvelopeV1))
+        return false;
+    const coordinate = value;
+    const baseline = coordinate.ownerBaseline;
+    const displayMemberBaselines = coordinate.displayMemberBaselines ?? [];
+    const displayMemberChargeCompositions = coordinate.displayMemberChargeCompositions ?? [];
+    const assessment = assessmentById.get(baseline.assessmentId);
+    if (normalizeScopeId(baseline.scopeId) !== projection.scopeId ||
+        baseline.costBasis !== coordinate.costBasis ||
+        baseline.estimateLens !== coordinate.estimateLens ||
+        periodText(baseline.period) !== periodText(coordinate.period) ||
+        baseline.requestedCurrencyCode !== coordinate.requestedCurrencyCode ||
+        !isSameProviderAccountSet(baseline.providerAccountRefs, projection.providerAccountRefs) ||
+        !assessment ||
+        assessment.request.scopeId !== baseline.scopeId ||
+        assessment.request.scopeKind !== baseline.scopeKind ||
+        assessment.result !== baseline.status)
+        return false;
+    if (projection.financialRole === 'display-only' && (baseline.status !== 'unavailable' || baseline.unavailableReason !== 'unsupported-scope')) {
+        return false;
+    }
+    if (projection.financialRole === 'unclassified' && (baseline.status !== 'unavailable' || baseline.unavailableReason !== 'ownership-unresolved')) {
+        return false;
+    }
+    if (baseline.status !== 'available' || baseline.baselineKind !== 'owner') {
+        return (displayMemberBaselines.length === 0 &&
+            coordinate.chargeComposition === undefined &&
+            displayMemberChargeCompositions.length === 0 &&
+            coordinate.componentDescriptors.length === 0 &&
+            coordinate.displayRollups.length === 0 &&
+            coordinate.projections.every(projectionValue => normalizeScopeId(projectionValue.scopeId) === projection.scopeId) &&
+            new Set(coordinate.projections.map(projectionValue => projectionValue.scenarioId)).size === coordinate.projections.length);
+    }
+    if (baseline.scopeKind !== 'canonical-resource-owner' && baseline.scopeKind !== 'composite-resource')
+        return false;
+    if (!bundleIds.has(baseline.evidenceBundleId) || assessment.evidenceBundleId !== baseline.evidenceBundleId)
+        return false;
+    const availableDisplayMemberBaselines = displayMemberBaselines.filter((candidate) => candidate.status === 'available' && candidate.baselineKind === 'owner');
+    if (availableDisplayMemberBaselines.length !== displayMemberBaselines.length)
+        return false;
+    const projectedBaselines = [baseline, ...availableDisplayMemberBaselines];
+    if (new Set(projectedBaselines.map(candidate => candidate.baselineId)).size !== projectedBaselines.length ||
+        displayMemberBaselines.some(candidate => {
+            if (candidate.status !== 'available' ||
+                candidate.baselineKind !== 'owner' ||
+                (candidate.scopeKind !== 'canonical-resource-owner' && candidate.scopeKind !== 'composite-resource') ||
+                candidate.costBasis !== coordinate.costBasis ||
+                candidate.estimateLens !== coordinate.estimateLens ||
+                periodText(candidate.period) !== periodText(coordinate.period) ||
+                candidate.requestedCurrencyCode !== coordinate.requestedCurrencyCode ||
+                candidate.total.currencyCode !== baseline.total.currencyCode ||
+                !isSameProviderAccountSet(candidate.providerAccountRefs, projection.providerAccountRefs) ||
+                !bundleIds.has(candidate.evidenceBundleId))
+                return true;
+            const candidateAssessment = assessmentById.get(candidate.assessmentId);
+            return (!candidateAssessment ||
+                candidateAssessment.request.scopeId !== candidate.scopeId ||
+                candidateAssessment.request.scopeKind !== candidate.scopeKind ||
+                candidateAssessment.result !== candidate.status ||
+                candidateAssessment.evidenceBundleId !== candidate.evidenceBundleId);
+        }))
+        return false;
+    const compositions = [coordinate.chargeComposition, ...displayMemberChargeCompositions];
+    if (compositions.some(candidate => candidate === undefined))
+        return false;
+    const compositionByBaselineId = new Map(compositions.map(candidate => [candidate.baselineId, candidate]));
+    if (compositions.length !== projectedBaselines.length || compositionByBaselineId.size !== projectedBaselines.length)
+        return false;
+    for (const projectedBaseline of projectedBaselines) {
+        const composition = compositionByBaselineId.get(projectedBaseline.baselineId);
+        if (!composition ||
+            composition.baselineId !== projectedBaseline.baselineId ||
+            normalizeScopeId(composition.ownerScopeId) !== normalizeScopeId(projectedBaseline.scopeId) ||
+            periodText(composition.period) !== periodText(projectedBaseline.period) ||
+            composition.costBasis !== projectedBaseline.costBasis ||
+            composition.estimateLens !== projectedBaseline.estimateLens ||
+            composition.accountingCurrencyCode !== projectedBaseline.total.currencyCode ||
+            composition.reconciliation.sourceTotal !== projectedBaseline.total.amount)
+            return false;
+    }
+    const composition = coordinate.chargeComposition;
+    if (!composition ||
+        composition.baselineId !== baseline.baselineId ||
+        normalizeScopeId(composition.ownerScopeId) !== projection.scopeId ||
+        periodText(composition.period) !== periodText(baseline.period) ||
+        composition.costBasis !== baseline.costBasis ||
+        composition.estimateLens !== baseline.estimateLens ||
+        composition.accountingCurrencyCode !== baseline.total.currencyCode ||
+        composition.reconciliation.sourceTotal !== baseline.total.amount)
+        return false;
+    const componentKeys = new Set(projectedBaselines.flatMap(projectedBaseline => projectedBaseline.components.map(component => `${projectedBaseline.baselineId}\u0000${component.componentId}`)));
+    const ownerComponentKeys = new Set(baseline.components.map(component => `${baseline.baselineId}\u0000${component.componentId}`));
+    const descriptorKeys = coordinate.componentDescriptors.map(descriptor => `${descriptor.baselineId}\u0000${descriptor.componentId}`);
+    if (descriptorKeys.length !== componentKeys.size ||
+        new Set(descriptorKeys).size !== descriptorKeys.length ||
+        descriptorKeys.some(key => !componentKeys.has(key)) ||
+        coordinate.displayRollups.some(rollup => normalizeScopeId(rollup.displayScopeId) !== projection.scopeId ||
+            rollup.members.some(member => !componentKeys.has(`${member.baselineId}\u0000${member.componentId}`))) ||
+        coordinate.projections.some(projectionValue => normalizeScopeId(projectionValue.scopeId) !== projection.scopeId))
+        return false;
+    const rolledUpKeys = coordinate.displayRollups.flatMap(rollup => rollup.members.map(member => `${member.baselineId}\u0000${member.componentId}`));
+    return (ownerComponentKeys.size > 0 &&
+        new Set(rolledUpKeys).size === rolledUpKeys.length &&
+        rolledUpKeys.every(key => componentKeys.has(key)) &&
+        [...ownerComponentKeys].every(key => rolledUpKeys.includes(key)) &&
+        [...componentKeys].every(key => rolledUpKeys.includes(key)) &&
+        new Set(coordinate.projections.map(projectionValue => projectionValue.scenarioId)).size === coordinate.projections.length);
+};
+/** Strictly validates one bounded, non-additive resource projection without requiring the full authority ledger. */
+export const isFinancialAuthorityResourceProjectionV1 = (value) => {
+    if (!isRecord(value) ||
+        !hasExactFields(value, [
+            'contractVersion',
+            'authorityId',
+            'provider',
+            'providerAccountRefs',
+            'artifactGeneration',
+            'billingGenerationId',
+            'resourceType',
+            'financialRole',
+            'scopeId',
+            'evidenceBundles',
+            'evidenceAssessments',
+            'coordinates',
+        ]) ||
+        value.contractVersion !== 'financial-authority-resource-projection/v1' ||
+        !isHash(value.authorityId) ||
+        value.provider !== 'azure' ||
+        !Array.isArray(value.providerAccountRefs) ||
+        value.providerAccountRefs.length === 0 ||
+        value.providerAccountRefs.length > 64 ||
+        !value.providerAccountRefs.every(isIdentity) ||
+        new Set(value.providerAccountRefs).size !== value.providerAccountRefs.length ||
+        !isRecord(value.artifactGeneration) ||
+        !hasExactFields(value.artifactGeneration, ['runId', 'generatedAt']) ||
+        !isIdentity(value.artifactGeneration.runId) ||
+        !isIsoInstant(value.artifactGeneration.generatedAt) ||
+        !isIdentity(value.billingGenerationId) ||
+        typeof value.resourceType !== 'string' ||
+        !AZURE_RESOURCE_TYPE.test(value.resourceType) ||
+        value.resourceType !== normalizeScopeId(value.resourceType) ||
+        (value.financialRole !== 'owner' && value.financialRole !== 'display-only' && value.financialRole !== 'unclassified') ||
+        !isIdentity(value.scopeId) ||
+        value.scopeId !== normalizeScopeId(value.scopeId) ||
+        !Array.isArray(value.evidenceBundles) ||
+        value.evidenceBundles.length > 20000 ||
+        !value.evidenceBundles.every(isFinancialEvidenceBundleV1) ||
+        !Array.isArray(value.evidenceAssessments) ||
+        value.evidenceAssessments.length > 20000 ||
+        !value.evidenceAssessments.every(isFinancialEvidenceAssessmentV1) ||
+        !Array.isArray(value.coordinates) ||
+        value.coordinates.length === 0 ||
+        value.coordinates.length > 128)
+        return false;
+    const projection = value;
+    const bundleIds = new Set(projection.evidenceBundles.map(bundle => bundle.bundleId));
+    const assessmentById = new Map(projection.evidenceAssessments.map(assessment => [assessment.assessmentId, assessment]));
+    const projectedScopeIds = new Set([
+        projection.scopeId,
+        ...projection.coordinates.flatMap(coordinate => (coordinate.displayMemberBaselines ?? []).map(baseline => normalizeScopeId(baseline.scopeId))),
+    ]);
+    if (bundleIds.size !== projection.evidenceBundles.length || assessmentById.size !== projection.evidenceAssessments.length)
+        return false;
+    if (projection.evidenceAssessments.some(assessment => (assessment.evidenceBundleId !== undefined && !bundleIds.has(assessment.evidenceBundleId)) ||
+        !isSameProviderAccountSet(assessment.request.providerAccountRefs, projection.providerAccountRefs) ||
+        !projectedScopeIds.has(normalizeScopeId(assessment.request.scopeId))) ||
+        !projection.coordinates.every(coordinate => isResourceProjectionCoordinate(coordinate, projection, assessmentById, bundleIds)) ||
+        new Set(projection.coordinates.map(coordinate => coordinate.coordinateId)).size !== projection.coordinates.length)
+        return false;
+    return true;
+};

package/dist/esm/azure/financialChargeComposition.js

@@ -0,0 +1,36 @@
+import { sha256Utf8 } from '../common/sha256.js';
+export const FINANCIAL_CHARGE_COMPOSITION_SCHEMA_VERSION_V1 = 1;
+export const FINANCIAL_CHARGE_COMPOSITION_CONTRACT_VERSION_V1 = 'financial-charge-composition/v1';
+export const FINANCIAL_CHARGE_INCLUSION_POLICY_CONTRACT_VERSION_V1 = 'financial-charge-inclusion-policy/v1';
+const createRegisteredPolicy = (definition) => {
+    const { policyId, ...policy } = definition;
+    const registered = {
+        ...policy,
+        includeSources: Object.freeze([...policy.includeSources]),
+        excludeSources: Object.freeze([...policy.excludeSources]),
+        withholdSources: Object.freeze([...policy.withholdSources]),
+        policyRef: Object.freeze({ policyId, policyDigest: `sha256:${sha256Utf8(JSON.stringify(definition))}` }),
+    };
+    return Object.freeze(registered);
+};
+export const AZURE_BILLED_ALL_CHARGES_POLICY_V1 = createRegisteredPolicy({
+    schemaVersion: 1,
+    contractVersion: FINANCIAL_CHARGE_INCLUSION_POLICY_CONTRACT_VERSION_V1,
+    policyId: 'azure-billed-all-charges/v1',
+    includeSources: ['azure-native', 'marketplace', 'unknown'],
+    excludeSources: [],
+    withholdSources: [],
+});
+export const AZURE_CLOUD_SERVICES_EXCLUDING_MARKETPLACE_POLICY_V1 = createRegisteredPolicy({
+    schemaVersion: 1,
+    contractVersion: FINANCIAL_CHARGE_INCLUSION_POLICY_CONTRACT_VERSION_V1,
+    policyId: 'azure-cloud-services-excluding-marketplace/v1',
+    includeSources: ['azure-native'],
+    excludeSources: ['marketplace'],
+    withholdSources: ['unknown'],
+});
+export const FINANCIAL_CHARGE_INCLUSION_POLICIES_V1 = Object.freeze([
+    AZURE_BILLED_ALL_CHARGES_POLICY_V1,
+    AZURE_CLOUD_SERVICES_EXCLUDING_MARKETPLACE_POLICY_V1,
+]);
+export const resolveFinancialChargeInclusionPolicyV1 = (policyRef) => policyRef !== null && typeof policyRef === 'object' && FINANCIAL_CHARGE_INCLUSION_POLICIES_V1.find(policy => policy.policyRef.policyId === policyRef.policyId && policy.policyRef.policyDigest === policyRef.policyDigest) || undefined;

package/dist/esm/azure/financialChargeCompositionKernel.js

@@ -0,0 +1,48 @@
+import { formatExactDecimalValue, sumCanonicalDecimals } from '../common/exactDecimal.js';
+import { FINANCIAL_CHARGE_COMPOSITION_CONTRACT_VERSION_V1, FINANCIAL_CHARGE_COMPOSITION_SCHEMA_VERSION_V1, } from './financialChargeComposition.js';
+import { createFinancialChargeCompositionIdV1 } from './financialChargeCompositionValidation.js';
+const bucketKey = (component) => `${component.chargeSource}\u0000${component.chargeRecurrence}\u0000${component.chargeClassification}`;
+export const createFinancialChargeCompositionV1 = (request) => {
+    if (!Array.isArray(request.components) || request.components.length === 0 || request.components.length > 20000) {
+        throw new TypeError('Financial charge composition requires a bounded non-empty component collection.');
+    }
+    if (new Set(request.components.map(component => component.componentId)).size !== request.components.length) {
+        throw new TypeError('Financial charge composition cannot classify one component more than once.');
+    }
+    const groups = new Map();
+    for (const component of request.components) {
+        const key = bucketKey(component);
+        const group = groups.get(key);
+        if (group)
+            group.push(component);
+        else
+            groups.set(key, [component]);
+    }
+    const buckets = [...groups.values()]
+        .map(group => ({
+        chargeSource: group[0].chargeSource,
+        chargeRecurrence: group[0].chargeRecurrence,
+        chargeClassification: group[0].chargeClassification,
+        amount: formatExactDecimalValue(sumCanonicalDecimals(group.map(component => component.amount))),
+        componentIds: [...new Set(group.map(component => component.componentId))].sort(),
+        evidenceRefIds: [...new Set(group.flatMap(component => component.evidenceRefIds))].sort(),
+    }))
+        .sort((left, right) => `${left.chargeSource}\u0000${left.chargeRecurrence}\u0000${left.chargeClassification}`.localeCompare(`${right.chargeSource}\u0000${right.chargeRecurrence}\u0000${right.chargeClassification}`));
+    const bucketTotal = formatExactDecimalValue(sumCanonicalDecimals(buckets.map(bucket => bucket.amount)));
+    if (bucketTotal !== request.sourceTotal)
+        throw new TypeError('Financial charge composition does not reconcile to its source total.');
+    const identity = {
+        schemaVersion: FINANCIAL_CHARGE_COMPOSITION_SCHEMA_VERSION_V1,
+        contractVersion: FINANCIAL_CHARGE_COMPOSITION_CONTRACT_VERSION_V1,
+        baselineId: request.baselineId,
+        ownerScopeId: request.ownerScopeId,
+        period: request.period,
+        costBasis: request.costBasis,
+        estimateLens: request.estimateLens,
+        accountingCurrencyCode: request.accountingCurrencyCode,
+        buckets,
+        reconciliation: { status: 'reconciled', bucketTotal, sourceTotal: request.sourceTotal, difference: '0' },
+        algorithmVersion: request.algorithmVersion,
+    };
+    return { ...identity, chargeCompositionId: createFinancialChargeCompositionIdV1(identity) };
+};

package/dist/esm/azure/financialChargeCompositionValidation.js

@@ -0,0 +1,155 @@
+import { formatExactDecimalValue, sumCanonicalDecimals } from '../common/exactDecimal.js';
+import { sha256Utf8 } from '../common/sha256.js';
+import { FINANCIAL_CHARGE_COMPOSITION_CONTRACT_VERSION_V1, FINANCIAL_CHARGE_COMPOSITION_SCHEMA_VERSION_V1, resolveFinancialChargeInclusionPolicyV1, } from './financialChargeComposition.js';
+import { canonicalizeFinancialDataflowJsonV1, hasFinancialDataflowExactFieldsV1, isFinancialDataflowCurrencyV1, isFinancialDataflowHashV1, isFinancialDataflowIdentityV1, isFinancialDataflowRecordV1, isFinancialDataflowValueWithinLimitsV1, } from './financialDataflowValidation.js';
+import { isFinancialBaselinePeriodV2 } from './financialScopeBaselineValidation.js';
+import { isCanonicalExactMoney } from './financialValidationPrimitives.js';
+const SOURCES = new Set(['azure-native', 'marketplace', 'unknown']);
+const RECURRENCES = new Set(['one-time', 'recurring', 'usage-based', 'unknown']);
+const CLASSIFICATIONS = new Set(['usage', 'purchase', 'adjustment', 'tax', 'credit', 'refund', 'residual']);
+const COST_BASES = new Set(['billed', 'amortized']);
+const ESTIMATE_LENSES = new Set(['actual-only', 'actual-plus-estimated', 'estimates-only']);
+const isSortedUniqueHashes = (value) => Array.isArray(value) && value.length > 0 && value.length <= 20000 && value.every(isFinancialDataflowHashV1) &&
+    value.every((entry, index) => index === 0 || value[index - 1] < entry);
+const isBucket = (value) => isFinancialDataflowRecordV1(value) &&
+    hasFinancialDataflowExactFieldsV1(value, [
+        'chargeSource',
+        'chargeRecurrence',
+        'chargeClassification',
+        'amount',
+        'componentIds',
+        'evidenceRefIds',
+    ]) &&
+    SOURCES.has(value.chargeSource) &&
+    RECURRENCES.has(value.chargeRecurrence) &&
+    CLASSIFICATIONS.has(value.chargeClassification) &&
+    isCanonicalExactMoney({ amount: value.amount, currencyCode: 'AUD' }) &&
+    isSortedUniqueHashes(value.componentIds) &&
+    isSortedUniqueHashes(value.evidenceRefIds);
+const isIdentity = (value) => {
+    if (!isFinancialDataflowRecordV1(value) ||
+        !hasFinancialDataflowExactFieldsV1(value, [
+            'schemaVersion',
+            'contractVersion',
+            'baselineId',
+            'ownerScopeId',
+            'period',
+            'costBasis',
+            'estimateLens',
+            'accountingCurrencyCode',
+            'buckets',
+            'reconciliation',
+            'algorithmVersion',
+        ]) ||
+        value.schemaVersion !== FINANCIAL_CHARGE_COMPOSITION_SCHEMA_VERSION_V1 ||
+        value.contractVersion !== FINANCIAL_CHARGE_COMPOSITION_CONTRACT_VERSION_V1 ||
+        !isFinancialDataflowHashV1(value.baselineId) ||
+        !isFinancialDataflowIdentityV1(value.ownerScopeId) ||
+        !isFinancialBaselinePeriodV2(value.period) ||
+        !COST_BASES.has(value.costBasis) ||
+        !ESTIMATE_LENSES.has(value.estimateLens) ||
+        !isFinancialDataflowCurrencyV1(value.accountingCurrencyCode) ||
+        !Array.isArray(value.buckets) ||
+        value.buckets.length === 0 ||
+        value.buckets.length > 20000 ||
+        !value.buckets.every(isBucket) ||
+        !isFinancialDataflowIdentityV1(value.algorithmVersion) ||
+        !isFinancialDataflowRecordV1(value.reconciliation) ||
+        !hasFinancialDataflowExactFieldsV1(value.reconciliation, ['status', 'bucketTotal', 'sourceTotal', 'difference']) ||
+        value.reconciliation.status !== 'reconciled' ||
+        value.reconciliation.difference !== '0' ||
+        !isCanonicalExactMoney({ amount: value.reconciliation.bucketTotal, currencyCode: value.accountingCurrencyCode }) ||
+        !isCanonicalExactMoney({ amount: value.reconciliation.sourceTotal, currencyCode: value.accountingCurrencyCode }))
+        return false;
+    const componentIds = value.buckets.flatMap(bucket => bucket.componentIds);
+    if (new Set(componentIds).size !== componentIds.length)
+        return false;
+    const keys = value.buckets.map(bucket => `${bucket.chargeSource}\u0000${bucket.chargeRecurrence}\u0000${bucket.chargeClassification}`);
+    if (!keys.every((key, index) => index === 0 || keys[index - 1] < key))
+        return false;
+    try {
+        const bucketTotal = formatExactDecimalValue(sumCanonicalDecimals(value.buckets.map(bucket => bucket.amount)));
+        return bucketTotal === value.reconciliation.bucketTotal && bucketTotal === value.reconciliation.sourceTotal;
+    }
+    catch {
+        return false;
+    }
+};
+export const canonicalizeFinancialChargeCompositionIdentityV1 = (value) => {
+    if (!isFinancialDataflowValueWithinLimitsV1(value) || !isIdentity(value)) {
+        throw new TypeError('Invalid FinancialChargeCompositionIdentityPreimageV1.');
+    }
+    return canonicalizeFinancialDataflowJsonV1(value);
+};
+export const createFinancialChargeCompositionIdV1 = (value) => `sha256:${sha256Utf8(canonicalizeFinancialChargeCompositionIdentityV1(value))}`;
+export const isFinancialChargeCompositionV1 = (value) => {
+    if (!isFinancialDataflowValueWithinLimitsV1(value) ||
+        !isFinancialDataflowRecordV1(value) ||
+        !hasFinancialDataflowExactFieldsV1(value, [
+            'chargeCompositionId',
+            'schemaVersion',
+            'contractVersion',
+            'baselineId',
+            'ownerScopeId',
+            'period',
+            'costBasis',
+            'estimateLens',
+            'accountingCurrencyCode',
+            'buckets',
+            'reconciliation',
+            'algorithmVersion',
+        ]))
+        return false;
+    const { chargeCompositionId, ...identity } = value;
+    return isFinancialDataflowHashV1(chargeCompositionId) && isIdentity(identity) &&
+        chargeCompositionId === createFinancialChargeCompositionIdV1(identity);
+};
+export const isFinancialChargeInclusionPolicyRefV1 = (value) => isFinancialDataflowRecordV1(value) &&
+    hasFinancialDataflowExactFieldsV1(value, ['policyId', 'policyDigest']) &&
+    isFinancialDataflowIdentityV1(value.policyId) &&
+    isFinancialDataflowHashV1(value.policyDigest) &&
+    resolveFinancialChargeInclusionPolicyV1(value) !== undefined;
+const sumBuckets = (buckets) => formatExactDecimalValue(sumCanonicalDecimals(buckets.map(bucket => bucket.amount)));
+const sourcesFor = (policy, role) => role === 'include' ? policy.includeSources : role === 'exclude' ? policy.excludeSources : policy.withholdSources;
+export const selectFinancialChargesV1 = (composition, policyRef) => {
+    if (!isFinancialChargeCompositionV1(composition))
+        throw new TypeError('Invalid financial charge composition.');
+    const policy = resolveFinancialChargeInclusionPolicyV1(policyRef);
+    if (!policy)
+        throw new TypeError('Unregistered financial charge-inclusion policy.');
+    const partition = (role) => composition.buckets.filter(bucket => sourcesFor(policy, role).includes(bucket.chargeSource));
+    const included = partition('include');
+    const excluded = partition('exclude');
+    const withheld = partition('withhold');
+    if (included.length + excluded.length + withheld.length !== composition.buckets.length) {
+        throw new TypeError('Financial charge-inclusion policy does not partition every charge source.');
+    }
+    const includedAmount = sumBuckets(included);
+    const excludedAmount = sumBuckets(excluded);
+    const withheldAmount = sumBuckets(withheld);
+    const forecastEligibleAmount = sumBuckets(included.filter(bucket => bucket.chargeRecurrence === 'recurring' || bucket.chargeRecurrence === 'usage-based'));
+    const oneTimeAmount = sumBuckets(included.filter(bucket => bucket.chargeRecurrence === 'one-time'));
+    const unknownRecurrenceAmount = sumBuckets(included.filter(bucket => bucket.chargeRecurrence === 'unknown'));
+    const reasonCodes = [];
+    if (withheldAmount !== '0')
+        reasonCodes.push('charge-source-unknown');
+    const forecastReasonCodes = [...reasonCodes];
+    if (unknownRecurrenceAmount !== '0')
+        forecastReasonCodes.push('charge-recurrence-unknown');
+    const result = {
+        status: withheldAmount === '0' ? 'available' : 'partial',
+        includedAmount,
+        excludedAmount,
+        withheldAmount,
+        forecastEligibleAmount,
+        oneTimeAmount,
+        unknownRecurrenceAmount,
+        forecastStatus: withheldAmount === '0' && unknownRecurrenceAmount === '0' ? 'available' : 'partial',
+        currencyCode: composition.accountingCurrencyCode,
+        ...(reasonCodes.length === 0 ? {} : { reasonCodes: reasonCodes }),
+        ...(forecastReasonCodes.length === 0
+            ? {}
+            : { forecastReasonCodes: forecastReasonCodes }),
+    };
+    return result;
+};