@sema-agent/core/dist/core/runner/prepare-inherited-gate.js

Stateless, task-oriented AI agent core

import { forkGovernanceDenial, resolveDelegationEntryCaps } from "../../agents/subagent.js";
import { isLiveQuestionFace } from "../ask-question.js";
import { parentSpecSeatOf } from "../parent-spec-seat.js";
import { createPreToolUseConstraintPolicy } from "../hooks.js";
import { continuesLineage } from "../session-policy-store.js";
import { StubExecutionEnv } from "../stub-env.js";
import { askApproverIdentity, durableMandateSourceOf } from "../tool-policy.js";
import { deliverEngineNotice } from "../types.js";
import { PermissionModeController, modeRequestAfterResume } from "../mode-policy.js";
import { SessionModeSeats } from "./session-mode-seats.js";
import { recordedModeSeed } from "../checkpoint-store.js";
import { frozenSkillGrants } from "../skill-grant.js";
import { attachRebuiltDenialTrackers, createDenialLimitStop } from "./denial-limit-arms.js";
import { asThrownError } from "../thrown-value.js";
export function prepareInheritedGate(input) {
    const { spec, deps, internals, resume, sessions, sessionId, runId, hostTaskId, taskRootFinal, executionEnv, ownedEnv, lockedPreflight, toolFaceSnapshot, mountsCallerTool, promptProfile, resolvedInteractionPosture, permissionModeSeat, handsEnabled, reportUsage, harnessRef, skillGrants, forwardEvent, subagentRetain, worktreeIsolation, requestReview, requestStopAfterTurn, enterPlanMode, reminderMark, reminderDisclosureCounts, fileHistoryEnabled, historyScope, historyRoot, historyFs, abortRun } = input;
    const liveInheritedGate = internals?.inheritedGate;
    const seedInheritedGate = resume?.seed.inheritedGate;
    const inheritedAncestorRules = (() => {
        const seedRules = seedInheritedGate?.ancestorRules;
        const liveRules = liveInheritedGate?.ancestorRules;
        if (seedRules === undefined || seedRules.length === 0) {
            const only = liveRules ?? seedRules;
            return only === undefined ? undefined : [...only];
        }
        if (liveRules === undefined || liveRules.length === 0)
            return [...seedRules];
        const merged = seedRules.map((s) => {
            const live = liveRules.find((l) => l.sessionId === s.sessionId && l.principal === s.principal);
            const sameLineage = live === undefined || continuesLineage(live, s);
            return live !== undefined && sameLineage && live.rev >= s.rev ? live : s;
        });
        const extras = liveRules.filter((l) => !seedRules.some((s) => s.sessionId === l.sessionId && s.principal === l.principal));
        return [...merged, ...extras];
    })();
    const modeSeed = recordedModeSeed(seedInheritedGate);
    const inheritedShellGate = liveInheritedGate?.shellGate ?? modeSeed.shellGate;
    const inheritedParentConstraints = attachRebuiltDenialTrackers(liveInheritedGate?.parentConstraints, deps.autoMode?.denialLimit);
    const parentSeat = liveInheritedGate?.permissionModeCeiling;
    const ceiling = parentSeat ?? liveInheritedGate?.permissionMode;
    const announceModeFold = (receipt) => {
        if (receipt.foldedBy === undefined)
            return;
        const requested = receipt.requested ?? "default";
        const because = receipt.foldedBy === "operator_deny" ? "the deployment denies it for this principal" : receipt.foldedBy === "face_absent" ? "no auto-mode classifier face is wired on this deployment" : `the parent leg's mode is the ceiling a child's declaration is clamped under`;
        const message = `permission mode "${requested}" is not available on this leg (${because}) — it runs under "${receipt.effective}"`;
        deliverEngineNotice(deps.onNotice, { code: "config.permission_mode_unavailable", message, detail: { requested, effective: receipt.effective, by: receipt.foldedBy, sessionId, runId } });
        if (receipt.foldedBy === "inherited_ceiling" && parentSeat !== undefined) {
            deliverEngineNotice(deps.onNotice, { code: "config.permission_mode_unavailable", message: `${message} (a child leg, ${sessionId})`, detail: { requested, effective: receipt.effective, by: receipt.foldedBy, sessionId: parentSeat.sessionId, childSessionId: sessionId, runId } });
        }
    };
    const permissionMode = new PermissionModeController(modeRequestAfterResume(permissionModeSeat, modeSeed, resume?.outcome), ceiling, { onFold: announceModeFold, ...(modeSeed.prePlanMode !== undefined ? { prePlanMode: modeSeed.prePlanMode } : {}) });
    announceModeFold(permissionMode.receipt());
    const { ceiling: legModeCeiling, commit: commitLegModeCeiling, end: endModeCeiling } = (internals?.sessionModeSeats ?? new SessionModeSeats()).legCeiling(sessionId, permissionMode);
    const commitModeSeats = (legSignal) => {
        commitLegModeCeiling();
        parentSeat?.hold?.(permissionMode, legSignal);
    };
    const liveAdmittedOrg = liveInheritedGate?.admittedOrgScopes;
    const seedAdmittedOrg = seedInheritedGate?.admittedOrgScopes;
    const inheritedAdmittedOrgScopes = liveAdmittedOrg === undefined ? seedAdmittedOrg : seedAdmittedOrg === undefined ? liveAdmittedOrg : liveAdmittedOrg.filter((s) => seedAdmittedOrg.includes(s));
    const inheritedOrgGoverned = liveInheritedGate?.orgAdmissionGoverned === true || seedInheritedGate?.orgAdmissionGoverned === true;
    const checkpointOwnOrgVerdict = resume?.seed.inheritedGate?.ownAdmittedOrgScopes !== undefined
        ? { scopes: resume.seed.inheritedGate.ownAdmittedOrgScopes, writeScope: resume.seed.inheritedGate.ownAdmittedOrgWriteScope ?? null }
        : undefined;
    const refOwnOrgVerdict = internals?.ownOrgAdmissionRef?.current;
    const priorOwnOrgVerdict = checkpointOwnOrgVerdict === undefined
        ? refOwnOrgVerdict
        : refOwnOrgVerdict === undefined
            ? checkpointOwnOrgVerdict
            : {
                scopes: checkpointOwnOrgVerdict.scopes.filter((sc) => refOwnOrgVerdict.scopes.includes(sc)),
                writeScope: checkpointOwnOrgVerdict.writeScope !== null && checkpointOwnOrgVerdict.writeScope === refOwnOrgVerdict.writeScope
                    ? checkpointOwnOrgVerdict.writeScope
                    : null,
            };
    const orgGovernedProvenance = deps.memoryScopeAdmission !== undefined ||
        (deps.deploymentMemoryScopes !== undefined && deps.deploymentMemoryScopes.length > 0) ||
        deps.compliancePostureResolver !== undefined ||
        inheritedOrgGoverned ||
        priorOwnOrgVerdict !== undefined;
    const effectiveShellGate = spec.shellGate ?? inheritedShellGate;
    const ownSessionRulesRef = {};
    const ancestorSessionRulesRef = { current: new Map() };
    const ancestorRulesNow = () => inheritedAncestorRules === undefined ? undefined : inheritedAncestorRules.map((a, i) => ancestorSessionRulesRef.current.get(i) ?? a);
    const memoryAdmittedOrgScopesRef = { current: [] };
    const ownOrgVerdictRef = { current: undefined };
    const orgAdmissionCheckpointState = () => inheritedAdmittedOrgScopes !== undefined || ownOrgVerdictRef.current !== undefined || orgGovernedProvenance;
    const faceCheckpointSection = () => {
        const resolvedReadFace = input.resolvedReadFace();
        const handsLessResolvedFace = input.handsLessResolvedFace();
        const readDenyAdditionsNormalized = input.readDenyAdditionsNormalized();
        if (resolvedReadFace === undefined && resume !== undefined) {
            const seed = resume.seed.readFace;
            if (seed === undefined)
                return undefined;
            return { face: handsLessResolvedFace ?? seed.face, ...(seed.denyEntries !== undefined ? { denyEntries: seed.denyEntries.map((e) => ({ ...e })) } : {}) };
        }
        const face = resolvedReadFace ?? handsLessResolvedFace;
        if (face === undefined)
            return undefined;
        if (face === "open" || readDenyAdditionsNormalized.length > 0) {
            return { face, ...(readDenyAdditionsNormalized.length > 0 ? { denyEntries: readDenyAdditionsNormalized.map((e) => ({ ...e })) } : {}) };
        }
        return undefined;
    };
    const faceCheckpointState = () => faceCheckpointSection() !== undefined;
    const writeFaceCheckpointSection = () => {
        const seat = input.resolvedWriteFace() ?? input.handsLessResolvedWriteFace();
        return seat === undefined ? undefined : seat.inForce() === "open" ? { face: "open" } : seat.fenced ? { face: "roots" } : undefined;
    };
    const skillGrantCheckpointSection = () => frozenSkillGrants(skillGrants);
    const f012CheckpointState = () => (inheritedParentConstraints?.length ?? 0) > 0 ||
        seedInheritedGate?.constraintChain !== undefined ||
        internals?.delegationProvenance !== undefined;
    const frozenOnAsk = spec.onAsk ?? deps.onAsk;
    const hookEnvSource = (ownedEnv ?? deps.executionEnv) != null ? executionEnv : undefined;
    const notifyOwnHookCrash = (err) => {
        try {
            deps.onError?.(asThrownError(err), { phase: "hook", sessionId });
        }
        catch {
        }
    };
    const frozenOnQuestion = spec.onQuestion ?? deps.onQuestion;
    const parentSpecSeat = parentSpecSeatOf(spec, frozenOnQuestion);
    const provenanceForChildrenRef = {};
    const delegationProvenanceForChildren = () => provenanceForChildrenRef.current;
    const delegationSettlementRef = {};
    const delegationSettlementForChildren = () => delegationSettlementRef.current;
    const inheritedGateForChildren = () => {
        const autoModeDecider = permissionMode.current === "auto" ? input.autoModeDecider() : undefined;
        const autoModeDenialTracking = input.autoModeDenialTracking();
        const autoModeArming = input.autoModeArming();
        const ancestorRules = [
            ...(ancestorRulesNow() ?? []),
            ...(ownSessionRulesRef.current !== undefined ? [ownSessionRulesRef.current] : []),
        ];
        const ownCallerPolicy = lockedPreflight.toolPolicy;
        const durableMandate = durableMandateSourceOf({ forceDurableGate: input.runtimeCaps()?.forceDurableGate === true, durableApprovalDeclared: spec.durableApproval !== undefined, onAsk: frozenOnAsk }) !== undefined;
        const contentMandate = input.runtimeCaps()?.forceDurableGate === true ||
            (spec.durableApproval !== undefined && !isLiveQuestionFace(frozenOnQuestion));
        const ownPreToolUse = input.preToolUseObservational() ? undefined : input.hooks()?.preToolUse;
        const hookConstraint = ownPreToolUse !== undefined &&
            !(inheritedParentConstraints ?? []).some((pc) => pc.preToolUse === ownPreToolUse &&
                askApproverIdentity(pc.onAsk) === askApproverIdentity(frozenOnAsk) &&
                (pc.durableMandate === true) === durableMandate &&
                (pc.contentMandate === true) === contentMandate &&
                pc.hookEnv === hookEnvSource &&
                pc.autoMode?.decider === autoModeDecider)
            ? [
                {
                    policy: createPreToolUseConstraintPolicy(ownPreToolUse, input.hookEnvFace(), notifyOwnHookCrash, input.hookTimeoutMs()),
                    preToolUse: ownPreToolUse,
                    ...(hookEnvSource !== undefined ? { hookEnv: hookEnvSource } : {}),
                    ...(frozenOnAsk !== undefined ? { onAsk: frozenOnAsk } : {}),
                    ...(durableMandate ? { durableMandate: true } : {}),
                    ...(contentMandate ? { contentMandate: true } : {}),
                    ...(autoModeDecider !== undefined
                        ? { autoMode: { decider: autoModeDecider, ...(autoModeDenialTracking !== undefined ? { denialTracking: autoModeDenialTracking } : {}), ...(autoModeArming !== undefined ? { arming: autoModeArming } : {}), liveMode: legModeCeiling } }
                        : {}),
                },
            ]
            : [];
        const parentConstraints = [
            ...(inheritedParentConstraints ?? []),
            ...hookConstraint,
            ...(ownCallerPolicy !== undefined
                ? [
                    {
                        policy: ownCallerPolicy,
                        ...(frozenOnAsk !== undefined ? { onAsk: frozenOnAsk } : {}),
                        ...(durableMandate ? { durableMandate: true } : {}),
                        ...(contentMandate ? { contentMandate: true } : {}),
                        ...(autoModeDecider !== undefined
                            ? { autoMode: { decider: autoModeDecider, ...(autoModeDenialTracking !== undefined ? { denialTracking: autoModeDenialTracking } : {}), ...(autoModeArming !== undefined ? { arming: autoModeArming } : {}), liveMode: legModeCeiling } }
                            : {}),
                    },
                ]
                : []),
        ];
        return {
            ...(ancestorRules.length > 0 ? { ancestorRules } : {}),
            ...(effectiveShellGate !== undefined ? { shellGate: effectiveShellGate } : {}),
            permissionMode: permissionMode.current,
            permissionModeCeiling: legModeCeiling,
            ...(parentConstraints.length > 0 ? { parentConstraints } : {}),
            admittedOrgScopes: memoryAdmittedOrgScopesRef.current,
            ...(orgGovernedProvenance ? { orgAdmissionGoverned: true } : {}),
        };
    };
    const carrierReadFace = () => input.resolvedReadFace() ?? input.handsLessResolvedFace();
    const carrierWriteFace = () => (input.resolvedWriteFace() ?? input.handsLessResolvedWriteFace())?.inForce();
    const fullShellReachable = handsEnabled &&
        !(executionEnv instanceof StubExecutionEnv) &&
        spec.handsReadOnly !== true &&
        spec.excludeAllTools !== true &&
        !(toolFaceSnapshot.exclude?.includes("Bash") ?? false);
    const { gateStopRef, stopForDenialLimit } = createDenialLimitStop({ sessionId, runId, onNotice: deps.onNotice, abort: abortRun });
    const delegationEntryCapsResolved = resolveDelegationEntryCaps(deps.delegationEntryCaps);
    const enrichSpecToolCtx = (ctx) => {
        const agentForkDenial = input.agentForkDenial();
        const observersActive = input.observersActive();
        const readDenyAdditionsNormalized = input.readDenyAdditionsNormalized();
        const autoModeDecider = input.autoModeDecider();
        const centerAdoption = input.centerAdoption();
        return {
            ...ctx,
            delegationEntryCaps: delegationEntryCapsResolved,
            reportUsage,
            model: harnessRef.current?.getModel(),
            modelRef: harnessRef.current?.getModelRef(),
            thinkingLevel: harnessRef.current?.getThinkingLevel(),
            principal: spec.principal,
            ...(frozenOnAsk !== undefined ? { onAsk: frozenOnAsk } : {}),
            ...(frozenOnQuestion !== undefined ? { onQuestion: frozenOnQuestion } : {}),
            ...(spec.handsReadOnly === true ? { handsReadOnly: true } : {}),
            ...(carrierReadFace() === "roots" ? { readFace: "roots" } : {}),
            ...(carrierWriteFace() === "roots" ? { writeFace: "roots" } : {}),
            ...(readDenyAdditionsNormalized.length > 0 ? { readDenyPatterns: Object.freeze(readDenyAdditionsNormalized.map((e) => ({ ...e }))) } : {}),
            ...(spec.interactiveTools === false ? { interactiveTools: false } : {}),
            oneShot: spec.oneShot,
            mountsCallerTool,
            parentSpecSeat,
            ...(internals?.questionFaceStripped === true ? { questionFaceStripped: true } : {}),
            excludeTools: toolFaceSnapshot.exclude,
            deferTools: toolFaceSnapshot.defer,
            alwaysLoadTools: toolFaceSnapshot.alwaysLoad,
            ...(toolFaceSnapshot.restoreGated !== undefined ? { restoreGatedTools: toolFaceSnapshot.restoreGated } : {}),
            promptProfile,
            ...(spec.memoryPersistenceCapable !== undefined ? { memoryPersistenceCapable: spec.memoryPersistenceCapable } : {}),
            get memoryCaptureOptedOut() {
                return input.memoryEngineSession()?.captureOptOut?.optedOut() ?? false;
            },
            get memoryCaptureIndeterminate() {
                return input.memoryEngineSession()?.captureOptOut?.indeterminate() ?? false;
            },
            get memoryCaptureControlDir() {
                return input.memoryEngineSession()?.engine.controlPlaneDir;
            },
            get memoryCaptureAncestors() {
                const ctl = input.memoryEngineSession()?.engine.controlPlaneDir;
                return [...(internals?.memoryCaptureAncestors ?? []), { sessionId, ...(ctl !== undefined ? { controlDir: ctl } : {}) }];
            },
            getApiKeyAndHeaders: spec.getApiKeyAndHeaders,
            parentCwd: taskRootFinal,
            ...(fileHistoryEnabled ? { fileHistoryLineage: { scope: historyScope, root: historyRoot, fs: historyFs } } : {}),
            reminderMark,
            reminderDisclosureCounts,
            ...(centerAdoption !== undefined ? { centerArtifactDigest: centerAdoption.artifact.artifactDigest } : {}),
            ...(centerAdoption?.sourceRevision !== undefined ? { centerSourceRevision: centerAdoption.sourceRevision } : {}),
            activeSkillGrants: () => skillGrants.records(),
            activeRequestAllowedTools: () => input.requestAllowedTools.entries(),
            inheritedGateForChildren,
            delegationProvenanceForChildren,
            delegationSettlement: delegationSettlementForChildren,
            ...(autoModeDecider ? { autoModeReview: { decider: autoModeDecider } } : {}),
            ...(spec.durableApproval !== undefined ? { durableApprovalForChildren: { ...spec.durableApproval } } : {}),
            ...(input.checkpointSeat !== undefined ? { checkpointStoreForChildren: input.checkpointSeat } : {}),
            taskId: hostTaskId,
            ...(internals?.parentTaskId !== undefined ? { parentTaskId: internals.parentTaskId } : {}),
            ...(internals?.parentSessionId !== undefined ? { parentSessionId: internals.parentSessionId } : {}),
            ...(internals?.rootSessionId !== undefined ? { rootSessionId: internals.rootSessionId } : {}), ...(internals?.placementRoot !== undefined ? { placementRoot: internals.placementRoot } : {}),
            ...(internals?.explicitAgentName !== undefined ? { spawnedAgentName: internals.explicitAgentName } : {}),
            ...(internals?.peerSelfRef !== undefined ? { peerSelfRef: internals.peerSelfRef } : {}),
            ...(internals?.peerInboundChainRef !== undefined ? { peerInboundChainRef: internals.peerInboundChainRef } : {}),
            ...(deps.rosterStore !== undefined ? { roster: deps.rosterStore } : {}),
            ...(sessions.fork !== undefined
                ? {
                    hostSessionFork: async () => {
                        const forked = (await sessions.fork(sessionId, spec.principal ?? null)) ?? null;
                        if (forked === null)
                            return null;
                        return {
                            sessionId: forked,
                            release: async () => {
                                await sessions.release?.(forked);
                            },
                        };
                    },
                }
                : {}),
            sessionId,
            ...(spec.backgroundScope !== undefined ? { backgroundScope: spec.backgroundScope } : {}),
            ...(resolvedInteractionPosture !== undefined ? { interactionPosture: resolvedInteractionPosture } : {}),
            ...(deps.onBackgroundChildEvent ? { onBackgroundChildEvent: deps.onBackgroundChildEvent } : {}),
            ...(internals?.onTaskNotification ? { onTaskNotification: internals.onTaskNotification } : {}),
            ...(forwardEvent ? { forwardEvent } : {}),
            ...(internals?.onSubagentSpawn ? { onSubagentSpawn: internals.onSubagentSpawn } : {}),
            ...(subagentRetain ? { subagentRetain } : {}),
            ...(worktreeIsolation ? { worktreeIsolation } : {}),
            ...(internals?.insideFork === true ? { insideFork: true } : {}),
            ...(agentForkDenial !== undefined ? { forkAccess: { denied: agentForkDenial } } : {}),
            ...(observersActive ? { observersAllowed: true } : {}),
            requestReview,
            requestStopAfterTurn,
            ...(spec.enablePlanMode === true ? { enterPlanMode } : {}),
        };
    };
    return { liveInheritedGate, seedInheritedGate, inheritedAncestorRules, inheritedShellGate, inheritedParentConstraints, permissionMode, commitModeSeats, endModeCeiling, inheritedAdmittedOrgScopes, priorOwnOrgVerdict, orgGovernedProvenance, effectiveShellGate, ownSessionRulesRef, ancestorSessionRulesRef, ancestorRulesNow, memoryAdmittedOrgScopesRef, ownOrgVerdictRef, orgAdmissionCheckpointState, faceCheckpointSection, faceCheckpointState, writeFaceCheckpointSection, skillGrantCheckpointSection, f012CheckpointState, frozenOnAsk, hookEnvSource, notifyOwnHookCrash, frozenOnQuestion, parentSpecSeat, provenanceForChildrenRef, delegationSettlementRef, inheritedGateForChildren, carrierReadFace, carrierWriteFace, fullShellReachable, gateStopRef, stopForDenialLimit, enrichSpecToolCtx };
}