@hozu/cli 0.14.0 → 0.15.0

package/schema/inspect.schema.json

@@ -443,6 +443,10 @@
         },
         "runs": {
           "$ref": "#/definitions/Runs"
+        },
+        "access": {
+          "$ref": "#/definitions/AccessIR",
+          "description": "Who may read it (ADR 0056 B); required for a server-run `scope: 'user'` query."
         }
       },
       "required": [
@@ -724,7 +728,8 @@
         "dom",
         "locale",
         "alternate",
-        "env"
+        "env",
+        "session"
       ]
     },
     "GuardExpr": {
@@ -835,6 +840,99 @@
       ],
       "additionalProperties": false
     },
+    "AccessIR": {
+      "anyOf": [
+        {
+          "type": "object",
+          "properties": {
+            "kind": {
+              "type": "string",
+              "const": "anyone"
+            }
+          },
+          "required": [
+            "kind"
+          ],
+          "additionalProperties": false
+        },
+        {
+          "type": "object",
+          "properties": {
+            "kind": {
+              "type": "string",
+              "const": "signedIn"
+            }
+          },
+          "required": [
+            "kind"
+          ],
+          "additionalProperties": false
+        },
+        {
+          "type": "object",
+          "properties": {
+            "kind": {
+              "type": "string",
+              "const": "allow"
+            },
+            "test": {
+              "$ref": "#/definitions/GuardExpr"
+            }
+          },
+          "required": [
+            "kind",
+            "test"
+          ],
+          "additionalProperties": false
+        },
+        {
+          "type": "object",
+          "properties": {
+            "kind": {
+              "type": "string",
+              "const": "owner"
+            },
+            "row": {
+              "$ref": "#/definitions/ValueExpr"
+            },
+            "session": {
+              "$ref": "#/definitions/ValueExpr"
+            },
+            "load": {
+              "anyOf": [
+                {
+                  "type": "object",
+                  "properties": {
+                    "query": {
+                      "type": "string"
+                    },
+                    "input": {
+                      "$ref": "#/definitions/ValueExpr"
+                    }
+                  },
+                  "required": [
+                    "query",
+                    "input"
+                  ],
+                  "additionalProperties": false
+                },
+                {
+                  "type": "null"
+                }
+              ]
+            }
+          },
+          "required": [
+            "kind",
+            "row",
+            "session",
+            "load"
+          ],
+          "additionalProperties": false
+        }
+      ],
+      "description": "Declared access (ADR 0054, ADR 0056 B). The callbacks are lowered like guards: `session` and `input` are refs, and an owner's `row` is the `result` ref (a row of the output, or the row `load` read)."
+    },
     "MutationIR": {
       "type": "object",
       "properties": {
@@ -858,6 +956,10 @@
         },
         "runs": {
           "$ref": "#/definitions/Runs"
+        },
+        "access": {
+          "$ref": "#/definitions/AccessIR",
+          "description": "Who may run it (ADR 0056 B); required for a server-run mutation."
         }
       },
       "required": [

package/schema/map.schema.json

@@ -169,6 +169,12 @@
                 "type": "string",
                 "description": "Where it runs (ADR 0049): 'server', 'browser' or 'either'."
               },
+              "access": {
+                "type": [
+                  "string",
+                  "null"
+                ]
+              },
               "at": {
                 "type": [
                   "string",
@@ -183,6 +189,7 @@
               "errors",
               "tags",
               "runs",
+              "access",
               "at"
             ],
             "additionalProperties": false
@@ -211,6 +218,12 @@
               "runs": {
                 "type": "string"
               },
+              "access": {
+                "type": [
+                  "string",
+                  "null"
+                ]
+              },
               "at": {
                 "type": [
                   "string",
@@ -223,6 +236,7 @@
               "errors",
               "invalidates",
               "runs",
+              "access",
               "at"
             ],
             "additionalProperties": false

package/schema/migrate.schema.json

@@ -334,6 +334,13 @@
         "lock": {
           "$ref": "#/definitions/LockState"
         },
+        "lockAccepted": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          },
+          "description": "With --update-lock: every change the update accepted, with its now: (ADR 0056 A7)."
+        },
         "styles": {
           "type": "string",
           "enum": [
@@ -541,7 +548,11 @@
         "HZ084",
         "HZ085",
         "HZ086",
-        "HZ087"
+        "HZ087",
+        "HZ088",
+        "HZ089",
+        "HZ090",
+        "HZ091"
       ]
     },
     "Severity": {

package/schema/render.schema.json

@@ -170,7 +170,11 @@
         "HZ084",
         "HZ085",
         "HZ086",
-        "HZ087"
+        "HZ087",
+        "HZ088",
+        "HZ089",
+        "HZ090",
+        "HZ091"
       ]
     },
     "Severity": {

package/schema/show.schema.json

@@ -0,0 +1,79 @@
+{
+  "$schema": "http://json-schema.org/draft-07/schema#",
+  "$ref": "#/definitions/ShowOutput",
+  "definitions": {
+    "ShowOutput": {
+      "type": "object",
+      "properties": {
+        "added": {
+          "anyOf": [
+            {
+              "$ref": "#/definitions/AgentNoteOutput"
+            },
+            {
+              "type": "null"
+            }
+          ]
+        },
+        "removed": {
+          "type": "number"
+        },
+        "notes": {
+          "type": "array",
+          "items": {
+            "$ref": "#/definitions/AgentNoteOutput"
+          }
+        }
+      },
+      "required": [
+        "added",
+        "removed",
+        "notes"
+      ],
+      "additionalProperties": false,
+      "description": "`hozu show`: the notes the agent shows the person under hozu dev (ADR 0056 D)."
+    },
+    "AgentNoteOutput": {
+      "type": "object",
+      "properties": {
+        "n": {
+          "type": "number"
+        },
+        "id": {
+          "type": "string"
+        },
+        "label": {
+          "type": "string"
+        },
+        "at": {
+          "type": [
+            "string",
+            "null"
+          ]
+        },
+        "path": {
+          "type": [
+            "string",
+            "null"
+          ]
+        },
+        "text": {
+          "type": "string"
+        },
+        "created": {
+          "type": "string"
+        }
+      },
+      "required": [
+        "n",
+        "id",
+        "label",
+        "at",
+        "path",
+        "text",
+        "created"
+      ],
+      "additionalProperties": false
+    }
+  }
+}

package/schema/why.schema.json

@@ -321,6 +321,13 @@
             }
           ],
           "description": "Where a query or mutation runs (ADR 0049); null for other symbols."
+        },
+        "access": {
+          "type": [
+            "string",
+            "null"
+          ],
+          "description": "Who may run it (ADR 0056 B), as the lock records it; null when it declares none."
         }
       },
       "required": [
@@ -331,7 +338,8 @@
         "invalidatedBy",
         "uses",
         "features",
-        "runs"
+        "runs",
+        "access"
       ],
       "additionalProperties": false
     },

package/schema/explain.schema.json

@@ -1,171 +0,0 @@
-{
-  "$schema": "http://json-schema.org/draft-07/schema#",
-  "$ref": "#/definitions/ExplainOutput",
-  "definitions": {
-    "ExplainOutput": {
-      "type": "object",
-      "properties": {
-        "feature": {
-          "type": "string"
-        },
-        "state": {
-          "type": "string"
-        },
-        "initial": {
-          "type": "boolean"
-        },
-        "final": {
-          "type": "boolean"
-        },
-        "invoke": {
-          "anyOf": [
-            {
-              "type": "object",
-              "properties": {
-                "effect": {
-                  "type": "string"
-                },
-                "input": {
-                  "type": "string"
-                },
-                "errors": {
-                  "type": "array",
-                  "items": {
-                    "type": "string"
-                  }
-                },
-                "runs": {
-                  "$ref": "#/definitions/Runs"
-                }
-              },
-              "required": [
-                "effect",
-                "input",
-                "errors",
-                "runs"
-              ],
-              "additionalProperties": false
-            },
-            {
-              "type": "null"
-            }
-          ]
-        },
-        "outgoing": {
-          "type": "array",
-          "items": {
-            "$ref": "#/definitions/ExplainTransition"
-          }
-        },
-        "incoming": {
-          "type": "array",
-          "items": {
-            "$ref": "#/definitions/ExplainTransition"
-          }
-        },
-        "sends": {
-          "type": "array",
-          "items": {
-            "$ref": "#/definitions/ExplainSend"
-          }
-        }
-      },
-      "required": [
-        "feature",
-        "state",
-        "initial",
-        "final",
-        "invoke",
-        "outgoing",
-        "incoming",
-        "sends"
-      ],
-      "additionalProperties": false
-    },
-    "Runs": {
-      "type": "string",
-      "enum": [
-        "server",
-        "browser",
-        "either"
-      ],
-      "description": "What an effect's implementation needs (ADR 0049): server secrets, browser credentials, or neither."
-    },
-    "ExplainTransition": {
-      "type": "object",
-      "properties": {
-        "id": {
-          "type": "string"
-        },
-        "from": {
-          "type": "string"
-        },
-        "to": {
-          "type": "string"
-        },
-        "trigger": {
-          "type": "string"
-        },
-        "guard": {
-          "type": [
-            "string",
-            "null"
-          ]
-        },
-        "assign": {
-          "type": "array",
-          "items": {
-            "type": "string"
-          }
-        },
-        "navigate": {
-          "type": [
-            "string",
-            "null"
-          ]
-        },
-        "coveredBy": {
-          "type": "array",
-          "items": {
-            "type": "string"
-          }
-        }
-      },
-      "required": [
-        "id",
-        "from",
-        "to",
-        "trigger",
-        "guard",
-        "assign",
-        "navigate",
-        "coveredBy"
-      ],
-      "additionalProperties": false
-    },
-    "ExplainSend": {
-      "type": "object",
-      "properties": {
-        "view": {
-          "type": "string"
-        },
-        "node": {
-          "type": "string"
-        },
-        "event": {
-          "type": "string"
-        },
-        "handled": {
-          "type": "boolean"
-        }
-      },
-      "required": [
-        "view",
-        "node",
-        "event",
-        "handled"
-      ],
-      "additionalProperties": false
-    }
-  }
-}