/**
 * Parser-backed validity gate for the ONE cloud `logic.aexol` file.
 *
 * The logic-trace extension (see `logic-trace.ts`) maintains a remote
 * `logic.aexol` mirror of the project's business logic. Every path that can
 * write that file — the draft LLM's `submit_logic_trace` tool, the automatic
 * sync engine, and the manual `remote_logic_trace_write` tool — funnels
 * through this gate, so the remote file can never hold content the Aexol
 * parser rejects.
 *
 * The parser itself lives in `src/generated/parser/` (vendored verbatim from
 * `packages/parser/` by `scripts/vendor-parser.mjs`) so this module stays a
 * static, dependency-free import that works in packaged checkouts too.
 */
export interface SpecParseDiagnostics {
    /** true only when the spec parses AND the validator reports zero errors. */
    ok: boolean;
    /** Readable "line N: message" strings for every blocking problem. */
    errors: string[];
    /** Readable strings for non-blocking / best-practice advisories. */
    warnings: string[];
}
/**
 * Parse `content` and run the semantic validator. Never throws — parser
 * failures become `errors` entries and `ok: false` diagnostics.
 */
export declare function validateLogicTraceSpec(content: string): SpecParseDiagnostics;
/**
 * Render diagnostics as one newline-joined block (empty string when nothing
 * to report) ready to be appended to a tool-result error message.
 */
export declare function formatSpecErrors(result: SpecParseDiagnostics): string;
//# sourceMappingURL=logic-trace-validate.d.ts.map