/**
 * Human-readable notes on passed verification gates (T12961).
 *
 * A flaky pass — a `tool` run whose first attempt failed and whose one full
 * rerun passed — counts toward its gate, but must stay visible rather than
 * read as a clean pass. `cleo verify` and the `cleo show --full` view render
 * such a gate as `passed (flaky: <files>)` from these notes.
 *
 * It also holds the gate-profile rules (T13474) and the document-path rules
 * they rest on, with no runtime imports: the task view reads them on every
 * `cleo show`, whose module budget (gate 39) has no room for another module.
 * `verification-policy.ts`, their public home, re-exports them.
 *
 * @task T12961
 * @task T13474
 */
import type { Task, TaskVerification, VerificationGate } from '@cleocode/contracts';
/**
 * Whether a path is a documentation artifact (`.md`/`.mdx`/`.rst`/`.adoc`, or
 * README, LICENSE, CHANGELOG bare or with one of those extensions or `.txt`) —
 * the rule `pr:` uses to refuse a docs-only PR as implementation of a code task.
 *
 * A bare `.txt` is not a document (`requirements.txt`, `CMakeLists.txt`), nor
 * is a README/LICENSE/CHANGELOG name with a code extension (`src/README.ts`):
 * both decide what code builds or runs (T14001, review of #2413).
 *
 * @param path - Repo-relative path.
 * @returns True for a documentation artifact.
 */
export declare function isDocumentArtifact(path: string): boolean;
/**
 * Whether a path is a document for evidence-kind purposes (T14001): a
 * documentation artifact, or a CLEO-managed document (an attachment or a
 * content-addressed blob, whose stored name carries no extension).
 *
 * @param path - Repo-relative path.
 */
export declare function isDocumentEvidencePath(path: string): boolean;
/**
 * Gate profiles a task with no code change may declare, as a `profile:<name>`
 * label (T13474): operations work, a decision, a census or an audit. A
 * profiled task owes the non-code gates of a research task (`implemented`,
 * proven by `decision:` with a `note:` or an artifact); `testsPassed` and
 * `qaPassed` are not applicable to it. The set is closed: any other
 * `profile:` label is refused, and a profiled task whose work touches code
 * owes the code gates whatever its label says (`taskEvidenceKindReport`).
 *
 * @task T13474
 */
export declare const GATE_PROFILES: readonly ["ops", "decision", "census", "audit"];
/** One of {@link GATE_PROFILES}. */
export type GateProfile = (typeof GATE_PROFILES)[number];
/** The label prefix that declares a gate profile. */
export declare const GATE_PROFILE_LABEL_PREFIX = "profile:";
/**
 * The gate profile a task declares (`profile:<name>` label), or `null`.
 *
 * @param task - The task's labels.
 * @returns The profile, or `null` when it declares none (or only an unknown one).
 * @example
 * ```ts
 * gateProfileOf({ labels: ['profile:ops'] }); // 'ops'
 * ```
 * @task T13474
 */
export declare function gateProfileOf(task: Partial<Pick<Task, 'labels'>>): GateProfile | null;
/**
 * Why a label set's gate profile labels are refused, or `null` (T13474): an
 * unknown `profile:<name>`, or more than one profile.
 *
 * @param labels - The task's labels after the change.
 * @returns The refusal, or `null`.
 * @example
 * ```ts
 * gateProfileLabelProblem(['profile:deploy']); // "Unknown gate profile label 'profile:deploy' …"
 * ```
 * @task T13474
 */
export declare function gateProfileLabelProblem(labels: readonly string[]): string | null;
/**
 * The code evidence a task's recorded `implemented` gate carries, as its atom
 * (`commit:<sha>`, `pr:<n>`, `files:<code path>`), or `null` (T13474). A gate
 * profile never applies to such a task: a code change always owes its tests.
 *
 * @param task - The task (its recorded `implemented` evidence is read).
 * @returns The first code atom, or `null`.
 * @task T13474
 */
export declare function implementedCodeEvidence(task: Partial<Pick<Task, 'verification'>>): string | null;
/** The gates a gate profile (T13474) makes not applicable: those that test or lint code. */
export declare const PROFILE_WAIVED_GATES: readonly VerificationGate[];
/**
 * Notes for the gates a task's gate profile (T13474) makes not applicable:
 * `{ testsPassed: 'not applicable (profile:ops)', … }` for each such gate that
 * is not passed, so a reader never takes it for a pass. Empty when the task
 * declares no profile, or when its implemented evidence carries code (the
 * profile does not apply to it).
 *
 * @param task - The task (labels and recorded evidence are read).
 * @returns The notes, keyed by gate.
 * @task T13474
 */
export declare function profileGateNotes(task: Pick<Task, 'labels' | 'verification'>): Partial<Record<VerificationGate, string>>;
/**
 * Notes for every PASSED gate whose evidence carries a flaky `tool` run.
 *
 * @param verification - The task's verification record, if any.
 * @returns e.g. `{ testsPassed: 'passed (flaky: src/a.test.ts)' }`; `{}` when
 *   nothing is flaky.
 *
 * @task T12961
 */
export declare function describeGateNotes(verification: TaskVerification | null | undefined): Partial<Record<VerificationGate, string>>;
//# sourceMappingURL=gate-notes.d.ts.map