@myagentroam/agent 0.9.75 → 0.9.77

package/dist/cli/main.js

@@ -19,7 +19,7 @@ Usage:
   maragent run <prompt> [--reasoning-effort EFFORT] [--format text|json|stream-json] [--codex-auth-file PATH]
   maragent resume [sessionId] [--reasoning-effort EFFORT] [--codex-auth-file PATH]
   maragent sessions list|delete <sessionId>
-  maragent models list|add|edit|remove|test [id] [--default-reasoning-effort EFFORT] [--code-mode|--no-code-mode] [--responses-encoding standard|lite] [--codex-auth-file PATH]
+  maragent models list|add|edit|remove|test [id] [--default-reasoning-effort EFFORT] [--code-mode|--no-code-mode] [--high-density-compaction|--no-high-density-compaction] [--responses-encoding standard|lite] [--codex-auth-file PATH]
 `;
 function takeOption(arguments_, name) {
     const index = arguments_.indexOf(name);
@@ -181,6 +181,7 @@ async function modelsCommand(home, arguments_, codexAuthFile) {
             : parseReasoningEffort(defaultReasoningEffortOption, '--default-reasoning-effort'),
         titleGeneration: existing?.titleGeneration ?? false,
         codeMode: booleanFlag(arguments_, '--code-mode', '--no-code-mode', existing?.codeMode ?? false),
+        highDensityCompaction: booleanFlag(arguments_, '--high-density-compaction', '--no-high-density-compaction', existing?.highDensityCompaction ?? false),
         hostedWebSearch: booleanFlag(arguments_, '--web-search', '--no-web-search', existing?.hostedWebSearch ?? false),
         ...(responsesTransport === undefined ? {} : { responsesTransport }),
         ...(responsesEncoding === undefined ? {} : { responsesEncoding }),

package/dist/model/catalog-file.d.ts

@@ -27,6 +27,7 @@ export declare function serializeModel(model: CliModelConfiguration): {
     defaultReasoningEffort?: "low" | "medium" | "high" | "xhigh" | "max" | "ultra" | undefined;
     titleGeneration: boolean;
     codeMode: boolean;
+    highDensityCompaction: boolean;
     hostedWebSearch: boolean;
     responsesEncoding?: "STANDARD" | "LITE" | undefined;
     enabled: boolean;
@@ -50,6 +51,7 @@ export declare function serializeModel(model: CliModelConfiguration): {
     defaultReasoningEffort?: "low" | "medium" | "high" | "xhigh" | "max" | "ultra" | undefined;
     titleGeneration: boolean;
     codeMode: boolean;
+    highDensityCompaction: boolean;
     hostedWebSearch: boolean;
     responsesEncoding?: "STANDARD" | "LITE" | undefined;
     enabled: boolean;

package/dist/model/configuration.d.ts

@@ -78,6 +78,7 @@ declare const rawModelSchema: z.ZodObject<{
     }>>;
     titleGeneration: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
     codeMode: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+    highDensityCompaction: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
     hostedWebSearch: z.ZodBoolean;
     responsesTransport: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
         transport: z.ZodLiteral<"HTTP">;

package/dist/model/configuration.js

@@ -49,6 +49,7 @@ const rawModelSchema = z
     defaultReasoningEffort: marAgentReasoningEffortSchema.optional(),
     titleGeneration: z.boolean().optional().default(false),
     codeMode: z.boolean().optional().default(false),
+    highDensityCompaction: z.boolean().optional().default(false),
     hostedWebSearch: z.boolean(),
     responsesTransport: rawResponsesTransportSchema.optional(),
     responsesEncoding: z.enum(['STANDARD', 'LITE']).optional(),

package/dist/prompts/compact.d.ts

@@ -1 +1,2 @@
 export declare function compactionPrompt(): string;
+export declare function highDensityCompactionPrompt(): string;

package/dist/prompts/compact.js

@@ -23,3 +23,69 @@ Remove aggressively:
 
 Use compact Markdown with these headings when applicable: Objective, Instructions and constraints, Decisions and facts, Completed work, Verification and evidence, Active state, Open issues and risks, Next action. Omit empty headings. Prefer precise paths, IDs, error codes, and short evidence over narrative. Output only the handoff.`;
 }
+export function highDensityCompactionPrompt() {
+    return `将 visible conversation 编译为供下一 Agent 直接续作的 Textual Continuation IR；原 transcript 将丢弃。This is factual state transfer, not recap, user reply, or new work. 不调用工具、不推进任务、不虚构完成。
+
+目标：在 handoff budget 内最大化 continuation accuracy、信息密度、可恢复性。Token reduction 仅在不损害续作后有价值；必要时约 10K tokens 可接受。
+
+IR 不是 prose summary。默认使用最短且无歧义的事实短语、状态原子、精确引用；仅在短语无法说清因果、冲突或边界时使用完整句。优先两种形式：
+<object> | <key>=<value> | <key>=<value>
+<event/condition> -> <effect> | <effect>
+例如：
+src/discount.js | cause=verified | edit=pending | comment=required | tests=not run
+patch(src/discount.js) -> prior_read=stale | next=re-evidence
+branch changed -> inherited_evidence=unverified
+
+语法：
+- | 并列同一 object 的独立事实；= 表示 current fact/state/constraint；-> 仅表示 cause、invalidation、transition。
+- key 使用最短且无歧义的 established term；value 可为状态原子或短语；enum 默认 lowercase。
+- 使用 required/forbidden/pending 等语义值，不写 YES/NO。省略无续作价值的 unknown 和空字段。
+- 同一 key 只保留已归约的 current value。无法消解：state=conflict | candidates=<short values> | next=re-evidence；不得任选一方。
+- transition effect 优先 <object>.<key>=<value>；object 已唯一明确时可省略，不得省略到歧义。
+- exact path/symbol/ID/command/number/user-designated text 原样保留。值含 |、换行或需逐字保存时，使用紧邻 record 的 Markdown code span/block，不发明 escaping protocol。
+- pending、not run、unverified、failed 不得互换。
+
+按需覆盖五类信息职责，空块省略。双语名称仅解释职责；输出标题只选当前任务合适的一种语言，不同时复制两套。
+
+1. 目标契约 / Goal contract
+- 主目标、当前交付、完成标准、非目标/边界。
+- direct user/caller authorization、prohibition、exclusion 保留 exact action/scope，不概括成更宽泛边界。
+
+2. 当前状态 / Current state
+- 对象：file、symbol、feature、migration、test、worktree、process、subagent、selected Skill、Todo/plan、approval、external side effect。
+- 分离 completion（pending / in_progress / completed / blocked）、epistemic（observed / verified / inferred / proposed / disproved）、freshness（current / stale / superseded）、scope（turn / worktree / base / branch / external system）；仅在消歧时标注。
+- 明确 completed、not started、unverified、active。相同精度下选择更短状态原子；中文、English 均可，如 根因已证、edit=pending、tests=not run。
+- selected Skill | 保留仍适用的 skill name + 续作必需约束；Todo/plan | 保留 revision、item/status、当前最小 step。
+- verified claim 后无 source mutation/base/branch change 等 invalidating event：freshness=current | re-diagnosis=not needed。为 patch 获取当前行上下文的 targeted reread 仍可保留，不等同重新调查已证结论。
+
+3. 已定事项 / Settled matters
+- confirmed decision/interface/constraint + 续作仍需的最短理由。
+- disproved/rejected direction + scope/evidence。
+- recovery path、event shape、implementation option、next action 未经 direct evidence 前保持 proposed/unverified。
+
+4. 必要证据 / Necessary evidence
+- 仅保留不可廉价恢复、决定后续判断、记录不可重复 side effect，或精确值影响 correctness 的 evidence；紧邻 claim，绑定 scope/freshness。
+- completed check/result 若决定后续判断：保留 decisive values，或可确定恢复这些值的 exact artifact path/command；不得只留 count/schema。
+- path、symbol/class/function/variable、API/tool/model/provider、JSON key/enum/protocol field、command/arguments、error code、commit hash、callId、sequence、version、number、用户指定原文：原样保留，不翻译、不猜测。
+- 下一 Agent 无法使用、仅供 local storage validation 的 integrity hash：删除。
+
+5. 未闭环 / Open loops
+- unresolved、unverified、blocker、pending approval、活动 process/subagent、Todo/plan current step、仍需 evidence。
+- 只保留已确定的最小 next action + preconditions；不复制可重算的长 plan。
+
+编译规则：
+1. latest user intent 定目标；newer correction 覆盖 older intent。
+2. 归约 before -> event -> after；source mutation 或 base/branch change 后 affected read/conclusion stale，除非已有 newer evidence；history replacement 仅使 Responses continuation invalid，不使 factual evidence 自动失效；无 invalidating event 的 verified claim 保持 current；current 取最后已证 after-state 或 later direct observation。
+3. 每个 continuation object 一条 current record；等价事实去重。
+4. 仅保留仍约束 open work 的 settled decision/exclusion。
+5. evidence 绑定 claim；verified conclusion 优先于 raw snapshot/intermediate hypothesis。
+6. 预算受压时依次保护：目标、当前进度、边界、不可重复副作用、未闭环、必要证据；再删 provenance/可恢复实现细节。
+
+observed HEAD、validated base、target commit、current worktree 不得折叠；evidence 只更新直接证明的 axis。跨 axis/base/branch 推导无 direct evidence 时保持 unverified。状态冲突无法归约：保留 conflict + re-evidence，不替模型选择。
+
+语言：标题/一般叙述跟随 latest active user instructions 和当前任务主语言；每条 record 按局部精度与密度选择中文、English 或 mixed phrasing。保留 established term/exact identifier，不为语言统一展开或翻译。English codebase 不等于 English handoff。
+
+删除 greetings、progress chatter、过程叙事、重复事实、无剩余约束的 superseded hypothesis、长日志、source body、verbose payload、可从精确 path/command 廉价恢复的正文。删除 user/project/directory AGENTS.md 正文及仅由这些文件派生的 constraint，包括其中 exclusions；下一 Execution 会重新加载并整体替换。不得保留 hidden reasoning、secret、credential、无关内容。
+
+只输出 compact Markdown IR。`;
+}

package/dist/prompts/index.d.ts

@@ -2,7 +2,7 @@ import type { ExecutionMode } from '../sdk/types.js';
 import { type ExecutionBudgetPromptState } from './execution-budget.js';
 import { type RetainedSessionResources } from './resources.js';
 import { type CurrentAgentModel, type SubagentModelOption } from './subagent.js';
-export declare const MAR_AGENT_PROMPT_VERSION = "1.43";
+export declare const MAR_AGENT_PROMPT_VERSION = "1.47";
 export declare function buildSystemPrompt(input: {
     mode: ExecutionMode;
     platform: string;
@@ -18,5 +18,6 @@ export declare function buildSystemPrompt(input: {
     subagentModels?: readonly SubagentModelOption[];
     retainedSessionResources?: RetainedSessionResources;
     executionBudget?: ExecutionBudgetPromptState;
+    highDensityCompaction?: boolean;
     extension?: string | undefined;
 }): string;

package/dist/prompts/index.js

@@ -1,4 +1,4 @@
-import { compactionPrompt } from './compact.js';
+import { compactionPrompt, highDensityCompactionPrompt } from './compact.js';
 import { environmentPrompt, identityPrompt, instructionPriorityPrompt, workspaceDisciplinePrompt } from './core.js';
 import { executionBudgetPrompt } from './execution-budget.js';
 import { modePrompt } from './modes.js';
@@ -6,7 +6,7 @@ import { outputStylePrompt } from './output.js';
 import { retainedSessionResourcesPrompt } from './resources.js';
 import { subagentModelOptionsPrompt, subagentPrompt, currentAgentModelPrompt } from './subagent.js';
 import { interactionPrompt, longRunningPrompt, safetyPrompt, toolUsagePrompt, workflowPrompt } from './workflow.js';
-export const MAR_AGENT_PROMPT_VERSION = '1.43';
+export const MAR_AGENT_PROMPT_VERSION = '1.47';
 export function buildSystemPrompt(input) {
     const toolNames = new Set(input.tools);
     const hasLongRunningCapability = [
@@ -36,7 +36,11 @@ export function buildSystemPrompt(input) {
             questionAvailable: toolNames.has('question'),
             forceFinalize: input.executionBudget?.stage === 'exhausted'
         }),
-        input.mode === 'compact' ? compactionPrompt() : '',
+        input.mode === 'compact'
+            ? input.highDensityCompaction
+                ? highDensityCompactionPrompt()
+                : compactionPrompt()
+            : '',
         toolNames.has('agent_start') ? subagentPrompt : '',
         toolNames.has('agent_start') ? currentAgentModelPrompt(input.currentAgentModel) : '',
         toolNames.has('agent_start') ? subagentModelOptionsPrompt(input.subagentModels ?? []) : '',

package/dist/prompts/output.d.ts

@@ -1,2 +1,2 @@
-export declare const outputStylePrompt = "# Output and communication style\nBe direct, natural, and concise. Match detail and structure to the user's needs and the task's complexity. Lead with the result; include actual verification, material risks, and unfinished work when relevant. Avoid repeating progress, dumping logs, or adding empty sections. For a requested review, lead with actionable findings ordered by severity and file evidence; if none were found, say so and note validation gaps. Preserve exact paths, identifiers, error codes, citations, and useful line locations when they are evidence. Never expose hidden reasoning.";
+export declare const outputStylePrompt = "# Output and communication style\nBe direct, natural, and concise. Default to a brief teammate update rather than a report; expand when the user requests detail or when complexity and multiple distinct findings need grouping or explanation. Lead with the result and report only details that materially support or qualify it, including actual verification, material risks, and unfinished work when relevant. Use plain sentences or a short list for simple results. Avoid unnecessary repetition, repeating progress, dumping logs, or adding empty sections. For a requested review, lead with actionable findings ordered by severity and file evidence; if none were found, say so and note validation gaps. Preserve exact paths, identifiers, error codes, citations, and useful line locations when they are evidence. Never expose hidden reasoning.";
 export declare const modelOutputContinuationMessage = "Continue the previous response from exactly where it stopped. Do not repeat completed content.";

package/dist/prompts/output.js

@@ -1,2 +1,2 @@
-export const outputStylePrompt = "# Output and communication style\nBe direct, natural, and concise. Match detail and structure to the user's needs and the task's complexity. Lead with the result; include actual verification, material risks, and unfinished work when relevant. Avoid repeating progress, dumping logs, or adding empty sections. For a requested review, lead with actionable findings ordered by severity and file evidence; if none were found, say so and note validation gaps. Preserve exact paths, identifiers, error codes, citations, and useful line locations when they are evidence. Never expose hidden reasoning.";
+export const outputStylePrompt = '# Output and communication style\nBe direct, natural, and concise. Default to a brief teammate update rather than a report; expand when the user requests detail or when complexity and multiple distinct findings need grouping or explanation. Lead with the result and report only details that materially support or qualify it, including actual verification, material risks, and unfinished work when relevant. Use plain sentences or a short list for simple results. Avoid unnecessary repetition, repeating progress, dumping logs, or adding empty sections. For a requested review, lead with actionable findings ordered by severity and file evidence; if none were found, say so and note validation gaps. Preserve exact paths, identifiers, error codes, citations, and useful line locations when they are evidence. Never expose hidden reasoning.';
 export const modelOutputContinuationMessage = 'Continue the previous response from exactly where it stopped. Do not repeat completed content.';

package/dist/runtime/compact.d.ts

@@ -22,7 +22,7 @@ export declare class CompactionOperation {
     private report;
 }
 export declare const DEFAULT_COMPACTION_FOCUS = "Create a durable continuation state for the next model invocation.";
-export declare function buildCompactionMessages(evidence: string): ModelMessage[];
+export declare function buildCompactionMessages(evidence: string, highDensityCompaction?: boolean): ModelMessage[];
 export declare function buildCompactionInput(messages: readonly ModelMessage[], input: {
     focus?: string;
     maxTokens: number;

package/dist/runtime/compact.js

@@ -1,6 +1,6 @@
 import { MarAgentError } from '../error.js';
 import { countModelTokens, truncateModelText } from './token-budget.js';
-import { compactionPrompt } from '../prompts/compact.js';
+import { compactionPrompt, highDensityCompactionPrompt } from '../prompts/compact.js';
 const COMPACTION_TIMEOUT_MS = 600_000;
 const COMPACTION_PROGRESS_INTERVAL_MS = 30_000;
 /** One deadline spans all model attempts and recovery waits for a single compaction. */
@@ -91,10 +91,13 @@ export class CompactionOperation {
     }
 }
 export const DEFAULT_COMPACTION_FOCUS = 'Create a durable continuation state for the next model invocation.';
-export function buildCompactionMessages(evidence) {
+export function buildCompactionMessages(evidence, highDensityCompaction = false) {
     return [
         { role: 'user', content: evidence },
-        { role: 'user', content: compactionPrompt() }
+        {
+            role: 'user',
+            content: highDensityCompaction ? highDensityCompactionPrompt() : compactionPrompt()
+        }
     ];
 }
 export function buildCompactionInput(messages, input) {

package/dist/sdk/agent.js

@@ -486,6 +486,7 @@ export async function createMarAgent(options) {
                             }))
                             : [],
                         retainedSessionResources,
+                        highDensityCompaction: selectedModel.highDensityCompaction,
                         ...(rolloutBudget?.active
                             ? {
                                 executionBudget: {
@@ -504,14 +505,14 @@ export async function createMarAgent(options) {
                     });
                     const initialSystemPrompt = buildExecutionSystemPrompt();
                     if (mode === 'compact') {
-                        const compactOverheadTokens = estimatedRequestTokens(initialSystemPrompt, buildCompactionMessages(''), []);
+                        const compactOverheadTokens = estimatedRequestTokens(initialSystemPrompt, buildCompactionMessages('', selectedModel.highDensityCompaction), []);
                         const compactInputTokens = selectedModel.contextWindowTokens - compactOverheadTokens;
                         if (compactInputTokens <= 0)
                             throw new MarAgentError('MAR_AGENT_CONTEXT_LIMIT', 'Compaction prompt exceeds the selected model context window.');
                         messages.splice(0, messages.length, ...buildCompactionMessages(buildCompactionInput(messages, {
                             focus: input.prompt,
                             maxTokens: compactInputTokens
-                        })));
+                        }), selectedModel.highDensityCompaction));
                     }
                     await store.append(sessionId, {
                         type: 'execution.header',
@@ -539,9 +540,10 @@ export async function createMarAgent(options) {
                             platform: description.platform,
                             workspace: logicalWorkspace,
                             tools: [],
+                            highDensityCompaction: selectedModel.highDensityCompaction,
                             extension: options.systemInstruction
                         });
-                        const compactOverheadTokens = estimatedRequestTokens(compactSystemPrompt, buildCompactionMessages(''), []);
+                        const compactOverheadTokens = estimatedRequestTokens(compactSystemPrompt, buildCompactionMessages('', selectedModel.highDensityCompaction), []);
                         const compactInputTokens = Math.max(0, selectedModel.contextWindowTokens - compactOverheadTokens);
                         if (compactInputTokens === 0)
                             throw new MarAgentError('MAR_AGENT_CONTEXT_LIMIT', 'Compaction prompt exceeds the selected model context window.');
@@ -561,7 +563,7 @@ export async function createMarAgent(options) {
                                     for await (const event of operation.start(selected, {
                                         retryState: compactionRetryState,
                                         system: compactSystemPrompt,
-                                        messages: buildCompactionMessages(compactSource),
+                                        messages: buildCompactionMessages(compactSource, selectedModel.highDensityCompaction),
                                         tools: [],
                                         allowTools: false,
                                         promptCacheKey: sessionId,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@myagentroam/agent",
-  "version": "0.9.75",
+  "version": "0.9.77",
   "description": "Embeddable MAR coding agent SDK and CLI.",
   "license": "Apache-2.0",
   "type": "module",
@@ -38,6 +38,7 @@
     "build": "node ../scripts/clean-build-output.mjs dist && tsc -p tsconfig.json",
     "typecheck": "tsc -p tsconfig.json --noEmit",
     "test:unit": "vitest run --config vitest.config.ts test/unit",
+    "benchmark:compaction": "node test/e2e/compaction-benchmark.mjs",
     "test:performance": "vitest run --config vitest.performance.config.ts",
     "test:memory": "node --expose-gc ./node_modules/vitest/vitest.mjs run --config vitest.memory.config.ts",
     "test:e2e": "vitest run --config vitest.config.ts test/e2e --no-file-parallelism",