@texaryn/core 0.9.0 → 0.11.0

package/dist/runtime/types.d.ts

@@ -4,11 +4,53 @@ import type { UIHints } from '../hints/types.js';
 import type { Command } from '../commands/types.js';
 import type { SubmissionState } from '../ir/runtime-state.js';
 import type { NodeId, MaybePromise, ValidationError, VisibleError } from '../types.js';
+import type { DefaultConflict, DefaultRefusal } from '../initialization/index.js';
+/** Which initialization policy consumes the schema's `default` annotations. */
+export type InitializationPolicy = 'none' | 'schema-defaults';
+/**
+ * What one run of ADR-003's initialization pass did, without the data, which
+ * the runtime publishes on `data` like any other.
+ *
+ * A discarded run reports only that it was discarded. Carrying the conflicts
+ * and refusals of the run that produced them would say a run found them and
+ * then say nothing was written, and the two readings are not the same claim.
+ */
+export type InitializationReport = {
+    readonly outcome: 'initialized';
+    /** Locations left absent because their applicable declarations disagreed. */
+    readonly conflicts: readonly DefaultConflict[];
+    /** Locations left absent because filling would have meant guessing or destroying. */
+    readonly refusals: readonly DefaultRefusal[];
+    readonly passes: number;
+} | {
+    readonly outcome: 'budget-exhausted';
+    readonly passes: number;
+};
 export interface FormRuntimeOptions {
     initialData?: unknown;
     hints?: UIHints;
     onSubmit?: (data: unknown) => MaybePromise<void>;
     validationDebounceMs?: number;
+    /**
+     * ADR-003. `'none'`, the default, materialises nothing: given `{}` the
+     * runtime's data stays `{}`.
+     *
+     * `'schema-defaults'` fills every reachable location the schema declares a
+     * default for and the data leaves absent. A location is filled when it
+     * becomes reachable, so this runs at construction, on `Reset`, and after any
+     * edit that can change what is reachable: activating a `oneOf` branch by
+     * setting its discriminator fills that branch's own defaults. It never
+     * overwrites, so `false`, `0`, `''` and `null` are values and are left alone.
+     *
+     * What the run wrote is the baseline at construction and on `Reset`, and is
+     * not between them: a location seeded by an edit differs from
+     * `state.initialData`, which is what `modified` reports.
+     *
+     * Omitting `initialData` is not the same as passing `{}`. The first states
+     * nothing about the root, so a root-level `default` applies to it; the second
+     * is a root the caller supplied, and nothing is written over it.
+     */
+    initialization?: InitializationPolicy;
 }
 export interface NodeState {
     readonly value: Store<unknown>;
@@ -25,6 +67,26 @@ export interface FormRuntime {
     readonly data: Store<unknown>;
     readonly submission: Store<SubmissionState>;
     readonly visibleErrors: Store<VisibleError[]>;
+    /**
+     * The last initialization run, or `undefined` where no policy is configured.
+     *
+     * `dispatch` returns void and is typically called from an event handler, so a
+     * run that exhausts its budget reports here rather than throwing into the
+     * host's render. What that discards depends on the moment: a `Reset`
+     * establishes a baseline, so it is refused whole and nothing lands, while an
+     * ordinary edit establishes none, so the edit lands and only the seeding is
+     * dropped. `createFormRuntime` throws instead, because a caller can decline a
+     * runtime it never received.
+     *
+     * A new report is published on every data-mutating dispatch under the policy,
+     * including one where the pass wrote nothing, because each dispatch is a run
+     * and what a run finds changes as the user types. Anything subscribed here
+     * therefore updates per edit.
+     *
+     * It is not the projection's diagnostics channel, which describes a schema
+     * rather than one run over data.
+     */
+    readonly initialization: Store<InitializationReport | undefined>;
     dispatch(command: Command): void;
     getNodeState(nodeId: NodeId): NodeState | undefined;
     destroy(): void;

package/dist/runtime/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/runtime/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAC9C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAA;AAChD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AAC7D,OAAO,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAEtF,MAAM,WAAW,kBAAkB;IACjC,WAAW,CAAC,EAAE,OAAO,CAAA;IACrB,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,YAAY,CAAC,IAAI,CAAC,CAAA;IAChD,oBAAoB,CAAC,EAAE,MAAM,CAAA;CAC9B;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IAC9B,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,eAAe,EAAE,CAAC,CAAA;IACzC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IAC9B,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IAChC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IAChC,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IACjC,QAAQ,CAAC,gBAAgB,EAAE,KAAK,CAAC,MAAM,GAAG,SAAS,GAAG,OAAO,GAAG,SAAS,CAAC,CAAA;IAC1E,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;CACpC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,CAAA;IACpC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IAC7B,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,eAAe,CAAC,CAAA;IAC3C,QAAQ,CAAC,aAAa,EAAE,KAAK,CAAC,YAAY,EAAE,CAAC,CAAA;IAC7C,QAAQ,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAAA;IAChC,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAAA;IACnD,OAAO,IAAI,IAAI,CAAA;CAChB"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/runtime/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAC9C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAA;AAChD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AAC7D,OAAO,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AACtF,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAA;AAEjF,+EAA+E;AAC/E,MAAM,MAAM,oBAAoB,GAAG,MAAM,GAAG,iBAAiB,CAAA;AAE7D;;;;;;;GAOG;AACH,MAAM,MAAM,oBAAoB,GAC5B;IACE,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAA;IAC/B,6EAA6E;IAC7E,QAAQ,CAAC,SAAS,EAAE,SAAS,eAAe,EAAE,CAAA;IAC9C,qFAAqF;IACrF,QAAQ,CAAC,QAAQ,EAAE,SAAS,cAAc,EAAE,CAAA;IAC5C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB,GACD;IAAE,QAAQ,CAAC,OAAO,EAAE,kBAAkB,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAA;AAErE,MAAM,WAAW,kBAAkB;IACjC,WAAW,CAAC,EAAE,OAAO,CAAA;IACrB,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,YAAY,CAAC,IAAI,CAAC,CAAA;IAChD,oBAAoB,CAAC,EAAE,MAAM,CAAA;IAC7B;;;;;;;;;;;;;;;;;;OAkBG;IACH,cAAc,CAAC,EAAE,oBAAoB,CAAA;CACtC;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IAC9B,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,eAAe,EAAE,CAAC,CAAA;IACzC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IAC9B,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IAChC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IAChC,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IACjC,QAAQ,CAAC,gBAAgB,EAAE,KAAK,CAAC,MAAM,GAAG,SAAS,GAAG,OAAO,GAAG,SAAS,CAAC,CAAA;IAC1E,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;CACpC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,CAAA;IACpC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IAC7B,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,eAAe,CAAC,CAAA;IAC3C,QAAQ,CAAC,aAAa,EAAE,KAAK,CAAC,YAAY,EAAE,CAAC,CAAA;IAC7C;;;;;;;;;;;;;;;;;;OAkBG;IACH,QAAQ,CAAC,cAAc,EAAE,KAAK,CAAC,oBAAoB,GAAG,SAAS,CAAC,CAAA;IAChE,QAAQ,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAAA;IAChC,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAAA;IACnD,OAAO,IAAI,IAAI,CAAA;CAChB"}

package/dist/schema/port.d.ts

@@ -26,12 +26,23 @@ export interface SchemaProjection {
      * The boundary worth stating, because it is what keeps this channel worth
      * reading: these describe schemas, not data.
      *
-     * One case is therefore not reported, and only one: a `oneOf` or `anyOf`
-     * whose branches the current value does not match, where some branch would
-     * have rendered for a value that did. That same schema projects a shape for
-     * such a value, whether the value is acceptable is validation's subject, and
-     * a form's data fails to match for most of the time someone is filling it
-     * in, so reporting it would mean a diagnostic that flaps on every keystroke.
+     * Two cases are therefore not reported here, and only two.
+     *
+     * A `oneOf` or `anyOf` whose branches the current value does not match, where
+     * some branch would have rendered for a value that did. That same schema
+     * projects a shape for such a value, whether the value is acceptable is
+     * validation's subject, and a form's data fails to match for most of the time
+     * someone is filling it in, so reporting it would mean a diagnostic that
+     * flaps on every keystroke.
+     *
+     * A disagreement between `default` declarations that a conditional branch
+     * carries, which holds exactly while that branch is selected and so flaps for
+     * the same reason. It is reported on `NodeProjection.defaultConflict`, which
+     * describes this projection rather than the schema and which also carries the
+     * unconditional case, so a consumer acting on a location reads one place.
+     * `ambiguous-default` here is the subset that holds whatever the instance is:
+     * a contradiction in the schema wherever it is used, which is worth telling
+     * whoever wrote it.
      *
      * Everything else about a composition is reported, including a branch that
      * the value does match and that still supplies no shape, and a composition
@@ -142,6 +153,34 @@ export interface NodeProjection {
      * adapter that does not select provisionally keeps its current behaviour.
      */
     provisional?: boolean;
+    /**
+     * Schema positions whose `default` declarations apply to this node for the
+     * instance as it stands, and disagree. Present exactly where
+     * `AnnotationSet.default` was omitted for that reason, and absent otherwise.
+     *
+     * This is the per-instance half of what `ambiguous-default` reports.
+     * `SchemaProjection.diagnostics` describes the schema, so it carries only the
+     * disagreements that hold whatever the instance is: a location's own
+     * declaration against those reached through `allOf` and `$ref`. A declaration
+     * carried by `oneOf`, `anyOf`, `if`/`then`/`else` or `dependentSchemas`
+     * competes only while its branch applies, so whether it disagrees is a state
+     * of the data and belongs here, beside `active` and `provisional`, which flap
+     * with the data for the same reason.
+     *
+     * Every conflict appears here, conditional or not, so a consumer deciding
+     * what to do about a location reads one place. The diagnostic stays for the
+     * unconditional case because a contradiction that holds for every instance is
+     * worth reporting to whoever wrote the schema.
+     *
+     * **A provisionally selected branch's declarations compete**, though JSON
+     * Schema says the branch does not apply. The projection exposes that branch so
+     * the user can complete it and a policy may fill from it, so a disagreement
+     * has to be visible wherever the fill would happen. Applicability here is
+     * therefore exposure, matching `active || provisional`, rather than validity.
+     *
+     * Order is not a contract; the set is.
+     */
+    defaultConflict?: readonly string[];
     annotations: AnnotationSet;
     /**
      * Annotations of an array's item template, for arrays only.

package/dist/schema/port.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"port.d.ts","sourceRoot":"","sources":["../../src/schema/port.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAC9F,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAA;AAElE,MAAM,WAAW,oBAAoB;IACnC,OAAO,CAAC,IAAI,EAAE,OAAO,GAAG,gBAAgB,CAAA;IAExC,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,YAAY,CAAC,gBAAgB,CAAC,CAAA;IAEvD,UAAU,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,GAAG,YAAY,CAAC,gBAAgB,CAAC,CAAA;CACjF;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,GAAG,CAAC,WAAW,EAAE,cAAc,CAAC,CAAA;IACvC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAuCG;IACH,WAAW,CAAC,EAAE,SAAS,oBAAoB,EAAE,CAAA;CAC9C;AAED;;;;;;GAMG;AACH,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,WAAW,CAAA;IACpB,IAAI,EAAE,wBAAwB,CAAA;IAC9B,OAAO,EAAE,MAAM,CAAA;IACf;;;;;;;;;;;;;OAaG;IACH,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAC5B;AAED,MAAM,MAAM,wBAAwB;AAClC;;;;GAIG;AACD,4BAA4B;AAC9B;;;;;GAKG;GACD,6BAA6B;AAC/B;;;;;;;;;;;;;GAaG;GACD,mBAAmB,CAAA;AAEvB,MAAM,WAAW,cAAc;IAC7B;;;;;;;;;OASG;IACH,IAAI,EAAE,cAAc,CAAA;IACpB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,WAAW,EAAE,gBAAgB,CAAA;IAC7B,QAAQ,CAAC,EAAE,eAAe,EAAE,CAAA;IAC5B,UAAU,CAAC,EAAE,UAAU,EAAE,CAAA;IACzB;;;;OAIG;IACH,MAAM,EAAE,OAAO,CAAA;IACf;;;;;;;;;;;;;OAaG;IACH,WAAW,CAAC,EAAE,OAAO,CAAA;IACrB,WAAW,EAAE,aAAa,CAAA;IAC1B;;;;;;;OAOG;IACH,eAAe,CAAC,EAAE,aAAa,CAAA;CAChC;AAED,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,WAAW,CAAA;IACpB,GAAG,EAAE,MAAM,CAAA;IACX,gFAAgF;IAChF,QAAQ,EAAE,OAAO,CAAA;IACjB;;;;;;;;;;OAUG;IACH,mBAAmB,CAAC,EAAE,OAAO,CAAA;CAC9B;AAED,MAAM,WAAW,aAAa;IAC5B,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,SAAS,CAAC,EAAE,OAAO,CAAA;IACnB,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAA;IACpB;;;;;;;;OAQG;IACH,OAAO,CAAC,EAAE,OAAO,CAAA;CAClB"}
+{"version":3,"file":"port.d.ts","sourceRoot":"","sources":["../../src/schema/port.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAC9F,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAA;AAElE,MAAM,WAAW,oBAAoB;IACnC,OAAO,CAAC,IAAI,EAAE,OAAO,GAAG,gBAAgB,CAAA;IAExC,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,YAAY,CAAC,gBAAgB,CAAC,CAAA;IAEvD,UAAU,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,GAAG,YAAY,CAAC,gBAAgB,CAAC,CAAA;CACjF;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,GAAG,CAAC,WAAW,EAAE,cAAc,CAAC,CAAA;IACvC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAkDG;IACH,WAAW,CAAC,EAAE,SAAS,oBAAoB,EAAE,CAAA;CAC9C;AAED;;;;;;GAMG;AACH,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,WAAW,CAAA;IACpB,IAAI,EAAE,wBAAwB,CAAA;IAC9B,OAAO,EAAE,MAAM,CAAA;IACf;;;;;;;;;;;;;OAaG;IACH,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAC5B;AAED,MAAM,MAAM,wBAAwB;AAClC;;;;GAIG;AACD,4BAA4B;AAC9B;;;;;GAKG;GACD,6BAA6B;AAC/B;;;;;;;;;;;;;GAaG;GACD,mBAAmB,CAAA;AAEvB,MAAM,WAAW,cAAc;IAC7B;;;;;;;;;OASG;IACH,IAAI,EAAE,cAAc,CAAA;IACpB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,WAAW,EAAE,gBAAgB,CAAA;IAC7B,QAAQ,CAAC,EAAE,eAAe,EAAE,CAAA;IAC5B,UAAU,CAAC,EAAE,UAAU,EAAE,CAAA;IACzB;;;;OAIG;IACH,MAAM,EAAE,OAAO,CAAA;IACf;;;;;;;;;;;;;OAaG;IACH,WAAW,CAAC,EAAE,OAAO,CAAA;IACrB;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IACnC,WAAW,EAAE,aAAa,CAAA;IAC1B;;;;;;;OAOG;IACH,eAAe,CAAC,EAAE,aAAa,CAAA;CAChC;AAED,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,WAAW,CAAA;IACpB,GAAG,EAAE,MAAM,CAAA;IACX,gFAAgF;IAChF,QAAQ,EAAE,OAAO,CAAA;IACjB;;;;;;;;;;OAUG;IACH,mBAAmB,CAAC,EAAE,OAAO,CAAA;CAC9B;AAED,MAAM,WAAW,aAAa;IAC5B,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,SAAS,CAAC,EAAE,OAAO,CAAA;IACnB,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAA;IACpB;;;;;;;;OAQG;IACH,OAAO,CAAC,EAAE,OAAO,CAAA;CAClB"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@texaryn/core",
-  "version": "0.9.0",
+  "version": "0.11.0",
   "description": "Framework-neutral UI IR, compiler, runtime, and renderer registry for schema-driven forms",
   "keywords": [
     "json-schema",