pumuki 6.3.181 → 6.3.183

package/VERSION

@@ -1 +1 @@
-v6.3.181
+v6.3.183

package/core/facts/detectors/text/android.test.ts

@@ -8,9 +8,11 @@ import {
   findKotlinPresentationSrpMatch,
   hasKotlinDispatcherMainBoundaryLeakUsage,
   hasKotlinGlobalScopeUsage,
+  hasKotlinHardcodedBackgroundDispatcherUsage,
   hasKotlinLiveDataStateExposureUsage,
   hasKotlinManualCoroutineScopeInViewModelUsage,
   hasKotlinRunBlockingUsage,
+  hasKotlinSupervisorScopeUsage,
   hasKotlinThreadSleepCall,
 } from './android';
 
@@ -163,6 +165,64 @@ class SyncOrdersUseCase {
   assert.equal(hasKotlinDispatcherMainBoundaryLeakUsage(source), false);
 });
 
+test('hasKotlinHardcodedBackgroundDispatcherUsage detecta Dispatchers.IO y Dispatchers.Default', () => {
+  const ioSource = `
+class SyncOrdersUseCase {
+  suspend fun execute() = withContext(Dispatchers.IO) { }
+}
+`;
+  const defaultSource = `
+class BuildCatalogIndexUseCase {
+  suspend fun execute() = withContext(Dispatchers.Default) { }
+}
+`;
+  assert.equal(hasKotlinHardcodedBackgroundDispatcherUsage(ioSource), true);
+  assert.equal(hasKotlinHardcodedBackgroundDispatcherUsage(defaultSource), true);
+});
+
+test('hasKotlinHardcodedBackgroundDispatcherUsage ignora imports, comentarios, strings y Main', () => {
+  const source = `
+import kotlinx.coroutines.Dispatchers
+// withContext(Dispatchers.IO) { }
+val sample = "Dispatchers.Default"
+class SyncOrdersUseCase {
+  suspend fun execute() = withContext(Dispatchers.Main) { }
+}
+`;
+  assert.equal(hasKotlinHardcodedBackgroundDispatcherUsage(source), false);
+});
+
+test('hasKotlinSupervisorScopeUsage detecta supervisorScope con parentesis y llaves', () => {
+  const parenthesesSource = `
+class SyncOrdersUseCase {
+  suspend fun execute() = supervisorScope {
+    launch { syncRemote() }
+  }
+}
+`;
+  const genericSource = `
+class SyncOrdersUseCase {
+  suspend fun execute() = supervisorScope<Unit> {
+    launch { syncRemote() }
+  }
+}
+`;
+  assert.equal(hasKotlinSupervisorScopeUsage(parenthesesSource), true);
+  assert.equal(hasKotlinSupervisorScopeUsage(genericSource), true);
+});
+
+test('hasKotlinSupervisorScopeUsage ignora imports, comentarios, strings y nombres parciales', () => {
+  const source = `
+import kotlinx.coroutines.supervisorScope
+// supervisorScope { launch { } }
+val sample = "supervisorScope { launch { } }"
+class SyncOrdersUseCase {
+  suspend fun execute() = customSupervisorScope { }
+}
+`;
+  assert.equal(hasKotlinSupervisorScopeUsage(source), false);
+});
+
 test('findKotlinPresentationSrpMatch devuelve payload semantico para SRP-Android en presentation', () => {
   const source = `
 import android.content.SharedPreferences

package/core/facts/detectors/text/android.ts

@@ -255,6 +255,14 @@ const parseKotlinTypeDeclarations = (source: string): readonly KotlinTypeDeclara
   return declarations;
 };
 
+export const hasKotlinHardcodedBackgroundDispatcherUsage = (source: string): boolean => {
+  return collectKotlinRegexLines(source, /\bDispatchers\s*\.\s*(?:IO|Default)\b/).length > 0;
+};
+
+export const hasKotlinSupervisorScopeUsage = (source: string): boolean => {
+  return collectKotlinRegexLines(source, /\bsupervisorScope\s*(?:<[^>\n]+>\s*)?(?:\(|\{)/).length > 0;
+};
+
 export const hasKotlinThreadSleepCall = (source: string): boolean => {
   return scanCodeLikeSource(source, ({ source: kotlinSource, index, current }) => {
     if (current !== 'T') {

package/core/facts/extractHeuristicFacts.ts

@@ -99,6 +99,10 @@ const isAndroidApplicationOrPresentationPath = (path: string): boolean => {
   return isAndroidKotlinPath(path) && (path.includes('/application/') || path.includes('/presentation/'));
 };
 
+const isAndroidDomainOrApplicationPath = (path: string): boolean => {
+  return isAndroidKotlinPath(path) && (path.includes('/domain/') || path.includes('/application/'));
+};
+
 const isAndroidNonPresentationKotlinPath = (path: string): boolean => {
   return isAndroidKotlinPath(path) && !path.includes('/presentation/');
 };
@@ -644,6 +648,8 @@ const textDetectorRegistry: ReadonlyArray<TextDetectorRegistryEntry> = [
   { platform: 'android', pathCheck: isAndroidPresentationPath, excludePaths: [isKotlinTestPath], detect: TextAndroid.hasKotlinLiveDataStateExposureUsage, ruleId: 'heuristics.android.flow.livedata-state-exposure.ast', code: 'HEURISTICS_ANDROID_FLOW_LIVEDATA_STATE_EXPOSURE_AST', message: 'AST heuristic detected LiveData state exposure in Android presentation code where StateFlow or SharedFlow should be preferred.' },
   { platform: 'android', pathCheck: isAndroidPresentationPath, excludePaths: [isKotlinTestPath], detect: TextAndroid.hasKotlinManualCoroutineScopeInViewModelUsage, ruleId: 'heuristics.android.coroutines.manual-scope-in-viewmodel.ast', code: 'HEURISTICS_ANDROID_COROUTINES_MANUAL_SCOPE_IN_VIEWMODEL_AST', message: 'AST heuristic detected manual CoroutineScope inside an Android ViewModel where viewModelScope should be preferred.' },
   { platform: 'android', pathCheck: isAndroidNonPresentationKotlinPath, excludePaths: [isKotlinTestPath], detect: TextAndroid.hasKotlinDispatcherMainBoundaryLeakUsage, ruleId: 'heuristics.android.coroutines.dispatchers-main-boundary-leak.ast', code: 'HEURISTICS_ANDROID_COROUTINES_DISPATCHERS_MAIN_BOUNDARY_LEAK_AST', message: 'AST heuristic detected Dispatchers.Main outside Android presentation code.' },
+  { platform: 'android', pathCheck: isAndroidDomainOrApplicationPath, excludePaths: [isKotlinTestPath], detect: TextAndroid.hasKotlinHardcodedBackgroundDispatcherUsage, ruleId: 'heuristics.android.coroutines.hardcoded-background-dispatcher.ast', code: 'HEURISTICS_ANDROID_COROUTINES_HARDCODED_BACKGROUND_DISPATCHER_AST', message: 'AST heuristic detected hard-coded Dispatchers.IO or Dispatchers.Default in Android domain/application code.' },
+  { platform: 'android', pathCheck: isAndroidDomainOrApplicationPath, excludePaths: [isKotlinTestPath], detect: TextAndroid.hasKotlinSupervisorScopeUsage, ruleId: 'heuristics.android.coroutines.supervisor-scope.ast', code: 'HEURISTICS_ANDROID_COROUTINES_SUPERVISOR_SCOPE_AST', message: 'AST heuristic detected supervisorScope usage in Android domain/application code.' },
 ];
 
 const extractWorkflowHeuristicFacts = (

package/core/rules/presets/heuristics/android.test.ts

@@ -3,7 +3,7 @@ import test from 'node:test';
 import { androidRules } from './android';
 
 test('androidRules define reglas heurísticas locked para plataforma android', () => {
-  assert.equal(androidRules.length, 11);
+  assert.equal(androidRules.length, 13);
 
   const ids = androidRules.map((rule) => rule.id);
   assert.deepEqual(ids, [
@@ -13,6 +13,8 @@ test('androidRules define reglas heurísticas locked para plataforma android', (
     'heuristics.android.flow.livedata-state-exposure.ast',
     'heuristics.android.coroutines.manual-scope-in-viewmodel.ast',
     'heuristics.android.coroutines.dispatchers-main-boundary-leak.ast',
+    'heuristics.android.coroutines.hardcoded-background-dispatcher.ast',
+    'heuristics.android.coroutines.supervisor-scope.ast',
     'heuristics.android.solid.srp.presentation-mixed-responsibilities.ast',
     'heuristics.android.solid.ocp.discriminator-branching.ast',
     'heuristics.android.solid.dip.concrete-framework-dependency.ast',
@@ -55,6 +57,14 @@ test('androidRules define reglas heurísticas locked para plataforma android', (
     byId.get('heuristics.android.coroutines.dispatchers-main-boundary-leak.ast')?.then.code,
     'HEURISTICS_ANDROID_COROUTINES_DISPATCHERS_MAIN_BOUNDARY_LEAK_AST'
   );
+  assert.equal(
+    byId.get('heuristics.android.coroutines.hardcoded-background-dispatcher.ast')?.then.code,
+    'HEURISTICS_ANDROID_COROUTINES_HARDCODED_BACKGROUND_DISPATCHER_AST'
+  );
+  assert.equal(
+    byId.get('heuristics.android.coroutines.supervisor-scope.ast')?.then.code,
+    'HEURISTICS_ANDROID_COROUTINES_SUPERVISOR_SCOPE_AST'
+  );
   assert.equal(
     byId.get('heuristics.android.solid.srp.presentation-mixed-responsibilities.ast')?.then.code,
     'HEURISTICS_ANDROID_SOLID_SRP_PRESENTATION_MIXED_RESPONSIBILITIES_AST'

package/core/rules/presets/heuristics/android.ts

@@ -115,6 +115,46 @@ export const androidRules: RuleSet = [
       code: 'HEURISTICS_ANDROID_COROUTINES_DISPATCHERS_MAIN_BOUNDARY_LEAK_AST',
     },
   },
+  {
+    id: 'heuristics.android.coroutines.hardcoded-background-dispatcher.ast',
+    description:
+      'Detects hard-coded Dispatchers.IO or Dispatchers.Default usage in Android domain/application code.',
+    severity: 'WARN',
+    platform: 'android',
+    locked: true,
+    when: {
+      kind: 'Heuristic',
+      where: {
+        ruleId: 'heuristics.android.coroutines.hardcoded-background-dispatcher.ast',
+      },
+    },
+    then: {
+      kind: 'Finding',
+      message:
+        'AST heuristic detected hard-coded background dispatcher in Android domain/application code.',
+      code: 'HEURISTICS_ANDROID_COROUTINES_HARDCODED_BACKGROUND_DISPATCHER_AST',
+    },
+  },
+  {
+    id: 'heuristics.android.coroutines.supervisor-scope.ast',
+    description:
+      'Detects supervisorScope usage in Android domain/application code.',
+    severity: 'WARN',
+    platform: 'android',
+    locked: true,
+    when: {
+      kind: 'Heuristic',
+      where: {
+        ruleId: 'heuristics.android.coroutines.supervisor-scope.ast',
+      },
+    },
+    then: {
+      kind: 'Finding',
+      message:
+        'AST heuristic detected supervisorScope usage in Android domain/application code.',
+      code: 'HEURISTICS_ANDROID_COROUTINES_SUPERVISOR_SCOPE_AST',
+    },
+  },
   {
     id: 'heuristics.android.solid.srp.presentation-mixed-responsibilities.ast',
     description:

package/docs/codex-skills/android-enterprise-rules.md

@@ -125,8 +125,9 @@ app/
 ### Enforcement AST inicial de coroutines Android
 ✅ `skills.android.guideline.android.coroutines-async-await-no-callbacks` debe mapear a señales ejecutables existentes de uso inseguro de coroutines, empezando por `GlobalScope` y `runBlocking`.
 ✅ `skills.android.guideline.android.viewmodelscope-scope-de-viewmodel-cancelado-automa-ticamente` debe mapear a señales ejecutables de scopes manuales dentro de `ViewModel`, empezando por `CoroutineScope(...)` construido en presentation.
-✅ `skills.android.guideline.android.dispatchers-main-ui-io-network-disk-default-cpu` debe mapear a señales ejecutables de dispatcher UI filtrado fuera de presentation, empezando por `Dispatchers.Main` en application/data.
-✅ El baseline inicial de coroutines es parcial: cubre APIs bloqueantes, scopes no estructurados, scopes manuales en `ViewModel` y filtraciones de `Dispatchers.Main`, pero no declara todavía cobertura completa de `Flow`, `supervisorScope`, dispatchers ni cancelación cooperativa.
+✅ `skills.android.guideline.android.dispatchers-main-ui-io-network-disk-default-cpu` debe mapear a señales ejecutables de dispatchers mal ubicados: `Dispatchers.Main` fuera de `presentation` y `Dispatchers.IO` / `Dispatchers.Default` hardcodeados en `domain` o `application` en lugar de entrar por frontera inyectable.
+✅ `skills.android.guideline.android.supervisorscope-errores-no-cancelan-otros-jobs` debe mapear a señal ejecutable de `supervisorScope` en `domain` o `application`.
+✅ El baseline inicial de coroutines es parcial: cubre APIs bloqueantes, scopes no estructurados, scopes manuales en `ViewModel`, filtraciones de `Dispatchers.Main`, hardcode de dispatchers de background en dominio/aplicación y `supervisorScope`, pero no declara todavía cobertura completa de `Flow`, dispatchers, try-catch ni cancelación cooperativa.
 ✅ Si se amplía esta cobertura, cada nueva regla debe aterrizar como detector AST/textual semántico con test dirigido antes de declararse cubierta en el registry.
 
 ### Enforcement AST inicial de Flow/StateFlow Android

package/integrations/config/skillsDetectorRegistry.ts

@@ -226,7 +226,14 @@ const registryByRuleId: Record<string, SkillsDetectorBinding> = {
   ),
   'skills.android.guideline.android.dispatchers-main-ui-io-network-disk-default-cpu': heuristicDetector(
     'android.coroutines.dispatchers',
-    ['heuristics.android.coroutines.dispatchers-main-boundary-leak.ast']
+    [
+      'heuristics.android.coroutines.dispatchers-main-boundary-leak.ast',
+      'heuristics.android.coroutines.hardcoded-background-dispatcher.ast',
+    ]
+  ),
+  'skills.android.guideline.android.supervisorscope-errores-no-cancelan-otros-jobs': heuristicDetector(
+    'android.coroutines.supervisor-scope',
+    ['heuristics.android.coroutines.supervisor-scope.ast']
   ),
   'skills.android.guideline.android.stateflow-estado-mutable-observable': heuristicDetector(
     'android.flow.state-exposure',

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "pumuki",
-  "version": "6.3.181",
+  "version": "6.3.183",
   "description": "Enterprise-grade AST Intelligence System with multi-platform support (iOS, Android, Backend, Frontend) and Feature-First + DDD + Clean Architecture enforcement. Includes dynamic violations API for intelligent querying.",
   "main": "index.js",
   "bin": {

package/skills.lock.json

@@ -1,7 +1,7 @@
 {
   "version": "1.0",
   "compilerVersion": "1.0.0",
-  "generatedAt": "2026-05-12T19:46:23.268Z",
+  "generatedAt": "2026-05-12T20:42:36.407Z",
   "bundles": [
     {
       "name": "android-guidelines",