@buildaharness/aielia 0.3.4 → 0.3.6

package/dist/goal-graph-store.d.ts

@@ -53,15 +53,15 @@ export declare const ThreadSuggestionSchema: z.ZodObject<{
     id: string;
     confidence: "high" | "medium" | "low";
     description: string;
-    promotion: "auto" | "pending_confirm" | "session_only";
     createdAt: string;
+    promotion: "auto" | "pending_confirm" | "session_only";
 }, {
     rationale: string;
     id: string;
     confidence: "high" | "medium" | "low";
     description: string;
-    promotion: "auto" | "pending_confirm" | "session_only";
     createdAt: string;
+    promotion: "auto" | "pending_confirm" | "session_only";
 }>;
 export type ThreadSuggestion = z.infer<typeof ThreadSuggestionSchema>;
 /**
@@ -121,15 +121,15 @@ export declare const GoalThreadSchema: z.ZodObject<{
         id: string;
         confidence: "high" | "medium" | "low";
         description: string;
-        promotion: "auto" | "pending_confirm" | "session_only";
         createdAt: string;
+        promotion: "auto" | "pending_confirm" | "session_only";
     }, {
         rationale: string;
         id: string;
         confidence: "high" | "medium" | "low";
         description: string;
-        promotion: "auto" | "pending_confirm" | "session_only";
         createdAt: string;
+        promotion: "auto" | "pending_confirm" | "session_only";
     }>, "many">>;
     trustApprovedSteps: z.ZodOptional<z.ZodBoolean>;
     planApprovalId: z.ZodOptional<z.ZodString>;
@@ -148,9 +148,9 @@ export declare const GoalThreadSchema: z.ZodObject<{
         cancelled?: boolean | undefined;
     }[];
     successCriteria: string;
-    templateName: string | null;
     mode: "active" | "done" | "drafting" | "awaiting_approval" | "abandoned";
     createdAt: string;
+    templateName: string | null;
     executingOnPlan: boolean;
     updatedAt: string;
     relationToSiblings?: "alternative" | "concurrent" | undefined;
@@ -162,8 +162,8 @@ export declare const GoalThreadSchema: z.ZodObject<{
         id: string;
         confidence: "high" | "medium" | "low";
         description: string;
-        promotion: "auto" | "pending_confirm" | "session_only";
         createdAt: string;
+        promotion: "auto" | "pending_confirm" | "session_only";
     }[] | undefined;
     trustApprovedSteps?: boolean | undefined;
     planApprovalId?: string | undefined;
@@ -180,9 +180,9 @@ export declare const GoalThreadSchema: z.ZodObject<{
         cancelled?: boolean | undefined;
     }[];
     successCriteria: string;
-    templateName: string | null;
     mode: "active" | "done" | "drafting" | "awaiting_approval" | "abandoned";
     createdAt: string;
+    templateName: string | null;
     executingOnPlan: boolean;
     updatedAt: string;
     relationToSiblings?: "alternative" | "concurrent" | undefined;
@@ -194,8 +194,8 @@ export declare const GoalThreadSchema: z.ZodObject<{
         id: string;
         confidence: "high" | "medium" | "low";
         description: string;
-        promotion: "auto" | "pending_confirm" | "session_only";
         createdAt: string;
+        promotion: "auto" | "pending_confirm" | "session_only";
     }[] | undefined;
     trustApprovedSteps?: boolean | undefined;
     planApprovalId?: string | undefined;
@@ -259,15 +259,15 @@ export declare const GoalGraphRecordSchema: z.ZodObject<{
             id: string;
             confidence: "high" | "medium" | "low";
             description: string;
-            promotion: "auto" | "pending_confirm" | "session_only";
             createdAt: string;
+            promotion: "auto" | "pending_confirm" | "session_only";
         }, {
             rationale: string;
             id: string;
             confidence: "high" | "medium" | "low";
             description: string;
-            promotion: "auto" | "pending_confirm" | "session_only";
             createdAt: string;
+            promotion: "auto" | "pending_confirm" | "session_only";
         }>, "many">>;
         trustApprovedSteps: z.ZodOptional<z.ZodBoolean>;
         planApprovalId: z.ZodOptional<z.ZodString>;
@@ -286,9 +286,9 @@ export declare const GoalGraphRecordSchema: z.ZodObject<{
             cancelled?: boolean | undefined;
         }[];
         successCriteria: string;
-        templateName: string | null;
         mode: "active" | "done" | "drafting" | "awaiting_approval" | "abandoned";
         createdAt: string;
+        templateName: string | null;
         executingOnPlan: boolean;
         updatedAt: string;
         relationToSiblings?: "alternative" | "concurrent" | undefined;
@@ -300,8 +300,8 @@ export declare const GoalGraphRecordSchema: z.ZodObject<{
             id: string;
             confidence: "high" | "medium" | "low";
             description: string;
-            promotion: "auto" | "pending_confirm" | "session_only";
             createdAt: string;
+            promotion: "auto" | "pending_confirm" | "session_only";
         }[] | undefined;
         trustApprovedSteps?: boolean | undefined;
         planApprovalId?: string | undefined;
@@ -318,9 +318,9 @@ export declare const GoalGraphRecordSchema: z.ZodObject<{
             cancelled?: boolean | undefined;
         }[];
         successCriteria: string;
-        templateName: string | null;
         mode: "active" | "done" | "drafting" | "awaiting_approval" | "abandoned";
         createdAt: string;
+        templateName: string | null;
         executingOnPlan: boolean;
         updatedAt: string;
         relationToSiblings?: "alternative" | "concurrent" | undefined;
@@ -332,8 +332,8 @@ export declare const GoalGraphRecordSchema: z.ZodObject<{
             id: string;
             confidence: "high" | "medium" | "low";
             description: string;
-            promotion: "auto" | "pending_confirm" | "session_only";
             createdAt: string;
+            promotion: "auto" | "pending_confirm" | "session_only";
         }[] | undefined;
         trustApprovedSteps?: boolean | undefined;
         planApprovalId?: string | undefined;
@@ -357,9 +357,9 @@ export declare const GoalGraphRecordSchema: z.ZodObject<{
             cancelled?: boolean | undefined;
         }[];
         successCriteria: string;
-        templateName: string | null;
         mode: "active" | "done" | "drafting" | "awaiting_approval" | "abandoned";
         createdAt: string;
+        templateName: string | null;
         executingOnPlan: boolean;
         updatedAt: string;
         relationToSiblings?: "alternative" | "concurrent" | undefined;
@@ -371,8 +371,8 @@ export declare const GoalGraphRecordSchema: z.ZodObject<{
             id: string;
             confidence: "high" | "medium" | "low";
             description: string;
-            promotion: "auto" | "pending_confirm" | "session_only";
             createdAt: string;
+            promotion: "auto" | "pending_confirm" | "session_only";
         }[] | undefined;
         trustApprovedSteps?: boolean | undefined;
         planApprovalId?: string | undefined;
@@ -394,9 +394,9 @@ export declare const GoalGraphRecordSchema: z.ZodObject<{
             cancelled?: boolean | undefined;
         }[];
         successCriteria: string;
-        templateName: string | null;
         mode: "active" | "done" | "drafting" | "awaiting_approval" | "abandoned";
         createdAt: string;
+        templateName: string | null;
         executingOnPlan: boolean;
         updatedAt: string;
         relationToSiblings?: "alternative" | "concurrent" | undefined;
@@ -408,8 +408,8 @@ export declare const GoalGraphRecordSchema: z.ZodObject<{
             id: string;
             confidence: "high" | "medium" | "low";
             description: string;
-            promotion: "auto" | "pending_confirm" | "session_only";
             createdAt: string;
+            promotion: "auto" | "pending_confirm" | "session_only";
         }[] | undefined;
         trustApprovedSteps?: boolean | undefined;
         planApprovalId?: string | undefined;

package/dist/grounding-check.d.ts

@@ -0,0 +1,33 @@
+import { ILLMClient, TokenUsage } from '@buildaharness/runtime';
+import { AssistantSource } from './assistant-source.js';
+/**
+ * - 'grounded': every specific claim in the reply that rests on the tool results matches them.
+ * - 'ungrounded': at least one specific claim or figure conflicts with, or isn't supported by,
+ *   what the tools actually returned (`discrepancy` says which).
+ * - 'not_checked': nothing was compared — no raw tool text was visible (claude-cli runs its tool
+ *   loop in a subprocess), or the check errored / returned something unparseable.
+ */
+export type GroundingVerdict = 'grounded' | 'ungrounded' | 'not_checked';
+export interface GroundingResult {
+    verdict: GroundingVerdict;
+    discrepancy?: string;
+}
+/**
+ * `AUDIT_SEMANTIC_GROUNDING` gate. Default **ON**: an unset / empty / truthy value runs the grounding
+ * check, so `answerClaim.verification_status` can only say `verified` for a reply that was compared
+ * against the raw tool results. A falsy value (`0` / `false` / `off` / `no` / `disabled`) skips the
+ * LLM call and restores the previous, mechanical-only derivation of `verified`. Same shape as
+ * `semanticFailureMatchEnabled()`; read at exactly one site, assistant.ts's ResponseService wiring.
+ */
+export declare function semanticGroundingEnabled(env?: Record<string, string | undefined>): boolean;
+/**
+ * One bounded LLM call comparing a finished reply to the raw text its tools returned — the content
+ * check `verify()` (mechanical/environmental tiers only) has no way to make. Returns `not_checked`
+ * when there is nothing to compare or on any error, never a guessed `grounded`: a check that
+ * couldn't run must not upgrade a reply to `verified`.
+ */
+export declare function checkReplyGrounding(input: {
+    question: string;
+    reply: string;
+    sources: readonly AssistantSource[] | undefined;
+}, llmClient: ILLMClient, model?: string, onUsage?: (usage: TokenUsage) => void): Promise<GroundingResult>;

package/dist/harness-bridge.d.ts

@@ -1,4 +1,4 @@
-import { ExperienceStore, Task, CheckpointStore, LayerActivityEvent, HarnessCheckpoint, VerificationResult, HarnessRunResult, ToolExecutorContext, InvestigationRequestData, InvestigationFinding, UpdateChannel } from '@buildaharness/harness';
+import { ExperienceStore, Task, CheckpointStore, LayerActivityEvent, HarnessCheckpoint, VerificationResult, HarnessRunResult, ToolExecutorContext, InvestigationRequestData, InvestigationFinding, UpdateChannel, SemanticHypothesisEvent, SemanticHypothesisProposal, LayerPolicyMode } from '@buildaharness/harness';
 import { ILLMClient, MemoryAdapter, TokenUsage } from '@buildaharness/runtime';
 import { OneLoopMode } from './one-loop-flag.js';
 import { UserFact } from './fact-extraction.js';
@@ -9,6 +9,7 @@ import { TurnIntentClassification } from './turn-intent-classifier.js';
 import { AssistantSource } from './assistant-source.js';
 import { AssistantProgress } from './assistant-types.js';
 import { TraceEvent } from './trace-events.js';
+import { EscalationPlan } from './layer-policy-wiring.js';
 /**
  * `AUDIT_VERIFICATION` gate — feature-value audit (Phase C5 of the internal plan). EVAL-ONLY:
  * default **ON** (an unset / empty / truthy value keeps today's always-on verification). Only the
@@ -17,6 +18,29 @@ import { TraceEvent } from './trace-events.js';
  * one call site (below); no product path sets it. Same shape as `semanticContradictionEnabled()`.
  */
 export declare function verificationEnabled(env?: Record<string, string | undefined>): boolean;
+/**
+ * `AUDIT_EXPERIENCE_LEARNING` gate. Default **OFF**: the harness never writes its journal or updates the experience store, so
+ * `warmStart` / the recovery ladder keep reading an empty store, exactly as before. A truthy value (`1` / `true` / `on` / `yes` /
+ * `enabled`) makes HarnessBridge.run pass `experienceLearning: true` — see packages/harness/src/experience-learning.ts. It changes
+ * how a LATER run orders its recovery strategies, so it ships off until a benchmark shows it helps. Read at one site (below).
+ */
+export declare function experienceLearningEnabled(env?: Record<string, string | undefined>): boolean;
+/**
+ * `AUDIT_RETRY_FAILED_TASK` gate. Default **OFF**. On (`1`/`true`/`on`/`yes`/`enabled`) makes HarnessBridge.run pass
+ * `retryFailedTask: true`: after the recovery ladder switches strategy for a failed task, the failed task is re-queued so the
+ * new strategy actually gets an attempt (HarnessRunOptions.retryFailedTask). Off, a failed single task — or a multi-task turn
+ * whose tasks fail together — ends with nothing to run and the turn answers "could not complete". Read fresh each run.
+ */
+export declare function retryFailedTaskEnabled(env?: Record<string, string | undefined>): boolean;
+/**
+ * `AUDIT_RETRY_SYSTEM_ERRORS` gate. Default **ON** (`0`/`false`/`off`/`no`/`disabled` restores the old behaviour). Makes
+ * HarnessBridge.run pass `retryFailedSystemErrors: true`: after the recovery ladder switches strategy for a task whose failure
+ * was a SYSTEM error (the model or a tool call threw), the task is re-queued so the new strategy gets an attempt, instead of
+ * the turn giving up with "I couldn't complete this" after one transient error. An exhausted tool-loop budget, a rejected
+ * completion check and a failed verification are NOT retried (the wider `AUDIT_RETRY_FAILED_TASK` retries those too and stays
+ * off). Bounded by the ladder's MAX_SWITCHES and the stall rule. Read fresh each run.
+ */
+export declare function retrySystemErrorsEnabled(env?: Record<string, string | undefined>): boolean;
 /**
  * `AUDIT_REVIEWER_PASS` gate — feature-value audit (Phase C6 of the internal plan). EVAL-ONLY:
  * default **ON** (an unset / empty / truthy value keeps today's always-on 3-lens reviewer pass).
@@ -31,11 +55,13 @@ export type HarnessOutcome = {
     checkpoint: HarnessCheckpoint;
     lastVerification: VerificationResult | null;
     layerActivity: LayerActivityEvent[];
+    taskNotes: Record<string, string>;
 } | {
     status: 'completed';
     result: HarnessRunResult;
     lastVerification: VerificationResult | null;
     layerActivity: LayerActivityEvent[];
+    taskNotes: Record<string, string>;
 };
 export interface HarnessRunParams {
     sessionId: string;
@@ -69,6 +95,41 @@ export interface HarnessRunParams {
      * flag is on is R3's scope.
      */
     oneLoopProposer?: (toolCtx: ToolExecutorContext) => unknown | Promise<unknown>;
+    /** Semantic change reviewer found a conflict — advisory (see HarnessRunOptions.onReviewConflict). The caller decides how to surface it. */
+    onReviewConflict?: (event: {
+        taskId: string;
+        reason: string;
+    }) => void;
+    /** Competing explanations were generated for an underdetermined request, or one was eliminated by evidence (AUDIT_SEMANTIC_HYPOTHESES). The caller decides how to surface it. */
+    onSemanticHypothesis?: (event: SemanticHypothesisEvent) => void;
+    /** The competing explanations were already asked for (a tool-less turn drafts its reply first): the harness registers this answer instead of making a second call. `null` = asked, none. `undefined` = not asked. */
+    precomputedHypotheses?: SemanticHypothesisProposal[] | null;
+    /** The opt-in layers' plan for this turn (adaptive mode only); see resolveOptInPlan. Absent: each layer's own flag decides. */
+    optInPlan?: EscalationPlan;
+    /** The reviewer pass's verdict sent the last answer back for one revision (AUDIT_REVIEWER_REVISION): the note to put in front of the proposer. */
+    onReviewerRevision?: (event: {
+        taskId: string;
+        note: string;
+    }) => void;
+    /** A constraint the user stated this turn was violated by the finished answer: the note to hand the proposer for its one second answer. */
+    onConstraintRevision?: (event: {
+        taskId: string;
+        note: string;
+    }) => void;
+    /** Tokens this turn's model calls have used so far (input + output) — what AUDIT_HARNESS_TOKEN_BUDGET reports to the harness. */
+    tokensUsed?: () => number;
+    /** A confident failure-mode match picked the recovery strategy — advisory (see HarnessRunOptions.onFailureModeSwitch). The caller decides how to surface it. */
+    onFailureModeSwitch?: (event: {
+        taskId: string;
+        failure_class: string;
+        strategy: string;
+    }) => void;
+    /** With AUDIT_EXPERIENCE_LEARNING on, a ranking learned from earlier runs picked the recovery strategy — advisory (see HarnessRunOptions.onLearnedStrategySwitch). */
+    onLearnedStrategySwitch?: (event: {
+        taskId: string;
+        failure_class: string;
+        strategy: string;
+    }) => void;
     /**
      * Trajectory Supervisor GATHER_EVIDENCE host (S5 of
      * the internal plan) — AgentLoop.runSupervisorInvestigation bound
@@ -115,6 +176,18 @@ export declare class HarnessBridge {
     private readonly assistantSession;
     private readonly onTrace;
     private readonly oneLoopMode;
-    constructor(memory: MemoryAdapter, experienceStore: ExperienceStore, checkpointStore: CheckpointStore, llmClient: ILLMClient, model: () => string | undefined, maxSteps: number, planService: PlanService, assistantSession: AssistantSession, onTrace: ((event: TraceEvent) => void) | undefined, oneLoopMode?: OneLoopMode);
+    private readonly layerPolicyMode;
+    constructor(memory: MemoryAdapter, experienceStore: ExperienceStore, checkpointStore: CheckpointStore, llmClient: ILLMClient, model: () => string | undefined, maxSteps: number, planService: PlanService, assistantSession: AssistantSession, onTrace: ((event: TraceEvent) => void) | undefined, oneLoopMode?: OneLoopMode, layerPolicyMode?: LayerPolicyMode);
+    /** AL9b: runId of the previous turn's outcome row, so this turn's `pushbackOnPriorTurn` can be recorded against it. */
+    private lastOutcomeRunId;
+    private outcomeSeq;
+    /** AL9b: persist the per-layer outcome row (and, under shadow, the shadow-vs-executed row). Never throws, never affects the turn. */
+    private recordTurnTelemetry;
+    /**
+     * Drops the paused harness run a `needs_clarification` left behind (its checkpoint and its resume-attempt counter),
+     * so the next ordinary run for this session starts fresh instead of resuming it. Used when a clarification answer
+     * is handed to the ordinary turn pipeline rather than fed back into the paused run.
+     */
+    discardPausedRun(sessionId: string): Promise<void>;
     run(params: HarnessRunParams): Promise<HarnessOutcome>;
 }

package/dist/harness-token-budget.d.ts

@@ -0,0 +1,9 @@
+/**
+ * `AUDIT_HARNESS_TOKEN_BUDGET` gate. Default **OFF**: the harness's memory layer keeps its `token_budget` at 0 used of 200,000,
+ * so its context-compression pressure test (90%) can never trip, exactly as before. A positive integer turns it on and IS the
+ * budget (`AUDIT_HARNESS_TOKEN_BUDGET=30000`): the turn's real model usage (input + output tokens, every call the turn made) is
+ * reported to the harness each iteration, and compression runs once usage passes 90% of the total. What it trims is the harness's
+ * own bookkeeping (compressed-structure and pruned-region records), never the model's conversation context — that is
+ * `semantic-compaction.ts`. Read at one site: harness-bridge.ts.
+ */
+export declare function harnessTokenBudgetTotal(env?: Record<string, string | undefined>): number | undefined;

package/dist/index.d.ts

@@ -1,8 +1,16 @@
 export { PersonalAssistant } from './assistant.js';
 export type { AssistantTurnResult, ProposerKind, PersonalAssistantOptions, AssistantProgress, AssistantTrace, AssistantSource, MemorySummary, TranscriptSearchHit, DebugLogEntry } from './assistant.js';
+export type { MemoryStatus, MemoryInjection, AuditEntry, ConsolidationOutcome } from './memory-service.js';
+export type { ConsolidationProposal } from './memory-consolidation.js';
+export type { SessionDigest } from './episodic-digest.js';
+export type { MemoryWriteMode } from './memory-governance.js';
+export { MEMORY_WRITE_MODES, DEFAULT_MEMORY_WRITE_MODE, resolveMemoryWriteMode } from './memory-governance.js';
 export type { GoalGraphState, GoalThreadView, GoalThreadVisibility, GoalTaskSummary } from './goal-graph-service.js';
 export type { AnswerClaim, AnswerClaimSourceType, AnswerClaimVerificationStatus } from './answer-claim.js';
+export { lowerConfidenceSourceLines } from './source-reliability.js';
 export { classifyRisk } from './risk-classifier.js';
+export { LEXICAL_FAMILIES, LEXICAL_CHECK_FAMILIES, DEFAULT_LEXICAL_MODE, lexicalActive, resolveLexicalMode, resolveLexicalOff, lexicalOffEnvValue, syncHarnessLexicalEnv } from './lexical/lexical-mode.js';
+export type { LexicalFamily, LexicalMode } from './lexical/lexical-mode.js';
 export type { RiskClassification } from './risk-classifier.js';
 export { classifyTurnIntent } from './turn-intent-classifier.js';
 export type { TurnIntentClassification, TurnIntentContext, RiskLevel } from './turn-intent-classifier.js';
@@ -26,7 +34,7 @@ export { braveSearch } from './web-search-provider.js';
 export type { BraveSearchOptions } from './web-search-provider.js';
 export { buildClaudePrompt, parseClaudeCliOutput, ALREADY_STAGED_ACTION_TOOL, stagedActionInput } from './claude-cli-prompt.js';
 export type { ParsedClaudeCliOutput } from './claude-cli-prompt.js';
-export { stripMcpToolPrefix, summarizeToolStep } from './tool-step.js';
+export { stripMcpToolPrefix, summarizeToolStep, summarizeSettledToolStep } from './tool-step.js';
 export type { AssistantToolStep } from './tool-step.js';
 export type { DecomposedTaskSpec } from './decomposition-classifier.js';
 export { detectHomogeneousBatchList } from './batch-list-detector.js';
@@ -42,17 +50,28 @@ export type { PlanRecord, PlanTaskRecord, PlanPosition, PlanMode } from './plan-
 export type { PlanDecision, PlanApprovalEdits } from './plan-approval-service.js';
 export { resolveConfig, validateConfig, ConfigValidationError, DEFAULT_CONFIG, CONFIG_KEYS } from './config.js';
 export type { AssistantConfig, ConfigStore, ResolvedConfig } from './config.js';
+export { LAYER_SETTINGS, applyLayerSettings, effectiveState, withLayerChoice, sanitizeLayerChoices, formatLayerListing, findLayer, isToggleable, LayerSettingError } from './layer-settings.js';
+export type { LayerSetting, LayerGroup, LayerChoices, AppliedLayers } from './layer-settings.js';
 export { resolveOneLoopMode, normalizeOneLoopMode, DEFAULT_ONE_LOOP_MODE } from './one-loop-flag.js';
 export type { OneLoopMode } from './one-loop-flag.js';
 export { resolveAskMode, normalizeAskMode, DEFAULT_ASK_MODE } from './ask-mode-flag.js';
 export type { AskMode } from './ask-mode-flag.js';
+export { resolveAmbiguityGuardMode, normalizeAmbiguityGuardMode, DEFAULT_AMBIGUITY_GUARD_MODE } from './ambiguity-guard-flag.js';
+export type { AmbiguityGuardMode } from './ambiguity-guard-flag.js';
 export { resolvePlanMode, normalizePlanMode, DEFAULT_PLAN_MODE } from './plan-mode-flag.js';
 export type { PlanRolloutMode } from './plan-mode-flag.js';
 export { resolveGoalGraphMode, normalizeGoalGraphMode, isGoalGraphEnabled, DEFAULT_GOAL_GRAPH_MODE } from './goal-graph-flag.js';
 export type { GoalGraphMode } from './goal-graph-flag.js';
+export { resolvePlanGraphMode, normalizePlanGraphMode, isPlanGraphEnabled, DEFAULT_PLAN_GRAPH_MODE } from './plan-graph-flag.js';
+export type { PlanGraphMode } from './plan-graph-flag.js';
+export { planToSnapshot } from './plan-viz/plan-snapshot.js';
+export type { PlanSnapshot, PlanSnapshotResult } from './plan-viz/plan-snapshot.js';
 export type { NextStepSuggestion } from './next-step-proposer.js';
 export { resolveGoalGraphSuggestMode, normalizeGoalGraphSuggestMode, isGoalGraphSuggestEnabled, DEFAULT_GOAL_GRAPH_SUGGEST_MODE } from './goal-graph-suggest-flag.js';
 export type { GoalGraphSuggestMode } from './goal-graph-suggest-flag.js';
+export { resolveLayerPolicyMode, normalizeLayerPolicyMode, isAdaptivePolicyEnabled, isPolicyRecordingEnabled, isLayerPolicyMode, resolveLayerPolicyModeFromConfig, DEFAULT_LAYER_POLICY_MODE } from './layer-policy-flag.js';
+export type { LayerPolicyMode } from './layer-policy-flag.js';
+export { resolveEscalationPlan, turnPolicyBudget, escalationEnabled, explicitEnvOverride, SEMANTIC_ESCALATIONS, harnessGatePolicy, decompositionReframeEnabled, injectionDetectionEnabled, decisionNote } from './layer-policy-wiring.js';
 export { LiveSteeringChannel } from './live-steering-channel.js';
 export type { SteeringEvent } from './live-steering-channel.js';
 export { AskClarificationService } from './ask-clarification-service.js';
@@ -61,7 +80,7 @@ export { validateAskResponse, MAX_QUESTIONS_PER_BATCH, MIN_OPTIONS_PER_QUESTION,
 export type { AskQuestion, AskQuestionOption, AskAnswer, AskResponse } from '@buildaharness/harness';
 export { createScriptedLLMClient } from './scripted-llm-client.js';
 export type { ScriptedLLMClientScript } from './scripted-llm-client.js';
-export { formatMemorySummary, formatSearchResults, formatGoalGraphState, formatCostSummary, formatDoctorReport, formatTranscriptMarkdown, defaultExportFilename } from './cli-session.js';
+export { formatMemorySummary, formatMemoryHistory, formatMemoryArchive, formatMemoryInjection, formatMemoryStatus, memoryStatusChecks, formatSearchResults, formatGoalGraphState, formatCostSummary, formatDoctorReport, formatTranscriptMarkdown, defaultExportFilename } from './cli-session.js';
 export type { CostSummaryInfo, DoctorCheck } from './cli-session.js';
 export { estimateCostUsd } from './model-pricing.js';
 export { PROVIDER_SETUP, getProviderSetup, cleanApiKey, checkApiKeyFormat, testApiKey } from './provider-setup.js';