@cronch/kernel 0.12.0 → 0.13.0

package/index.d.ts

@@ -795,9 +795,11 @@ export interface Kernel {
     | { readonly kind: "unreadable"; readonly error: Unreadable };
 }
 
-/** `op` can't happen until an approval has been given (`crates/kernel/src/rules.rs`). */
+/** A call to `op` for which `when` holds can't happen until an approval has been given (`crates/kernel/src/rules.rs`). */
 export interface Rule {
   readonly op: string;
+  /** Over the call's `args` alone, which may read their labels; absent, every call. */
+  readonly when?: Expr;
   /** Each `when` reads `args` (the call's), `approval` (this operation's arguments) and `result`. */
   readonly approvedBy?: readonly { readonly op: string; readonly when: Expr }[];
 }
@@ -806,6 +808,7 @@ export type RuleError =
   | { readonly kind: "interface"; readonly problems: readonly unknown[] }
   | { readonly kind: "noSuchOperation"; readonly name: string }
   | { readonly kind: "grantNotARecord" }
+  | { readonly kind: "whenReadsGrant" }
   | { readonly kind: "unreadable"; readonly update: string }
   | { readonly kind: "refused"; readonly place: string; readonly refusal: SmtlibRefusal };
 

package/kernel.sha256

@@ -1 +1 @@
-36b02b56a03c4bd45afdcdf78d048fca345bdea60c1bed6998a6c70d56e92ee0
+4876f90b156648f21cbbe5ea7bbdf53921c5dcdc6d1b80cff7784484efee0b7f

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cronch/kernel",
-  "version": "0.12.0",
+  "version": "0.13.0",
   "description": "The reference kernel for Pata (Proven Agents, Trusted Actions): agent harnesses whose safety can be proved",
   "repository": {
     "type": "git",