docs: sync agent docs to v1.2.0 + add CLAUDE.md

Bring the agent-facing docs to the current shipped state so an AI agent reads an
accurate, complete picture:
- AGENTS.md: v1.2.0 status table (core 1.2.0, vscode 0.3.0 pending upload, 388
  tests), the v1.2 capability summary, new modules, and gotchas for the shared
  door-swing geometry, fixture-by-category dispatch, and the import-free studio.
- README.md: features now list drawn fixtures, the architectural-soundness lint
  rules, and dims auto; the "taste" snippet replaced with a lint-clean example
  (enclosed bath, real fixtures) instead of the old stop-short partition.
- llms.txt: note the soundness checks, fixtures, and dims auto in the USE loop.
- CLAUDE.md (new): imports AGENTS.md as the canonical source, plus the
  non-negotiable invariants (purity/determinism, generated files, errors-as-data)
  and the CLI-based verification loop.

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

Author: ChanMeng666

AGENTS.md

@@ -13,18 +13,25 @@ ArchLang — A small declarative language that compiles to professional SVG floo
 
 ## Project status & where things live (current)
 
-**ArchLang is shipped and launched (v1.1.0).** This is a published, deployed monorepo —
+**ArchLang is shipped and launched (v1.2.0).** This is a published, deployed monorepo —
 not a work-in-progress. Treat the live artifacts below as the source of truth.
 
 | Thing | Current | Where |
 |-------|---------|-------|
-| **Core package** | `@chanmeng666/archlang@1.1.0` (published, `latest`) | npmjs.com/package/@chanmeng666/archlang |
+| **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` (published, live) | marketplace.visualstudio.com/items?itemName=ChanMeng.archlang |
+| **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 |
 | **Playground** | deployed | https://archlang-playground.vercel.app |
 | **Docs site** | deployed (VitePress) | https://archlang-docs.vercel.app |
-| **Git** | `main`, tags `v1.0.0` → `v1.1.0` (latest) | github.com/ChanMeng666/archlang |
-| **Tests** | 371 passing (41 files); typecheck + build clean | — |
+| **Git** | `main`, tags `v1.0.0` → `v1.2.0` (latest) | github.com/ChanMeng666/archlang |
+| **Tests** | 388 passing (42 files); typecheck + build clean | — |
+
+**Latest release — v1.2.0 (architectural soundness, fixtures, auto-dims).** The mechanical compiler
+was sound but blind to tacit architectural knowledge. v1.2 adds: four `arch lint` rules
+(`W_BATH_VIA_BEDROOM`, `W_ROOM_NOT_ENCLOSED`, `W_SWING_OBSTRUCTED`, `W_ROOM_NO_FIXTURE`); **drawn
+fixture symbols** (`furniture wc|basin|shower|bathtub|kitchen_sink|counter|fridge|stove` render real
+plan glyphs, with `examples/lib/fixtures.arch` as a component library); `dims auto [overall|rooms|all]`
+to synthesize dimension strings; and a corrected, lint-clean `examples/studio.arch`. See `CHANGELOG.md`.
 
 > Beware older docs that predate the launch: `docs/IMPLEMENTATION-PLAN-v0.7-v1.0.md`
 > is the (now-completed) roadmap, and the earlier half of `docs/WORK-LOG.md` is
@@ -49,9 +56,13 @@ not a work-in-progress. Treat the live artifacts below as the source of truth.
 └─ test/              vitest: snapshot + fast-check + unit + visual-regression + CLI/describe/lint/eval
 ```
 
-Key `src/` modules added in v1.1 (all pure, exported from `src/index.ts`): `describe.ts`
-(semantic summary), `lint.ts` (architectural soundness rules), `analyze.ts` (shared resolve
-pipeline + rectilinear geometry behind both). The agent-facing CLI lives in `src/cli.ts`.
+Key agent-facing `src/` modules (all pure, exported from `src/index.ts`): `describe.ts`
+(semantic summary), `lint.ts` (architectural soundness rules — v1.2 added circulation/enclosure/
+swing-clearance/fixture checks), `analyze.ts` (shared resolve pipeline + rectilinear geometry —
+door connectivity, perimeter enclosure — behind both `describe` and `lint`). `geometry.ts` holds the
+shared door-swing quarter-disc geometry used by both the renderer and the linter;
+`elements/fixtures-glyphs.ts` (v1.2) draws the fixture symbols. The agent-facing CLI lives in
+`src/cli.ts`.
 
 A single `npm install` at the root bootstraps every workspace.
 
@@ -155,7 +166,16 @@ source (.arch)
 - **`npm run dev`** (repo root) runs `tsup --watch` (a rebuild watcher), not a web server. The
   playground/docs sites are separate Vite apps — use `npm run playground:dev` / `docs:dev`.
 - **Door `hinge left/right` is relative to the wall's traversal direction**, not the screen —
-  so the hinge side can flip depending on the order of a wall's points.
+  so the hinge side can flip depending on the order of a wall's points. The swing quarter-disc is
+  computed once in `geometry.ts` (`doorSwing`) and shared by `door.render()` and the
+  `W_SWING_OBSTRUCTED` lint rule — keep them on that one helper.
+- **Fixtures draw by category, not a new element kind.** `furniture.render()` dispatches the
+  category to `elements/fixtures-glyphs.ts`; a known fixture (`wc`, `basin`, `shower`, `bathtub`,
+  `kitchen_sink`/`sink`, `counter`, `fridge`, `stove`…) draws a symbol and ignores its `label`,
+  anything else falls back to the labelled rectangle. The lint rules key off the **room label**
+  (`/bath|wc|shower/i`, `/kitchen/i`) and the **fixture category** — keep those classifiers in sync.
+- **`examples/studio.arch` is import-free on purpose** (`test/world.test.ts` asserts the flagship
+  compiles from a single file with no World). Use inline `furniture <fixture>` there, not imports.
 
 ## Reading Order
 

CLAUDE.md

@@ -0,0 +1,49 @@
+# CLAUDE.md
+
+Guidance for Claude Code (and any AI agent) working in this repository.
+
+The **canonical, always-current** project status, architecture, commands, and conventions live in
+**[AGENTS.md](AGENTS.md)** — read it first. It is imported below so it loads with this file; for the
+exact shipped state and versions, defer to AGENTS.md → "Project status" and `CHANGELOG.md` rather
+than memory.
+
+@AGENTS.md
+
+## Orientation (the rest is in AGENTS.md)
+
+- **What this is:** ArchLang — a small declarative language that compiles `.arch` floor-plan source
+  to professional **SVG** (also DXF/PDF/PNG). Pure TypeScript, **zero runtime dependencies**,
+  isomorphic (runs in Node and the browser). A published, deployed monorepo, not a WIP.
+- **Build & run:** `npm run build` · `npm test` (vitest) ·
+  `npm run cli -- compile examples/studio.arch -o out.svg`. A single root `npm install` bootstraps
+  every workspace.
+
+## Non-negotiable invariants (break these and CI fails)
+
+- **`compile()` is pure, synchronous, deterministic.** No I/O, no `Date.now()`, no `Math.random()`
+  in `src/` core; output is byte-for-byte stable and snapshot/golden-tested. Node APIs and real time
+  are allowed **only** in `src/cli.ts`; everything else gets its environment via the `World` seam.
+  Route number formatting through `fmt()` so floats don't drift.
+- **Don't hand-edit generated files.** `dist/`, `editors/*.tmLanguage.json`,
+  `playground/src/arch-language.js`, `docs/error-codes.md`, and `spec.llm.md` are generated — edit
+  the source (`src/grammar/tokens.ts`, `src/error-catalog.ts`, `examples/`) and run the matching
+  `npm run gen:grammars` / `gen:errors` / `gen:spec`. CI fails on drift.
+- **Errors are returned, never thrown** for user-source problems: push a `Diagnostic` with a byte
+  `span` and a catalogued `E_*`/`W_*` code (`src/error-catalog.ts` — a test enforces every raised
+  code has an entry and vice-versa).
+- **Adding an element = one module** in `src/elements/` exporting an `ElementDef`, registered in
+  `src/elements/defs.ts`. Dispatch goes through the registry, not a switch.
+
+## Verify your work the way the tool is used
+
+After a change, prove it through the CLI, not by eyeballing SVG:
+`arch compile --json` (renders, errors-as-data) · `arch describe --json` (rooms, areas, adjacency,
+door connections) · `arch lint --json` (architectural soundness). Keep the flagship
+`examples/studio.arch` **lint-clean and import-free**, and update snapshots/goldens
+(`vitest -u`, `UPDATE_GOLDENS=1 vitest run test/visual.test.ts`) only after reviewing the diff.
+
+## Conventions
+
+Follow [Conventional Commits](https://www.conventionalcommits.org/). Run the lint/test commands
+before proposing changes. Commit or push only when asked. Keep AGENTS.md and this file accurate when
+you change build steps, structure, or conventions.

README.md

@@ -45,7 +45,13 @@ is fully client-side.
 
 - **Code → professional drawing.** Poché-hatched walls (by material), door swing arcs, window
   glazing, computed room areas, dimension lines, layers, line weights/types, a north arrow, a
-  scale bar, and a title block.
+  scale bar, and a title block. **Drawn fixture symbols** for WC, basin, shower, bathtub, sink,
+  counter, fridge and stove (with a `lib/fixtures.arch` component library), and `dims auto` to
+  synthesize dimension strings for you.
+- **Architectural soundness, not just syntax.** `arch lint` checks habitability *and* tacit
+  professional knowledge: a bathroom reachable only through a bedroom, a wet room that isn't fully
+  walled in, a door whose swing hits furniture or another door, a bath/kitchen with no fixtures, a
+  windowless bedroom, an unenterable room, a too-narrow door. All tunable via the ruleset.
 - **Four export formats.** **SVG** and **DXF** with zero dependencies; **PDF** (vector,
   selectable text) and **PNG** (deterministic raster) via optional, lazily-loaded add-ons that
   the default install never pulls.
@@ -148,26 +154,33 @@ rendering an image**.
 [Language Reference](docs/language-reference.md)):
 
 ```
-plan "Studio 1BR" {
+plan "One-bed" {
   units mm
   grid 50
   scale 1:50
   north up
+  dims auto overall
 
-  wall exterior thickness 200 { (0,0) (7000,0) (7000,6000) (0,6000) close }
-  wall partition thickness 100 { (4000,0) (4000,4000) }
+  wall exterior  thickness 200 { (0,0) (6000,0) (6000,4000) (0,4000) close }
+  wall partition thickness 100 { (4000,0) (4000,4000) }   # full-height: bath stays enclosed
 
-  room id=r_living at (0,0)    size 4000x6000 label "Living / Kitchen"
-  room id=r_bed    at (4000,0) size 3000x4000 label "Bedroom"
+  room id=r_living at (0,0)    size 4000x4000 label "Living / Kitchen"
+  room id=r_bath   at (4000,0) size 2000x4000 label "Bath"
 
-  door   id=d_main at (1000,6000) width 1000 wall exterior  hinge left swing in
-  window at (2500,0) width 1800 wall exterior
+  door   id=d_main at (1000,4000) width 1000 wall exterior  hinge left swing in
+  door   id=d_bath at (4000,1500) width 800  wall partition hinge left swing in
+  window at (2000,0) width 1800 wall exterior
 
-  dim (0,6000)->(7000,6000) offset 600 text "7000"
-  title { project "Studio Apartment" drawn_by "ArchLang" date "2026" }
+  furniture kitchen_sink at (300,300) size 800x600   # draws a real sink symbol
+  furniture wc           at (5300,300) size 400x700  # …and a WC
+
+  title { project "One-bed" drawn_by "ArchCanvas" date "2026" }
 }
 ```
 
+> The full, lint-clean flagship example (enclosed bath off a central hall, fitted kitchen + bath,
+> dimension strings) is [`examples/studio.arch`](examples/studio.arch).
+
 ### Try it live
 
 **▶ [archlang-playground.vercel.app](https://archlang-playground.vercel.app)** — a client-side

llms.txt

@@ -32,7 +32,14 @@ npx @chanmeng666/archlang lint plan.arch --json                 # architectural
 ```
 
 Loop: `spec` → write `.arch` → `compile --json` → if `ok:false` (exit 2) fix via each
-`diagnostics[].fix` → `describe --json` to confirm intent. See [SKILL.md](https://github.com/chanmeng666/archlang/blob/main/SKILL.md).
+`diagnostics[].fix` → `describe --json` to confirm intent → `lint --json` to confirm soundness.
+See [SKILL.md](https://github.com/chanmeng666/archlang/blob/main/SKILL.md).
+
+`lint` catches tacit architectural mistakes, not just syntax: a bathroom reached only through a
+bedroom, a wet room that isn't fully walled in, a door swing hitting furniture, a bath/kitchen with
+no fixtures, a windowless bedroom, an unenterable room, a too-narrow door. Draw real fixtures with
+`furniture wc|basin|shower|bathtub|kitchen_sink|counter|fridge|stove …` (or the `lib/fixtures.arch`
+library), and let `dims auto` place dimension strings for you.
 
 ## To CONTRIBUTE (work on the repo)