@cavelang/canonical 0.5.0 → 0.12.0

package/dist/src/prelude.d.ts

@@ -8,8 +8,8 @@
  * ingesting the text first.
  */
 import * as Registry from './registry.ts';
-/** The spec §5.5 declaration block, verbatim. */
-export declare const standardPrelude = "REVERSE IS verb ; declares that two verbs name the same edge read in opposite directions\nREVERSE HAS arity: 2\nCONTAINS REVERSE PART-OF\nCAUSE REVERSE CAUSED-BY\nPRECEDES REVERSE FOLLOWS\nUSES REVERSE USED-BY\nNEEDS REVERSE NEEDED-BY\nENABLES REVERSE ENABLED-BY\nBLOCKS REVERSE BLOCKED-BY\nEXTENDS REVERSE EXTENDED-BY\n";
-/** Registry with the standard §5.5 inverse pairs declared. */
+/** The spec §5.5 declaration block, verbatim, plus §20.1's `EXPECTS`. */
+export declare const standardPrelude = "REVERSE IS verb ; declares that two verbs name the same edge read in opposite directions\nREVERSE HAS arity: 2\nEXPECTS IS verb ; a type expects its instances to carry an attribute or relation\nCONTAINS REVERSE PART-OF\nCAUSE REVERSE CAUSED-BY\nPRECEDES REVERSE FOLLOWS\nUSES REVERSE USED-BY\nNEEDS REVERSE NEEDED-BY\nENABLES REVERSE ENABLED-BY\nBLOCKS REVERSE BLOCKED-BY\nEXTENDS REVERSE EXTENDED-BY\n";
+/** Registry with the standard §5.5 inverse pairs and §20.1 `EXPECTS` declared. */
 export declare const standardRegistry: Registry.t;
 //# sourceMappingURL=prelude.d.ts.map

package/dist/src/prelude.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"prelude.d.ts","sourceRoot":"","sources":["../../src/prelude.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAEzC,iDAAiD;AACjD,eAAO,MAAM,eAAe,qUAU3B,CAAA;AAaD,8DAA8D;AAC9D,eAAO,MAAM,gBAAgB,EAAE,QAAQ,CAAC,CAIa,CAAA"}
+{"version":3,"file":"prelude.d.ts","sourceRoot":"","sources":["../../src/prelude.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAEzC,yEAAyE;AACzE,eAAO,MAAM,eAAe,uZAW3B,CAAA;AAaD,kFAAkF;AAClF,eAAO,MAAM,gBAAgB,EAAE,QAAQ,CAAC,CAI8C,CAAA"}

package/dist/src/prelude.js

@@ -8,9 +8,10 @@
  * ingesting the text first.
  */
 import * as Registry from "./registry.js";
-/** The spec §5.5 declaration block, verbatim. */
+/** The spec §5.5 declaration block, verbatim, plus §20.1's `EXPECTS`. */
 export const standardPrelude = `REVERSE IS verb ; declares that two verbs name the same edge read in opposite directions
 REVERSE HAS arity: 2
+EXPECTS IS verb ; a type expects its instances to carry an attribute or relation
 CONTAINS REVERSE PART-OF
 CAUSE REVERSE CAUSED-BY
 PRECEDES REVERSE FOLLOWS
@@ -30,9 +31,9 @@ const standardPairs = [
     ['BLOCKS', 'BLOCKED-BY'],
     ['EXTENDS', 'EXTENDED-BY']
 ];
-/** Registry with the standard §5.5 inverse pairs declared. */
+/** Registry with the standard §5.5 inverse pairs and §20.1 `EXPECTS` declared. */
 export const standardRegistry = standardPairs.reduce((registry, [primary, inverse]) => {
     const declared = Registry.declareReverse(registry, primary, inverse);
     return declared.registry;
-}, Registry.declareVerb(Registry.empty, 'REVERSE'));
+}, Registry.declareVerb(Registry.declareVerb(Registry.empty, 'REVERSE'), 'EXPECTS'));
 //# sourceMappingURL=prelude.js.map

package/dist/src/prelude.js.map

@@ -1 +1 @@
-{"version":3,"file":"prelude.js","sourceRoot":"","sources":["../../src/prelude.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAEzC,iDAAiD;AACjD,MAAM,CAAC,MAAM,eAAe,GAAG;;;;;;;;;;CAU9B,CAAA;AAED,MAAM,aAAa,GAAgC;IACjD,CAAC,UAAU,EAAE,SAAS,CAAC;IACvB,CAAC,OAAO,EAAE,WAAW,CAAC;IACtB,CAAC,UAAU,EAAE,SAAS,CAAC;IACvB,CAAC,MAAM,EAAE,SAAS,CAAC;IACnB,CAAC,OAAO,EAAE,WAAW,CAAC;IACtB,CAAC,SAAS,EAAE,YAAY,CAAC;IACzB,CAAC,QAAQ,EAAE,YAAY,CAAC;IACxB,CAAC,SAAS,EAAE,aAAa,CAAC;CAC3B,CAAA;AAED,8DAA8D;AAC9D,MAAM,CAAC,MAAM,gBAAgB,GAC3B,aAAa,CAAC,MAAM,CAAa,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE;IAChE,MAAM,QAAQ,GAAG,QAAQ,CAAC,cAAc,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAAA;IACpE,OAAO,QAAQ,CAAC,QAAQ,CAAA;AAC1B,CAAC,EAAE,QAAQ,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAA"}
+{"version":3,"file":"prelude.js","sourceRoot":"","sources":["../../src/prelude.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAEzC,yEAAyE;AACzE,MAAM,CAAC,MAAM,eAAe,GAAG;;;;;;;;;;;CAW9B,CAAA;AAED,MAAM,aAAa,GAAgC;IACjD,CAAC,UAAU,EAAE,SAAS,CAAC;IACvB,CAAC,OAAO,EAAE,WAAW,CAAC;IACtB,CAAC,UAAU,EAAE,SAAS,CAAC;IACvB,CAAC,MAAM,EAAE,SAAS,CAAC;IACnB,CAAC,OAAO,EAAE,WAAW,CAAC;IACtB,CAAC,SAAS,EAAE,YAAY,CAAC;IACzB,CAAC,QAAQ,EAAE,YAAY,CAAC;IACxB,CAAC,SAAS,EAAE,aAAa,CAAC;CAC3B,CAAA;AAED,kFAAkF;AAClF,MAAM,CAAC,MAAM,gBAAgB,GAC3B,aAAa,CAAC,MAAM,CAAa,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE;IAChE,MAAM,QAAQ,GAAG,QAAQ,CAAC,cAAc,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAAA;IACpE,OAAO,QAAQ,CAAC,QAAQ,CAAA;AAC1B,CAAC,EAAE,QAAQ,CAAC,WAAW,CAAC,QAAQ,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,SAAS,CAAC,CAAC,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cavelang/canonical",
-  "version": "0.5.0",
+  "version": "0.12.0",
   "type": "module",
   "description": "CAVE canonicalization — verb registry, REVERSE inverse resolution, continuation expansion, canonical emitter.",
   "license": "CC0-1.0",
@@ -32,8 +32,8 @@
     "access": "public"
   },
   "dependencies": {
-    "@cavelang/core": "0.5.0",
-    "@cavelang/parser": "0.5.0"
+    "@cavelang/core": "0.12.0",
+    "@cavelang/parser": "0.12.0"
   },
   "scripts": {
     "build": "tsc -b",

package/src/prelude.ts

@@ -10,9 +10,10 @@
 
 import * as Registry from './registry.ts'
 
-/** The spec §5.5 declaration block, verbatim. */
+/** The spec §5.5 declaration block, verbatim, plus §20.1's `EXPECTS`. */
 export const standardPrelude = `REVERSE IS verb ; declares that two verbs name the same edge read in opposite directions
 REVERSE HAS arity: 2
+EXPECTS IS verb ; a type expects its instances to carry an attribute or relation
 CONTAINS REVERSE PART-OF
 CAUSE REVERSE CAUSED-BY
 PRECEDES REVERSE FOLLOWS
@@ -34,9 +35,9 @@ const standardPairs: readonly [string, string][] = [
   ['EXTENDS', 'EXTENDED-BY']
 ]
 
-/** Registry with the standard §5.5 inverse pairs declared. */
+/** Registry with the standard §5.5 inverse pairs and §20.1 `EXPECTS` declared. */
 export const standardRegistry: Registry.t =
   standardPairs.reduce<Registry.t>((registry, [primary, inverse]) => {
     const declared = Registry.declareReverse(registry, primary, inverse)
     return declared.registry
-  }, Registry.declareVerb(Registry.empty, 'REVERSE'))
+  }, Registry.declareVerb(Registry.declareVerb(Registry.empty, 'REVERSE'), 'EXPECTS'))