From 21ae83885be13c8fd091f61bf03ec8ea6cbf69ee Mon Sep 17 00:00:00 2001 From: Teakowa Date: Wed, 30 Sep 2026 23:58:03 +0800 Subject: [PATCH] fix(wright): state that inspect is unavailable for OPY input Wright 0.4.0 returns source-provider-unsupported for inspect on .opy, as docs/opy/support-matrix.md documents. The language notes claimed it applied. --- skills/wright/SKILL.md | 2 +- skills/wright/references/language-notes.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/skills/wright/SKILL.md b/skills/wright/SKILL.md index 7f90d7b..bd062a8 100644 --- a/skills/wright/SKILL.md +++ b/skills/wright/SKILL.md @@ -12,7 +12,7 @@ Wright is the semantic tooling for these projects: it parses, validates, lints, - **Is it correct?** `check`. It is only the correctness gate: it passes code that will freeze a server, such as a `While(True)` with no `Wait`. - **Is it risky or expensive?** `lint` for stable-rule findings, `analyze` for element cost, hotspots, and shared state. Run these alongside `check`, before and after a change. -- **What does this symbol or rule do, and what breaks if I change it?** `inspect` (symbols, refs, cfg, callgraph, cost) resolves by name and follows semantics where grep only matches text. +- **What does this symbol or rule do, and what breaks if I change it?** `inspect` (symbols, refs, cfg, callgraph, cost) resolves by name and follows semantics where grep only matches text. It works on raw Workshop, not OPY (see the language notes). - **Many questions about one project?** `wright serve` loads it once. - **Need Workshop output, or OPY from raw Workshop?** `compile`, `convert`. `convert` reconstructs, it does not recover your source. diff --git a/skills/wright/references/language-notes.md b/skills/wright/references/language-notes.md index 108b58a..9143beb 100644 --- a/skills/wright/references/language-notes.md +++ b/skills/wright/references/language-notes.md @@ -9,7 +9,7 @@ Confirm against `wright --help` and the `capabilities` session operation; suppor ## OverPy (`.opy`) -- Compiled natively by Wright with the first-party OPY provider (`--opy-provider` overrides it). `check`, `lint`, `analyze`, `inspect`, and `compile` apply. +- Compiled natively by Wright with the first-party OPY provider (`--opy-provider` overrides it). `check`, `lint`, `analyze`, and `compile` apply. `inspect` does not: on OPY it returns `source-provider-unsupported`, so answer symbol and flow questions from the source and `analyze`, and say what `inspect` would have confirmed. - Edits are provider-owned. The raw edit operations refuse OPY input and name the provider operations; use those when the version offers them, otherwise edit the source directly and re-verify. - `convert` runs Workshop to OPY only. Output is canonical, without comments, macros, or formatting, and unrepresentable constructs are rejected without partial output.