release: VelarScript 0.27.1

Author: Error-Zhang

AGENTS.md

@@ -25,10 +25,10 @@ This file governs the repository unless a closer `AGENTS.md` narrows the target.
 ## Python / JavaScript reflex and canonical-form table
 
 Vel's parents are JavaScript and Python. These reflexes land in Vel source as
-something else. `A1`–`A6` are **advisories** for those traps; `A7`–`A9` are
-canonical-form advisories, raised only when the compiler can prove the longer
-collection or record spelling has one language-owned replacement. The compiler
-reports all nine and still emits. The rest are already errors whose message
+something else. `A1`–`A6` are **advisories** for those traps; `A7`–`A10` and
+`A13`–`A15` are canonical-form advisories, raised only when the compiler can prove
+the longer collection or record spelling has one language-owned replacement.
+The compiler reports them and still emits. The rest are already errors whose message
 names the successor.
 
 | Reflex | Write instead | Channel |
@@ -40,8 +40,11 @@ names the successor.
 | `"${value}"`, `` `${value}` `` | `f"{value}"` or `` f`{value}` `` — only the `f` prefix interpolates, and `${...}` is legal literal text everywhere else (generating JavaScript source is a real use, and answers with `velar-allow A5`) | `A5` |
 | `f"${value}"` | `f"{value}"` — even under the `f` prefix, `$` keeps the brace after it literal, so `${value}` stays text | `A6` |
 | Empty collection + identity-only copy loop | Initialize from the compiler-owned conversion: `set.values()`, `Set(list)`, `map.keys()` / `map.values()`, `Map(record)`, or the matching `.copy()`; transforms, filters, effects, non-empty destinations, computed sources, and non-adjacent loops do not trigger | `A7` |
-| `for item in items: if test: return true` followed by `return false` | `return items.some(item => test)` — only the exact single-slot, pure-boolean, early-return query over a List triggers; calls, getters, effects, optional conditions, wider bodies, computed sources, and non-adjacent returns do not | `A8` |
+| Single-slot List loop that only returns on a pure condition, followed by the matching exhausted return | Use `some`, `every`, or `find`; only exact early-return query shapes trigger, while calls, getters, effects, optional conditions, wider bodies, computed sources, and non-adjacent returns do not | `A8` |
+| Empty List + loop that only appends or extends a pure per-item projection, optionally under one pure guard | Initialize with `map`, `filter`, `filter(...).map(...)`, or `flatMap`; only stable List sources, data reads/operators, and compiler-owned `Type.from(value)` projections trigger, while calls, getters, effects, destination reads, wider bodies, and computed sources do not | `A13` |
 | A closed target literal mirrors two or more same-name fields from one typed record | `Target.from(source, {overrides})` — target fields are the authority; computed/effectful overrides, partial targets, spreads, and mixed sources do not trigger. `.from` uses target declaration order, so preserve an intentional authored wire order with a reasoned suppression | `A9` |
+| `flag ? "true" : "false"` in a native text attribute | `str(flag)` — the fix is offered only for that exact equivalent conversion, outside HTML bool-presence attributes and component props; it is withheld only when the discarded source contains an authored comment | `A14` |
+| `{field: field}` repeats one ordinary identifier | `{field}` — quoted keys, different values, member/call expressions, and entries whose rewrite would erase a comment do not receive the mechanical fix | `A15` |
 | `enumerate(xs)` | `for value, index in xs:` | error |
 | `with X as y:` | `using y = X` | error |
 | `raise E(...)` | `throw E(...)` | error |
@@ -97,6 +100,8 @@ the advisory channel in
 and its exact collection canonicalization extensions in
 [docs/decisions/D93-CANONICAL-COLLECTION-CONVERSION-ADVISORY.md](docs/decisions/D93-CANONICAL-COLLECTION-CONVERSION-ADVISORY.md)
 and [docs/decisions/D94-CANONICAL-LIST-SOME-ADVISORY.md](docs/decisions/D94-CANONICAL-LIST-SOME-ADVISORY.md),
+the proven List query and pipeline forms in
+[docs/decisions/D112-CANONICAL-LIST-PIPELINE-ADVISORY.md](docs/decisions/D112-CANONICAL-LIST-PIPELINE-ADVISORY.md),
 and the exact record projection in
 [docs/decisions/D95-EXACT-RECORD-PROJECTION.md](docs/decisions/D95-EXACT-RECORD-PROJECTION.md).
 

CHANGELOG.md

@@ -12,6 +12,32 @@ many times that surface has changed *since counting began*, never a maturity
 grade: `core@0.1` beside `web@0.11` means Core started counting today, not that
 Core is younger. History is deliberately not recomputed (D110 rule 3).
 
+## 0.27.1 — 2026-09-04
+
+Surfaces: `core@0.3` · `web@0.11` · `node@0.16` · `server@0.15` · `desktop@0.10`
+
+### Language and editor tooling
+
+- Exact, side-effect-free `List` loops can now be shortened through editor
+  fixes to `some`, `every`, `find`, `map`, `filter`, or `flatMap`. Fixes are
+  withheld when comments, effects, unstable sources, or branch-only type
+  narrowing would change meaning.
+- Same-name object fields such as `{id: id}` now offer the equivalent
+  shorthand `{id}` while preserving surrounding layout and comments.
+- Language-service coverage now includes the expanded built-in collection
+  vocabulary, Look property/value completions and hover types, and the current
+  function and declaration forms.
+
+### Web attributes
+
+- Native element attributes now use one value contract: `null` and `false`
+  remove the attribute, `true` writes an empty present attribute, strings stay
+  exact, and finite numbers use their text form.
+- A native text attribute written as `flag ? "true" : "false"` now offers the
+  equivalent `str(flag)` fix. Component props, HTML boolean-presence
+  attributes, optional booleans, custom elements, and comment-sensitive forms
+  remain explicit.
+
 ## 0.27.0 — 2026-09-04
 
 Surfaces: `core@0.3` · `web@0.11` · `node@0.16` · `server@0.15` · `desktop@0.10`

docs/ai-skill-server.md

@@ -13,7 +13,7 @@ browser application activates `@velarscript/web`:
 ```json
 {
   "dependencies": {
-    "@velarscript/server": "0.27.0"
+    "@velarscript/server": "0.27.1"
   }
 }
 ```

docs/ai-skill-web.md

@@ -124,6 +124,15 @@ rows are the ones a keyed position renders; `// velar-allow A4: <reason>`
 suppresses it where building the rows is the only spelling, which a `readonly`
 list or one API response makes it.
 
+Native attributes separate presence from text. `false` and `null` remove an
+attribute, `true` writes an empty value, and a string writes its exact text.
+Write `aria-expanded={str(open)}` when the token `"true"` or `"false"` is
+required. Advisory **A14** recognizes the exact equivalent conversion from
+`open ? "true" : "false"` to `str(open)` on a native text attribute. It offers
+the quick fix when discarded source has no comment; comments inside `open`
+survive because that source is copied verbatim. HTML bool-presence attributes
+and component props stay outside the rewrite.
+
 A native element rejects every attribute name beginning with `on` other than
 the `on:` directive itself. `onclick`, `onClick`, and `ONCLICK` are one
 attribute to the browser, and the browser compiles that attribute's value as