musubix3 0.1.2 → 0.1.4

package/.github/plugin/marketplace.json

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

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

@@ -3,13 +3,13 @@ name: sdd-change
 description: "Use for feature additions, behavior changes, bug fixes, refactoring with observable impact, or any request that must propagate through requirements, design, code, tests, traceability, and quality evidence. 機能追加・仕様変更・バグ修正を一貫して反映するときに使用。"
 ---
 # Integrated change workflow / 統合変更ワークフロー
-
 Follow the user's input language (日本語 / English). Use Copilot's native
 planning, editing, research, review, security review and subagents where useful.
 This skill coordinates SDD artifacts and checks; it is not another agent runtime.
 Record exactly one final invocation outcome with `npx musubix3 workflow-record
 sdd-change complete --status <status>`; `change-record` separately proves phases.
-Run `workflow-verify <copilot.jsonl>` to bind this declaration to one Skill call.
+Run `workflow-sanitize <copilot.jsonl> <safe.jsonl>` before review when needed,
+then `workflow-verify <safe.jsonl>`; sanitization strictly validates the source.
 For strict evidence, set an expected UUID or pass `--strict --session-id <uuid>`;
 this checks lifecycles; GitHub origin needs strict OIDC with key-bound claims.
 Never record multiple declarations per invocation; use only the configured CLI.

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.
@@ -29,6 +29,8 @@ After the work, run `npx musubix3 workflow-record sdd-implementation complete
    `npx musubix3 tdd red <TEST-ID> --requirement <REQ-ID> --command <name>`.
 3. Implement only enough code to pass, preserving the test unchanged, then run
    `tdd green`. Refactor only after Green and record `tdd refactor`.
+   Use `tdd validate` to inspect persisted order, fingerprints, durations and
+   hash-chain evidence before claiming the cycle is complete.
 4. Add one block comment per trace entity:
    ```ts
    /** @id CODE-FEATURE-001

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

@@ -3,7 +3,6 @@ name: sdd-quality
 description: "Use when deciding release readiness from actual checks, measurable policy, architecture and trace evidence, including incremental change checks. 品質ゲート・リリース判定時に使用。"
 ---
 # Quality / 品質
-
 Follow the user's input language (日本語 / English). Use native Copilot review and
 security review for their specialist reasoning; this skill does not replace them.
 After the work, run `npx musubix3 workflow-record sdd-quality complete --status
@@ -14,7 +13,7 @@ completed` exactly once.
    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`, `qualityProfile`, coverage thresholds and architecture rules.
@@ -27,8 +26,8 @@ completed` exactly once.
    `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 manifest-scoped Cargo and Maven `target/` and conventional `.venv`
-   or `venv` roots with a regular `pyvenv.cfg`, are excluded; arbitrary source
+   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.
@@ -40,6 +39,7 @@ completed` exactly once.
    fingerprints. Inspect `formal.json` and `workflow.json` when configured.
    Treat workflow records as declarations until `workflow-verify` binds each
    completed declaration to one distinct completed Copilot Skill tool call.
+   Use `workflow-sanitize` before review; it validates before filtering.
    In strict mode require one final successful result, matching session UUID,
    causal transcript order, policy-bounded concurrent-event clock skew, bounded
    freshness, complete tool lifecycles and canonical transcript hash. Ensure the

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.4 - 2026-09-08
+
+- Measure subprocess durations with a monotonic clock and reject negative or
+  non-integer TDD execution durations with `TDD_DURATION_INVALID`.
+- Add `tdd validate` for direct persisted-evidence diagnostics and provide
+  safer regeneration guidance for invalid legacy order or duration records.
+- Add `workflow-sanitize` to reduce Copilot JSONL logs to privacy-minimized
+  Skill lifecycle and terminal events before strict verification.
+- Accept explicit Japanese EARS subjects such as API/service names plus common
+  `時` and `中` control markers, and report bilingual corrective examples.
+- Explain pytest TEST ID naming/project-runner recovery and make policy baseline
+  approval diagnostics actionable for new repositories.
+- Document the natural-language-only TypeScript/Python/PostgreSQL experiment
+  and its fail-closed repair workflow.
+
+## 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

package/README-ja.md

@@ -1,39 +1,76 @@
 # musubix3
 
-**最新公開版 v0.1.2 · GitHub Copilot CLI 専用 · Node.js ≥20 · TypeScript · MIT**
+**最新リリース v0.1.4 · GitHub Copilot CLI 専用 · Node.js ≥20 · TypeScript · MIT**
 
 [English](README.md)
 
-[musubix2 から musubix3 で変わったこと](MUSUBIX2-TO-MUSUBIX3.md)
+[musubix2 から musubix3 で変わったこと](docs/MUSUBIX2-TO-MUSUBIX3.md)
 
-要求 → 憲章 → 設計・ADR → 実装 → 追跡可能性 → 品質根拠、という
-仕様駆動開発（SDD）を、8つの Skills と決定的な検証エンジンで支援します。
-形式的整合性検査、コンパイラによる依存解析、ローカル知識検索も含みます。
+GitHub Copilotは、計画、コード生成、編集、テスト、レビューを実行できます。
+musubix3は、repository-localな仕様と、設定した品質プロファイルが要求する
+根拠を決定的かつfail-closedに検査する仕組みを追加します。
+要求 → 憲章 → 設計・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は仕様を残し、必須証拠を検査し、古い・不完全な必須証拠を拒否して、
+「なぜ設定したpolicyがこの変更をreadyと判断したのか」をreview可能な形で
+repositoryへ残します。
+
 ## クイックスタート
 
-対象プロジェクトで、公開済みパッケージを実行します。
+再現可能なproject-local環境として、exact versionを導入します。
 
 ```sh
-npx musubix3@0.1.2 --version
-npx musubix3@0.1.2 init --dry-run
-npx musubix3@0.1.2 init
+npm install --save-dev --save-exact musubix3@latest
+npx --no-install musubix3 --version
+npx --no-install musubix3 init --dry-run
+npx --no-install musubix3 init
 copilot
 ```
 
-バージョンを固定してプロジェクトへインストールする場合は、次を実行します。
+継続利用するSkill内CLIのversionを固定しない、単発評価だけなら次を使えます。
 
 ```sh
-npm install --save-dev --save-exact musubix3@0.1.2
-npx --no-install musubix3 --version
-npx --no-install musubix3 init --dry-run
-npx --no-install musubix3 init
+npx musubix3@latest --version
+npx musubix3@latest init --dry-run
 ```
 
+生成されたSkillsを継続開発で使う前にexact local dependencyを導入してください。
+Skillsのコマンドはrepository-localな`npx --no-install musubix3`を使用します。
+
 リポジトリ自体をビルドする場合は、次を実行します。
 
 ```sh
@@ -44,7 +81,8 @@ npm run build
 node dist/packages/cli/src/main.js --help
 ```
 
-Copilot に「sdd-requirements でこの機能の要求を定義し、設計を計画して」と依頼します。
+Copilot に「sdd-changeを使ってこの機能を追加し、仕様、実装、追跡可能性、
+品質ゲートまで一貫して反映して」と依頼します。
 すべての Skills は入力言語（日本語・英語）に合わせてガイダンスを生成します。
 
 `init`（別名 `install`）は Skills と雛形を配置し、既存ファイルを保持します。
@@ -73,7 +111,8 @@ copilot plugin install nahisaho/musubix3
 
 `npx musubix3 plugin-install` は `copilot plugin install <package-root>` を実行する
 だけで、Copilot 内部を編集しません。永続的なローカルパスには
-`npm install --save-dev musubix3` と `npx --no-install musubix3 plugin-install` を推奨します。
+`npm install --save-dev --save-exact musubix3@latest` と
+`npx --no-install musubix3 plugin-install` を推奨します。
 一時的な npx キャッシュのパスに依存しないでください。
 
 ### ネイティブマーケットプレイス
@@ -91,7 +130,8 @@ copilot plugin marketplace add ./musubix3
 
 ### リポジトリ内 Skills / npm インストーラー
 
-対象リポジトリで `npx musubix3 init` を実行するか、
+exact local dependencyの導入後に対象リポジトリで
+`npx --no-install musubix3 init`を実行するか、
 `.github/skills/sdd-*` をコピーし、その信頼済みプロジェクトで Copilot を起動します。
 `--root <dir>` で対象を指定でき、`--feature <slug>` は雛形のディレクトリ名と
 ID 接頭辞を変えます。別機能の追加でも既存設定はリセットしません。
@@ -181,8 +221,10 @@ npx musubix3 status --json
 | `model-correspondence validate` | Formal JSON→生成trace→正本passing testの証拠を再検証 |
 | `evidence refresh [--changed]` | 同じfail-closed gate pipelineで派生証拠を再生成 |
 | `mutation validate` | 要求scopeのschema-v1 killed-mutant証拠を再検証 |
+| `tdd validate` | 保存済みRed/Green/Refactorの順序、指紋、実行時間、hash-chainを検証 |
 | `tdd red\|green\|refactor <TEST-ID> --requirement <REQ-ID> --command <name>` | 検証可能なTDDフェーズを実行・記録 |
 | `workflow-record <skill> <phase> --status <status>` | 自己申告のworkflow宣言を記録 |
+| `workflow-sanitize <copilot.jsonl> <output-file> [--session-id <uuid>]` | reviewやstrict検証前にmessageとSkill以外のtool dataを除去 |
 | `workflow-verify <copilot.jsonl> [--strict] [--session-id <uuid>]` | Skillイベントを照合し、任意で完全な成功session transcriptを要求 |
 | `attestation oidc-audience --key-id <id> [--public-key-file <pem>]` | 署名鍵を許可するGitHub custom audienceを導出 |
 | `attestation payload --provider <name> --run-id <id> --key-id <id> [--public-key-file <pem>] [--github-oidc-token-file <jwt>]` | 外部署名用の正規化CI payloadを出力 |
@@ -217,7 +259,7 @@ workflow証拠があれば`workflow`、TDD証拠があれば`tdd`が自動的に
     changes.json                # 変更checkpoint
     order.json                  # TDD/change共通の単調chronology ledger
     performance.json            # 決定的operation budget観測
-    model-correspondence.json   # Formal model→trace→fresh passing test証明
+    model-correspondence.json   # Formal model→trace→fresh passing testの対応証拠
     mutation.json               # freshな要求scope mutation実行証拠
     attestation.json            # 任意の外部署名済みCI provenance
   cache/                       # Git除外。索引とsolver入力
@@ -279,10 +321,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
@@ -377,8 +421,10 @@ glob は `*` / `**` / `?` に対応し、外部依存は `npm:` 接頭辞で表
 `tdd.redPreflightCommands`にはformatter等のplain command名を指定でき、
 Redのtest fingerprintを取得する前に成功が必須です。
 通常ファイルの`pyvenv.cfg`を含む`.venv`と`venv`はsnapshotと
-Code Graphから除外されますが、任意のsource directoryにmarkerを置いても
-除外されません。
+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` への
@@ -411,12 +457,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前にはテスト以外のプロジェクト入力が変更されている必要があります。
@@ -427,10 +475,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上の依存だけを指紋化するため、
@@ -470,6 +519,8 @@ mutation/model-correspondenceのsemantic headはattestationに含まれ、元の
 `workflow-verify` はCopilot JSONLからSkill発火メタデータだけを取り込み、完了宣言ごとに
 異なる成功完了tool callを順序付きで1対1対応させます。未完了、失敗、再利用、順序違反、
 後からの宣言変更は失敗です。
+元transcriptにmessage、Skill以外のtool引数、outputが含まれる場合は、
+review evidenceへ入れる前に`workflow-sanitize`で必要最小限へ変換します。
 したがって各Skill発火は最終workflow outcomeを1件だけ記録し、複数phaseのchronologyは
 重複workflow eventではなく`change-record`に記録します。
 `"workflow":{"mode":"strict"}`または`--strict`では、全非空行のJSON、
@@ -482,7 +533,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引数は早期拒否します。
@@ -526,10 +578,13 @@ skipped/unsigned-localではなくfailed/missingとして報告します。
 }
 ```
 
-Ed25519鍵はmusubix3外で生成し、公開PEMだけを`attestation oidc-audience`へ渡します。
+通常のCLI利用ではEd25519鍵をmusubix3外で生成し、公開PEMだけを
+`attestation oidc-audience`へ渡します。
 その完全一致audienceでGitHub Actions OIDC tokenを要求し、公開PEMとJWT fileを
-`attestation payload`へ渡して、出力payloadを外部で署名します。musubix3は秘密鍵を
-読み取りも保存もしません。短命JWTは署名済みattestationに含まれ、現在時刻で期限を
+`attestation payload`へ渡して、出力payloadを外部で署名します。`musubix3` CLIは
+秘密鍵を受け取らず、読み取りも保存もしません。このrepositoryのrelease専用automationは
+別途ephemeral private keyを無視対象の`.test-work`内に生成して署名へ使用し、
+CLI検証を呼び出す前に削除します。短命JWTは署名済みattestationに含まれ、現在時刻で期限を
 検査するため、有効期間内に検証する必要があります。これはGitHub OIDC identityが
 署名鍵と記載claimを認可したことを示しますが、runnerの任意動作やworkflowの意味的正しさ
 までは証明しません。workflow evidence headは別途transcript/sessionを署名へ束縛します。
@@ -565,19 +620,25 @@ 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ファイルで、共変更は相関、
   著者別ディレクトリ件数は貢献の記録であって因果や専門性ではありません。
   履歴がない場合は明示的に skipped。外部サービスへは送信しません。
-- Node 20 と Node 24（現行LTS）をCI対象とし、Linuxで検証します。
-  Windowsの実行ラッパー・プロセスツリー停止はRC保証対象外です。
+- Core CIはNode 22をLinux、Windows、macOSで実行し、LinuxではNode 20と
+  Node 24の互換性も追加確認します。native adapterとformal solverの統合は、
+  固定toolchainを使ってLinuxで実行します。
+  Windowsの実行ラッパーとprocess tree停止にはplatform固有の差があります。
   ESLintは追加せず、strict TypeScript と既存テストで検証します。
 
 ## 開発・リリース検査
@@ -595,9 +656,29 @@ npm run pack:smoke
 `packages/domain` は純粋な検証、`packages/analysis` は根拠・コンパイラ・
 ファイルシステム、`packages/cli` はコマンドと配置を担当します。
 ビルド出力は `dist/packages/**`。npm パッケージには隠しSkills、プラグイン定義、
-CLI、モジュール、雛形が明示的に含まれます。CI は Node 20/24 を検証します。
+CLI、モジュール、雛形が明示的に含まれます。Core CIはNode 22をLinux、Windows、
+macOSで実行し、LinuxではNode 20/24の互換性も検証します。native adapterと
+formal solverは固定toolchainを使ってLinuxで統合検証します。
 `pack:smoke` は実際のtarballを `.test-work/` 内の独立した利用側プロジェクトへ
 導入し、実行ファイル・ESM export・配置を確認してから削除します。
 attestation APIは`musubix3/analysis`と専用`musubix3/attestation` exportの
 両方から利用できます。
+
+`v*` tagは`.github/workflows/release.yml`を起動します。workflowはtagと
+package/plugin versionの一致を検証し、Linux上のnative/formal suiteを実行して、
+npm tarball、CycloneDX SBOM、SHA256SUMS、GitHub Releaseを生成します。
+`npm publish --provenance --access public`は保護された`npm-publish` environmentで
+別途承認されます。npm Trusted Publishingを優先し、任意の`NPM_TOKEN` environment
+secretも利用できます。npm publishがpendingまたは失敗してもGitHub Release作成結果を
+成功に見せかけず、各jobの状態を独立して確認できます。手動実行ではrelease tagを
+workflow refとして選び、同じ値を`release_tag`へ指定します。tagがOIDCに束縛された
+`GITHUB_SHA`を指していなければworkflowは拒否します。
+
+release attestationは、ephemeral Ed25519公開鍵をcustom audienceへ束縛した
+GitHub Actions OIDC tokenを使用します。署名対象にはrepository、Git commit、
+run ID、workflow/ref identity、workspace snapshot、存在するmusubix evidence headが
+含まれます。release automationは`.test-work`内のprivate keyで署名した後、
+CLI検証前に削除し、署名済みattestationだけをuploadします。署名だけでtest semanticsが
+正しいとは主張せず、testとsolverは先行するrelease validation jobで検査します。
+
 [CONTRIBUTING.md](CONTRIBUTING.md) と [CHANGELOG.md](CHANGELOG.md) も参照してください。