docs(work): use workledger command name

Update work graph verification references from work to workledger.

work/northstars/NS-0001-testing-strategy.md

@@ -32,8 +32,8 @@ Make hemx verification boring and reliable by keeping a documented confidence la
 
 ## Verification
 
-- `work check`
-- `work list`
+- `workledger check`
+- `workledger list`
 - Later implementation slices choose the narrowest relevant command, then use `cargo run -p hemx-xtask -- test` when changing shared verification authority.
 
 ## Non-goals

work/northstars/NS-0002-lsp-editor-experience.md

@@ -34,8 +34,8 @@ Complete the `.heml` editor experience around existing compiler/build authority:
 
 ## Verification
 
-- `work check`
-- `work list`
+- `workledger check`
+- `workledger list`
 - Later implementation slices should prefer focused `cargo test -p hemx-lsp`/integration tests, then `cargo check --workspace` or `cargo run -p hemx-xtask -- test` when build integration changes.
 
 ## Non-goals

work/northstars/NS-0003-hemplate-highlighting.md

@@ -28,8 +28,8 @@ Make `.heml` highlighting predictable in editors by defining the repo-owned high
 
 ## Verification
 
-- `work check`
-- `work list`
+- `workledger check`
+- `workledger list`
 - Later implementation slices should use repo-owned fixture/query tests where available; provider-specific visual/manual checks must name the editor and blocker.
 
 ## Non-goals

work/slices/SLICE-0010-highlight-boundary.md

@@ -26,7 +26,7 @@ Turn "tree-sitter highlighting for hemplate" into a bounded repo-owned contract:
 
 ## Verification
 
-- `work check` for the slice contract now.
+- `workledger check` for the slice contract now.
 - Later implementation: a repo-owned fixture/query test command, or a manual editor smoke if no automated query runner exists yet.
 
 ## Non-goals