@quantakrypto/core 0.4.3 → 0.5.0

package/src/comments.ts

@@ -16,7 +16,7 @@
  */
 import type { Finding } from "./types.js";
 
-export type CommentStyle = "c" | "hash";
+type CommentStyle = "c" | "hash";
 
 /** C-style (line + block) comment languages, by extension. */
 const C_LIKE: readonly string[] = [
@@ -41,45 +41,96 @@ const C_LIKE: readonly string[] = [
   ".cxx",
   ".hpp",
   ".hh",
+  // PHP and Scala also use C-style `//` + `/* */` comments (PHP additionally uses
+  // `#`, handled by the hash lexer running first would miss `//`; C-style covers both
+  // since PHP `//` is the common form and `#` lines are rare in modern PHP).
+  ".php",
+  ".php3",
+  ".php4",
+  ".php5",
+  ".phtml",
+  ".scala",
+  ".sc",
+  ".swift",
+  // Objective-C (.m/.mm) and Dart (.dart) both use C-style `//` + `/* */`.
+  ".m",
+  ".mm",
+  ".dart",
+  // Smart-contract languages (Solidity/Move/Cairo) also use C-style comments.
+  ".sol",
+  ".move",
+  ".cairo",
 ];
 
 /** Hash-style (`#`) comment languages, by extension. */
-const HASH_LIKE: readonly string[] = [".py", ".pyi", ".pyw", ".rb"];
+const HASH_LIKE: readonly string[] = [".py", ".pyi", ".pyw", ".rb", ".ex", ".exs"];
 
 /** The comment style for a file path, or null when we don't strip comments for it. */
-export function commentStyleForFile(file: string): CommentStyle | null {
+function commentStyleForFile(file: string): CommentStyle | null {
   const lower = file.toLowerCase();
   if (C_LIKE.some((e) => lower.endsWith(e))) return "c";
   if (HASH_LIKE.some((e) => lower.endsWith(e))) return "hash";
   return null;
 }
 
+/**
+ * Advance past a string / char literal starting at `content[i]` (a quote char);
+ * returns the index just after it. Two correctness rules a naive escape-scan got
+ * wrong (both verified as real bugs):
+ *   - a `'` char literal must close within a short window (`'\u{10FFFF}'` is ~11
+ *     chars); otherwise it is a Rust lifetime (`'a`) or a stray apostrophe, NOT a
+ *     literal — return `i + 1` so the scan continues instead of consuming the
+ *     rest of the file.
+ *   - Go raw strings (backtick, when `rawBacktick`) do NOT process escapes, so a
+ *     trailing backslash (`` `C:\` ``) must not swallow the closing delimiter.
+ */
+function skipQuoted(content: string, i: number, n: number, rawBacktick: boolean): number {
+  const quote = content[i];
+  if (quote === "'") {
+    const limit = Math.min(n, i + 1 + 12);
+    let j = i + 1;
+    while (j < limit) {
+      if (content[j] === "\\") {
+        j += 2;
+        continue;
+      }
+      if (content[j] === "'") return j + 1;
+      j++;
+    }
+    return i + 1; // a lifetime / stray apostrophe, not a char literal
+  }
+  const escapes = !(quote === "`" && rawBacktick);
+  let j = i + 1;
+  while (j < n) {
+    if (escapes && content[j] === "\\") {
+      j += 2;
+      continue;
+    }
+    if (content[j] === quote) return j + 1;
+    j++;
+  }
+  return n;
+}
+
 /**
  * Compute the comment spans (`[start, end)` offsets) of `content`, skipping over
  * string literals so a comment marker inside a string is not treated as a
- * comment. Spans are returned sorted and non-overlapping.
+ * comment. Spans are returned sorted and non-overlapping. `rawBacktick` (Go)
+ * makes backtick strings raw (no escapes).
  */
-export function commentSpans(content: string, style: CommentStyle): Array<[number, number]> {
+export function commentSpans(
+  content: string,
+  style: CommentStyle,
+  rawBacktick = false,
+): Array<[number, number]> {
   const spans: Array<[number, number]> = [];
   const n = content.length;
   let i = 0;
   while (i < n) {
     const c = content[i];
-    // String / template literal: skip to the matching unescaped delimiter.
+    // String / char literal: skip past it (lexically correct for lifetimes + raw strings).
     if (c === '"' || c === "'" || c === "`") {
-      const quote = c;
-      i++;
-      while (i < n) {
-        if (content[i] === "\\") {
-          i += 2;
-          continue;
-        }
-        if (content[i] === quote) {
-          i++;
-          break;
-        }
-        i++;
-      }
+      i = skipQuoted(content, i, n, rawBacktick);
       continue;
     }
     if (style === "c" && c === "/" && content[i + 1] === "/") {
@@ -117,7 +168,7 @@ export function commentSpans(content: string, style: CommentStyle): Array<[numbe
  * exempts `pem-*` rules. Comments and normal strings are skipped so a `"""`
  * delimiter inside them is not mis-detected.
  */
-export function pythonDocstringSpans(content: string): Array<[number, number]> {
+function pythonDocstringSpans(content: string): Array<[number, number]> {
   const spans: Array<[number, number]> = [];
   const n = content.length;
   let i = 0;
@@ -158,7 +209,7 @@ export function pythonDocstringSpans(content: string): Array<[number, number]> {
 }
 
 /** True if `offset` falls inside one of the (sorted, non-overlapping) spans. */
-export function offsetInSpans(spans: ReadonlyArray<[number, number]>, offset: number): boolean {
+function offsetInSpans(spans: ReadonlyArray<[number, number]>, offset: number): boolean {
   let lo = 0;
   let hi = spans.length - 1;
   while (lo <= hi) {
@@ -179,7 +230,7 @@ export function offsetInSpans(spans: ReadonlyArray<[number, number]>, offset: nu
  * it is language-agnostic. `qscan-ignore-line` is not a substring of
  * `qscan-ignore-next-line`, so the two never collide.
  */
-export function ignoredLines(content: string): Set<number> {
+function ignoredLines(content: string): Set<number> {
   const ignored = new Set<number>();
   const lines = content.split("\n");
   for (let i = 0; i < lines.length; i++) {
@@ -210,7 +261,7 @@ export function stripCommentFindings(
   if (findings.length === 0) return findings;
   const style = commentStyleForFile(file);
   if (!style) return findings;
-  const spans = commentSpans(content, style);
+  const spans = commentSpans(content, style, /\.go$/i.test(file));
   // Python docstrings suppress prose *token* rules but keep real PEM material.
   const docSpans = style === "hash" ? pythonDocstringSpans(content) : [];
   if (spans.length === 0 && docSpans.length === 0) return findings;
@@ -239,7 +290,11 @@ export function stripCommentFindings(
  * suppress findings from IDENTIFIER-only rules (e.g. a Go `SigningMethodRS256`
  * mentioned inside an error-message string) — the mirror of {@link commentSpans}.
  */
-export function stringSpans(content: string, style: CommentStyle): Array<[number, number]> {
+export function stringSpans(
+  content: string,
+  style: CommentStyle,
+  rawBacktick = false,
+): Array<[number, number]> {
   const spans: Array<[number, number]> = [];
   const n = content.length;
   let i = 0;
@@ -262,21 +317,11 @@ export function stringSpans(content: string, style: CommentStyle): Array<[number
       continue;
     }
     if (c === '"' || c === "'" || c === "`") {
-      const quote = c;
       const start = i;
-      i++;
-      while (i < n) {
-        if (content[i] === "\\") {
-          i += 2;
-          continue;
-        }
-        if (content[i] === quote) {
-          i++;
-          break;
-        }
-        i++;
-      }
-      spans.push([start, i]);
+      const end = skipQuoted(content, i, n, rawBacktick);
+      // A lone `'` (Rust lifetime, end === start+1) is not a string; skip it.
+      if (c !== "'" || end > start + 1) spans.push([start, end]);
+      i = end;
       continue;
     }
     i++;
@@ -302,7 +347,7 @@ export function stripStringLiteralFindings(
   if (findings.length === 0 || !findings.some((f) => ruleIds.has(f.ruleId))) return findings;
   const style = commentStyleForFile(file);
   if (!style) return findings;
-  const spans = stringSpans(content, style);
+  const spans = stringSpans(content, style, /\.go$/i.test(file));
   if (spans.length === 0) return findings;
 
   const lineStarts: number[] = [0];

package/src/dependencies.ts

@@ -501,7 +501,8 @@ export const vulnerableDependencies: VulnerableDependency[] = [
   {
     name: "github.com/cloudflare/circl",
     ecosystem: "go",
-    reason: "Cloudflare CIRCL — classical ECDH/EdDSA curves (X25519, X448, Ed25519, P-256).",
+    reason:
+      "Cloudflare CIRCL — classical ECDH/EdDSA curves (X25519, X448, Ed25519, P-256); also ships PQC (ML-KEM/ML-DSA + hybrids), so migrate the classical *usage*, not the package.",
     algorithms: ["ECDH", "EdDSA"],
     severity: "medium",
   },

package/src/detect-utils.ts

@@ -14,7 +14,7 @@ import type {
 import { remediationText } from "./remediation.js";
 
 /** A 1-based line/column position derived from a character offset. */
-export interface LineCol {
+interface LineCol {
   line: number;
   column: number;
 }
@@ -62,14 +62,14 @@ function lineIndexFor(starts: readonly number[], offset: number): number {
  * line/column. Newlines are LF; CR is treated as an ordinary character, so on
  * CRLF files the column includes the trailing CR offset harmlessly.
  */
-export function offsetToLineCol(content: string, offset: number): LineCol {
+function offsetToLineCol(content: string, offset: number): LineCol {
   const starts = lineStartsFor(content);
   const idx = lineIndexFor(starts, offset);
   return { line: idx + 1, column: offset - starts[idx] + 1 };
 }
 
 /** Extract the (trimmed) single source line containing `offset`. */
-export function lineAt(content: string, offset: number): string {
+function lineAt(content: string, offset: number): string {
   const starts = lineStartsFor(content);
   const idx = lineIndexFor(starts, offset);
   const start = starts[idx];
@@ -80,7 +80,7 @@ export function lineAt(content: string, offset: number): string {
 }
 
 /** Inputs for {@link makeFinding}. */
-export interface FindingSpec {
+interface FindingSpec {
   ruleId: string;
   title: string;
   category: FindingCategory;
@@ -146,7 +146,7 @@ export function makeFinding(spec: FindingSpec): Finding {
 }
 
 /** Where a match occurred, plus optional per-finding field overrides. */
-export interface RuleMatch {
+interface RuleMatch {
   file: string;
   content: string;
   /** Match start offset within `content`. */
@@ -160,7 +160,7 @@ export interface RuleMatch {
  * rules (e.g. key generation across algorithm families) override these; fixed
  * rules pass none and inherit the catalog metadata verbatim.
  */
-export type RuleOverrides = Partial<
+type RuleOverrides = Partial<
   Pick<
     RuleMeta,
     "title" | "category" | "severity" | "confidence" | "algorithm" | "hndl" | "message" | "cwe"
@@ -223,7 +223,10 @@ export const PYTHON_EXTENSIONS: readonly string[] = [".py", ".pyi", ".pyw"];
 export const GO_EXTENSIONS: readonly string[] = [".go"];
 
 /** Java / Kotlin source extensions handled by the JCA detector. */
-export const JAVA_EXTENSIONS: readonly string[] = [".java", ".kt", ".kts"];
+// The JVM detector also covers Kotlin (`.kt`/`.kts`) and Scala (`.scala`/`.sc`):
+// all three compile against the same JCA (`KeyPairGenerator`, `Signature`,
+// `KeyAgreement`) and BouncyCastle APIs the Java rules match.
+export const JAVA_EXTENSIONS: readonly string[] = [".java", ".kt", ".kts", ".scala", ".sc"];
 
 /** C# source extensions handled by the .NET detector. */
 export const CSHARP_EXTENSIONS: readonly string[] = [".cs"];
@@ -234,9 +237,27 @@ export const RUST_EXTENSIONS: readonly string[] = [".rs"];
 /** Ruby source extensions handled by the Ruby detector. */
 export const RUBY_EXTENSIONS: readonly string[] = [".rb"];
 
+/** Elixir source extensions handled by the Elixir detector. */
+export const ELIXIR_EXTENSIONS: readonly string[] = [".ex", ".exs"];
+
+/** PHP source extensions handled by the PHP detector. */
+export const PHP_EXTENSIONS: readonly string[] = [".php", ".phtml", ".php3", ".php4", ".php5"];
+
 /** C / C++ source extensions handled by the OpenSSL detector. */
 export const C_EXTENSIONS: readonly string[] = [".c", ".h", ".cc", ".cpp", ".cxx", ".hpp", ".hh"];
 
+/** Swift source extensions handled by the CryptoKit / Security-framework detector. */
+export const SWIFT_EXTENSIONS: readonly string[] = [".swift"];
+
+/** Objective-C implementation extensions (`.h` is owned by the C pack). */
+export const OBJC_EXTENSIONS: readonly string[] = [".m", ".mm"];
+
+/** Dart / Flutter source extensions. */
+export const DART_EXTENSIONS: readonly string[] = [".dart"];
+
+/** Smart-contract source extensions (Solidity/EVM, Move, Cairo/Starknet). */
+export const SMART_CONTRACT_EXTENSIONS: readonly string[] = [".sol", ".move", ".cairo"];
+
 /**
  * Prose/documentation extensions. The language-agnostic *token* detectors (SSH
  * public keys, TLS cipher suites, certificate signature algorithms) must not run
@@ -273,6 +294,9 @@ export const JWT_HOST_EXTENSIONS: readonly string[] = [
   ...PYTHON_EXTENSIONS,
   ...GO_EXTENSIONS,
   ...RUBY_EXTENSIONS,
+  // PHP's firebase/php-jwt passes the alg as a quoted token (`'RS256'`, `'ES256'`),
+  // the same shape RE_JWT_ALG matches — so PHP files are in scope for it too.
+  ...PHP_EXTENSIONS,
 ];
 
 /**
@@ -291,7 +315,13 @@ export const ANALYZABLE_SOURCE_EXTENSIONS: readonly string[] = [
   ...CSHARP_EXTENSIONS,
   ...RUST_EXTENSIONS,
   ...RUBY_EXTENSIONS,
+  ...PHP_EXTENSIONS,
+  ...ELIXIR_EXTENSIONS,
   ...C_EXTENSIONS,
+  ...SWIFT_EXTENSIONS,
+  ...OBJC_EXTENSIONS,
+  ...DART_EXTENSIONS,
+  ...SMART_CONTRACT_EXTENSIONS,
 ];
 
 /**
@@ -299,7 +329,8 @@ export const ANALYZABLE_SOURCE_EXTENSIONS: readonly string[] = [
  * crypto, shown in coverage output. Kept next to {@link
  * ANALYZABLE_SOURCE_EXTENSIONS} so a new language pack updates one place.
  */
-export const ANALYZABLE_LANGUAGES_LABEL = "JS/TS, Python, Go, Java, C#, Rust, Ruby, C/C++";
+export const ANALYZABLE_LANGUAGES_LABEL =
+  "JS/TS, Python, Go, Java/Kotlin/Scala, C#, Rust, Ruby, PHP, Elixir, C/C++, Swift, Objective-C, Dart, Solidity/Move/Cairo";
 
 /** True when a path is in a source language the scanner can analyze for crypto. */
 export function isAnalyzableSource(filePath: string): boolean {
@@ -307,10 +338,13 @@ export function isAnalyzableSource(filePath: string): boolean {
 }
 
 /**
- * Given a SORTED ascending array of call offsets, return true when `idx` is at
- * or after some call offset `c` with `idx - c < window`. Runs in O(log n) by
- * binary-searching the largest call offset ≤ `idx` and checking the gap. This
- * replaces the previous O(matches × calls) linear scan (`nearCall`).
+ * Given a SORTED ascending array of call offsets, return true when `idx` is at or
+ * after some call offset `c` with `idx - c < window`. Deliberately ONE-SIDED
+ * (forward only): the WebCrypto algorithm name follows the `subtle.*(` call it
+ * belongs to, and reaching backward would wrongly attribute an UNRELATED earlier
+ * call's argument (e.g. a Node `generateKeyPairSync('rsa-pss', …)` sitting a few
+ * lines above a subtle call) to the wrong API. Runs in O(log n) by binary-searching
+ * the largest call offset ≤ `idx` and checking the gap.
  */
 export function nearSortedCall(
   sortedCalls: readonly number[],
@@ -351,3 +385,103 @@ export function eachMatch(
     if (m.index === g.lastIndex) g.lastIndex++; // avoid infinite loop on empty match
   }
 }
+
+/**
+ * Return the innermost `{ … }` object that contains `index`, as a substring — so a
+ * per-match check (e.g. a JWK's own `use`/`alg`, or whether an `alg` sits inside a
+ * JWK) analyses ONLY that object and can't be contaminated by a neighbouring object
+ * in a packed array. The scan is STRING-AWARE (braces and quotes inside JSON string
+ * values, honouring `\"`, are ignored), so a value like `"a}b{c"` can't mis-scope the
+ * object. Bounded by `maxSpan` each way so a pathological input can't blow up; falls
+ * back to a bounded ±window when no enclosing object is found in range.
+ */
+export function enclosingObject(content: string, index: number, maxSpan = 4000): string {
+  const lo = Math.max(0, index - maxSpan);
+  const hi = Math.min(content.length, index + maxSpan);
+  const stack: number[] = []; // positions of currently-open `{`
+  let inStr = false;
+  let esc = false;
+  let enclosingOpen = -1; // innermost `{` open at `index`
+  for (let i = lo; i < hi; i++) {
+    const c = content[i];
+    if (inStr) {
+      if (esc) esc = false;
+      else if (c === "\\") esc = true;
+      else if (c === '"') inStr = false;
+    } else if (c === '"') {
+      inStr = true;
+    } else if (c === "{") {
+      stack.push(i);
+    } else if (c === "}") {
+      const open = stack.pop();
+      if (open !== undefined && open === enclosingOpen) {
+        return content.slice(enclosingOpen, i + 1); // closed the enclosing object
+      }
+    }
+    if (i === index && enclosingOpen < 0 && stack.length > 0) {
+      enclosingOpen = stack[stack.length - 1];
+    }
+  }
+  // No complete enclosing object in range: if we found an (unclosed) enclosing open
+  // brace, return from it to hi. Otherwise the token is not inside any object (top-level
+  // token / brace-less config like YAML) — return a bounded ±250 window, NOT the full
+  // forward span, so a `"kty"` far AFTER the token can't pull an unrelated JWK into
+  // scope and over-suppress a legitimate standalone finding.
+  if (enclosingOpen >= 0) return content.slice(enclosingOpen, hi);
+  return content.slice(Math.max(0, index - 250), Math.min(content.length, index + 250));
+}
+
+/**
+ * Blank out FULL-LINE comments so a commented-out directive isn't reported as an
+ * active setting. A line counts as a comment when its first non-whitespace characters
+ * match one of `markers` (e.g. `#`, `//`, `;`, `!`). Each such line's characters are
+ * replaced with spaces of the SAME length (newlines preserved), so every byte offset
+ * is unchanged — the finding line/column/snippet for the non-comment lines that remain
+ * stay exactly correct. Inline trailing comments are intentionally left alone (the
+ * directive before them is still active, so it should still be flagged).
+ *
+ * Config detectors run their rules over the masked content; matches can then only land
+ * on live config, not on commented examples (mosquitto.conf, CI YAML, ipsec.conf, and
+ * HCL all conventionally ship large blocks of commented-out directives).
+ */
+export function maskCommentLines(content: string, markers: readonly string[]): string {
+  if (markers.length === 0) return content;
+  const lines = content.split("\n");
+  for (let i = 0; i < lines.length; i++) {
+    const line = lines[i];
+    const lead = line.trimStart();
+    if (lead !== "" && markers.some((mk) => lead.startsWith(mk))) {
+      lines[i] = " ".repeat(line.length);
+    }
+  }
+  return lines.join("\n");
+}
+
+/**
+ * Blank out C-style block comments (the `slash-star … star-slash` form, multi-line
+ * included), replacing every
+ * character with a space and preserving newlines so byte offsets — and therefore
+ * finding line/column — stay exact. Complements {@link maskCommentLines}, which only
+ * masks whole single-line comments: an HCL/Bicep resource wrapped in a block comment
+ * has its inner lines mid-block (they don't START with `/*`), so a line-only masker
+ * leaves them live. Not string-aware — a literal `/*` inside a config string value is
+ * rare and, for these token detectors, a tolerable over-mask.
+ */
+export function maskBlockComments(content: string): string {
+  if (!content.includes("/*")) return content;
+  const out: string[] = [];
+  let i = 0;
+  const n = content.length;
+  while (i < n) {
+    if (content[i] === "/" && content[i + 1] === "*") {
+      const end = content.indexOf("*/", i + 2);
+      const stop = end === -1 ? n : end + 2;
+      for (let j = i; j < stop; j++) out.push(content[j] === "\n" ? "\n" : " ");
+      i = stop;
+    } else {
+      out.push(content[i]);
+      i++;
+    }
+  }
+  return out.join("");
+}

package/src/detectors/age.ts

@@ -0,0 +1,60 @@
+/**
+ * Config detector: age IDENTITY (private) keys committed to disk. The secrets
+ * detector flags age *recipients* (`age1…` public keys); this flags the far worse
+ * case — an `AGE-SECRET-KEY-1…` private identity checked into a repo or config.
+ * age identities are X25519 secret keys: a classical key-agreement secret that,
+ * once leaked or committed, lets an attacker decrypt every age-wrapped payload
+ * addressed to it (harvest-now-decrypt-later, and retroactively un-fixable if the
+ * ciphertext is already in git history).
+ *
+ * The matched value IS the private key, so it is marked sensitive and reporters
+ * drop the snippet.
+ */
+import type { Detector, Finding, RuleMeta } from "../types.js";
+import { eachMatch, findingFromRule } from "../detect-utils.js";
+import { CWE_HARDCODED_KEY } from "../cwe.js";
+
+// age secret keys are Bech32 in uppercase: `AGE-SECRET-KEY-1` + data part.
+const RE_AGE_SECRET = /\bAGE-SECRET-KEY-1[0-9A-Z]{50,}\b/g;
+
+const RULE_AGE_SECRET: RuleMeta = {
+  id: "age-secret-key",
+  title: "age identity (X25519 private key)",
+  description: "An age AGE-SECRET-KEY-1 private identity key committed to disk",
+  category: "key-exchange",
+  severity: "high",
+  confidence: "high",
+  algorithm: "X25519",
+  hndl: true,
+  cwe: CWE_HARDCODED_KEY,
+  sensitive: true,
+  message:
+    "An age identity (X25519 private key) is committed to disk; every age-wrapped payload addressed to it is decryptable by anyone with this key, and the exposure is retroactive if the ciphertext is already in git history.",
+  remediation:
+    "Rotate the age identity and re-encrypt affected data; move the private key to a secret manager. Plan for a post-quantum KEM (ML-KEM) recipient when available.",
+};
+
+/** Detects committed age identity (private) keys. */
+export const ageDetector: Detector = {
+  id: "age-identity",
+  description: "Committed age identity (X25519 private) keys",
+  scope: "config",
+  language: "any",
+  rules: [RULE_AGE_SECRET],
+  appliesTo: () => true,
+  detect({ file, content }): Finding[] {
+    if (!content.includes("AGE-SECRET-KEY-1")) return [];
+    const findings: Finding[] = [];
+    eachMatch(RE_AGE_SECRET, content, (m) =>
+      findings.push(
+        findingFromRule(RULE_AGE_SECRET, {
+          file,
+          content,
+          index: m.index,
+          matchLength: m[0].length,
+        }),
+      ),
+    );
+    return findings;
+  },
+};

package/src/detectors/ansible.ts

@@ -0,0 +1,140 @@
+/**
+ * Config detector: classical asymmetric keys provisioned by Ansible's
+ * `community.crypto` collection. Playbooks that mint TLS/SSH key material with
+ * `openssl_privatekey` / `openssl_csr` / `x509_certificate` provision real
+ * classical keys the language packs never see — the IaC surface, in YAML.
+ *
+ * Gated to a `community.crypto` / `openssl_privatekey` marker so a bare
+ * `type: RSA` in unrelated YAML does not fire.
+ */
+import type { Detector, Finding, RuleMeta } from "../types.js";
+import { eachMatch, findingFromRule, hasExtension, maskCommentLines } from "../detect-utils.js";
+import { CWE_BROKEN_CRYPTO } from "../cwe.js";
+
+const YAML_EXTENSIONS: readonly string[] = [".yml", ".yaml"];
+
+const RE_ANSIBLE_RSA = /\btype:\s*["']?RSA\b/g;
+const RE_ANSIBLE_ECC = /\btype:\s*["']?ECC\b/g;
+// community.crypto also supports these `type:` values, all classical.
+const RE_ANSIBLE_EDDSA = /\btype:\s*["']?Ed(?:25519|448)\b/g;
+const RE_ANSIBLE_XDH = /\btype:\s*["']?X(?:25519|448)\b/g;
+const RE_ANSIBLE_DSA = /\btype:\s*["']?DSA\b/g;
+
+const RULE_ANSIBLE_RSA: RuleMeta = {
+  id: "ansible-openssl-rsa",
+  title: "Ansible community.crypto RSA key",
+  description: "Ansible community.crypto openssl_privatekey/csr with type: RSA",
+  category: "kem",
+  severity: "medium",
+  confidence: "high",
+  algorithm: "RSA",
+  hndl: true,
+  cwe: CWE_BROKEN_CRYPTO,
+  message: "Ansible provisions a classical RSA key (community.crypto), which is not quantum-safe.",
+  remediation:
+    "Plan migration to PQC keys (ML-KEM-768 / ML-DSA-65) as the collection adds support.",
+};
+const RULE_ANSIBLE_ECC: RuleMeta = {
+  id: "ansible-openssl-ecc",
+  title: "Ansible community.crypto EC key",
+  description: "Ansible community.crypto openssl_privatekey/csr with type: ECC",
+  category: "key-exchange",
+  severity: "medium",
+  confidence: "high",
+  algorithm: "ECDH",
+  hndl: true,
+  cwe: CWE_BROKEN_CRYPTO,
+  message:
+    "Ansible provisions a classical EC key (community.crypto); EC keys feed ECDSA signatures and ECDH key agreement (the ECDH path is harvest-now-decrypt-later exposed).",
+  remediation:
+    "For key agreement: hybrid X25519MLKEM768 (ML-KEM-768). For signatures: ML-DSA-65 (FIPS 204).",
+};
+
+const RULE_ANSIBLE_EDDSA: RuleMeta = {
+  id: "ansible-openssl-eddsa",
+  title: "Ansible community.crypto Ed25519/Ed448 key",
+  description: "Ansible community.crypto openssl_privatekey with type: Ed25519/Ed448",
+  category: "signature",
+  severity: "medium",
+  confidence: "high",
+  algorithm: "EdDSA",
+  hndl: false,
+  cwe: CWE_BROKEN_CRYPTO,
+  message:
+    "Ansible provisions a classical Ed25519/Ed448 key (community.crypto), forgeable by a quantum attacker.",
+  remediation: "ML-DSA-65 (FIPS 204) or SLH-DSA (FIPS 205).",
+};
+const RULE_ANSIBLE_XDH: RuleMeta = {
+  id: "ansible-openssl-xdh",
+  title: "Ansible community.crypto X25519/X448 key",
+  description: "Ansible community.crypto openssl_privatekey with type: X25519/X448",
+  category: "key-exchange",
+  severity: "medium",
+  confidence: "high",
+  algorithm: "X25519",
+  hndl: true,
+  cwe: CWE_BROKEN_CRYPTO,
+  message:
+    "Ansible provisions a classical X25519/X448 key-agreement key (community.crypto), which is harvest-now-decrypt-later exposed.",
+  remediation: "Migrate key agreement to hybrid X25519MLKEM768 (ML-KEM-768).",
+};
+const RULE_ANSIBLE_DSA: RuleMeta = {
+  id: "ansible-openssl-dsa",
+  title: "Ansible community.crypto DSA key (deprecated)",
+  description: "Ansible community.crypto openssl_privatekey with type: DSA",
+  category: "signature",
+  severity: "medium",
+  confidence: "high",
+  algorithm: "DSA",
+  hndl: false,
+  cwe: CWE_BROKEN_CRYPTO,
+  message:
+    "Ansible provisions a classical DSA key (community.crypto); deprecated and forgeable by a quantum attacker.",
+  remediation: "Rotate off DSA today; migrate to ML-DSA-65 (FIPS 204).",
+};
+
+/** Detects classical asymmetric keys provisioned by Ansible community.crypto. */
+export const ansibleDetector: Detector = {
+  id: "ansible-crypto",
+  description: "Classical asymmetric keys provisioned by Ansible community.crypto",
+  scope: "config",
+  language: "any",
+  rules: [
+    RULE_ANSIBLE_RSA,
+    RULE_ANSIBLE_ECC,
+    RULE_ANSIBLE_EDDSA,
+    RULE_ANSIBLE_XDH,
+    RULE_ANSIBLE_DSA,
+  ],
+  appliesTo: (f) => hasExtension(f, YAML_EXTENSIONS),
+  detect({ file, content }): Finding[] {
+    // Gate: only inside a community.crypto / openssl_privatekey context.
+    if (!content.includes("community.crypto") && !content.includes("openssl_privatekey")) return [];
+    // YAML `#` comments are not active settings; match over comment-masked content
+    // (offsets preserved) so a `# type: RSA` note does not fire.
+    const scan = maskCommentLines(content, ["#"]);
+    const findings: Finding[] = [];
+    const add = (re: RegExp, rule: RuleMeta) =>
+      eachMatch(re, scan, (m) =>
+        findings.push(
+          findingFromRule(rule, { file, content, index: m.index, matchLength: m[0].length }),
+        ),
+      );
+    add(RE_ANSIBLE_RSA, RULE_ANSIBLE_RSA);
+    add(RE_ANSIBLE_ECC, RULE_ANSIBLE_ECC);
+    add(RE_ANSIBLE_EDDSA, RULE_ANSIBLE_EDDSA);
+    // Report the matched curve's own algorithm (X448 vs X25519) instead of the rule's
+    // default label.
+    eachMatch(RE_ANSIBLE_XDH, scan, (m) =>
+      findings.push(
+        findingFromRule(
+          RULE_ANSIBLE_XDH,
+          { file, content, index: m.index, matchLength: m[0].length },
+          m[0].includes("448") ? { algorithm: "X448" } : undefined,
+        ),
+      ),
+    );
+    add(RE_ANSIBLE_DSA, RULE_ANSIBLE_DSA);
+    return findings;
+  },
+};