docs: VS Code extension 0.3.0 is now live on the Marketplace

Verified ChanMeng.archlang@0.3.0 published (gallery API). Drop the "pending
upload" note from AGENTS.md and record the version in the work-log status line.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

Author: ChanMeng666

AGENTS.md

@@ -20,7 +20,7 @@ not a work-in-progress. Treat the live artifacts below as the source of truth.
 |-------|---------|-------|
 | **Core package** | `@chanmeng666/archlang@1.2.0` (published, `latest`) | npmjs.com/package/@chanmeng666/archlang |
 | **Agent interface** | the `arch` **CLI** (`--json`, exit codes, stdin) + `SKILL.md` + `spec.llm.md` — **no MCP** | `src/cli.ts`, `SKILL.md`, `spec.llm.md` |
-| **VS Code extension** | `ChanMeng.archlang@0.2.0` live on the Marketplace; **`0.3.0` packaged, pending web upload** (`editors/vscode/archlang-0.3.0.vsix`) | marketplace.visualstudio.com/items?itemName=ChanMeng.archlang |
+| **VS Code extension** | `ChanMeng.archlang@0.3.0` (published, live) | marketplace.visualstudio.com/items?itemName=ChanMeng.archlang |
 | **Playground** | deployed | https://archlang-playground.vercel.app |
 | **Docs site** | deployed (VitePress) | https://archlang-docs.vercel.app |
 | **Git** | `main`, tags `v1.0.0` → `v1.2.0` (latest) | github.com/ChanMeng666/archlang |

docs/WORK-LOG.md

@@ -8,7 +8,7 @@
 > [`docs/IMPLEMENTATION-PLAN-v0.7-v1.0.md`](./IMPLEMENTATION-PLAN-v0.7-v1.0.md) is
 > the (now-completed) plan these phases executed.
 
-_Last updated: **v1.2.0 SHIPPED (architectural soundness).** Core published `@chanmeng666/archlang@1.2.0` (`latest`); playground + docs site deployed. v1.2 makes architecturally wrong plans hard to ship and easy to detect: four new `arch lint` rules (bath-via-bedroom, room-not-enclosed, door-swing-obstructed, no-fixtures), drawn plumbing/kitchen fixture symbols + a `lib/fixtures.arch` library, `dims auto` dimension synthesis, and a corrected, lint-clean `examples/studio.arch`. v1.1 (prior) made ArchLang drivable by an AI agent end-to-end through its CLI (no MCP): an agent-native CLI (`--json`, exit codes, stdin, `fix`-carrying diagnostics), `arch spec`/`spec.llm.md`, `arch describe` (semantic JSON), `arch lint` (soundness), a `SKILL.md`, and an NL→ArchLang `eval/` harness. Sections 3–4b below are the accurate v0.8–v0.10 implementation history; sections 1, 2, 4c, 4d, 5, 7 reflect the launched state. For the full v1.1/v1.2 detail read `CHANGELOG.md`._
+_Last updated: **v1.2.0 SHIPPED (architectural soundness).** Core published `@chanmeng666/archlang@1.2.0` (`latest`); VS Code extension `ChanMeng.archlang@0.3.0` published; playground + docs site deployed. v1.2 makes architecturally wrong plans hard to ship and easy to detect: four new `arch lint` rules (bath-via-bedroom, room-not-enclosed, door-swing-obstructed, no-fixtures), drawn plumbing/kitchen fixture symbols + a `lib/fixtures.arch` library, `dims auto` dimension synthesis, and a corrected, lint-clean `examples/studio.arch`. v1.1 (prior) made ArchLang drivable by an AI agent end-to-end through its CLI (no MCP): an agent-native CLI (`--json`, exit codes, stdin, `fix`-carrying diagnostics), `arch spec`/`spec.llm.md`, `arch describe` (semantic JSON), `arch lint` (soundness), a `SKILL.md`, and an NL→ArchLang `eval/` harness. Sections 3–4b below are the accurate v0.8–v0.10 implementation history; sections 1, 2, 4c, 4d, 5, 7 reflect the launched state. For the full v1.1/v1.2 detail read `CHANGELOG.md`._
 
 ---