@emilia-protocol/gate 0.11.0 → 0.14.0

package/dist/trust-program-adapters.d.ts

@@ -0,0 +1,122 @@
+type RecordLike = Record<string, any>;
+type Verifier = (value: any, context: RecordLike) => any;
+export interface PinnedEvidenceAdapterOptions {
+    policyDigest: string;
+    verify: Verifier;
+    trustedConfiguration?: RecordLike;
+    metadata?: (result: RecordLike, context: RecordLike) => any;
+}
+/**
+ * Wrap any evidence verifier in the Trust Program stage-verifier contract.
+ * Runtime artifacts have a closed three-field envelope, so trust configuration
+ * cannot ride beside the evidence and influence verification.
+ */
+export declare function createPinnedEvidenceAdapter({ policyDigest, verify, trustedConfiguration, metadata, }: PinnedEvidenceAdapterOptions): ({ artifact, requirement, program }: RecordLike) => Promise<Readonly<{
+    valid: false;
+    reason: string;
+}> | Readonly<{
+    valid: true;
+    reason: null;
+    binding_digest: any;
+    policy_digest: any;
+    subjects: string[];
+    key_fingerprints: string[];
+    issued_at: string;
+    expires_at: string;
+    revocation_checked_at: string | null;
+}>>;
+/** Canonical SHA-256 fingerprint of an SPKI public key. */
+export declare function canonicalKeyFingerprint(value: unknown): string | null;
+export interface QuorumTrustProgramAdapterOptions {
+    policy: RecordLike;
+    policyDigest: string;
+    approverKeys: Record<string, unknown>;
+    verificationOptions?: RecordLike;
+    revocationCheckedAt: string | (() => string);
+    verifyQuorum?: (quorum: any, options?: any) => any;
+}
+/** Compose Trust Program with the repository's Quorum verifier. */
+export declare function createQuorumTrustProgramAdapter(options: QuorumTrustProgramAdapterOptions): ({ artifact, requirement, program }: RecordLike) => Promise<Readonly<{
+    valid: false;
+    reason: string;
+}> | Readonly<{
+    valid: true;
+    reason: null;
+    binding_digest: any;
+    policy_digest: any;
+    subjects: string[];
+    key_fingerprints: string[];
+    issued_at: string;
+    expires_at: string;
+    revocation_checked_at: string | null;
+}>>;
+export interface AecTrustProgramAdapterOptions {
+    policyDigest: string;
+    requirement: string;
+    keysByType: RecordLike;
+    policiesByType: RecordLike;
+    verifiers?: Record<string, (...args: any[]) => any>;
+    verificationTime: string | (() => string);
+    verifyAuthorizationChain?: (chain: any, options?: any) => any;
+    metadata?: (result: RecordLike, context: RecordLike) => any;
+}
+/** Compose Trust Program with AEC under RP-owned policy, action, and trust roots. */
+export declare function createAecTrustProgramAdapter(options: AecTrustProgramAdapterOptions): ({ artifact, requirement, program }: RecordLike) => Promise<Readonly<{
+    valid: false;
+    reason: string;
+}> | Readonly<{
+    valid: true;
+    reason: null;
+    binding_digest: any;
+    policy_digest: any;
+    subjects: string[];
+    key_fingerprints: string[];
+    issued_at: string;
+    expires_at: string;
+    revocation_checked_at: string | null;
+}>>;
+/** Explicitly detect and refuse Action Escrow nested under Receipt Program. */
+export declare function containsActionEscrowConsequence(value: unknown): boolean;
+export interface ReceiptProgramTerminalOptions {
+    programId: string;
+    programDigest?: string;
+    trustedCertificateKeys: Record<string, string>;
+    expectedContext: RecordLike;
+    resolveCaid: (action: any) => any;
+    verifyReceiptProgramCertificate?: (certificate: any, options?: any) => any;
+}
+export type TerminalVerifier = ((input: RecordLike) => Promise<RecordLike>) & {
+    readonly options: RecordLike;
+};
+/** Verify and normalize one Receipt Program terminal certificate. */
+export declare function createReceiptProgramTerminalOutcomeVerifier(options: ReceiptProgramTerminalOptions): TerminalVerifier;
+/** Trust Program executionOutcomeVerifier wrapper for Receipt Program. */
+export declare function createReceiptProgramExecutionOutcomeVerifier(options: ReceiptProgramTerminalOptions): (input: RecordLike) => Promise<boolean>;
+export interface ActionEscrowTerminalOptions {
+    agreementId: string;
+    operationId: string;
+    releaseActionDigest: string;
+    profileDigest: string;
+    componentVerifiers: Record<string, (...args: any[]) => any>;
+    now?: Date | number | string | (() => Date | number | string);
+    maxDocumentBytes?: number;
+    maxProjectRecordBytes?: number;
+    verifyActionEscrowEvidencePackage?: (pkg: any, options?: any) => any;
+}
+/** Verify and normalize one Action Escrow authenticated terminal package. */
+export declare function createActionEscrowTerminalOutcomeVerifier(options: ActionEscrowTerminalOptions): TerminalVerifier;
+/** Trust Program executionOutcomeVerifier wrapper for Action Escrow. */
+export declare function createActionEscrowExecutionOutcomeVerifier(options: ActionEscrowTerminalOptions): (input: RecordLike) => Promise<boolean>;
+declare const _default: {
+    canonicalKeyFingerprint: typeof canonicalKeyFingerprint;
+    containsActionEscrowConsequence: typeof containsActionEscrowConsequence;
+    createPinnedEvidenceAdapter: typeof createPinnedEvidenceAdapter;
+    createQuorumTrustProgramAdapter: typeof createQuorumTrustProgramAdapter;
+    createAecTrustProgramAdapter: typeof createAecTrustProgramAdapter;
+    createReceiptProgramTerminalOutcomeVerifier: typeof createReceiptProgramTerminalOutcomeVerifier;
+    createReceiptProgramExecutionOutcomeVerifier: typeof createReceiptProgramExecutionOutcomeVerifier;
+    createActionEscrowTerminalOutcomeVerifier: typeof createActionEscrowTerminalOutcomeVerifier;
+    createActionEscrowExecutionOutcomeVerifier: typeof createActionEscrowExecutionOutcomeVerifier;
+};
+export default _default;
+//# sourceMappingURL=trust-program-adapters.d.ts.map

package/dist/trust-program-adapters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"trust-program-adapters.d.ts","sourceRoot":"","sources":["../src/trust-program-adapters.ts"],"names":[],"mappings":"AAgBA,KAAK,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AACtC,KAAK,QAAQ,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,UAAU,KAAK,GAAG,CAAC;AA0RzD,MAAM,WAAW,4BAA4B;IAC3C,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,QAAQ,CAAC;IACjB,oBAAoB,CAAC,EAAE,UAAU,CAAC;IAClC,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,KAAK,GAAG,CAAC;CAC7D;AAED;;;;GAIG;AACH,wBAAgB,2BAA2B,CAAC,EAC1C,YAAY,EACZ,MAAM,EACN,oBAAyB,EACzB,QAAQ,GACT,EAAE,4BAA4B,IAMe,oCAAoC,UAAU;;;;;;;;;;;;;IA+C3F;AAED,2DAA2D;AAC3D,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAgBrE;AA8BD,MAAM,WAAW,gCAAgC;IAC/C,MAAM,EAAE,UAAU,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtC,mBAAmB,CAAC,EAAE,UAAU,CAAC;IACjC,mBAAmB,EAAE,MAAM,GAAG,CAAC,MAAM,MAAM,CAAC,CAAC;IAC7C,YAAY,CAAC,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,GAAG,KAAK,GAAG,CAAC;CACpD;AAED,mEAAmE;AACnE,wBAAgB,+BAA+B,CAAC,OAAO,EAAE,gCAAgC,wCA1GP,UAAU;;;;;;;;;;;;;IA+K3F;AAED,MAAM,WAAW,6BAA6B;IAC5C,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,UAAU,CAAC;IACvB,cAAc,EAAE,UAAU,CAAC;IAC3B,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC;IACpD,gBAAgB,EAAE,MAAM,GAAG,CAAC,MAAM,MAAM,CAAC,CAAC;IAC1C,wBAAwB,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,GAAG,KAAK,GAAG,CAAC;IAC9D,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,KAAK,GAAG,CAAC;CAC7D;AAED,qFAAqF;AACrF,wBAAgB,4BAA4B,CAAC,OAAO,EAAE,6BAA6B,wCA7LD,UAAU;;;;;;;;;;;;;IAuO3F;AAkBD,+EAA+E;AAC/E,wBAAgB,+BAA+B,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAuBvE;AAED,MAAM,WAAW,6BAA6B;IAC5C,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,sBAAsB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/C,eAAe,EAAE,UAAU,CAAC;IAC5B,WAAW,EAAE,CAAC,MAAM,EAAE,GAAG,KAAK,GAAG,CAAC;IAClC,+BAA+B,CAAC,EAAE,CAAC,WAAW,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,GAAG,KAAK,GAAG,CAAC;CAC5E;AAED,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,EAAE,UAAU,KAAK,OAAO,CAAC,UAAU,CAAC,CAAC,GAAG;IAC5E,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;CAC9B,CAAC;AAcF,qEAAqE;AACrE,wBAAgB,2CAA2C,CACzD,OAAO,EAAE,6BAA6B,GACrC,gBAAgB,CA6DlB;AAED,0EAA0E;AAC1E,wBAAgB,4CAA4C,CAC1D,OAAO,EAAE,6BAA6B,IAGuB,OAAO,UAAU,sBAM/E;AAED,MAAM,WAAW,2BAA2B;IAC1C,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,aAAa,EAAE,MAAM,CAAC;IACtB,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC;IAC5D,GAAG,CAAC,EAAE,IAAI,GAAG,MAAM,GAAG,MAAM,GAAG,CAAC,MAAM,IAAI,GAAG,MAAM,GAAG,MAAM,CAAC,CAAC;IAC9D,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B,iCAAiC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,GAAG,KAAK,GAAG,CAAC;CACtE;AASD,6EAA6E;AAC7E,wBAAgB,yCAAyC,CACvD,OAAO,EAAE,2BAA2B,GACnC,gBAAgB,CAkGlB;AAED,wEAAwE;AACxE,wBAAgB,0CAA0C,CACxD,OAAO,EAAE,2BAA2B,IAGuB,OAAO,UAAU,sBAM7E;;;;;;;;;;;;AAED,wBAUE"}