@manta-eu/cli 0.5.1 → 0.6.0

package/README.md

@@ -1,7 +1,8 @@
 # @manta-eu/cli
 
 The `manta` CLI keeps what a Manta datastore holds in line with files you track in git. It covers your app's
-vocabulary (the classes and properties your app adds to the knowledge graph) and the SHACL shapes for those classes.
+vocabulary (the classes and properties your app adds to the knowledge graph), the SHACL shapes for those classes, and
+the Datalog rules that derive new facts from them.
 
 Documentation: [developers.manta.eu](https://developers.manta.eu)
 
@@ -81,12 +82,35 @@ shapes pushed under the same `--name` are still in the datastore.
 The vocabulary push keeps the prefixes your file declares for your own namespace, so `manta-codegen` names your schemas
 after them (`todo.ts`). Declare your namespace with its prefix in the vocabulary before you push shapes for it.
 
+## Push your rules
+
+Keep your Datalog rules in a `.dlog` file, each one named by a `# s:` line in your own namespace. Use only the
+prefixes the realm's rules declare, and spell your own IRIs out in full: a realm deploy recommits your rules under the
+realm's prefixes, so a prefix of your own would stop them.
+
+```datalog
+# s: <https://todomvc.example/vocab#Rule_Done>
+<https://todomvc.example/vocab#isDone>[?todo, true] :-
+    <https://todomvc.example/vocab#Todo>[?todo], <https://todomvc.example/vocab#completed>[?todo, true] .
+```
+
+```shell
+pnpm manta rules push manta/rules.dlog --datastore your-datastore --name todomvc
+```
+
+- **Committed, not only staged.** The push makes the file your app's whole live rule set in one transaction: new rules
+  are added, changed ones replaced, and the ones the file no longer holds removed. The datastore starts deriving at once.
+- **Survives a deploy.** Your rules are owned by your app, and a realm deploy only replaces the realm's own.
+- **Dry run.** `--dry-run` reports how many rules would be added, changed and removed, and commits nothing.
+
+`manta rules delete` withdraws all of your app's rules.
+
 The command targets hiremanta.com production unless `--api-url`, `--keycloak-url` and `--keycloak-realm` name another
 deployment, as for `manta-codegen`.
 
 ## What the API checks
 
-The whole push is refused, and nothing is written, when the file:
+The whole push is refused, and nothing is written, when a Turtle file:
 
 - is not valid Turtle, declares nothing, or is larger than 1 MiB;
 - declares a term outside `--namespace`, or names a namespace that overlaps one another app's vocabulary already
@@ -98,6 +122,11 @@ The whole push is refused, and nothing is written, when the file:
 A shapes file is also refused when it declares no `sh:NodeShape`, uses `sh:targetNode`, `sh:targetSubjectsOf` or
 `sh:targetObjectsOf`, or targets a class the realm's own shapes already cover.
 
+A rules file is refused when a rule has no `# s:` name or shares one, uses a prefix the file does not declare, declares
+a prefix the realm's rules do not, binds a prefix differently from the datastore's rules, is not valid Datalog, derives a predicate the platform protects or a
+variable predicate, names an action the datastore cannot run, or takes a name in a namespace Manta owns or one
+another owner already holds.
+
 `--name` is 1 to 64 lowercase letters, digits and dashes, and may not end in `ontology`, which marks the realm
 ontology. `--namespace` is an http(s) IRI ending in `#` or `/`, and may not overlap a namespace Manta already owns: the
 realm's own vocabulary, an integration's (such as `meta:` or `shopify:`), or RDF, RDFS, OWL, XSD, SHACL and the other

package/dist/app-file.d.ts

@@ -14,7 +14,19 @@ export type AppFileDeletion = {
     graphIri: string;
     deleted: boolean;
 };
-export type AppFileCollection = "vocabularies" | "shapes";
+export type RulesPush = {
+    name: string;
+    graphIri: string;
+    owner: string;
+    added: number;
+    changed: number;
+    removed: number;
+    unchanged: number;
+    prefixesRebound: boolean;
+    written: boolean;
+    dryRun: boolean;
+};
+export type AppFileCollection = "vocabularies" | "shapes" | "rules";
 export type AppFileLocation = {
     apiUrl: string;
     datastore: string;
@@ -31,6 +43,11 @@ export declare function pushAppFile(target: AppFileTarget & {
     turtle: string;
     dryRun: boolean;
 }): Promise<AppFilePush>;
+export declare function pushRules(target: Omit<AppFileTarget, "collection"> & {
+    text: string;
+    dryRun: boolean;
+}): Promise<RulesPush>;
 export declare function deleteAppFile(target: AppFileTarget): Promise<AppFileDeletion>;
 export declare function describePush(push: AppFilePush): string;
+export declare function describeRulesPush(push: RulesPush): string;
 //# sourceMappingURL=app-file.d.ts.map

package/dist/app-file.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"app-file.d.ts","sourceRoot":"","sources":["../src/app-file.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,SAAS,EAGd,KAAK,WAAW,EAEjB,MAAM,gBAAgB,CAAC;AAExB,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,gBAAgB,EAAE,MAAM,CAAC;IACzB,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,OAAO,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAEnF,MAAM,MAAM,iBAAiB,GAAG,cAAc,GAAG,QAAQ,CAAC;AAE1D,MAAM,MAAM,eAAe,GAAG;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,iBAAiB,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEjH,MAAM,MAAM,aAAa,GAAG,eAAe,GAAG;IAAE,KAAK,EAAE,WAAW,CAAC;IAAC,SAAS,CAAC,EAAE,SAAS,CAAA;CAAE,CAAC;AAE5F,wBAAgB,eAAe,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,eAAe,GAAG,MAAM,CAEhG;AAED,wBAAgB,WAAW,CACzB,MAAM,EAAE,aAAa,GAAG;IAAE,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GAC9E,OAAO,CAAC,WAAW,CAAC,CAUtB;AAED,wBAAgB,aAAa,CAAC,MAAM,EAAE,aAAa,GAAG,OAAO,CAAC,eAAe,CAAC,CAE7E;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,WAAW,GAAG,MAAM,CAStD"}
+{"version":3,"file":"app-file.d.ts","sourceRoot":"","sources":["../src/app-file.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,SAAS,EAGd,KAAK,WAAW,EAEjB,MAAM,gBAAgB,CAAC;AAExB,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,gBAAgB,EAAE,MAAM,CAAC;IACzB,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,OAAO,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAEnF,MAAM,MAAM,SAAS,GAAG;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,OAAO,CAAC;IACzB,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,OAAO,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,CAAC;AAEpE,MAAM,MAAM,eAAe,GAAG;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,iBAAiB,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEjH,MAAM,MAAM,aAAa,GAAG,eAAe,GAAG;IAAE,KAAK,EAAE,WAAW,CAAC;IAAC,SAAS,CAAC,EAAE,SAAS,CAAA;CAAE,CAAC;AAE5F,wBAAgB,eAAe,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,eAAe,GAAG,MAAM,CAEhG;AAED,wBAAgB,WAAW,CACzB,MAAM,EAAE,aAAa,GAAG;IAAE,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GAC9E,OAAO,CAAC,WAAW,CAAC,CAEtB;AAED,wBAAgB,SAAS,CACvB,MAAM,EAAE,IAAI,CAAC,aAAa,EAAE,YAAY,CAAC,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GAC5E,OAAO,CAAC,SAAS,CAAC,CAEpB;AAED,wBAAgB,aAAa,CAAC,MAAM,EAAE,aAAa,GAAG,OAAO,CAAC,eAAe,CAAC,CAE7E;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,WAAW,GAAG,MAAM,CAStD;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,CAWzD"}

package/dist/app-file.js

@@ -3,16 +3,10 @@ export function appFileEndpoint({ apiUrl, datastore, collection, name }) {
     return `${apiUrl.replace(/\/$/, "")}/d/${encodeURIComponent(datastore)}/${collection}/${encodeURIComponent(name)}`;
 }
 export function pushAppFile(target) {
-    const endpoint = new URL(appFileEndpoint(target));
-    if (target.namespace !== undefined)
-        endpoint.searchParams.set("namespace", target.namespace);
-    if (target.dryRun)
-        endpoint.searchParams.set("dryRun", "true");
-    return send(target, endpoint.toString(), {
-        method: "PUT",
-        headers: { "content-type": "text/turtle" },
-        body: target.turtle,
-    });
+    return put(target, "text/turtle", target.turtle);
+}
+export function pushRules(target) {
+    return put({ ...target, collection: "rules" }, "application/x.datalog", target.text);
 }
 export function deleteAppFile(target) {
     return send(target, appFileEndpoint(target), { method: "DELETE", headers: {} });
@@ -27,6 +21,29 @@ export function describePush(push) {
         return `${push.name} would change: ${changes}${dryRun}`;
     return `updated ${push.name} in <${push.graphIri}>: ${changes}`;
 }
+export function describeRulesPush(push) {
+    const dryRun = push.dryRun ? " (dry run, nothing committed)" : "";
+    const rebound = push.prefixesRebound ? ", prefixes rebound" : "";
+    const counts = `${push.added} added, ${push.changed} changed, ${push.removed} removed, ${push.unchanged} unchanged${rebound}`;
+    if (push.added + push.changed + push.removed === 0 && !push.prefixesRebound) {
+        return `${push.name}'s rules are already up to date${dryRun}`;
+    }
+    if (push.dryRun)
+        return `${push.name}'s rules would change: ${counts}${dryRun}`;
+    return `committed ${push.name}'s rules: ${counts}`;
+}
+function put(target, contentType, body) {
+    const endpoint = new URL(appFileEndpoint(target));
+    if (target.namespace !== undefined)
+        endpoint.searchParams.set("namespace", target.namespace);
+    if (target.dryRun)
+        endpoint.searchParams.set("dryRun", "true");
+    return send(target, endpoint.toString(), {
+        method: "PUT",
+        headers: { "content-type": contentType },
+        body,
+    });
+}
 async function send({ token, fetchImpl = fetch }, endpoint, init) {
     return withRenewal(token, async (accessToken) => {
         let response;

package/dist/app-file.js.map

@@ -1 +1 @@
-{"version":3,"file":"app-file.js","sourceRoot":"","sources":["../src/app-file.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,aAAa,EAEb,QAAQ,EACR,mBAAmB,EAEnB,WAAW,GACZ,MAAM,gBAAgB,CAAC;AAqBxB,MAAM,UAAU,eAAe,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,EAAmB;IACtF,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,kBAAkB,CAAC,SAAS,CAAC,IAAI,UAAU,IAAI,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;AACrH,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,MAA+E;IAE/E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;IAClD,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS;QAAE,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IAC7F,IAAI,MAAM,CAAC,MAAM;QAAE,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAE/D,OAAO,IAAI,CAAc,MAAM,EAAE,QAAQ,CAAC,QAAQ,EAAE,EAAE;QACpD,MAAM,EAAE,KAAK;QACb,OAAO,EAAE,EAAE,cAAc,EAAE,aAAa,EAAE;QAC1C,IAAI,EAAE,MAAM,CAAC,MAAM;KACpB,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,MAAqB;IACjD,OAAO,IAAI,CAAkB,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;AACnG,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAiB;IAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,gBAAgB,+BAA+B,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9G,MAAM,OAAO,GAAG,GAAG,IAAI,CAAC,KAAK,WAAW,IAAI,CAAC,OAAO,WAAW,UAAU,EAAE,CAAC;IAC5E,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC,CAAC,EAAE,CAAC;IAEhE,IAAI,CAAC,IAAI,CAAC,OAAO;QAAE,OAAO,GAAG,IAAI,CAAC,IAAI,yBAAyB,MAAM,EAAE,CAAC;IACxE,IAAI,IAAI,CAAC,MAAM;QAAE,OAAO,GAAG,IAAI,CAAC,IAAI,kBAAkB,OAAO,GAAG,MAAM,EAAE,CAAC;IAEzE,OAAO,WAAW,IAAI,CAAC,IAAI,QAAQ,IAAI,CAAC,QAAQ,MAAM,OAAO,EAAE,CAAC;AAClE,CAAC;AAED,KAAK,UAAU,IAAI,CACjB,EAAE,KAAK,EAAE,SAAS,GAAG,KAAK,EAAiB,EAC3C,QAAgB,EAChB,IAAuD;IAEvD,OAAO,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE;QAC9C,IAAI,QAAkB,CAAC;QAEvB,IAAI,CAAC;YACH,QAAQ,GAAG,MAAM,SAAS,CAAC,QAAQ,EAAE;gBACnC,GAAG,IAAI;gBACP,OAAO,EAAE,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,aAAa,EAAE,UAAU,WAAW,EAAE,EAAE;aACrE,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,KAAK,CAAC,gBAAgB,QAAQ,KAAK,aAAa,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QAClF,CAAC;QAED,MAAM,IAAI,GAAG,MAAM,QAAQ,CAA0B,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAEzE,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YACjB,MAAM,MAAM,GAAG,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAEvE,MAAM,IAAI,mBAAmB,CAAC,GAAG,QAAQ,oBAAoB,QAAQ,CAAC,MAAM,GAAG,MAAM,EAAE,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC5G,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"app-file.js","sourceRoot":"","sources":["../src/app-file.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,aAAa,EAEb,QAAQ,EACR,mBAAmB,EAEnB,WAAW,GACZ,MAAM,gBAAgB,CAAC;AAkCxB,MAAM,UAAU,eAAe,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,EAAmB;IACtF,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,kBAAkB,CAAC,SAAS,CAAC,IAAI,UAAU,IAAI,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;AACrH,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,MAA+E;IAE/E,OAAO,GAAG,CAAc,MAAM,EAAE,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,SAAS,CACvB,MAA6E;IAE7E,OAAO,GAAG,CAAY,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,uBAAuB,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;AAClG,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,MAAqB;IACjD,OAAO,IAAI,CAAkB,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;AACnG,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAiB;IAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,gBAAgB,+BAA+B,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9G,MAAM,OAAO,GAAG,GAAG,IAAI,CAAC,KAAK,WAAW,IAAI,CAAC,OAAO,WAAW,UAAU,EAAE,CAAC;IAC5E,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC,CAAC,EAAE,CAAC;IAEhE,IAAI,CAAC,IAAI,CAAC,OAAO;QAAE,OAAO,GAAG,IAAI,CAAC,IAAI,yBAAyB,MAAM,EAAE,CAAC;IACxE,IAAI,IAAI,CAAC,MAAM;QAAE,OAAO,GAAG,IAAI,CAAC,IAAI,kBAAkB,OAAO,GAAG,MAAM,EAAE,CAAC;IAEzE,OAAO,WAAW,IAAI,CAAC,IAAI,QAAQ,IAAI,CAAC,QAAQ,MAAM,OAAO,EAAE,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAe;IAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,CAAC,EAAE,CAAC;IAClE,MAAM,OAAO,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAC;IACjE,MAAM,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,WAAW,IAAI,CAAC,OAAO,aAAa,IAAI,CAAC,OAAO,aAAa,IAAI,CAAC,SAAS,aAAa,OAAO,EAAE,CAAC;IAE9H,IAAI,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;QAC5E,OAAO,GAAG,IAAI,CAAC,IAAI,kCAAkC,MAAM,EAAE,CAAC;IAChE,CAAC;IACD,IAAI,IAAI,CAAC,MAAM;QAAE,OAAO,GAAG,IAAI,CAAC,IAAI,0BAA0B,MAAM,GAAG,MAAM,EAAE,CAAC;IAEhF,OAAO,aAAa,IAAI,CAAC,IAAI,aAAa,MAAM,EAAE,CAAC;AACrD,CAAC;AAED,SAAS,GAAG,CACV,MAA+D,EAC/D,WAAmB,EACnB,IAAY;IAEZ,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;IAClD,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS;QAAE,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IAC7F,IAAI,MAAM,CAAC,MAAM;QAAE,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAE/D,OAAO,IAAI,CAAI,MAAM,EAAE,QAAQ,CAAC,QAAQ,EAAE,EAAE;QAC1C,MAAM,EAAE,KAAK;QACb,OAAO,EAAE,EAAE,cAAc,EAAE,WAAW,EAAE;QACxC,IAAI;KACL,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,IAAI,CACjB,EAAE,KAAK,EAAE,SAAS,GAAG,KAAK,EAAiB,EAC3C,QAAgB,EAChB,IAAuD;IAEvD,OAAO,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE;QAC9C,IAAI,QAAkB,CAAC;QAEvB,IAAI,CAAC;YACH,QAAQ,GAAG,MAAM,SAAS,CAAC,QAAQ,EAAE;gBACnC,GAAG,IAAI;gBACP,OAAO,EAAE,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,aAAa,EAAE,UAAU,WAAW,EAAE,EAAE;aACrE,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,KAAK,CAAC,gBAAgB,QAAQ,KAAK,aAAa,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QAClF,CAAC;QAED,MAAM,IAAI,GAAG,MAAM,QAAQ,CAA0B,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAEzE,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YACjB,MAAM,MAAM,GAAG,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAEvE,MAAM,IAAI,mBAAmB,CAAC,GAAG,QAAQ,oBAAoB,QAAQ,CAAC,MAAM,GAAG,MAAM,EAAE,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC5G,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/cli.js

@@ -2,7 +2,7 @@
 import { clientIdHelp, cliTokenSource, defaultDeployment, describeError, registerAuthCommands, } from "@manta-eu/auth";
 import { Command } from "commander";
 import { readFile } from "node:fs/promises";
-import { deleteAppFile, describePush, pushAppFile } from "./app-file.js";
+import { deleteAppFile, describePush, describeRulesPush, pushAppFile, pushRules, } from "./app-file.js";
 const label = "manta";
 function withTargetOptions(command) {
     return command
@@ -36,24 +36,19 @@ async function run(action) {
 const program = new Command()
     .name(label)
     .description("Keep what a Manta datastore holds in line with files you track in git.");
-function registerAppFileCommands({ command, collection, description, noun, addPushOptions }) {
+const pushTurtle = async (target, turtle, options) => describePush(await pushAppFile({ ...target, ...options, turtle }));
+function registerAppFileCommands({ command, collection, description, noun, format, push, addPushOptions, }) {
     const group = program.command(command).description(description);
-    const push = group
+    const pushCommand = group
         .command("push")
-        .description(`make the datastore hold exactly the ${noun} the Turtle file declares`)
-        .argument("<file>", `Turtle file with your app's ${noun}`)
+        .description(`make the datastore hold exactly the ${noun} the ${format} file declares`)
+        .argument("<file>", `${format} file with your app's ${noun}`)
         .option("--dry-run", "report what would change without writing it");
-    addPushOptions?.(push);
-    withTargetOptions(push).action((file, options) => run(async () => {
-        const turtle = await readFile(file, "utf8");
-        const pushed = await pushAppFile({
-            ...targetFrom(collection, options),
-            namespace: options.namespace,
-            turtle,
-            dryRun: options.dryRun === true,
-        });
-        return describePush(pushed);
-    }));
+    addPushOptions?.(pushCommand);
+    withTargetOptions(pushCommand).action((file, options) => run(async () => push(targetFrom(collection, options), await readFile(file, "utf8"), {
+        namespace: options.namespace,
+        dryRun: options.dryRun === true,
+    })));
     withTargetOptions(group.command("delete").description(`remove your app's ${noun} from the datastore`)).action((options) => run(async () => {
         const deletion = await deleteAppFile(targetFrom(collection, options));
         return deletion.deleted ? `deleted ${deletion.name}` : `${deletion.name} was not in the datastore`;
@@ -64,6 +59,8 @@ registerAppFileCommands({
     collection: "vocabularies",
     description: "your app's vocabulary: its classes and properties",
     noun: "vocabulary",
+    format: "Turtle",
+    push: pushTurtle,
     addPushOptions: (push) => push.requiredOption("--namespace <iri>", "your app's namespace, ending in # or /: every term the file declares is under it"),
 });
 registerAppFileCommands({
@@ -71,6 +68,16 @@ registerAppFileCommands({
     collection: "shapes",
     description: "your app's SHACL shapes",
     noun: "shapes",
+    format: "Turtle",
+    push: pushTurtle,
+});
+registerAppFileCommands({
+    command: "rules",
+    collection: "rules",
+    description: "your app's Datalog rules, committed as one set",
+    noun: "rules",
+    format: "Datalog",
+    push: async (target, text, { dryRun }) => describeRulesPush(await pushRules({ ...target, text, dryRun })),
 });
 registerAuthCommands(program, { label });
 await program.parseAsync();

package/dist/cli.js.map

@@ -1 +1 @@
-{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA,OAAO,EAEL,YAAY,EACZ,cAAc,EACd,iBAAiB,EACjB,aAAa,EACb,oBAAoB,GACrB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAA8C,aAAa,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAErH,MAAM,KAAK,GAAG,OAAO,CAAC;AAItB,SAAS,iBAAiB,CAAC,OAAgB;IACzC,OAAO,OAAO;SACX,MAAM,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,iBAAiB,CAAC,MAAM,CAAC;SACzE,cAAc,CAAC,kBAAkB,EAAE,sBAAsB,CAAC;SAC1D,cAAc,CAAC,eAAe,EAAE,uDAAuD,CAAC;SACxF,MAAM,CAAC,sBAAsB,EAAE,mBAAmB,EAAE,iBAAiB,CAAC,WAAW,CAAC;SAClF,MAAM,CAAC,0BAA0B,EAAE,gBAAgB,EAAE,iBAAiB,CAAC,aAAa,CAAC;SACrF,MAAM,CAAC,kBAAkB,EAAE,YAAY,CAAC;SACxC,MAAM,CAAC,iBAAiB,EAAE,0CAA0C,CAAC;SACrE,MAAM,CAAC,mBAAmB,EAAE,yEAAyE,CAAC,CAAC;AAC5G,CAAC;AAED,SAAS,UAAU,CAAC,UAA6B,EAAE,OAAsB;IACvE,OAAO;QACL,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,UAAU;QACV,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,KAAK,EAAE,cAAc,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC;KAC1C,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,GAAG,CAAC,MAA6B;IAC9C,IAAI,CAAC;QACH,OAAO,CAAC,KAAK,CAAC,GAAG,KAAK,KAAK,MAAM,MAAM,EAAE,EAAE,CAAC,CAAC;IAC/C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,GAAG,KAAK,KAAK,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACnD,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;IACvB,CAAC;AACH,CAAC;AAED,MAAM,OAAO,GAAG,IAAI,OAAO,EAAE;KAC1B,IAAI,CAAC,KAAK,CAAC;KACX,WAAW,CAAC,wEAAwE,CAAC,CAAC;AAUzF,SAAS,uBAAuB,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,IAAI,EAAE,cAAc,EAAkB;IACzG,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,KAAK;SACf,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,uCAAuC,IAAI,2BAA2B,CAAC;SACnF,QAAQ,CAAC,QAAQ,EAAE,+BAA+B,IAAI,EAAE,CAAC;SACzD,MAAM,CAAC,WAAW,EAAE,6CAA6C,CAAC,CAAC;IACtE,cAAc,EAAE,CAAC,IAAI,CAAC,CAAC;IAEvB,iBAAiB,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAY,EAAE,OAAiE,EAAE,EAAE,CACjH,GAAG,CAAC,KAAK,IAAI,EAAE;QACb,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC;YAC/B,GAAG,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC;YAClC,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,MAAM;YACN,MAAM,EAAE,OAAO,CAAC,MAAM,KAAK,IAAI;SAChC,CAAC,CAAC;QAEH,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC,CAAC,CACH,CAAC;IAEF,iBAAiB,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,WAAW,CAAC,qBAAqB,IAAI,qBAAqB,CAAC,CAAC,CAAC,MAAM,CAC3G,CAAC,OAAsB,EAAE,EAAE,CACzB,GAAG,CAAC,KAAK,IAAI,EAAE;QACb,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;QAEtE,OAAO,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,IAAI,2BAA2B,CAAC;IACrG,CAAC,CAAC,CACL,CAAC;AACJ,CAAC;AAED,uBAAuB,CAAC;IACtB,OAAO,EAAE,UAAU;IACnB,UAAU,EAAE,cAAc;IAC1B,WAAW,EAAE,mDAAmD;IAChE,IAAI,EAAE,YAAY;IAClB,cAAc,EAAE,CAAC,IAAI,EAAE,EAAE,CACvB,IAAI,CAAC,cAAc,CACjB,mBAAmB,EACnB,kFAAkF,CACnF;CACJ,CAAC,CAAC;AAEH,uBAAuB,CAAC;IACtB,OAAO,EAAE,QAAQ;IACjB,UAAU,EAAE,QAAQ;IACpB,WAAW,EAAE,yBAAyB;IACtC,IAAI,EAAE,QAAQ;CACf,CAAC,CAAC;AAEH,oBAAoB,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;AAEzC,MAAM,OAAO,CAAC,UAAU,EAAE,CAAC"}
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA,OAAO,EAEL,YAAY,EACZ,cAAc,EACd,iBAAiB,EACjB,aAAa,EACb,oBAAoB,GACrB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAGL,aAAa,EACb,YAAY,EACZ,iBAAiB,EACjB,WAAW,EACX,SAAS,GACV,MAAM,eAAe,CAAC;AAEvB,MAAM,KAAK,GAAG,OAAO,CAAC;AAItB,SAAS,iBAAiB,CAAC,OAAgB;IACzC,OAAO,OAAO;SACX,MAAM,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,iBAAiB,CAAC,MAAM,CAAC;SACzE,cAAc,CAAC,kBAAkB,EAAE,sBAAsB,CAAC;SAC1D,cAAc,CAAC,eAAe,EAAE,uDAAuD,CAAC;SACxF,MAAM,CAAC,sBAAsB,EAAE,mBAAmB,EAAE,iBAAiB,CAAC,WAAW,CAAC;SAClF,MAAM,CAAC,0BAA0B,EAAE,gBAAgB,EAAE,iBAAiB,CAAC,aAAa,CAAC;SACrF,MAAM,CAAC,kBAAkB,EAAE,YAAY,CAAC;SACxC,MAAM,CAAC,iBAAiB,EAAE,0CAA0C,CAAC;SACrE,MAAM,CAAC,mBAAmB,EAAE,yEAAyE,CAAC,CAAC;AAC5G,CAAC;AAED,SAAS,UAAU,CAAC,UAA6B,EAAE,OAAsB;IACvE,OAAO;QACL,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,UAAU;QACV,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,KAAK,EAAE,cAAc,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC;KAC1C,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,GAAG,CAAC,MAA6B;IAC9C,IAAI,CAAC;QACH,OAAO,CAAC,KAAK,CAAC,GAAG,KAAK,KAAK,MAAM,MAAM,EAAE,EAAE,CAAC,CAAC;IAC/C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,GAAG,KAAK,KAAK,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACnD,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;IACvB,CAAC;AACH,CAAC;AAED,MAAM,OAAO,GAAG,IAAI,OAAO,EAAE;KAC1B,IAAI,CAAC,KAAK,CAAC;KACX,WAAW,CAAC,wEAAwE,CAAC,CAAC;AAczF,MAAM,UAAU,GAA2B,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,CAC3E,YAAY,CAAC,MAAM,WAAW,CAAC,EAAE,GAAG,MAAM,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;AAErE,SAAS,uBAAuB,CAAC,EAC/B,OAAO,EACP,UAAU,EACV,WAAW,EACX,IAAI,EACJ,MAAM,EACN,IAAI,EACJ,cAAc,GACC;IACf,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;IAChE,MAAM,WAAW,GAAG,KAAK;SACtB,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,uCAAuC,IAAI,QAAQ,MAAM,gBAAgB,CAAC;SACtF,QAAQ,CAAC,QAAQ,EAAE,GAAG,MAAM,yBAAyB,IAAI,EAAE,CAAC;SAC5D,MAAM,CAAC,WAAW,EAAE,6CAA6C,CAAC,CAAC;IACtE,cAAc,EAAE,CAAC,WAAW,CAAC,CAAC;IAE9B,iBAAiB,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,IAAY,EAAE,OAA2C,EAAE,EAAE,CAClG,GAAG,CAAC,KAAK,IAAI,EAAE,CACb,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE;QAClE,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,MAAM,EAAE,OAAO,CAAC,MAAM,KAAK,IAAI;KAChC,CAAC,CACH,CACF,CAAC;IAEF,iBAAiB,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,WAAW,CAAC,qBAAqB,IAAI,qBAAqB,CAAC,CAAC,CAAC,MAAM,CAC3G,CAAC,OAAsB,EAAE,EAAE,CACzB,GAAG,CAAC,KAAK,IAAI,EAAE;QACb,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;QAEtE,OAAO,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,IAAI,2BAA2B,CAAC;IACrG,CAAC,CAAC,CACL,CAAC;AACJ,CAAC;AAED,uBAAuB,CAAC;IACtB,OAAO,EAAE,UAAU;IACnB,UAAU,EAAE,cAAc;IAC1B,WAAW,EAAE,mDAAmD;IAChE,IAAI,EAAE,YAAY;IAClB,MAAM,EAAE,QAAQ;IAChB,IAAI,EAAE,UAAU;IAChB,cAAc,EAAE,CAAC,IAAI,EAAE,EAAE,CACvB,IAAI,CAAC,cAAc,CACjB,mBAAmB,EACnB,kFAAkF,CACnF;CACJ,CAAC,CAAC;AAEH,uBAAuB,CAAC;IACtB,OAAO,EAAE,QAAQ;IACjB,UAAU,EAAE,QAAQ;IACpB,WAAW,EAAE,yBAAyB;IACtC,IAAI,EAAE,QAAQ;IACd,MAAM,EAAE,QAAQ;IAChB,IAAI,EAAE,UAAU;CACjB,CAAC,CAAC;AAEH,uBAAuB,CAAC;IACtB,OAAO,EAAE,OAAO;IAChB,UAAU,EAAE,OAAO;IACnB,WAAW,EAAE,gDAAgD;IAC7D,IAAI,EAAE,OAAO;IACb,MAAM,EAAE,SAAS;IACjB,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,iBAAiB,CAAC,MAAM,SAAS,CAAC,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;CAC1G,CAAC,CAAC;AAEH,oBAAoB,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;AAEzC,MAAM,OAAO,CAAC,UAAU,EAAE,CAAC"}

package/dist/index.d.ts

@@ -1,2 +1,2 @@
-export { appFileEndpoint, deleteAppFile, describePush, pushAppFile, type AppFileCollection, type AppFileDeletion, type AppFileLocation, type AppFilePush, type AppFileTarget, } from "./app-file.js";
+export { appFileEndpoint, deleteAppFile, describePush, describeRulesPush, pushAppFile, pushRules, type AppFileCollection, type AppFileDeletion, type AppFileLocation, type AppFilePush, type AppFileTarget, type RulesPush, } from "./app-file.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,eAAe,EACf,aAAa,EACb,YAAY,EACZ,WAAW,EACX,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,aAAa,GACnB,MAAM,eAAe,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,eAAe,EACf,aAAa,EACb,YAAY,EACZ,iBAAiB,EACjB,WAAW,EACX,SAAS,EACT,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,aAAa,EAClB,KAAK,SAAS,GACf,MAAM,eAAe,CAAC"}

package/dist/index.js

@@ -1,2 +1,2 @@
-export { appFileEndpoint, deleteAppFile, describePush, pushAppFile, } from "./app-file.js";
+export { appFileEndpoint, deleteAppFile, describePush, describeRulesPush, pushAppFile, pushRules, } from "./app-file.js";
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,eAAe,EACf,aAAa,EACb,YAAY,EACZ,WAAW,GAMZ,MAAM,eAAe,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,eAAe,EACf,aAAa,EACb,YAAY,EACZ,iBAAiB,EACjB,WAAW,EACX,SAAS,GAOV,MAAM,eAAe,CAAC"}

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@manta-eu/cli",
-  "version": "0.5.1",
-  "description": "CLI that keeps what a Manta datastore holds in line with files you track in git: your app's vocabulary and shapes",
+  "version": "0.6.0",
+  "description": "CLI that keeps what a Manta datastore holds in line with files you track in git: your app's vocabulary, shapes and rules",
   "homepage": "https://developers.manta.eu",
   "keywords": [
     "manta",
@@ -23,7 +23,7 @@
   "license": "MIT",
   "dependencies": {
     "commander": "^15.0.0",
-    "@manta-eu/auth": "0.5.1"
+    "@manta-eu/auth": "0.6.0"
   },
   "devDependencies": {
     "@types/node": "^24.13.3",

package/src/app-file.ts

@@ -20,7 +20,20 @@ export type AppFilePush = {
 
 export type AppFileDeletion = { name: string; graphIri: string; deleted: boolean };
 
-export type AppFileCollection = "vocabularies" | "shapes";
+export type RulesPush = {
+  name: string;
+  graphIri: string;
+  owner: string;
+  added: number;
+  changed: number;
+  removed: number;
+  unchanged: number;
+  prefixesRebound: boolean;
+  written: boolean;
+  dryRun: boolean;
+};
+
+export type AppFileCollection = "vocabularies" | "shapes" | "rules";
 
 export type AppFileLocation = { apiUrl: string; datastore: string; collection: AppFileCollection; name: string };
 
@@ -33,15 +46,13 @@ export function appFileEndpoint({ apiUrl, datastore, collection, name }: AppFile
 export function pushAppFile(
   target: AppFileTarget & { namespace?: string; turtle: string; dryRun: boolean },
 ): Promise<AppFilePush> {
-  const endpoint = new URL(appFileEndpoint(target));
-  if (target.namespace !== undefined) endpoint.searchParams.set("namespace", target.namespace);
-  if (target.dryRun) endpoint.searchParams.set("dryRun", "true");
+  return put<AppFilePush>(target, "text/turtle", target.turtle);
+}
 
-  return send<AppFilePush>(target, endpoint.toString(), {
-    method: "PUT",
-    headers: { "content-type": "text/turtle" },
-    body: target.turtle,
-  });
+export function pushRules(
+  target: Omit<AppFileTarget, "collection"> & { text: string; dryRun: boolean },
+): Promise<RulesPush> {
+  return put<RulesPush>({ ...target, collection: "rules" }, "application/x.datalog", target.text);
 }
 
 export function deleteAppFile(target: AppFileTarget): Promise<AppFileDeletion> {
@@ -59,6 +70,35 @@ export function describePush(push: AppFilePush): string {
   return `updated ${push.name} in <${push.graphIri}>: ${changes}`;
 }
 
+export function describeRulesPush(push: RulesPush): string {
+  const dryRun = push.dryRun ? " (dry run, nothing committed)" : "";
+  const rebound = push.prefixesRebound ? ", prefixes rebound" : "";
+  const counts = `${push.added} added, ${push.changed} changed, ${push.removed} removed, ${push.unchanged} unchanged${rebound}`;
+
+  if (push.added + push.changed + push.removed === 0 && !push.prefixesRebound) {
+    return `${push.name}'s rules are already up to date${dryRun}`;
+  }
+  if (push.dryRun) return `${push.name}'s rules would change: ${counts}${dryRun}`;
+
+  return `committed ${push.name}'s rules: ${counts}`;
+}
+
+function put<T>(
+  target: AppFileTarget & { namespace?: string; dryRun: boolean },
+  contentType: string,
+  body: string,
+): Promise<T> {
+  const endpoint = new URL(appFileEndpoint(target));
+  if (target.namespace !== undefined) endpoint.searchParams.set("namespace", target.namespace);
+  if (target.dryRun) endpoint.searchParams.set("dryRun", "true");
+
+  return send<T>(target, endpoint.toString(), {
+    method: "PUT",
+    headers: { "content-type": contentType },
+    body,
+  });
+}
+
 async function send<T>(
   { token, fetchImpl = fetch }: AppFileTarget,
   endpoint: string,

package/src/cli.ts

@@ -9,7 +9,15 @@ import {
 } from "@manta-eu/auth";
 import { Command } from "commander";
 import { readFile } from "node:fs/promises";
-import { type AppFileCollection, type AppFileTarget, deleteAppFile, describePush, pushAppFile } from "./app-file.js";
+import {
+  type AppFileCollection,
+  type AppFileTarget,
+  deleteAppFile,
+  describePush,
+  describeRulesPush,
+  pushAppFile,
+  pushRules,
+} from "./app-file.js";
 
 const label = "manta";
 
@@ -50,35 +58,45 @@ const program = new Command()
   .name(label)
   .description("Keep what a Manta datastore holds in line with files you track in git.");
 
+type AppFilePushOptions = { namespace?: string; dryRun: boolean };
+
 type AppFileCommand = {
   command: string;
   collection: AppFileCollection;
   description: string;
   noun: string;
+  format: string;
+  push: (target: AppFileTarget, text: string, options: AppFilePushOptions) => Promise<string>;
   addPushOptions?: (push: Command) => Command;
 };
 
-function registerAppFileCommands({ command, collection, description, noun, addPushOptions }: AppFileCommand): void {
+const pushTurtle: AppFileCommand["push"] = async (target, turtle, options) =>
+  describePush(await pushAppFile({ ...target, ...options, turtle }));
+
+function registerAppFileCommands({
+  command,
+  collection,
+  description,
+  noun,
+  format,
+  push,
+  addPushOptions,
+}: AppFileCommand): void {
   const group = program.command(command).description(description);
-  const push = group
+  const pushCommand = group
     .command("push")
-    .description(`make the datastore hold exactly the ${noun} the Turtle file declares`)
-    .argument("<file>", `Turtle file with your app's ${noun}`)
+    .description(`make the datastore hold exactly the ${noun} the ${format} file declares`)
+    .argument("<file>", `${format} file with your app's ${noun}`)
     .option("--dry-run", "report what would change without writing it");
-  addPushOptions?.(push);
+  addPushOptions?.(pushCommand);
 
-  withTargetOptions(push).action((file: string, options: TargetOptions & { namespace?: string; dryRun?: boolean }) =>
-    run(async () => {
-      const turtle = await readFile(file, "utf8");
-      const pushed = await pushAppFile({
-        ...targetFrom(collection, options),
+  withTargetOptions(pushCommand).action((file: string, options: TargetOptions & AppFilePushOptions) =>
+    run(async () =>
+      push(targetFrom(collection, options), await readFile(file, "utf8"), {
         namespace: options.namespace,
-        turtle,
         dryRun: options.dryRun === true,
-      });
-
-      return describePush(pushed);
-    }),
+      }),
+    ),
   );
 
   withTargetOptions(group.command("delete").description(`remove your app's ${noun} from the datastore`)).action(
@@ -96,6 +114,8 @@ registerAppFileCommands({
   collection: "vocabularies",
   description: "your app's vocabulary: its classes and properties",
   noun: "vocabulary",
+  format: "Turtle",
+  push: pushTurtle,
   addPushOptions: (push) =>
     push.requiredOption(
       "--namespace <iri>",
@@ -108,6 +128,17 @@ registerAppFileCommands({
   collection: "shapes",
   description: "your app's SHACL shapes",
   noun: "shapes",
+  format: "Turtle",
+  push: pushTurtle,
+});
+
+registerAppFileCommands({
+  command: "rules",
+  collection: "rules",
+  description: "your app's Datalog rules, committed as one set",
+  noun: "rules",
+  format: "Datalog",
+  push: async (target, text, { dryRun }) => describeRulesPush(await pushRules({ ...target, text, dryRun })),
 });
 
 registerAuthCommands(program, { label });

package/src/index.ts

@@ -2,10 +2,13 @@ export {
   appFileEndpoint,
   deleteAppFile,
   describePush,
+  describeRulesPush,
   pushAppFile,
+  pushRules,
   type AppFileCollection,
   type AppFileDeletion,
   type AppFileLocation,
   type AppFilePush,
   type AppFileTarget,
+  type RulesPush,
 } from "./app-file.js";