@neocompose/cli 0.89.6 → 0.89.8

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@neocompose/cli",
-  "version": "0.89.6",
+  "version": "0.89.8",
   "description": "Neo Compose native project-source CLI with bidirectional sync.",
   "license": "MIT",
   "type": "module",

package/skills/neocompose-cli/SKILL.md

@@ -9,7 +9,7 @@ description: >-
   `@neocompose/cli` or `node cli/bin/neo.mjs` in the neo-compose repository.
 ---
 
-<!-- reviewed-through-cli: 0.89.6 -->
+<!-- reviewed-through-cli: 0.89.8 -->
 
 # Neo Compose CLI
 

package/skills/neocompose-cli/references/cli-development.md

@@ -118,6 +118,11 @@ codec reads when changing either projection. Class-generic results whose binding
 is known only at runtime use the SDK generic reader, including recursive tuple,
 collection, enum, and reference projections; scalar conversion alone is insufficient.
 
+Direct class-constrained `Reference<T>` and `Set<Reference<T>>` fields emit concrete
+accessors using the SDK generic reader, even while the declaring class leaves `T`
+open. Only authored abstract declarations emit abstract members. Compile the
+open class and exercise direct, inherited, closed, and read-only instances.
+
 A stored `Reference<T>` implementing an inherited get-only `T` property emits a
 value getter that reads the reference target. Keep its interface and field tokens
 on the inherited type, and compile both open and closed generic overrides.
@@ -138,7 +143,7 @@ The marker near the top of `SKILL.md` must exactly match the package version,
 and this quoted copy is checked too:
 
 ```html
-<!-- reviewed-through-cli: 0.89.6 -->
+<!-- reviewed-through-cli: 0.89.8 -->
 ```
 
 Keep this skill on current behavior. Upgrade steps, rollout prerequisites,
@@ -178,3 +183,7 @@ affected full-project candidate; Vitest doesn't replace it. Run
 formatted files.
 
 Class collection assignment must validate all incoming owned entries before replacing a stored row or changing its aliases. Keep caught-rejection, late-entry failure, duplicate-row, and successful retry controls in `class-collection-assignment.test.ts`.
+
+Nested insertion must reject duplicate or already-owned descendants before publishing rows or changing aliases. Keep partial-encoding retry and removed List/Set/Dictionary alias controls in `nested-collection-insertion.test.ts`; Reference entries continue to share targets, including unbacked local collection handles. Include local Set references, whose closed target can lower to Lookup. Check alternating shared targets and target writes as well as indexing costs, and preserve identity-based removal through generic bindings. Selection edges remain in the reference graph but must not supply a target's owned placement or generic environment. Keep backed Set payloads distinct from single-Reference cells; cover Dictionary, List and Set target mutations and owned attachment/removal when measuring incremental index work. Raw parent links preserve duplicate edges and insertion order; removing an actual owner must not scan unchanged selection parents. Preserve incremental indexing through target-list sorting and entry writes, including explicit per-entry row provenance. Include plain scalar List and Dictionary entry writes after assignment or Add, without rebuilding unrelated Reference cells. Indexed Reference assignment must preserve each selection cell and the closed stored entry contract, including removed generic aliases. Keep scalar Slot assignments distinct from backed Handle Reference assignments: a missing Dictionary key assigned a backed Handle needs its closed Lookup contract and an independent selection cell. Inline-to-backed Reference reassignment must create a selection cell rather than attach its target. Scalar field writes update only their exact raw edges while retaining write receipts and conservative fallback for unindexed or non-scalar values.
+
+Closed collection Reference exports must include the physical target graph, including plain-string Set entries. Keep minimal target-only exports and existing-descriptor dependency completion in `reference-target-descriptors.test.ts` and `compiled-construction-types.test.ts`; do not seed unrelated constructions to satisfy export coverage.

package/skills/neocompose-cli/references/declarations/constructors.md

@@ -142,6 +142,10 @@ class Child(string name) : Base {
   explicitly when needed.
 - Base-constructor arguments use the constructed class's concrete generic
   bindings, including an `Item<T>` parameter forwarded through its base chain.
+- Recording a constructor argument does not claim ownership. An initializer
+  may pass it to a nested constructor or attach it to a collection while
+  retaining its identity. Giving the same aggregate two owned fields or
+  collection positions still requires an explicit `Clone()`.
 - Constraints may construct another generic from a sibling parameter:
 
 ```neo

package/skills/neocompose-cli/references/declarations/initializers.md

@@ -3,6 +3,11 @@
 Member defaults: what they may read, when they compute, generic and
 Immutable construction, and edits to stored constructions.
 
+Object initializer fields indent one level below the construction's header,
+including inside call arguments. The opening brace may be on the header line
+or the following line. Multiline argument lists retain their continuation
+indentation, using the project's configured spaces or tabs.
+
 ## Initializer scope
 
 - Field initializers may read their class's static members unqualified,
@@ -28,6 +33,10 @@ Immutable construction, and edits to stored constructions.
 
 ## Computed initializers
 
+The editor checks computed defaults with the same expression resolver as push.
+Unknown names, missing members, invalid type arguments, and expression type
+errors appear at the offending initializer expression, including nested defaults.
+
 A default that isn't a closed literal stores as a computed initializer and
 replays for omitted members in push, web, and SDK. A stored override stays
 pinned until reset.

package/skills/neocompose-cli/references/neoscript/collections.md

@@ -4,6 +4,10 @@ Queries and mutations on `List`, `Set`, and `Dictionary` values. Collection
 declarations and storage live in
 [member kinds](../declarations/member-kinds.md).
 
+Collections have no constructors. Initialize List and Set members with `[]`
+and Dictionary members with `{}`, including static members. Writing `new()`
+reports an editor diagnostic with the appropriate empty literal before push.
+
 ## Counting and matching
 
 - `items.Count` and `items.Count()` give the size; `items.Count(pred)` counts
@@ -43,7 +47,9 @@ return this.Beds
   snapshot through a writable alias makes `ThenBy` throw until a new `OrderBy`.
 - Negative skip/take counts behave as zero.
 - Read-only results keep entry identity and grant no extra write access to
-  entries.
+  entries. Declared index lookups (`items.Index.Name[key]`) preserve the source
+  entries' write permissions: writable fields can be updated through unique
+  results or a bucket's entries, while bucket membership stays read-only.
 
 ## Reductions
 
@@ -69,6 +75,8 @@ return this.Beds
 
 These apply to writable collections and are statements:
 
+- String-keyed dictionaries accept any string, including `__proto__` and
+  `constructor`, in both indexed assignment and `Add(key, value)`.
 - `items.Add(value)` appends an entry. An aggregate already owned by another
   entry or field can't be added again. Add a new value, or `Clone()` a class
   instance.