@jarenjs/app 0.66.1 → 0.72.0

package/README.md

@@ -251,6 +251,7 @@ Every subpath a consumer can import, derived from the manifest by
 | Import | Kind | Declarations |
 |---|---|---|
 | `@jarenjs/app` | JavaScript | declared |
+| `@jarenjs/app/schemas/jaren-app.authoring.schema.json` | schema | — |
 | `@jarenjs/app/schemas/jaren-app.draft-07.schema.json` | schema | — |
 | `@jarenjs/app/schemas/jaren-app.schema.json` | schema | — |
 | `@jarenjs/app/package.json` | metadata | — |

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@jarenjs/app",
   "private": false,
-  "version": "0.66.1",
+  "version": "0.72.0",
   "type": "module",
   "main": "./src/index.js",
   "types": "./dist/types/index.d.ts",
@@ -50,8 +50,8 @@
     "prepack": "npm run build:types"
   },
   "dependencies": {
-    "@jarenjs/core": "^0.66.1",
-    "@jarenjs/json": "^0.66.1",
-    "@jarenjs/view": "^0.66.1"
+    "@jarenjs/core": "^0.72.0",
+    "@jarenjs/json": "^0.72.0",
+    "@jarenjs/view": "^0.72.0"
   }
 }

package/schemas/jaren-app.authoring.schema.json

@@ -0,0 +1,94 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://jarenjs.dev/schemas/jaren-app/0.1/authoring",
+  "title": "Jaren app document 0.1 (authoring profile)",
+  "description": "Authoring profile of the canonical grammar: the document SHAPE only, with queryDocument, stylesheetDocument left open. Constrains decoding on small models, where the full grammar does not decode at all. It is deliberately WEAKER than the canonical schema - a document valid here may be nonsense - so the engine compiler is the gate that makes it safe, and generated documents must be compiled before use.",
+  "type": "object",
+  "properties": {
+    "$app": {
+      "description": "The app format version; absent implies 0.1.",
+      "const": "0.1"
+    },
+    "state": {
+      "description": "The initial state: any JSON value, treated as immutable by every boundary."
+    },
+    "view": {
+      "description": "The view: a JSLT stylesheet document (bare rule array or envelope form) whose evaluation against the state must produce a single vnode.",
+      "allOf": [
+        {
+          "$ref": "#/$defs/stylesheetDocument"
+        }
+      ]
+    },
+    "actions": {
+      "description": "Named action documents: Jaren JSON Query documents evaluated with $ bound to the state and the externals $event and $payload.",
+      "type": "object",
+      "additionalProperties": {
+        "$ref": "#/$defs/queryDocument"
+      }
+    },
+    "subs": {
+      "description": "Subscription entries reconciled against the state after every transition.",
+      "type": "array",
+      "items": {
+        "type": "object",
+        "properties": {
+          "run": {
+            "description": "The registered subscription handler name.",
+            "type": "string",
+            "minLength": 1
+          },
+          "with": {
+            "description": "Handler props, passed verbatim (never evaluated). Mutually exclusive with \"withQuery\" and \"for\"."
+          },
+          "when": {
+            "description": "Liveness query, asserted by effective boolean value against the state; absent means always live.",
+            "allOf": [
+              {
+                "$ref": "#/$defs/queryDocument"
+              }
+            ]
+          },
+          "withQuery": {
+            "description": "Dynamic props: a query evaluated against the state per reconciliation; the subscription restarts when its resolved key changes. Under \"for\", \"$item\" is bound per instance. Mutually exclusive with \"with\".",
+            "allOf": [
+              {
+                "$ref": "#/$defs/queryDocument"
+              }
+            ]
+          },
+          "key": {
+            "description": "Explicit restart key: a query whose resolved value keys the subscription (by value) instead of the resolved props. Requires \"withQuery\" or \"for\"; \"$item\" is bound per instance under \"for\".",
+            "allOf": [
+              {
+                "$ref": "#/$defs/queryDocument"
+              }
+            ]
+          },
+          "for": {
+            "description": "Fan-out: a query whose result is the item set — one running instance per item key, reconciled per state change. \"with\" is not allowed beside it.",
+            "allOf": [
+              {
+                "$ref": "#/$defs/queryDocument"
+              }
+            ]
+          }
+        },
+        "required": [
+          "run"
+        ]
+      }
+    }
+  },
+  "required": [
+    "view"
+  ],
+  "$defs": {
+    "stylesheetDocument": {
+      "description": "A JSLT stylesheet; validate and compile locally."
+    },
+    "queryDocument": {
+      "description": "A Jaren query expression; validate against the full grammar and compile locally."
+    }
+  }
+}

package/schemas/jaren-app.draft-07.schema.json

@@ -16,7 +16,7 @@
       "description": "The view: a JSLT stylesheet document (bare rule array or envelope form) whose evaluation against the state must produce a single vnode.",
       "allOf": [
         {
-          "$ref": "https://jarenjs.dev/schemas/jaren-jslt/0.1/draft-07"
+          "$ref": "#/definitions/stylesheetDocument"
         }
       ]
     },
@@ -24,7 +24,7 @@
       "description": "Named action documents: Jaren JSON Query documents evaluated with $ bound to the state and the externals $event and $payload.",
       "type": "object",
       "additionalProperties": {
-        "$ref": "https://jarenjs.dev/schemas/jaren-query/0.1/draft-07"
+        "$ref": "#/definitions/queryDocument"
       }
     },
     "subs": {
@@ -45,7 +45,7 @@
             "description": "Liveness query, asserted by effective boolean value against the state; absent means always live.",
             "allOf": [
               {
-                "$ref": "https://jarenjs.dev/schemas/jaren-query/0.1/draft-07"
+                "$ref": "#/definitions/queryDocument"
               }
             ]
           },
@@ -53,7 +53,7 @@
             "description": "Dynamic props: a query evaluated against the state per reconciliation; the subscription restarts when its resolved key changes. Under \"for\", \"$item\" is bound per instance. Mutually exclusive with \"with\".",
             "allOf": [
               {
-                "$ref": "https://jarenjs.dev/schemas/jaren-query/0.1/draft-07"
+                "$ref": "#/definitions/queryDocument"
               }
             ]
           },
@@ -61,7 +61,7 @@
             "description": "Explicit restart key: a query whose resolved value keys the subscription (by value) instead of the resolved props. Requires \"withQuery\" or \"for\"; \"$item\" is bound per instance under \"for\".",
             "allOf": [
               {
-                "$ref": "https://jarenjs.dev/schemas/jaren-query/0.1/draft-07"
+                "$ref": "#/definitions/queryDocument"
               }
             ]
           },
@@ -69,7 +69,7 @@
             "description": "Fan-out: a query whose result is the item set — one running instance per item key, reconciled per state change. \"with\" is not allowed beside it.",
             "allOf": [
               {
-                "$ref": "https://jarenjs.dev/schemas/jaren-query/0.1/draft-07"
+                "$ref": "#/definitions/queryDocument"
               }
             ]
           }
@@ -82,5 +82,13 @@
   },
   "required": [
     "view"
-  ]
+  ],
+  "definitions": {
+    "stylesheetDocument": {
+      "$ref": "https://jarenjs.dev/schemas/jaren-jslt/0.1/draft-07"
+    },
+    "queryDocument": {
+      "$ref": "https://jarenjs.dev/schemas/jaren-query/0.1/draft-07"
+    }
+  }
 }

package/schemas/jaren-app.schema.json

@@ -2,7 +2,7 @@
   "$schema": "https://json-schema.org/draft/2020-12/schema",
   "$id": "https://jarenjs.dev/schemas/jaren-app/0.1",
   "title": "Jaren app document 0.1",
-  "description": "Structural grammar of a complete Jaren application document (see packages/app/docs/APP-FORMAT.md): initial state, a JSLT view stylesheet, named action documents and subscription entries. Composes the published Jaren query and JSLT grammars by reference \u2014 register those artifacts alongside this one. The view's OUTPUT vocabulary (vnodes) is published separately as the jaren-vnode schema in @jarenjs/view. This schema is structural validation only: the runtime remains authoritative for semantic rules it cannot express \u2014 the transition-object shape an action RETURNS ({state?, patch?, effects?}) is the action's runtime result, not its document form; unknown top-level members are ignored for forward compatibility (APP-FORMAT section 2).",
+  "description": "Structural grammar of a complete Jaren application document (see packages/app/docs/APP-FORMAT.md): initial state, a JSLT view stylesheet, named action documents and subscription entries. Composes the published Jaren query and JSLT grammars by reference — register those artifacts alongside this one. The view's OUTPUT vocabulary (vnodes) is published separately as the jaren-vnode schema in @jarenjs/view. This schema is structural validation only: the runtime remains authoritative for semantic rules it cannot express — the transition-object shape an action RETURNS ({state?, patch?, effects?}) is the action's runtime result, not its document form; unknown top-level members are ignored for forward compatibility (APP-FORMAT section 2).",
   "type": "object",
   "properties": {
     "$app": {
@@ -16,7 +16,7 @@
       "description": "The view: a JSLT stylesheet document (bare rule array or envelope form) whose evaluation against the state must produce a single vnode.",
       "allOf": [
         {
-          "$ref": "https://jarenjs.dev/schemas/jaren-jslt/0.1"
+          "$ref": "#/$defs/stylesheetDocument"
         }
       ]
     },
@@ -24,7 +24,7 @@
       "description": "Named action documents: Jaren JSON Query documents evaluated with $ bound to the state and the externals $event and $payload.",
       "type": "object",
       "additionalProperties": {
-        "$ref": "https://jarenjs.dev/schemas/jaren-query/0.1"
+        "$ref": "#/$defs/queryDocument"
       }
     },
     "subs": {
@@ -45,7 +45,7 @@
             "description": "Liveness query, asserted by effective boolean value against the state; absent means always live.",
             "allOf": [
               {
-                "$ref": "https://jarenjs.dev/schemas/jaren-query/0.1"
+                "$ref": "#/$defs/queryDocument"
               }
             ]
           },
@@ -53,7 +53,7 @@
             "description": "Dynamic props: a query evaluated against the state per reconciliation; the subscription restarts when its resolved key changes. Under \"for\", \"$item\" is bound per instance. Mutually exclusive with \"with\".",
             "allOf": [
               {
-                "$ref": "https://jarenjs.dev/schemas/jaren-query/0.1"
+                "$ref": "#/$defs/queryDocument"
               }
             ]
           },
@@ -61,15 +61,15 @@
             "description": "Explicit restart key: a query whose resolved value keys the subscription (by value) instead of the resolved props. Requires \"withQuery\" or \"for\"; \"$item\" is bound per instance under \"for\".",
             "allOf": [
               {
-                "$ref": "https://jarenjs.dev/schemas/jaren-query/0.1"
+                "$ref": "#/$defs/queryDocument"
               }
             ]
           },
           "for": {
-            "description": "Fan-out: a query whose result is the item set \u2014 one running instance per item key, reconciled per state change. \"with\" is not allowed beside it.",
+            "description": "Fan-out: a query whose result is the item set — one running instance per item key, reconciled per state change. \"with\" is not allowed beside it.",
             "allOf": [
               {
-                "$ref": "https://jarenjs.dev/schemas/jaren-query/0.1"
+                "$ref": "#/$defs/queryDocument"
               }
             ]
           }
@@ -82,5 +82,13 @@
   },
   "required": [
     "view"
-  ]
+  ],
+  "$defs": {
+    "stylesheetDocument": {
+      "$ref": "https://jarenjs.dev/schemas/jaren-jslt/0.1"
+    },
+    "queryDocument": {
+      "$ref": "https://jarenjs.dev/schemas/jaren-query/0.1"
+    }
+  }
 }