@hivelore/core 0.39.2 → 0.43.2

package/dist/index.d.ts

@@ -28,9 +28,18 @@ declare const AnchorSchema: z.ZodObject<{
  * (they require I/O and must run from the CLI, not core).
  */
 declare const SensorSchema: z.ZodObject<{
-    kind: z.ZodDefault<z.ZodEnum<["regex", "shell", "test"]>>;
-    /** Regex source (for kind=regex), matched against added diff lines / file content. */
+    kind: z.ZodDefault<z.ZodEnum<["regex", "ast", "shell", "test"]>>;
+    /**
+     * kind=regex: regex source, matched against added diff lines / file content.
+     * kind=ast: an ast-grep structural pattern (e.g. `stripe.paymentIntents.create($$$)`) — matched
+     * on the AST of changed files, so comments and string literals can never false-positive. Requires
+     * the optional `@ast-grep/napi` engine; without it the sensor is unrunnable (warn, never block).
+     */
     pattern: z.ZodOptional<z.ZodString>;
+    /** kind=ast: full ast-grep Rule object (`kind`, `inside`, `has`, `not`, `all`, `any`, …). */
+    rule: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    /** kind=ast: explicit language name for extensionless/non-standard files (e.g. python, go). */
+    language: z.ZodOptional<z.ZodString>;
     /**
      * Optional "correct-usage" regex (kind=regex). When `pattern` (the risky call) matches but this
      * regex ALSO appears within a small window around the match, the catch is SUPPRESSED — the diff
@@ -56,6 +65,13 @@ declare const SensorSchema: z.ZodObject<{
      * the incident the test exists to prevent". Surfaced in the block message and the prevention receipt.
      */
     incident: z.ZodOptional<z.ZodString>;
+    /**
+     * kind=shell|test only: the oracle was PROVEN to fail (RED) on the incident state at arming time
+     * (`sensors propose --red-ref`): the command passed on the presumed-correct tree AND failed on
+     * the replayed incident tree. Distinguishes "a test is routed" from "the test demonstrably
+     * catches the incident". Surfaced in the prevention receipt.
+     */
+    red_proven: z.ZodOptional<z.ZodBoolean>;
     /** `warn` surfaces in review; `block` can hard-block the commit (only when the gate opts in). */
     severity: z.ZodDefault<z.ZodEnum<["warn", "block"]>>;
     /** True when Hivelore generated this sensor automatically (vs. hand-authored). */
@@ -72,27 +88,33 @@ declare const SensorSchema: z.ZodObject<{
 }, "strip", z.ZodTypeAny, {
     message: string;
     paths: string[];
-    kind: "regex" | "shell" | "test";
+    kind: "regex" | "ast" | "shell" | "test";
     severity: "warn" | "block";
     autogen: boolean;
     last_fired: string | null;
     pattern?: string | undefined;
+    rule?: Record<string, unknown> | undefined;
+    language?: string | undefined;
     absent?: string | undefined;
     flags?: string | undefined;
     command?: string | undefined;
     timeout_ms?: number | undefined;
     incident?: string | undefined;
+    red_proven?: boolean | undefined;
     promoted_at?: string | undefined;
 }, {
     message: string;
     paths?: string[] | undefined;
-    kind?: "regex" | "shell" | "test" | undefined;
+    kind?: "regex" | "ast" | "shell" | "test" | undefined;
     pattern?: string | undefined;
+    rule?: Record<string, unknown> | undefined;
+    language?: string | undefined;
     absent?: string | undefined;
     flags?: string | undefined;
     command?: string | undefined;
     timeout_ms?: number | undefined;
     incident?: string | undefined;
+    red_proven?: boolean | undefined;
     severity?: "warn" | "block" | undefined;
     autogen?: boolean | undefined;
     last_fired?: string | null | undefined;
@@ -145,9 +167,18 @@ declare const MemoryFrontmatterSchema: z.ZodEffects<z.ZodObject<{
     }>>;
     /** Optional executable check derived from this memory (feedback computational layer). */
     sensor: z.ZodOptional<z.ZodObject<{
-        kind: z.ZodDefault<z.ZodEnum<["regex", "shell", "test"]>>;
-        /** Regex source (for kind=regex), matched against added diff lines / file content. */
+        kind: z.ZodDefault<z.ZodEnum<["regex", "ast", "shell", "test"]>>;
+        /**
+         * kind=regex: regex source, matched against added diff lines / file content.
+         * kind=ast: an ast-grep structural pattern (e.g. `stripe.paymentIntents.create($$$)`) — matched
+         * on the AST of changed files, so comments and string literals can never false-positive. Requires
+         * the optional `@ast-grep/napi` engine; without it the sensor is unrunnable (warn, never block).
+         */
         pattern: z.ZodOptional<z.ZodString>;
+        /** kind=ast: full ast-grep Rule object (`kind`, `inside`, `has`, `not`, `all`, `any`, …). */
+        rule: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        /** kind=ast: explicit language name for extensionless/non-standard files (e.g. python, go). */
+        language: z.ZodOptional<z.ZodString>;
         /**
          * Optional "correct-usage" regex (kind=regex). When `pattern` (the risky call) matches but this
          * regex ALSO appears within a small window around the match, the catch is SUPPRESSED — the diff
@@ -173,6 +204,13 @@ declare const MemoryFrontmatterSchema: z.ZodEffects<z.ZodObject<{
          * the incident the test exists to prevent". Surfaced in the block message and the prevention receipt.
          */
         incident: z.ZodOptional<z.ZodString>;
+        /**
+         * kind=shell|test only: the oracle was PROVEN to fail (RED) on the incident state at arming time
+         * (`sensors propose --red-ref`): the command passed on the presumed-correct tree AND failed on
+         * the replayed incident tree. Distinguishes "a test is routed" from "the test demonstrably
+         * catches the incident". Surfaced in the prevention receipt.
+         */
+        red_proven: z.ZodOptional<z.ZodBoolean>;
         /** `warn` surfaces in review; `block` can hard-block the commit (only when the gate opts in). */
         severity: z.ZodDefault<z.ZodEnum<["warn", "block"]>>;
         /** True when Hivelore generated this sensor automatically (vs. hand-authored). */
@@ -189,27 +227,33 @@ declare const MemoryFrontmatterSchema: z.ZodEffects<z.ZodObject<{
     }, "strip", z.ZodTypeAny, {
         message: string;
         paths: string[];
-        kind: "regex" | "shell" | "test";
+        kind: "regex" | "ast" | "shell" | "test";
         severity: "warn" | "block";
         autogen: boolean;
         last_fired: string | null;
         pattern?: string | undefined;
+        rule?: Record<string, unknown> | undefined;
+        language?: string | undefined;
         absent?: string | undefined;
         flags?: string | undefined;
         command?: string | undefined;
         timeout_ms?: number | undefined;
         incident?: string | undefined;
+        red_proven?: boolean | undefined;
         promoted_at?: string | undefined;
     }, {
         message: string;
         paths?: string[] | undefined;
-        kind?: "regex" | "shell" | "test" | undefined;
+        kind?: "regex" | "ast" | "shell" | "test" | undefined;
         pattern?: string | undefined;
+        rule?: Record<string, unknown> | undefined;
+        language?: string | undefined;
         absent?: string | undefined;
         flags?: string | undefined;
         command?: string | undefined;
         timeout_ms?: number | undefined;
         incident?: string | undefined;
+        red_proven?: boolean | undefined;
         severity?: "warn" | "block" | undefined;
         autogen?: boolean | undefined;
         last_fired?: string | null | undefined;
@@ -284,16 +328,19 @@ declare const MemoryFrontmatterSchema: z.ZodEffects<z.ZodObject<{
     sensor?: {
         message: string;
         paths: string[];
-        kind: "regex" | "shell" | "test";
+        kind: "regex" | "ast" | "shell" | "test";
         severity: "warn" | "block";
         autogen: boolean;
         last_fired: string | null;
         pattern?: string | undefined;
+        rule?: Record<string, unknown> | undefined;
+        language?: string | undefined;
         absent?: string | undefined;
         flags?: string | undefined;
         command?: string | undefined;
         timeout_ms?: number | undefined;
         incident?: string | undefined;
+        red_proven?: boolean | undefined;
         promoted_at?: string | undefined;
     } | undefined;
     activation?: {
@@ -319,13 +366,16 @@ declare const MemoryFrontmatterSchema: z.ZodEffects<z.ZodObject<{
     sensor?: {
         message: string;
         paths?: string[] | undefined;
-        kind?: "regex" | "shell" | "test" | undefined;
+        kind?: "regex" | "ast" | "shell" | "test" | undefined;
         pattern?: string | undefined;
+        rule?: Record<string, unknown> | undefined;
+        language?: string | undefined;
         absent?: string | undefined;
         flags?: string | undefined;
         command?: string | undefined;
         timeout_ms?: number | undefined;
         incident?: string | undefined;
+        red_proven?: boolean | undefined;
         severity?: "warn" | "block" | undefined;
         autogen?: boolean | undefined;
         last_fired?: string | null | undefined;
@@ -372,16 +422,19 @@ declare const MemoryFrontmatterSchema: z.ZodEffects<z.ZodObject<{
     sensor?: {
         message: string;
         paths: string[];
-        kind: "regex" | "shell" | "test";
+        kind: "regex" | "ast" | "shell" | "test";
         severity: "warn" | "block";
         autogen: boolean;
         last_fired: string | null;
         pattern?: string | undefined;
+        rule?: Record<string, unknown> | undefined;
+        language?: string | undefined;
         absent?: string | undefined;
         flags?: string | undefined;
         command?: string | undefined;
         timeout_ms?: number | undefined;
         incident?: string | undefined;
+        red_proven?: boolean | undefined;
         promoted_at?: string | undefined;
     } | undefined;
     activation?: {
@@ -407,13 +460,16 @@ declare const MemoryFrontmatterSchema: z.ZodEffects<z.ZodObject<{
     sensor?: {
         message: string;
         paths?: string[] | undefined;
-        kind?: "regex" | "shell" | "test" | undefined;
+        kind?: "regex" | "ast" | "shell" | "test" | undefined;
         pattern?: string | undefined;
+        rule?: Record<string, unknown> | undefined;
+        language?: string | undefined;
         absent?: string | undefined;
         flags?: string | undefined;
         command?: string | undefined;
         timeout_ms?: number | undefined;
         incident?: string | undefined;
+        red_proven?: boolean | undefined;
         severity?: "warn" | "block" | undefined;
         autogen?: boolean | undefined;
         last_fired?: string | null | undefined;
@@ -697,7 +753,7 @@ interface PreventionEvent {
     /** Which gate path recorded it. */
     source: PreventionSource;
     /** Optional detail for receipts; absent on logs written before v0.35.0. */
-    kind?: "regex" | "shell" | "test";
+    kind?: "regex" | "ast" | "shell" | "test";
     stage?: "pre-commit" | "pre-push" | "ci" | "manual";
     exit_code?: number;
 }
@@ -723,12 +779,14 @@ interface PreventionReceiptRow {
     id: string;
     title: string;
     source: PreventionSource;
-    kind: "regex" | "shell" | "test" | null;
+    kind: "regex" | "ast" | "shell" | "test" | null;
     stage: "pre-commit" | "pre-push" | "ci" | "manual" | null;
     exit_code: number | null;
     message: string | null;
     /** Incident provenance from the sensor frontmatter — the behaviour-harness link, when present. */
     incident: string | null;
+    /** The oracle was proven RED on the incident state at arming time (red_ref replay). */
+    red_proven: boolean;
 }
 interface PreventionReceipt {
     generated_at: string;
@@ -836,6 +894,50 @@ declare function projectContextRecentlyEmitted(paths: HaivePaths, hash: string,
 /** Record that this exact project-context body was just emitted. Best-effort. */
 declare function recordProjectContextEmission(paths: HaivePaths, hash: string, now?: number): Promise<void>;
 
+type MemoryPriority = "must_read" | "useful" | "background";
+/**
+ * Normalized priority evidence. A caller fills only the signals it can compute; unknown ones default
+ * to false (see {@link DEFAULT_PRIORITY_SIGNALS}). The MCP path has semantic scores; the CLI path has
+ * lexical scores — both reduce to these booleans.
+ */
+interface PrioritySignals {
+    /** Memory type (attempt, gotcha, skill, decision, …). */
+    type: string;
+    /** Memory tags — used for the stack-pack / env-workaround down-rank. */
+    tags: string[];
+    /** The memory demands explicit human approval — always surface first. */
+    requiresHumanApproval: boolean;
+    /** Anchored to a file the agent is editing. */
+    directAnchor: boolean;
+    /** Anchored to a symbol the agent requested. */
+    directSymbol: boolean;
+    /** Exact/literal task match (semantic match_quality "exact", or an exact lexical task hit). */
+    exactTaskMatch: boolean;
+    /** Strong semantic relevance (cosine ≥ 0.65). CLI has no embeddings → passes false. */
+    strongSemantic: boolean;
+    /** Useful-level relevance: semantic ≥ 0.35, a partial task hit, or a high lexical score. */
+    usefulSemantic: boolean;
+    /** Matched an inferred module or domain from the touched files. */
+    moduleOrDomainMatch: boolean;
+    /** A memory tag matched a task token. */
+    tagTaskMatch: boolean;
+}
+declare const DEFAULT_PRIORITY_SIGNALS: PrioritySignals;
+/** Convenience: build a full signal set from a partial one. */
+declare function prioritySignals(partial: Partial<PrioritySignals>): PrioritySignals;
+/**
+ * Classify a memory's briefing priority from its signals. Order matters:
+ *   1. must_read — human-approval gates, direct anchor/symbol matches, and exact/strong hits on
+ *      negative (attempt) or skill memories: the things an agent must not miss.
+ *   2. background (down-rank) — generic stack-pack seeds and local dev-environment workarounds never
+ *      claim `useful` on a semantic/tag match alone; they'd crowd out repo-specific knowledge. (A
+ *      direct anchor already promoted them to must_read above, so genuinely-relevant ones still rank.)
+ *   3. useful — skills, module/domain matches, exact hits, and useful-level relevance.
+ *   4. background — everything else.
+ */
+declare function classifyMemoryPriority(signals: PrioritySignals): MemoryPriority;
+declare function priorityRank(priority: MemoryPriority): number;
+
 /**
  * A rigorous, model-free, repeatable evaluation of Hivelore's core promise: surfacing
  * the right knowledge and guardrails at the right moment. Unlike the agent benchmark
@@ -967,6 +1069,31 @@ interface SelfEvalOptions {
  */
 declare function synthesizeSelfEvalCases(memories: LoadedMemory[], options?: SelfEvalOptions): RetrievalCase[];
 
+/** spec.json superset: `proposed_retrieval` holds candidate cases that are NOT scored until approved. */
+interface ProposedEvalSpec extends EvalSpec {
+    proposed_retrieval?: RetrievalCase[];
+}
+/** Merge new proposed cases into a spec.json payload (dedup by name). Returns pretty JSON. */
+declare function appendProposedRetrievalCases(specRaw: string | null, cases: RetrievalCase[]): string;
+/** Approve every proposed case into the scored `retrieval` set. */
+declare function approveProposedCases(specRaw: string): {
+    raw: string;
+    approved: number;
+};
+interface TierContractCheck {
+    name: string;
+    expected: MemoryPriority;
+    actual: MemoryPriority;
+    pass: boolean;
+}
+/**
+ * Ranking tier contract — the DESIGNED tier for each memory category under fixed evidence,
+ * exercised against the INSTALLED classifier at eval time (so a packaging/regression slip fails CI,
+ * not just the repo's own unit tests). This family is exactly what would have caught the
+ * stack-pack dead-escape-hatch bug (see 2026-07-04-decision-stack-pack-rescue-strong-task-evidence).
+ */
+declare function runTierContract(): TierContractCheck[];
+
 type ConfidenceLevel = "unverified" | "low" | "trusted" | "authoritative" | "stale";
 interface ConfidenceThresholds {
     trustedReads: number;
@@ -1488,6 +1615,13 @@ interface HaiveConfig {
          * (or pass `--commands`) once the team trusts the sensors. Regex sensors always run. Default false.
          */
         runCommandSensors?: boolean;
+        /**
+         * CI/strict-gate handling when a shell/test sensor cannot execute. `warn` preserves the
+         * fail-open developer default; `block` treats any configured but broken oracle as a broken harness.
+         */
+        commandSensorUnrunnable?: "warn" | "block";
+        /** Require explicit resolution of a diff that demotes, rewrites, or removes a BLOCK sensor. */
+        sensorWeakeningGate?: "warn" | "block";
         /**
          * How `hivelore enforce finish` reacts to hard failures observed this session that were never
          * captured as a lesson (`mem_tried`):
@@ -1973,6 +2107,7 @@ interface CommandSensorSpec {
     /** Max runtime in ms (executor default applies when unset). */
     timeout_ms?: number;
 }
+declare function scrubbedCommandEnv(env: NodeJS.ProcessEnv): NodeJS.ProcessEnv;
 /**
  * Render the incident-provenance suffix appended to a fired sensor's message. Empty when the sensor
  * carries no `incident` — so the behaviour-harness link ("guards the incident this test exists for")
@@ -1984,6 +2119,12 @@ declare function incidentSuffix(incident?: string): string;
  * scoped to everywhere) the sensor is selected unconditionally. Pure: the caller executes commands.
  */
 declare function selectCommandSensors(memories: Memory[], changedPaths: string[]): CommandSensorSpec[];
+/**
+ * Per-file NEW-side line numbers of added lines in a unified diff. AST sensors match on the full
+ * (parsed) file content, but must only FIRE on introductions — a hit counts when the matched
+ * node's line range intersects the added lines of that file. Pure hunk-header arithmetic.
+ */
+declare function addedLineNumbersFromDiff(diff: string): Map<string, Set<number>>;
 /** Split a unified diff into per-file targets containing only added lines. */
 declare function sensorTargetsFromDiff(diff: string): SensorTarget[];
 /**
@@ -2088,7 +2229,7 @@ type SensorEvaluationOutcome = "fired" | "silent" | "unrunnable";
 interface SensorEvaluation {
     at: string;
     memory_id: string;
-    kind: "regex" | "shell" | "test";
+    kind: "regex" | "ast" | "shell" | "test";
     stage: SensorEvaluationStage;
     head_sha: string;
     scope_hash: string;
@@ -2309,7 +2450,7 @@ declare function assessScaffoldLoop(files: Array<{
     content: string;
 }>, memories: Array<{
     id: string;
-    sensorKind?: "regex" | "shell" | "test" | null;
+    sensorKind?: "regex" | "ast" | "shell" | "test" | null;
 }>): ScaffoldLoopGap[];
 
 /**
@@ -2685,6 +2826,29 @@ interface FailureCoverageOptions {
  * @param captureTimes ISO created_at of every attempt/gotcha memory in the corpus
  */
 declare function findUncapturedFailures(failures: FailureObservation[], captureTimes: string[], options?: FailureCoverageOptions): UncapturedFailure[];
+interface DistilledFailureLesson {
+    /** Lesson title — becomes the attempt's `# what` heading and its dedup key. */
+    what: string;
+    /** The observed error, verbatim-ish (truncated). */
+    why_failed: string;
+    /** Anchor paths observed on the failing calls (project-relative, caller-normalized). */
+    paths: string[];
+    /** How many times this failure (same normalized summary) was observed — retries included. */
+    occurrences: number;
+}
+/**
+ * Cluster failure observations by normalized summary and template the top ones into PROPOSED
+ * lesson drafts — the deterministic last leg of the passive-capture pipeline (claude-mem captures
+ * passively; Hivelore additionally turns the failures into REVIEWABLE corpus candidates).
+ *
+ * Deterministic templating only — no LLM. Exploratory lookups (a grep that found nothing) are
+ * dropped; the caller dedups against the corpus and enforces the per-session cap.
+ */
+declare function distillFailureObservations(failures: Array<FailureObservation & {
+    files?: string[];
+}>, options?: {
+    max?: number;
+}): DistilledFailureLesson[];
 
 /**
  * Harness coverage-gap detection — "which churny files have NO team knowledge on them?".
@@ -3013,50 +3177,6 @@ declare function readSessionHandoff(root: string): Promise<string | null>;
 /** Age of the handoff file in milliseconds (by mtime), or null if it does not exist. */
 declare function handoffAgeMs(root: string, now?: Date): Promise<number | null>;
 
-type MemoryPriority = "must_read" | "useful" | "background";
-/**
- * Normalized priority evidence. A caller fills only the signals it can compute; unknown ones default
- * to false (see {@link DEFAULT_PRIORITY_SIGNALS}). The MCP path has semantic scores; the CLI path has
- * lexical scores — both reduce to these booleans.
- */
-interface PrioritySignals {
-    /** Memory type (attempt, gotcha, skill, decision, …). */
-    type: string;
-    /** Memory tags — used for the stack-pack / env-workaround down-rank. */
-    tags: string[];
-    /** The memory demands explicit human approval — always surface first. */
-    requiresHumanApproval: boolean;
-    /** Anchored to a file the agent is editing. */
-    directAnchor: boolean;
-    /** Anchored to a symbol the agent requested. */
-    directSymbol: boolean;
-    /** Exact/literal task match (semantic match_quality "exact", or an exact lexical task hit). */
-    exactTaskMatch: boolean;
-    /** Strong semantic relevance (cosine ≥ 0.65). CLI has no embeddings → passes false. */
-    strongSemantic: boolean;
-    /** Useful-level relevance: semantic ≥ 0.35, a partial task hit, or a high lexical score. */
-    usefulSemantic: boolean;
-    /** Matched an inferred module or domain from the touched files. */
-    moduleOrDomainMatch: boolean;
-    /** A memory tag matched a task token. */
-    tagTaskMatch: boolean;
-}
-declare const DEFAULT_PRIORITY_SIGNALS: PrioritySignals;
-/** Convenience: build a full signal set from a partial one. */
-declare function prioritySignals(partial: Partial<PrioritySignals>): PrioritySignals;
-/**
- * Classify a memory's briefing priority from its signals. Order matters:
- *   1. must_read — human-approval gates, direct anchor/symbol matches, and exact/strong hits on
- *      negative (attempt) or skill memories: the things an agent must not miss.
- *   2. background (down-rank) — generic stack-pack seeds and local dev-environment workarounds never
- *      claim `useful` on a semantic/tag match alone; they'd crowd out repo-specific knowledge. (A
- *      direct anchor already promoted them to must_read above, so genuinely-relevant ones still rank.)
- *   3. useful — skills, module/domain matches, exact hits, and useful-level relevance.
- *   4. background — everything else.
- */
-declare function classifyMemoryPriority(signals: PrioritySignals): MemoryPriority;
-declare function priorityRank(priority: MemoryPriority): number;
-
 /**
  * Native bridge generator — produces agent-harness-specific config files
  * from the Hivelore corpus (validated memories + block sensors).
@@ -3160,4 +3280,36 @@ interface AgentContext {
 }
 declare function detectAgentContext(env?: Record<string, string | undefined>): AgentContext;
 
-export { AUTOPILOT_DEFAULTS, type Activation, type ActivationContext, ActivationSchema, type AgentContext, type Anchor, AnchorSchema, type AntiPatternGate, type AppliedConflictResolution, type AstExport, type AutoPromoteRule, BRIDGE_MARKERS, BRIDGE_TARGETS, BRIDGE_TARGET_PATH, BRIEFING_MARKER_TTL_MS, BRIEFING_PRESET_DEFAULTS, type BootstrapAssessment, type BootstrapGap, type BootstrapGate, type BootstrapMetrics, type BootstrapState, type BootstrapStateInput, type BreakingChange, type BridgeFileOutput, type BridgeMemoryEntry, type BridgeSensor, type BridgeTarget, type BriefingBudgetNumbers, type BriefingBudgetPreset, type BriefingMarker, type BriefingProofLineOptions, type BudgetPart, type BudgetSlice, type BuildCodeMapOptions, CHARS_PER_TOKEN, CODE_MAP_DEFAULT_EXCLUDE, CODE_MAP_DEFAULT_INCLUDE, CODE_MAP_FILE, CODE_STOPWORDS, CONFIG_FILE, type CaughtForYouOptions, type CaughtForYouRow, type CaughtForYouSummary, type CodeExport, type CodeExportKind, type CodeFileEntry, type CodeMap, type CodeMapQueryOptions, type CollectTimelineOpts, type CommandSensorSpec, type ConfidenceLevel, type ConfidenceThresholds, type ConflictCandidatePair, type ConflictCandidatesOpts, type ConflictResolution, type ContractDiffResult, type ContractFile, type ContractSnapshot, type CoverageGap, type CoverageOptions, CrossRepoProvenanceSchema, type CrossRepoReport, type CrossRepoSource, DECAY_DAYS, DEFAULT_AUTO_PROMOTE_RULE, DEFAULT_BRIEFING_EXCLUDE_TAGS, DEFAULT_CONFIDENCE_THRESHOLDS, DEFAULT_CONFIG, DEFAULT_DORMANT_DAYS, DEFAULT_PRIORITY_SIGNALS, type DashboardOptions, type DashboardReport, type DepChange, type DepTrackResult, type DependencySnapshot, type DetectStacksInput, type DetectableStack, type DocFrequency, type DormantRow, type DraftOptions, type DraftsOptions, ENV_WORKAROUND_TAGS, type EvalDelta, type EvalHistoryEntry, type EvalReport, type EvalSpec, type EvalTrend, type FailureCoverageOptions, type FailureObservation, type FeedbackAdjustment, type FeedbackAdjustmentAction, type FeedbackAdjustmentOptions, type Finding, type FindingFormat, type FindingSeverity, GUESSABLE_THRESHOLD, type GateMissProposal, type GatePrecision, type GatePrecisionDelta, type GatePrecisionMetricDelta, type GateTuningSuggestion, type GenerateBridgesOptions, type GitCommit, type GitWatchPlan, type GitWatchState, HAIVE_DIR, HAIVE_OWNED_FILES, HANDOFF_FILENAME, HIVELORE_ATTRIBUTION, type HaiveConfig, type HaivePaths, type HotFile, type HotFileSource, type ImpactOptions, type ImpactRow, type ImpactScore, type ImpactSummary, type ImpactTier, type InvalidMemoryFile, type LexicalRankResult, type LoadedMemory, MEMORIES_DIR, MIN_WORD_LEN, type Memory, type MemoryDraft, type MemoryFrontmatter, MemoryFrontmatterSchema, type MemoryPriority, type MemoryScope, MemoryScopeSchema, type MemoryStatus, MemoryStatusSchema, type MemoryType, MemoryTypeSchema, type MemoryUsage, type MergeResult, type MetricDelta, PREVENTION_DEBOUNCE_MS, PROJECT_CONTEXT_FILE, PROJECT_CONTEXT_THROTTLE_MS, type PostIncidentLesson, type PreventionEvent, type PreventionEventDetail, type PreventionReceipt, type PreventionReceiptRow, type PreventionRow, type PreventionSource, type PreventionTrend, type PrioritySignals, type ProposedSensorVerdict, RUNTIME_JOURNAL_FILENAME, type RecurrenceReport, type RecurrenceRow, type ResolveProjectInfo, type RetirementSignal, type RetrievalAggregate, type RetrievalCase, type RetrievalCaseResult, type RuntimeJournalEntry, SCAFFOLD_MARKER_RE, SEED_QUALITY_FLOOR, SENSOR_ABSENT_LOOKBACK, SENSOR_ABSENT_WINDOW, SESSION_RECAP_TTL_MS, STACK_PACK_TAG, type ScaffoldLoopGap, type ScaffoldOptions, type SeedProposal, type SelfEvalOptions, type Sensor, type SensorAggregate, type SensorCase, type SensorCaseResult, type SensorEvaluation, type SensorEvaluationOutcome, type SensorEvaluationStage, type SensorFlap, type SensorHealth, type SensorHit, type SensorRow, SensorSchema, type SensorSeed, type SensorSelfCheck, type SensorSuggestionOptions, type SensorTarget, type SensorWeakening, type SessionHandoffData, type SkillActivation, TEST_FRAMEWORKS, type TestFramework, type TestScaffold, type TimelineEntry, type TopicStatusPair, type TruncateOptions, type TruncateResult, USAGE_FILE, USAGE_LOG_DIR, USAGE_LOG_FILE, type UncapturedFailure, type UsageAggregate, type UsageEvent, type UsageIndex, type VerifyOptions, type VerifyResult, addedLinesFromDiff, aggregateRetrieval, aggregateSensors, aggregateUsage, allocateBudget, antiPatternGateParams, appendEvalHistory, appendPreventionEvent, appendRuntimeJournalEntry, appendSensorEvaluations, appendUsageEvent, applyConflictResolution, applyFeedbackAdjustment, assessBootstrapState, assessScaffoldLoop, assessSensorHealth, bridgeMemorySummary, briefingMarkerPath, briefingMarkersDir, briefingProofLine, buildCodeMap, buildCoverageIndex, buildDashboard, buildDocFrequency, buildFrontmatter, buildHandoffMarkdown, buildPreventionReceipt, buildProposeCommand, buildReport, bumpRead, classifyMemoryPriority, codeMapPath, collectTimelineEntries, compactAutoRecapBody, compareEvalReports, compareGatePrecision, compareImpact, compileRegexSensor, componentOf, computeEvalTrend, computeGatePrecision, computeImpact, computePreventionTrend, computeRecurrence, computeScopeHash, configPath, contractLockPath, countSourceFilesOnDisk, deriveConfidence, detectAgentContext, detectSensorWeakening, detectStacksFromManifests, diffContract, diffHasDistinctiveOverlap, distinctiveCap, draftsFromFindings, emptyUsage, emptyUsageIndex, enforcementDir, estimateTokens, evalHistoryPath, evaluateSkillActivation, existingGateMissShas, extractActionsBriefBody, extractReferencedPaths, extractSensorExamples, extractSnippet, extractTestFilePathsFromCommand, filterNewDrafts, findCoverageGaps, findLexicalConflictPairs, findProjectRoot, findTopicStatusConflictPairs, findUncapturedFailures, findingBody, findingToDraft, firstMemoryOneLine, gatePassedShas, generateBridges, getUsage, globToRegExp, handoffAgeMs, handoffFilePath, hasPendingTestMarker, hasRecentBriefingMarker, hashProjectContext, incidentSuffix, inferModulesFromPaths, isAutoPromoteEligible, isAutoRecap, isCovered, isDecaying, isDistinctiveToken, isEnvWorkaroundMemory, isFreshIsoDate, isGlobPath, isLikelyGuessable, isNoiseSubject, isRetiredMemory, isSensorScannablePath, isSkill, isSkillSuppressed, isStackPackSeed, isStylisticRule, isTemplateProjectContext, judgeProposedSensor, lessonShortName, listMarkdownFilesRecursive, literalMatchesAllTokens, literalMatchesAnyToken, loadCodeMap, loadConfig, loadConfigSync, loadEvalHistory, loadMemoriesFromDir, loadMemoriesFromDirDetailed, loadMemory, loadPreventionEvents, loadSensorLedger, loadUsageIndex, looksLikeGenericAdvice, meetsSeedQualityFloor, memoryFilePath, memoryHasExcludedTag, memoryMatchesAnchorPaths, mergeHotFiles, mergeMemoryVersions, moduleNameOf, newMemoryId, normalizeFindingSeverity, normalizeFramework, normalizeSessionId, overallScore, parseEslintJson, parseFileAst, parseFindings, parseLessonFields, parseMemory, parseNpmAudit, parseSarif, parseSince, parseSonar, pathsOverlap, pickSnippetNeedle, pickTestFramework, planConflictResolution, planGitWatch, prepareBridgeData, preventionLogPath, priorityRank, prioritySignals, projectContextRecentlyEmitted, proposeGateMissDrafts, proposeSeedsFromCommits, pullCrossRepoSources, quarantineNote, queryCodeMap, rankMemoriesLexical, readRecentBriefingMarker, readRuntimeJournalTail, readSessionHandoff, readUsageEvents, recommendFeedbackAdjustment, recordApplied, recordPrevention, recordPreventionHits, recordProjectContextEmission, recordRejection, relPathFrom, renderBootstrapChecklist, renderCaughtForYou, renderPreventionReceipt, renderPreventionReceiptShare, resolveBriefingBudget, resolveHaivePaths, resolveManifestFiles, resolveProjectInfo, retirementSignal, revertedShaFromCommit, runRegexSensor, runSensors, runtimeJournalPath, saveCodeMap, saveConfig, saveUsageIndex, scaffoldPostIncidentTest, scannableSensorTargets, scoreRetrievalCase, scoreSensorCase, selectCommandSensors, sensorAppliesToPath, sensorLedgerPath, sensorPatternBrittleness, sensorPromotedAtMap, sensorSelfCheck, sensorTargetsFromDiff, serializeMemory, snapshotContract, specificityScore, stripPrivate, suggestGate, suggestSensorFromMemory, suggestSensorSeed, suggestTopicKey, summarizeCaughtForYou, summarizeImpact, synthesizeSelfEvalCases, tallyHotFiles, titleFromBody, tokenizeQuery, tokenizeWords, trackDependencies, trackReads, truncateToTokens, usageLogPath, usageLogSize, usagePath, verifyAnchor, watchContracts, withQuarantineNote, withoutQuarantineNote, writeBriefingMarker, writeSessionHandoff };
+interface ReviewLearning {
+    /** Root comment id of the thread — the dedup unit. */
+    thread_id: number;
+    /** Id of the comment that carried the instruction. */
+    comment_id: number;
+    /** File the thread is attached to (repo-relative), when present. */
+    path?: string;
+    line?: number;
+    author: string;
+    /** The instruction text (trimmed, capped). */
+    instruction: string;
+    url?: string;
+    pr_number?: number;
+}
+/** Explicit opt-in marker — a reply carrying it is ALWAYS a learning, whatever its shape. */
+declare const REVIEW_LEARNING_MARKER: RegExp;
+/**
+ * Extract learnings from a GitHub pull-request review-comments payload.
+ * Kept: human-authored comments that either carry the `hivelore:`/`/hivelore remember` marker or
+ * read as an instruction. Bots are dropped (their guidance belongs to their own config), as are
+ * short reactions. One learning per comment; the thread id ties replies to their root.
+ */
+declare function extractReviewLearnings(payload: unknown): ReviewLearning[];
+interface ReviewDraftOptions {
+    scope?: "personal" | "team" | "module";
+    module?: string;
+    author?: string;
+    limit?: number;
+}
+/** Template review learnings into proposed-memory drafts (reuses the scanner-ingest draft shape). */
+declare function reviewLearningsToDrafts(learnings: ReviewLearning[], options?: ReviewDraftOptions): MemoryDraft[];
+
+export { AUTOPILOT_DEFAULTS, type Activation, type ActivationContext, ActivationSchema, type AgentContext, type Anchor, AnchorSchema, type AntiPatternGate, type AppliedConflictResolution, type AstExport, type AutoPromoteRule, BRIDGE_MARKERS, BRIDGE_TARGETS, BRIDGE_TARGET_PATH, BRIEFING_MARKER_TTL_MS, BRIEFING_PRESET_DEFAULTS, type BootstrapAssessment, type BootstrapGap, type BootstrapGate, type BootstrapMetrics, type BootstrapState, type BootstrapStateInput, type BreakingChange, type BridgeFileOutput, type BridgeMemoryEntry, type BridgeSensor, type BridgeTarget, type BriefingBudgetNumbers, type BriefingBudgetPreset, type BriefingMarker, type BriefingProofLineOptions, type BudgetPart, type BudgetSlice, type BuildCodeMapOptions, CHARS_PER_TOKEN, CODE_MAP_DEFAULT_EXCLUDE, CODE_MAP_DEFAULT_INCLUDE, CODE_MAP_FILE, CODE_STOPWORDS, CONFIG_FILE, type CaughtForYouOptions, type CaughtForYouRow, type CaughtForYouSummary, type CodeExport, type CodeExportKind, type CodeFileEntry, type CodeMap, type CodeMapQueryOptions, type CollectTimelineOpts, type CommandSensorSpec, type ConfidenceLevel, type ConfidenceThresholds, type ConflictCandidatePair, type ConflictCandidatesOpts, type ConflictResolution, type ContractDiffResult, type ContractFile, type ContractSnapshot, type CoverageGap, type CoverageOptions, CrossRepoProvenanceSchema, type CrossRepoReport, type CrossRepoSource, DECAY_DAYS, DEFAULT_AUTO_PROMOTE_RULE, DEFAULT_BRIEFING_EXCLUDE_TAGS, DEFAULT_CONFIDENCE_THRESHOLDS, DEFAULT_CONFIG, DEFAULT_DORMANT_DAYS, DEFAULT_PRIORITY_SIGNALS, type DashboardOptions, type DashboardReport, type DepChange, type DepTrackResult, type DependencySnapshot, type DetectStacksInput, type DetectableStack, type DistilledFailureLesson, type DocFrequency, type DormantRow, type DraftOptions, type DraftsOptions, ENV_WORKAROUND_TAGS, type EvalDelta, type EvalHistoryEntry, type EvalReport, type EvalSpec, type EvalTrend, type FailureCoverageOptions, type FailureObservation, type FeedbackAdjustment, type FeedbackAdjustmentAction, type FeedbackAdjustmentOptions, type Finding, type FindingFormat, type FindingSeverity, GUESSABLE_THRESHOLD, type GateMissProposal, type GatePrecision, type GatePrecisionDelta, type GatePrecisionMetricDelta, type GateTuningSuggestion, type GenerateBridgesOptions, type GitCommit, type GitWatchPlan, type GitWatchState, HAIVE_DIR, HAIVE_OWNED_FILES, HANDOFF_FILENAME, HIVELORE_ATTRIBUTION, type HaiveConfig, type HaivePaths, type HotFile, type HotFileSource, type ImpactOptions, type ImpactRow, type ImpactScore, type ImpactSummary, type ImpactTier, type InvalidMemoryFile, type LexicalRankResult, type LoadedMemory, MEMORIES_DIR, MIN_WORD_LEN, type Memory, type MemoryDraft, type MemoryFrontmatter, MemoryFrontmatterSchema, type MemoryPriority, type MemoryScope, MemoryScopeSchema, type MemoryStatus, MemoryStatusSchema, type MemoryType, MemoryTypeSchema, type MemoryUsage, type MergeResult, type MetricDelta, PREVENTION_DEBOUNCE_MS, PROJECT_CONTEXT_FILE, PROJECT_CONTEXT_THROTTLE_MS, type PostIncidentLesson, type PreventionEvent, type PreventionEventDetail, type PreventionReceipt, type PreventionReceiptRow, type PreventionRow, type PreventionSource, type PreventionTrend, type PrioritySignals, type ProposedEvalSpec, type ProposedSensorVerdict, REVIEW_LEARNING_MARKER, RUNTIME_JOURNAL_FILENAME, type RecurrenceReport, type RecurrenceRow, type ResolveProjectInfo, type RetirementSignal, type RetrievalAggregate, type RetrievalCase, type RetrievalCaseResult, type ReviewDraftOptions, type ReviewLearning, type RuntimeJournalEntry, SCAFFOLD_MARKER_RE, SEED_QUALITY_FLOOR, SENSOR_ABSENT_LOOKBACK, SENSOR_ABSENT_WINDOW, SESSION_RECAP_TTL_MS, STACK_PACK_TAG, type ScaffoldLoopGap, type ScaffoldOptions, type SeedProposal, type SelfEvalOptions, type Sensor, type SensorAggregate, type SensorCase, type SensorCaseResult, type SensorEvaluation, type SensorEvaluationOutcome, type SensorEvaluationStage, type SensorFlap, type SensorHealth, type SensorHit, type SensorRow, SensorSchema, type SensorSeed, type SensorSelfCheck, type SensorSuggestionOptions, type SensorTarget, type SensorWeakening, type SessionHandoffData, type SkillActivation, TEST_FRAMEWORKS, type TestFramework, type TestScaffold, type TierContractCheck, type TimelineEntry, type TopicStatusPair, type TruncateOptions, type TruncateResult, USAGE_FILE, USAGE_LOG_DIR, USAGE_LOG_FILE, type UncapturedFailure, type UsageAggregate, type UsageEvent, type UsageIndex, type VerifyOptions, type VerifyResult, addedLineNumbersFromDiff, addedLinesFromDiff, aggregateRetrieval, aggregateSensors, aggregateUsage, allocateBudget, antiPatternGateParams, appendEvalHistory, appendPreventionEvent, appendProposedRetrievalCases, appendRuntimeJournalEntry, appendSensorEvaluations, appendUsageEvent, applyConflictResolution, applyFeedbackAdjustment, approveProposedCases, assessBootstrapState, assessScaffoldLoop, assessSensorHealth, bridgeMemorySummary, briefingMarkerPath, briefingMarkersDir, briefingProofLine, buildCodeMap, buildCoverageIndex, buildDashboard, buildDocFrequency, buildFrontmatter, buildHandoffMarkdown, buildPreventionReceipt, buildProposeCommand, buildReport, bumpRead, classifyMemoryPriority, codeMapPath, collectTimelineEntries, compactAutoRecapBody, compareEvalReports, compareGatePrecision, compareImpact, compileRegexSensor, componentOf, computeEvalTrend, computeGatePrecision, computeImpact, computePreventionTrend, computeRecurrence, computeScopeHash, configPath, contractLockPath, countSourceFilesOnDisk, deriveConfidence, detectAgentContext, detectSensorWeakening, detectStacksFromManifests, diffContract, diffHasDistinctiveOverlap, distillFailureObservations, distinctiveCap, draftsFromFindings, emptyUsage, emptyUsageIndex, enforcementDir, estimateTokens, evalHistoryPath, evaluateSkillActivation, existingGateMissShas, extractActionsBriefBody, extractReferencedPaths, extractReviewLearnings, extractSensorExamples, extractSnippet, extractTestFilePathsFromCommand, filterNewDrafts, findCoverageGaps, findLexicalConflictPairs, findProjectRoot, findTopicStatusConflictPairs, findUncapturedFailures, findingBody, findingToDraft, firstMemoryOneLine, gatePassedShas, generateBridges, getUsage, globToRegExp, handoffAgeMs, handoffFilePath, hasPendingTestMarker, hasRecentBriefingMarker, hashProjectContext, incidentSuffix, inferModulesFromPaths, isAutoPromoteEligible, isAutoRecap, isCovered, isDecaying, isDistinctiveToken, isEnvWorkaroundMemory, isFreshIsoDate, isGlobPath, isLikelyGuessable, isNoiseSubject, isRetiredMemory, isSensorScannablePath, isSkill, isSkillSuppressed, isStackPackSeed, isStylisticRule, isTemplateProjectContext, judgeProposedSensor, lessonShortName, listMarkdownFilesRecursive, literalMatchesAllTokens, literalMatchesAnyToken, loadCodeMap, loadConfig, loadConfigSync, loadEvalHistory, loadMemoriesFromDir, loadMemoriesFromDirDetailed, loadMemory, loadPreventionEvents, loadSensorLedger, loadUsageIndex, looksLikeGenericAdvice, meetsSeedQualityFloor, memoryFilePath, memoryHasExcludedTag, memoryMatchesAnchorPaths, mergeHotFiles, mergeMemoryVersions, moduleNameOf, newMemoryId, normalizeFindingSeverity, normalizeFramework, normalizeSessionId, overallScore, parseEslintJson, parseFileAst, parseFindings, parseLessonFields, parseMemory, parseNpmAudit, parseSarif, parseSince, parseSonar, pathsOverlap, pickSnippetNeedle, pickTestFramework, planConflictResolution, planGitWatch, prepareBridgeData, preventionLogPath, priorityRank, prioritySignals, projectContextRecentlyEmitted, proposeGateMissDrafts, proposeSeedsFromCommits, pullCrossRepoSources, quarantineNote, queryCodeMap, rankMemoriesLexical, readRecentBriefingMarker, readRuntimeJournalTail, readSessionHandoff, readUsageEvents, recommendFeedbackAdjustment, recordApplied, recordPrevention, recordPreventionHits, recordProjectContextEmission, recordRejection, relPathFrom, renderBootstrapChecklist, renderCaughtForYou, renderPreventionReceipt, renderPreventionReceiptShare, resolveBriefingBudget, resolveHaivePaths, resolveManifestFiles, resolveProjectInfo, retirementSignal, revertedShaFromCommit, reviewLearningsToDrafts, runRegexSensor, runSensors, runTierContract, runtimeJournalPath, saveCodeMap, saveConfig, saveUsageIndex, scaffoldPostIncidentTest, scannableSensorTargets, scoreRetrievalCase, scoreSensorCase, scrubbedCommandEnv, selectCommandSensors, sensorAppliesToPath, sensorLedgerPath, sensorPatternBrittleness, sensorPromotedAtMap, sensorSelfCheck, sensorTargetsFromDiff, serializeMemory, snapshotContract, specificityScore, stripPrivate, suggestGate, suggestSensorFromMemory, suggestSensorSeed, suggestTopicKey, summarizeCaughtForYou, summarizeImpact, synthesizeSelfEvalCases, tallyHotFiles, titleFromBody, tokenizeQuery, tokenizeWords, trackDependencies, trackReads, truncateToTokens, usageLogPath, usageLogSize, usagePath, verifyAnchor, watchContracts, withQuarantineNote, withoutQuarantineNote, writeBriefingMarker, writeSessionHandoff };