resolution-redteamworkflow0
partoa/recad
What it does

Exhaustively red-team resolution logic with compiling fixtures

Best for

Finding subtle compiler/resolver bugs that only manifest across language boundaries and import patterns

Inputs
  • · per-language lenses (Rust, Python, PHP, Go, C#, Java, C++, Ruby, TS, JS, Swift, Kotlin, Scala, Lua)
  • · per-scenario lenses (14 import/resolution patterns)
Outputs
  • · proven bugs array {id, artifact, construct, fixture, probe_cmd, as_is, fix_needed}
  • · updated docs/findings reflecting confirmed-new cases
Requires
  • · cargo/rustc/python/go/csharp/etc (per-language compilers)
  • · recad binary (resolution tool)
  • · git
Preconditions
  • · recad dev binary built
  • · per-language toolchains available
  • · special_names_findings.html and subscription_resolution design readable
Failure modes
  • · Fixture doesn't actually compile (false positive)
  • · Recad behavior not as claimed by probe
  • · Finding already covered (not new)
  • · Race in concurrent compilations/probes
Trust signals
  • · 6-phase Build → Seed → Red-team → Verify → Edit → Deploy
  • · 30+ cycles of red-teaming (not a one-pass audit)
  • · COMPILING fixtures validate construct genuinely reproduces
  • · Per-language and per-scenario lenses exhaustively cover space