validate-specs
Validate specs against source code (detect drift)
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
メニュー
Validate specs against source code (detect drift)
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
Run the release-blocking Pester gate (tests/PsBash.Tests.ps1) the reliable way — build cmdlets, refresh beside-module DLLs, isolate PSModulePath from a stale installed PsBash, run Invoke-Pester.
Use (or extend) the shared PsBuild PowerShell-text builder and the OS-interface FileSystemHelpers/RunChildProcess helpers instead of hand-rolling PS strings or platform branches
Add a new bash command to the ps-bash transpiler and runtime
Add new grammar production to the bash parser (new token, AST node, or syntax)
Debug a bash command that produces wrong output or crashes in ps-bash
Rebuild and publish the local ps-bash exe for testing in opencode
| name | validate-specs |
| description | Validate specs against source code (detect drift) |
文言:四核——token枚舉↔grammar表、TryEmitMappedCommand↔mapped表、Invoke-Bash*↔command表、Set-Alias↔alias;漂移則改spec(碼為準)。
Run after parser/emitter/runtime changes. Source is authority; specs follow.
BashTokenKind enum (src/PsBash.Transpiler/Parser/BashToken.cs) == Token Reference table in docs/specs/parser-grammar.md.case "..." in TryEmitMappedCommand (src/PsBash.Transpiler/Parser/PsEmitter.cs) == Mapped Commands table in emitter-strategy.md. Also PsBuiltinAliases HashSet == its Standalone-Mapping doc.^function Invoke-Bash* in PsBash.psm1 == Command Reference table in runtime-command-reference.md. Internal helpers (e.g. Invoke-BashChecksum) may be absent if named in a row.^Set-Alias in PsBash.psm1 appears in runtime-command-reference.md (table or Additional-aliases line).Update the spec to match source.