@hivelore/core 0.46.0 → 0.49.0

package/dist/index.d.ts

@@ -2393,8 +2393,21 @@ interface TestScaffold {
     /** Ready-to-run wiring command: arms the test as a deterministic gate AFTER it is written. */
     proposeCommand: string;
 }
+/**
+ * The shape of the generated test — each lowers the cost of expressing the invariant differently:
+ *  - `example`      one input → expected output (default; cheapest to grasp, narrowest coverage).
+ *  - `property`     state the invariant ONCE and let fast-check / Hypothesis check it over many
+ *                   generated inputs — a broader, partial oracle for a one-line-expressible invariant.
+ *  - `differential` state NO invariant: assert the subject AGREES with a reference implementation for
+ *                   all generated inputs (when a second impl or legacy exists — the oracle is redundancy).
+ */
+type ScaffoldStyle = "example" | "property" | "differential";
 interface ScaffoldOptions {
     framework: TestFramework;
+    /** Test shape (default 'example'). See {@link ScaffoldStyle}. */
+    style?: ScaffoldStyle;
+    /** kind=differential only: import specifier of the reference implementation to compare against. */
+    reference?: string;
     /** Override the generated file path (project-relative). Wins over baseDir. */
     outPath?: string;
     /**
@@ -2440,6 +2453,8 @@ declare function parseLessonFields(body: string): {
  * proposal (a memory carries a single sensor).
  */
 declare function buildProposeCommand(lesson: PostIncidentLesson, runCommand: string): string;
+/** Map a user string to a scaffold style, or null. */
+declare function normalizeScaffoldStyle(input: string): ScaffoldStyle | null;
 /** 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. */
@@ -3413,4 +3428,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, 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 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, 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, 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, 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, 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

@@ -4863,7 +4863,21 @@ function buildProposeCommand(lesson, runCommand) {
   if (scope.length > 0) parts.push(`--paths ${JSON.stringify(scope.join(","))}`);
   return parts.join(" ");
 }
-function header(lesson, comment) {
+function normalizeScaffoldStyle(input) {
+  const v = input.trim().toLowerCase();
+  if (v === "example" || v === "property" || v === "differential") return v;
+  return null;
+}
+function styleNote(style, reference) {
+  if (style === "property") {
+    return "Style: property-based \u2014 state the invariant once; it is checked over many generated inputs.";
+  }
+  if (style === "differential") {
+    return `Style: differential \u2014 assert the subject AGREES with the reference (${reference ?? "<reference>"}) for all inputs.`;
+  }
+  return void 0;
+}
+function header(lesson, comment, style) {
   const hints = lesson.incidentHints;
   const fixLines = [];
   if (hints && (hints.changedSymbols.length > 0 || hints.changedFiles.length > 0)) {
@@ -4881,6 +4895,7 @@ function header(lesson, comment) {
     ...lesson.whyFailed ? [`Why: ${oneLine(lesson.whyFailed)}`] : [],
     ...lesson.instead ? [`Expected / fix: ${oneLine(lesson.instead)}`] : [],
     ...fixLines,
+    ...style ? [style] : [],
     "",
     "TODO: replace the pending test with a real check that FAILS on the incident and",
     "PASSES once the fix is in place. Then arm it as a deterministic gate:"
@@ -4921,8 +4936,73 @@ function exampleLines(lesson, lang) {
 function importSpecifier(file) {
   return file.replace(/\.[cm]?[jt]sx?$/, "");
 }
+function propertyLines(lesson, lang) {
+  const symbol = lesson.incidentHints?.changedSymbols[0] ?? "subjectUnderTest";
+  const file = lesson.incidentHints?.changedFiles[0];
+  const invariant = lesson.instead ? oneLine(lesson.instead) : void 0;
+  if (lang === "js") {
+    return [
+      `// Property-based guard \u2014 state the invariant ONCE; it is checked over many generated inputs.`,
+      `// Add at the top:  import fc from "fast-check";   (npm i -D fast-check)`,
+      `// it("property: the invariant holds for all inputs", () => {`,
+      ...file ? [`//   import { ${symbol} } from "${importSpecifier(file)}";  // adjust the relative path`] : [],
+      ...invariant ? [`//   // Invariant (from the lesson): ${invariant}`] : [],
+      `//   fc.assert(fc.property(fc.integer(), fc.integer(), (a, b) =>`,
+      `//     /* the boolean invariant over ${symbol}(a, b) */`,
+      `//   ));`,
+      `// });`
+    ];
+  }
+  if (lang === "py") {
+    return [
+      `    # Property-based guard \u2014 state the invariant once; checked over many generated inputs.`,
+      `    # from hypothesis import given, strategies as st`,
+      `    # @given(st.integers(), st.integers())`,
+      `    # def test_property(a, b):`,
+      ...invariant ? [`    #     # Invariant (from the lesson): ${invariant}`] : [],
+      `    #     assert (the boolean invariant over ${symbol}(a, b))`
+    ];
+  }
+  return [`	// Property-based guard: check the invariant over generated inputs (e.g. github.com/leanovate/gopter). Subject: ${symbol}.`];
+}
+function differentialLines(lesson, lang, reference) {
+  const symbol = lesson.incidentHints?.changedSymbols[0] ?? "subjectUnderTest";
+  const file = lesson.incidentHints?.changedFiles[0];
+  const ref = reference ?? "<REFERENCE>";
+  if (lang === "js") {
+    return [
+      `// Differential guard \u2014 no invariant to state: assert the subject AGREES with a reference for all inputs.`,
+      `// Add at the top:  import fc from "fast-check";   (npm i -D fast-check)`,
+      `// it("differential: subject matches the reference for all inputs", () => {`,
+      ...file ? [`//   import { ${symbol} } from "${importSpecifier(file)}";       // subject`] : [],
+      `//   import { ${symbol} as reference } from "${ref}";  // reference implementation`,
+      `//   fc.assert(fc.property(fc.integer(), fc.integer(), (a, b) =>`,
+      `//     ${symbol}(a, b) === reference(a, b)`,
+      `//   ));`,
+      `// });`
+    ];
+  }
+  if (lang === "py") {
+    return [
+      `    # Differential guard \u2014 assert the subject agrees with a reference for all generated inputs.`,
+      `    # from hypothesis import given, strategies as st`,
+      `    # from ${ref} import ${symbol} as reference`,
+      `    # @given(st.integers(), st.integers())`,
+      `    # def test_differential(a, b):`,
+      `    #     assert ${symbol}(a, b) == reference(a, b)`
+    ];
+  }
+  return [`	// Differential guard: assert ${symbol} agrees with the reference (${ref}) over generated inputs (e.g. gopter).`];
+}
+function bodyLines(lesson, lang, style, reference) {
+  if (style === "property") return propertyLines(lesson, lang);
+  if (style === "differential") return differentialLines(lesson, lang, reference);
+  return exampleLines(lesson, lang);
+}
 function scaffoldPostIncidentTest(lesson, options) {
   const framework = options.framework;
+  const style = options.style ?? "example";
+  const note = styleNote(style, options.reference);
   const short = lessonShortName(lesson.memoryId);
   const desc = oneLine(lesson.title) || short;
   const propose = (run) => options.proposeCommandOverride ?? buildProposeCommand(lesson, run);
@@ -4936,13 +5016,13 @@ function scaffoldPostIncidentTest(lesson, options) {
     const importLine = framework === "vitest" ? `import { describe, it, expect } from "vitest";
 
 ` : "";
-    content = `${header(lesson, hc)}
+    content = `${header(lesson, hc, note)}
 //   ${propose(runCommand)}
 
 ` + importLine + `describe(${JSON.stringify(desc)}, () => {
   it.todo("reproduces ${lesson.memoryId} and stays fixed");
 
-` + exampleLines(lesson, "js").map((l) => `  ${l}`).join("\n") + `
+` + bodyLines(lesson, "js", style, options.reference).map((l) => `  ${l}`).join("\n") + `
 });
 `;
   } else if (framework === "pytest") {
@@ -4950,7 +5030,7 @@ function scaffoldPostIncidentTest(lesson, options) {
     relPath = options.outPath ?? joinRel(options.baseDir, `tests/incidents/test_${fn}.py`);
     runCommand = `pytest ${relPath}`;
     const hc = (l) => l ? `# ${l}` : "#";
-    content = `${header(lesson, hc)}
+    content = `${header(lesson, hc, note)}
 #   ${propose(runCommand)}
 
 import pytest
@@ -4958,14 +5038,14 @@ import pytest
 
 @pytest.mark.skip(reason="TODO: write the post-incident assertion, then arm the sensor")
 def test_${fn}():
-` + exampleLines(lesson, "py").join("\n") + "\n";
+` + bodyLines(lesson, "py", style, options.reference).join("\n") + "\n";
   } else {
     const fn = pascal(short);
     const dir = options.outPath ? options.outPath.replace(/\/[^/]+$/, "") : joinRel(options.baseDir, "incidents");
     relPath = options.outPath ?? joinRel(options.baseDir, `incidents/incident_${snake(short)}_test.go`);
     runCommand = `go test ./${dir}/`;
     const hc = (l) => l ? `// ${l}` : "//";
-    content = `${header(lesson, hc)}
+    content = `${header(lesson, hc, note)}
 //   ${propose(runCommand)}
 
 package incidents
@@ -4974,7 +5054,7 @@ import "testing"
 
 func Test${fn}(t *testing.T) {
 	t.Skip("TODO: write the post-incident assertion, then arm the sensor")
-` + exampleLines(lesson, "go").join("\n") + `
+` + bodyLines(lesson, "go", style, options.reference).join("\n") + `
 }
 `;
   }
@@ -5781,23 +5861,28 @@ function findUncapturedFailures(failures, captureTimes, options = {}) {
   out.sort((a, b) => a.ts.localeCompare(b.ts));
   return out;
 }
-var EXPLORATORY_RE = /^(ls|find|grep|rg|cat|head|tail|which|stat)\b/i;
+var EXPLORATORY_RE = /^(ls|find|grep|rg|cat|head|tail|which|stat|cd|pushd|popd|pwd|mkdir|rmdir|echo|printf|touch|cp|mv|rm|export|set|unset|source|test|true|false|sleep|wc|sort|uniq|cut|env|\[|\.)\b/i;
+var SUBSTANTIVE_RE = /\b(vitest|jest|mocha|pytest|unittest|go\s+test|cargo|gradle|mvn|tsc|typecheck|eslint|biome|ruff|mypy|flake8|pnpm|npm|yarn|bun|make|docker|compose|terraform|prisma|migrate|migration|build|lint)\b/i;
+function commandText(summary) {
+  return summary.replace(/^[A-Za-z_]+:\s*/, "").trim();
+}
 function distillFailureObservations(failures, options = {}) {
   const max = options.max ?? 3;
   const clusters = /* @__PURE__ */ new Map();
   for (const f of failures) {
     const summary = f.summary.trim();
-    if (!summary || EXPLORATORY_RE.test(summary.replace(/^Bash:\s*/i, ""))) continue;
+    const cmd = commandText(summary);
+    if (!summary || EXPLORATORY_RE.test(cmd)) continue;
     const key = normalizeSummary(summary);
     const existing = clusters.get(key);
     if (existing) {
       existing.count++;
       for (const file of f.files ?? []) existing.files.add(file);
     } else {
-      clusters.set(key, { first: f, count: 1, files: new Set(f.files ?? []) });
+      clusters.set(key, { first: f, count: 1, files: new Set(f.files ?? []), substantive: SUBSTANTIVE_RE.test(cmd) });
     }
   }
-  return [...clusters.values()].sort((a, b) => b.count - a.count || b.first.ts.localeCompare(a.first.ts)).slice(0, max).map(({ first, count, files }) => {
+  return [...clusters.values()].filter((c) => c.count >= 2 || c.substantive).sort((a, b) => b.count - a.count || b.first.ts.localeCompare(a.first.ts)).slice(0, max).map(({ first, count, files }) => {
     const summary = first.summary.trim();
     const firstLine = summary.split("\n")[0].slice(0, 120);
     return {
@@ -6602,6 +6687,7 @@ export {
   newMemoryId,
   normalizeFindingSeverity,
   normalizeFramework,
+  normalizeScaffoldStyle,
   normalizeSessionId,
   overallScore,
   parseEslintJson,