@quillmark/wasm 0.86.0 → 0.87.1

package/CHANGELOG.md

@@ -1,5 +1,113 @@
 # Changelog
 
+## v0.87.1 - 2026-06-01
+
+- Make $quill reference grammar a single source of truth (#684)
+- Remove stale FieldType::Date references and add rejection test (#683)
+
+
+## v0.87.0 - 2026-06-01
+
+Arrays become first-class typed fields via a required `items` element
+schema, datetime is unified under a single `type: datetime` accepting the
+full YAML-1.1-style timestamp range (`FieldType::Date` is gone), and object
+zero values are now shape-valid. This release tightens schema-load
+validation in several places — empty `properties` maps and deeper array
+nesting are now rejected — and consolidates the example/default conformance
+checks behind one shared primitive. Documentation now ships from GitHub
+Pages instead of Read the Docs.
+
+### Breaking changes
+
+These are schema-load cutovers for `Quill.yaml` authors; full before/after
+steps are in `docs/migrations/0.86-to-0.87.md`.
+
+- **Array fields now require an `items` element schema** (#672). Arrays
+  previously carried a single untyped `Array` type; scalar arrays were
+  never coerced or validated element-wise and were always annotated
+  `array<string>`. Every array field must now declare `items`, and schema
+  load rejects arrays without it. The bare-`properties`-on-an-array form
+  (the old "typed table") is **removed** in favor of
+  `items: { type: object, properties: … }`. Migration for a typed table:
+
+  ```yaml
+  # before
+  rows:
+    type: array
+    properties: { name: { type: string }, qty: { type: integer } }
+  # after
+  rows:
+    type: array
+    items:
+      type: object
+      properties: { name: { type: string }, qty: { type: integer } }
+  ```
+
+  A scalar array adds `items` directly, e.g.
+  `counts: { type: array, items: { type: integer } }`. Elements now coerce
+  and validate against `items` (failing at the indexed path, e.g.
+  `counts[1]`), and blueprint annotations reflect the element type
+  (`array<integer>`, `array<markdown>`, …). Bundled quills and the
+  `usaf_memo` golden schema are migrated.
+- **`FieldType::Date` removed; use `type: datetime`** (#679). `type: date`
+  no longer exists. `type: datetime` now accepts the full range from a bare
+  `YYYY-MM-DD` date through RFC 3339 with offset (seconds optional, `T` or
+  space separator). Datetime values gain calendar validation (e.g. Feb 30
+  is now rejected), and JSON Schema output emits `format: date-time` for
+  all datetime fields. The WASM `FieldType` union drops `"date"`. The
+  blueprint hint is now `datetime<YYYY-MM-DD[Thh:mm:ss]>`.
+- **Empty `properties: {}` on an object field is rejected** (#678). An
+  empty properties map carries no information (the only conforming value is
+  `{}`) and is almost always a mistake. It is now treated like a missing
+  `properties` key and surfaces `quill::object_empty_properties`.
+- **Deeper array nesting is rejected** (#673). The documented "one level of
+  nesting" contract is now enforced in a single recursive pass, closing a
+  gap where `array<object<array>>` and `object<array>` were silently
+  accepted. A typed table row and a typed dictionary may carry scalar
+  columns/properties only; deeper shapes fail with
+  `quill::nested_array_not_supported`.
+
+### Behavioral changes
+
+- **Object zero values are now shape-valid** (#677). `zero_value` returned
+  a bare `{}` for every object field, which failed validation on any object
+  with `properties` (each absent property reported as `MustFillUnset`), so
+  the zero-filled render path broke for object fields. An object with
+  `properties` now recurses, zero-filling each property to its own
+  type-empty leaf. `{}` remains the zero only for the property-less edge
+  case.
+- **`example:` values are now validated** (#680). The conformance check for
+  `example`/`default` literals recurses into array items and object
+  properties and validates datetime format — capabilities the old
+  load-time path lacked, so previously-unvalidated `example:` values are
+  now caught.
+
+### Documentation & infrastructure
+
+- **Docs hosting moved from Read the Docs to GitHub Pages** (#671). A new
+  `docs.yml` workflow builds MkDocs (strict build as a PR check) and
+  deploys to Pages on a published release; RCs are skipped. `.readthedocs.yaml`
+  is removed and homepage/User Guide links point at the Pages URL.
+- **Canon + docs: partial documents are first-class citizens** (#670). The
+  docs and binding READMEs no longer claim Must Fill fields must be supplied
+  before shipping. The only hard render gate is well-formedness (values
+  coerce, no surviving `<must-fill>` sentinel); completeness is a hint
+  surfaced by the form view. The `format-designer/` docs tree is renamed to
+  `quills/`.
+- A Migration section overview page was added and wired into the nav (#674).
+
+### Internal
+
+- Example/default validation is consolidated behind a single
+  `validate_schema_literal` conformance core shared by `quillmark-core`
+  config loading and the CLI `validate` command, with author-friendly
+  diagnostics preserved (#680).
+- Array and markdown handling collapse into recursive passes over the
+  schema in both schema-shape validation and the Typst markdown transform
+  (#673).
+- Doc/comment fixes from the array-items review (#675).
+
+
 ## v0.86.0 - 2026-05-31
 
 Documents now render even when incomplete, the canonical card-yaml fence

package/README.md

@@ -249,10 +249,11 @@ canvas.style.height = `${result.layoutHeight}px`;
 A field's *cell* is inferred from whether its schema declares a `default:`:
 
 - **Must Fill** (no `default:`) — `quill.blueprint` renders `<must-fill>`
-  in the value cell, and `quill.render(doc)` throws with
-  `validation::must_fill_absent` when the field is absent at
-  validate time, or `validation::must_fill_sentinel` when the
-  `<must-fill>` sentinel survives into the document.
+  in the value cell. An absent Must Fill field is a non-fatal signal
+  (`validation::must_fill_absent`) — the render path zero-fills it
+  silently. A surviving `<must-fill>` sentinel is fatal
+  (`validation::must_fill_sentinel`). Partial documents are
+  first-class; `quill.render(doc)` only throws for malformed input.
 - **Endorsed** (with `default:`) — `quill.blueprint` renders the
   default value followed by a `; delete-ok` annotation, and the default
   is used when the document omits the field.

package/bundler/wasm.d.ts

@@ -117,7 +117,7 @@ export interface QuillCardBody {
  * field). There is no separate `required` axis.
  */
 export interface QuillFieldSchema {
-    type: "string" | "number" | "integer" | "boolean" | "array" | "object" | "date" | "datetime" | "markdown";
+    type: "string" | "number" | "integer" | "boolean" | "array" | "object" | "datetime" | "markdown";
     description?: string;
     default?: unknown;
     example?: unknown;
@@ -316,6 +316,14 @@ export class Document {
      * Throws if `card.kind` is not a valid kind name.
      */
     pushCard(card: CardInput): void;
+    /**
+     * The canonical `$quill` reference grammar as author-facing text. Single
+     * source of truth (CLI, Python, MCP): drive schema `describe` and
+     * validation messages from this instead of re-stating the rule — it
+     * matches the `hint` on `parse::invalid_quill_reference`. Cache it; the
+     * value never changes.
+     */
+    static quillRefHint(): string;
     removeCard(index: number): Card | undefined;
     /**
      * Remove a field on the card at `index`. Returns the removed value or

package/bundler/wasm_bg.js

@@ -276,6 +276,30 @@ export class Document {
             wasm.__wbindgen_export4(deferred1_0, deferred1_1, 1);
         }
     }
+    /**
+     * The canonical `$quill` reference grammar as author-facing text. Single
+     * source of truth (CLI, Python, MCP): drive schema `describe` and
+     * validation messages from this instead of re-stating the rule — it
+     * matches the `hint` on `parse::invalid_quill_reference`. Cache it; the
+     * value never changes.
+     * @returns {string}
+     */
+    static quillRefHint() {
+        let deferred1_0;
+        let deferred1_1;
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            wasm.document_quillRefHint(retptr);
+            var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+            var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+            deferred1_0 = r0;
+            deferred1_1 = r1;
+            return getStringFromWasm0(r0, r1);
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+            wasm.__wbindgen_export4(deferred1_0, deferred1_1, 1);
+        }
+    }
     /**
      * @param {number} index
      * @returns {Card | undefined}

package/bundler/wasm_bg.wasm.d.ts

@@ -20,6 +20,7 @@ export const document_main: (a: number) => number;
 export const document_moveCard: (a: number, b: number, c: number, d: number) => void;
 export const document_pushCard: (a: number, b: number, c: number) => void;
 export const document_quillRef: (a: number, b: number) => void;
+export const document_quillRefHint: (a: number) => void;
 export const document_removeCard: (a: number, b: number) => number;
 export const document_removeCardField: (a: number, b: number, c: number, d: number, e: number) => void;
 export const document_removeField: (a: number, b: number, c: number, d: number) => void;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@quillmark/wasm",
-  "version": "0.86.0",
+  "version": "0.87.1",
   "description": "WebAssembly bindings for quillmark",
   "type": "module",
   "license": "MIT OR Apache-2.0",