musubix3 0.1.1 → 0.1.3

package/.github/plugin/marketplace.json

@@ -3,13 +3,13 @@
   "owner": { "name": "nahisaho" },
   "metadata": {
     "description": "GitHub Copilot CLI specification-driven development skills",
-    "version": "0.1.1"
+    "version": "0.1.3"
   },
   "plugins": [
     {
       "name": "musubix3",
       "source": ".",
-      "version": "0.1.1",
+      "version": "0.1.3",
       "description": "Evidence-driven SDD without duplicating native Copilot capabilities."
     }
   ]

package/.github/skills/sdd-formal-codegraph/SKILL.md

@@ -41,12 +41,12 @@ After the work, run `npx musubix3 workflow-record sdd-formal-codegraph complete
    JS/TS imports, re-exports, literal require/dynamic imports, manifest
    entrypoints and local cache-busting URL/templates with a static base are indexed.
    Set `codeGraph.mode` to `strict` when unresolved computed `import()` or
-   `require()` calls must block graph gates; the compatible default warns.
-   Conservative native adapters index Rust modules/`use`, Python imports, Go
-   module imports, Java package imports, C/C++ includes, C# namespace imports,
-   PHP namespace/import dependencies, R source/package dependencies and Julia
-   include/module imports, declarations and direct calls. Other languages are
-   reported as unsupported.
+   `require()` calls, including computed PHP include/require expressions, must
+   block graph gates; the compatible default warns.
+   Conservative native adapters index JS/TS, Rust, Python, Go, Java, Kotlin,
+   C/C++, Objective-C, C#/.NET, Ruby, PHP, Swift, Dart, Scala, Elixir, Haskell,
+   Lua, Zig, Solidity, R and Julia dependencies, declarations and direct calls.
+   Unrecognized extensions stay outside graph inputs.
    Statically resolved cache-busting imports remain valid in strict mode.
    Reflective behavior remains an explicit limitation.
 4. Use native navigation and review to confirm conservative results; rebuild

package/.github/skills/sdd-implementation/SKILL.md

@@ -18,8 +18,8 @@ After the work, run `npx musubix3 workflow-record sdd-implementation complete
    implementation. Configure the selected command with `tddArgs` containing
    `{testId}` or `{testPath}` and a `tddReport`, or use a built-in runner adapter.
    Follow its native identity contract: pytest/Cargo use underscore names, Go
-   uses a `TEST-*` subtest, and JUnit uses an exact `@Tag("TEST-*")` plus an
-   underscore-form ID in the method name.
+   uses a `TEST-*` subtest, JUnit uses an exact `@Tag("TEST-*")`, and xUnit uses
+   a `Fact` `DisplayName` containing the exact ID.
    Run the repository formatter before recording Red. Formatting is part of the
    test fingerprint: after Red, do not edit or reformat the authoritative test
    until the matching Green has been recorded.
@@ -46,11 +46,15 @@ After the work, run `npx musubix3 workflow-record sdd-implementation complete
    Put annotations in the authoritative source and test files, including
    supported non-JS/TS files; never add a proxy file just to increase coverage.
    An annotation establishes a link, not proof that code or tests are correct.
-5. Run the project's actual focused tests/typecheck/build; fix failures.
+5. Before recording Red, run every configured `tdd.redPreflightCommands`
+   formatter/check and let musubix3 enforce that preflight. Then run the
+   project's actual focused tests/typecheck/build; fix failures.
    When mutation evidence is required, use the project's existing lightweight
    mutation mechanism to emit schema-v1 deterministic identities, requirement/
    test linkage, source/test SHA-256, operator/location, and killed status.
-   Never fabricate results or add a large mutation dependency.
+   Never fabricate results or add a large mutation dependency. Use
+   `npx musubix3 mutation doctor --json` to inspect locally available engines
+   and configuration recommendations.
 6. Regenerate `npx musubix3 trace build`, check `trace check --strict`, then
    `npx musubix3 gate --changed`. Configure real command/argument arrays first.
 7. Use Copilot's native review and security-review capabilities when appropriate.

package/.github/skills/sdd-quality/SKILL.md

@@ -8,27 +8,28 @@ Follow the user's input language (日本語 / English). Use native Copilot revie
 security review for their specialist reasoning; this skill does not replace them.
 After the work, run `npx musubix3 workflow-record sdd-quality complete --status
 completed` exactly once.
-
 1. Inspect `.musubix/config.json` and `.musubix/policy-baseline.json` before
    running commands. Only execute trusted project configuration. Commands are
    executable/argument arrays, not shell text. Never edit the baseline without
    explicit independent approval. Use only the exact `musubix3` CLI; never
    substitute similarly named npm packages.
 2. Configure real tests/build/typecheck commands and timeouts. Use an explicit
-   custom report or a built-in Vitest/Jest, pytest, Go test, Cargo or JUnit
+   custom report or a built-in Vitest/Jest, pytest, Go test, Cargo, JUnit or .NET
    adapter. Require executable native adapter contracts in CI; JUnit targets use
    an exact `@Tag("TEST-*")`, and pytest requires `pytest-json-report`. Review
-   `requiredChecks`, coverage thresholds and architecture rules. Use strict
+   `requiredChecks`, `qualityProfile`, coverage thresholds and architecture rules.
+   Use `recommended` or `release` only when all profile requirements are
+   intentionally configured; profile validation never invents missing evidence. Use strict
    `codeGraph.mode` when unresolved computed module loading must block release,
    and ensure the trusted baseline prevents downgrading it. Configure a
    fresh structured `testReport` for `test-identities`. Do not weaken policy.
 3. Run `npx musubix3 gate --json` or `npx musubix3 gate --changed --json`.
-   `npx musubix3 evidence refresh --json` is the explicit evidence-regeneration
-   form of the same fail-closed gate pipeline. If `input-stability` fails,
+   `evidence refresh --json` runs the same fail-closed pipeline. If `input-stability` fails,
    inspect its per-path added/modified/deleted diagnostics and stop generators
    or formatters before rerunning. Standard dependency/build directories,
-   including Cargo and Maven `target/`, are excluded; source-like generated
-   inputs are not silently ignored.
+   including manifest-scoped Cargo/Maven `target/`, .NET `bin`/`obj`, project-local
+   `.nuget/packages`, and `.venv` or `venv` roots with a regular `pyvenv.cfg`, are excluded; arbitrary source
+   directories and source-like generated inputs are not silently ignored.
    Changed mode reports Git changes and dependent files but conservatively runs
    all checks, including commands. It never treats unrun checks as successful.
    When `tdd` is required, confirm every command has test-scoped `tddArgs`, every
@@ -40,8 +41,9 @@ completed` exactly once.
    Treat workflow records as declarations until `workflow-verify` binds each
    completed declaration to one distinct completed Copilot Skill tool call.
    In strict mode require one final successful result, matching session UUID,
-   causal timestamps, bounded freshness, complete tool lifecycles and canonical
-   transcript hash. Ensure the baseline protects strict/session/freshness policy.
+   causal transcript order, policy-bounded concurrent-event clock skew, bounded
+   freshness, complete tool lifecycles and canonical transcript hash. Ensure the
+   baseline protects strict/session/freshness/event-skew policy.
    When `change-history` is required,
    confirm ordered checkpoints, chained TDD records, requirement-scoped Code
    Graph changes, exact CHANGE requirement enumeration, measurable Acceptance,
@@ -59,7 +61,8 @@ completed` exactly once.
    identities bound to must functional requirements, current source/test
    fingerprints, operator/location, authoritative tests, and killed results.
    Reject survived, skipped, duplicate, conflicting, stale, or unlinked mutants.
-   musubix3 validates evidence; it does not bundle a mutation engine.
+   Run `mutation doctor` for language-aware local probes and remediation;
+   musubix3 validates evidence and does not bundle a mutation engine.
    Missing required tools, commands, artifacts or evidence block readiness.
 5. Use native review/security-review as needed, recording their findings
    separately from machine evidence. Never fabricate review or test results.
@@ -72,4 +75,4 @@ completed` exactly once.
    Ensure the baseline protects CI-required mode, strict OIDC and key binding.
    Never store a private key or overstate OIDC as proof of arbitrary runner work.
 7. Run `npx musubix3 status --json`; stale evidence must be refreshed. Report
-   limitations and residual risks before handoff. No resident watcher or REPL.
+   limitations and residual risks before handoff; no resident watcher or REPL.

package/.github/skills/sdd-traceability/SKILL.md

@@ -10,8 +10,12 @@ After the work, run `npx musubix3 workflow-record sdd-traceability complete
 --status completed` exactly once.
 
 1. Run `npx musubix3 trace build`. It scans `.musubix` artifacts and comment
-   annotations in JS/TS, Rust, Python, Go, Java/Kotlin, C/C++, C#, Ruby, PHP and
-   Swift, then generates feature `trace.json` files plus an ignored cache.
+   annotations in every Code Graph language, including JS/TS, Rust, Python, Go,
+   JVM, C/C++, .NET, Ruby, PHP, Swift, Dart, BEAM, Haskell, Lua, Zig, Solidity,
+   R and Julia, then generates feature `trace.json` files plus an ignored cache.
+   Haskell `--`/`{- ... -}`, Lua `--`/`--[[ ... ]]`, and Visual Basic
+   apostrophe/XML-documentation comments are scanned without accepting string
+   literals as trace annotations.
 2. Run `npx musubix3 trace check --strict --json`.
    Distinguish malformed IDs, dangling endpoints, stale inputs, and missing
    mandatory design/implementation/test coverage. Non-strict coverage warnings

package/CHANGELOG.md

@@ -2,6 +2,45 @@
 
 ## Unreleased
 
+## 0.1.3 - 2026-09-08
+
+- Add a built-in `dotnet` test adapter with xUnit `DisplayName` targeting and
+  recursive TRX result normalization.
+- Exclude manifest-scoped .NET `bin/` and `obj/` output plus the conventional
+  project-local `.nuget/packages/` cache from snapshots and Code Graph indexing.
+- Exclude Gradle `.gradle/`, Dart `.dart_tool/`, SwiftPM `.build/`, Zig
+  `.zig-cache/`/`zig-out/`, and .NET `.dotnet/` CLI homes only when a nearby
+  ecosystem manifest identifies them as generated project state.
+- Detect C#/.NET projects in `mutation doctor` and safely probe a pinned local
+  Stryker.NET tool manifest without installing or downloading tools.
+- Add conservative Code Graph adapters for Kotlin, Ruby, Swift, Dart, Scala,
+  Elixir, Haskell, Lua, Zig, Solidity, Objective-C/Objective-C++, F# and
+  Visual Basic .NET, including local dependencies, declarations and direct calls.
+- Add Haskell, Lua, and Visual Basic trace-comment extraction with string
+  masking, and expose annotated/executed test identity counts as constitution
+  metrics.
+- Reduce native Code Graph false positives and improve Scala, Visual Basic,
+  Julia, PHP, Swift, Dart, Haskell, and Objective-C resolution precision.
+- Normalize JUnit identities from `system-out` display names independently of
+  XML attribute order, and recognize nested F# `(* ... *)` trace comments.
+- Validate large applications across all 23 supported language groups: 475
+  authored implementation files and 345 traced native tests, all gate-ready.
+
+## 0.1.2 - 2026-09-07
+
+- Exclude conventional `.venv` and `venv` Python environments identified by a
+  regular `pyvenv.cfg` file from project snapshots and Code Graph indexing,
+  without allowing the marker to hide arbitrary source directories.
+- Add configurable `tdd.redPreflightCommands` so formatters and other plain
+  preflight commands complete before a Red test fingerprint is captured.
+- Add explicit `custom`, `minimal`, `recommended`, and `release` quality
+  profiles with fail-closed requirements for stronger profiles.
+- Accept bounded timestamp skew for causally ordered concurrent Copilot tool
+  events in strict workflow verification, with a policy-protected
+  `workflow.maxEventSkewMs` limit.
+- Add `mutation doctor` with language-aware local engine probes, attempted
+  commands, and actionable configuration recommendations.
+
 ## 0.1.1 - 2026-09-07
 
 - Preserve fail-closed input-stability checks while reporting every added,

package/README-ja.md

@@ -1,34 +1,68 @@
 # musubix3
 
-**v0.1.1 · GitHub Copilot CLI 専用 · Node.js ≥20 · TypeScript · MIT**
+**最新リリース v0.1.3 · GitHub Copilot CLI 専用 · Node.js ≥20 · TypeScript · MIT**
 
 [English](README.md)
 
 [musubix2 から musubix3 で変わったこと](MUSUBIX2-TO-MUSUBIX3.md)
 
-要求 → 憲章 → 設計・ADR → 実装 → 追跡可能性 → 品質根拠、という
-仕様駆動開発（SDD）を、8つの Skills と決定的な検証エンジンで支援します。
-形式的整合性検査、コンパイラによる依存解析、ローカル知識検索も含みます。
+GitHub Copilotは、計画、コード生成、編集、テスト、レビューを実行できます。
+musubix3は、その作業を本当に完了と判断するためのrepository-localな仕様と
+決定的な証拠を追加します。
+要求 → 憲章 → 設計・ADR → 実装 → 追跡可能性 → 品質根拠を、
+8つのSkillsと検証CLIで接続します。
 
 [musubix2](https://github.com/nahisaho/musubix2) の考え方を学び、3つの
 ワークスペースで新規実装しています。成果物の互換性・移行機能はありません。
 ID の接続や SAT 判定だけで、実装の正しさを保証するものではありません。
 
+## GitHub Copilotだけでは足りない理由
+
+Copilotは実装を担うエンジンです。要求を理解し、repositoryを調査し、計画を立て、
+ファイルを編集し、toolを実行して結果を説明します。これは不可欠ですが、
+会話が成功したことだけでは、次を継続的に証明できません。
+
+- 実装した振る舞いが、明示的で測定可能な要求と一致しているか
+- すべての要求が設計、コード、正本テストまで接続されているか
+- テストを書き換えず、本当にRedが先に失敗してGreenが成功したか
+- test、graph、formal、qualityの結果が現在のsourceに対して新鮮か
+- 要求変更が影響する成果物へ正しい順序で伝播したか
+- 最終gateを通すためにpolicyを弱めていないか
+
+「テストは成功しました」「実装は完了しました」という会話上の報告は、
+古くなる、範囲が不足する、repository外で失われる可能性があります。
+推論と開発はCopilotへ任せたまま、musubix3が完了条件を永続化し、
+機械検証できる形へ変換します。
+
+| GitHub Copilotが提供するもの | musubix3が補完するもの |
+|---|---|
+| 計画、実装、refactor、tool実行 | 明示的な要求、設計判断、実装link、完了条件を要求するrepository-local SDD Skills |
+| テスト生成とtest runner実行 | 構造化TEST ID、native report正規化、検証可能なRed/Green/Refactor証拠 |
+| 変更内容の説明 | 要求 → 設計 → コード → テストの型付きtraceと双方向impact解析 |
+| repository調査 | 決定的なCode Graph、未解決local dependency診断、architecture gate |
+| 制約・不変条件の提案 | 任意のZ3/Lean整合性検査と、形式モデルから成功テストまでの対応検査 |
+| session単位の完了報告 | freshness、fingerprint、input stability、保護されたpolicy baseline、attestation、fail-closedなready判定 |
+
+musubix3はCopilotを置き換えず、別のcoding agentも追加しません。
+SATだから実装が正しいとも主張しません。開発はCopilotが実行し、
+musubix3は仕様を残し、証拠を検査し、古い・不完全な完了宣言を拒否して、
+「なぜこの変更をreadyと判断できるのか」をreview可能な形でrepositoryへ残します。
+
 ## クイックスタート
 
 対象プロジェクトで、公開済みパッケージを実行します。
 
 ```sh
-npx musubix3@0.1.1 --version
-npx musubix3@0.1.1 init --dry-run
-npx musubix3@0.1.1 init
+npx musubix3@0.1.3 --version
+npx musubix3@0.1.3 init --dry-run
+npx musubix3@0.1.3 init
 copilot
 ```
 
 バージョンを固定してプロジェクトへインストールする場合は、次を実行します。
 
 ```sh
-npm install --save-dev --save-exact musubix3@0.1.1
+npm install --save-dev --save-exact musubix3@0.1.3
 npx --no-install musubix3 --version
 npx --no-install musubix3 init --dry-run
 npx --no-install musubix3 init
@@ -176,6 +210,7 @@ npx musubix3 status --json
 | `knowledge query <text> [--limit 10]` | TF-IDF/cosine のランキングと陳腐化情報 |
 | `formal generate <file> [--format both\|smt2\|lean]` | SHA-256付きの再現可能なsolver入力生成 |
 | `formal doctor` | Z3、Lean、`lake env lean` の存在とバージョン確認 |
+| `mutation doctor` | 言語別のローカルmutation engine確認と導入推奨 |
 | `formal check <file> [--solver auto\|none\|z3\|lean]` | 明示的なBoolean・条件・数値・時間・状態遷移モデルを検査 |
 | `model-correspondence validate` | Formal JSON→生成trace→正本passing testの証拠を再検証 |
 | `evidence refresh [--changed]` | 同じfail-closed gate pipelineで派生証拠を再生成 |
@@ -278,10 +313,12 @@ feature: auth
 `ADRs` / `Depends-On`。ADR には背景・採用案・却下案・結果を記録します。
 C4-like 図は明示した内容だけを描画し、完全な C4 モデルを推論しません。
 
-JS/TS、Rust、Python、Go、Java/Kotlin、C/C++、C#、Ruby、PHP、Swift の
 正本となるコード・テストに、エンティティごとに1つのコメントを追加します。
-JS/TS では文字列中の記載をリンクとして扱いません。その他の言語では行コメント
-またはブロックコメントを使用します。網羅率だけを満たす代理 JS/TS ファイルは作成しません。
+JS/TSはparser-awareなcomment位置を使い、Haskellは`--`と`{- ... -}`、
+Luaは`--`と`--[[ ... ]]`、Visual Basicは`'''` XML documentを含む
+apostrophe commentを扱います。これらは文字列中の記載をリンクとして扱いません。
+その他の言語では対応する行commentまたはblock commentを使用します。
+網羅率だけを満たす代理JS/TSファイルは作成しません。
 
 ```ts
 /** @id CODE-AUTH-001
@@ -327,6 +364,7 @@ version: 1.0.0
 {
   "schemaVersion": 1,
   "language": "auto",
+  "qualityProfile": "custom",
   "commands": [
     { "name": "typecheck", "command": "npm", "args": ["run", "typecheck"], "required": true, "timeoutMs": 120000 },
     {
@@ -342,10 +380,12 @@ version: 1.0.0
   "thresholds": { "design": 1, "implementation": 1, "tests": 1 },
   "formal": { "solver": "none", "minModeledFraction": 0, "timeoutMs": 12000 },
   "mutation": { "mode": "compatible" },
+  "tdd": { "redPreflightCommands": [] },
   "workflow": {
     "mode": "compatible",
     "maxAgeSeconds": 3600,
-    "maxFutureSkewSeconds": 60
+    "maxFutureSkewSeconds": 60,
+    "maxEventSkewMs": 1000
   },
   "attestation": {
     "mode": "local",
@@ -366,6 +406,17 @@ version: 1.0.0
 
 未知の設定キー、不正な閾値、重複コマンドはエラーです。
 glob は `*` / `**` / `?` に対応し、外部依存は `npm:` 接頭辞で表現します。
+`qualityProfile`の既定値は`custom`です。`minimal`はSDDの基本gate、
+`recommended`はstrict Code Graph、TDD、構造化test identityも要求し、
+`release`はformal、mutation、workflow、変更、performance、CI attestationを
+含む完全なrelease checkを要求します。不足設定や弱い設定を証拠で補ったことにはしません。
+`tdd.redPreflightCommands`にはformatter等のplain command名を指定でき、
+Redのtest fingerprintを取得する前に成功が必須です。
+通常ファイルの`pyvenv.cfg`を含む`.venv`と`venv`はsnapshotと
+Code Graphから除外されます。Gradle `.gradle/`、Dart `.dart_tool/`、
+SwiftPM `.build/`、Zig `.zig-cache/`/`zig-out/`、.NET `.dotnet/`は、
+親directoryに対応manifestがある場合だけ除外されます。同名の任意source
+directoryは追跡対象のままです。
 `codeGraph.mode` の既定値は `compatible` で、未解決の計算された
 `import()` / `require()` は警告です。`strict` にするとグラフゲートを阻止する
 エラーになります。信頼済みbaselineが `strict` の場合、`compatible` への
@@ -386,7 +437,9 @@ command reportでpassしたことを要求します。欠落・改変・stale・
 
 `.musubix/policy-baseline.json` は必須チェック、閾値、アーキテクチャ、
 Formalポリシー、mutation mode、workflow strict/session/freshness、CI必須attestation、
-strict OIDC identity/key binding、必須コマンド名の最低条件です。弱体化は拒否され、
+strict OIDC identity/key binding、必須コマンド名の最低条件です。Red preflightを
+要求するbaselineは正規化済み`commands`定義も保持し、同名formatterへの
+すり替えを拒否します。弱体化は拒否され、
 変更ゲート中のbaseline変更には独立承認が必要です。CODEOWNERS等で保護してください。
 
 **信頼した設定だけを実行してください。** ゲートは環境変数を継承し、シェルを
@@ -396,12 +449,14 @@ strict OIDC identity/key binding、必須コマンド名の最低条件です。
 コマンド未設定は skipped です。
 
 TDD用コマンドには明示的な`tddArgs`と`tddReport`、または組込みの
-`vitest`、`jest`、`pytest`、`go-test`、`cargo`、`junit` adapterが必要です。
+`vitest`、`jest`、`pytest`、`go-test`、`cargo`、`junit`、`dotnet` adapterが必要です。
 明示設定を優先し、adapterは対象引数を導出してnative JSON/JSONL/XMLを正規化します。
 Vitest/Jestの無関係なskipped結果は対象TDDから除外します。pytestにはJSON pluginと
 `test_TEST_APP_001`形式、Goには`TEST-*`名のsubtest、Cargoには`test_app_001`形式、
-JUnitには正確な`@Tag("TEST-APP-001")`とIDをunderscore形式で含むmethod名が必要で、
-launcherのXML report directoryを読み取ります。各フェーズ前に旧レポートを削除し、
+JUnitには正確な`@Tag("TEST-APP-001")`と、IDを含むmethod名または`@DisplayName`を推奨します。
+正規化処理はtestcase属性とJUnit Platformのdisplay-name出力の両方を読み取り、
+xUnitには`[Fact(DisplayName = "TEST-APP-001 ...")]`が必要です。
+それぞれXMLまたはTRX report directoryを読み取ります。各フェーズ前に旧レポートを削除し、
 必要なreport親directoryを作成して、対象テストだけを含むfreshな `musubix-json` を要求します。Redは `failed`、
 Green/Refactorは `passed` のみ有効で、`skipped`、`error`、未生成、不正形式は失敗です。
 Green前にはテスト以外のプロジェクト入力が変更されている必要があります。
@@ -412,10 +467,11 @@ TDDと変更checkpointは共通の単調order ledgerを持ち、Red/Green境界
 明示的なmigration診断で失敗します。欠落・並べ替え・改変・孤立レコードは
 証拠を無効にします。
 
-CIでは6種類すべてについて独立したnative contractを実行します。Vitest、Jest、
+CIではVitest、Jest、
 `pytest-json-report`付きpytest、Go test、Cargo test、固定版JUnit Platform Consoleの
 各fixtureに無関係な失敗テストを置き、生成selectorが対象IDだけを実行し、実際のnative
-reportを正規化できることを検証します。Jestは開発時依存だけであり、Python、
+reportを正規化できることを検証します。.NET adapterは標準TRXを読み取り、
+C#アプリ実験とunit contractで追加検証します。Jestは開発時依存だけであり、Python、
 Go/Rust、Java/JUnitのtoolingはCIでのみ準備され、packageのruntime依存には含まれません。
 
 変更checkpointは各変更要件にリンクした実装とCode Graph上の依存だけを指紋化するため、
@@ -467,7 +523,8 @@ terminal transcriptの古さと未来方向clock skewも制限します。
 並行eventはtimestamp順で出力されない場合があるため、全体sortではなくtool/resultの
 因果順序を検査します。
 gate実行中に入力が変わった場合、`input-stability`は追加・変更・削除された各pathと
-前後のSHA-256を報告します。Cargo/Mavenの標準`target/`は除外しますが、
+前後のSHA-256を報告します。Cargo/Mavenの標準`target/`、manifest直下の
+.NET `bin/`と`obj/`、project-local `.nuget/packages/`は除外しますが、
 source相当の生成入力はfail-closedのままです。組込みadapterは対象test選択とreport引数を
 所有します。Cargo/Goの既存設定にある先頭`test`は安全に統合し、
 `--json-report`など競合するreport引数は早期拒否します。
@@ -550,13 +607,17 @@ Ed25519鍵はmusubix3外で生成し、公開PEMだけを`attestation oidc-audie
   シンボル影響は保守的な**ファイル単位**の逆依存になります。
   非リテラル読み込みは既定では警告ですが、`codeGraph.mode: "strict"` では
   グラフゲートを阻止します。未解決外部パッケージは警告、未解決ローカル参照はエラー。
-  Rust、Python、Go、Java、C/C++、C#、PHP、R、Juliaはローカル
-  import/module/include/source、宣言、直接呼び出しを保守的に解析します。
-  その他の言語は未対応として報告します。他言語用の代理 JS/TS ファイルは
-  作成しません。
-  bundler 独自解決、リフレクションは対象外です。
+  bundler 独自解決とリフレクションは対象外です。Rust、Python、Go、Java、
+  Kotlin、C/C++、Objective-C/Objective-C++、C#、F#、Visual Basic .NET、
+  Ruby、PHP、Swift、Dart、Scala、Elixir、Haskell、Lua、Zig、Solidity、R、
+  Juliaはローカルimport/module/include/source、宣言、直接呼び出しを
+  保守的に解析します。その他の拡張子はグラフ入力に含めません。他言語用の
+  代理 JS/TS ファイルは作成しません。
   build/cache/dependency と symlink は除外しますが、任意の `.gitignore` は
   スキャンフィルターとして読みません。
+- 残るarchitecture改善には、実測根拠を伴うstrict call-resolution ratio policyと、
+  より広いnative test-runner adapter対応があります。このreleaseでは推測的に
+  有効化しません。
 - 検索は **TF-IDF/cosine** であり GraphRAG でも意味推論でもありません。
   日本語は文字 bigram。Git 根拠は最大100コミット・各30ファイルで、共変更は相関、
   著者別ディレクトリ件数は貢献の記録であって因果や専門性ではありません。