musubix3 0.1.3 → 0.1.5

package/.github/plugin/marketplace.json

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

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

@@ -3,16 +3,18 @@ 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.
+Follow the user's input language. Use native Copilot planning, editing, research, review, security review and subagents.
 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.
-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.
+Run `workflow-sanitize <copilot.jsonl> <safe.jsonl>` before review, then
+`workflow-verify <safe.jsonl>`; it validates source-order lifecycles without
+assuming globally monotonic clocks unless `maxEventSkewMs` is explicitly set.
+For large logs, baseline-protect transcript total/line byte limits; never truncate or edit to bypass them.
+For strict evidence, bind an expected UUID; GitHub origin needs strict OIDC.
 Never record multiple declarations per invocation; use only the configured CLI.
+For broad work, use short stages: initialize, requirements, design, real Red,
+Green, integration, trace/formal, quality. Report each result before the next prompt.
 For a staged change, run `change-record <CHANGE-ID> <phase> --requirement
 <REQ-ID...>` after each phase in this exact order: `impact`, `requirements`,
 `design`, `red`, `implementation`, `green`, `quality`.
@@ -60,10 +62,8 @@ Persisted monotonic order, not wall-clock time, proves these phase boundaries.
    `@verifies` annotations in the authoritative implementation and test files.
    Never create proxy or placeholder source files solely to satisfy trace coverage.
    Links are evidence locations, not proof by themselves.
-5. Run focused tests during implementation, then the configured typecheck,
-   build and complete test commands.
-Documentation, formatting and prototypes may omit TDD unless policy requires it;
-record the reason and never exempt observable behavior changes.
+5. Run focused tests, then configured typecheck, build and complete test commands.
+Documentation/prototypes may omit TDD only when policy allows; record the reason.
 ## 4. Rebuild evidence and finish / 根拠更新と完了
 1. Run `trace build`, `trace check --strict`, `graph index`, and `graph gate`.
 2. Run `formal check` when changed requirements fit its documented abstraction;

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

@@ -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
@@ -44,7 +46,8 @@ After the work, run `npx musubix3 workflow-record sdd-implementation complete
    ```
    IDs are globally unique. Multiple targets are comma/space-separated.
    Put annotations in the authoritative source and test files, including
-   supported non-JS/TS files; never add a proxy file just to increase coverage.
+   supported non-JS/TS files. In Python, use consecutive `#` comment lines;
+   annotations inside docstrings are ignored and diagnosed. Never add a proxy file just to increase coverage.
    An annotation establishes a link, not proof that code or tests are correct.
 5. Before recording Red, run every configured `tdd.redPreflightCommands`
    formatter/check and let musubix3 enforce that preflight. Then run the
@@ -54,7 +57,9 @@ After the work, run `npx musubix3 workflow-record sdd-implementation complete
    test linkage, source/test SHA-256, operator/location, and killed status.
    Never fabricate results or add a large mutation dependency. Use
    `npx musubix3 mutation doctor --json` to inspect locally available engines
-   and configuration recommendations.
+   and configuration recommendations. Before Python mutation runs, remove
+   existing `__pycache__` directories, then use `-B` for mutation and test
+   commands so stale bytecode is absent and no new `.pyc` files are created.
 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

@@ -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
@@ -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
@@ -61,7 +61,7 @@ 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.
-   Run `mutation doctor` for language-aware local probes and remediation;
+   Treat zero executed or non-passing tests as incomplete evidence after exit zero; run `mutation doctor`;
    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

package/CHANGELOG.md

@@ -2,6 +2,49 @@
 
 ## Unreleased
 
+- Parse Surefire/Failsafe `<testcase>` elements correctly when a self-closing
+  entry precedes one with `<system-out>`/`<system-err>` children, so JUnit
+  identities are no longer dropped or given a neighbouring test's status.
+- Stop counting Java, Kotlin and Scala annotations as calls in Code Graph.
+- Report the offending field and mutant index for invalid schema-v1 mutation
+  reports instead of a single opaque message.
+- Explain that superseded TDD cycles are still validated and must be archived
+  and regenerated rather than replaced by a newer recording.
+- Label `status` artifact counts as requirement and design files, and document
+  the `musubix3/analysis` entry point for `mutationIdentity` plus the
+  `.musubix/evidence/native/` location for command-generated reports.
+- Name the configuration key that raises a rejected workflow transcript total or
+  line size limit instead of only reporting the exceeded bound.
+
+## 0.1.5 - 2026-09-08
+
+- Accept causally ordered concurrent workflow events whose clocks are not
+  monotonic by default, while preserving optional policy-bound timestamp skew.
+- Add policy-protected `workflow.maxTranscriptBytes` and
+  `workflow.maxTranscriptLineBytes` so streaming sanitization and verification
+  can process large real Copilot transcripts without removing resource bounds.
+- Fail structured required test commands that report zero executed tests or
+  skipped tests even when the process exits successfully.
+- Diagnose Python trace annotations hidden in docstrings and recommend
+  bytecode-free Python mutation/test execution to prevent stale `.pyc` results.
+- Guide broad SDD changes through short reviewable stages rather than requiring
+  a single all-inclusive prompt.
+
+## 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

package/README-ja.md

@@ -1,14 +1,14 @@
 # musubix3
 
-**最新リリース v0.1.3 · 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)
 
 GitHub Copilotは、計画、コード生成、編集、テスト、レビューを実行できます。
-musubix3は、その作業を本当に完了と判断するためのrepository-localな仕様と
-決定的な証拠を追加します。
+musubix3は、repository-localな仕様と、設定した品質プロファイルが要求する
+根拠を決定的かつfail-closedに検査する仕組みを追加します。
 要求 → 憲章 → 設計・ADR → 実装 → 追跡可能性 → 品質根拠を、
 8つのSkillsと検証CLIで接続します。
 
@@ -45,29 +45,32 @@ Copilotは実装を担うエンジンです。要求を理解し、repositoryを
 
 musubix3はCopilotを置き換えず、別のcoding agentも追加しません。
 SATだから実装が正しいとも主張しません。開発はCopilotが実行し、
-musubix3は仕様を残し、証拠を検査し、古い・不完全な完了宣言を拒否して、
-「なぜこの変更をreadyと判断できるのか」をreview可能な形でrepositoryへ残します。
+musubix3は仕様を残し、必須証拠を検査し、古い・不完全な必須証拠を拒否して、
+「なぜ設定したpolicyがこの変更をreadyと判断したのか」をreview可能な形で
+repositoryへ残します。
 
 ## クイックスタート
 
-対象プロジェクトで、公開済みパッケージを実行します。
+再現可能なproject-local環境として、exact versionを導入します。
 
 ```sh
-npx musubix3@0.1.3 --version
-npx musubix3@0.1.3 init --dry-run
-npx musubix3@0.1.3 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.3
-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
@@ -78,7 +81,8 @@ npm run build
 node dist/packages/cli/src/main.js --help
 ```
 
-Copilot に「sdd-requirements でこの機能の要求を定義し、設計を計画して」と依頼します。
+Copilot に「sdd-changeを使ってこの機能を追加し、仕様、実装、追跡可能性、
+品質ゲートまで一貫して反映して」と依頼します。
 すべての Skills は入力言語（日本語・英語）に合わせてガイダンスを生成します。
 
 `init`（別名 `install`）は Skills と雛形を配置し、既存ファイルを保持します。
@@ -107,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 キャッシュのパスに依存しないでください。
 
 ### ネイティブマーケットプレイス
@@ -125,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 接頭辞を変えます。別機能の追加でも既存設定はリセットしません。
@@ -215,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を出力 |
@@ -251,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入力
@@ -318,6 +326,8 @@ JS/TSはparser-awareなcomment位置を使い、Haskellは`--`と`{- ... -}`、
 Luaは`--`と`--[[ ... ]]`、Visual Basicは`'''` XML documentを含む
 apostrophe commentを扱います。これらは文字列中の記載をリンクとして扱いません。
 その他の言語では対応する行commentまたはblock commentを使用します。
+Pythonは連続した`#` commentを使用してください。docstring内のannotationは無視され、
+`TRACE_ANNOTATION_IN_PYTHON_DOCSTRING`で配置変更を案内します。
 網羅率だけを満たす代理JS/TSファイルは作成しません。
 
 ```ts
@@ -385,7 +395,9 @@ version: 1.0.0
     "mode": "compatible",
     "maxAgeSeconds": 3600,
     "maxFutureSkewSeconds": 60,
-    "maxEventSkewMs": 1000
+    "maxEventSkewMs": 1000,
+    "maxTranscriptBytes": 250000000,
+    "maxTranscriptLineBytes": 2000000
   },
   "attestation": {
     "mode": "local",
@@ -412,8 +424,9 @@ glob は `*` / `**` / `?` に対応し、外部依存は `npm:` 接頭辞で表
 含む完全なrelease checkを要求します。不足設定や弱い設定を証拠で補ったことにはしません。
 `tdd.redPreflightCommands`にはformatter等のplain command名を指定でき、
 Redのtest fingerprintを取得する前に成功が必須です。
-通常ファイルの`pyvenv.cfg`を含む`.venv`と`venv`はsnapshotと
-Code Graphから除外されます。Gradle `.gradle/`、Dart `.dart_tool/`、
+通常ファイルの`pyvenv.cfg`を含む`.venv`と`venv`に加え、生成された
+`__pycache__/` directoryはsnapshotとCode Graphから除外されます。
+sourceなしで実行可能な`.pyc`/`.pyo`単体fileは追跡対象のままです。Gradle `.gradle/`、Dart `.dart_tool/`、
 SwiftPM `.build/`、Zig `.zig-cache/`/`zig-out/`、.NET `.dotnet/`は、
 親directoryに対応manifestがある場合だけ除外されます。同名の任意source
 directoryは追跡対象のままです。
@@ -446,7 +459,9 @@ strict OIDC identity/key binding、必須コマンド名の最低条件です。
 介さず、時間と出力サイズを制限して実コマンドを動かします。個別の必須コマンドは
 集約 `commands` の設定に関係なく失敗・未実行で準備不可になります。
 任意コマンドの失敗は非阻止ですが、憲章が失敗件数を制限していれば不合格です。
-コマンド未設定は skipped です。
+コマンド未設定は skipped です。構造化test commandはprocessがexit 0でも、
+実行testが0件、またはskipped・failed・error testを1件でも報告した場合は
+失敗します。integration suiteが依存service不在のまま暗黙に通ることを防ぎます。
 
 TDD用コマンドには明示的な`tddArgs`と`tddReport`、または組込みの
 `vitest`、`jest`、`pytest`、`go-test`、`cargo`、`junit`、`dotnet` adapterが必要です。
@@ -455,6 +470,8 @@ Vitest/Jestの無関係なskipped結果は対象TDDから除外します。pytes
 `test_TEST_APP_001`形式、Goには`TEST-*`名のsubtest、Cargoには`test_app_001`形式、
 JUnitには正確な`@Tag("TEST-APP-001")`と、IDを含むmethod名または`@DisplayName`を推奨します。
 正規化処理はtestcase属性とJUnit Platformのdisplay-name出力の両方を読み取り、
+Surefire/Failsafeのtestcase要素は自己終了形でも`<system-out>`/`<system-err>`を
+含む形でも解析するため、Spring Bootのbanner等のlog出力で合格IDが欠落しません。
 xUnitには`[Fact(DisplayName = "TEST-APP-001 ...")]`が必要です。
 それぞれXMLまたはTRX report directoryを読み取ります。各フェーズ前に旧レポートを削除し、
 必要なreport親directoryを作成して、対象テストだけを含むfreshな `musubix-json` を要求します。Redは `failed`、
@@ -504,6 +521,9 @@ freshなschema-v1 mutantは、決定的`MUT-<hash>` identity、must functional r
 設定driftを拒否します。既定の`compatible`は証拠なしを許容し、releaseでは`strict`と
 mutation commandをpolicy baselineで保護します。大規模mutation engineは同梱しません。
 mutation/model-correspondenceのsemantic headはattestationに含まれ、元のprovenanceも再検査されます。
+Pythonではstaleな`.pyc`によるfalse survivorを防ぐため、`mutation doctor`は
+各run前の`__pycache__`削除と、その後の`python -B -m mutmut`および
+`python -B -m pytest`を推奨します。
 
 品質根拠は状態、必須フラグ、終了コード・出力、実測値、日時、入力の指紋を保存します。
 変更ゲートのパス、HEAD、影響範囲は後続の通常ゲートでも保持します。
@@ -511,6 +531,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、
@@ -520,12 +542,20 @@ event数、terminal時刻、raw source hash、canonical transcript hashを保存
 `workflow.expectedSessionId`または`--session-id`でcaller申告sessionの置換を拒否します。
 strict検証は`workflow.maxAgeSeconds`と`workflow.maxFutureSkewSeconds`で
 terminal transcriptの古さと未来方向clock skewも制限します。
-並行eventはtimestamp順で出力されない場合があるため、全体sortではなくtool/resultの
-因果順序を検査します。
+並行eventや異なる実行clockのtimestampは単調にならない場合があるため、JSONLの
+source順でtool/resultの因果関係を検査し、timestamp sortは行いません。
+pair/terminalのclock skewは`maxEventSkewMs`を明示した場合だけ制限し、
+terminalの古さ・未来skew policyは独立して検査します。検証はstreamingかつresource-boundで、
+既定上限は100,000,000 bytesです。大きな実transcriptには`workflow.maxTranscriptBytes`を
+最大1,000,000,000 bytesまで明示設定できます。1 JSONL行は既定1,000,000 bytesで、
+`workflow.maxTranscriptLineBytes`により最大10,000,000 bytesまで設定できます。
+選択した両上限はpolicy baselineで保護できます。
 gate実行中に入力が変わった場合、`input-stability`は追加・変更・削除された各pathと
 前後のSHA-256を報告します。Cargo/Mavenの標準`target/`、manifest直下の
 .NET `bin/`と`obj/`、project-local `.nuget/packages/`は除外しますが、
-source相当の生成入力はfail-closedのままです。組込みadapterは対象test選択とreport引数を
+source相当の生成入力はfail-closedのままです。コマンドが生成するreportは
+追跡対象のsource treeではなく`.musubix/evidence/native/`配下へ出力してください。
+gate中に自身のreportを書き込むとinput stabilityが失敗します。組込みadapterは対象test選択とreport引数を
 所有します。Cargo/Goの既存設定にある先頭`test`は安全に統合し、
 `--json-report`など競合するreport引数は早期拒否します。
 実行中の入力変更は失敗、その後の変更は `status` で stale になります。
@@ -568,10 +598,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を署名へ束縛します。
@@ -622,8 +655,10 @@ Ed25519鍵はmusubix3外で生成し、公開PEMだけを`attestation oidc-audie
   日本語は文字 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 と既存テストで検証します。
 
 ## 開発・リリース検査
@@ -641,9 +676,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) も参照してください。