reconcilelisted

# Reconcile - code<->diagram @spec bijection validator Two inputs: a **diagram** + the **code** it describes. One question: **do the diagram's `@spec` values still equal the same-named code constants?** Returns typed findings; marks, never blocks. Sibling to Checkpoint: Checkpoint checks **structure** from the diagram alone; Reconcile checks **values** across diagram + code. Run both -> the diagram is a faithful, current spec. ## Input: the `@spec` line A node pins values on one line at the top of `desc`: ``` @spec hold_ms=800 fade_ms=200 <- Reconcile reads ONLY this line ``` - Prefix `@spec ` (ASCII). `key=value`, **key = the code constant name**. - Match is case/separator-insensitive: `hold_ms` = `HOLD_MS` = `holdMs` = `hold-ms`. - Value: a number (`800`, `0x320`) or a quoted string (`"left"`). - Free prose and a `~ tune: <range>` line are for humans - never read. Reconcile reads **only** the `@spec` line + **named** code constants. No geometry, no prose, no program behavior. ## Findings | finding | severity | means | |---|---|---| | `spec-drift` | defect | @spec value != the code constant | | `spec-no-constant` | defect | no same-named constant in the code | | `malformed-spec` | defect | @spec line is not `key=value` | | `value-uncovered` | uncovered | constant is computed, not a literal - no verdict | | `ambiguous-constant` | uncovered | two constants normalize to one name | | `no-spec-lines` | uncovered | nothing pinned - never a false "clean" | **Anchored