/**
 * The semantic tool-result envelope + the `check:semantics` gate (9.53.0).
 *
 * The door: the main barrel publishes the AUTHORING half (`describedResult()`
 * plus the recognizer and the wire vocabulary) — what a tool author writes and what a
 * consumer reading raw results needs; `/observe` (via debug.ts) publishes
 * the GATE half (`checkSemantics`, the CLI core, the formatter) — beside
 * tool-lint, its pattern sibling. See README.md for the arguments.
 */
export { composeNotCovered, coverageOfSemantics, explainSemantics, isCounterLookingAggregation, readSemantics, semanticIssues, semanticsForModel, type SemanticIssue, type SemanticIssueCode, } from './envelope.js';
export { describedResult } from './described.js';
export { checkSemantics, type CheckSemanticsOptions, type SemanticsCatalogEntry, type SemanticsFinding, type SemanticsFindingCode, type SemanticsReport, } from './check.js';
export { formatSemanticsReport } from './format.js';
export { type OverclaimCode, type SemanticsRuleSet } from './overclaim.js';
export { coerceSemanticsCatalog, runCheckSemanticsCli, type SemanticsCliIO } from './cli.js';
export { COUNTER_AGGREGATION_WORDS, RESULT_CLASSES, SEMANTICS_MARKER, SEMANTICS_NOTE, type DescribedResultDeclaration, type SemanticClarify, type SemanticCoverage, type SemanticEdge, type SemanticFact, type SemanticGrain, type SemanticProvenance, type SemanticRender, type SemanticSeriesPoint, type ToolResultClass, type ToolSemantics, } from './types.js';
//# sourceMappingURL=index.d.ts.map