@buildaharness/aielia 0.3.9 → 0.3.10

package/dist/claude-cli-llm-client.d.ts

@@ -87,6 +87,8 @@ export interface ClaudeCliLLMClientOptions {
  * turn was free" without that context.
  */
 export declare class ClaudeCliLLMClient implements ILLMClient {
+    /** Runs its own tool loop inside `claude -p`; it cannot return tool calls to a caller's loop, so those callers use text tool calls (see writer/text-tool-calls.ts). */
+    readonly nativeToolCalls = false;
     private readonly claudePath;
     private readonly fileTools?;
     private readonly remindersFile?;

package/dist/claude-cli-prompt.d.ts

@@ -84,3 +84,10 @@ export declare function stripJsonCodeFence(content: string): string;
  */
 export declare function primaryModelFromUsage(modelUsage: Record<string, unknown> | undefined): string | undefined;
 export declare function parseClaudeCliOutput(stdout: string): ParsedClaudeCliOutput;
+/**
+ * What to say when `claude` exits with a failure. The CLI prints its own error on stderr for some failures, but with `--output-format json`
+ * it reports others (a logged-out session: "Not logged in · Please run /login") as `{"is_error":true,"result":"..."}` on stdout and leaves
+ * stderr empty, so reading stderr alone lost the reason and left only "exited with code 1". The desktop shell's Rust twin
+ * (`claude_failure_message` in lib.rs) follows the same order.
+ */
+export declare function claudeFailureMessage(stdout: string, stderr: string, code: number | string | null): string;

package/dist/cli.js

@@ -1,3 +1,3 @@
 #!/usr/bin/env node
-import "./bin-CCwDFxDe.js";
+import "./bin-Cz3FY6Ew.js";
 //# sourceMappingURL=cli.js.map

package/dist/fact-repository.contract.d.ts

@@ -0,0 +1,2 @@
+import { FactRepository } from './fact-repository.js';
+export declare function runFactRepositoryContract(name: string, make: () => FactRepository): void;

package/dist/fact-repository.d.ts

@@ -0,0 +1,44 @@
+import { MemoryAdapter } from '@buildaharness/runtime';
+/** One list to replace. `value: null` removes the list (distinct from an empty list, so an undo can restore "absent"). */
+export interface FactChange {
+    key: string;
+    value: unknown[] | null;
+}
+/** Thrown by `apply()` when `expectedVersion` is not the repository's current version. */
+export declare class VersionConflictError extends Error {
+    readonly expected: number;
+    readonly actual: number;
+    constructor(expected: number, actual: number);
+}
+export interface FactQuery<T> {
+    /** Keep only rows for which this returns true (status, tier, attribute key and project are all row predicates). */
+    where?: (row: T) => boolean;
+}
+export interface FactRepository {
+    /** Monotonic counter, bumped by every successful `apply`/`put`/`remove`/`appendEvents`. */
+    version(): number;
+    /** The whole list stored under `key`, `[]` when absent. */
+    list<T>(key: string, query?: FactQuery<T>): Promise<T[]>;
+    /** The first row under `key` whose id (from `idOf`) equals `id`. */
+    get<T>(key: string, id: string, idOf: (row: T) => string): Promise<T | undefined>;
+    /** Replace several lists as one commit: all land or none do. Throws `VersionConflictError` if `expectedVersion` is stale. */
+    apply(changes: FactChange[], expectedVersion?: number): Promise<number>;
+    /** Single-list shorthands for `apply`. */
+    put(key: string, value: unknown[]): Promise<void>;
+    remove(key: string): Promise<void>;
+    /** Append to an ordered event list in one step, then let `trim` bound it. Order of appends is preserved. */
+    appendEvents<T>(key: string, events: T[], trim?: (all: T[]) => T[]): Promise<T[]>;
+}
+/** Today's behaviour: each list lives under its own `MemoryAdapter` key. The version is per instance (one process). */
+export declare class KeyValueFactRepository implements FactRepository {
+    private readonly store;
+    private ver;
+    constructor(store: MemoryAdapter);
+    version(): number;
+    list<T>(key: string, query?: FactQuery<T>): Promise<T[]>;
+    get<T>(key: string, id: string, idOf: (row: T) => string): Promise<T | undefined>;
+    apply(changes: FactChange[], expectedVersion?: number): Promise<number>;
+    put(key: string, value: unknown[]): Promise<void>;
+    remove(key: string): Promise<void>;
+    appendEvents<T>(key: string, events: T[], trim?: (all: T[]) => T[]): Promise<T[]>;
+}

package/dist/file-tools-mcp-server.mjs

@@ -758,6 +758,25 @@ export function createReminder(remindersFile, rawText) {
   return run
 }
 
+/**
+ * Eval harness only. `BENCHMARK_TOOL_FAILURE` (JSON `{"remaining": N, "symptom": "..."}`) makes the first N
+ * read_file / list_directory calls of this subprocess fail with the symptom text; unset (the product case) it
+ * is inert. The benchmark's `bare` arm uses it because its tool calls resolve in here, out of process. The
+ * parent re-arms it per `claude -p` invocation with the failures still owed.
+ */
+export const BENCHMARK_DEFAULT_SYMPTOM = 'injected: persistent tool failure (ETIMEDOUT)'
+let benchmarkFailuresTaken = 0
+export function resetBenchmarkToolFailureForTests() { benchmarkFailuresTaken = 0 }
+export function takeBenchmarkToolFailure(env = process.env) {
+  const raw = env.BENCHMARK_TOOL_FAILURE
+  if (!raw) return undefined
+  let spec
+  try { spec = JSON.parse(raw) } catch { return undefined }
+  if (!spec || !(Number(spec.remaining) > benchmarkFailuresTaken)) return undefined
+  benchmarkFailuresTaken += 1
+  return typeof spec.symptom === 'string' && spec.symptom ? spec.symptom : BENCHMARK_DEFAULT_SYMPTOM
+}
+
 async function main() {
   const workspaceRoot = process.env.WORKSPACE_ROOT
   if (!workspaceRoot) {
@@ -784,6 +803,11 @@ async function main() {
         if (gate.decision === 'deny') {
           return { content: [{ type: 'text', text: `Denied: ${gate.reason ?? 'not permitted by tool policy'}` }], isError: true }
         }
+        const injected = takeBenchmarkToolFailure()
+        if (injected !== undefined) {
+          await reportToolResult('read_file', { path }, `Error: ${injected}`, false)
+          return { content: [{ type: 'text', text: `Error: ${injected}` }], isError: true }
+        }
         const resolved = await resolveAndVerify(workspaceRoot, path)
         const content = await readFile(resolved, 'utf-8').catch((err) => {
           if (isEnoent(err)) return undefined
@@ -816,6 +840,11 @@ async function main() {
         if (gate.decision === 'deny') {
           return { content: [{ type: 'text', text: `Denied: ${gate.reason ?? 'not permitted by tool policy'}` }], isError: true }
         }
+        const injected = takeBenchmarkToolFailure()
+        if (injected !== undefined) {
+          await reportToolResult('list_directory', { path }, `Error: ${injected}`, false)
+          return { content: [{ type: 'text', text: `Error: ${injected}` }], isError: true }
+        }
         const resolved = await resolveAndVerify(workspaceRoot, path)
         const names = await readdir(resolved).catch((err) => {
           if (isEnoent(err)) return []

package/dist/harness-bridge.d.ts

@@ -11,11 +11,11 @@ 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
- * benchmark's `verificationOff` arm sets a falsy value (`0` / `false` / `off` / `no` / `disabled`),
- * which makes `HarnessBridge.run` pass `skipVerification: true` to HarnessRuntime. Read at exactly
- * one call site (below); no product path sets it. Same shape as `semanticContradictionEnabled()`.
+ * `AUDIT_VERIFICATION` gate — feature-value audit (Phase C5 of the internal plan). Default **ON** (an
+ * unset / empty / truthy value keeps today's always-on verification). A falsy value (`0` / `false` /
+ * `off` / `no` / `disabled`) makes `HarnessBridge.run` pass `skipVerification: true` to HarnessRuntime.
+ * Set by the benchmark's `verificationOff` arm and by the user's `mandatory_verification` layer setting
+ * (`layer-settings.ts`). Read at exactly one call site (below). Same shape as `semanticContradictionEnabled()`.
  */
 export declare function verificationEnabled(env?: Record<string, string | undefined>): boolean;
 /**

package/dist/html-to-markdown.d.ts

@@ -0,0 +1,11 @@
+/**
+ * HTML to markdown for pulling a page in to edit: no DOM, so it runs in the shared code. It keeps the structure an article has (headings, paragraphs,
+ * lists, quotes, code, links, emphasis) and drops what is not the article (scripts, styles, navigation, headers and footers outside the main text,
+ * forms, comments). When the page has a <main> or <article>, only that is used. It is a reader, not a parser of every page on the web: odd markup
+ * comes out as plain paragraphs.
+ */
+/** True when the text is an HTML document or fragment (it has a structural tag near its start). */
+export declare function looksLikeHtml(text: string): boolean;
+export declare function htmlToMarkdown(html: string): string;
+/** The page's own title from its <title>, with a trailing site name (after a pipe, dash or colon) removed; undefined when it has none. */
+export declare function htmlTitle(html: string): string | undefined;

package/dist/index.d.ts

@@ -3,6 +3,8 @@ export type { AssistantTurnResult, ProposerKind, PersonalAssistantOptions, Assis
 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 { MemoryEvent, MemoryEventKind, ReasonCode, SourceRef, EventSink, EventFilter } from './memory-events.js';
+export { InMemoryEventSink, MemoryEventSchema, factKey, foldDurable, filterEvents, formatMemoryEvents } from './memory-events.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';
@@ -47,7 +49,7 @@ export { WEB_TOOLS, WEB_SEARCH_TOOL, FETCH_URL_TOOL, executeWebTool, assertPubli
 export type { WebToolsContext, WebToolResult, WebSearchResult, DnsResolver } from './web-tools.js';
 export { braveSearch } from './web-search-provider.js';
 export type { BraveSearchOptions } from './web-search-provider.js';
-export { buildClaudePrompt, stripJsonCodeFence, parseClaudeCliOutput, ALREADY_STAGED_ACTION_TOOL, stagedActionInput } from './claude-cli-prompt.js';
+export { buildClaudePrompt, claudeFailureMessage, stripJsonCodeFence, parseClaudeCliOutput, ALREADY_STAGED_ACTION_TOOL, stagedActionInput } from './claude-cli-prompt.js';
 export type { ParsedClaudeCliOutput } from './claude-cli-prompt.js';
 export { stripMcpToolPrefix, summarizeToolStep, summarizeSettledToolStep } from './tool-step.js';
 export type { AssistantToolStep } from './tool-step.js';
@@ -65,7 +67,7 @@ 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 { LAYER_SETTINGS, applyLayerSettings, effectiveState, withLayerChoice, sanitizeLayerChoices, formatLayerListing, findLayer, followersOf, unmetRequirements, layerWarnings, 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';
@@ -100,3 +102,81 @@ 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';
 export type { KeyedBackend, ProviderSetupInfo, KeyTestResult } from './provider-setup.js';
+export { WriterChatStateSchema, WriterCommentSchema, WriterCorrectionSchema, WRITER_CHAT_STATE_VERSION, createEmptyWriterChatState, applyCaptureOps, renderWriterChatBlock } from './writer/writer-chat-state.js';
+export type { WriterChatState, WriterComment, WriterCorrection, ArticleRef, CaptureOp, ApplyResult } from './writer/writer-chat-state.js';
+export { ACTIVITY_KEY, MAX_ACTIVITY_RECORDS, addRecord, activityReport, createActivityLog, summarizeActivity, isJobRecord, typicalMs, usuallyText, MIN_RUNS_FOR_TYPICAL } from './writer/write-activity.js';
+export type { ActivityLog, ActivitySummary, JobOutcome, JobRecord, KindSummary } from './writer/write-activity.js';
+export { summarizeSectionChange, describeSectionChange, NAME_OPEN, NAME_CLOSE } from './writer/article-change-summary.js';
+export type { SectionChange } from './writer/article-change-summary.js';
+export { readWriterIntent } from './writer/writer-intent.js';
+export type { ChatIntent, WriterIntent } from './writer/writer-intent.js';
+export { chatHistoryMessages } from './writer/writer-chat-history.js';
+export type { ChatTurn } from './writer/writer-chat-history.js';
+export { captureChatState } from './writer/writer-chat-capture.js';
+export type { CaptureResult, CaptureStatus } from './writer/writer-chat-capture.js';
+export { ArticleMetaSchema, SectionSchema, ClaimSchema, SourceSchema, LinkSchema, SuggestionSchema, ARTICLE_META_VERSION, createArticleMeta, parseArticleMeta } from './writer/article-model.js';
+export type { ArticleMeta, Section, Claim, Source, Link, Suggestion, Idea, SourceStatus, ReviewState, LoadResult } from './writer/article-model.js';
+export { parseSections, reconcileSections } from './writer/article-sections.js';
+export type { ReconcileResult, ParsedHeading } from './writer/article-sections.js';
+export { effectiveSourceStatus, editClaimText, setSectionReview, removeLink, confirmLink, checkIntegrity, computeReadiness, createSnapshot, restoreSnapshot } from './writer/article-rules.js';
+export type { Actor, Problem, Readiness, Snapshot } from './writer/article-rules.js';
+export { serializeArticle, loadArticleFolder } from './writer/article-folder.js';
+export type { ArticleFolder, ArticleBundle, FolderLoad } from './writer/article-folder.js';
+export { fingerprintPassage, createSource, applyRecheck, acceptNewPassage } from './writer/article-sources.js';
+export { extractClaims, batchSections } from './writer/article-claims.js';
+export type { ExtractionResult } from './writer/article-claims.js';
+export { checkClaimSupport, sourcesForClaim, needsAutoCheck } from './writer/article-support.js';
+export type { SupportCheck, SupportVerdict } from './writer/article-support.js';
+export { resolveChange, assessSourceChange, linkedSectionIds } from './writer/article-resolver.js';
+export type { Change, ResolveResult, SourceImpact, SourceChangeResult } from './writer/article-resolver.js';
+export { processWriterMessage, recordWriterMessage, createMemoryWriterChatPort } from './writer/writer-chat-turn.js';
+export type { WriterChatPort } from './writer/writer-chat-turn.js';
+export { proposeSuggestion, refreshSuggestions, acceptSuggestion, rejectSuggestion } from './writer/article-suggestions.js';
+export type { SuggestionResult } from './writer/article-suggestions.js';
+export type { SourceCandidate, SourceRecheckReport } from './writer/article-service.js';
+export { githubRepoReader, parseGithubRepoAddress } from './writer/repo-reader.js';
+export type { RepoReader, GithubRepoSpec } from './writer/repo-reader.js';
+export type { ChatStageListener } from './writer/article-service.js';
+export { ArticleService, createArticleChatPort, createMemoryArticleStore, serializeByArticle } from './writer/article-service.js';
+export type { ArticleStore, ArticleServiceOptions, UpdateOutcome, ChatEditResult, OutlineEditResult } from './writer/article-service.js';
+export { createMemoryAdapterArticleStore } from './writer/article-memory-store.js';
+export { suggestEdits } from './writer/article-edit-suggest.js';
+export type { EditSuggestResult } from './writer/article-edit-suggest.js';
+export { WritePermissionsSchema, DEFAULT_WRITE_PERMISSIONS, loadPermissions, savePermissions, createSpendMeter, withSpendCap, SpendCapReachedError } from './writer/write-permissions.js';
+export type { WritePermissions, SpendMeter, SpendSnapshot, SettingsStore, CountedUsage } from './writer/write-permissions.js';
+export { diffForDisplay, inlineDiff, diffLines, compareVersions, addSnapshot, isLargeChange, MAX_CHECKPOINTS, MAX_AUTOSAVES, AUTOSAVE_LABEL } from './writer/article-history.js';
+export { autosaveStep, type AutosaveStep } from './writer/article-autosave.js';
+export type { DiffLine, DisplayLine, InlinePart, VersionComparison, VersionSide } from './writer/article-history.js';
+export { summarizeChange } from './writer/article-history.js';
+export type { ChangeSummary } from './writer/article-history.js';
+export { proposeDependencies, addDrawnLink, dependenciesOf, wouldCycle, DEPENDENCY_KINDS, DEPENDENCY_LABEL } from './writer/article-dependencies.js';
+export type { DependencyKind, DependencyProposal, SectionDependencies, AddLinkResult } from './writer/article-dependencies.js';
+export { textUnitAt, claimsInRange, attachSourceToText, proposeSourceLinks } from './writer/article-source-links.js';
+export type { TextUnit, TextRange, AttachResult, SourceLinkProposal } from './writer/article-source-links.js';
+export { suggestedModels, modelLabel, CLI_DEFAULT_LABEL, defaultWriteModels } from './writer/write-models.js';
+export type { WriteModelDefaults } from './writer/write-models.js';
+export { addIdea, editIdea, setIdeaState, removeIdea, suggestIdeas } from './writer/article-ideas.js';
+export type { IdeaSuggestion } from './writer/article-ideas.js';
+export { setBrief, applyProfile, cleanProfile, renderStyleGuide, loadProfiles, saveProfile, deleteProfile } from './writer/article-style.js';
+export { folderFileAddress, pathInFolder, walkFolder, folderFromFsBackend, folderFromListing, matchFolderFiles, isSkippedFolder, type FolderReader } from './writer/local-folder.js';
+export { verifyTargets, lookupNote, currentLookup, summarizeVerify, summarizeArticleSources, DEFAULT_VERIFY_LIMIT, type VerifyEntry, type VerifyOutcome, type VerifyReport } from './writer/article-verify.js';
+export { htmlToMarkdown, looksLikeHtml } from './html-to-markdown.js';
+export { pageToArticle, sourceKindForFile, documentFormatForFile, parseLineRange, parseRepoFileLink, sliceLines, excerptFor, type LineRange } from './writer/article-sources.js';
+export { CALL_TYPES, callTypeLabel, classifyCall } from './writer/write-spend.js';
+export type { CallType } from './writer/write-spend.js';
+export { claimMarks } from './writer/article-marks.js';
+export { expandSelection, unitOfSelection, type SelectionRange, type SelectionUnit } from './writer/article-selection.js';
+export { outlineOf, expandOutlineSelection, outlineToText, applyOutlineText, renameHeadingInText, type OutlineEntry } from './writer/article-outline.js';
+export { revisionsOfText, type TextRevision, type TextRevisions, type VersionText } from './writer/article-revisions.js';
+export { shouldDeriveStyle, STYLE_DERIVE_MIN_WORDS } from './writer/article-style-derive.js';
+export { textPieces, describeAt, type TextPiece } from './writer/article-decorations.js';
+export type { ClaimMark, MarkTone } from './writer/article-marks.js';
+export type { Brief, StyleProfile } from './writer/article-model.js';
+export { WRITE_PARAMETERS, PARAMETER_GROUPS, findParameter, adjustmentInstruction, adjustmentChoices, adjustmentFromText } from './writer/write-parameters.js';
+export type { WriteParameter, ParameterGroup, ParameterKind } from './writer/write-parameters.js';
+export { addCommentOnText, commentsInRange, refreshComments } from './writer/article-comments.js';
+export { collectIssues, issuesInRange, issueCount, checkableClaims, unsupportedClaims, ISSUE_CATEGORIES } from './writer/article-issues.js';
+export type { IssueBatch, IssueItem, IssueCategory } from './writer/article-issues.js';
+export { workPlan, checklistAt, stageSentence, elapsedText, changedRange, litRange, claimResultLine, recentResults } from './writer/work-progress.js';
+export type { WorkKind, WorkPlan, StepState, ChecklistItem, ResultLine, ResultTone } from './writer/work-progress.js';
+export { modelFailureHint, DEFAULT_MODEL_HINT, CLAUDE_SIGN_IN_HINT } from './writer/model-failure-hint.js';