slopbrick 0.37.0 → 0.40.0

package/dist/index.d.cts

@@ -843,15 +843,15 @@ interface ResolvedConfig {
      */
     prScoreThreshold?: number;
     /**
-     * Phase 5 — Test Intelligence opt-in toggles. The four `test/*`
-     * rules are safe-by-default (each rule short-circuits on non-test
-     * files via `isTestFile()`), but `test/missing-edge-case` walks
-     * production code to find untested branches. Off by default —
-     * opt-in per project.
+     * Phase 5 — Test Intelligence opt-in toggles. The three remaining
+     * `test/*` rules (`test/weak-assertion`, `test/duplicate-setup`,
+     * `test/fake-placeholder`) are safe-by-default (each rule
+     * short-circuits on non-test files via `isTestFile()`). v0.38.0
+     * removed `test/missing-edge-case` as v10-DORMANT.
      */
     testIntelligence?: {
-        /** Walk production AST to find branches without test coverage. */
-        missingEdgeCase?: boolean;
+        /** Reserved for future test opt-ins. */
+        [key: string]: boolean | undefined;
     };
     /**
      * v0.25.0: self-scan exclude paths. Applied at scan time (in
@@ -1034,7 +1034,7 @@ interface DocFinding {
 type DbDriftLevel = 'low' | 'medium' | 'high' | 'critical';
 /** A single db-health finding — one rule firing on one table/file. */
 interface DbFinding {
-    ruleId: 'db/missing-fk-index' | 'db/duplicate-index' | 'db/missing-not-null' | 'db/enum-sprawl' | 'db/naming-inconsistency' | 'db/sql-concat';
+    ruleId: 'db/sql-concat';
     severity: 'low' | 'medium' | 'high';
     dbFile: string;
     line: number;
@@ -1207,6 +1207,48 @@ interface AutoTunedRule {
     severity: Severity;
     reason: string;
 }
+/**
+ * v0.40.0 (Sprint 2.1): reverse direction of the flywheel ratchet.
+ *
+ * The flywheel has historically been one-way — `severityBump()` raises
+ * a rule's severity after 3 consecutive top-3 appearances. The
+ * relaxed half tells users when the data suggests a rule is *less*
+ * relevant to *this* repository than the corpus default — i.e.
+ * a high-FP rule that the user keeps ignoring.
+ *
+ * Distinct from `AutoTunedRule` on purpose:
+ *   - `severity` widens to `Severity | 'off'` because the relaxation
+ *     ratchets past `'low'` into `'off'` (the floor). Once off, the
+ *     read-side skips the rule entirely (same as a user `'off'`
+ *     override).
+ *   - `reason` references the ignore-streak and the corpus prior
+ *     that motivated the relaxation, so users can audit the
+ *     decision later (read `.slopbrick/flywheel/auto-tuned.json`).
+ *   - `previousSeverity` makes it explicit what we ratcheted *from*
+ *     (vs `AutoTunedRule` whose `severity` is just the new value;
+ *     the bump is always `prev + 1` so the prior is implied).
+ *   - Schema carries `defaultPrior` so re-calibration can replay
+ *     the relaxation against fresh corpus data (the relaxation
+ *     was based on a specific prior — if the prior changes, the
+ *     relaxation decision may no longer hold).
+ */
+interface AutoRelaxedRule {
+    ruleId: string;
+    /**
+     * New effective severity. Floors at `'off'` (the ratchet
+     * ultimate floor). Note the deliberate asymmetry with
+     * `AutoTunedRule` which can never write `'off'` — the bump
+     * direction saturates at `'high'`, but relaxation walks
+     * out the other end.
+     */
+    severity: Severity | 'off';
+    previousSeverity: Severity;
+    reason: string;
+    /** AI-corpus prevalence assumed when the relaxation was decided. */
+    defaultPrior: number;
+    /** When the relaxation was decided (ISO 8601). */
+    relaxedAt: string;
+}
 interface RuleSuggestion {
     pattern: string;
     example: string;
@@ -1230,10 +1272,30 @@ interface FlywheelState {
     version: string;
     updatedAt: string;
     autoTuned: AutoTunedRule[];
+    /**
+     * v0.40.0+: rules the flywheel has *relaxed* based on observed
+     * ignore behavior across consecutive scans. Mirrors `autoTuned`
+     * in lifecycle and persistence shape, but represents a downward
+     * (not upward) severity adjustment. The next scan reads both
+     * lists and applies them on top of the corpus-default severity.
+     *
+     * Persisted to `.slopbrick/flywheel/auto-tuned.json` alongside
+     * `autoTuned` for backward compat with v0.39.x consumers of
+     * the file (they just ignore the unknown field). Migration to
+     * v3 happens in `migrateFlywheelState`.
+     */
+    autoRelaxed: AutoRelaxedRule[];
     research?: ResearchMetrics;
 }
 interface FlywheelOutput {
     autoTuned: AutoTunedRule[];
+    /**
+     * v0.40.0+: relaxation candidates produced by the current scan.
+     * Read by `persistRun.ts` which writes them into the next
+     * persisted `FlywheelState`. Empty when no rule has hit the
+     * `IGNORE_THRESHOLD` yet.
+     */
+    autoRelaxed: AutoRelaxedRule[];
     hotspotIssues: Issue[];
     suggestions: RuleSuggestion[];
     research?: ResearchMetrics;
@@ -1612,4 +1674,4 @@ declare function formatBadge(report: ProjectReport): string;
 /** Render an array of values as a Unicode sparkline (▁▂▃▄▅▆▇█). */
 declare function formatSparkline(values: number[]): string;
 
-export { AI_SECURITY_NUMERIC, type AiDebt, type AiMaintenanceCost, type AiMaintenanceCostResult, type AstroComponentFact, type AutoTunedRule, type BaselineCache, type BaselineMeta, type CachedFile, type Category, type ClassNameFact, type CommentFact, type ComponentFacts, type ComponentScore, type ComponentSizeFact, type ConsoleCallFact, type Constitution, DEFAULT_CONFIG, type DangerouslySetInnerHtmlFact, type DbDriftLevel, type DbFinding, type DialogCallFact, type DisabledLintRuleFact, type DocDriftLevel, type DocFinding, type DomQueryFact, type ElementFact, type EvalCallFact, type ExplicitAnyFact, type FetchCallFact, type FileScanResult, type FixSuggestion, type FlywheelOutput, type FlywheelState, type Framework$1 as Framework, type HealthFile, type HookCallFact, type HookDependencyArrayFact, type HookFact, type ImportFact, type InlineEventHandlerFact, type Issue, type JsxAttributeStringLiteralFact, type JsxTextLiteralFact, type KeyPropFact, type LogicalExpressionFact, type MagicNumberSpacingConfig, type MaintenanceAxes, type MaintenanceAxisHealth, type NonNullAssertionFact, type OptimisticUpdateFact, type ProjectReport, type PropMutationFact, type PropPassThroughFact, REPOSITORY_HEALTH_WEIGHTS, type ReportReadResult, type RepositoryHealth, type RepositoryHealthInputs, type ResearchMetrics, type ResolvedConfig, type Rule, type RuleContext, type RuleSeverity, type RuleSuggestion, type ScanCache, type ScanFacts, type ScanProjectOptions, type ScanSelfScanConfig, type Severity, type SlopAuditRun, type StateBinding, type StateBindingFact, type StringLiteralFact, type StylePropFact, type TamaguiStylePropFact, type TopOffender, type UseEffectBodyFact, VERSION, baselineStatusMessage, colorForSlop, failedThresholdCount, filterByDisabledDirectives, filterIssues, formatBadge, formatReportFromFile, formatSparkline, loadConfig, readReportFile, runCli, runInitWizard, scanProject, serializeConfig, stagedGating, thresholdExceeded };
+export { AI_SECURITY_NUMERIC, type AiDebt, type AiMaintenanceCost, type AiMaintenanceCostResult, type AstroComponentFact, type AutoRelaxedRule, type AutoTunedRule, type BaselineCache, type BaselineMeta, type CachedFile, type Category, type ClassNameFact, type CommentFact, type ComponentFacts, type ComponentScore, type ComponentSizeFact, type ConsoleCallFact, type Constitution, DEFAULT_CONFIG, type DangerouslySetInnerHtmlFact, type DbDriftLevel, type DbFinding, type DialogCallFact, type DisabledLintRuleFact, type DocDriftLevel, type DocFinding, type DomQueryFact, type ElementFact, type EvalCallFact, type ExplicitAnyFact, type FetchCallFact, type FileScanResult, type FixSuggestion, type FlywheelOutput, type FlywheelState, type Framework$1 as Framework, type HealthFile, type HookCallFact, type HookDependencyArrayFact, type HookFact, type ImportFact, type InlineEventHandlerFact, type Issue, type JsxAttributeStringLiteralFact, type JsxTextLiteralFact, type KeyPropFact, type LogicalExpressionFact, type MagicNumberSpacingConfig, type MaintenanceAxes, type MaintenanceAxisHealth, type NonNullAssertionFact, type OptimisticUpdateFact, type ProjectReport, type PropMutationFact, type PropPassThroughFact, REPOSITORY_HEALTH_WEIGHTS, type ReportReadResult, type RepositoryHealth, type RepositoryHealthInputs, type ResearchMetrics, type ResolvedConfig, type Rule, type RuleContext, type RuleSeverity, type RuleSuggestion, type ScanCache, type ScanFacts, type ScanProjectOptions, type ScanSelfScanConfig, type Severity, type SlopAuditRun, type StateBinding, type StateBindingFact, type StringLiteralFact, type StylePropFact, type TamaguiStylePropFact, type TopOffender, type UseEffectBodyFact, VERSION, baselineStatusMessage, colorForSlop, failedThresholdCount, filterByDisabledDirectives, filterIssues, formatBadge, formatReportFromFile, formatSparkline, loadConfig, readReportFile, runCli, runInitWizard, scanProject, serializeConfig, stagedGating, thresholdExceeded };

package/dist/index.d.ts

@@ -843,15 +843,15 @@ interface ResolvedConfig {
      */
     prScoreThreshold?: number;
     /**
-     * Phase 5 — Test Intelligence opt-in toggles. The four `test/*`
-     * rules are safe-by-default (each rule short-circuits on non-test
-     * files via `isTestFile()`), but `test/missing-edge-case` walks
-     * production code to find untested branches. Off by default —
-     * opt-in per project.
+     * Phase 5 — Test Intelligence opt-in toggles. The three remaining
+     * `test/*` rules (`test/weak-assertion`, `test/duplicate-setup`,
+     * `test/fake-placeholder`) are safe-by-default (each rule
+     * short-circuits on non-test files via `isTestFile()`). v0.38.0
+     * removed `test/missing-edge-case` as v10-DORMANT.
      */
     testIntelligence?: {
-        /** Walk production AST to find branches without test coverage. */
-        missingEdgeCase?: boolean;
+        /** Reserved for future test opt-ins. */
+        [key: string]: boolean | undefined;
     };
     /**
      * v0.25.0: self-scan exclude paths. Applied at scan time (in
@@ -1034,7 +1034,7 @@ interface DocFinding {
 type DbDriftLevel = 'low' | 'medium' | 'high' | 'critical';
 /** A single db-health finding — one rule firing on one table/file. */
 interface DbFinding {
-    ruleId: 'db/missing-fk-index' | 'db/duplicate-index' | 'db/missing-not-null' | 'db/enum-sprawl' | 'db/naming-inconsistency' | 'db/sql-concat';
+    ruleId: 'db/sql-concat';
     severity: 'low' | 'medium' | 'high';
     dbFile: string;
     line: number;
@@ -1207,6 +1207,48 @@ interface AutoTunedRule {
     severity: Severity;
     reason: string;
 }
+/**
+ * v0.40.0 (Sprint 2.1): reverse direction of the flywheel ratchet.
+ *
+ * The flywheel has historically been one-way — `severityBump()` raises
+ * a rule's severity after 3 consecutive top-3 appearances. The
+ * relaxed half tells users when the data suggests a rule is *less*
+ * relevant to *this* repository than the corpus default — i.e.
+ * a high-FP rule that the user keeps ignoring.
+ *
+ * Distinct from `AutoTunedRule` on purpose:
+ *   - `severity` widens to `Severity | 'off'` because the relaxation
+ *     ratchets past `'low'` into `'off'` (the floor). Once off, the
+ *     read-side skips the rule entirely (same as a user `'off'`
+ *     override).
+ *   - `reason` references the ignore-streak and the corpus prior
+ *     that motivated the relaxation, so users can audit the
+ *     decision later (read `.slopbrick/flywheel/auto-tuned.json`).
+ *   - `previousSeverity` makes it explicit what we ratcheted *from*
+ *     (vs `AutoTunedRule` whose `severity` is just the new value;
+ *     the bump is always `prev + 1` so the prior is implied).
+ *   - Schema carries `defaultPrior` so re-calibration can replay
+ *     the relaxation against fresh corpus data (the relaxation
+ *     was based on a specific prior — if the prior changes, the
+ *     relaxation decision may no longer hold).
+ */
+interface AutoRelaxedRule {
+    ruleId: string;
+    /**
+     * New effective severity. Floors at `'off'` (the ratchet
+     * ultimate floor). Note the deliberate asymmetry with
+     * `AutoTunedRule` which can never write `'off'` — the bump
+     * direction saturates at `'high'`, but relaxation walks
+     * out the other end.
+     */
+    severity: Severity | 'off';
+    previousSeverity: Severity;
+    reason: string;
+    /** AI-corpus prevalence assumed when the relaxation was decided. */
+    defaultPrior: number;
+    /** When the relaxation was decided (ISO 8601). */
+    relaxedAt: string;
+}
 interface RuleSuggestion {
     pattern: string;
     example: string;
@@ -1230,10 +1272,30 @@ interface FlywheelState {
     version: string;
     updatedAt: string;
     autoTuned: AutoTunedRule[];
+    /**
+     * v0.40.0+: rules the flywheel has *relaxed* based on observed
+     * ignore behavior across consecutive scans. Mirrors `autoTuned`
+     * in lifecycle and persistence shape, but represents a downward
+     * (not upward) severity adjustment. The next scan reads both
+     * lists and applies them on top of the corpus-default severity.
+     *
+     * Persisted to `.slopbrick/flywheel/auto-tuned.json` alongside
+     * `autoTuned` for backward compat with v0.39.x consumers of
+     * the file (they just ignore the unknown field). Migration to
+     * v3 happens in `migrateFlywheelState`.
+     */
+    autoRelaxed: AutoRelaxedRule[];
     research?: ResearchMetrics;
 }
 interface FlywheelOutput {
     autoTuned: AutoTunedRule[];
+    /**
+     * v0.40.0+: relaxation candidates produced by the current scan.
+     * Read by `persistRun.ts` which writes them into the next
+     * persisted `FlywheelState`. Empty when no rule has hit the
+     * `IGNORE_THRESHOLD` yet.
+     */
+    autoRelaxed: AutoRelaxedRule[];
     hotspotIssues: Issue[];
     suggestions: RuleSuggestion[];
     research?: ResearchMetrics;
@@ -1612,4 +1674,4 @@ declare function formatBadge(report: ProjectReport): string;
 /** Render an array of values as a Unicode sparkline (▁▂▃▄▅▆▇█). */
 declare function formatSparkline(values: number[]): string;
 
-export { AI_SECURITY_NUMERIC, type AiDebt, type AiMaintenanceCost, type AiMaintenanceCostResult, type AstroComponentFact, type AutoTunedRule, type BaselineCache, type BaselineMeta, type CachedFile, type Category, type ClassNameFact, type CommentFact, type ComponentFacts, type ComponentScore, type ComponentSizeFact, type ConsoleCallFact, type Constitution, DEFAULT_CONFIG, type DangerouslySetInnerHtmlFact, type DbDriftLevel, type DbFinding, type DialogCallFact, type DisabledLintRuleFact, type DocDriftLevel, type DocFinding, type DomQueryFact, type ElementFact, type EvalCallFact, type ExplicitAnyFact, type FetchCallFact, type FileScanResult, type FixSuggestion, type FlywheelOutput, type FlywheelState, type Framework$1 as Framework, type HealthFile, type HookCallFact, type HookDependencyArrayFact, type HookFact, type ImportFact, type InlineEventHandlerFact, type Issue, type JsxAttributeStringLiteralFact, type JsxTextLiteralFact, type KeyPropFact, type LogicalExpressionFact, type MagicNumberSpacingConfig, type MaintenanceAxes, type MaintenanceAxisHealth, type NonNullAssertionFact, type OptimisticUpdateFact, type ProjectReport, type PropMutationFact, type PropPassThroughFact, REPOSITORY_HEALTH_WEIGHTS, type ReportReadResult, type RepositoryHealth, type RepositoryHealthInputs, type ResearchMetrics, type ResolvedConfig, type Rule, type RuleContext, type RuleSeverity, type RuleSuggestion, type ScanCache, type ScanFacts, type ScanProjectOptions, type ScanSelfScanConfig, type Severity, type SlopAuditRun, type StateBinding, type StateBindingFact, type StringLiteralFact, type StylePropFact, type TamaguiStylePropFact, type TopOffender, type UseEffectBodyFact, VERSION, baselineStatusMessage, colorForSlop, failedThresholdCount, filterByDisabledDirectives, filterIssues, formatBadge, formatReportFromFile, formatSparkline, loadConfig, readReportFile, runCli, runInitWizard, scanProject, serializeConfig, stagedGating, thresholdExceeded };
+export { AI_SECURITY_NUMERIC, type AiDebt, type AiMaintenanceCost, type AiMaintenanceCostResult, type AstroComponentFact, type AutoRelaxedRule, type AutoTunedRule, type BaselineCache, type BaselineMeta, type CachedFile, type Category, type ClassNameFact, type CommentFact, type ComponentFacts, type ComponentScore, type ComponentSizeFact, type ConsoleCallFact, type Constitution, DEFAULT_CONFIG, type DangerouslySetInnerHtmlFact, type DbDriftLevel, type DbFinding, type DialogCallFact, type DisabledLintRuleFact, type DocDriftLevel, type DocFinding, type DomQueryFact, type ElementFact, type EvalCallFact, type ExplicitAnyFact, type FetchCallFact, type FileScanResult, type FixSuggestion, type FlywheelOutput, type FlywheelState, type Framework$1 as Framework, type HealthFile, type HookCallFact, type HookDependencyArrayFact, type HookFact, type ImportFact, type InlineEventHandlerFact, type Issue, type JsxAttributeStringLiteralFact, type JsxTextLiteralFact, type KeyPropFact, type LogicalExpressionFact, type MagicNumberSpacingConfig, type MaintenanceAxes, type MaintenanceAxisHealth, type NonNullAssertionFact, type OptimisticUpdateFact, type ProjectReport, type PropMutationFact, type PropPassThroughFact, REPOSITORY_HEALTH_WEIGHTS, type ReportReadResult, type RepositoryHealth, type RepositoryHealthInputs, type ResearchMetrics, type ResolvedConfig, type Rule, type RuleContext, type RuleSeverity, type RuleSuggestion, type ScanCache, type ScanFacts, type ScanProjectOptions, type ScanSelfScanConfig, type Severity, type SlopAuditRun, type StateBinding, type StateBindingFact, type StringLiteralFact, type StylePropFact, type TamaguiStylePropFact, type TopOffender, type UseEffectBodyFact, VERSION, baselineStatusMessage, colorForSlop, failedThresholdCount, filterByDisabledDirectives, filterIssues, formatBadge, formatReportFromFile, formatSparkline, loadConfig, readReportFile, runCli, runInitWizard, scanProject, serializeConfig, stagedGating, thresholdExceeded };