agentfootprint/dist/esm/semantics/coverage/index.d.ts

The explainable agent framework — backtrack a wrong answer to the exact context that caused it (evidence, not guesses). Built on footprintjs.

/**
 * The two coverage primitives — `absent()` and `coverage()`.
 *
 * The door: what the main barrel publishes, and the one import path the
 * dispatch loop, the evidence index and the final-answer stage use. Both
 * primitives came from FIELD USE — a production triage agent that had
 * invented them because the library had no answer for either. See README.md
 * for the arguments; nothing here is new machinery, it is a smaller version
 * of what already worked.
 */
export { ABSENCE_MARKER, ABSENCE_NOTE, absent, coverageOfAbsence, readAbsence } from './absent.js';
export { namesFacetOf } from './among.js';
export { answerCoverageOf, composeAnswerWithCoverage, copyAnswerCoverage, copyCoverage, COVERAGE_BLOCK_HEADING, coverageOfAnswer, type AnswerCoverage, type AnswerInProgress, } from './answer.js';
export { absenceEvidenceProjection } from './evidence.js';
export { mergeItems, normalizeCoverageList, sameItem } from './items.js';
export { coverage, COVERAGE_MARKER, COVERAGE_NOTE, coverageOfLedger, readCoverageLedger, } from './ledger.js';
export { readCoverageResult, type CoverageFacts, type CoverageReading } from './read.js';
export { PERIOD_WIRE, periodVerdict, type DeclaredPeriod, type PeriodRow } from './period.js';
export { IN_PROGRESS_CLAUSE, IN_PROGRESS_SECTION_LABEL, IN_PROGRESS_WIRE, inProgressLine, } from './inProgress.js';
export { isComposedCoverage, type ComposedCoverage, type ComposedItem, type CoverageGap, type GapFacet, } from './composedCoverage.js';
export type { SearchArgument, SearchRole, ToolSearch } from './search/types.js';
export type { AbsenceAmongDeclaration, AbsenceDeclaration, AmongDeclaration, Coverage, CoverageDeclaration, CoverageInput, CoverageItem, CoveredResult, DeclaredCoverage, DeclaredCoveredResult, DeclaredToolAbsence, InProgressInput, InProgressItem, NamesFacetItem, CompletenessGapItem, SourceGapItem, ToolAbsence, TryInsteadTool, } from './types.js';