@hivelore/core 0.38.0 → 0.39.1

package/dist/index.d.ts

@@ -2006,6 +2006,26 @@ declare function isSensorScannablePath(p: string): boolean;
  * with bare content) — never when every header was a Hivelore-owned path, so `.ai/`-only diffs scan nothing.
  */
 declare function scannableSensorTargets(diff: string): SensorTarget[];
+interface SensorWeakening {
+    /** The `.ai/memories/**` file whose sensor the diff weakens. */
+    file: string;
+    /** Memory id derived from the filename (best-effort). */
+    memory_id: string;
+    change: "severity-demoted" | "oracle-changed" | "oracle-removed" | "sensor-removed" | "memory-deleted" | "suppression-broadened";
+    detail: string;
+}
+/**
+ * Detect diff hunks that WEAKEN the enforcement surface: demoting a block sensor to warn, changing
+ * or removing its oracle (`pattern`/`command`), broadening its `absent` suppression, deleting the
+ * whole sensor block, or deleting a memory file that carried a block sensor.
+ *
+ * Rationale: the gate is written in `.ai/` — the same tree the agent it constrains can edit. A
+ * legitimate demotion exists (that's why this yields REVIEW findings, never blocks), but a weakening
+ * that sails through unmentioned is exactly how a documented lesson silently stops protecting.
+ * Deterministic, pure, diff-text only. Additions (new sensors) never flag; removing `absent`
+ * TIGHTENS a sensor and never flags.
+ */
+declare function detectSensorWeakening(diff: string): SensorWeakening[];
 interface SensorSelfCheck {
     /** The sensor stays SILENT on the current, presumed-correct code — i.e. it won't false-positive. */
     silent_on_current: boolean;
@@ -2216,6 +2236,12 @@ interface ScaffoldOptions {
      * test path and run command are placed inside it. Empty/omitted → repo root.
      */
     baseDir?: string;
+    /**
+     * Override the propose command embedded in the header and returned. Used by multi-package
+     * scaffolds: a memory carries ONE sensor, so several generated tests share a single proposal
+     * whose command chains every run command.
+     */
+    proposeCommandOverride?: string;
 }
 /** Map a user-supplied framework string (with common aliases) to a TestFramework, or null. */
 declare function normalizeFramework(input: string): TestFramework | null;
@@ -2242,8 +2268,49 @@ declare function parseLessonFields(body: string): {
     whyFailed?: string;
     instead?: string;
 };
+/**
+ * Build the `sensors propose --kind test` line that arms a written post-incident test as the
+ * lesson's oracle. Exported so multi-package scaffolds can chain several run commands into ONE
+ * proposal (a memory carries a single sensor).
+ */
+declare function buildProposeCommand(lesson: PostIncidentLesson, runCommand: string): string;
 /** Build a scaffold for the given lesson + framework. Pure — the caller writes `content` to `relPath`. */
 declare function scaffoldPostIncidentTest(lesson: PostIncidentLesson, options: ScaffoldOptions): TestScaffold;
+/** First-line provenance marker every generated scaffold carries. */
+declare const SCAFFOLD_MARKER_RE: RegExp;
+/** Does this test file still carry a pending stub (todo/skip)? A pending test passes on ANYTHING. */
+declare function hasPendingTestMarker(content: string): boolean;
+/**
+ * Pull the test-file paths out of an oracle command (`npx vitest run a.test.ts && pytest b.py`).
+ * Pure and deliberately conservative: only tokens that LOOK like test files are returned — the
+ * caller checks existence. Used to refuse arming a still-pending oracle as a block sensor.
+ */
+declare function extractTestFilePathsFromCommand(command: string): string[];
+interface ScaffoldLoopGap {
+    /** Memory id the scaffold was generated from (parsed from the provenance marker). */
+    memory_id: string;
+    /** Project-relative path of the scaffold file. */
+    path: string;
+    /** The stub is still pending (todo/skip) — the assertion was never written. */
+    pending: boolean;
+    /** The lesson carries a validated shell/test sensor — the oracle is routed to the gate. */
+    armed: boolean;
+    /** The referenced memory no longer exists (scaffold orphaned). */
+    memory_missing: boolean;
+}
+/**
+ * Cross-check written post-incident scaffolds against the corpus: a scaffold whose assertion is
+ * still pending, or whose lesson has no armed command sensor, is an OPEN behaviour loop — the
+ * incident is documented but nothing deterministic guards it yet. Pure: callers collect the files.
+ * Returns only the gaps (closed loops are silent).
+ */
+declare function assessScaffoldLoop(files: Array<{
+    path: string;
+    content: string;
+}>, memories: Array<{
+    id: string;
+    sensorKind?: "regex" | "shell" | "test" | null;
+}>): ScaffoldLoopGap[];
 
 /**
  * First-agent bootstrap state — is the repo's knowledge layer filled enough for later agents to rely on?
@@ -3093,4 +3160,4 @@ 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, SEED_QUALITY_FLOOR, SENSOR_ABSENT_LOOKBACK, SENSOR_ABSENT_WINDOW, SESSION_RECAP_TTL_MS, STACK_PACK_TAG, 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 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, assessSensorHealth, bridgeMemorySummary, briefingMarkerPath, briefingMarkersDir, briefingProofLine, buildCodeMap, buildCoverageIndex, buildDashboard, buildDocFrequency, buildFrontmatter, buildHandoffMarkdown, buildPreventionReceipt, buildReport, bumpRead, classifyMemoryPriority, codeMapPath, collectTimelineEntries, compactAutoRecapBody, compareEvalReports, compareGatePrecision, compareImpact, compileRegexSensor, componentOf, computeEvalTrend, computeGatePrecision, computeImpact, computePreventionTrend, computeRecurrence, computeScopeHash, configPath, contractLockPath, countSourceFilesOnDisk, deriveConfidence, detectAgentContext, detectStacksFromManifests, diffContract, diffHasDistinctiveOverlap, distinctiveCap, draftsFromFindings, emptyUsage, emptyUsageIndex, enforcementDir, estimateTokens, evalHistoryPath, evaluateSkillActivation, existingGateMissShas, extractActionsBriefBody, extractReferencedPaths, extractSensorExamples, extractSnippet, filterNewDrafts, findCoverageGaps, findLexicalConflictPairs, findProjectRoot, findTopicStatusConflictPairs, findUncapturedFailures, findingBody, findingToDraft, firstMemoryOneLine, gatePassedShas, generateBridges, getUsage, globToRegExp, handoffAgeMs, handoffFilePath, 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 };
+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 };

package/dist/index.js

@@ -4035,6 +4035,79 @@ function scannableSensorTargets(diff) {
   if (all.length === 0) return [{ path: "", content: diff }];
   return all.filter((t) => isSensorScannablePath(t.path));
 }
+function diffFileChanges(diff) {
+  const files = [];
+  let current = null;
+  let oldPath = null;
+  for (const line of diff.split("\n")) {
+    if (line.startsWith("--- ")) {
+      const raw = line.slice(4).trim();
+      oldPath = raw === "/dev/null" ? null : normalizeProjectPath(raw);
+      continue;
+    }
+    if (line.startsWith("+++ ")) {
+      const raw = line.slice(4).trim();
+      const newPath = raw === "/dev/null" ? null : normalizeProjectPath(raw);
+      current = {
+        path: newPath ?? oldPath ?? "",
+        deleted: newPath === null,
+        removed: [],
+        added: []
+      };
+      files.push(current);
+      continue;
+    }
+    if (!current) continue;
+    if (line.startsWith("-") && !line.startsWith("---")) current.removed.push(line.slice(1));
+    else if (line.startsWith("+") && !line.startsWith("+++")) current.added.push(line.slice(1));
+  }
+  return files;
+}
+var SENSOR_ORACLE_KEY_RE = /^\s*(pattern|command):\s*(.*)$/;
+var SENSOR_ABSENT_KEY_RE = /^\s*absent:\s*(.*)$/;
+var SEVERITY_BLOCK_RE = /^\s*severity:\s*['"]?block['"]?\s*$/;
+var SEVERITY_WARN_RE = /^\s*severity:\s*['"]?warn['"]?\s*$/;
+var SENSOR_BLOCK_START_RE = /^\s*sensor:\s*$/;
+function detectSensorWeakening(diff) {
+  const weakenings = [];
+  for (const file of diffFileChanges(diff)) {
+    if (!file.path.startsWith(".ai/memories/") || !file.path.endsWith(".md")) continue;
+    const memoryId = file.path.replace(/^.*\//, "").replace(/\.md$/, "");
+    const flag = (change, detail) => {
+      weakenings.push({ file: file.path, memory_id: memoryId, change, detail });
+    };
+    const removedBlockSeverity = file.removed.some((l) => SEVERITY_BLOCK_RE.test(l));
+    if (file.deleted) {
+      if (file.removed.some((l) => SENSOR_BLOCK_START_RE.test(l)) && removedBlockSeverity) {
+        flag("memory-deleted", "memory file with a block sensor deleted");
+      }
+      continue;
+    }
+    if (removedBlockSeverity && file.added.some((l) => SEVERITY_WARN_RE.test(l))) {
+      flag("severity-demoted", "severity: block \u2192 warn");
+    }
+    for (const line of file.removed) {
+      const m = line.match(SENSOR_ORACLE_KEY_RE);
+      if (!m) continue;
+      const key = m[1];
+      const replacement = file.added.find((l) => l.match(SENSOR_ORACLE_KEY_RE)?.[1] === key);
+      if (replacement === void 0) {
+        flag("oracle-removed", `sensor ${key} removed`);
+      } else if (replacement.trim() !== line.trim()) {
+        flag("oracle-changed", `sensor ${key} changed`);
+      }
+    }
+    const removedAbsent = file.removed.find((l) => SENSOR_ABSENT_KEY_RE.test(l));
+    const addedAbsent = file.added.find((l) => SENSOR_ABSENT_KEY_RE.test(l));
+    if (addedAbsent !== void 0 && addedAbsent.trim() !== removedAbsent?.trim()) {
+      flag("suppression-broadened", removedAbsent === void 0 ? "absent marker added" : "absent marker changed");
+    }
+    if (file.removed.some((l) => SENSOR_BLOCK_START_RE.test(l)) && removedBlockSeverity && !file.added.some((l) => SENSOR_BLOCK_START_RE.test(l))) {
+      flag("sensor-removed", "block sensor block deleted");
+    }
+  }
+  return weakenings;
+}
 function sensorSelfCheck(sensor, input) {
   const firedOn = [];
   for (const target of input.currentTargets) {
@@ -4531,7 +4604,7 @@ function parseLessonFields(body) {
   const instead = body.match(/\*\*Instead,\s*use:\*\*\s*([^\n]+)/i)?.[1]?.trim();
   return { title, whyFailed, instead };
 }
-function proposeCommand(lesson, runCommand) {
+function buildProposeCommand(lesson, runCommand) {
   const parts = [
     `hivelore sensors propose ${lesson.memoryId}`,
     "--kind test",
@@ -4559,6 +4632,7 @@ function scaffoldPostIncidentTest(lesson, options) {
   const framework = options.framework;
   const short = lessonShortName(lesson.memoryId);
   const desc = oneLine(lesson.title) || short;
+  const propose = (run) => options.proposeCommandOverride ?? buildProposeCommand(lesson, run);
   let relPath;
   let runCommand;
   let content;
@@ -4570,7 +4644,7 @@ function scaffoldPostIncidentTest(lesson, options) {
 
 ` : "";
     content = `${header(lesson, hc)}
-//   ${proposeCommand(lesson, runCommand)}
+//   ${propose(runCommand)}
 
 ` + importLine + `describe(${JSON.stringify(desc)}, () => {
   it.todo("reproduces ${lesson.memoryId} and stays fixed");
@@ -4587,7 +4661,7 @@ function scaffoldPostIncidentTest(lesson, options) {
     runCommand = `pytest ${relPath}`;
     const hc = (l) => l ? `# ${l}` : "#";
     content = `${header(lesson, hc)}
-#   ${proposeCommand(lesson, runCommand)}
+#   ${propose(runCommand)}
 
 import pytest
 
@@ -4604,7 +4678,7 @@ def test_${fn}():
     runCommand = `go test ./${dir}/`;
     const hc = (l) => l ? `// ${l}` : "//";
     content = `${header(lesson, hc)}
-//   ${proposeCommand(lesson, runCommand)}
+//   ${propose(runCommand)}
 
 package incidents
 
@@ -4616,7 +4690,36 @@ func Test${fn}(t *testing.T) {
 }
 `;
   }
-  return { framework, relPath, content, runCommand, proposeCommand: proposeCommand(lesson, runCommand) };
+  return { framework, relPath, content, runCommand, proposeCommand: propose(runCommand) };
+}
+var SCAFFOLD_MARKER_RE = /Post-incident guard generated by Hivelore from (\S+?)\.?\s*$/m;
+var PENDING_MARKERS = [/\bit\.todo\(/, /\bpytest\.mark\.skip\b/, /\bt\.Skip\(/];
+function hasPendingTestMarker(content) {
+  return PENDING_MARKERS.some((re) => re.test(content));
+}
+function extractTestFilePathsFromCommand(command) {
+  const TEST_FILE_RE2 = /(\.(test|spec)\.[cm]?[jt]sx?|_test\.go|(^|\/)test_[\w.-]+\.py|\.(test|spec)\.py)$/;
+  return command.split(/\s+/).map((t) => t.replace(/^["']+|["']+$/g, "")).filter((t) => t && !t.startsWith("-") && TEST_FILE_RE2.test(t));
+}
+function assessScaffoldLoop(files, memories) {
+  const byId = new Map(memories.map((m) => [m.id, m]));
+  const gaps = [];
+  for (const file of files) {
+    const memoryId = file.content.match(SCAFFOLD_MARKER_RE)?.[1];
+    if (!memoryId) continue;
+    const memory = byId.get(memoryId);
+    const pending = PENDING_MARKERS.some((re) => re.test(file.content));
+    const armed = memory?.sensorKind === "shell" || memory?.sensorKind === "test";
+    if (!pending && armed) continue;
+    gaps.push({
+      memory_id: memoryId,
+      path: file.path,
+      pending,
+      armed,
+      memory_missing: memory === void 0
+    });
+  }
+  return gaps;
 }
 
 // src/bootstrap-state.ts
@@ -4683,8 +4786,25 @@ function assessBootstrapState(input) {
   const missingModules = modulesRequired.filter(
     (c) => !input.existingModules.includes(moduleNameOf(c))
   );
+  const blockSensorScopes = input.memories.filter(
+    (m) => (m.memory.frontmatter.status === "validated" || m.memory.frontmatter.status === "proposed") && m.memory.frontmatter.sensor?.severity === "block"
+  ).flatMap((m) => m.memory.frontmatter.sensor?.paths ?? []);
+  const areaGuardedByScope = (component) => {
+    const files = codeFiles.filter((f) => componentOf(f) === component);
+    return blockSensorScopes.some((rawScope) => {
+      const scope = rawScope.replace(/^\/+/, "").replace(/\/+$/, "");
+      if (!scope) return false;
+      if (isGlobPath(scope)) {
+        const re = globToRegExp(scope);
+        return files.some((f) => re.test(f));
+      }
+      return anchorMatchesComponent(scope, component);
+    });
+  };
   const memoryUncovered = components.filter((c) => !areaCovered(c, anchoredMemories));
-  const sensorUncovered = components.filter((c) => !areaCovered(c, sensorMemories));
+  const sensorUncovered = components.filter(
+    (c) => !areaCovered(c, sensorMemories) && !areaGuardedByScope(c)
+  );
   const gaps = [];
   if (!projectContextFilled) {
     gaps.push({
@@ -5876,6 +5996,7 @@ export {
   PROJECT_CONTEXT_FILE,
   PROJECT_CONTEXT_THROTTLE_MS,
   RUNTIME_JOURNAL_FILENAME,
+  SCAFFOLD_MARKER_RE,
   SEED_QUALITY_FLOOR,
   SENSOR_ABSENT_LOOKBACK,
   SENSOR_ABSENT_WINDOW,
@@ -5900,6 +6021,7 @@ export {
   applyConflictResolution,
   applyFeedbackAdjustment,
   assessBootstrapState,
+  assessScaffoldLoop,
   assessSensorHealth,
   bridgeMemorySummary,
   briefingMarkerPath,
@@ -5912,6 +6034,7 @@ export {
   buildFrontmatter,
   buildHandoffMarkdown,
   buildPreventionReceipt,
+  buildProposeCommand,
   buildReport,
   bumpRead,
   classifyMemoryPriority,
@@ -5934,6 +6057,7 @@ export {
   countSourceFilesOnDisk,
   deriveConfidence,
   detectAgentContext,
+  detectSensorWeakening,
   detectStacksFromManifests,
   diffContract,
   diffHasDistinctiveOverlap,
@@ -5950,6 +6074,7 @@ export {
   extractReferencedPaths,
   extractSensorExamples,
   extractSnippet,
+  extractTestFilePathsFromCommand,
   filterNewDrafts,
   findCoverageGaps,
   findLexicalConflictPairs,
@@ -5965,6 +6090,7 @@ export {
   globToRegExp,
   handoffAgeMs,
   handoffFilePath,
+  hasPendingTestMarker,
   hasRecentBriefingMarker,
   hashProjectContext,
   incidentSuffix,