@neocompose/cli 0.19.3 → 0.19.4

package/CHANGELOG.md

@@ -1,5 +1,130 @@
 # Changelog
 
+## [0.19.4] - 2026-08-01
+
+### Added
+
+- `neo push --dry-run` rehearses the server's preparation phase — schema-commit
+  materialization, seeded structural rows, and whole-graph validation — against
+  the pulled document. A rejection that previously cost a real push and
+  returned an opaque `preparation-failed` now reports before anything is sent.
+  Everything that grades the live head stays server-only.
+- Resolve `Reference<T>(key: "...")` written as a member's declaration default,
+  including against a row the same push creates. The key was previously
+  persisted verbatim as though it were a row id, so every instance default
+  materialized from that member pointed at nothing.
+
+### Changed
+
+- A `Reference` call whose sole argument is neither `id:` nor `key:` names
+  itself in the error instead of being read as an id.
+
+### Fixed
+
+- Seed a member's declaring-class generic environment at every value-graph
+  root, in both the static binding graph validator and the authored/default
+  seed materializers. An override placed on a generic subclass could not
+  compute its own `genericBindings` stamp and stayed unresolved.
+- Admit a project root member as a value-graph root. Root-member seeds were
+  admitted and then rejected for having no declaring class, which no root has.
+- Recognize a world placement row's `assetClassId` / `assetValueId` sidecar in
+  the schema walkers, and preserve it when the row is rebuilt. Any project with
+  authored tile-grid content failed to push.
+- Materialize authored keys before building defaults, so a required slot whose
+  declared class is abstract no longer fails when the authored row supplies the
+  concrete class.
+- Count a re-authored value row once per graph rather than once per copy. A
+  tile grid whose placements were all re-authored reported each row as aliased
+  more than once.
+- Resolve a single-select lookup member to its entry type. Its declared type
+  rendered as `Set<entry>` regardless of arity, so a conforming initializer
+  body was rejected against a type the source never spells.
+- Compile a required constructor's call sites as construction. A P49 class was
+  named by `requiredConstructorId` alone, and every route that projects a class
+  into the language contract read only `constructorIds`, so an S1 class looked
+  like it declared no constructor.
+- Report member-body compile failures with the member, the value row, and the
+  authored file and line instead of a bare `1:1:`.
+- Omit `constraint` from a re-emitted unconstrained generic parameter. The
+  emitter spelled it `constraint: null` where the stored record has no such
+  key, so every generic class differed from itself on every push — which the
+  `@system` protection gate rejects as an edit to platform data.
+
+## [0.19.3] - 2026-08-01
+
+### Changed
+
+- Enforce the `@system` authoring invariant end to end. The annotation is
+  platform-only and belongs to `system_` records; project source must never
+  carry it, and an override never inherits it.
+
+### Fixed
+
+- Resolve same-push static graph visibility, so a lookup target created by the
+  same push is found rather than reported missing.
+
+## [0.19.2] - 2026-08-01
+
+### Changed
+
+- `optionKeyOrder` is optional on an enum record, matching the class
+  `schemaKeyOrder` and interface `memberKeyOrder` guards. The CLI drops a
+  declaration order that equals the natural key order, which for pending option
+  ids is exactly the push that creates the enum. No migration: this only widens
+  what is accepted.
+- `neo push --dry-run` runs the per-record domain guards over the records it is
+  about to send, so a server rejection surfaces locally with the one thing the
+  server cannot know — the file it came from. `project-file` and
+  `localized-text` creates are deliberately excluded.
+
+## [0.19.1] - 2026-08-01
+
+### Changed
+
+- `neo push --dry-run` runs the whole local pipeline, including the emit
+  direction: bundle emission, pending-id assignment on a clone, transport
+  shapes, upload hashing, and the client-side repeat of the server's commit
+  verification. It previously returned before re-emitting records back into
+  source, so half of the push had no rehearsal at all.
+
+### Fixed
+
+- Seed a member default's generic environment from its declaring class's
+  extends chain, and close the same hole in `renderMemberType` on the
+  declaration side.
+- Admit the pending-id prefix in the enum option `@id` format check.
+- Hold entry-member and required-constructor ids to the server's re-derivation
+  rather than rejecting them at the UUID v4 gate.
+- Hang an unordered row's subtree off the row's own id, so canonical
+  reordering no longer draws different pending ids on the authored and
+  re-lowered passes.
+- Dedent accessor and function bodies, so one body lowers to the same `code` at
+  any nesting depth.
+
+## [0.19.0] - 2026-07-31
+
+### Changed
+
+- Reading through a nullable receiver is a compile error. The escapes are the
+  constructs the grammar already had: postfix `!`, `?.`, `??`, and null-check
+  flow narrowing.
+- A `Reference` write into a narrowed lookup requires the target row's class to
+  be assignable to the declared type, across the id form, the key form, and
+  constructor projections.
+
+### Fixed
+
+- Type a lookup from its stored `declaredType` rather than its collection
+  entry, and stop typing every single-select lookup nullable regardless of
+  requiredness.
+- Type an abstract `NSProperty` contract from its `returnTypeInfo` as a
+  read-only computed property instead of `unknown` and writable.
+- Position construction-site diagnostics at their source slot rather than
+  collapsing to the root `new()`, and record all nine constructor-projection
+  argument failures as positioned, coded lowering failures.
+- Identify member-body compile errors by class, member, and body kind, mapped
+  to the declaring `.neo` file and absolute position.
+
 ## [0.18.0] - 2026-07-31
 
 ### Added

package/README.md

@@ -5,10 +5,12 @@ web editor. Working-copy format 4 is Neo-native: `.neo` defines the project
 model and authored values, `.neoflow` defines dialogue flows, and managed image
 and audio files stay as ordinary binaries.
 
-The complete contract is in
-[`specs/neo-project-source-authoring.md`](https://github.com/ryanbliss/neo-compose-specs/tree/main/new-features/complete/neo-project-source-authoring.md).
-The concise agent workflow is in
+The current agent authoring guide is in
 [`cli/skills/neocompose-cli/SKILL.md`](skills/neocompose-cli/SKILL.md).
+Feature specs in
+[`neo-compose-specs/new-features`](https://github.com/ryanbliss/neo-compose-specs/tree/main/new-features)
+document design intent and edge cases; the released compiler, contract, and
+tests are the executable source of truth.
 
 ## Source architecture
 
@@ -142,8 +144,9 @@ The source identifier is the persisted name. `@settings` and `@storage` are
 typed by their declaration context; invalid fields and enum cases are
 diagnostics. Swift-like `.EnumCase` syntax works whenever the expected enum
 type is known. Focused annotations such as `@id`, `@locked`, `@hidden`,
-`@system`, and `@relations` carry cross-cutting behavior. `@hidden` marks a
-class the member selector and classes tree leave out; absent means visible.
+and `@relations` carry cross-cutting behavior. Never author `@system`; it is
+reserved for platform-owned system records. `@hidden` marks a class the member
+selector and classes tree leave out; absent means visible.
 
 Lists take repeatable `@index` and `@column` annotations naming a field on the
 entry class. An index requires a non-localizable `string` or a single-select
@@ -187,12 +190,10 @@ is no `ValueRegistry` or generated `Values` namespace.
 @storage(allowed: .Immutable)
 class Assets {
   @id("capitol-member-id")
-  static Outpost Capitol =
-    @id("capitol-value-id")
-    new {
-      Name = "Capitol",
-      Image = Images.Capitol.Slice(0),
-    };
+  static Outpost Capitol = new {
+    Name = "Capitol",
+    Image = Images.Capitol.Slice(0),
+  };
 
   @id("home-getter-id")
   static Outpost Home {
@@ -203,13 +204,17 @@ class Assets {
 }
 ```
 
+The member ID anchors the stored binding; do not add a second ID to the static
+initializer. Nested class and collection rows remain independently identified.
+
 Defaults materialize once when a value is created. Existing instances do not
 stay linked to later class-default changes. Logical lookup/dialogue references
 use the native typed intrinsic:
 
 ```neo
 Reference(Assets.Capitol)
-Reference<Outpost>(id: "capitol-value-id")
+Reference(root.Assets.Cosmetics.Pants)
+Reference<PantsAsset>(key: "pants.long")
 Reference<Dialogue>(id: "dialogue-id")
 ```