@openprose/reactor 0.1.0-rc.1

package/dist/sdk/exit-bundle.d.ts

@@ -0,0 +1,144 @@
+import { type ConsumedReceiptPinV0, type ContentHashV0, type ReceiptCalibrationGradeV0, type ReceiptInterruptCauseV0, type ReceiptV0, type ReceiptVerdictStatusV0 } from "../receipt";
+import { type CompiledEvidencePlan } from "../evidence-plan";
+import type { ForecastScheduleStateV0 } from "../forecast";
+import { type PolicyArtifactMemoNamespaceV0 } from "../memo";
+import { type PolicyTransitiveFreshnessFunctionV0 } from "../policy";
+export declare const EXIT_BUNDLE_SCHEMA: "openprose.reactor.exit-bundle";
+export declare const EXIT_BUNDLE_VERSION: 0;
+declare const EXIT_BUNDLE_RECEIPT_LOG_SCHEMA: "openprose.reactor.exit-bundle.receipt-log";
+declare const EXIT_BUNDLE_RUNTIME_REGISTRY_SCHEMA: "openprose.reactor.exit-bundle.runtime-registry";
+declare const EXIT_BUNDLE_MANIFEST_SCHEMA: "openprose.reactor.exit-bundle.manifest";
+declare const EXIT_BUNDLE_IMPORT_FAILURE_SCHEMA: "openprose.reactor.exit-bundle.import-failure";
+export type ReactorPolicyArtifactValidationStatusV0 = "validated" | "degraded" | "blocked";
+export interface ReactorPolicyArtifactValidationRecordV0 {
+    readonly status: ReactorPolicyArtifactValidationStatusV0;
+    readonly reason?: string;
+    readonly validator_id?: string;
+    readonly validated_as_of?: string;
+    readonly validation_receipt_hash?: ContentHashV0;
+}
+export type ReactorPolicyArtifactValidationStateV0 = ReactorPolicyArtifactValidationStatusV0 | ReactorPolicyArtifactValidationRecordV0;
+export interface ReactorExitBundleRegistrySnapshotV0 {
+    readonly id: string;
+    readonly identity: string;
+    readonly namespace: string;
+    readonly revision: string;
+    readonly validation_state: ReactorPolicyArtifactValidationStateV0;
+    readonly content_hash?: ContentHashV0;
+    readonly bytes?: string;
+}
+export interface ReactorExitBundleRuntimeRegistryProjectionV0 {
+    readonly schema: typeof EXIT_BUNDLE_RUNTIME_REGISTRY_SCHEMA;
+    readonly v: typeof EXIT_BUNDLE_VERSION;
+    readonly content_hash: ContentHashV0;
+    readonly contract_revision: ContentHashV0;
+    readonly policy_artifact_id: string;
+    readonly policy_artifact_identity: string;
+    readonly policy_artifact_namespace: string;
+    readonly policy_artifact_revision: string;
+    readonly policy_artifact_validation_state: ReactorPolicyArtifactValidationStateV0;
+    readonly validation_state?: ReactorPolicyArtifactValidationStateV0;
+    readonly policy_artifact_content_hash?: ContentHashV0;
+    readonly policy_artifact_bytes?: string;
+    readonly transitive_freshness_function?: PolicyTransitiveFreshnessFunctionV0;
+    readonly compiled_evidence_plan?: CompiledEvidencePlan;
+    readonly forecast_schedule?: ForecastScheduleStateV0;
+}
+export type ReactorExitBundleDependencyReceiptPinV0 = ConsumedReceiptPinV0;
+export interface ReactorExitBundleReceiptLogV0 {
+    readonly schema: typeof EXIT_BUNDLE_RECEIPT_LOG_SCHEMA;
+    readonly v: typeof EXIT_BUNDLE_VERSION;
+    readonly content_hash: ContentHashV0;
+    readonly head: ContentHashV0 | null;
+    readonly member_hashes: readonly ContentHashV0[];
+    readonly entries: readonly ReceiptV0[];
+}
+export interface ReactorExitBundleManifestV0 {
+    readonly schema: typeof EXIT_BUNDLE_MANIFEST_SCHEMA;
+    readonly v: typeof EXIT_BUNDLE_VERSION;
+    readonly content_hash: ContentHashV0;
+    readonly contract_revision: ContentHashV0;
+    readonly active_policy_artifact_identity: string;
+    readonly runtime_registry_content_hash: ContentHashV0;
+    readonly receipt_log_content_hash: ContentHashV0;
+    readonly receipt_log_head: ContentHashV0 | null;
+    readonly receipt_member_hashes: readonly ContentHashV0[];
+    readonly dependency_receipt_pins: readonly ReactorExitBundleDependencyReceiptPinV0[];
+    readonly as_of: string;
+    readonly memo_namespace: PolicyArtifactMemoNamespaceV0;
+}
+export type ReactorExitBundleSafeStateV0 = {
+    readonly status: "ready";
+    readonly reasons: readonly string[];
+    readonly receipt_hash: ContentHashV0 | null;
+    readonly as_of: string | null;
+} | {
+    readonly status: "degraded";
+    readonly reasons: readonly string[];
+    readonly receipt_hash: ContentHashV0;
+    readonly as_of: string;
+    readonly verdict_status: Exclude<ReceiptVerdictStatusV0, "blocked">;
+    readonly calibration_grade: ReceiptCalibrationGradeV0;
+    readonly reason: string;
+} | {
+    readonly status: "blocked";
+    readonly reasons: readonly string[];
+    readonly receipt_hash: ContentHashV0;
+    readonly as_of: string;
+    readonly reason: string;
+    readonly fix_target: string;
+    readonly interrupt_cause: ReceiptInterruptCauseV0;
+};
+export interface ReactorExitBundleV0 {
+    readonly schema: typeof EXIT_BUNDLE_SCHEMA;
+    readonly v: typeof EXIT_BUNDLE_VERSION;
+    readonly contract_revision: ContentHashV0;
+    readonly policy_artifact: ReactorExitBundleRegistrySnapshotV0;
+    readonly runtime_registry: ReactorExitBundleRuntimeRegistryProjectionV0;
+    readonly receipt_log: ReactorExitBundleReceiptLogV0;
+    readonly dependency_receipt_pins: readonly ReactorExitBundleDependencyReceiptPinV0[];
+    readonly manifest: ReactorExitBundleManifestV0;
+    readonly memo_namespace: PolicyArtifactMemoNamespaceV0;
+    readonly safe_state: ReactorExitBundleSafeStateV0;
+    readonly as_of: string;
+}
+export interface BuildReactorExitBundleV0Input {
+    readonly contract_revision: ContentHashV0;
+    readonly active_policy_artifact?: ReactorExitBundleRegistrySnapshotV0;
+    readonly policy_artifact?: unknown;
+    readonly runtime_registry?: unknown;
+    readonly receipts: readonly ReceiptV0[];
+    readonly as_of: string;
+    readonly dependency_receipt_pins?: readonly ReactorExitBundleDependencyReceiptPinV0[];
+    readonly memo_namespace_binding?: PolicyArtifactMemoNamespaceV0;
+    readonly memo_namespace?: unknown;
+}
+export type ReactorExitBundleImportFailureCodeV0 = "malformed-bundle" | "unsupported-version" | "invalid-contract-revision" | "invalid-policy-artifact" | "invalid-receipt-log" | "invalid-manifest" | "memo-namespace-mismatch" | "unsafe-state-mismatch" | "invalid-dependency-pins";
+export interface ReactorExitBundleImportFailureV0 {
+    readonly ok: false;
+    readonly schema: typeof EXIT_BUNDLE_IMPORT_FAILURE_SCHEMA;
+    readonly v: typeof EXIT_BUNDLE_VERSION;
+    readonly content_hash: ContentHashV0;
+    readonly code: ReactorExitBundleImportFailureCodeV0;
+    readonly errors: readonly string[];
+}
+export type ReactorExitBundleFailureV0 = ReactorExitBundleImportFailureV0;
+export type ReactorExitBundleVerificationResultV0 = {
+    readonly ok: true;
+    readonly bundle: ReactorExitBundleV0;
+    readonly manifest_hash: ContentHashV0;
+    readonly receipt_log_hash: ContentHashV0;
+    readonly safe_state: ReactorExitBundleSafeStateV0;
+} | ReactorExitBundleImportFailureV0;
+export declare function buildReactorExitBundleV0(input: BuildReactorExitBundleV0Input): ReactorExitBundleV0;
+export declare function verifyReactorExitBundleV0(value: unknown): ReactorExitBundleVerificationResultV0;
+export interface ReactorExitBundleFailureInputV0 {
+    readonly code?: string;
+    readonly reason?: string;
+    readonly message?: string;
+    readonly errors?: readonly string[];
+}
+export declare function createReactorExitBundleFailureV0(code: ReactorExitBundleImportFailureCodeV0, errors: readonly string[]): ReactorExitBundleImportFailureV0;
+export declare function createReactorExitBundleFailureV0(input: ReactorExitBundleFailureInputV0): ReactorExitBundleImportFailureV0;
+export {};
+//# sourceMappingURL=exit-bundle.d.ts.map

package/dist/sdk/exit-bundle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"exit-bundle.d.ts","sourceRoot":"","sources":["../../src/sdk/exit-bundle.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,oBAAoB,EACzB,KAAK,aAAa,EAClB,KAAK,yBAAyB,EAC9B,KAAK,uBAAuB,EAC5B,KAAK,SAAS,EACd,KAAK,sBAAsB,EAI5B,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,KAAK,oBAAoB,EAG1B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AAC3D,OAAO,EACL,KAAK,6BAA6B,EAEnC,MAAM,SAAS,CAAC;AACjB,OAAO,EAEL,KAAK,mCAAmC,EACzC,MAAM,WAAW,CAAC;AAEnB,eAAO,MAAM,kBAAkB,EAAG,+BAAwC,CAAC;AAC3E,eAAO,MAAM,mBAAmB,EAAG,CAAU,CAAC;AAE9C,QAAA,MAAM,8BAA8B,EAClC,2CAAoD,CAAC;AACvD,QAAA,MAAM,mCAAmC,EACvC,gDAAyD,CAAC;AAC5D,QAAA,MAAM,2BAA2B,EAC/B,wCAAiD,CAAC;AACpD,QAAA,MAAM,iCAAiC,EACrC,8CAAuD,CAAC;AAwB1D,MAAM,MAAM,uCAAuC,GAC/C,WAAW,GACX,UAAU,GACV,SAAS,CAAC;AAEd,MAAM,WAAW,uCAAuC;IACtD,QAAQ,CAAC,MAAM,EAAE,uCAAuC,CAAC;IACzD,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,uBAAuB,CAAC,EAAE,aAAa,CAAC;CAClD;AAED,MAAM,MAAM,sCAAsC,GAC9C,uCAAuC,GACvC,uCAAuC,CAAC;AAE5C,MAAM,WAAW,mCAAmC;IAClD,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,EAAE,sCAAsC,CAAC;IAClE,QAAQ,CAAC,YAAY,CAAC,EAAE,aAAa,CAAC;IACtC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,4CAA4C;IAC3D,QAAQ,CAAC,MAAM,EAAE,OAAO,mCAAmC,CAAC;IAC5D,QAAQ,CAAC,CAAC,EAAE,OAAO,mBAAmB,CAAC;IACvC,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC;IACrC,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC;IAC1C,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAC;IAC3C,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,QAAQ,CAAC,gCAAgC,EAAE,sCAAsC,CAAC;IAClF,QAAQ,CAAC,gBAAgB,CAAC,EAAE,sCAAsC,CAAC;IACnE,QAAQ,CAAC,4BAA4B,CAAC,EAAE,aAAa,CAAC;IACtD,QAAQ,CAAC,qBAAqB,CAAC,EAAE,MAAM,CAAC;IACxC,QAAQ,CAAC,6BAA6B,CAAC,EAAE,mCAAmC,CAAC;IAC7E,QAAQ,CAAC,sBAAsB,CAAC,EAAE,oBAAoB,CAAC;IACvD,QAAQ,CAAC,iBAAiB,CAAC,EAAE,uBAAuB,CAAC;CACtD;AAED,MAAM,MAAM,uCAAuC,GAAG,oBAAoB,CAAC;AAE3E,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,MAAM,EAAE,OAAO,8BAA8B,CAAC;IACvD,QAAQ,CAAC,CAAC,EAAE,OAAO,mBAAmB,CAAC;IACvC,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,IAAI,CAAC;IACpC,QAAQ,CAAC,aAAa,EAAE,SAAS,aAAa,EAAE,CAAC;IACjD,QAAQ,CAAC,OAAO,EAAE,SAAS,SAAS,EAAE,CAAC;CACxC;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,MAAM,EAAE,OAAO,2BAA2B,CAAC;IACpD,QAAQ,CAAC,CAAC,EAAE,OAAO,mBAAmB,CAAC;IACvC,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC;IACrC,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC;IAC1C,QAAQ,CAAC,+BAA+B,EAAE,MAAM,CAAC;IACjD,QAAQ,CAAC,6BAA6B,EAAE,aAAa,CAAC;IACtD,QAAQ,CAAC,wBAAwB,EAAE,aAAa,CAAC;IACjD,QAAQ,CAAC,gBAAgB,EAAE,aAAa,GAAG,IAAI,CAAC;IAChD,QAAQ,CAAC,qBAAqB,EAAE,SAAS,aAAa,EAAE,CAAC;IACzD,QAAQ,CAAC,uBAAuB,EAAE,SAAS,uCAAuC,EAAE,CAAC;IACrF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,cAAc,EAAE,6BAA6B,CAAC;CACxD;AAED,MAAM,MAAM,4BAA4B,GACpC;IACE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,YAAY,EAAE,aAAa,GAAG,IAAI,CAAC;IAC5C,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;CAC/B,GACD;IACE,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC,sBAAsB,EAAE,SAAS,CAAC,CAAC;IACpE,QAAQ,CAAC,iBAAiB,EAAE,yBAAyB,CAAC;IACtD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,GACD;IACE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,eAAe,EAAE,uBAAuB,CAAC;CACnD,CAAC;AAEN,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,MAAM,EAAE,OAAO,kBAAkB,CAAC;IAC3C,QAAQ,CAAC,CAAC,EAAE,OAAO,mBAAmB,CAAC;IACvC,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC;IAC1C,QAAQ,CAAC,eAAe,EAAE,mCAAmC,CAAC;IAC9D,QAAQ,CAAC,gBAAgB,EAAE,4CAA4C,CAAC;IACxE,QAAQ,CAAC,WAAW,EAAE,6BAA6B,CAAC;IACpD,QAAQ,CAAC,uBAAuB,EAAE,SAAS,uCAAuC,EAAE,CAAC;IACrF,QAAQ,CAAC,QAAQ,EAAE,2BAA2B,CAAC;IAC/C,QAAQ,CAAC,cAAc,EAAE,6BAA6B,CAAC;IACvD,QAAQ,CAAC,UAAU,EAAE,4BAA4B,CAAC;IAClD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC;IAC1C,QAAQ,CAAC,sBAAsB,CAAC,EAAE,mCAAmC,CAAC;IACtE,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC;IACnC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,SAAS,SAAS,EAAE,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,uBAAuB,CAAC,EAAE,SAAS,uCAAuC,EAAE,CAAC;IACtF,QAAQ,CAAC,sBAAsB,CAAC,EAAE,6BAA6B,CAAC;IAChE,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;CACnC;AAED,MAAM,MAAM,oCAAoC,GAC5C,kBAAkB,GAClB,qBAAqB,GACrB,2BAA2B,GAC3B,yBAAyB,GACzB,qBAAqB,GACrB,kBAAkB,GAClB,yBAAyB,GACzB,uBAAuB,GACvB,yBAAyB,CAAC;AAE9B,MAAM,WAAW,gCAAgC;IAC/C,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,MAAM,EAAE,OAAO,iCAAiC,CAAC;IAC1D,QAAQ,CAAC,CAAC,EAAE,OAAO,mBAAmB,CAAC;IACvC,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,oCAAoC,CAAC;IACpD,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AAED,MAAM,MAAM,0BAA0B,GAAG,gCAAgC,CAAC;AAE1E,MAAM,MAAM,qCAAqC,GAC7C;IACE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;IACrC,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC,QAAQ,CAAC,gBAAgB,EAAE,aAAa,CAAC;IACzC,QAAQ,CAAC,UAAU,EAAE,4BAA4B,CAAC;CACnD,GACD,gCAAgC,CAAC;AAErC,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,6BAA6B,GACnC,mBAAmB,CAiFrB;AAED,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,OAAO,GACb,qCAAqC,CAoBvC;AAED,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,wBAAgB,gCAAgC,CAC9C,IAAI,EAAE,oCAAoC,EAC1C,MAAM,EAAE,SAAS,MAAM,EAAE,GACxB,gCAAgC,CAAC;AACpC,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,+BAA+B,GACrC,gCAAgC,CAAC"}