security/research: ReDoS guard L1 (#829) é heurística sintática — gap estrutural p/ L2/L3 não-confiável (#865); fortalecer testes + decisão→ADR #1081

Tipo: security/research · enhancement security P3 no-code-yet · filho do #865
Proveniência: off-band (claude.ai, commit 9504bc9) + verificado RO. Item 2 do 00-TRIAGEM. Par com a issue wasmtime (a contenção).

O que JÁ existe (verificado RO)

core/detector.py:_load_regex_overrides (~L719) tem guard ReDoS pra pattern de override de 3º: _has_nested_quantifier (rejeita (a+)+) + try re.compile/except + descarte silencioso + teste tests/test_redos_guard.py. #829 resolveu o L1 (in-process), o único tier de hoje. Não mexer no que funciona.

A lacuna (estrutural, não bug)

_has_nested_quantifier é heurística sintática, não garantia matemática de tempo linear. Não cobre: alternância ambígua ((a|a)*, (a|ab)*c), quantificador contado grande (a{1,1000}{1,1000}), acúmulo de N padrões custosos. Volta a importar no L2/L3 do #865 (sidecar/IPC, API externa) — pattern de 3º chega por outro caminho, talvez sem passar pela mesma validação. O #865 item 3 já pede "timeout duro, cap CPU/mem, sandbox".

Escopo

• Do-now (fortalece L1, sem esperar epic(sdk): formalizar Boar Plugin SDK — contrato agnóstico versionado + fronteira L1/L2/L3 + fail-graceful (plugin = superfície do sidecar) #865): testes de regressão pras categorias perdidas em tests/test_redos_guard.py + revisar cobertura exata de _has_nested_quantifier
• Decisão L2/L3 (quando epic(sdk): formalizar Boar Plugin SDK — contrato agnóstico versionado + fronteira L1/L2/L3 + fail-graceful (plugin = superfície do sidecar) #865 avançar): heurística reaproveitada / timeout duro / engine de tempo linear (rust-regex/RE2 pra pattern não-confiável) → ADR explícito. Contenção = issue wasmtime (par).