@sema-agent/core 7.44.0 → 7.46.0

package/dist/tools/fs/shell-reentry-text.js

@@ -1,25 +1,19 @@
-const CODE_BODY_OPERANDS = new Map([
-    ["trap", trapAction],
-    ["alias", aliasValues],
-    ["mapfile", callbacksOf(new Set(["d", "u", "n", "O", "C", "c", "s"]))],
-    ["readarray", callbacksOf(new Set(["d", "u", "n", "O", "C", "c", "s"]))],
-    ["compgen", callbacksOf(new Set(["o", "A", "G", "W", "P", "S", "X", "F", "C", "V"]))],
-]);
+import { literalHeredocBody, literalTextOf } from "../../shell/lex.js";
+import { readProgramPosition } from "./bash-program-position.js";
+import { printedText, programRow, readArgRoles, selectedOptions } from "./program-read-model.js";
+import { namesStandardInput } from "./safety.js";
 export function codeBodies(basename, args) {
-    return CODE_BODY_OPERANDS.get(basename)?.(args) ?? [];
-}
-function trapAction(args) {
-    let k = 0;
-    for (; k < args.length; k++) {
-        const a = args[k];
-        if (a === "--") {
-            k++;
-            break;
-        }
-        if (!a.startsWith("-") || a === "-")
-            break;
+    const row = programRow(basename);
+    switch (row?.body) {
+        case "first-operand": return firstOperandBody(row, args);
+        case "assignment-values": return aliasValues(args);
+        case "option-values": return shellTextOptionValues(row, args);
+        case undefined: return [];
     }
-    const action = args[k];
+}
+function firstOperandBody(row, args) {
+    const first = readArgRoles(row, args).find((e) => e.kind === "operand");
+    const action = first === undefined ? undefined : args[first.at];
     return action === undefined || action === "" || action === "-" ? [] : [action];
 }
 function aliasValues(args) {
@@ -31,43 +25,86 @@ function aliasValues(args) {
     }
     return values;
 }
-function callbacksOf(valueLetters) {
-    return (args) => {
-        const callbacks = [];
-        for (let k = 0; k < args.length; k++) {
-            const a = args[k];
-            if (a === "--" || !a.startsWith("-") || a === "-")
-                break;
-            for (let i = 1; i < a.length; i++) {
-                if (!valueLetters.has(a[i]))
-                    continue;
-                const value = i + 1 < a.length ? a.slice(i + 1) : args[++k];
-                if (a[i] === "C" && value !== undefined)
-                    callbacks.push(value);
-                break;
-            }
-        }
-        return callbacks;
-    };
+function shellTextOptionValues(row, args) {
+    const callbacks = [];
+    for (const e of optionSection(readArgRoles(row, args))) {
+        const text = shellTextOf(e, args);
+        if (text !== undefined)
+            callbacks.push(text);
+    }
+    return callbacks;
 }
-export function reentryText(basename, args) {
-    if (basename === "eval")
+function optionSection(events) {
+    const end = events.findIndex((e) => e.kind === "operand" || e.kind === "dash-word-operand" || e.kind === "end-of-options");
+    return end === -1 ? [...events] : events.slice(0, end);
+}
+function shellTextOf(e, args) {
+    if (e.kind === "value" && e.role?.kind === "shell-text")
+        return args[e.at];
+    if (e.kind === "option" && typeof e.reading === "object" && e.reading.role?.kind === "shell-text")
+        return e.reading.attached;
+    return undefined;
+}
+export function reentryText(basename, args, stdin) {
+    const row = programRow(basename);
+    const r = row?.reentry;
+    if (row === undefined || r?.kind !== "shell")
+        return undefined;
+    const text = argvText(row, r.text, args);
+    if (text !== undefined || stdin === undefined)
+        return text;
+    const source = scriptSourceOf(row, args);
+    return (r.stdin === "script" && source.stdin) || (source.file !== undefined && namesStandardInput(args[source.file])) ? stdin : undefined;
+}
+function argvText(row, at, args) {
+    if (at === "words")
         return args.length === 0 ? undefined : args.join(" ");
-    if (basename === "parallel")
+    if (at === "non-option-words")
         return args.filter((a) => !a.startsWith("-")).join(" ") || undefined;
-    if (basename === "source" || basename === ".")
+    if (at === "file-operand")
         return undefined;
-    for (let k = 0; k < args.length; k++) {
-        const a = args[k];
-        if (a === "--")
-            return undefined;
-        if (!a.startsWith("-") || a === "-")
-            return undefined;
-        const c = a.indexOf("c");
-        if (a.startsWith("--"))
-            continue;
-        if (c > 0)
-            return a.length > c + 1 ? a.slice(c + 1) : args[k + 1];
+    for (const e of optionSection(readArgRoles(row, args))) {
+        const text = shellTextOf(e, args);
+        if (text !== undefined)
+            return text;
     }
     return undefined;
 }
+export function scriptFileAt(basename, args) {
+    const row = programRow(basename);
+    return row?.reentry?.kind === "shell" && argvText(row, row.reentry.text, args) === undefined ? scriptSourceOf(row, args).file : undefined;
+}
+function scriptSourceOf(row, args) {
+    const events = readArgRoles(row, args);
+    const options = optionSection(events);
+    const end = events[options.length]?.at ?? args.length;
+    if (selectedOptions(row, args.slice(0, end), "one-implementation").some((o) => o.mode === "interactive"))
+        return { stdin: true };
+    const first = events.find((e) => e.kind === "operand");
+    if (first?.kind !== "operand" || first.dash !== undefined)
+        return { stdin: true };
+    return { file: first.at, stdin: options.some((e) => e.kind === "option" && e.reading === "speculative") };
+}
+export function stdinTextsOf(segment, piped) {
+    const out = [];
+    let replacesPipe = false;
+    for (const t of segment.tokens) {
+        if (t.kind === "heredoc") {
+            const literal = t.quoted ? t.body : literalHeredocBody(t.body);
+            out.push(literal === undefined ? { from: t.body } : { from: t.body, literal });
+        }
+        else if (t.kind === "redirect" && (t.fd ?? 0) === 0 && (t.op === "<<<" || t.op === "<" || (t.op === "<&" && t.dup !== "-"))) {
+            const literal = t.op === "<<<" && t.target !== undefined ? literalTextOf(t.target.pieces) : undefined;
+            out.push({ from: `${t.op}${t.target?.raw ?? t.dup ?? ""}`, ...(literal !== undefined ? { literal } : {}) });
+            replacesPipe = true;
+        }
+    }
+    return piped === undefined || replacesPipe ? out : [piped, ...out];
+}
+export function pipedTextOf(segment, argv) {
+    const from = `${segment.text.trim()} |`;
+    const pos = readProgramPosition(argv);
+    const program = pos.program;
+    const literal = program === undefined || pos.refusal !== undefined || literalTextOf(argv[program.index].pieces) === undefined ? undefined : printedText(programRow(program.basename), argv.slice(program.index + 1).map((w) => literalTextOf(w.pieces)));
+    return literal === undefined ? { from } : { from, literal };
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema-agent/core",
-  "version": "7.44.0",
+  "version": "7.46.0",
   "description": "Stateless, task-oriented AI agent core",
   "type": "module",
   "license": "BUSL-1.1",

package/test/export-surface.snapshot.json

@@ -1,7 +1,7 @@
 {
   "_comment": "design/87 L3 — frozen public export surface of src/index.ts (name -> kind). DO NOT edit by hand to silence a red test. A removed/changed entry = a SemVer-BREAKING change; bump MAJOR and update this fixture in the SAME commit (design/87 §4.2 / §5.2). Regenerate via REGEN in test/export-surface.test.ts.",
   "_tierComment": "#435 v1 — machine-readable layering of the public surface: stable = demonstrated by README.md / src/examples; internal = an `Internal`-marked name or a runner/engine deep-subtree declaration (the model seam src/engine/llm is excluded — it is the BYOM contract, not an engine internal); advanced = a supported export the front door does not walk you through. THIS IS AN INITIAL HEURISTIC, derived mechanically and expected to be refined ticket by ticket: no human reviewed these 1700+ entries one by one, and nothing here claims otherwise. Known bias: a short or English-word export name (ok, err, Result, Usage) can match ordinary prose in README.md and land `stable` on a coincidence. Every export MUST carry a tier — a new export with no row fails the gate in export-surface.test.ts.",
-  "count": 2601,
+  "count": 2624,
   "exports": {
     "A2ATaskState": "type",
     "A2ATaskStateReversal": "type",
@@ -212,6 +212,7 @@
     "BeforeWriteHook": "type",
     "BeforeWriteRequest": "interface",
     "BeforeWriteResult": "type",
+    "BoundPathRule": "interface",
     "BoundSkillGrants": "interface",
     "Brain": "interface",
     "BrainError": "class",
@@ -265,6 +266,8 @@
     "CacheBreakFinding": "interface",
     "CacheFamily": "type",
     "CacheIdentityElements": "interface",
+    "CallTargetReading": "interface",
+    "CallTargetView": "type",
     "CascadeAttempt": "interface",
     "CascadeConfig": "interface",
     "CascadeRunResult": "interface",
@@ -443,6 +446,7 @@
     "EMPTY_DURABLE_RULE_PARTITION": "variable",
     "EMPTY_USAGE_WINDOW_RECORD": "variable",
     "ENGINE_AUTHORITY_ENVELOPE_TAGS": "variable",
+    "ENGINE_BUILTIN_TOOL_NAMES": "variable",
     "ENGINE_NOTICE_CODES": "variable",
     "ENTER_PLAN_MODE_TOOL_NAME": "variable",
     "ENV_LIFETIME_SUSPEND_MARGIN_MS": "variable",
@@ -582,11 +586,13 @@
     "HARNESS_SECTION_ANCHOR": "variable",
     "HOOKS_INVALID_CODE": "variable",
     "HOOK_FAMILIES": "variable",
+    "HOST_DECIDERS": "variable",
     "HandbackState": "type",
     "HandsBandOptions": "interface",
     "HarvestRejection": "interface",
     "HarvestRejectionCode": "type",
     "HarvestReport": "interface",
+    "HeldQuestion": "type",
     "HookEnvCapabilities": "interface",
     "HookFamily": "type",
     "HookInvocationIdentity": "interface",
@@ -594,6 +600,7 @@
     "HookToolFailure": "interface",
     "HookToolOutput": "interface",
     "Hooks": "interface",
+    "HostDecider": "type",
     "HumanInputDelivery": "type",
     "HumanInputEvent": "type",
     "HumanInputFrame": "interface",
@@ -985,6 +992,7 @@
     "PathRuleBase": "type",
     "PathRuleBases": "type",
     "PathRuleDenyRow": "interface",
+    "PathRuleSpec": "interface",
     "PathTargetReading": "type",
     "PausedCause": "type",
     "PeerAdmission": "interface",
@@ -1334,6 +1342,8 @@
     "SCAN_FUSE_THRESHOLD": "variable",
     "SCENARIO_REGISTRY": "variable",
     "SCHEDULE_WAKEUP_TOOL_NAME": "variable",
+    "SCOPE_HOME_FORMS": "variable",
+    "SCOPE_HOME_NOT_DIRECTORY": "variable",
     "SCOPE_SEGMENT_MAX_ENCODED": "variable",
     "SEMA_DEFAULT_PACK": "variable",
     "SEND_MESSAGE_TOOL_NAME": "variable",
@@ -1356,6 +1366,7 @@
     "STARTER_RULES": "variable",
     "STATIC_VERIFICATION_PROMPT": "variable",
     "STEER_REPLAY_FACETS": "variable",
+    "STORE_FORM_REFUSAL_CODES": "variable",
     "STUB_ARCHIVED_LINE": "variable",
     "SUBAGENT_PROMPT": "variable",
     "SUBAGENT_SYSTEM_NOTE": "variable",
@@ -1381,6 +1392,7 @@
     "SchedulerError": "class",
     "SchedulerErrorCode": "type",
     "SchedulerToolContext": "interface",
+    "ScopeHomeForm": "type",
     "ScoredMemory": "interface",
     "ScoredMemoryEntry": "interface",
     "SeamProvenance": "type",
@@ -1488,6 +1500,9 @@
     "StopSource": "type",
     "StoreDurability": "type",
     "StoreFidelity": "type",
+    "StoreFormRefusal": "type",
+    "StoreFormRefusalCode": "type",
+    "StoreFormRefusalDetail": "type",
     "StoreReadBackShapeHooks": "interface",
     "StoredRules": "interface",
     "StoredSession": "class",
@@ -1516,6 +1531,7 @@
     "SystemInjection": "interface",
     "SystemInjectionPriority": "type",
     "SystemInjectionQueue": "class",
+    "TARGET_OUTSIDE_STORE": "variable",
     "TASK_OUTPUT_REPLAY_KINDS": "variable",
     "TEACHER_PROFILE": "variable",
     "TEACHER_PROMPT": "variable",
@@ -1656,6 +1672,7 @@
     "URL_SAFETY": "variable",
     "USAGE_WINDOW_REAP_MARGIN_MS": "variable",
     "USER_INPUT_UNDRAINED_CAUSES": "variable",
+    "USER_INPUT_UNDRAINED_FAMILIES": "variable",
     "UnarmedDenialLimitFallback": "interface",
     "UncoveredSegmentDetail": "interface",
     "UnifiedTaskOutput": "interface",
@@ -1668,6 +1685,7 @@
     "UsageWindowReading": "interface",
     "UsageWindowRecord": "interface",
     "UsageWindowStore": "interface",
+    "UserInputLane": "type",
     "UserInputUndrainedCause": "type",
     "UserMessage": "interface",
     "UserPromptSubmitContext": "interface",
@@ -2125,6 +2143,7 @@
     "hasSessionFork": "function",
     "hasToolContract": "function",
     "htmlToText": "function",
+    "injectionLaneOf": "function",
     "inlineUntrusted": "function",
     "inputKeysOf": "function",
     "inspectDegenerate": "function",
@@ -2144,10 +2163,12 @@
     "isDeclaredWrite": "function",
     "isDelegatedAgentTerminal": "function",
     "isDeniedBy": "function",
+    "isEngineBuiltinToolName": "function",
     "isEngineRefusal": "variable",
     "isFreshPeerRow": "function",
     "isFullyReadable": "function",
     "isGateKind": "function",
+    "isHostDecider": "variable",
     "isInstructionEntry": "function",
     "isIsolated": "function",
     "isModeReleaseReason": "function",
@@ -2331,6 +2352,7 @@
     "physicalPathOf": "function",
     "physicalPathOfExisting": "function",
     "planParseRepairs": "function",
+    "policyCannotAnswer": "function",
     "precheckEditedRuleText": "function",
     "predictMountedToolNames": "function",
     "prepareCardApproval": "function",
@@ -2402,6 +2424,7 @@
     "renderCrossSessionIdleNotice": "function",
     "renderCrossSessionMessageFrame": "function",
     "renderCrossSessionNoticeLine": "function",
+    "renderListEntry": "function",
     "renderNamedWorkflowListing": "function",
     "renderTaskNotificationXml": "function",
     "renderUntrustedCommandText": "function",
@@ -2561,7 +2584,7 @@
     "toolFaceProblem": "function",
     "toolIdentityOf": "function",
     "toolPolicyNameSets": "function",
-    "toolPolicyPathDenyRules": "function",
+    "toolPolicyPathRules": "function",
     "toolResultContentSegment": "function",
     "toolResultProvenanceOf": "function",
     "toolResultStoreContract": "function",
@@ -2815,6 +2838,7 @@
     "BeforeWriteHook": "stable",
     "BeforeWriteRequest": "advanced",
     "BeforeWriteResult": "advanced",
+    "BoundPathRule": "advanced",
     "BoundSkillGrants": "advanced",
     "Brain": "stable",
     "BrainError": "advanced",
@@ -2868,6 +2892,8 @@
     "CacheBreakFinding": "advanced",
     "CacheFamily": "internal",
     "CacheIdentityElements": "advanced",
+    "CallTargetReading": "advanced",
+    "CallTargetView": "advanced",
     "CascadeAttempt": "advanced",
     "CascadeConfig": "advanced",
     "CascadeRunResult": "advanced",
@@ -3046,6 +3072,7 @@
     "EMPTY_DURABLE_RULE_PARTITION": "advanced",
     "EMPTY_USAGE_WINDOW_RECORD": "advanced",
     "ENGINE_AUTHORITY_ENVELOPE_TAGS": "advanced",
+    "ENGINE_BUILTIN_TOOL_NAMES": "advanced",
     "ENGINE_NOTICE_CODES": "advanced",
     "ENTER_PLAN_MODE_TOOL_NAME": "advanced",
     "ENV_LIFETIME_SUSPEND_MARGIN_MS": "internal",
@@ -3185,11 +3212,13 @@
     "HARNESS_SECTION_ANCHOR": "advanced",
     "HOOKS_INVALID_CODE": "advanced",
     "HOOK_FAMILIES": "advanced",
+    "HOST_DECIDERS": "advanced",
     "HandbackState": "advanced",
     "HandsBandOptions": "stable",
     "HarvestRejection": "advanced",
     "HarvestRejectionCode": "advanced",
     "HarvestReport": "advanced",
+    "HeldQuestion": "advanced",
     "HookEnvCapabilities": "advanced",
     "HookFamily": "advanced",
     "HookInvocationIdentity": "advanced",
@@ -3197,6 +3226,7 @@
     "HookToolFailure": "advanced",
     "HookToolOutput": "advanced",
     "Hooks": "advanced",
+    "HostDecider": "advanced",
     "HumanInputDelivery": "advanced",
     "HumanInputEvent": "advanced",
     "HumanInputFrame": "advanced",
@@ -3588,6 +3618,7 @@
     "PathRuleBase": "advanced",
     "PathRuleBases": "advanced",
     "PathRuleDenyRow": "advanced",
+    "PathRuleSpec": "advanced",
     "PathTargetReading": "advanced",
     "PausedCause": "advanced",
     "PeerAdmission": "advanced",
@@ -3937,6 +3968,8 @@
     "SCAN_FUSE_THRESHOLD": "advanced",
     "SCENARIO_REGISTRY": "advanced",
     "SCHEDULE_WAKEUP_TOOL_NAME": "advanced",
+    "SCOPE_HOME_FORMS": "advanced",
+    "SCOPE_HOME_NOT_DIRECTORY": "advanced",
     "SCOPE_SEGMENT_MAX_ENCODED": "advanced",
     "SEMA_DEFAULT_PACK": "advanced",
     "SEND_MESSAGE_TOOL_NAME": "advanced",
@@ -3959,6 +3992,7 @@
     "STARTER_RULES": "advanced",
     "STATIC_VERIFICATION_PROMPT": "advanced",
     "STEER_REPLAY_FACETS": "advanced",
+    "STORE_FORM_REFUSAL_CODES": "advanced",
     "STUB_ARCHIVED_LINE": "advanced",
     "SUBAGENT_PROMPT": "advanced",
     "SUBAGENT_SYSTEM_NOTE": "advanced",
@@ -3984,6 +4018,7 @@
     "SchedulerError": "advanced",
     "SchedulerErrorCode": "advanced",
     "SchedulerToolContext": "advanced",
+    "ScopeHomeForm": "advanced",
     "ScoredMemory": "stable",
     "ScoredMemoryEntry": "stable",
     "SeamProvenance": "advanced",
@@ -4091,6 +4126,9 @@
     "StopSource": "advanced",
     "StoreDurability": "advanced",
     "StoreFidelity": "advanced",
+    "StoreFormRefusal": "advanced",
+    "StoreFormRefusalCode": "advanced",
+    "StoreFormRefusalDetail": "advanced",
     "StoreReadBackShapeHooks": "advanced",
     "StoredRules": "advanced",
     "StoredSession": "stable",
@@ -4119,6 +4157,7 @@
     "SystemInjection": "advanced",
     "SystemInjectionPriority": "advanced",
     "SystemInjectionQueue": "advanced",
+    "TARGET_OUTSIDE_STORE": "advanced",
     "TASK_OUTPUT_REPLAY_KINDS": "advanced",
     "TEACHER_PROFILE": "advanced",
     "TEACHER_PROMPT": "advanced",
@@ -4259,6 +4298,7 @@
     "URL_SAFETY": "advanced",
     "USAGE_WINDOW_REAP_MARGIN_MS": "internal",
     "USER_INPUT_UNDRAINED_CAUSES": "advanced",
+    "USER_INPUT_UNDRAINED_FAMILIES": "advanced",
     "UnarmedDenialLimitFallback": "advanced",
     "UncoveredSegmentDetail": "advanced",
     "UnifiedTaskOutput": "advanced",
@@ -4271,6 +4311,7 @@
     "UsageWindowReading": "advanced",
     "UsageWindowRecord": "advanced",
     "UsageWindowStore": "advanced",
+    "UserInputLane": "advanced",
     "UserInputUndrainedCause": "advanced",
     "UserMessage": "advanced",
     "UserPromptSubmitContext": "advanced",
@@ -4728,6 +4769,7 @@
     "hasSessionFork": "advanced",
     "hasToolContract": "advanced",
     "htmlToText": "advanced",
+    "injectionLaneOf": "advanced",
     "inlineUntrusted": "advanced",
     "inputKeysOf": "advanced",
     "inspectDegenerate": "advanced",
@@ -4747,10 +4789,12 @@
     "isDeclaredWrite": "advanced",
     "isDelegatedAgentTerminal": "advanced",
     "isDeniedBy": "advanced",
+    "isEngineBuiltinToolName": "advanced",
     "isEngineRefusal": "advanced",
     "isFreshPeerRow": "advanced",
     "isFullyReadable": "advanced",
     "isGateKind": "advanced",
+    "isHostDecider": "advanced",
     "isInstructionEntry": "advanced",
     "isIsolated": "advanced",
     "isModeReleaseReason": "advanced",
@@ -4934,6 +4978,7 @@
     "physicalPathOf": "advanced",
     "physicalPathOfExisting": "advanced",
     "planParseRepairs": "advanced",
+    "policyCannotAnswer": "advanced",
     "precheckEditedRuleText": "advanced",
     "predictMountedToolNames": "advanced",
     "prepareCardApproval": "advanced",
@@ -5005,6 +5050,7 @@
     "renderCrossSessionIdleNotice": "advanced",
     "renderCrossSessionMessageFrame": "advanced",
     "renderCrossSessionNoticeLine": "advanced",
+    "renderListEntry": "advanced",
     "renderNamedWorkflowListing": "advanced",
     "renderTaskNotificationXml": "advanced",
     "renderUntrustedCommandText": "advanced",
@@ -5164,7 +5210,7 @@
     "toolFaceProblem": "internal",
     "toolIdentityOf": "advanced",
     "toolPolicyNameSets": "advanced",
-    "toolPolicyPathDenyRules": "advanced",
+    "toolPolicyPathRules": "advanced",
     "toolResultContentSegment": "advanced",
     "toolResultProvenanceOf": "advanced",
     "toolResultStoreContract": "advanced",