@sourcey/catalog-verifier 1.0.0

package/dist/modules/catalog-admission/src/publication.d.ts

@@ -0,0 +1,92 @@
+import type { AssetBindingProjection, EntityAssetProposal } from "../../../contracts/assets/src/index.js";
+import type { EntityAuthoring } from "../../../contracts/authoring/src/index.js";
+import { type CatalogPublicationChangeSet, type CatalogPublicationCurrentState, type CatalogPublicationProposal, type PublicationIngressReceipt, type PublicationIngressReceiptCore } from "../../../contracts/publication/src/index.js";
+import { type Digest } from "../../primitives/src/index.js";
+import { CatalogPublicationImpactIndex } from "./publication-dependencies.js";
+export * from "./publication-dependencies.js";
+export * from "./publication-entities.js";
+export * from "./publication-recomposition.js";
+export interface CatalogPublicationPolicyReference {
+    readonly key: string;
+    readonly digest: Digest;
+}
+export interface CatalogPublicationPlanningInput {
+    readonly liveParentReleaseId: Digest;
+    readonly currentEntities: readonly EntityAuthoring[];
+    readonly candidateEntities: readonly EntityAuthoring[];
+    readonly currentAssetBindings?: readonly AssetBindingProjection[];
+    readonly candidateAssetProposals?: readonly EntityAssetProposal[];
+    readonly removeEntityIds?: readonly string[];
+    readonly authorityProposals?: readonly CatalogPublicationAuthorityProposal[];
+    readonly currentPolicies: readonly CatalogPublicationPolicyReference[];
+    readonly targetPolicies: readonly CatalogPublicationPolicyReference[];
+    readonly currentContractAuthorityDigest: Digest;
+    readonly targetContractAuthorityDigest: Digest;
+    readonly impactIndex?: CatalogPublicationImpactIndex;
+}
+export interface CatalogPublicationAuthorityProposal {
+    readonly purpose: CatalogPublicationChangeSet["required_authorities"][number];
+    readonly proposal_digest: string;
+}
+export interface PlannedCatalogPublication {
+    readonly proposal: CatalogPublicationProposal;
+    readonly changeSet: CatalogPublicationChangeSet;
+}
+export interface PlannedCatalogPublicationIngress extends PlannedCatalogPublication {
+    readonly ingressReceipt: PublicationIngressReceipt;
+}
+export declare function verifyCatalogPublicationCurrentState(input: unknown): CatalogPublicationCurrentState;
+export interface CatalogCandidateChanges {
+    readonly revisionChanges: CatalogPublicationChangeSet["revision_changes"];
+    readonly sourceChanges: CatalogPublicationChangeSet["source_changes"];
+    readonly routeChanges: CatalogPublicationChangeSet["route_changes"];
+    readonly publicAuthoringPaths: readonly string[];
+}
+type IngressReceiptDetails<Kind extends PublicationIngressReceiptCore["kind"]> = Kind extends PublicationIngressReceiptCore["kind"] ? Omit<Extract<PublicationIngressReceiptCore, {
+    readonly kind: Kind;
+}>, "proposal_digest" | "semantic_input_digest"> : never;
+export declare function buildCatalogPublicationProposal(input: Omit<CatalogPublicationPlanningInput, "impactIndex">): CatalogPublicationProposal;
+export declare function verifyCatalogPublicationProposal(input: unknown): CatalogPublicationProposal;
+export declare function planCatalogPublication(input: CatalogPublicationPlanningInput): PlannedCatalogPublication;
+export declare function deriveCatalogPublicationChangeSet(input: {
+    readonly proposal: CatalogPublicationProposal;
+    readonly currentEntities: readonly EntityAuthoring[];
+    readonly currentAssetBindings?: readonly AssetBindingProjection[];
+    readonly currentPolicies: readonly CatalogPublicationPolicyReference[];
+    readonly currentContractAuthorityDigest: Digest;
+    readonly impactIndex?: CatalogPublicationImpactIndex;
+}): CatalogPublicationChangeSet;
+export declare function verifyCatalogPublicationChangeSet(input: unknown): CatalogPublicationChangeSet;
+/**
+ * The sole semantic diff over targeted Catalog Entity snapshots. Git review,
+ * non-Git proposal adapters, evidence planning, and release composition derive
+ * their changed revision set from this function.
+ */
+export declare function analyzeCatalogCandidateChanges(input: {
+    readonly currentEntities: readonly EntityAuthoring[];
+    readonly candidateEntities: readonly EntityAuthoring[];
+}): CatalogCandidateChanges;
+export declare function publicationSemanticInputDigest(proposal: CatalogPublicationProposal): Digest;
+export declare function buildPublicationIngressReceipt(proposal: CatalogPublicationProposal, input: IngressReceiptDetails<PublicationIngressReceiptCore["kind"]>): PublicationIngressReceipt;
+export declare function verifyPublicationIngressReceipt(input: unknown): PublicationIngressReceipt;
+export declare function verifyCatalogPublicationInputClosure(input: {
+    readonly proposal: CatalogPublicationProposal;
+    readonly changeSet: CatalogPublicationChangeSet;
+    readonly ingressReceipts: readonly PublicationIngressReceipt[];
+}): {
+    readonly proposal: CatalogPublicationProposal;
+    readonly changeSet: CatalogPublicationChangeSet;
+    readonly ingressReceipts: readonly PublicationIngressReceipt[];
+};
+export declare function catalogPublicationAdmittedInputDigests(input: {
+    readonly proposal: CatalogPublicationProposal;
+    readonly changeSet: CatalogPublicationChangeSet;
+    readonly ingressReceipts: readonly PublicationIngressReceipt[];
+}): Digest[];
+export declare function planAuthenticatedFormCatalogPublication(input: CatalogPublicationPlanningInput, receipt: IngressReceiptDetails<"authenticated_form">): PlannedCatalogPublicationIngress;
+export declare function planPaidAgentCatalogPublication(input: CatalogPublicationPlanningInput, receipt: IngressReceiptDetails<"paid_agent">): PlannedCatalogPublicationIngress;
+export declare function planGovernedOpsCatalogPublication(input: CatalogPublicationPlanningInput, receipt: IngressReceiptDetails<"governed_ops">): PlannedCatalogPublicationIngress;
+export declare function planScannerCatalogPublication(input: CatalogPublicationPlanningInput, receipt: IngressReceiptDetails<"scanner">): PlannedCatalogPublicationIngress;
+export declare function planOperatorJobCatalogPublication(input: CatalogPublicationPlanningInput, receipt: IngressReceiptDetails<"operator_job">): PlannedCatalogPublicationIngress;
+export declare function planPolicyTransitionCatalogPublication(input: CatalogPublicationPlanningInput, receipt: IngressReceiptDetails<"policy_transition">): PlannedCatalogPublicationIngress;
+//# sourceMappingURL=publication.d.ts.map

package/dist/modules/catalog-admission/src/publication.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"publication.d.ts","sourceRoot":"","sources":["../../../../modules/catalog-admission/src/publication.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,sBAAsB,EACtB,mBAAmB,EACpB,MAAM,wCAAwC,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EACL,KAAK,2BAA2B,EAChC,KAAK,8BAA8B,EACnC,KAAK,0BAA0B,EAO/B,KAAK,yBAAyB,EAC9B,KAAK,6BAA6B,EAInC,MAAM,6CAA6C,CAAC;AAErD,OAAO,EAGL,KAAK,MAAM,EAEZ,MAAM,+BAA+B,CAAC;AAMvC,OAAO,EACL,6BAA6B,EAI9B,MAAM,+BAA+B,CAAC;AAMvC,cAAc,+BAA+B,CAAC;AAC9C,cAAc,2BAA2B,CAAC;AAC1C,cAAc,gCAAgC,CAAC;AAE/C,MAAM,WAAW,iCAAiC;IAChD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,eAAe,EAAE,SAAS,eAAe,EAAE,CAAC;IACrD,QAAQ,CAAC,iBAAiB,EAAE,SAAS,eAAe,EAAE,CAAC;IACvD,QAAQ,CAAC,oBAAoB,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAClE,QAAQ,CAAC,uBAAuB,CAAC,EAAE,SAAS,mBAAmB,EAAE,CAAC;IAClE,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS,mCAAmC,EAAE,CAAC;IAC7E,QAAQ,CAAC,eAAe,EAAE,SAAS,iCAAiC,EAAE,CAAC;IACvE,QAAQ,CAAC,cAAc,EAAE,SAAS,iCAAiC,EAAE,CAAC;IACtE,QAAQ,CAAC,8BAA8B,EAAE,MAAM,CAAC;IAChD,QAAQ,CAAC,6BAA6B,EAAE,MAAM,CAAC;IAC/C,QAAQ,CAAC,WAAW,CAAC,EAAE,6BAA6B,CAAC;CACtD;AAED,MAAM,WAAW,mCAAmC;IAClD,QAAQ,CAAC,OAAO,EAAE,2BAA2B,CAAC,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC;IAC9E,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,QAAQ,EAAE,0BAA0B,CAAC;IAC9C,QAAQ,CAAC,SAAS,EAAE,2BAA2B,CAAC;CACjD;AAED,MAAM,WAAW,gCAAiC,SAAQ,yBAAyB;IACjF,QAAQ,CAAC,cAAc,EAAE,yBAAyB,CAAC;CACpD;AAED,wBAAgB,oCAAoC,CAClD,KAAK,EAAE,OAAO,GACb,8BAA8B,CAyBhC;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,eAAe,EAAE,2BAA2B,CAAC,kBAAkB,CAAC,CAAC;IAC1E,QAAQ,CAAC,aAAa,EAAE,2BAA2B,CAAC,gBAAgB,CAAC,CAAC;IACtE,QAAQ,CAAC,YAAY,EAAE,2BAA2B,CAAC,eAAe,CAAC,CAAC;IACpE,QAAQ,CAAC,oBAAoB,EAAE,SAAS,MAAM,EAAE,CAAC;CAClD;AAED,KAAK,qBAAqB,CAAC,IAAI,SAAS,6BAA6B,CAAC,MAAM,CAAC,IAC3E,IAAI,SAAS,6BAA6B,CAAC,MAAM,CAAC,GAC9C,IAAI,CACF,OAAO,CAAC,6BAA6B,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC,EAC/D,iBAAiB,GAAG,uBAAuB,CAC5C,GACD,KAAK,CAAC;AAcZ,wBAAgB,+BAA+B,CAC7C,KAAK,EAAE,IAAI,CAAC,+BAA+B,EAAE,aAAa,CAAC,GAC1D,0BAA0B,CA6G5B;AAED,wBAAgB,gCAAgC,CAAC,KAAK,EAAE,OAAO,GAAG,0BAA0B,CA8E3F;AAED,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,+BAA+B,GACrC,yBAAyB,CAa3B;AAED,wBAAgB,iCAAiC,CAAC,KAAK,EAAE;IACvD,QAAQ,CAAC,QAAQ,EAAE,0BAA0B,CAAC;IAC9C,QAAQ,CAAC,eAAe,EAAE,SAAS,eAAe,EAAE,CAAC;IACrD,QAAQ,CAAC,oBAAoB,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAClE,QAAQ,CAAC,eAAe,EAAE,SAAS,iCAAiC,EAAE,CAAC;IACvE,QAAQ,CAAC,8BAA8B,EAAE,MAAM,CAAC;IAChD,QAAQ,CAAC,WAAW,CAAC,EAAE,6BAA6B,CAAC;CACtD,GAAG,2BAA2B,CAsJ9B;AAED,wBAAgB,iCAAiC,CAAC,KAAK,EAAE,OAAO,GAAG,2BAA2B,CAO7F;AAED;;;;GAIG;AACH,wBAAgB,8BAA8B,CAAC,KAAK,EAAE;IACpD,QAAQ,CAAC,eAAe,EAAE,SAAS,eAAe,EAAE,CAAC;IACrD,QAAQ,CAAC,iBAAiB,EAAE,SAAS,eAAe,EAAE,CAAC;CACxD,GAAG,uBAAuB,CAiF1B;AAED,wBAAgB,8BAA8B,CAAC,QAAQ,EAAE,0BAA0B,GAAG,MAAM,CAQ3F;AAED,wBAAgB,8BAA8B,CAC5C,QAAQ,EAAE,0BAA0B,EACpC,KAAK,EAAE,qBAAqB,CAAC,6BAA6B,CAAC,MAAM,CAAC,CAAC,GAClE,yBAAyB,CAO3B;AAED,wBAAgB,+BAA+B,CAAC,KAAK,EAAE,OAAO,GAAG,yBAAyB,CAOzF;AAED,wBAAgB,oCAAoC,CAAC,KAAK,EAAE;IAC1D,QAAQ,CAAC,QAAQ,EAAE,0BAA0B,CAAC;IAC9C,QAAQ,CAAC,SAAS,EAAE,2BAA2B,CAAC;IAChD,QAAQ,CAAC,eAAe,EAAE,SAAS,yBAAyB,EAAE,CAAC;CAChE,GAAG;IACF,QAAQ,CAAC,QAAQ,EAAE,0BAA0B,CAAC;IAC9C,QAAQ,CAAC,SAAS,EAAE,2BAA2B,CAAC;IAChD,QAAQ,CAAC,eAAe,EAAE,SAAS,yBAAyB,EAAE,CAAC;CAChE,CA0BA;AAED,wBAAgB,sCAAsC,CAAC,KAAK,EAAE;IAC5D,QAAQ,CAAC,QAAQ,EAAE,0BAA0B,CAAC;IAC9C,QAAQ,CAAC,SAAS,EAAE,2BAA2B,CAAC;IAChD,QAAQ,CAAC,eAAe,EAAE,SAAS,yBAAyB,EAAE,CAAC;CAChE,GAAG,MAAM,EAAE,CAOX;AAED,wBAAgB,uCAAuC,CACrD,KAAK,EAAE,+BAA+B,EACtC,OAAO,EAAE,qBAAqB,CAAC,oBAAoB,CAAC,GACnD,gCAAgC,CAElC;AAED,wBAAgB,+BAA+B,CAC7C,KAAK,EAAE,+BAA+B,EACtC,OAAO,EAAE,qBAAqB,CAAC,YAAY,CAAC,GAC3C,gCAAgC,CAElC;AAED,wBAAgB,iCAAiC,CAC/C,KAAK,EAAE,+BAA+B,EACtC,OAAO,EAAE,qBAAqB,CAAC,cAAc,CAAC,GAC7C,gCAAgC,CAElC;AAED,wBAAgB,6BAA6B,CAC3C,KAAK,EAAE,+BAA+B,EACtC,OAAO,EAAE,qBAAqB,CAAC,SAAS,CAAC,GACxC,gCAAgC,CAElC;AAED,wBAAgB,iCAAiC,CAC/C,KAAK,EAAE,+BAA+B,EACtC,OAAO,EAAE,qBAAqB,CAAC,cAAc,CAAC,GAC7C,gCAAgC,CAElC;AAED,wBAAgB,sCAAsC,CACpD,KAAK,EAAE,+BAA+B,EACtC,OAAO,EAAE,qBAAqB,CAAC,mBAAmB,CAAC,GAClD,gCAAgC,CAElC"}