@hivelore/core 0.51.0 → 0.52.0

package/dist/index.d.ts

@@ -2184,12 +2184,18 @@ interface SensorSelfCheck {
     silent_on_current: boolean;
     /** Did it fire on a known-bad example from the lesson? null when no example was available. */
     fires_on_bad: boolean | null;
+    /**
+     * Did it fire on the lesson's stated CORRECT approach (the `Instead, use:` snippet)? true = the
+     * sensor is INVERTED — it would block the recommended fix. null when no correct example was given.
+     */
+    fires_on_correct: boolean | null;
     /** Files whose CURRENT content the sensor matched — evidence of a false positive. */
     fired_on: string[];
     /**
-     * Safe to hard-block: silent on the current code AND (fires on the bad example, or there was no
-     * example to test). A sensor that fires on correct code is exactly what trains agents to ignore the
-     * gate — this is the gate that keeps the auto-generation layer honest.
+     * Safe to hard-block: silent on the current code, does NOT fire on the stated correct approach,
+     * AND (fires on the bad example, or there was no example to test). A sensor that fires on correct
+     * code is exactly what trains agents to ignore the gate — this is the gate that keeps the
+     * auto-generation layer honest.
      */
     passed: boolean;
 }
@@ -2203,12 +2209,13 @@ interface SensorSelfCheck {
 declare function sensorSelfCheck(sensor: Sensor, input: {
     currentTargets: SensorTarget[];
     badExamples: string[];
+    correctExamples?: string[];
 }): SensorSelfCheck;
 interface ProposedSensorVerdict {
     /** Safe to store at the requested severity. */
     accepted: boolean;
     /** Why a block proposal was rejected (so the agent can revise and re-propose). */
-    reason?: "fires-on-current" | "missed-bad-example" | "brittle";
+    reason?: "fires-on-current" | "fires-on-correct" | "missed-bad-example" | "brittle";
     self_check: SensorSelfCheck;
     /** Brittleness reason (hardcoded line numbers, etc.) or null. */
     brittle: string | null;
@@ -2222,13 +2229,32 @@ interface ProposedSensorVerdict {
 declare function judgeProposedSensor(sensor: Sensor, input: {
     currentTargets: SensorTarget[];
     badExamples: string[];
+    correctExamples?: string[];
 }): ProposedSensorVerdict;
+/**
+ * A command oracle that exits non-zero has either FAILED an assertion (a real signal) or errored
+ * before it could reach one — a missing module, an import/collection failure, a syntax error, or
+ * "no tests found". Only the former proves anything. This distinguishes them from the output tail.
+ *
+ * Used by the prove-RED replay: at the pre-fix `red_ref` the code/test under guard often does not
+ * exist yet, so `node t.js` exits 1 for "Cannot find module" — that is the harness failing to run,
+ * NOT the oracle catching the incident. Classifying it as RED-proven would fabricate a guarantee.
+ * Conservative by design: when in doubt at prove-RED, "could not run" (no proof) is the safe verdict.
+ */
+declare function isHarnessErrorOutput(output: string): boolean;
 /**
  * Pull candidate bad-code examples from a lesson body: fenced code blocks and inline code spans that
  * look like code (contain a call/dot/assignment). Used to confirm a generated sensor actually fires
  * on the mistake it describes.
  */
 declare function extractSensorExamples(body: string): string[];
+/**
+ * Pull the lesson's stated CORRECT approach — the text of an `**Instead, use:** …` line or an
+ * `## Instead` section (the shape `mem_tried --instead` and the attempt template write). This is code
+ * the sensor must NEVER match: a block pattern that fires on it is inverted (it would refuse the very
+ * fix the lesson prescribes). Returns the raw snippet(s); the caller runs the sensor against them.
+ */
+declare function extractCorrectApproachExamples(body: string): string[];
 /**
  * Extract the added lines from a unified diff (lines starting with a single `+`,
  * excluding the `+++` file header). Mirrors the diff-handling already used by the
@@ -3440,4 +3466,4 @@ interface ReviewDraftOptions {
 /** 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 BehaviourCoverageInput, type BehaviourCoverageMetrics, type BehaviourOracleInfo, 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 IncidentHints, type InvalidMemoryFile, LEGACY_CONFIG_FILE, 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 ScaffoldStyle, 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 UncoveredAreaSuggestion, type UsageAggregate, type UsageEvent, type UsageIndex, type VerifyOptions, type VerifyResult, addedLineNumbersFromDiff, addedLinesFromDiff, aggregateRetrieval, aggregateSensors, aggregateUsage, allocateBudget, anchorMatchesComponent, antiPatternGateParams, appendEvalHistory, appendPreventionEvent, appendProposedRetrievalCases, appendRuntimeJournalEntry, appendSensorEvaluations, appendUsageEvent, applyConflictResolution, applyFeedbackAdjustment, approveProposedCases, assessBehaviourCoverage, 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, deriveMainAreas, 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, incidentHintsFromDiff, incidentSuffix, inferModulesFromPaths, isAutoPromoteEligible, isAutoRecap, isCovered, isDecaying, isDistinctiveToken, isEnvWorkaroundMemory, isFreshIsoDate, isGlobPath, isLikelyGuessable, isNoiseSubject, isProductionCodeFile, 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, normalizeScaffoldStyle, 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, renderBehaviourCoverageLine, renderBootstrapChecklist, renderCaughtForYou, renderPreventionReceipt, renderPreventionReceiptShare, resolveBriefingBudget, resolveConfigPath, 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 };
+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 BehaviourCoverageInput, type BehaviourCoverageMetrics, type BehaviourOracleInfo, 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 IncidentHints, type InvalidMemoryFile, LEGACY_CONFIG_FILE, 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 ScaffoldStyle, 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 UncoveredAreaSuggestion, type UsageAggregate, type UsageEvent, type UsageIndex, type VerifyOptions, type VerifyResult, addedLineNumbersFromDiff, addedLinesFromDiff, aggregateRetrieval, aggregateSensors, aggregateUsage, allocateBudget, anchorMatchesComponent, antiPatternGateParams, appendEvalHistory, appendPreventionEvent, appendProposedRetrievalCases, appendRuntimeJournalEntry, appendSensorEvaluations, appendUsageEvent, applyConflictResolution, applyFeedbackAdjustment, approveProposedCases, assessBehaviourCoverage, 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, deriveMainAreas, detectAgentContext, detectSensorWeakening, detectStacksFromManifests, diffContract, diffHasDistinctiveOverlap, distillFailureObservations, distinctiveCap, draftsFromFindings, emptyUsage, emptyUsageIndex, enforcementDir, estimateTokens, evalHistoryPath, evaluateSkillActivation, existingGateMissShas, extractActionsBriefBody, extractCorrectApproachExamples, extractReferencedPaths, extractReviewLearnings, extractSensorExamples, extractSnippet, extractTestFilePathsFromCommand, filterNewDrafts, findCoverageGaps, findLexicalConflictPairs, findProjectRoot, findTopicStatusConflictPairs, findUncapturedFailures, findingBody, findingToDraft, firstMemoryOneLine, gatePassedShas, generateBridges, getUsage, globToRegExp, handoffAgeMs, handoffFilePath, hasPendingTestMarker, hasRecentBriefingMarker, hashProjectContext, incidentHintsFromDiff, incidentSuffix, inferModulesFromPaths, isAutoPromoteEligible, isAutoRecap, isCovered, isDecaying, isDistinctiveToken, isEnvWorkaroundMemory, isFreshIsoDate, isGlobPath, isHarnessErrorOutput, isLikelyGuessable, isNoiseSubject, isProductionCodeFile, 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, normalizeScaffoldStyle, 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, renderBehaviourCoverageLine, renderBootstrapChecklist, renderCaughtForYou, renderPreventionReceipt, renderPreventionReceiptShare, resolveBriefingBudget, resolveConfigPath, 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 };

package/dist/index.js

@@ -4317,11 +4317,19 @@ function sensorSelfCheck(sensor, input) {
       (example) => runRegexSensor("self-check", sensor, { path: "<example>", content: example }) !== null
     );
   }
+  let firesOnCorrect = null;
+  const correctExamples = (input.correctExamples ?? []).filter((e) => e.trim().length > 0);
+  if (correctExamples.length > 0) {
+    firesOnCorrect = correctExamples.some(
+      (example) => runRegexSensor("self-check", sensor, { path: "<correct>", content: example }) !== null
+    );
+  }
   return {
     silent_on_current: silentOnCurrent,
     fires_on_bad: firesOnBad,
+    fires_on_correct: firesOnCorrect,
     fired_on: firedOn,
-    passed: silentOnCurrent && firesOnBad !== false
+    passed: silentOnCurrent && firesOnBad !== false && firesOnCorrect !== true
   };
 }
 function judgeProposedSensor(sensor, input) {
@@ -4332,12 +4340,47 @@ function judgeProposedSensor(sensor, input) {
     if (input.currentTargets.length > 0 && !self_check.silent_on_current) {
       return { accepted: false, reason: "fires-on-current", self_check, brittle };
     }
+    if (self_check.fires_on_correct === true) {
+      return { accepted: false, reason: "fires-on-correct", self_check, brittle };
+    }
     if (self_check.fires_on_bad === false) {
       return { accepted: false, reason: "missed-bad-example", self_check, brittle };
     }
   }
   return { accepted: true, self_check, brittle };
 }
+function isHarnessErrorOutput(output) {
+  if (!output) return false;
+  return HARNESS_ERROR_SIGNATURES.some((re) => re.test(output));
+}
+var HARNESS_ERROR_SIGNATURES = [
+  /cannot find module/i,
+  // node CJS require of a missing file/dep
+  /ERR_MODULE_NOT_FOUND/,
+  // node ESM import of a missing file/dep
+  /\bMODULE_NOT_FOUND\b/,
+  // node error code
+  /ModuleNotFoundError/,
+  // python
+  /\bImportError\b/,
+  // python import failure at collection
+  /\bSyntaxError\b/,
+  // parse failure at load (any runtime)
+  /no test files? found/i,
+  // vitest / jest — nothing ran
+  /no tests found/i,
+  // jest
+  /no tests ran/i,
+  // pytest -q
+  /collected 0 items/i,
+  // pytest — nothing collected
+  /error(s)? (?:while )?collecting/i,
+  // pytest collection error
+  /cannot find package/i,
+  // go
+  /no( buildable)? go( source)? files/i
+  // go: nothing to build
+];
 function extractSensorExamples(body) {
   const examples = [];
   for (const match of body.matchAll(/```[^\n]*\n([\s\S]*?)```/g)) {
@@ -4350,6 +4393,17 @@ function extractSensorExamples(body) {
   }
   return examples;
 }
+function extractCorrectApproachExamples(body) {
+  const out = [];
+  for (const match of body.matchAll(/\*\*Instead,?\s*use:?\*\*\s*([^\n]+)/gi)) {
+    const snippet = (match[1] ?? "").trim();
+    if (snippet) out.push(snippet);
+  }
+  const sectionMatch = body.match(/^#{2,}\s+Instead\b[^\n]*\n+([^\n]+)/im);
+  const sectionLine = sectionMatch?.[1]?.trim();
+  if (sectionLine) out.push(sectionLine);
+  return out;
+}
 function addedLinesFromDiff(diff) {
   const targets = sensorTargetsFromDiff(diff);
   if (targets.length > 0) return targets.map((target) => target.content).join("\n");
@@ -4572,8 +4626,12 @@ function suggestSensorSeed(body, anchorPaths, options = {}) {
   const paths = options.paths ?? anchorPaths;
   if (paths.length === 0) return null;
   const negativeText = body.split(/\*\*Instead,\s*use:\*\*|^##\s+Instead\b/im)[0] ?? body;
-  const assignment = pickAssignmentPattern(negativeText);
-  const lowercaseValue = assignment ? null : pickLowercaseValuePattern(negativeText);
+  const recommended = recommendedTokens(body);
+  const isRecommended = (token2) => !!token2 && recommended.has(token2.toLowerCase());
+  const assignmentRaw = pickAssignmentPattern(negativeText);
+  const assignment = isRecommended(assignmentRaw?.label.split(/[:=]/)[0]) ? null : assignmentRaw;
+  const lowercaseRaw = assignment ? null : pickLowercaseValuePattern(negativeText);
+  const lowercaseValue = isRecommended(lowercaseRaw?.label.split(/[:=]/)[0]) ? null : lowercaseRaw;
   const required = !assignment && !lowercaseValue ? pickRequiredCompanion(body) : null;
   let companion = null;
   if (required) {
@@ -4590,7 +4648,7 @@ function suggestSensorSeed(body, anchorPaths, options = {}) {
       companion = { trigger, required, plain };
     }
   }
-  const fallbackToken = pickDistinctiveToken(negativeText, required ? [required] : []);
+  const fallbackToken = pickDistinctiveToken(negativeText, [...required ? [required] : [], ...recommended]);
   const token = assignment?.label ?? lowercaseValue?.label ?? companion?.trigger ?? fallbackToken;
   if (!token) return null;
   const pattern = assignment?.pattern ?? lowercaseValue?.pattern ?? (companion?.plain ? `\\b${escapeRegExp(companion.trigger)}\\b` : escapeRegExp(companion?.trigger ?? token));
@@ -4617,6 +4675,16 @@ function suggestSensorFromMemory(body, anchorPaths, options = {}) {
     last_fired: null
   };
 }
+function recommendedTokens(body) {
+  const tokens = /* @__PURE__ */ new Set();
+  for (const clause of extractCorrectApproachExamples(body)) {
+    for (const match of clause.matchAll(CODE_TOKEN_RE)) {
+      const raw = (match[1] ?? match[2] ?? match[3] ?? "").replace(/^[^\w.-]+|[^\w.-]+$/g, "");
+      if (raw.length >= 3) tokens.add(raw.toLowerCase());
+    }
+  }
+  return tokens;
+}
 function pickRequiredCompanion(text) {
   const tok = "([A-Za-z`'\"$][\\w.$-]{2,79})";
   const patterns = [
@@ -5332,7 +5400,10 @@ function assessBehaviourCoverage(input) {
   };
 }
 function renderBehaviourCoverageLine(m) {
-  if (m.mainAreas.length === 0) return "no main code areas detected";
+  if (m.mainAreas.length === 0) {
+    if (m.totalOracles === 0) return "no main code areas detected";
+    return `${m.totalOracles} behavioural oracle(s) present (${m.armedOracles} armed, ${m.redProvenOracles} red-proven); no main code areas derived yet to attribute them to`;
+  }
   if (m.totalOracles === 0) {
     return `0/${m.mainAreas.length} area(s) guarded by a behavioural oracle (no test/shell sensors yet)`;
   }
@@ -6632,6 +6703,7 @@ export {
   evaluateSkillActivation,
   existingGateMissShas,
   extractActionsBriefBody,
+  extractCorrectApproachExamples,
   extractReferencedPaths,
   extractReviewLearnings,
   extractSensorExamples,
@@ -6666,6 +6738,7 @@ export {
   isEnvWorkaroundMemory,
   isFreshIsoDate,
   isGlobPath,
+  isHarnessErrorOutput,
   isLikelyGuessable,
   isNoiseSubject,
   isProductionCodeFile,