@mannyc1/ts-release 0.0.7 → 0.2.2

package/dist/correction/coordinator.d.ts

@@ -0,0 +1,248 @@
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import type { CredentialProviderShape } from "../publication/authority.js";
+import type { AuthorizedMutationHttpShape, HttpAuthorizerShape } from "../publication/http.js";
+import type { ReleaseReport } from "../publication/report.js";
+import type { PreparedBundle } from "../release/prepared-store.js";
+import { type AuthoredCorrection, type CorrectionIntent } from "./intent.js";
+declare const CorrectionValidationError_base: Schema.Class<CorrectionValidationError, Schema.TaggedStruct<"CorrectionValidationError", {
+    readonly reason: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+export declare class CorrectionValidationError extends CorrectionValidationError_base {
+}
+declare const CorrectionUnsupported_base: Schema.Class<CorrectionUnsupported, Schema.TaggedStruct<"CorrectionUnsupported", {
+    readonly provider: Schema.Literals<readonly ["npm", "github", "catalog-git"]>;
+    readonly reason: Schema.String;
+    readonly evidence: Schema.NonEmptyString;
+    readonly proposal: Schema.optionalKey<Schema.String>;
+}>, {}>;
+export declare class CorrectionUnsupported extends CorrectionUnsupported_base {
+}
+export interface CorrectionExecuted {
+    readonly _tag: "CorrectionExecuted";
+    readonly provider: "catalog-git";
+    readonly report: ReleaseReport;
+    readonly reason: string;
+    readonly evidence: string;
+    readonly proposal: string;
+}
+export type CorrectionOutcome = typeof CorrectionUnsupported.Type | CorrectionExecuted;
+/** Resolve human intent only after the exact prepared bundle has been loaded. */
+export declare const bindAuthoredCorrection: (bundle: PreparedBundle, authored: AuthoredCorrection) => CorrectionIntent;
+export declare const verifyCorrectionIntent: (bundle: PreparedBundle, intent: CorrectionIntent) => void;
+/**
+ * The only correction entry point. Provider adapters are built at the host
+ * boundary. Neither admitted provider currently exposes a conditional write
+ * that protects the exact observed generation, so a validated intent becomes
+ * an external proposal and never a read-then-unconditional mutation.
+ */
+export declare const correctPreparedRelease: (input: {
+    readonly bundle: PreparedBundle;
+    readonly intent: CorrectionIntent;
+    readonly services?: {
+        readonly credentials: CredentialProviderShape;
+        readonly http: HttpAuthorizerShape;
+        readonly mutationHttp: AuthorizedMutationHttpShape;
+    };
+}) => Effect.Effect<CorrectionUnsupported | {
+    readonly _tag: "CorrectionExecuted";
+    readonly provider: "catalog-git";
+    readonly report: {
+        readonly subjects: readonly [{
+            readonly _tag: "NotReached";
+            readonly subject: string & import("effect/Brand").Brand<"SubjectId">;
+            readonly reason: import("../publication/report.js").DependencyBlocked | import("../publication/report.js").RunAborted;
+        } | {
+            readonly _tag: "AlreadyEquivalent";
+            readonly subject: string & import("effect/Brand").Brand<"SubjectId">;
+            readonly observationAuthorities: readonly {
+                readonly _tag: "AuthorityAcquired";
+                readonly subject: string & import("effect/Brand").Brand<"SubjectId">;
+                readonly provider: string & import("effect/Brand").Brand<"ProviderId">;
+                readonly audience: string & import("effect/Brand").Brand<"CanonicalAudience">;
+                readonly requestedPurpose: "observe" | "publish" | "correct";
+                readonly grantKind: "AnonymousAccess" | "ScopedSecret" | "WorkloadIdentity";
+                readonly purposes: readonly ["observe" | "publish" | "correct", ...("observe" | "publish" | "correct")[]];
+            }[];
+            readonly observations: readonly [import("../publication/report.js").PresentEquivalent | import("../publication/report.js").PresentDifferent | import("../publication/report.js").AuthoritativelyAbsent | import("../publication/report.js").VisibilityPending | import("../publication/report.js").InconclusiveObservation, ...(import("../publication/report.js").PresentEquivalent | import("../publication/report.js").PresentDifferent | import("../publication/report.js").AuthoritativelyAbsent | import("../publication/report.js").VisibilityPending | import("../publication/report.js").InconclusiveObservation)[]];
+        } | {
+            readonly _tag: "ConvergedAfterMutation";
+            readonly subject: string & import("effect/Brand").Brand<"SubjectId">;
+            readonly observationAuthorities: readonly {
+                readonly _tag: "AuthorityAcquired";
+                readonly subject: string & import("effect/Brand").Brand<"SubjectId">;
+                readonly provider: string & import("effect/Brand").Brand<"ProviderId">;
+                readonly audience: string & import("effect/Brand").Brand<"CanonicalAudience">;
+                readonly requestedPurpose: "observe" | "publish" | "correct";
+                readonly grantKind: "AnonymousAccess" | "ScopedSecret" | "WorkloadIdentity";
+                readonly purposes: readonly ["observe" | "publish" | "correct", ...("observe" | "publish" | "correct")[]];
+            }[];
+            readonly preObservations: readonly [import("../publication/report.js").PresentEquivalent | import("../publication/report.js").PresentDifferent | import("../publication/report.js").AuthoritativelyAbsent | import("../publication/report.js").VisibilityPending | import("../publication/report.js").InconclusiveObservation, ...(import("../publication/report.js").PresentEquivalent | import("../publication/report.js").PresentDifferent | import("../publication/report.js").AuthoritativelyAbsent | import("../publication/report.js").VisibilityPending | import("../publication/report.js").InconclusiveObservation)[]];
+            readonly decision: import("../publication/report.js").NeedsMutation | import("../publication/report.js").ProviderAuthorizedCreate;
+            readonly authority: {
+                readonly _tag: "AuthorityAcquired";
+                readonly subject: string & import("effect/Brand").Brand<"SubjectId">;
+                readonly provider: string & import("effect/Brand").Brand<"ProviderId">;
+                readonly audience: string & import("effect/Brand").Brand<"CanonicalAudience">;
+                readonly requestedPurpose: "observe" | "publish" | "correct";
+                readonly grantKind: "AnonymousAccess" | "ScopedSecret" | "WorkloadIdentity";
+                readonly purposes: readonly ["observe" | "publish" | "correct", ...("observe" | "publish" | "correct")[]];
+            };
+            readonly attempt: import("../publication/report.js").RejectedByProvider | import("../publication/report.js").Applied | import("../publication/report.js").OutcomeUnknown;
+            readonly postObservations: readonly [import("../publication/report.js").PresentEquivalent | import("../publication/report.js").PresentDifferent | import("../publication/report.js").AuthoritativelyAbsent | import("../publication/report.js").VisibilityPending | import("../publication/report.js").InconclusiveObservation, ...(import("../publication/report.js").PresentEquivalent | import("../publication/report.js").PresentDifferent | import("../publication/report.js").AuthoritativelyAbsent | import("../publication/report.js").VisibilityPending | import("../publication/report.js").InconclusiveObservation)[]];
+        } | {
+            readonly _tag: "BlockedSubject";
+            readonly subject: string & import("effect/Brand").Brand<"SubjectId">;
+            readonly observationAuthorities: readonly {
+                readonly _tag: "AuthorityAcquired";
+                readonly subject: string & import("effect/Brand").Brand<"SubjectId">;
+                readonly provider: string & import("effect/Brand").Brand<"ProviderId">;
+                readonly audience: string & import("effect/Brand").Brand<"CanonicalAudience">;
+                readonly requestedPurpose: "observe" | "publish" | "correct";
+                readonly grantKind: "AnonymousAccess" | "ScopedSecret" | "WorkloadIdentity";
+                readonly purposes: readonly ["observe" | "publish" | "correct", ...("observe" | "publish" | "correct")[]];
+            }[];
+            readonly observations: readonly [import("../publication/report.js").PresentEquivalent | import("../publication/report.js").PresentDifferent | import("../publication/report.js").AuthoritativelyAbsent | import("../publication/report.js").VisibilityPending | import("../publication/report.js").InconclusiveObservation, ...(import("../publication/report.js").PresentEquivalent | import("../publication/report.js").PresentDifferent | import("../publication/report.js").AuthoritativelyAbsent | import("../publication/report.js").VisibilityPending | import("../publication/report.js").InconclusiveObservation)[]];
+            readonly cause: import("../publication/report.js").Conflict | import("../publication/report.js").ProviderBlocked | import("../publication/report.js").RejectedBeforeDispatch | {
+                readonly _tag: "AuthorityAcquiredButMutationNotDispatched";
+                readonly subject: string & import("effect/Brand").Brand<"SubjectId">;
+                readonly authority: {
+                    readonly _tag: "AuthorityAcquired";
+                    readonly subject: string & import("effect/Brand").Brand<"SubjectId">;
+                    readonly provider: string & import("effect/Brand").Brand<"ProviderId">;
+                    readonly audience: string & import("effect/Brand").Brand<"CanonicalAudience">;
+                    readonly requestedPurpose: "observe" | "publish" | "correct";
+                    readonly grantKind: "AnonymousAccess" | "ScopedSecret" | "WorkloadIdentity";
+                    readonly purposes: readonly ["observe" | "publish" | "correct", ...("observe" | "publish" | "correct")[]];
+                };
+                readonly attempt: import("../publication/report.js").RejectedBeforeDispatch;
+            } | import("../publication/report.js").ConclusiveProviderRejection;
+        } | {
+            readonly _tag: "UncertainSubject";
+            readonly subject: string & import("effect/Brand").Brand<"SubjectId">;
+            readonly observationAuthorities: readonly {
+                readonly _tag: "AuthorityAcquired";
+                readonly subject: string & import("effect/Brand").Brand<"SubjectId">;
+                readonly provider: string & import("effect/Brand").Brand<"ProviderId">;
+                readonly audience: string & import("effect/Brand").Brand<"CanonicalAudience">;
+                readonly requestedPurpose: "observe" | "publish" | "correct";
+                readonly grantKind: "AnonymousAccess" | "ScopedSecret" | "WorkloadIdentity";
+                readonly purposes: readonly ["observe" | "publish" | "correct", ...("observe" | "publish" | "correct")[]];
+            }[];
+            readonly observations: readonly [import("../publication/report.js").PresentEquivalent | import("../publication/report.js").PresentDifferent | import("../publication/report.js").AuthoritativelyAbsent | import("../publication/report.js").VisibilityPending | import("../publication/report.js").InconclusiveObservation, ...(import("../publication/report.js").PresentEquivalent | import("../publication/report.js").PresentDifferent | import("../publication/report.js").AuthoritativelyAbsent | import("../publication/report.js").VisibilityPending | import("../publication/report.js").InconclusiveObservation)[]];
+            readonly authority: {
+                readonly _tag: "AuthorityAcquired";
+                readonly subject: string & import("effect/Brand").Brand<"SubjectId">;
+                readonly provider: string & import("effect/Brand").Brand<"ProviderId">;
+                readonly audience: string & import("effect/Brand").Brand<"CanonicalAudience">;
+                readonly requestedPurpose: "observe" | "publish" | "correct";
+                readonly grantKind: "AnonymousAccess" | "ScopedSecret" | "WorkloadIdentity";
+                readonly purposes: readonly ["observe" | "publish" | "correct", ...("observe" | "publish" | "correct")[]];
+            };
+            readonly attempt: import("../publication/report.js").Started | import("../publication/report.js").RejectedByProvider | import("../publication/report.js").Applied | import("../publication/report.js").OutcomeUnknown;
+            readonly trace: readonly [import("../publication/report.js").PresentEquivalent | import("../publication/report.js").PresentDifferent | import("../publication/report.js").AuthoritativelyAbsent | import("../publication/report.js").VisibilityPending | import("../publication/report.js").InconclusiveObservation, ...(import("../publication/report.js").PresentEquivalent | import("../publication/report.js").PresentDifferent | import("../publication/report.js").AuthoritativelyAbsent | import("../publication/report.js").VisibilityPending | import("../publication/report.js").InconclusiveObservation)[]];
+            readonly decision?: import("../publication/report.js").NeedsMutation | import("../publication/report.js").ProviderAuthorizedCreate | import("../publication/report.js").ProviderAlreadyEquivalent | import("../publication/report.js").Conflict | import("../publication/report.js").ProviderBlocked;
+        }, ...({
+            readonly _tag: "NotReached";
+            readonly subject: string & import("effect/Brand").Brand<"SubjectId">;
+            readonly reason: import("../publication/report.js").DependencyBlocked | import("../publication/report.js").RunAborted;
+        } | {
+            readonly _tag: "AlreadyEquivalent";
+            readonly subject: string & import("effect/Brand").Brand<"SubjectId">;
+            readonly observationAuthorities: readonly {
+                readonly _tag: "AuthorityAcquired";
+                readonly subject: string & import("effect/Brand").Brand<"SubjectId">;
+                readonly provider: string & import("effect/Brand").Brand<"ProviderId">;
+                readonly audience: string & import("effect/Brand").Brand<"CanonicalAudience">;
+                readonly requestedPurpose: "observe" | "publish" | "correct";
+                readonly grantKind: "AnonymousAccess" | "ScopedSecret" | "WorkloadIdentity";
+                readonly purposes: readonly ["observe" | "publish" | "correct", ...("observe" | "publish" | "correct")[]];
+            }[];
+            readonly observations: readonly [import("../publication/report.js").PresentEquivalent | import("../publication/report.js").PresentDifferent | import("../publication/report.js").AuthoritativelyAbsent | import("../publication/report.js").VisibilityPending | import("../publication/report.js").InconclusiveObservation, ...(import("../publication/report.js").PresentEquivalent | import("../publication/report.js").PresentDifferent | import("../publication/report.js").AuthoritativelyAbsent | import("../publication/report.js").VisibilityPending | import("../publication/report.js").InconclusiveObservation)[]];
+        } | {
+            readonly _tag: "ConvergedAfterMutation";
+            readonly subject: string & import("effect/Brand").Brand<"SubjectId">;
+            readonly observationAuthorities: readonly {
+                readonly _tag: "AuthorityAcquired";
+                readonly subject: string & import("effect/Brand").Brand<"SubjectId">;
+                readonly provider: string & import("effect/Brand").Brand<"ProviderId">;
+                readonly audience: string & import("effect/Brand").Brand<"CanonicalAudience">;
+                readonly requestedPurpose: "observe" | "publish" | "correct";
+                readonly grantKind: "AnonymousAccess" | "ScopedSecret" | "WorkloadIdentity";
+                readonly purposes: readonly ["observe" | "publish" | "correct", ...("observe" | "publish" | "correct")[]];
+            }[];
+            readonly preObservations: readonly [import("../publication/report.js").PresentEquivalent | import("../publication/report.js").PresentDifferent | import("../publication/report.js").AuthoritativelyAbsent | import("../publication/report.js").VisibilityPending | import("../publication/report.js").InconclusiveObservation, ...(import("../publication/report.js").PresentEquivalent | import("../publication/report.js").PresentDifferent | import("../publication/report.js").AuthoritativelyAbsent | import("../publication/report.js").VisibilityPending | import("../publication/report.js").InconclusiveObservation)[]];
+            readonly decision: import("../publication/report.js").NeedsMutation | import("../publication/report.js").ProviderAuthorizedCreate;
+            readonly authority: {
+                readonly _tag: "AuthorityAcquired";
+                readonly subject: string & import("effect/Brand").Brand<"SubjectId">;
+                readonly provider: string & import("effect/Brand").Brand<"ProviderId">;
+                readonly audience: string & import("effect/Brand").Brand<"CanonicalAudience">;
+                readonly requestedPurpose: "observe" | "publish" | "correct";
+                readonly grantKind: "AnonymousAccess" | "ScopedSecret" | "WorkloadIdentity";
+                readonly purposes: readonly ["observe" | "publish" | "correct", ...("observe" | "publish" | "correct")[]];
+            };
+            readonly attempt: import("../publication/report.js").RejectedByProvider | import("../publication/report.js").Applied | import("../publication/report.js").OutcomeUnknown;
+            readonly postObservations: readonly [import("../publication/report.js").PresentEquivalent | import("../publication/report.js").PresentDifferent | import("../publication/report.js").AuthoritativelyAbsent | import("../publication/report.js").VisibilityPending | import("../publication/report.js").InconclusiveObservation, ...(import("../publication/report.js").PresentEquivalent | import("../publication/report.js").PresentDifferent | import("../publication/report.js").AuthoritativelyAbsent | import("../publication/report.js").VisibilityPending | import("../publication/report.js").InconclusiveObservation)[]];
+        } | {
+            readonly _tag: "BlockedSubject";
+            readonly subject: string & import("effect/Brand").Brand<"SubjectId">;
+            readonly observationAuthorities: readonly {
+                readonly _tag: "AuthorityAcquired";
+                readonly subject: string & import("effect/Brand").Brand<"SubjectId">;
+                readonly provider: string & import("effect/Brand").Brand<"ProviderId">;
+                readonly audience: string & import("effect/Brand").Brand<"CanonicalAudience">;
+                readonly requestedPurpose: "observe" | "publish" | "correct";
+                readonly grantKind: "AnonymousAccess" | "ScopedSecret" | "WorkloadIdentity";
+                readonly purposes: readonly ["observe" | "publish" | "correct", ...("observe" | "publish" | "correct")[]];
+            }[];
+            readonly observations: readonly [import("../publication/report.js").PresentEquivalent | import("../publication/report.js").PresentDifferent | import("../publication/report.js").AuthoritativelyAbsent | import("../publication/report.js").VisibilityPending | import("../publication/report.js").InconclusiveObservation, ...(import("../publication/report.js").PresentEquivalent | import("../publication/report.js").PresentDifferent | import("../publication/report.js").AuthoritativelyAbsent | import("../publication/report.js").VisibilityPending | import("../publication/report.js").InconclusiveObservation)[]];
+            readonly cause: import("../publication/report.js").Conflict | import("../publication/report.js").ProviderBlocked | import("../publication/report.js").RejectedBeforeDispatch | {
+                readonly _tag: "AuthorityAcquiredButMutationNotDispatched";
+                readonly subject: string & import("effect/Brand").Brand<"SubjectId">;
+                readonly authority: {
+                    readonly _tag: "AuthorityAcquired";
+                    readonly subject: string & import("effect/Brand").Brand<"SubjectId">;
+                    readonly provider: string & import("effect/Brand").Brand<"ProviderId">;
+                    readonly audience: string & import("effect/Brand").Brand<"CanonicalAudience">;
+                    readonly requestedPurpose: "observe" | "publish" | "correct";
+                    readonly grantKind: "AnonymousAccess" | "ScopedSecret" | "WorkloadIdentity";
+                    readonly purposes: readonly ["observe" | "publish" | "correct", ...("observe" | "publish" | "correct")[]];
+                };
+                readonly attempt: import("../publication/report.js").RejectedBeforeDispatch;
+            } | import("../publication/report.js").ConclusiveProviderRejection;
+        } | {
+            readonly _tag: "UncertainSubject";
+            readonly subject: string & import("effect/Brand").Brand<"SubjectId">;
+            readonly observationAuthorities: readonly {
+                readonly _tag: "AuthorityAcquired";
+                readonly subject: string & import("effect/Brand").Brand<"SubjectId">;
+                readonly provider: string & import("effect/Brand").Brand<"ProviderId">;
+                readonly audience: string & import("effect/Brand").Brand<"CanonicalAudience">;
+                readonly requestedPurpose: "observe" | "publish" | "correct";
+                readonly grantKind: "AnonymousAccess" | "ScopedSecret" | "WorkloadIdentity";
+                readonly purposes: readonly ["observe" | "publish" | "correct", ...("observe" | "publish" | "correct")[]];
+            }[];
+            readonly observations: readonly [import("../publication/report.js").PresentEquivalent | import("../publication/report.js").PresentDifferent | import("../publication/report.js").AuthoritativelyAbsent | import("../publication/report.js").VisibilityPending | import("../publication/report.js").InconclusiveObservation, ...(import("../publication/report.js").PresentEquivalent | import("../publication/report.js").PresentDifferent | import("../publication/report.js").AuthoritativelyAbsent | import("../publication/report.js").VisibilityPending | import("../publication/report.js").InconclusiveObservation)[]];
+            readonly authority: {
+                readonly _tag: "AuthorityAcquired";
+                readonly subject: string & import("effect/Brand").Brand<"SubjectId">;
+                readonly provider: string & import("effect/Brand").Brand<"ProviderId">;
+                readonly audience: string & import("effect/Brand").Brand<"CanonicalAudience">;
+                readonly requestedPurpose: "observe" | "publish" | "correct";
+                readonly grantKind: "AnonymousAccess" | "ScopedSecret" | "WorkloadIdentity";
+                readonly purposes: readonly ["observe" | "publish" | "correct", ...("observe" | "publish" | "correct")[]];
+            };
+            readonly attempt: import("../publication/report.js").Started | import("../publication/report.js").RejectedByProvider | import("../publication/report.js").Applied | import("../publication/report.js").OutcomeUnknown;
+            readonly trace: readonly [import("../publication/report.js").PresentEquivalent | import("../publication/report.js").PresentDifferent | import("../publication/report.js").AuthoritativelyAbsent | import("../publication/report.js").VisibilityPending | import("../publication/report.js").InconclusiveObservation, ...(import("../publication/report.js").PresentEquivalent | import("../publication/report.js").PresentDifferent | import("../publication/report.js").AuthoritativelyAbsent | import("../publication/report.js").VisibilityPending | import("../publication/report.js").InconclusiveObservation)[]];
+            readonly decision?: import("../publication/report.js").NeedsMutation | import("../publication/report.js").ProviderAuthorizedCreate | import("../publication/report.js").ProviderAlreadyEquivalent | import("../publication/report.js").Conflict | import("../publication/report.js").ProviderBlocked;
+        })[]];
+        readonly status: "complete" | "blocked" | "uncertain";
+    };
+    readonly reason: "Catalog correction ran through the exact conditional Git-data subject.";
+    readonly evidence: "docs/release-program/remediation/231-catalog-delivery.md";
+    readonly proposal: "";
+}, import("../publication/coordinator.js").ReleaseCoordinatorConstructionError | CorrectionValidationError, never>;
+export declare const correctionEvidenceProjection: (intent: CorrectionIntent) => string;
+export {};
+//# sourceMappingURL=coordinator.d.ts.map

package/dist/correction/coordinator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coordinator.d.ts","sourceRoot":"","sources":["../../src/correction/coordinator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAYvC,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAA;AAG1E,OAAO,KAAK,EAAE,2BAA2B,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAA;AAE9F,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AAM7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAA;AAClE,OAAO,EACL,KAAK,kBAAkB,EAIvB,KAAK,gBAAgB,EAItB,MAAM,aAAa,CAAA;;;;AAEpB,qBAAa,yBACX,SAAQ,8BAEN;CAAG;;;;;;;AAEP,qBAAa,qBAAsB,SAAQ,0BAGzC;CAAG;AAEL,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAA;IACnC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAA;IAChC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAA;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAC1B;AAED,MAAM,MAAM,iBAAiB,GAAG,OAAO,qBAAqB,CAAC,IAAI,GAAG,kBAAkB,CAAA;AA2BtF,iFAAiF;AACjF,eAAO,MAAM,sBAAsB,GACjC,QAAQ,cAAc,EACtB,UAAU,kBAAkB,KAC3B,gBA2FF,CAAA;AAsDD,eAAO,MAAM,sBAAsB,GAAI,QAAQ,cAAc,EAAE,QAAQ,gBAAgB,KAAG,IAUzF,CAAA;AAID;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB;qBAChB,cAAc;qBACd,gBAAgB;wBACb;QAClB,QAAQ,CAAC,WAAW,EAAE,uBAAuB,CAAA;QAC7C,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAA;QAClC,QAAQ,CAAC,YAAY,EAAE,2BAA2B,CAAA;KACnD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kHAoED,CAAA;AAEF,eAAO,MAAM,4BAA4B,GAAI,QAAQ,gBAAgB,KAAG,MAOvE,CAAA"}

package/dist/correction/coordinator.js

@@ -0,0 +1,274 @@
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import { encodeCanonicalJson } from "../model/canonical.js";
+import { digestEquals, parseSha256Hex, sha256Digest, sha512Digest } from "../model/digest.js";
+import { CatalogManagedState, PreparedCatalogDownload, compareCatalogVersions, decodeCatalogManagedState, encodeCatalogManagedState, renderCatalog } from "../model/catalog.js";
+import { SubjectId } from "../model/authority.js";
+import { CredentialProvider } from "../publication/authority.js";
+import { publishReleaseSubjects } from "../publication/coordinator.js";
+import { makeCatalogSubject } from "../publication/catalog-git.js";
+import { PreparedPublication, encodePreparedRelease } from "../release/prepared.js";
+import { CorrectionIntentV2, encodeCorrectionIntent, makeCorrectionIntent } from "./intent.js";
+export class CorrectionValidationError extends Schema.TaggedErrorClass()("CorrectionValidationError", {
+    reason: Schema.String
+}) {
+}
+export class CorrectionUnsupported extends Schema.TaggedClass()("CorrectionUnsupported", {
+    provider: Schema.Literals(["npm", "github", "catalog-git"]), reason: Schema.String, evidence: Schema.NonEmptyString,
+    proposal: Schema.optionalKey(Schema.String)
+}) {
+}
+const preparedDigest = (bundle) => sha256Digest(encodePreparedRelease(bundle.manifest));
+const publicationBaselineDigest = (publication) => sha256Digest(new TextEncoder().encode(encodeCanonicalJson(Schema.encodeSync(PreparedPublication)(publication))));
+const findPublication = (bundle, id) => bundle.manifest.publications.find((publication) => publication.id.toString() === id);
+const choosePublication = (bundle, tag, publicationId) => {
+    const candidates = bundle.manifest.publications.filter((publication) => publication._tag === tag && (publicationId === undefined || publication.id.toString() === publicationId.toString()));
+    if (candidates.length !== 1) {
+        throw new Error(publicationId === undefined
+            ? `Authored correction requires exactly one ${tag === "PreparedNpmPublication" ? "npm" : tag === "PreparedGitHubPublication" ? "GitHub" : "catalog Git"} publication; specify publicationId when more than one exists.`
+            : `Authored correction publicationId ${publicationId} does not identify exactly one prepared ${tag === "PreparedNpmPublication" ? "npm" : tag === "PreparedGitHubPublication" ? "GitHub" : "catalog Git"} publication.`);
+    }
+    return candidates[0];
+};
+/** Resolve human intent only after the exact prepared bundle has been loaded. */
+export const bindAuthoredCorrection = (bundle, authored) => {
+    const digest = preparedDigest(bundle);
+    if (authored.provider === "npm") {
+        const publication = choosePublication(bundle, "PreparedNpmPublication", authored.publicationId);
+        const artifact = bundle.manifest.artifacts.find((candidate) => candidate.id === publication.artifactId);
+        const bytes = artifact === undefined ? undefined : bundle.blobs.get(artifact.id.toString());
+        if (bytes === undefined)
+            throw new Error("Prepared npm correction subject has no verified tarball bytes.");
+        return makeCorrectionIntent({
+            schemaVersion: "correction-intent/v2",
+            preparedDigest: digest,
+            correction: {
+                _tag: "NpmDeprecationCorrection",
+                provider: "npm",
+                publicationId: publication.id,
+                registryUrl: publication.registryUrl,
+                packageName: publication.packageName,
+                version: publication.version,
+                baselineDigest: publicationBaselineDigest(publication),
+                tarballIntegrity: sha512Digest(bytes),
+                message: authored.message,
+                ...(authored.replacement === undefined ? {} : { replacement: authored.replacement })
+            }
+        });
+    }
+    if (authored.provider === "catalog-git") {
+        const publication = choosePublication(bundle, "PreparedCatalogPublication", authored.publicationId);
+        if (compareCatalogVersions(publication.version.toString(), authored.replacementVersion.toString()) >= 0) {
+            throw new Error("Catalog correction replacementVersion must be SemVer-greater than the prepared generation.");
+        }
+        const expectedArchitectures = publication.renderer.downloads.map((download) => download.architecture).sort();
+        const observedArchitectures = authored.downloads.map((download) => download.architecture).sort();
+        if (new Set(observedArchitectures).size !== observedArchitectures.length ||
+            expectedArchitectures.join("\n") !== observedArchitectures.join("\n")) {
+            throw new Error("Catalog correction downloads must replace the exact prepared architecture set.");
+        }
+        const downloads = authored.downloads.map((download) => {
+            const expectedUrl = `https://github.com/${publication.sourceRepository}/releases/download/${encodeURIComponent(authored.replacementTag)}/${encodeURIComponent(download.filename)}`;
+            if (download.url !== expectedUrl) {
+                throw new Error("Catalog correction download URL must be the exact replacement GitHub release asset coordinate.");
+            }
+            return PreparedCatalogDownload.make({
+                architecture: download.architecture,
+                url: download.url,
+                filename: download.filename,
+                sha256: parseSha256Hex(download.sha256)
+            });
+        });
+        const target = bundle.blobs.get(publication.targetArtifactId.toString());
+        const state = bundle.blobs.get(publication.stateArtifactId.toString());
+        if (target === undefined || state === undefined ||
+            !digestEquals(sha256Digest(target), publication.targetDigest) ||
+            !digestEquals(sha256Digest(state), publication.stateDigest)) {
+            throw new Error("Prepared catalog correction subject has no exact target/state baseline bytes.");
+        }
+        const managed = decodeCatalogManagedState(state);
+        if (managed === undefined || managed.status !== "active" || managed.generation !== publication.version ||
+            !digestEquals(managed.targetDigest, publication.targetDigest)) {
+            throw new Error("Prepared catalog correction baseline is not one canonical active managed pair.");
+        }
+        return makeCorrectionIntent({
+            schemaVersion: "correction-intent/v2",
+            preparedDigest: digest,
+            correction: {
+                _tag: "CatalogForwardCorrection",
+                provider: "catalog-git",
+                publicationId: publication.id,
+                baselineDigest: publicationBaselineDigest(publication),
+                baselineTargetDigest: publication.targetDigest,
+                baselineStateDigest: publication.stateDigest,
+                replacementVersion: authored.replacementVersion,
+                replacementTag: authored.replacementTag,
+                downloads,
+                reason: authored.reason
+            }
+        });
+    }
+    const publication = choosePublication(bundle, "PreparedGitHubPublication", authored.publicationId);
+    return makeCorrectionIntent({
+        schemaVersion: "correction-intent/v2",
+        preparedDigest: digest,
+        correction: {
+            _tag: "GithubReleaseCorrection",
+            provider: "github",
+            publicationId: publication.id,
+            repository: publication.repository,
+            tag: publication.tag,
+            baselineDigest: publicationBaselineDigest(publication),
+            marker: authored.message,
+            ...(authored.replacement === undefined ? {} : { replacement: authored.replacement })
+        }
+    });
+};
+const verifyNpm = (bundle, correction) => {
+    const publication = findPublication(bundle, correction.publicationId.toString());
+    if (publication?._tag !== "PreparedNpmPublication" || publication.registryUrl !== correction.registryUrl ||
+        publication.packageName !== correction.packageName || publication.version !== correction.version) {
+        throw new Error("npm correction subject is not the exact npm publication in the prepared manifest.");
+    }
+    if (!digestEquals(publicationBaselineDigest(publication), correction.baselineDigest)) {
+        throw new Error("npm correction baseline digest is not the exact prepared publication digest.");
+    }
+    const artifact = bundle.manifest.artifacts.find((candidate) => candidate.id === publication.artifactId);
+    const bytes = artifact === undefined ? undefined : bundle.blobs.get(artifact.id.toString());
+    if (bytes === undefined)
+        throw new Error("npm correction subject has no verified prepared tarball.");
+    const integrity = sha512Digest(bytes);
+    if (!digestEquals(integrity, correction.tarballIntegrity)) {
+        throw new Error("npm correction tarball integrity is not the prepared artifact integrity.");
+    }
+};
+const verifyGithub = (bundle, correction) => {
+    const publication = findPublication(bundle, correction.publicationId.toString());
+    if (publication?._tag !== "PreparedGitHubPublication" || publication.repository !== correction.repository || publication.tag !== correction.tag) {
+        throw new Error("GitHub correction subject is not the exact GitHub publication in the prepared manifest.");
+    }
+    if (!digestEquals(publicationBaselineDigest(publication), correction.baselineDigest)) {
+        throw new Error("GitHub correction baseline digest is not the exact prepared publication digest.");
+    }
+};
+const verifyCatalog = (bundle, correction) => {
+    const publication = findPublication(bundle, correction.publicationId.toString());
+    if (publication?._tag !== "PreparedCatalogPublication") {
+        throw new Error("Catalog correction subject is not the exact catalog publication in the prepared manifest.");
+    }
+    if (!digestEquals(publicationBaselineDigest(publication), correction.baselineDigest) ||
+        !digestEquals(publication.targetDigest, correction.baselineTargetDigest) ||
+        !digestEquals(publication.stateDigest, correction.baselineStateDigest)) {
+        throw new Error("Catalog correction baseline digest is not the exact prepared target/state publication.");
+    }
+    if (compareCatalogVersions(publication.version.toString(), correction.replacementVersion.toString()) >= 0) {
+        throw new Error("Catalog correction is not a SemVer-forward replacement.");
+    }
+    const expectedArchitectures = publication.renderer.downloads.map((download) => download.architecture).sort().join("\n");
+    const replacementArchitectures = correction.downloads.map((download) => download.architecture).sort().join("\n");
+    if (expectedArchitectures !== replacementArchitectures) {
+        throw new Error("Catalog correction replacement architecture set differs from the prepared renderer.");
+    }
+    for (const download of correction.downloads) {
+        const expected = `https://github.com/${publication.sourceRepository}/releases/download/${encodeURIComponent(correction.replacementTag)}/${encodeURIComponent(download.filename)}`;
+        if (download.url !== expected)
+            throw new Error("Catalog correction carries a foreign replacement download coordinate.");
+    }
+};
+export const verifyCorrectionIntent = (bundle, intent) => {
+    encodeCorrectionIntent(intent);
+    if (!digestEquals(preparedDigest(bundle), intent.preparedDigest)) {
+        throw new Error("Correction intent is bound to a different prepared release.");
+    }
+    switch (intent.correction._tag) {
+        case "NpmDeprecationCorrection": return verifyNpm(bundle, intent.correction);
+        case "GithubReleaseCorrection": return verifyGithub(bundle, intent.correction);
+        case "CatalogForwardCorrection": return verifyCatalog(bundle, intent.correction);
+    }
+};
+const providerOf = (intent) => intent.correction.provider;
+/**
+ * The only correction entry point. Provider adapters are built at the host
+ * boundary. Neither admitted provider currently exposes a conditional write
+ * that protects the exact observed generation, so a validated intent becomes
+ * an external proposal and never a read-then-unconditional mutation.
+ */
+export const correctPreparedRelease = Effect.fn("correctPreparedRelease")(function* (input) {
+    try {
+        verifyCorrectionIntent(input.bundle, input.intent);
+    }
+    catch (cause) {
+        return yield* Effect.fail(new CorrectionValidationError({ reason: cause instanceof Error ? cause.message : String(cause) }));
+    }
+    const provider = providerOf(input.intent);
+    if (input.intent.correction._tag === "CatalogForwardCorrection") {
+        if (input.services === undefined)
+            return CorrectionUnsupported.make({
+                provider,
+                reason: "Catalog correction requires the host-owned credential and GitHub HTTP authority boundary.",
+                evidence: "docs/release-program/remediation/231-catalog-delivery.md",
+                proposal: new TextDecoder().decode(encodeCorrectionIntent(input.intent))
+            });
+        const correction = input.intent.correction;
+        const publication = findPublication(input.bundle, correction.publicationId.toString());
+        if (publication?._tag !== "PreparedCatalogPublication") {
+            return yield* new CorrectionValidationError({ reason: "Verified catalog correction publication disappeared." });
+        }
+        const baselineTarget = input.bundle.blobs.get(publication.targetArtifactId.toString());
+        const baselineState = input.bundle.blobs.get(publication.stateArtifactId.toString());
+        if (baselineTarget === undefined || baselineState === undefined) {
+            return yield* new CorrectionValidationError({ reason: "Verified catalog correction baseline bytes disappeared." });
+        }
+        const target = renderCatalog(correction.replacementVersion, publication.renderer.renderer, correction.downloads);
+        const state = encodeCatalogManagedState(CatalogManagedState.make({
+            schemaVersion: "ts-release/catalog-state/v2",
+            catalogId: publication.catalogId,
+            renderer: publication.renderer.renderer._tag,
+            generation: correction.replacementVersion,
+            status: "corrected",
+            targetDigest: sha256Digest(target),
+            sourceRepository: publication.sourceRepository,
+            sourceTag: correction.replacementTag,
+            correctionId: input.intent.correctionId,
+            reason: correction.reason,
+            replacementVersion: correction.replacementVersion
+        }));
+        const subject = makeCatalogSubject(publication, input.services.http, input.services.mutationHttp, {
+            id: SubjectId.make(`${publication.authority.subject}#correction-${input.intent.correctionId.hex}`),
+            purpose: "correct",
+            target,
+            state,
+            baselineTarget,
+            baselineState
+        });
+        const report = yield* publishReleaseSubjects({
+            prepared: SubjectId.make(`correction:sha256-${input.intent.correctionId.hex}`),
+            subjects: [subject]
+        }).pipe(Effect.provideService(CredentialProvider, input.services.credentials));
+        return {
+            _tag: "CorrectionExecuted",
+            provider: "catalog-git",
+            report,
+            reason: "Catalog correction ran through the exact conditional Git-data subject.",
+            evidence: "docs/release-program/remediation/231-catalog-delivery.md",
+            proposal: ""
+        };
+    }
+    return CorrectionUnsupported.make({
+        provider,
+        reason: provider === "npm"
+            ? "npm exposes no proved conditional deprecation write for the observed package generation; use the exact external proposal instead."
+            : "GitHub exposes no proved conditional release-metadata write for the observed release generation.",
+        evidence: "docs/release-program/remediation/229-provider-recovery.md",
+        proposal: new TextDecoder().decode(encodeCorrectionIntent(input.intent))
+    });
+});
+export const correctionEvidenceProjection = (intent) => {
+    const encoded = Schema.encodeSync(CorrectionIntentV2)(intent);
+    return encodeCanonicalJson({
+        correctionId: encoded.correctionId,
+        preparedDigest: encoded.preparedDigest,
+        provider: providerOf(intent)
+    });
+};
+//# sourceMappingURL=coordinator.js.map

package/dist/correction/coordinator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coordinator.js","sourceRoot":"","sources":["../../src/correction/coordinator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAA;AAC3D,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAC7F,OAAO,EACL,mBAAmB,EACnB,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,yBAAyB,EACzB,aAAa,EACd,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAA;AAEjD,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAA;AAChE,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAA;AAEtE,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAA;AAElE,OAAO,EACL,mBAAmB,EACnB,qBAAqB,EAEtB,MAAM,wBAAwB,CAAA;AAE/B,OAAO,EAEL,kBAAkB,EAClB,sBAAsB,EACtB,oBAAoB,EAKrB,MAAM,aAAa,CAAA;AAEpB,MAAM,OAAO,yBACX,SAAQ,MAAM,CAAC,gBAAgB,EAA6B,CAAC,2BAA2B,EAAE;IACxF,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC;CAAG;AAEP,MAAM,OAAO,qBAAsB,SAAQ,MAAM,CAAC,WAAW,EAAyB,CAAC,uBAAuB,EAAE;IAC9G,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,cAAc;IACnH,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;CAC5C,CAAC;CAAG;AAaL,MAAM,cAAc,GAAG,CAAC,MAAsB,EAAE,EAAE,CAAC,YAAY,CAAC,qBAAqB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAA;AACvG,MAAM,yBAAyB,GAAG,CAAC,WAAoC,EAAE,EAAE,CAAC,YAAY,CACtF,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,UAAU,CAAC,mBAAmB,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CACnG,CAAA;AACD,MAAM,eAAe,GAAG,CAAC,MAAsB,EAAE,EAAU,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAA;AAEpJ,MAAM,iBAAiB,GAAG,CACxB,MAAsB,EACtB,GAAQ,EACR,aAAmD,EACkC,EAAE;IACvF,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,WAAW,EAGjE,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,GAAG,IAAI,CAC/B,aAAa,KAAK,SAAS,IAAI,WAAW,CAAC,EAAE,CAAC,QAAQ,EAAE,KAAK,aAAa,CAAC,QAAQ,EAAE,CACtF,CAAC,CAAA;IACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,aAAa,KAAK,SAAS;YACzC,CAAC,CAAC,4CAA4C,GAAG,KAAK,wBAAwB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,2BAA2B,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,gEAAgE;YACvN,CAAC,CAAC,qCAAqC,aAAa,2CAA2C,GAAG,KAAK,wBAAwB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,2BAA2B,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,eAAe,CAAC,CAAA;IAC5N,CAAC;IACD,OAAO,UAAU,CAAC,CAAC,CAAE,CAAA;AACvB,CAAC,CAAA;AAED,iFAAiF;AACjF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,MAAsB,EACtB,QAA4B,EACV,EAAE;IACpB,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,CAAA;IACrC,IAAI,QAAQ,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;QAChC,MAAM,WAAW,GAAG,iBAAiB,CAAC,MAAM,EAAE,wBAAwB,EAAE,QAAQ,CAAC,aAAa,CAAC,CAAA;QAC/F,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,WAAW,CAAC,UAAU,CAAC,CAAA;QACvG,MAAM,KAAK,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAA;QAC3F,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAA;QAC1G,OAAO,oBAAoB,CAAC;YAC1B,aAAa,EAAE,sBAAsB;YACrC,cAAc,EAAE,MAAM;YACtB,UAAU,EAAE;gBACV,IAAI,EAAE,0BAA0B;gBAChC,QAAQ,EAAE,KAAK;gBACf,aAAa,EAAE,WAAW,CAAC,EAAE;gBAC7B,WAAW,EAAE,WAAW,CAAC,WAAW;gBACpC,WAAW,EAAE,WAAW,CAAC,WAAW;gBACpC,OAAO,EAAE,WAAW,CAAC,OAAO;gBAC5B,cAAc,EAAE,yBAAyB,CAAC,WAAW,CAAC;gBACtD,gBAAgB,EAAE,YAAY,CAAC,KAAK,CAAC;gBACrC,OAAO,EAAE,QAAQ,CAAC,OAAO;gBACzB,GAAG,CAAC,QAAQ,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,CAAC;aACrF;SACF,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,QAAQ,KAAK,aAAa,EAAE,CAAC;QACxC,MAAM,WAAW,GAAG,iBAAiB,CAAC,MAAM,EAAE,4BAA4B,EAAE,QAAQ,CAAC,aAAa,CAAC,CAAA;QACnG,IAAI,sBAAsB,CAAC,WAAW,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,QAAQ,CAAC,kBAAkB,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACxG,MAAM,IAAI,KAAK,CAAC,4FAA4F,CAAC,CAAA;QAC/G,CAAC;QACD,MAAM,qBAAqB,GAAG,WAAW,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE,CAAA;QAC5G,MAAM,qBAAqB,GAAG,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE,CAAA;QAChG,IAAI,IAAI,GAAG,CAAC,qBAAqB,CAAC,CAAC,IAAI,KAAK,qBAAqB,CAAC,MAAM;YACpE,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1E,MAAM,IAAI,KAAK,CAAC,gFAAgF,CAAC,CAAA;QACnG,CAAC;QACD,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;YACpD,MAAM,WAAW,GAAG,sBAAsB,WAAW,CAAC,gBAAgB,sBAAsB,kBAAkB,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,kBAAkB,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAA;YAClL,IAAI,QAAQ,CAAC,GAAG,KAAK,WAAW,EAAE,CAAC;gBACjC,MAAM,IAAI,KAAK,CAAC,gGAAgG,CAAC,CAAA;YACnH,CAAC;YACD,OAAO,uBAAuB,CAAC,IAAI,CAAC;gBAClC,YAAY,EAAE,QAAQ,CAAC,YAAY;gBACnC,GAAG,EAAE,QAAQ,CAAC,GAAG;gBACjB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;gBAC3B,MAAM,EAAE,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC;aACxC,CAAC,CAAA;QACJ,CAAC,CAAiE,CAAA;QAClE,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,gBAAgB,CAAC,QAAQ,EAAE,CAAC,CAAA;QACxE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,eAAe,CAAC,QAAQ,EAAE,CAAC,CAAA;QACtE,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;YAC3C,CAAC,YAAY,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,YAAY,CAAC;YAC7D,CAAC,YAAY,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC,WAAW,CAAC,EAAE,CAAC;YAChE,MAAM,IAAI,KAAK,CAAC,+EAA+E,CAAC,CAAA;QAClG,CAAC;QACD,MAAM,OAAO,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAA;QAChD,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,UAAU,KAAK,WAAW,CAAC,OAAO;YAClG,CAAC,YAAY,CAAC,OAAO,CAAC,YAAY,EAAE,WAAW,CAAC,YAAY,CAAC,EAAE,CAAC;YAClE,MAAM,IAAI,KAAK,CAAC,gFAAgF,CAAC,CAAA;QACnG,CAAC;QACD,OAAO,oBAAoB,CAAC;YAC1B,aAAa,EAAE,sBAAsB;YACrC,cAAc,EAAE,MAAM;YACtB,UAAU,EAAE;gBACV,IAAI,EAAE,0BAA0B;gBAChC,QAAQ,EAAE,aAAa;gBACvB,aAAa,EAAE,WAAW,CAAC,EAAE;gBAC7B,cAAc,EAAE,yBAAyB,CAAC,WAAW,CAAC;gBACtD,oBAAoB,EAAE,WAAW,CAAC,YAAY;gBAC9C,mBAAmB,EAAE,WAAW,CAAC,WAAW;gBAC5C,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB;gBAC/C,cAAc,EAAE,QAAQ,CAAC,cAAc;gBACvC,SAAS;gBACT,MAAM,EAAE,QAAQ,CAAC,MAAM;aACxB;SACF,CAAC,CAAA;IACJ,CAAC;IACD,MAAM,WAAW,GAAG,iBAAiB,CAAC,MAAM,EAAE,2BAA2B,EAAE,QAAQ,CAAC,aAAa,CAAC,CAAA;IAClG,OAAO,oBAAoB,CAAC;QAC1B,aAAa,EAAE,sBAAsB;QACrC,cAAc,EAAE,MAAM;QACtB,UAAU,EAAE;YACV,IAAI,EAAE,yBAAyB;YAC/B,QAAQ,EAAE,QAAQ;YAClB,aAAa,EAAE,WAAW,CAAC,EAAE;YAC7B,UAAU,EAAE,WAAW,CAAC,UAAU;YAClC,GAAG,EAAE,WAAW,CAAC,GAAG;YACpB,cAAc,EAAE,yBAAyB,CAAC,WAAW,CAAC;YACtD,MAAM,EAAE,QAAQ,CAAC,OAAO;YACxB,GAAG,CAAC,QAAQ,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,CAAC;SACrF;KACF,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,CAAC,MAAsB,EAAE,UAAoC,EAAQ,EAAE;IACvF,MAAM,WAAW,GAAG,eAAe,CAAC,MAAM,EAAE,UAAU,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC,CAAA;IAChF,IAAI,WAAW,EAAE,IAAI,KAAK,wBAAwB,IAAI,WAAW,CAAC,WAAW,KAAK,UAAU,CAAC,WAAW;QACtG,WAAW,CAAC,WAAW,KAAK,UAAU,CAAC,WAAW,IAAI,WAAW,CAAC,OAAO,KAAK,UAAU,CAAC,OAAO,EAAE,CAAC;QACnG,MAAM,IAAI,KAAK,CAAC,mFAAmF,CAAC,CAAA;IACtG,CAAC;IACD,IAAI,CAAC,YAAY,CAAC,yBAAyB,CAAC,WAAW,CAAC,EAAE,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QACrF,MAAM,IAAI,KAAK,CAAC,8EAA8E,CAAC,CAAA;IACjG,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,WAAW,CAAC,UAAU,CAAC,CAAA;IACvG,MAAM,KAAK,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAA;IAC3F,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAA;IACpG,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;IACrC,IAAI,CAAC,YAAY,CAAC,SAAS,EAAE,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CAAC,0EAA0E,CAAC,CAAA;IAC7F,CAAC;AACH,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,CAAC,MAAsB,EAAE,UAAmC,EAAQ,EAAE;IACzF,MAAM,WAAW,GAAG,eAAe,CAAC,MAAM,EAAE,UAAU,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC,CAAA;IAChF,IAAI,WAAW,EAAE,IAAI,KAAK,2BAA2B,IAAI,WAAW,CAAC,UAAU,KAAK,UAAU,CAAC,UAAU,IAAI,WAAW,CAAC,GAAG,KAAK,UAAU,CAAC,GAAG,EAAE,CAAC;QAChJ,MAAM,IAAI,KAAK,CAAC,yFAAyF,CAAC,CAAA;IAC5G,CAAC;IACD,IAAI,CAAC,YAAY,CAAC,yBAAyB,CAAC,WAAW,CAAC,EAAE,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QACrF,MAAM,IAAI,KAAK,CAAC,iFAAiF,CAAC,CAAA;IACpG,CAAC;AACH,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,CAAC,MAAsB,EAAE,UAAoC,EAAQ,EAAE;IAC3F,MAAM,WAAW,GAAG,eAAe,CAAC,MAAM,EAAE,UAAU,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC,CAAA;IAChF,IAAI,WAAW,EAAE,IAAI,KAAK,4BAA4B,EAAE,CAAC;QACvD,MAAM,IAAI,KAAK,CAAC,2FAA2F,CAAC,CAAA;IAC9G,CAAC;IACD,IAAI,CAAC,YAAY,CAAC,yBAAyB,CAAC,WAAW,CAAC,EAAE,UAAU,CAAC,cAAc,CAAC;QAChF,CAAC,YAAY,CAAC,WAAW,CAAC,YAAY,EAAE,UAAU,CAAC,oBAAoB,CAAC;QACxE,CAAC,YAAY,CAAC,WAAW,CAAC,WAAW,EAAE,UAAU,CAAC,mBAAmB,CAAC,EAAE,CAAC;QAC3E,MAAM,IAAI,KAAK,CAAC,wFAAwF,CAAC,CAAA;IAC3G,CAAC;IACD,IAAI,sBAAsB,CAAC,WAAW,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,UAAU,CAAC,kBAAkB,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1G,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAA;IAC5E,CAAC;IACD,MAAM,qBAAqB,GAAG,WAAW,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACvH,MAAM,wBAAwB,GAAG,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAChH,IAAI,qBAAqB,KAAK,wBAAwB,EAAE,CAAC;QACvD,MAAM,IAAI,KAAK,CAAC,qFAAqF,CAAC,CAAA;IACxG,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;QAC5C,MAAM,QAAQ,GAAG,sBAAsB,WAAW,CAAC,gBAAgB,sBAAsB,kBAAkB,CAAC,UAAU,CAAC,cAAc,CAAC,IAAI,kBAAkB,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAA;QACjL,IAAI,QAAQ,CAAC,GAAG,KAAK,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,uEAAuE,CAAC,CAAA;IACzH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,MAAsB,EAAE,MAAwB,EAAQ,EAAE;IAC/F,sBAAsB,CAAC,MAAM,CAAC,CAAA;IAC9B,IAAI,CAAC,YAAY,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC;QACjE,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAA;IAChF,CAAC;IACD,QAAQ,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;QAC/B,KAAK,0BAA0B,CAAC,CAAC,OAAO,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC,CAAA;QAC5E,KAAK,yBAAyB,CAAC,CAAC,OAAO,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC,CAAA;QAC9E,KAAK,0BAA0B,CAAC,CAAC,OAAO,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC,CAAA;IAClF,CAAC;AACH,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,CAAC,MAAwB,EAAoC,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAA;AAE7G;;;;;GAKG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM,CAAC,EAAE,CAAC,wBAAwB,CAAC,CAAC,QAAQ,CAAC,EAAC,KAQnF;IACC,IAAI,CAAC;QACH,sBAAsB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;IACpD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,yBAAyB,CAAC,EAAE,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAC9H,CAAC;IACD,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IACzC,IAAI,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,0BAA0B,EAAE,CAAC;QAChE,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS;YAAE,OAAO,qBAAqB,CAAC,IAAI,CAAC;gBAClE,QAAQ;gBACR,MAAM,EAAE,2FAA2F;gBACnG,QAAQ,EAAE,0DAA0D;gBACpE,QAAQ,EAAE,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,sBAAsB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;aACzE,CAAC,CAAA;QACF,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,UAAU,CAAA;QAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,UAAU,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC,CAAA;QACtF,IAAI,WAAW,EAAE,IAAI,KAAK,4BAA4B,EAAE,CAAC;YACvD,OAAO,KAAK,CAAC,CAAC,IAAI,yBAAyB,CAAC,EAAE,MAAM,EAAE,sDAAsD,EAAE,CAAC,CAAA;QACjH,CAAC;QACD,MAAM,cAAc,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,gBAAgB,CAAC,QAAQ,EAAE,CAAC,CAAA;QACtF,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,eAAe,CAAC,QAAQ,EAAE,CAAC,CAAA;QACpF,IAAI,cAAc,KAAK,SAAS,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;YAChE,OAAO,KAAK,CAAC,CAAC,IAAI,yBAAyB,CAAC,EAAE,MAAM,EAAE,yDAAyD,EAAE,CAAC,CAAA;QACpH,CAAC;QACD,MAAM,MAAM,GAAG,aAAa,CAAC,UAAU,CAAC,kBAAkB,EAAE,WAAW,CAAC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,SAAS,CAAC,CAAA;QAChH,MAAM,KAAK,GAAG,yBAAyB,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC/D,aAAa,EAAE,6BAA6B;YAC5C,SAAS,EAAE,WAAW,CAAC,SAAS;YAChC,QAAQ,EAAE,WAAW,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI;YAC5C,UAAU,EAAE,UAAU,CAAC,kBAAkB;YACzC,MAAM,EAAE,WAAW;YACnB,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC;YAClC,gBAAgB,EAAE,WAAW,CAAC,gBAAgB;YAC9C,SAAS,EAAE,UAAU,CAAC,cAAc;YACpC,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC,YAAY;YACvC,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,kBAAkB,EAAE,UAAU,CAAC,kBAAkB;SAClD,CAAC,CAAC,CAAA;QACH,MAAM,OAAO,GAAG,kBAAkB,CAAC,WAAW,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,YAAY,EAAE;YAChG,EAAE,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,SAAS,CAAC,OAAO,eAAe,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC;YAClG,OAAO,EAAE,SAAS;YAClB,MAAM;YACN,KAAK;YACL,cAAc;YACd,aAAa;SACd,CAAC,CAAA;QACF,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,sBAAsB,CAAC;YAC3C,QAAQ,EAAE,SAAS,CAAC,IAAI,CAAC,qBAAqB,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC;YAC9E,QAAQ,EAAE,CAAC,OAAO,CAAC;SACpB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,kBAAkB,EAAE,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAA;QAC9E,OAAO;YACL,IAAI,EAAE,oBAAoB;YAC1B,QAAQ,EAAE,aAAa;YACvB,MAAM;YACN,MAAM,EAAE,wEAAwE;YAChF,QAAQ,EAAE,0DAA0D;YACpE,QAAQ,EAAE,EAAE;SACJ,CAAA;IACZ,CAAC;IACD,OAAO,qBAAqB,CAAC,IAAI,CAAC;QAChC,QAAQ;QACR,MAAM,EAAE,QAAQ,KAAK,KAAK;YACxB,CAAC,CAAC,mIAAmI;YACrI,CAAC,CAAC,kGAAkG;QACtG,QAAQ,EAAE,2DAA2D;QACrE,QAAQ,EAAE,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,sBAAsB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;KACzE,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,MAAwB,EAAU,EAAE;IAC/E,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAA;IAC7D,OAAO,mBAAmB,CAAC;QACzB,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC;KAC7B,CAAC,CAAA;AACJ,CAAC,CAAA"}

package/dist/correction/index.d.ts

@@ -0,0 +1,3 @@
+export * from "./intent.js";
+export * from "./coordinator.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/correction/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/correction/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAA;AAC3B,cAAc,kBAAkB,CAAA"}

package/dist/correction/index.js

@@ -0,0 +1,3 @@
+export * from "./intent.js";
+export * from "./coordinator.js";
+//# sourceMappingURL=index.js.map

package/dist/correction/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/correction/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAA;AAC3B,cAAc,kBAAkB,CAAA"}