Rename sync:circt → local:circt for clarity

'local:circt' better conveys that this copies built WASM artifacts into
static/circt/ for local development. 'publish:circt' does the same plus
uploads to the GitHub Release for CI/deploy.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: thomasahle

README.md

@@ -40,7 +40,7 @@ Equivalent step-by-step:
 3. `npm run setup:pyodide`
 4. `npm run setup:circt`
 5. `npm run build:circt`
-6. `npm run sync:circt`
+6. `npm run local:circt`
 7. `npm run build`
 
 The CIRCT wasm build script enforces conservative resource limits by default:
@@ -66,7 +66,7 @@ CIRCT_WASM_TARGETS="circt-verilog circt-sim circt-bmc circt-sim-vpi" npm run bui
 - `npm run setup:pyodide`
 - `npm run setup:circt`
 - `npm run build:circt`
-- `npm run sync:circt`
+- `npm run local:circt`
 - `npm run bootstrap:repro`
 
 ## Optional Runtime Overrides
@@ -112,7 +112,7 @@ In `.env` (copy `.env.example`):
   4. run `scripts/setup-pyodide.sh`
   5. run `scripts/setup-circt.sh` (pinned CIRCT ref)
   6. run `scripts/build-circt-wasm.sh`
-  7. run `npm run sync:circt`
+  7. run `npm run local:circt`
   8. run `npm run build`
 
 ## E2E

docs/circt-uvm-browser-worker-repro.md

@@ -10,7 +10,7 @@ without using lesson UI clicks.
 
 ```bash
 scripts/setup-circt.sh
-npm run sync:circt
+npm run local:circt
 ```
 
 ## Repro command

package.json

@@ -14,7 +14,7 @@
     "build:circt": "./scripts/build-circt-wasm.sh",
     "bootstrap:repro": "./scripts/bootstrap-repro.sh",
     "repro:vpi:node": "node scripts/repro-cocotb-vpi-put-value.mjs",
-    "sync:circt": "./scripts/sync-circt-wasm.sh",
+    "local:circt": "./scripts/sync-circt-wasm.sh",
     "publish:circt": "./scripts/sync-circt-wasm.sh --publish",
     "test": "vitest run",
     "test:e2e": "playwright test"

scripts/bootstrap-repro.sh

@@ -11,7 +11,7 @@ scripts/setup-surfer.sh
 scripts/setup-pyodide.sh
 scripts/setup-circt.sh
 scripts/build-circt-wasm.sh
-npm run sync:circt
+npm run local:circt
 npm run build
 
 echo "Bootstrap complete."

scripts/setup-circt.sh

@@ -60,7 +60,7 @@ Next:
      cmake ... -DCIRCT_SIM_WASM=ON -DCIRCT_BMC_WASM=ON
    VPI-capable sim for cocotb lessons (additional build target):
      cmake ... -DCIRCT_SIM_WASM_VPI=ON
-2. Run scripts/sync-circt-wasm.sh to copy artifacts to static/circt/.
+2. Run npm run local:circt (or publish:circt to also push to GitHub Release).
    (The script also patches browser-compatibility issues in circt-sim.js.)
 3. Optionally override artifact URLs with VITE_* env vars in .env:
    VITE_CIRCT_VERILOG_JS_URL / VITE_CIRCT_VERILOG_WASM_URL