@maiaos/node 0.1.0-canary.44938d4.manual.1

package/dist/session/testing/built-session-execution-projection.js

@@ -0,0 +1,226 @@
+import { BuiltSessionAuthorityFailure } from "./built-session-execution-failure.js";
+import { describeBuiltSessionLifecycle, transitionBuiltSessionLifecycle, } from "./built-session-execution-lifecycle.js";
+import { BUILT_SESSION_AUTHORITY_PROVIDER_NAME, BUILT_SESSION_AUTHORITY_PROVIDER_VERSION, BUILT_SESSION_FAKE_PROVIDER_NAME, BUILT_SESSION_FAKE_PROVIDER_VERSION, } from "./built-session-execution-policy.js";
+import { digestRootIdentity, digestUtf8, unboundRootIdentityDigest, unregisteredRegistrationDigest, } from "./built-session-execution-receipt.js";
+import { freezeSnapshot, } from "./built-session-execution-snapshot.js";
+export const projectOfficialFakeSnapshot = (fake) => freezeSnapshot({
+    acquireCalls: fake.acquireCalls,
+    censusCalls: fake.censusCalls,
+    closeCalls: fake.closeCalls,
+    descendantPresent: fake.descendantPresent,
+    empty: fake.empty,
+    emptyProofCalls: fake.emptyProofCalls,
+    eventWaiters: fake.eventWaiterCount,
+    gateWaiters: fake.gateWaiterCount,
+    helpersCreated: fake.helpersCreated,
+    prepareCalls: fake.prepareCalls,
+    prepared: fake.prepared,
+    reclaimCalls: fake.reclaimCalls,
+    reclaimedControllerIds: [...fake.reclaimedControllerIds],
+    sessionEmptyProofCalls: fake.sessionEmptyProofCalls,
+    startCalls: fake.startCalls,
+    started: fake.started,
+    targetsCreated: fake.targetsCreated,
+    terminateCalls: fake.terminateCalls,
+    terminated: fake.terminated,
+    terminatedControllerIds: [...fake.terminatedControllerIds],
+});
+export const projectFakeBoundaryHandle = (input) => ({
+    ...input.controller,
+    boundaryId: input.boundaryId,
+    openedAt: input.openedAt,
+    ownerKind: input.fake.script.handleOwnerKind ?? input.controller.ownerKind,
+});
+export const projectFakeCensus = (fake, handle) => {
+    if (handle === undefined) {
+        return {
+            helpersCreated: fake.helpersCreated,
+            targetsCreated: fake.targetsCreated,
+        };
+    }
+    const state = fake.controllers.get(handle.controllerId);
+    return {
+        helpersCreated: state?.helpersCreated ?? 0,
+        targetsCreated: state?.targetsCreated ?? 0,
+    };
+};
+export const receiptOccurrence = (script, now, deadline) => (script.postDeadline === true ? deadline + 1 : now);
+const receiptBase = (record, now) => ({
+    artifactIdentity: record.program,
+    authorityId: record.authorityId,
+    boundaryId: record.handle?.boundaryId ?? record.boundaryId ?? "unpublished-boundary",
+    deadline: record.budget.absoluteDeadline,
+    invocationId: record.invocationId,
+    now,
+    providerName: record.providerName ?? BUILT_SESSION_FAKE_PROVIDER_NAME,
+    providerVersion: record.providerVersion ?? BUILT_SESSION_FAKE_PROVIDER_VERSION,
+    registrationDigest: record.registrationAttestation === undefined
+        ? unregisteredRegistrationDigest
+        : digestUtf8(record.registrationAttestation),
+    requestDigest: record.requestDigest ?? digestUtf8("unbound-request"),
+    rootIdentity: record.session.ownedRoot === undefined
+        ? unboundRootIdentityDigest
+        : digestRootIdentity(record.session.ownedRoot.identity),
+    sessionAuthorityId: record.session.sessionAuthorityId,
+    treeId: record.treeId,
+});
+export const projectReceiptIdentity = (record, now) => {
+    const expected = receiptBase(record, now);
+    const { now: _expectedAt, ...identity } = expected;
+    return { expected, identity };
+};
+export const projectPreparedReceipt = (script, record, now) => {
+    const { expected, identity } = projectReceiptIdentity(record, now);
+    return {
+        ...identity,
+        boundaryId: script.identityMismatch === true
+            ? "forged-boundary"
+            : expected.boundaryId,
+        capability: "exact_empty_proof",
+        order: record.lastAcceptedOrder + 1,
+        phase: "prepared",
+        preparedAt: receiptOccurrence(script, now, record.budget.absoluteDeadline),
+        stopped: true,
+    };
+};
+export const projectStartedReceipt = (script, record, now) => {
+    const { expected, identity } = projectReceiptIdentity(record, now);
+    return {
+        ...identity,
+        boundaryId: script.identityMismatch === true
+            ? "forged-boundary"
+            : expected.boundaryId,
+        order: record.lastAcceptedOrder + 1,
+        phase: "started",
+        startedAt: receiptOccurrence(script, now, record.budget.absoluteDeadline),
+    };
+};
+export const projectEmptyReceipt = (script, record, now) => ({
+    ...projectReceiptIdentity(record, now).identity,
+    order: record.lastAcceptedOrder + 1,
+    phase: "empty",
+    populated: script.populatedEmpty === true ? 1 : 0,
+    provenAt: receiptOccurrence(script, now, record.budget.absoluteDeadline),
+});
+export const projectBoundaryController = (record, controllerId) => ({
+    authorityId: record.authorityId,
+    controllerId,
+    deadline: record.budget.absoluteDeadline,
+    invocationId: record.invocationId,
+    ownerKind: record.ownerKind,
+    providerName: BUILT_SESSION_FAKE_PROVIDER_NAME,
+    providerVersion: BUILT_SESSION_FAKE_PROVIDER_VERSION,
+    sessionAuthorityId: record.session.sessionAuthorityId,
+    treeId: record.treeId,
+});
+export const boundaryHandleMismatch = (input) => {
+    const { acquireEntry, controller, handle, now, record } = input;
+    return (handle.authorityId !== record.authorityId ||
+        handle.controllerId !== controller.controllerId ||
+        handle.deadline !== record.budget.absoluteDeadline ||
+        handle.invocationId !== record.invocationId ||
+        handle.ownerKind !== record.ownerKind ||
+        handle.providerName !== BUILT_SESSION_FAKE_PROVIDER_NAME ||
+        handle.providerVersion !== BUILT_SESSION_FAKE_PROVIDER_VERSION ||
+        handle.sessionAuthorityId !== record.session.sessionAuthorityId ||
+        handle.treeId !== record.treeId ||
+        handle.boundaryId.length === 0 ||
+        handle.openedAt < acquireEntry ||
+        handle.openedAt > now ||
+        handle.openedAt > record.budget.absoluteDeadline);
+};
+export const copyBoundedExit = (maxOutputBytes, decoded) => {
+    const stdoutBytes = Uint8Array.from(decoded.stdout.bytes);
+    const stderrBytes = Uint8Array.from(decoded.stderr.bytes);
+    const valid = decoded.stdout.stored <= maxOutputBytes &&
+        decoded.stderr.stored <= maxOutputBytes &&
+        stdoutBytes.byteLength === decoded.stdout.stored &&
+        stderrBytes.byteLength === decoded.stderr.stored;
+    return valid ? { code: decoded.code, stderrBytes, stdoutBytes } : undefined;
+};
+export const projectSessionEmptyLifecycle = (snapshot) => [
+    { type: "validate" },
+    { type: "acquire" },
+    { type: "boundaryReady" },
+    { type: "terminate" },
+    { type: "waitEmpty" },
+    { type: "emptyProven" },
+].reduce((current, event) => {
+    if (current instanceof BuiltSessionAuthorityFailure)
+        return current;
+    const next = transitionBuiltSessionLifecycle(current, event);
+    return (next ??
+        new BuiltSessionAuthorityFailure({
+            message: "Session EMPTY projected an illegal lifecycle event.",
+            reason: "cleanup_unknown",
+        }));
+}, snapshot);
+export const projectSessionEmptyExpected = (input) => ({
+    artifactIdentity: "session-root",
+    authorityId: input.session.sessionAuthorityId,
+    boundaryId: input.session.treeId,
+    deadline: input.absoluteDeadline,
+    invocationId: input.session.sessionAuthorityId,
+    now: input.now,
+    providerName: BUILT_SESSION_FAKE_PROVIDER_NAME,
+    providerVersion: BUILT_SESSION_FAKE_PROVIDER_VERSION,
+    registrationDigest: digestUtf8(`session-empty:${input.session.sessionAuthorityId}:${input.session.treeId}`),
+    requestDigest: digestUtf8(`session-empty-request:${input.session.sessionAuthorityId}`),
+    rootIdentity: input.rootIdentity,
+    sessionAuthorityId: input.session.sessionAuthorityId,
+    treeId: input.session.treeId,
+});
+export const projectSessionSnapshot = (session) => freezeSnapshot({
+    admissionActive: session.admissionActive,
+    cleanupActive: session.cleanupActive,
+    deleting: false,
+    emptyAccepted: session.emptyAccepted,
+    emptyPopulated: session.emptyReceipt?.populated,
+    lifecycle: describeBuiltSessionLifecycle(session.snapshot),
+    rootPath: session.rootPath,
+    sessionAuthorityId: session.sessionAuthorityId,
+    treeId: session.treeId,
+});
+export const projectInvocationSnapshot = (record) => freezeSnapshot({
+    boundaryId: record.boundaryId,
+    directExitObserved: record.directExitObserved,
+    handlePublished: record.handlePublished,
+    helpersCreated: record.helpersCreated,
+    invocationId: record.invocationId,
+    lifecycle: describeBuiltSessionLifecycle(record.snapshot),
+    ownerKind: record.ownerKind,
+    providerName: record.providerName,
+    providerVersion: record.providerVersion,
+    registrationAttestation: record.registrationAttestation,
+    releaseCompleted: record.releaseCompleted,
+    releaseStarted: record.releaseStarted,
+    requestDigest: record.requestDigest,
+    sessionAuthorityId: record.session.sessionAuthorityId,
+    startAcknowledged: record.startAcknowledged,
+    startDispatched: record.startDispatched,
+    stderr: record.stderr,
+    stdout: record.stdout,
+    targetsCreated: record.targetsCreated,
+    treeId: record.treeId,
+});
+export const projectOwnedRootSnapshot = (input) => freezeSnapshot({
+    identity: { ...input.identity },
+    receipt: { ...input.receipt },
+    rootPath: input.rootPath,
+});
+export const projectRootReceiptBody = (session, input, identity) => ({
+    authorityId: session.sessionAuthorityId,
+    canonicalPath: identity.canonicalPath,
+    createdAt: input.createdAt,
+    deadline: input.deadline,
+    device: identity.device,
+    inode: identity.inode,
+    order: session.lastAcceptedOrder + 1,
+    phase: "root_created",
+    providerName: BUILT_SESSION_AUTHORITY_PROVIDER_NAME,
+    providerVersion: BUILT_SESSION_AUTHORITY_PROVIDER_VERSION,
+    rootIdentity: digestRootIdentity(identity),
+    sessionAuthorityId: session.sessionAuthorityId,
+    treeId: session.treeId,
+});
+//# sourceMappingURL=built-session-execution-projection.js.map

package/dist/session/testing/built-session-execution-projection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"built-session-execution-projection.js","sourceRoot":"","sources":["../../../src/session/testing/built-session-execution-projection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AAEpF,OAAO,EACL,6BAA6B,EAC7B,+BAA+B,GAChC,MAAM,wCAAwC,CAAC;AAChD,OAAO,EACL,qCAAqC,EACrC,wCAAwC,EACxC,gCAAgC,EAChC,mCAAmC,GACpC,MAAM,qCAAqC,CAAC;AAU7C,OAAO,EACL,kBAAkB,EAClB,UAAU,EACV,yBAAyB,EACzB,8BAA8B,GAC/B,MAAM,sCAAsC,CAAC;AAE9C,OAAO,EAIL,cAAc,GAEf,MAAM,uCAAuC,CAAC;AAE/C,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAAe,EACO,EAAE,CACxB,cAAc,CAAC;IACb,YAAY,EAAE,IAAI,CAAC,YAAY;IAC/B,WAAW,EAAE,IAAI,CAAC,WAAW;IAC7B,UAAU,EAAE,IAAI,CAAC,UAAU;IAC3B,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;IACzC,KAAK,EAAE,IAAI,CAAC,KAAK;IACjB,eAAe,EAAE,IAAI,CAAC,eAAe;IACrC,YAAY,EAAE,IAAI,CAAC,gBAAgB;IACnC,WAAW,EAAE,IAAI,CAAC,eAAe;IACjC,cAAc,EAAE,IAAI,CAAC,cAAc;IACnC,YAAY,EAAE,IAAI,CAAC,YAAY;IAC/B,QAAQ,EAAE,IAAI,CAAC,QAAQ;IACvB,YAAY,EAAE,IAAI,CAAC,YAAY;IAC/B,sBAAsB,EAAE,CAAC,GAAG,IAAI,CAAC,sBAAsB,CAAC;IACxD,sBAAsB,EAAE,IAAI,CAAC,sBAAsB;IACnD,UAAU,EAAE,IAAI,CAAC,UAAU;IAC3B,OAAO,EAAE,IAAI,CAAC,OAAO;IACrB,cAAc,EAAE,IAAI,CAAC,cAAc;IACnC,cAAc,EAAE,IAAI,CAAC,cAAc;IACnC,UAAU,EAAE,IAAI,CAAC,UAAU;IAC3B,uBAAuB,EAAE,CAAC,GAAG,IAAI,CAAC,uBAAuB,CAAC;CAC3D,CAAC,CAAC;AAEL,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,KAKzC,EAA2B,EAAE,CAAC,CAAC;IAC9B,GAAG,KAAK,CAAC,UAAU;IACnB,UAAU,EAAE,KAAK,CAAC,UAAU;IAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;IACxB,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,eAAe,IAAI,KAAK,CAAC,UAAU,CAAC,SAAS;CAC3E,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAe,EACf,MAAgC,EAChC,EAAE;IACF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO;YACL,cAAc,EAAE,IAAI,CAAC,cAAc;YACnC,cAAc,EAAE,IAAI,CAAC,cAAc;SACpC,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IACxD,OAAO;QACL,cAAc,EAAE,KAAK,EAAE,cAAc,IAAI,CAAC;QAC1C,cAAc,EAAE,KAAK,EAAE,cAAc,IAAI,CAAC;KAC3C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,MAA0B,EAC1B,GAAW,EACX,QAAgB,EACR,EAAE,CAAC,CAAC,MAAM,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AAEjE,MAAM,WAAW,GAAG,CAAC,MAAwB,EAAE,GAAW,EAAE,EAAE,CAAC,CAAC;IAC9D,gBAAgB,EAAE,MAAM,CAAC,OAAO;IAChC,WAAW,EAAE,MAAM,CAAC,WAAW;IAC/B,UAAU,EACR,MAAM,CAAC,MAAM,EAAE,UAAU,IAAI,MAAM,CAAC,UAAU,IAAI,sBAAsB;IAC1E,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,gBAAgB;IACxC,YAAY,EAAE,MAAM,CAAC,YAAY;IACjC,GAAG;IACH,YAAY,EAAE,MAAM,CAAC,YAAY,IAAI,gCAAgC;IACrE,eAAe,EACb,MAAM,CAAC,eAAe,IAAI,mCAAmC;IAC/D,kBAAkB,EAChB,MAAM,CAAC,uBAAuB,KAAK,SAAS;QAC1C,CAAC,CAAC,8BAA8B;QAChC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,uBAAuB,CAAC;IAChD,aAAa,EAAE,MAAM,CAAC,aAAa,IAAI,UAAU,CAAC,iBAAiB,CAAC;IACpE,YAAY,EACV,MAAM,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS;QACpC,CAAC,CAAC,yBAAyB;QAC3B,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC;IAC3D,kBAAkB,EAAE,MAAM,CAAC,OAAO,CAAC,kBAAkB;IACrD,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,MAAwB,EACxB,GAAW,EACX,EAAE;IACF,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC1C,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,QAAQ,EAAE,GAAG,QAAQ,CAAC;IACnD,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AAChC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,MAA0B,EAC1B,MAAwB,EACxB,GAAW,EACX,EAAE;IACF,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,sBAAsB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACnE,OAAO;QACL,GAAG,QAAQ;QACX,UAAU,EACR,MAAM,CAAC,gBAAgB,KAAK,IAAI;YAC9B,CAAC,CAAC,iBAAiB;YACnB,CAAC,CAAC,QAAQ,CAAC,UAAU;QACzB,UAAU,EAAE,mBAA4B;QACxC,KAAK,EAAE,MAAM,CAAC,iBAAiB,GAAG,CAAC;QACnC,KAAK,EAAE,UAAmB;QAC1B,UAAU,EAAE,iBAAiB,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC;QAC1E,OAAO,EAAE,IAAa;KACvB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,MAA0B,EAC1B,MAAwB,EACxB,GAAW,EACX,EAAE;IACF,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,sBAAsB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACnE,OAAO;QACL,GAAG,QAAQ;QACX,UAAU,EACR,MAAM,CAAC,gBAAgB,KAAK,IAAI;YAC9B,CAAC,CAAC,iBAAiB;YACnB,CAAC,CAAC,QAAQ,CAAC,UAAU;QACzB,KAAK,EAAE,MAAM,CAAC,iBAAiB,GAAG,CAAC;QACnC,KAAK,EAAE,SAAkB;QACzB,SAAS,EAAE,iBAAiB,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC;KAC1E,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,MAA0B,EAC1B,MAAwB,EACxB,GAAW,EACX,EAAE,CAAC,CAAC;IACJ,GAAG,sBAAsB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ;IAC/C,KAAK,EAAE,MAAM,CAAC,iBAAiB,GAAG,CAAC;IACnC,KAAK,EAAE,OAAgB;IACvB,SAAS,EAAE,MAAM,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,QAAQ,EAAE,iBAAiB,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC;CACzE,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,MAAwB,EACxB,YAAoB,EACA,EAAE,CAAC,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC,WAAW;IAC/B,YAAY;IACZ,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,gBAAgB;IACxC,YAAY,EAAE,MAAM,CAAC,YAAY;IACjC,SAAS,EAAE,MAAM,CAAC,SAAS;IAC3B,YAAY,EAAE,gCAAgC;IAC9C,eAAe,EAAE,mCAAmC;IACpD,kBAAkB,EAAE,MAAM,CAAC,OAAO,CAAC,kBAAkB;IACrD,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,KAMtC,EAAW,EAAE;IACZ,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAChE,OAAO,CACL,MAAM,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW;QACzC,MAAM,CAAC,YAAY,KAAK,UAAU,CAAC,YAAY;QAC/C,MAAM,CAAC,QAAQ,KAAK,MAAM,CAAC,MAAM,CAAC,gBAAgB;QAClD,MAAM,CAAC,YAAY,KAAK,MAAM,CAAC,YAAY;QAC3C,MAAM,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS;QACrC,MAAM,CAAC,YAAY,KAAK,gCAAgC;QACxD,MAAM,CAAC,eAAe,KAAK,mCAAmC;QAC9D,MAAM,CAAC,kBAAkB,KAAK,MAAM,CAAC,OAAO,CAAC,kBAAkB;QAC/D,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;QAC/B,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAC9B,MAAM,CAAC,QAAQ,GAAG,YAAY;QAC9B,MAAM,CAAC,QAAQ,GAAG,GAAG;QACrB,MAAM,CAAC,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,gBAAgB,CACjD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,cAAsB,EACtB,OAUC,EACD,EAAE;IACF,MAAM,WAAW,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1D,MAAM,KAAK,GACT,OAAO,CAAC,MAAM,CAAC,MAAM,IAAI,cAAc;QACvC,OAAO,CAAC,MAAM,CAAC,MAAM,IAAI,cAAc;QACvC,WAAW,CAAC,UAAU,KAAK,OAAO,CAAC,MAAM,CAAC,MAAM;QAChD,WAAW,CAAC,UAAU,KAAK,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;IACnD,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAC9E,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,QAA2B,EACuB,EAAE,CAElD;IACE,EAAE,IAAI,EAAE,UAAU,EAAE;IACpB,EAAE,IAAI,EAAE,SAAS,EAAE;IACnB,EAAE,IAAI,EAAE,eAAe,EAAE;IACzB,EAAE,IAAI,EAAE,WAAW,EAAE;IACrB,EAAE,IAAI,EAAE,WAAW,EAAE;IACrB,EAAE,IAAI,EAAE,aAAa,EAAE;CAE1B,CAAC,MAAM,CACN,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;IACjB,IAAI,OAAO,YAAY,4BAA4B;QAAE,OAAO,OAAO,CAAC;IACpE,MAAM,IAAI,GAAG,+BAA+B,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC7D,OAAO,CACL,IAAI;QACJ,IAAI,4BAA4B,CAAC;YAC/B,OAAO,EAAE,qDAAqD;YAC9D,MAAM,EAAE,iBAAiB;SAC1B,CAAC,CACH,CAAC;AACJ,CAAC,EACD,QAAQ,CACT,CAAC;AAEJ,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,KAK3C,EAAE,EAAE,CAAC,CAAC;IACL,gBAAgB,EAAE,cAAc;IAChC,WAAW,EAAE,KAAK,CAAC,OAAO,CAAC,kBAAkB;IAC7C,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM;IAChC,QAAQ,EAAE,KAAK,CAAC,gBAAgB;IAChC,YAAY,EAAE,KAAK,CAAC,OAAO,CAAC,kBAAkB;IAC9C,GAAG,EAAE,KAAK,CAAC,GAAG;IACd,YAAY,EAAE,gCAAgC;IAC9C,eAAe,EAAE,mCAAmC;IACpD,kBAAkB,EAAE,UAAU,CAC5B,iBAAiB,KAAK,CAAC,OAAO,CAAC,kBAAkB,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAC5E;IACD,aAAa,EAAE,UAAU,CACvB,yBAAyB,KAAK,CAAC,OAAO,CAAC,kBAAkB,EAAE,CAC5D;IACD,YAAY,EAAE,KAAK,CAAC,YAAY;IAChC,kBAAkB,EAAE,KAAK,CAAC,OAAO,CAAC,kBAAkB;IACpD,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM;CAC7B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,OAAsB,EACO,EAAE,CAC/B,cAAc,CAAC;IACb,eAAe,EAAE,OAAO,CAAC,eAAe;IACxC,aAAa,EAAE,OAAO,CAAC,aAAa;IACpC,QAAQ,EAAE,KAAK;IACf,aAAa,EAAE,OAAO,CAAC,aAAa;IACpC,cAAc,EAAE,OAAO,CAAC,YAAY,EAAE,SAAS;IAC/C,SAAS,EAAE,6BAA6B,CAAC,OAAO,CAAC,QAAQ,CAAC;IAC1D,QAAQ,EAAE,OAAO,CAAC,QAAQ;IAC1B,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;IAC9C,MAAM,EAAE,OAAO,CAAC,MAAM;CACvB,CAAC,CAAC;AAEL,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,MAAwB,EACQ,EAAE,CAClC,cAAc,CAAC;IACb,UAAU,EAAE,MAAM,CAAC,UAAU;IAC7B,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;IAC7C,eAAe,EAAE,MAAM,CAAC,eAAe;IACvC,cAAc,EAAE,MAAM,CAAC,cAAc;IACrC,YAAY,EAAE,MAAM,CAAC,YAAY;IACjC,SAAS,EAAE,6BAA6B,CAAC,MAAM,CAAC,QAAQ,CAAC;IACzD,SAAS,EAAE,MAAM,CAAC,SAAS;IAC3B,YAAY,EAAE,MAAM,CAAC,YAAY;IACjC,eAAe,EAAE,MAAM,CAAC,eAAe;IACvC,uBAAuB,EAAE,MAAM,CAAC,uBAAuB;IACvD,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;IACzC,cAAc,EAAE,MAAM,CAAC,cAAc;IACrC,aAAa,EAAE,MAAM,CAAC,aAAa;IACnC,kBAAkB,EAAE,MAAM,CAAC,OAAO,CAAC,kBAAkB;IACrD,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;IAC3C,eAAe,EAAE,MAAM,CAAC,eAAe;IACvC,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,cAAc,EAAE,MAAM,CAAC,cAAc;IACrC,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC,CAAC;AASL,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,KAIxC,EAAiC,EAAE,CAClC,cAAc,CAAC;IACb,QAAQ,EAAE,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAE;IAC/B,OAAO,EAAE,EAAE,GAAG,KAAK,CAAC,OAAO,EAAE;IAC7B,QAAQ,EAAE,KAAK,CAAC,QAAQ;CACzB,CAAC,CAAC;AAEL,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,OAAsB,EACtB,KAA+B,EAC/B,QAAkC,EAClC,EAAE,CAAC,CAAC;IACJ,WAAW,EAAE,OAAO,CAAC,kBAAkB;IACvC,aAAa,EAAE,QAAQ,CAAC,aAAa;IACrC,SAAS,EAAE,KAAK,CAAC,SAAS;IAC1B,QAAQ,EAAE,KAAK,CAAC,QAAQ;IACxB,MAAM,EAAE,QAAQ,CAAC,MAAM;IACvB,KAAK,EAAE,QAAQ,CAAC,KAAK;IACrB,KAAK,EAAE,OAAO,CAAC,iBAAiB,GAAG,CAAC;IACpC,KAAK,EAAE,cAAuB;IAC9B,YAAY,EAAE,qCAAqC;IACnD,eAAe,EAAE,wCAAwC;IACzD,YAAY,EAAE,kBAAkB,CAAC,QAAQ,CAAC;IAC1C,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;IAC9C,MAAM,EAAE,OAAO,CAAC,MAAM;CACvB,CAAC,CAAC"}

package/dist/session/testing/built-session-execution-provider.d.ts

@@ -0,0 +1,36 @@
+import type { BuiltSessionOwnerKind } from "./built-session-execution-policy.js";
+/**
+ * Declarative inputs for the one closed, interruptible official fake. This
+ * module intentionally has no runtime exports: provider construction and all
+ * mutable fake state stay inside openBuiltSessionTestHarness.
+ */
+export type FakeProviderOutcome = "defect" | "empty" | "eof" | "invalid" | "late" | "lost" | "never" | "ok" | "populated";
+export type FakeProviderGateName = "empty" | "exit" | "open" | "prepare" | "start" | "startAck" | "terminate";
+export type FakeProviderScript = {
+    readonly census?: FakeProviderOutcome;
+    readonly censusDefectOnCall?: number;
+    readonly censusNeverOnCall?: number;
+    readonly defectAfterPrepared?: boolean;
+    readonly descendantAfterStart?: boolean;
+    readonly emptyProof?: FakeProviderOutcome;
+    readonly exitCode?: number;
+    readonly handleOwnerKind?: BuiltSessionOwnerKind;
+    readonly heldGates?: readonly FakeProviderGateName[];
+    readonly helperEofAt?: "after_prepared" | "before_prepared" | "during_cleanup";
+    readonly identityMismatch?: boolean;
+    readonly open?: FakeProviderOutcome;
+    readonly openDefectOnCall?: number;
+    readonly populatedEmpty?: boolean;
+    readonly populatedSessionEmpty?: boolean;
+    readonly postDeadline?: boolean;
+    readonly prepare?: FakeProviderOutcome;
+    readonly reclaim?: FakeProviderOutcome;
+    readonly sessionEmptyProof?: FakeProviderOutcome;
+    readonly start?: FakeProviderOutcome;
+    readonly stderrError?: boolean;
+    readonly stdinError?: boolean;
+    readonly stdout?: string;
+    readonly stdoutError?: boolean;
+    readonly terminate?: FakeProviderOutcome;
+};
+//# sourceMappingURL=built-session-execution-provider.d.ts.map

package/dist/session/testing/built-session-execution-provider.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"built-session-execution-provider.d.ts","sourceRoot":"","sources":["../../../src/session/testing/built-session-execution-provider.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAEjF;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAC3B,QAAQ,GACR,OAAO,GACP,KAAK,GACL,SAAS,GACT,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,WAAW,CAAC;AAEhB,MAAM,MAAM,oBAAoB,GAC9B,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,GAAG,OAAO,GAAG,UAAU,GAAG,WAAW,CAAC;AAE7E,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,MAAM,CAAC,EAAE,mBAAmB,CAAC;IACtC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,OAAO,CAAC;IACvC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,OAAO,CAAC;IACxC,QAAQ,CAAC,UAAU,CAAC,EAAE,mBAAmB,CAAC;IAC1C,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,eAAe,CAAC,EAAE,qBAAqB,CAAC;IACjD,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACrD,QAAQ,CAAC,WAAW,CAAC,EACnB,gBAAgB,GAAG,iBAAiB,GAAG,gBAAgB,CAAC;IAC1D,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,IAAI,CAAC,EAAE,mBAAmB,CAAC;IACpC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,qBAAqB,CAAC,EAAE,OAAO,CAAC;IACzC,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,OAAO,CAAC,EAAE,mBAAmB,CAAC;IACvC,QAAQ,CAAC,OAAO,CAAC,EAAE,mBAAmB,CAAC;IACvC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,mBAAmB,CAAC;IACjD,QAAQ,CAAC,KAAK,CAAC,EAAE,mBAAmB,CAAC;IACrC,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,SAAS,CAAC,EAAE,mBAAmB,CAAC;CAC1C,CAAC"}

package/dist/session/testing/built-session-execution-provider.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=built-session-execution-provider.js.map

package/dist/session/testing/built-session-execution-provider.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"built-session-execution-provider.js","sourceRoot":"","sources":["../../../src/session/testing/built-session-execution-provider.ts"],"names":[],"mappings":""}

package/dist/session/testing/built-session-execution-receipt.d.ts

@@ -0,0 +1,331 @@
+import { Effect, Schema } from "effect";
+import type { BuiltSessionReceiptVerifier } from "./built-session-execution-authenticator.js";
+import { BuiltSessionAuthorityFailure } from "./built-session-execution-failure.js";
+import type { BuiltSessionOwnerKind } from "./built-session-execution-policy.js";
+import { type BuiltSessionDecoderError } from "./built-session-structural-gate.js";
+export declare const preparedReceiptSchema: Schema.Struct<{
+    readonly capability: Schema.Literal<"exact_empty_proof">;
+    readonly phase: Schema.Literal<"prepared">;
+    readonly preparedAt: Schema.Number;
+    readonly stopped: Schema.Literal<true>;
+    readonly artifactIdentity: Schema.String;
+    readonly attestation: Schema.String;
+    readonly authorityId: Schema.String;
+    readonly boundaryId: Schema.String;
+    readonly deadline: Schema.Number;
+    readonly invocationId: Schema.String;
+    readonly order: Schema.Int;
+    readonly providerName: Schema.String;
+    readonly providerVersion: Schema.String;
+    readonly registrationDigest: Schema.String;
+    readonly requestDigest: Schema.String;
+    readonly rootIdentity: Schema.String;
+    readonly sessionAuthorityId: Schema.String;
+    readonly treeId: Schema.String;
+}>;
+export declare const registrationReceiptSchema: Schema.Struct<{
+    readonly nonce: Schema.String;
+    readonly phase: Schema.Literal<"registered">;
+    readonly registeredAt: Schema.Number;
+    readonly artifactIdentity: Schema.String;
+    readonly attestation: Schema.String;
+    readonly authorityId: Schema.String;
+    readonly boundaryId: Schema.String;
+    readonly deadline: Schema.Number;
+    readonly invocationId: Schema.String;
+    readonly order: Schema.Int;
+    readonly providerName: Schema.String;
+    readonly providerVersion: Schema.String;
+    readonly registrationDigest: Schema.String;
+    readonly requestDigest: Schema.String;
+    readonly rootIdentity: Schema.String;
+    readonly sessionAuthorityId: Schema.String;
+    readonly treeId: Schema.String;
+}>;
+export declare const startedReceiptSchema: Schema.Struct<{
+    readonly phase: Schema.Literal<"started">;
+    readonly startedAt: Schema.Number;
+    readonly artifactIdentity: Schema.String;
+    readonly attestation: Schema.String;
+    readonly authorityId: Schema.String;
+    readonly boundaryId: Schema.String;
+    readonly deadline: Schema.Number;
+    readonly invocationId: Schema.String;
+    readonly order: Schema.Int;
+    readonly providerName: Schema.String;
+    readonly providerVersion: Schema.String;
+    readonly registrationDigest: Schema.String;
+    readonly requestDigest: Schema.String;
+    readonly rootIdentity: Schema.String;
+    readonly sessionAuthorityId: Schema.String;
+    readonly treeId: Schema.String;
+}>;
+export declare const terminationReceiptSchema: Schema.Struct<{
+    readonly phase: Schema.Literal<"terminated">;
+    readonly terminatedAt: Schema.Number;
+    readonly artifactIdentity: Schema.String;
+    readonly attestation: Schema.String;
+    readonly authorityId: Schema.String;
+    readonly boundaryId: Schema.String;
+    readonly deadline: Schema.Number;
+    readonly invocationId: Schema.String;
+    readonly order: Schema.Int;
+    readonly providerName: Schema.String;
+    readonly providerVersion: Schema.String;
+    readonly registrationDigest: Schema.String;
+    readonly requestDigest: Schema.String;
+    readonly rootIdentity: Schema.String;
+    readonly sessionAuthorityId: Schema.String;
+    readonly treeId: Schema.String;
+}>;
+export declare const emptyReceiptSchema: Schema.Struct<{
+    readonly phase: Schema.Literal<"empty">;
+    readonly populated: Schema.Literal<0>;
+    readonly provenAt: Schema.Number;
+    readonly artifactIdentity: Schema.String;
+    readonly attestation: Schema.String;
+    readonly authorityId: Schema.String;
+    readonly boundaryId: Schema.String;
+    readonly deadline: Schema.Number;
+    readonly invocationId: Schema.String;
+    readonly order: Schema.Int;
+    readonly providerName: Schema.String;
+    readonly providerVersion: Schema.String;
+    readonly registrationDigest: Schema.String;
+    readonly requestDigest: Schema.String;
+    readonly rootIdentity: Schema.String;
+    readonly sessionAuthorityId: Schema.String;
+    readonly treeId: Schema.String;
+}>;
+export declare const sessionEmptyReceiptSchema: Schema.Struct<{
+    readonly phase: Schema.Literal<"session_empty">;
+    readonly populated: Schema.Literal<0>;
+    readonly provenAt: Schema.Number;
+    readonly artifactIdentity: Schema.String;
+    readonly attestation: Schema.String;
+    readonly authorityId: Schema.String;
+    readonly boundaryId: Schema.String;
+    readonly deadline: Schema.Number;
+    readonly invocationId: Schema.String;
+    readonly order: Schema.Int;
+    readonly providerName: Schema.String;
+    readonly providerVersion: Schema.String;
+    readonly registrationDigest: Schema.String;
+    readonly requestDigest: Schema.String;
+    readonly rootIdentity: Schema.String;
+    readonly sessionAuthorityId: Schema.String;
+    readonly treeId: Schema.String;
+}>;
+export declare const rootCreationReceiptSchema: Schema.Struct<{
+    readonly attestation: Schema.String;
+    readonly authorityId: Schema.String;
+    readonly canonicalPath: Schema.String;
+    readonly createdAt: Schema.Number;
+    readonly deadline: Schema.Number;
+    readonly device: Schema.Number;
+    readonly inode: Schema.Number;
+    readonly order: Schema.Int;
+    readonly phase: Schema.Literal<"root_created">;
+    readonly providerName: Schema.String;
+    readonly providerVersion: Schema.String;
+    readonly rootIdentity: Schema.String;
+    readonly sessionAuthorityId: Schema.String;
+    readonly treeId: Schema.String;
+}>;
+export type BuiltSessionPreparedReceipt = typeof preparedReceiptSchema.Type;
+export type BuiltSessionRegistrationReceipt = typeof registrationReceiptSchema.Type;
+export type BuiltSessionStartedReceipt = typeof startedReceiptSchema.Type;
+export type BuiltSessionTerminationReceipt = typeof terminationReceiptSchema.Type;
+export type BuiltSessionEmptyReceipt = typeof emptyReceiptSchema.Type;
+export type BuiltSessionSessionEmptyReceipt = typeof sessionEmptyReceiptSchema.Type;
+export type BuiltSessionRootCreationReceipt = typeof rootCreationReceiptSchema.Type;
+export type BuiltSessionLifecycleReceipt = BuiltSessionEmptyReceipt | BuiltSessionPreparedReceipt | BuiltSessionRegistrationReceipt | BuiltSessionSessionEmptyReceipt | BuiltSessionStartedReceipt | BuiltSessionTerminationReceipt;
+export type BuiltSessionReceiptExpectation = {
+    readonly artifactIdentity: string;
+    readonly authorityId: string;
+    readonly boundaryId: string;
+    readonly deadline: number;
+    readonly invocationId: string;
+    readonly now: number;
+    readonly providerName: string;
+    readonly providerVersion: string;
+    readonly registrationDigest: string;
+    readonly requestDigest: string;
+    readonly rootIdentity: string;
+    readonly sessionAuthorityId: string;
+    readonly treeId: string;
+};
+export type BuiltSessionRequestDigestInput = {
+    readonly cleanupReserveMilliseconds: number;
+    readonly cliArguments: readonly string[];
+    readonly environment: Record<string, string | undefined>;
+    readonly maximumTotalMilliseconds: number;
+    readonly maxOutputBytes: number;
+    readonly ownerKind: BuiltSessionOwnerKind;
+    readonly program: string;
+    readonly stdin?: string;
+};
+export declare const decodePreparedReceipt: (input: unknown) => Effect.Effect<{
+    readonly capability: "exact_empty_proof";
+    readonly phase: "prepared";
+    readonly preparedAt: number;
+    readonly stopped: true;
+    readonly artifactIdentity: string;
+    readonly attestation: string;
+    readonly authorityId: string;
+    readonly boundaryId: string;
+    readonly deadline: number;
+    readonly invocationId: string;
+    readonly order: number;
+    readonly providerName: string;
+    readonly providerVersion: string;
+    readonly registrationDigest: string;
+    readonly requestDigest: string;
+    readonly rootIdentity: string;
+    readonly sessionAuthorityId: string;
+    readonly treeId: string;
+}, Schema.SchemaError | import("./built-session-structural-gate.js").BuiltSessionStructuralError, never>;
+export declare const decodeRegistrationReceipt: (input: unknown) => Effect.Effect<{
+    readonly nonce: string;
+    readonly phase: "registered";
+    readonly registeredAt: number;
+    readonly artifactIdentity: string;
+    readonly attestation: string;
+    readonly authorityId: string;
+    readonly boundaryId: string;
+    readonly deadline: number;
+    readonly invocationId: string;
+    readonly order: number;
+    readonly providerName: string;
+    readonly providerVersion: string;
+    readonly registrationDigest: string;
+    readonly requestDigest: string;
+    readonly rootIdentity: string;
+    readonly sessionAuthorityId: string;
+    readonly treeId: string;
+}, Schema.SchemaError | import("./built-session-structural-gate.js").BuiltSessionStructuralError, never>;
+export declare const decodeStartedReceipt: (input: unknown) => Effect.Effect<{
+    readonly phase: "started";
+    readonly startedAt: number;
+    readonly artifactIdentity: string;
+    readonly attestation: string;
+    readonly authorityId: string;
+    readonly boundaryId: string;
+    readonly deadline: number;
+    readonly invocationId: string;
+    readonly order: number;
+    readonly providerName: string;
+    readonly providerVersion: string;
+    readonly registrationDigest: string;
+    readonly requestDigest: string;
+    readonly rootIdentity: string;
+    readonly sessionAuthorityId: string;
+    readonly treeId: string;
+}, Schema.SchemaError | import("./built-session-structural-gate.js").BuiltSessionStructuralError, never>;
+export declare const decodeTerminationReceipt: (input: unknown) => Effect.Effect<{
+    readonly phase: "terminated";
+    readonly terminatedAt: number;
+    readonly artifactIdentity: string;
+    readonly attestation: string;
+    readonly authorityId: string;
+    readonly boundaryId: string;
+    readonly deadline: number;
+    readonly invocationId: string;
+    readonly order: number;
+    readonly providerName: string;
+    readonly providerVersion: string;
+    readonly registrationDigest: string;
+    readonly requestDigest: string;
+    readonly rootIdentity: string;
+    readonly sessionAuthorityId: string;
+    readonly treeId: string;
+}, Schema.SchemaError | import("./built-session-structural-gate.js").BuiltSessionStructuralError, never>;
+export declare const decodeEmptyReceipt: (input: unknown) => Effect.Effect<{
+    readonly phase: "empty";
+    readonly populated: 0;
+    readonly provenAt: number;
+    readonly artifactIdentity: string;
+    readonly attestation: string;
+    readonly authorityId: string;
+    readonly boundaryId: string;
+    readonly deadline: number;
+    readonly invocationId: string;
+    readonly order: number;
+    readonly providerName: string;
+    readonly providerVersion: string;
+    readonly registrationDigest: string;
+    readonly requestDigest: string;
+    readonly rootIdentity: string;
+    readonly sessionAuthorityId: string;
+    readonly treeId: string;
+}, Schema.SchemaError | import("./built-session-structural-gate.js").BuiltSessionStructuralError, never>;
+export declare const decodeSessionEmptyReceipt: (input: unknown) => Effect.Effect<{
+    readonly phase: "session_empty";
+    readonly populated: 0;
+    readonly provenAt: number;
+    readonly artifactIdentity: string;
+    readonly attestation: string;
+    readonly authorityId: string;
+    readonly boundaryId: string;
+    readonly deadline: number;
+    readonly invocationId: string;
+    readonly order: number;
+    readonly providerName: string;
+    readonly providerVersion: string;
+    readonly registrationDigest: string;
+    readonly requestDigest: string;
+    readonly rootIdentity: string;
+    readonly sessionAuthorityId: string;
+    readonly treeId: string;
+}, Schema.SchemaError | import("./built-session-structural-gate.js").BuiltSessionStructuralError, never>;
+export declare const decodeRootCreationReceipt: (input: unknown) => Effect.Effect<{
+    readonly attestation: string;
+    readonly authorityId: string;
+    readonly canonicalPath: string;
+    readonly createdAt: number;
+    readonly deadline: number;
+    readonly device: number;
+    readonly inode: number;
+    readonly order: number;
+    readonly phase: "root_created";
+    readonly providerName: string;
+    readonly providerVersion: string;
+    readonly rootIdentity: string;
+    readonly sessionAuthorityId: string;
+    readonly treeId: string;
+}, Schema.SchemaError | import("./built-session-structural-gate.js").BuiltSessionStructuralError, never>;
+export declare const digestUtf8: (value: string) => string;
+export declare const unboundRootIdentityDigest: string;
+export declare const unregisteredRegistrationDigest: string;
+export declare const digestRootIdentity: (input: {
+    readonly canonicalPath: string;
+    readonly device: number;
+    readonly inode: number;
+}) => string;
+export type BuiltSessionRequestIdentity = {
+    readonly argumentBytes: number;
+    readonly argumentCount: number;
+    readonly argumentsDigest: string;
+    readonly cleanupReserveMilliseconds: number;
+    readonly environmentDigest: string;
+    readonly environmentKeys: readonly string[];
+    readonly maximumTotalMilliseconds: number;
+    readonly maxOutputBytes: number;
+    readonly ownerKind: BuiltSessionOwnerKind;
+    readonly program: string;
+    readonly requestDigest: string;
+    readonly stdinBytes: number;
+    readonly stdinDigest: string;
+};
+export declare const digestInvocationRequest: (input: BuiltSessionRequestDigestInput) => string;
+export declare const captureRequestIdentity: (input: BuiltSessionRequestDigestInput) => BuiltSessionRequestIdentity;
+export declare const occurrenceTime: (receipt: BuiltSessionLifecycleReceipt | BuiltSessionRootCreationReceipt) => number;
+export declare const acceptLifecycleReceipt: <TReceipt extends BuiltSessionLifecycleReceipt>(input: {
+    readonly decode: (value: unknown) => Effect.Effect<TReceipt, BuiltSessionDecoderError>;
+    readonly expected: BuiltSessionReceiptExpectation;
+    readonly lastAcceptedAt: number;
+    readonly lastAcceptedOrder: number;
+    readonly receipt: unknown;
+    readonly verifier: BuiltSessionReceiptVerifier;
+}) => Effect.Effect<TReceipt, BuiltSessionAuthorityFailure, never>;
+//# sourceMappingURL=built-session-execution-receipt.d.ts.map

package/dist/session/testing/built-session-execution-receipt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"built-session-execution-receipt.d.ts","sourceRoot":"","sources":["../../../src/session/testing/built-session-execution-receipt.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAExC,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,4CAA4C,CAAC;AAC9F,OAAO,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AACpF,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,EACL,KAAK,wBAAwB,EAG9B,MAAM,oCAAoC,CAAC;AAgC5C,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;EAMhC,CAAC;AAEH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;EAKpC,CAAC;AAEH,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;EAI/B,CAAC;AAEH,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;EAInC,CAAC;AAEH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;EAK7B,CAAC;AAEH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;EAKpC,CAAC;AAEH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;EAepC,CAAC;AAEH,MAAM,MAAM,2BAA2B,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAC;AAC5E,MAAM,MAAM,+BAA+B,GACzC,OAAO,yBAAyB,CAAC,IAAI,CAAC;AACxC,MAAM,MAAM,0BAA0B,GAAG,OAAO,oBAAoB,CAAC,IAAI,CAAC;AAC1E,MAAM,MAAM,8BAA8B,GACxC,OAAO,wBAAwB,CAAC,IAAI,CAAC;AACvC,MAAM,MAAM,wBAAwB,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAC;AACtE,MAAM,MAAM,+BAA+B,GACzC,OAAO,yBAAyB,CAAC,IAAI,CAAC;AACxC,MAAM,MAAM,+BAA+B,GACzC,OAAO,yBAAyB,CAAC,IAAI,CAAC;AAExC,MAAM,MAAM,4BAA4B,GACpC,wBAAwB,GACxB,2BAA2B,GAC3B,+BAA+B,GAC/B,+BAA+B,GAC/B,0BAA0B,GAC1B,8BAA8B,CAAC;AAEnC,MAAM,MAAM,8BAA8B,GAAG;IAC3C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,8BAA8B,GAAG;IAC3C,QAAQ,CAAC,0BAA0B,EAAE,MAAM,CAAC;IAC5C,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC;IACzD,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,qBAAqB,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB,CAAC;AAwBF,eAAO,MAAM,qBAAqB,UAVjB,OAAO;;;;;;;;;;;;;;;;;;;wGAetB,CAAC;AACH,eAAO,MAAM,yBAAyB,UAhBrB,OAAO;;;;;;;;;;;;;;;;;;wGAoBtB,CAAC;AACH,eAAO,MAAM,oBAAoB,UArBhB,OAAO;;;;;;;;;;;;;;;;;wGAwBtB,CAAC;AACH,eAAO,MAAM,wBAAwB,UAzBpB,OAAO;;;;;;;;;;;;;;;;;wGA4BtB,CAAC;AACH,eAAO,MAAM,kBAAkB,UA7Bd,OAAO;;;;;;;;;;;;;;;;;;wGAiCtB,CAAC;AACH,eAAO,MAAM,yBAAyB,UAlCrB,OAAO;;;;;;;;;;;;;;;;;;wGAsCtB,CAAC;AACH,eAAO,MAAM,yBAAyB,UAvCrB,OAAO;;;;;;;;;;;;;;;wGAyDvB,CAAC;AAEF,eAAO,MAAM,UAAU,GAAI,OAAO,MAAM,KAAG,MACO,CAAC;AAEnD,eAAO,MAAM,yBAAyB,QAAwB,CAAC;AAE/D,eAAO,MAAM,8BAA8B,QAA6B,CAAC;AAEzE,eAAO,MAAM,kBAAkB,GAAI,OAAO;IACxC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,KAAG,MAGD,CAAC;AAEJ,MAAM,MAAM,2BAA2B,GAAG;IACxC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,0BAA0B,EAAE,MAAM,CAAC;IAC5C,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,qBAAqB,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B,CAAC;AAYF,eAAO,MAAM,uBAAuB,GAClC,OAAO,8BAA8B,KACpC,MAgBF,CAAC;AAEF,eAAO,MAAM,sBAAsB,GACjC,OAAO,8BAA8B,KACpC,2BAuBF,CAAC;AA0CF,eAAO,MAAM,cAAc,GACzB,SAAS,4BAA4B,GAAG,+BAA+B,KACtE,MAOF,CAAC;AAmDF,eAAO,MAAM,sBAAsB,GACtB,QAAQ,SAAS,4BAA4B;qBACrC,CACf,KAAK,EAAE,OAAO,KACX,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,wBAAwB,CAAC;uBACnC,8BAA8B;6BACxB,MAAM;gCACH,MAAM;sBAChB,OAAO;uBACN,2BAA2B;kEAYjD,CAAC"}