@backbencher/brain 0.0.0-stage → 0.1.0

package/docs/data/m10-benchmark-last-run.json

@@ -0,0 +1,127 @@
+{
+  "schemaVersion": 1,
+  "generatedAt": "2026-10-16T19:08:49.894Z",
+  "fixture": "contract-fixture",
+  "measurements": [
+    {
+      "name": "bb_search_symbol",
+      "ms": 28.22,
+      "budget": 400,
+      "pass": true
+    },
+    {
+      "name": "bb_search_content",
+      "ms": 69.44,
+      "budget": 500,
+      "pass": true
+    },
+    {
+      "name": "bb_ask_stat",
+      "ms": 28.58,
+      "budget": 300,
+      "pass": true
+    },
+    {
+      "name": "bb_ask_semantic",
+      "ms": 463.76,
+      "budget": 2500,
+      "pass": true
+    },
+    {
+      "name": "bb_analyze_graph",
+      "ms": 118.15,
+      "budget": 400,
+      "pass": true
+    },
+    {
+      "name": "bb_analyze_impact",
+      "ms": 62.36,
+      "budget": 400,
+      "pass": true
+    },
+    {
+      "name": "bb_analyze_stats",
+      "ms": 11.86,
+      "budget": 400,
+      "pass": true
+    },
+    {
+      "name": "bb_analyze_complexity",
+      "ms": 21.28,
+      "budget": 400,
+      "pass": true
+    },
+    {
+      "name": "bb_analyze_dependencies",
+      "ms": 12.64,
+      "budget": 400,
+      "pass": true
+    },
+    {
+      "name": "bb_patterns_orphaned",
+      "ms": 20.48,
+      "budget": 600,
+      "pass": true
+    },
+    {
+      "name": "bb_security_taint",
+      "ms": 39.39,
+      "budget": 1200,
+      "pass": true
+    },
+    {
+      "name": "bb_analyze_testMapping",
+      "ms": 10.48,
+      "budget": 400,
+      "pass": true
+    },
+    {
+      "name": "bb_analyze_testGaps",
+      "ms": 8.16,
+      "budget": 400,
+      "pass": true
+    },
+    {
+      "name": "bb_analyze_testImpact",
+      "ms": 92.44,
+      "budget": 400,
+      "pass": true
+    },
+    {
+      "name": "bb_analyze_testQuality",
+      "ms": 47.33,
+      "budget": 400,
+      "pass": true
+    },
+    {
+      "name": "bb_history_lookup",
+      "ms": 37.94,
+      "budget": 300,
+      "pass": true
+    }
+  ],
+  "budgetViolations": [],
+  "summary": {
+    "toolCount": 16,
+    "toolNames": [
+      "bb_analyze",
+      "bb_annotate",
+      "bb_annotations",
+      "bb_ask",
+      "bb_cross_language",
+      "bb_doc",
+      "bb_edit",
+      "bb_graph",
+      "bb_health",
+      "bb_impact",
+      "bb_index",
+      "bb_migrate",
+      "bb_patterns",
+      "bb_search",
+      "bb_security",
+      "bb_visualize"
+    ],
+    "measurementCount": 16,
+    "violationCount": 0
+  }
+}

package/docs/data/m10-final-audit.json

@@ -0,0 +1,215 @@
+{
+  "schemaVersion": 1,
+  "milestone": "M10",
+  "issue": 115,
+  "generatedAt": "2026-08-10",
+  "releaseDecision": "ready",
+  "releaseVersion": "0.3.0",
+  "issues": [
+    {
+      "order": 1,
+      "issue": 116,
+      "title": "Freeze evidence and contract baseline",
+      "status": "closed",
+      "commit": "06086ca",
+      "artifacts": [
+        "docs/M10-CONTRACT-BASELINE.md",
+        "docs/data/m10-baseline.json",
+        "docs/M10-DISPOSITION-LEDGER.md"
+      ],
+      "verifiers": ["script/verify-m10-baseline.ts"]
+    },
+    {
+      "order": 2,
+      "issue": 118,
+      "title": "Define canonical evidence taxonomy and provenance contracts",
+      "status": "closed",
+      "commit": "8714980",
+      "artifacts": [
+        "src/intelligence/evidence.ts",
+        "src/intelligence/contracts.ts"
+      ],
+      "verifiers": ["script/verify-evidence-governance.ts"]
+    },
+    {
+      "order": 3,
+      "issue": 113,
+      "title": "Consolidate canonical intelligence engines and public adapters",
+      "status": "closed",
+      "commit": "19d9bdd",
+      "artifacts": [
+        "docs/M10-INTELLIGENCE-OWNERSHIP.md",
+        "src/intelligence/search/quick-answer.ts"
+      ],
+      "fixtures": ["script/fixtures/contract-fixture.ts"],
+      "verifiers": ["script/verify-intelligence-consolidation.ts"]
+    },
+    {
+      "order": 4,
+      "issue": 117,
+      "title": "Govern analysis runs, finding identity, and reproducibility",
+      "status": "closed",
+      "commit": "74cacde",
+      "artifacts": [
+        "docs/M10-ANALYSIS-GOVERNANCE.md",
+        "src/intelligence/analysis/run-history.ts"
+      ],
+      "verifiers": ["script/verify-analysis-governance.ts"]
+    },
+    {
+      "order": 5,
+      "issue": 114,
+      "title": "Establish correctness and performance regression budgets",
+      "status": "closed",
+      "commit": "7e8df02",
+      "artifacts": [
+        "docs/M10-BENCHMARKS.md",
+        "docs/data/m10-benchmark-baseline.json",
+        "docs/data/m10-benchmark-last-run.json"
+      ],
+      "fixtures": ["script/fixtures/contract-fixture.ts"],
+      "verifiers": ["script/verify-m10-benchmarks.ts"]
+    },
+    {
+      "order": 6,
+      "issue": 121,
+      "title": "Prove deletion and quarantine safety for legacy intelligence",
+      "status": "closed",
+      "commit": "032a093",
+      "artifacts": [
+        "docs/M10-DELETION-LEDGER.md",
+        "docs/M10-DISPOSITION-LEDGER.md"
+      ],
+      "verifiers": ["script/verify-deletion-safety.ts"]
+    },
+    {
+      "order": 7,
+      "issue": 120,
+      "title": "Re-verify and preserve the public CLI/MCP contracts",
+      "status": "closed",
+      "commit": "c18b821",
+      "artifacts": [
+        "docs/M10-PUBLIC-CONTRACT-ATTESTATION.md",
+        "docs/data/m10-baseline.json"
+      ],
+      "verifiers": [
+        "script/verify-contract-diff.ts",
+        "script/verify-public-surface.ts",
+        "script/verify-contracts.ts",
+        "script/verify-cli-surface.ts",
+        "script/verify-mcp.ts",
+        "script/verify-mcp-e2e.ts"
+      ]
+    },
+    {
+      "order": 8,
+      "issue": 115,
+      "title": "Final evidence audit and release-readiness decision",
+      "status": "ready_to_close",
+      "commit": "audit-commit-containing-this-artifact",
+      "artifacts": [
+        "docs/M10-FINAL-AUDIT.md",
+        "docs/data/m10-final-audit.json"
+      ],
+      "verifiers": ["script/verify-m10-final-audit.ts"]
+    }
+  ],
+  "publicContract": {
+    "baseline": "docs/data/m10-baseline.json",
+    "changed": false,
+    "toolCount": 10,
+    "aliases": 0,
+    "deprecatedDescriptors": 0,
+    "libraryExportCount": 21,
+    "cliCommands": ["index", "search", "health", "mcp", "tool", "--version"]
+  },
+  "correctness": {
+    "regressions": 0,
+    "fixture": "script/fixtures/contract-fixture.ts",
+    "verifier": "script/verify-m10-benchmarks.ts",
+    "result": "pass"
+  },
+  "performance": {
+    "baseline": "docs/data/m10-benchmark-baseline.json",
+    "lastRun": "docs/data/m10-benchmark-last-run.json",
+    "measurementCount": 16,
+    "passed": 16,
+    "violations": 0,
+    "result": "pass"
+  },
+  "deletion": {
+    "ledger": "docs/M10-DELETION-LEDGER.md",
+    "removedLinesNet": 5453,
+    "removedNamespaces": [
+      "AdvancedBrainTools",
+      "TestIntelligenceBrainTools",
+      "revolutionaryArchitectureIntelligence"
+    ],
+    "unsupportedClaimMarkersAbsent": [
+      "WORLD'S FIRST",
+      "No other tool in the world",
+      "BREAKTHROUGH"
+    ],
+    "result": "pass"
+  },
+  "runtimeEvidence": {
+    "bunSource": [
+      "script/verify-public-surface.ts",
+      "script/verify-contract-diff.ts",
+      "script/verify-mcp-e2e.ts"
+    ],
+    "compiledNode": [
+      "script/verify-integration-runtime.ts",
+      "npm run build"
+    ],
+    "result": "pass"
+  },
+  "requiredGates": [
+    "npm run typecheck",
+    "npm run build",
+    "npm run docs:verify",
+    "npm run verify",
+    "git diff --check"
+  ],
+  "m10Verifiers": [
+    "script/verify-m10-governance.ts",
+    "script/verify-m10-baseline.ts",
+    "script/verify-evidence-governance.ts",
+    "script/verify-intelligence-consolidation.ts",
+    "script/verify-analysis-governance.ts",
+    "script/verify-m10-benchmarks.ts",
+    "script/verify-deletion-safety.ts",
+    "script/verify-contract-diff.ts",
+    "script/verify-m10-final-audit.ts"
+  ],
+  "residualRisks": [
+    {
+      "id": "R1",
+      "status": "accepted",
+      "severity": "low",
+      "description": "BrainTools.searchCode remains as a thin delegating compatibility alias for out-of-tree library consumers."
+    },
+    {
+      "id": "R2",
+      "status": "accepted",
+      "severity": "medium",
+      "description": "Static evidence cannot prove runtime execution coverage; test intelligence reports this limitation explicitly."
+    },
+    {
+      "id": "R3",
+      "status": "accepted",
+      "severity": "medium",
+      "description": "Heuristic orphan, security, complexity, and impact analysis can produce false positives and false negatives."
+    },
+    {
+      "id": "R4",
+      "status": "accepted",
+      "severity": "low",
+      "description": "Benchmark measurements are fixture-local upper-bound SLO checks, not cross-machine performance guarantees."
+    }
+  ],
+  "claimsPolicy": {
+    "unsupportedClaimsPresentedAsProven": false,
+    "statement": "Unsupported claims are not presented as proven. Every M10 intelligence result carries evidence provenance and explicit limitations where applicable."
+  }
+}

package/docs/data/m12-final-audit.json

@@ -0,0 +1,138 @@
+{
+  "schemaVersion": 1,
+  "milestone": "M12",
+  "issue": 182,
+  "generatedAt": "2026-08-20",
+  "releaseDecision": "ready",
+  "releaseVersion": "0.3.0",
+  "advertisedLanguages": 41,
+  "issues": [
+    { "order": 1, "issue": 140, "title": "Foundation — per-analyzer verification harness, regex census, and governance", "status": "closed", "commit": "1f6fdd1", "artifacts": ["script/m12/verify-analyzer.ts", "script/m12/regex-census.ts", "script/m12/regex-census-core.ts", "script/m12/verify-regex-census.ts"], "verifiers": ["script/m12/verify-analyzer.ts", "script/m12/verify-regex-census.ts"] },
+    { "order": 2, "issue": 141, "title": "Perfect Java extraction", "status": "closed", "commit": "b5e2f07", "artifacts": ["src/ast/real-java-analyzer.ts", "validation/m12/fixtures/java", "validation/m12/ground-truth/java.json", "validation/m12/results/java-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 3, "issue": 142, "title": "Perfect Kotlin extraction", "status": "closed", "commit": "5ca1c9c", "artifacts": ["src/ast/real-kotlin-analyzer.ts", "validation/m12/fixtures/kotlin", "validation/m12/ground-truth/kotlin.json", "validation/m12/results/kotlin-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 4, "issue": 143, "title": "Perfect Clojure extraction", "status": "closed", "commit": "34972a8", "artifacts": ["src/ast/real-clojure-analyzer.ts", "validation/m12/fixtures/clojure", "validation/m12/ground-truth/clojure.json", "validation/m12/results/clojure-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 5, "issue": 144, "title": "Perfect Scala extraction", "status": "closed", "commit": "2882e79", "artifacts": ["src/ast/real-scala-analyzer.ts", "validation/m12/fixtures/scala", "validation/m12/ground-truth/scala.json", "validation/m12/results/scala-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 6, "issue": 145, "title": "Perfect Groovy extraction", "status": "closed", "commit": "bafcce7", "artifacts": ["src/ast/real-groovy-analyzer.ts", "validation/m12/fixtures/groovy", "validation/m12/ground-truth/groovy.json", "validation/m12/results/groovy-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 7, "issue": 146, "title": "Perfect C# extraction", "status": "closed", "commit": "2ddafe7", "artifacts": ["src/ast/real-csharp-analyzer.ts", "validation/m12/fixtures/csharp", "validation/m12/ground-truth/csharp.json", "validation/m12/results/csharp-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 8, "issue": 147, "title": "Perfect F# extraction", "status": "closed", "commit": "5dc0111", "artifacts": ["src/ast/real-fsharp-analyzer.ts", "validation/m12/fixtures/fsharp", "validation/m12/ground-truth/fsharp.json", "validation/m12/results/fsharp-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 9, "issue": 148, "title": "Perfect TypeScript extraction", "status": "closed", "commit": "d3543e6", "artifacts": ["src/ast/real-typescript-analyzer.ts", "validation/m12/fixtures/typescript", "validation/m12/ground-truth/typescript.json", "validation/m12/results/typescript-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 10, "issue": 149, "title": "Perfect JavaScript extraction", "status": "closed", "commit": "0ac8cea", "artifacts": ["src/ast/real-javascript-analyzer.ts", "validation/m12/fixtures/javascript", "validation/m12/ground-truth/javascript.json", "validation/m12/results/javascript-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 11, "issue": 150, "title": "Perfect Dart extraction", "status": "closed", "commit": "0468b25", "artifacts": ["src/ast/real-dart-analyzer.ts", "validation/m12/fixtures/dart", "validation/m12/ground-truth/dart.json", "validation/m12/results/dart-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 12, "issue": 151, "title": "Perfect Vue extraction", "status": "closed", "commit": "c22217b", "artifacts": ["src/ast/real-vue-analyzer.ts", "validation/m12/fixtures/vue", "validation/m12/ground-truth/vue.json", "validation/m12/results/vue-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 13, "issue": 152, "title": "Perfect Svelte extraction", "status": "closed", "commit": "adf069d", "artifacts": ["src/ast/real-svelte-analyzer.ts", "validation/m12/fixtures/svelte", "validation/m12/ground-truth/svelte.json", "validation/m12/results/svelte-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 14, "issue": 153, "title": "Perfect HTML extraction", "status": "closed", "commit": "382f921", "artifacts": ["src/ast/real-html-analyzer.ts", "validation/m12/fixtures/html", "validation/m12/ground-truth/html.json", "validation/m12/results/html-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 15, "issue": 154, "title": "Perfect CSS extraction", "status": "closed", "commit": "fff2280", "artifacts": ["src/ast/real-css-analyzer.ts", "validation/m12/fixtures/css", "validation/m12/ground-truth/css.json", "validation/m12/results/css-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 16, "issue": 155, "title": "Perfect C extraction", "status": "closed", "commit": "8730332", "artifacts": ["src/ast/real-c-analyzer.ts", "validation/m12/fixtures/c", "validation/m12/ground-truth/c.json", "validation/m12/results/c-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 17, "issue": 156, "title": "Perfect C++ extraction", "status": "closed", "commit": "b0e1451", "artifacts": ["src/ast/real-cpp-analyzer.ts", "validation/m12/fixtures/cpp", "validation/m12/ground-truth/cpp.json", "validation/m12/results/cpp-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 18, "issue": 157, "title": "Perfect Rust extraction", "status": "closed", "commit": "36223d5", "artifacts": ["src/ast/real-rust-analyzer.ts", "validation/m12/fixtures/rust", "validation/m12/ground-truth/rust.json", "validation/m12/results/rust-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 19, "issue": 158, "title": "Perfect Objective-C extraction", "status": "closed", "commit": "3a5a912", "artifacts": ["src/ast/real-objective-c-analyzer.ts", "validation/m12/fixtures/objective-c", "validation/m12/ground-truth/objective-c.json", "validation/m12/results/objective-c-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 20, "issue": 159, "title": "Perfect Zig extraction", "status": "closed", "commit": "80e3e8b", "artifacts": ["src/ast/real-zig-analyzer.ts", "validation/m12/fixtures/zig", "validation/m12/ground-truth/zig.json", "validation/m12/results/zig-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 21, "issue": 160, "title": "Perfect Swift extraction", "status": "closed", "commit": "91e7717", "artifacts": ["src/ast/real-swift-analyzer.ts", "validation/m12/fixtures/swift", "validation/m12/ground-truth/swift.json", "validation/m12/results/swift-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 22, "issue": 161, "title": "Perfect Go extraction", "status": "closed", "commit": "46ce070", "artifacts": ["src/ast/real-go-analyzer.ts", "validation/m12/fixtures/go", "validation/m12/ground-truth/go.json", "validation/m12/results/go-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 23, "issue": 162, "title": "Perfect Elixir extraction", "status": "closed", "commit": "22908d7", "artifacts": ["src/ast/real-elixir-analyzer.ts", "validation/m12/fixtures/elixir", "validation/m12/ground-truth/elixir.json", "validation/m12/results/elixir-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 24, "issue": 163, "title": "Perfect Erlang extraction", "status": "closed", "commit": "3abdaad", "artifacts": ["src/ast/real-erlang-analyzer.ts", "validation/m12/fixtures/erlang", "validation/m12/ground-truth/erlang.json", "validation/m12/results/erlang-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 25, "issue": 164, "title": "Perfect Haskell extraction", "status": "closed", "commit": "343611a", "artifacts": ["src/ast/real-haskell-analyzer.ts", "validation/m12/fixtures/haskell", "validation/m12/ground-truth/haskell.json", "validation/m12/results/haskell-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 26, "issue": 165, "title": "Perfect Clean extraction", "status": "closed", "commit": "d47e01d", "artifacts": ["src/ast/real-clean-analyzer.ts", "validation/m12/fixtures/clean", "validation/m12/ground-truth/clean.json", "validation/m12/results/clean-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 27, "issue": 166, "title": "Perfect Python extraction", "status": "closed", "commit": "33d0797", "artifacts": ["src/ast/real-python-analyzer.ts", "validation/m12/fixtures/python", "validation/m12/ground-truth/python.json", "validation/m12/results/python-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 28, "issue": 167, "title": "Perfect Ruby extraction", "status": "closed", "commit": "c878dea", "artifacts": ["src/ast/real-ruby-analyzer.ts", "validation/m12/fixtures/ruby", "validation/m12/ground-truth/ruby.json", "validation/m12/results/ruby-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 29, "issue": 168, "title": "Perfect PHP extraction", "status": "closed", "commit": "2e75cfb", "artifacts": ["src/ast/real-php-analyzer.ts", "validation/m12/fixtures/php", "validation/m12/ground-truth/php.json", "validation/m12/results/php-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 30, "issue": 169, "title": "Perfect Perl extraction", "status": "closed", "commit": "680fdd6", "artifacts": ["src/ast/real-perl-analyzer.ts", "validation/m12/fixtures/perl", "validation/m12/ground-truth/perl.json", "validation/m12/results/perl-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 31, "issue": 170, "title": "Perfect R extraction", "status": "closed", "commit": "61cd882", "artifacts": ["src/ast/real-r-analyzer.ts", "validation/m12/fixtures/r", "validation/m12/ground-truth/r.json", "validation/m12/results/r-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 32, "issue": 171, "title": "Perfect Lua extraction", "status": "closed", "commit": "d1666a0", "artifacts": ["src/ast/real-lua-analyzer.ts", "validation/m12/fixtures/lua", "validation/m12/ground-truth/lua.json", "validation/m12/results/lua-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 33, "issue": 172, "title": "Perfect SQL extraction", "status": "closed", "commit": "5046409", "artifacts": ["src/ast/real-sql-analyzer.ts", "validation/m12/fixtures/sql", "validation/m12/ground-truth/sql.json", "validation/m12/results/sql-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 34, "issue": 173, "title": "Perfect JSON extraction", "status": "closed", "commit": "73d7e27", "artifacts": ["src/ast/real-json-analyzer.ts", "validation/m12/fixtures/json", "validation/m12/ground-truth/json.json", "validation/m12/results/json-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 35, "issue": 174, "title": "Perfect XML extraction", "status": "closed", "commit": "82da74d", "artifacts": ["src/ast/real-xml-analyzer.ts", "validation/m12/fixtures/xml", "validation/m12/ground-truth/xml.json", "validation/m12/results/xml-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 36, "issue": 175, "title": "Perfect YAML extraction", "status": "closed", "commit": "2e54a82", "artifacts": ["src/ast/real-yaml-analyzer.ts", "validation/m12/fixtures/yaml", "validation/m12/ground-truth/yaml.json", "validation/m12/results/yaml-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 37, "issue": 176, "title": "Perfect HCL extraction", "status": "closed", "commit": "1af6509", "artifacts": ["src/ast/real-hcl-analyzer.ts", "validation/m12/fixtures/hcl", "validation/m12/ground-truth/hcl.json", "validation/m12/results/hcl-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 38, "issue": 177, "title": "Perfect GraphQL extraction", "status": "closed", "commit": "3392163", "artifacts": ["src/ast/real-graphql-analyzer.ts", "validation/m12/fixtures/graphql", "validation/m12/ground-truth/graphql.json", "validation/m12/results/graphql-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 39, "issue": 178, "title": "Perfect Bash extraction", "status": "closed", "commit": "301cb4a", "artifacts": ["src/ast/real-bash-analyzer.ts", "validation/m12/fixtures/bash", "validation/m12/ground-truth/bash.json", "validation/m12/results/bash-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 40, "issue": 179, "title": "Perfect PowerShell extraction", "status": "closed", "commit": "bec08c9", "artifacts": ["src/ast/real-powershell-analyzer.ts", "validation/m12/fixtures/powershell", "validation/m12/ground-truth/powershell.json", "validation/m12/results/powershell-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 41, "issue": 180, "title": "Perfect Make extraction", "status": "closed", "commit": "3c52ece", "artifacts": ["src/ast/real-makefile-analyzer.ts", "validation/m12/fixtures/make", "validation/m12/ground-truth/make.json", "validation/m12/results/make-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 42, "issue": 181, "title": "Perfect Markdown extraction", "status": "closed", "commit": "ca349a3", "artifacts": ["src/ast/real-markdown-analyzer.ts", "src/ast/engine.ts", "validation/m12/fixtures/markdown", "validation/m12/ground-truth/markdown.json", "validation/m12/results/markdown-differential.json"], "verifiers": ["script/m12/verify-analyzer.ts"] },
+    { "order": 43, "issue": 182, "title": "Final per-analyzer audit and release-readiness decision", "status": "ready_to_close", "commit": "audit-commit-containing-this-artifact", "artifacts": ["docs/M12-FINAL-AUDIT.md", "docs/data/m12-final-audit.json", "script/verify-m12-final-audit.ts"], "verifiers": ["script/verify-m12-final-audit.ts"] }
+  ],
+  "perAnalyzerEvidence": {
+    "analyzers": 41,
+    "fixtureDirs": "validation/m12/fixtures/<lang>",
+    "groundTruth": "validation/m12/ground-truth/<lang>.json",
+    "differentials": "validation/m12/results/<lang>-differential.json",
+    "complexityEnvelopes": "validation/m12/results/<lang>(-corpus)-complexity.json",
+    "totalFixtureFacts": 3258,
+    "falsePositives": 0,
+    "falseNegatives": 0,
+    "unknownSymbols": 0,
+    "precision": 1,
+    "recall": 1,
+    "corpusManifest": "validation/m12/corpus-manifest.json",
+    "corpusPolicy": "cloned_repositories_only",
+    "corpusErrorResults": ["validation/m12/results/bash-corpus-errors.json", "validation/m12/results/graphql-corpus-errors.json", "validation/m12/results/hcl-corpus-errors.json", "validation/m12/results/json-corpus-errors.json", "validation/m12/results/make-corpus-errors.json", "validation/m12/results/markdown-corpus-errors.json", "validation/m12/results/powershell-corpus-errors.json", "validation/m12/results/sql-corpus-errors.json", "validation/m12/results/xml-corpus-errors.json", "validation/m12/results/yaml-corpus-errors.json"],
+    "corpusCounts": { "bash": 30, "graphql": 1, "hcl": 2295, "json": 133, "make": 7, "markdown": 734, "powershell": 371, "sql": 207, "xml": 154, "yaml": 274 },
+    "corpusCrashes": 0
+  },
+  "regexCensus": {
+    "totalRegexUsages": 0,
+    "unclassified": 0,
+    "analyzersScanned": 41,
+    "gate": "script/m12/verify-regex-census.ts",
+    "result": "validation/m12/results/regex-census.json"
+  },
+  "complexity": {
+    "result": "pass",
+    "noOofN2HotPaths": true,
+    "envelopesRecordedForAllAnalyzers": true,
+    "envelopePattern": "validation/m12/results/<lang>(-corpus)-complexity.json",
+    "note": "Single-pass DFS with Map/Set dedupe; O(1) name/containment lookup structures; complexity envelopes record wall time, throughput, and peak RSS for every analyzer"
+  },
+  "hiddenFilters": {
+    "projectSpecificFilters": false,
+    "exactClaimsPolicy": "Unsupported exact claims are not presented as proven",
+    "note": "No analyzer filters by repository identity. Path-based architecture inference (e.g. C preprocessor word-size hints) is language-level, not repository-specific. Corpus selection is declared in validation/m12/corpus-manifest.json (cloned_repositories_only) and every corpus-errors result names its tracked/clean/excluded counts."
+  },
+  "failures": {
+    "unresolved": 0,
+    "classifiedAndAccepted": [
+      {
+        "id": "F1",
+        "classification": "environment_artifact",
+        "description": "verify-embed gate requires direct localhost access; the machine's http_proxy/https_proxy/ALL_PROXY env vars route the mock API through a proxy that rejects client_connect_invalid_ip for 127.0.0.1. Running npm run verify with proxy env vars unset passes all gates including EMBED VERIFY: ALL PASS. No code change required."
+      },
+      {
+        "id": "F2",
+        "classification": "flaky_gate",
+        "description": "verify-contracts occasionally reports CONTRACT BASELINE: 1 FAILURES under full-chain load after 45 sequential gates (MCP server spawn timing). Standalone and re-run pass (CONTRACT BASELINE: PASS). No code change required."
+      },
+      {
+        "id": "F3",
+        "classification": "grammar_limitations_named",
+        "description": "tree-sitter grammar limitations are counted, audited, and named per corpus-errors result (e.g. PowerShell modern constructs, Markdown list indentation, SQL vendor dialect). Never hidden; every error file is explicitly listed with its construct."
+      }
+    ]
+  },
+  "gates": {
+    "typecheck": "pass",
+    "parserMatrix": "pass",
+    "lifecycle": "pass",
+    "differentialHarness": "pass",
+    "regexCensus": "pass",
+    "fullVerify": "pass",
+    "mcpE2e": "pass",
+    "requiredGates": ["script/verify-quality-gate.ts", "script/verify-m11-parser-matrix.ts", "script/verify-m11-lifecycle.ts", "script/verify-m11-differential-harness.ts", "script/m12/verify-regex-census.ts", "script/verify-mcp-e2e.ts"]
+  },
+  "m12Verifiers": [
+    "script/m12/verify-analyzer.ts",
+    "script/m12/verify-regex-census.ts",
+    "script/m12/regex-census.ts",
+    "script/m12/regex-census-core.ts"
+  ],
+  "residualRisks": [
+    { "id": "R1", "status": "accepted", "severity": "low", "description": "Static analysis cannot prove runtime execution coverage; every corpus measure uses the production pool-worker parseFile path." },
+    { "id": "R2", "status": "accepted", "severity": "low", "description": "Grammar ERROR nodes in a small named subset of corpus files are reported as warnings with explicit constructs; they are counted, never hidden." },
+    { "id": "R3", "status": "accepted", "severity": "low", "description": "Cross-file override-target resolution (Java/Kotlin) uses the optional AnalyzeContext companion index in the harness; production wiring of the same context is tracked by M12.44." },
+    { "id": "R4", "status": "accepted", "severity": "low", "description": "Corpus measurements are fixture/revision-local; pinned revisions are recorded in validation/m12/corpus-manifest.json." },
+    { "id": "R5", "status": "accepted", "severity": "low", "description": "Markdown inline links require the companion tree-sitter-markdown-inline WASM; the engine pre-parses inline nodes at index time (vue/svelte SFC pattern)." }
+  ],
+  "claimsPolicy": {
+    "unsupportedClaimsPresentedAsProven": false,
+    "statement": "Unsupported claims are not presented as proven. Every per-analyzer differential, contract, shape, corpus, and complexity result carries explicit provenance and named limitations."
+  }
+}

package/docs/data/m12-surface-matrix.json

@@ -0,0 +1,50 @@
+{
+  "schemaVersion": 1,
+  "milestone": "M12.47",
+  "purpose": "mcp_cli_surface_support_matrix",
+  "advertisedLanguages": 41,
+  "capabilities": ["indexed", "queried", "analyzed", "documented", "migrated", "visualized", "edited", "cli", "mcp"],
+  "languages": [
+    {"language":"bash","parser":"dedicated"},
+    {"language":"c","parser":"dedicated"},
+    {"language":"clean","parser":"dedicated"},
+    {"language":"clojure","parser":"dedicated"},
+    {"language":"cpp","parser":"dedicated"},
+    {"language":"csharp","parser":"dedicated"},
+    {"language":"css","parser":"dedicated"},
+    {"language":"dart","parser":"dedicated"},
+    {"language":"elixir","parser":"dedicated"},
+    {"language":"erlang","parser":"dedicated"},
+    {"language":"fsharp","parser":"dedicated"},
+    {"language":"go","parser":"dedicated"},
+    {"language":"graphql","parser":"dedicated"},
+    {"language":"groovy","parser":"dedicated"},
+    {"language":"haskell","parser":"dedicated"},
+    {"language":"hcl","parser":"dedicated"},
+    {"language":"html","parser":"dedicated"},
+    {"language":"java","parser":"dedicated"},
+    {"language":"javascript","parser":"dedicated"},
+    {"language":"json","parser":"dedicated"},
+    {"language":"kotlin","parser":"dedicated"},
+    {"language":"lua","parser":"dedicated"},
+    {"language":"make","parser":"dedicated"},
+    {"language":"markdown","parser":"dedicated"},
+    {"language":"objective-c","parser":"dedicated"},
+    {"language":"perl","parser":"dedicated"},
+    {"language":"php","parser":"dedicated"},
+    {"language":"powershell","parser":"dedicated"},
+    {"language":"python","parser":"dedicated"},
+    {"language":"r","parser":"dedicated"},
+    {"language":"ruby","parser":"dedicated"},
+    {"language":"rust","parser":"dedicated"},
+    {"language":"scala","parser":"dedicated"},
+    {"language":"sql","parser":"dedicated"},
+    {"language":"svelte","parser":"dedicated"},
+    {"language":"swift","parser":"dedicated"},
+    {"language":"typescript","parser":"dedicated"},
+    {"language":"vue","parser":"dedicated"},
+    {"language":"xml","parser":"dedicated"},
+    {"language":"yaml","parser":"dedicated"},
+    {"language":"zig","parser":"dedicated"}
+  ]
+}