@cruba/crubal 0.0.0-stage → 0.1.0

package/LICENSE

@@ -0,0 +1,202 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright 2026 Chris Thompson
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.
+

package/README.md

@@ -1,3 +1,70 @@
-# Temporary Holding Version
+# @cruba/crubal
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+The CRUBAL reference implementation. Pure functions, JSON in and JSON out, so a compiled core can replace
+the internals later behind the same API.
+
+**Level reached: Views**, every chapter of the spec (1–13). Conformance claim: `CRUBAL 2 · Views · corpus 2026-10-14`.
+
+- **Reader:** the text form and JSON both ways, facet types, unknown keys kept exactly, plain-words refusals
+  with line numbers.
+- **Dictionary:** full definitions, publish checks on facets and classes, resolution by meet, alias and unit
+  folding, value checks against facets and worn classes.
+- **Rules:** rule blocks and facet shortcuts, publish checks (layered by address, no contradictions, one
+  spelling), and an engine that runs writes in order: refused, held, filled (including a failing gate's
+  `-`), derived (templates with `??` and `?`, rollups), flagged, incomplete, complete and completeness, with
+  value-state tests and global uniqueness.
+
+- **Store:** hash-linked logs with redaction, intake through receive contracts (map, value maps, aliases,
+  shapes, ignore, keep-raw; raw bytes and their hash kept), landing by the trust order with alternatives,
+  matching parts before minting rows, evidence validation (independent witnesses, vetoes, version-split
+  proposals), and migration recipes with restamping and a review queue.
+
+- **Exchange:** contract publish checks (parts per kind, defined facets, real values in value maps,
+  credentials as names only), runs in steps (`who` with roles, needs, map out with nested paths, value maps
+  and literals, act once per payload), receive runs that compare with the record and land by trust or as
+  suggestions, offer and take where only the overlap flows and a person's values are never overridden,
+  border wrappers verified against the presenter's key and its log, and package checks (prefixes, trust
+  entries, extending without changing).
+
+- **Views:** shapes as maps into slots (addresses, aggregates over lower levels, templates, required
+  slots), views with selection, context (`of`), pins, hides, order and pages, filters as sub-indexes with
+  range and value buckets and counts that follow the other picks, indexable landing pages, audiences and
+  `shown to` rules (new and unknown values never public), roles that narrow an audience, the portable shape,
+  and read sets that decide which rows a write makes stale.
+
+It passes every corpus folder (87 cases).
+
+Store also checks Ed25519 signatures against the owner's published key, replays intake records from their
+kept bytes (deterministically, keeping earlier outcomes), reviews unknown and new values by key across all
+records and proposes candidate facets by recurrence, keeps non-UTF-8 payloads as base64, and lands values by
+the package's own trust order and facets' orders.
+
+```sh
+npm test                                   # unit tests and the Reader corpus
+node bin/crubal.ts test ../../corpus --level views   # the corpus runner, case by case
+node bin/crubal.ts read data.crubal --defs facets.crubal
+node bin/crubal.ts print data.json --defs facets.crubal [--plain]
+```
+
+Needs Node 23.6 or later (it runs the TypeScript directly).
+
+| File | Does |
+|---|---|
+| `src/tree.ts` | lines, comments, indentation, the pair separator (chapter 2.1) |
+| `src/lex.ts` | quoting, details and short lists (2.5–2.7) |
+| `src/defs.ts` | what the Reader needs from definitions: types, how many, units, rows, levels (4.2, 4.5, 11.2) |
+| `src/read-text.ts` | text to the JSON form (2, 3) |
+| `src/print-text.ts` | the JSON form to canonical text (2.9) |
+| `src/canonical.ts` | canonical JSON with sets sorted (3.9) |
+| `src/dictionary.ts` | definitions as JSON, publish checks, resolution, folding, value checks (4, 5) |
+| `src/conditions.ts` | conditions with three-valued empties (6.3) |
+| `src/units.ts` | a starter units table, until the standard units package exists |
+| `src/rules.ts` | rules, shortcuts, rule-set checks and the write engine (6) |
+| `src/store.ts` | logs, receive contracts and intake, landing and trust, part matching, evidence (8, 9) |
+| `src/migrate.ts` | migration recipes, checks and restamping (10) |
+| `src/exchange.ts` | contract checks, runs, offer and take, borders (7, 8.5.1) |
+| `src/packages.ts` | package files: prefixes, trust entries, extending (11) |
+| `src/views.ts` | shapes, views, filters, audiences and roles, projections and staleness (12) |
+| `src/corpus.ts` | the conformance runner (13) |
+
+Next: make the repo public, publish `@cruba/crubal`, and start crubal.com.

package/dist/bin/crubal.d.ts

@@ -0,0 +1,2 @@
+#!/usr/bin/env node
+export {};

package/dist/bin/crubal.js

@@ -0,0 +1,37 @@
+#!/usr/bin/env node
+// crubal: read, print and test CRUBAL.
+//   crubal test <corpus> [--level reader]   run a level's corpus folders
+//   crubal read <file> --defs <file>...      text to JSON
+//   crubal print <file.json> --defs <file>... JSON to text
+import { readFileSync } from "node:fs";
+import { canonical, emptyDictionary, printText, readDefinitions, readText, runCorpus } from "../src/index.js";
+const [cmd, target, ...rest] = process.argv.slice(2);
+const flag = (name) => rest.flatMap((a, i) => (a === name ? [rest[i + 1]] : []));
+function dictionary() {
+    const dict = emptyDictionary();
+    for (const f of flag("--defs"))
+        readDefinitions(readFileSync(f, "utf8"), dict);
+    return dict;
+}
+if (cmd === "test" && target) {
+    const level = flag("--level")[0] ?? "reader";
+    const results = runCorpus(target, level);
+    for (const r of results)
+        console.log(`${r.pass ? "pass" : "FAIL"}  ${r.folder}/${r.name}${r.detail ? `  ${r.detail}` : ""}`);
+    const failed = results.filter((r) => !r.pass).length;
+    console.log(`\n${results.length - failed}/${results.length} passed (${level})`);
+    process.exit(failed ? 1 : 0);
+}
+else if (cmd === "read" && target) {
+    const dict = dictionary();
+    const w = readText(readFileSync(target, "utf8"), dict);
+    console.log(rest.includes("--canonical") ? canonical(w, dict) : JSON.stringify(w, null, 2));
+}
+else if (cmd === "print" && target) {
+    console.log(printText(JSON.parse(readFileSync(target, "utf8")), dictionary(), rest.includes("--plain") ? "plain" : "full"));
+}
+else {
+    console.log("usage: crubal test <corpus> [--level reader] | crubal read <file> --defs <file> | crubal print <file.json> --defs <file>");
+    process.exit(2);
+}
+//# sourceMappingURL=crubal.js.map

package/dist/bin/crubal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"crubal.js","sourceRoot":"","sources":["../../bin/crubal.ts"],"names":[],"mappings":";AACA,uCAAuC;AACvC,yEAAyE;AACzE,0DAA0D;AAC1D,2DAA2D;AAE3D,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,SAAS,EAAE,eAAe,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAG9G,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACrD,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAEnG,SAAS,UAAU;IACjB,MAAM,IAAI,GAAG,eAAe,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC;QAAE,eAAe,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;IAC/E,OAAO,IAAI,CAAC;AACd,CAAC;AAED,IAAI,GAAG,KAAK,MAAM,IAAI,MAAM,EAAE,CAAC;IAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC;IAC7C,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC7H,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;IACrD,OAAO,CAAC,GAAG,CAAC,KAAK,OAAO,CAAC,MAAM,GAAG,MAAM,IAAI,OAAO,CAAC,MAAM,YAAY,KAAK,GAAG,CAAC,CAAC;IAChF,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/B,CAAC;KAAM,IAAI,GAAG,KAAK,MAAM,IAAI,MAAM,EAAE,CAAC;IACpC,MAAM,IAAI,GAAG,UAAU,EAAE,CAAC;IAC1B,MAAM,CAAC,GAAG,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;IACvD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AAC9F,CAAC;KAAM,IAAI,GAAG,KAAK,OAAO,IAAI,MAAM,EAAE,CAAC;IACrC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAY,EAAE,UAAU,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;AACzI,CAAC;KAAM,CAAC;IACN,OAAO,CAAC,GAAG,CAAC,0HAA0H,CAAC,CAAC;IACxI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC"}

package/dist/src/browser.d.ts

@@ -0,0 +1,10 @@
+export { CrubalError, readTree } from "./tree.ts";
+export { readDefinitions, emptyDictionary, type ClassDef, type Dictionary, type Facet } from "./defs.ts";
+export { readText } from "./read-text.ts";
+export { printText, type PrintMode } from "./print-text.ts";
+export { canonical, serialize } from "./canonical.ts";
+export { checkWrapper, type Wrapper, type Record, type Json } from "./model.ts";
+export { checkPackage, checkRecord, facetJson, foldKey, foldRecord, resolve, resolvedJson, type Outcome } from "./dictionary.ts";
+export { evaluate, parseCondition, type Truth } from "./conditions.ts";
+export { checkRules, Engine, readRules, shortcutRules, type Result, type Rule } from "./rules.ts";
+export { checkViews, readViews, Views } from "./views.ts";

package/dist/src/browser.js

@@ -0,0 +1,13 @@
+// @cruba/crubal/browser: the pure levels, with nothing from Node (no file system, no crypto). For pages,
+// playgrounds and edge runtimes. Store and Exchange need Node's crypto and stay in the main entry.
+export { CrubalError, readTree } from "./tree.js";
+export { readDefinitions, emptyDictionary } from "./defs.js";
+export { readText } from "./read-text.js";
+export { printText } from "./print-text.js";
+export { canonical, serialize } from "./canonical.js";
+export { checkWrapper } from "./model.js";
+export { checkPackage, checkRecord, facetJson, foldKey, foldRecord, resolve, resolvedJson } from "./dictionary.js";
+export { evaluate, parseCondition } from "./conditions.js";
+export { checkRules, Engine, readRules, shortcutRules } from "./rules.js";
+export { checkViews, readViews, Views } from "./views.js";
+//# sourceMappingURL=browser.js.map

package/dist/src/browser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"browser.js","sourceRoot":"","sources":["../../src/browser.ts"],"names":[],"mappings":"AAAA,yGAAyG;AACzG,mGAAmG;AAEnG,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,eAAe,EAA8C,MAAM,WAAW,CAAC;AACzG,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAkB,MAAM,iBAAiB,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AACtD,OAAO,EAAE,YAAY,EAAwC,MAAM,YAAY,CAAC;AAChF,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,EAAgB,MAAM,iBAAiB,CAAC;AACjI,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAc,MAAM,iBAAiB,CAAC;AACvE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,EAA0B,MAAM,YAAY,CAAC;AAClG,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC"}

package/dist/src/canonical.d.ts

@@ -0,0 +1,6 @@
+import type { Dictionary } from "./defs.ts";
+import type { Json, Wrapper } from "./model.ts";
+/** Serialize with sorted keys. Numbers in CRUBAL JSON are strings, so JSON.stringify's number form is enough. */
+export declare function serialize(v: Json): string;
+/** The canonical form of a wrapper, as a string. */
+export declare function canonical(w: Wrapper, dict: Dictionary): string;

package/dist/src/canonical.js

@@ -0,0 +1,47 @@
+// canonical.ts: canonical JSON (spec chapter 3.9). Sets are sorted, ordered lists keep their order, and
+// the result is serialized RFC 8785 style: object keys sorted by UTF-16 code units, no white space.
+const isObj = (v) => typeof v === "object" && v !== null && !Array.isArray(v);
+/** Serialize with sorted keys. Numbers in CRUBAL JSON are strings, so JSON.stringify's number form is enough. */
+export function serialize(v) {
+    if (Array.isArray(v))
+        return `[${v.map(serialize).join(",")}]`;
+    if (isObj(v)) {
+        const keys = Object.keys(v).sort();
+        return `{${keys.map((k) => `${JSON.stringify(k)}:${serialize(v[k])}`).join(",")}}`;
+    }
+    return JSON.stringify(v);
+}
+function sortSets(v, f, dict) {
+    if (!f)
+        return v;
+    if (Array.isArray(v)) {
+        const items = v.map((item) => (f.type === "compound" ? fields(item, f.children, dict) : item));
+        return f.ordered ? items : [...items].sort((a, b) => (serialize(a) < serialize(b) ? -1 : serialize(a) > serialize(b) ? 1 : 0));
+    }
+    if (f.type === "compound")
+        return fields(v, f.children, dict);
+    return v;
+}
+function fields(v, within, dict) {
+    if (!isObj(v))
+        return v;
+    const out = {};
+    for (const [k, x] of Object.entries(v)) {
+        const f = within ? within.get(k) : dict.facets.get(k);
+        out[k] = sortSets(x, f, dict);
+    }
+    return out;
+}
+/** The canonical form of a wrapper, as a string. */
+export function canonical(w, dict) {
+    const records = w.records.map((r) => {
+        const out = { ...r };
+        out.values = fields(r.values, null, dict);
+        if (r.parts) {
+            out.parts = r.parts.map((p) => (isObj(p) && isObj(p.values) ? { ...p, values: fields(p.values, null, dict) } : p));
+        }
+        return out;
+    });
+    return serialize({ ...w, records });
+}
+//# sourceMappingURL=canonical.js.map

package/dist/src/canonical.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonical.js","sourceRoot":"","sources":["../../src/canonical.ts"],"names":[],"mappings":"AAAA,wGAAwG;AACxG,oGAAoG;AAKpG,MAAM,KAAK,GAAG,CAAC,CAAmB,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAEjH,iHAAiH;AACjH,MAAM,UAAU,SAAS,CAAC,CAAO;IAC/B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAC/D,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACb,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACnC,OAAO,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,CAAS,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAC7F,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,QAAQ,CAAC,CAAO,EAAE,CAAoB,EAAE,IAAgB;IAC/D,IAAI,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IACjB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/F,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjI,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC9D,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,MAAM,CAAC,CAAO,EAAE,MAA6C,EAAE,IAAgB;IACtF,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IACxB,MAAM,GAAG,GAAe,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtD,GAAG,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,SAAS,CAAC,CAAU,EAAE,IAAgB;IACpD,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAClC,MAAM,GAAG,GAAe,EAAE,GAAI,CAA2B,EAAE,CAAC;QAC5D,GAAG,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC1C,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YACZ,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC,CAAC;IACH,OAAO,SAAS,CAAC,EAAE,GAAI,CAA2B,EAAE,OAAO,EAAgB,CAAC,CAAC;AAC/E,CAAC"}

package/dist/src/conditions.d.ts

@@ -0,0 +1,22 @@
+import type { JsonObject } from "./model.ts";
+export type Truth = true | false | "undetermined";
+/** What a condition can know beyond values: each address's states (6.3.2). */
+export type StateOf = (path: string) => Set<string>;
+export declare const STATES: Set<string>;
+export type Expr = {
+    op: "and" | "or";
+    a: Expr;
+    b: Expr;
+} | {
+    op: "not";
+    a: Expr;
+} | {
+    op: "test";
+    path: string;
+    verb: string;
+    arg: string;
+};
+export declare function parseCondition(text: string, line?: number): Expr;
+export declare function evaluate(e: Expr, values: JsonObject, states?: StateOf): Truth;
+/** The keys a condition reads, for layering checks. */
+export declare function reads(e: Expr): string[];

package/dist/src/conditions.js

@@ -0,0 +1,175 @@
+// conditions.ts: the condition language (spec chapter 6.3) with three-valued empties (6.3.1). A test on
+// an absent or unknown value is undetermined; `-` makes a test false, except `is -`. The Dictionary level
+// uses it for class lines' `when`; the Rules level for rules.
+import { CrubalError } from "./tree.js";
+export const STATES = new Set(["confirmed", "contradicted", "unobserved", "conflicted", "new", "held", "adopted", "suggested"]);
+const VERBS = [" shown to ", " may ", " wears ", " is not ", " is ", " in ", " has", " before ", " after ", " over ", " under "];
+/** Split on a word outside parentheses and quotes. */
+function splitWord(s, word) {
+    const out = [];
+    let depth = 0;
+    let quoted = false;
+    let cur = "";
+    for (let i = 0; i < s.length; i++) {
+        const ch = s[i];
+        if (ch === '"')
+            quoted = !quoted;
+        if (!quoted && ch === "(")
+            depth++;
+        if (!quoted && ch === ")")
+            depth--;
+        if (!quoted && depth === 0 && s.startsWith(word, i)) {
+            out.push(cur);
+            cur = "";
+            i += word.length - 1;
+            continue;
+        }
+        cur += ch;
+    }
+    out.push(cur);
+    return out.map((x) => x.trim());
+}
+export function parseCondition(text, line) {
+    const s = text.trim();
+    const ors = splitWord(s, " or ");
+    if (ors.length > 1)
+        return ors.map((x) => parseCondition(x, line)).reduce((a, b) => ({ op: "or", a, b }));
+    const ands = splitWord(s, " and ");
+    if (ands.length > 1)
+        return ands.map((x) => parseCondition(x, line)).reduce((a, b) => ({ op: "and", a, b }));
+    if (s.startsWith("not "))
+        return { op: "not", a: parseCondition(s.slice(4), line) };
+    if (s.startsWith("(") && s.endsWith(")"))
+        return parseCondition(s.slice(1, -1), line);
+    for (const v of VERBS) {
+        const at = s.indexOf(v);
+        if (at > 0)
+            return { op: "test", path: s.slice(0, at).trim(), verb: v.trim(), arg: s.slice(at + v.length).trim() };
+    }
+    if (s.endsWith(" has"))
+        return { op: "test", path: s.slice(0, -4).trim(), verb: "has", arg: "" };
+    throw new CrubalError(`can't read the condition "${text}"`, line);
+}
+const isObj = (v) => typeof v === "object" && v !== null && !Array.isArray(v);
+const unq = (s) => (s.startsWith('"') ? JSON.parse(s) : s);
+/** The plain text of a value, for comparing with what a condition writes. */
+function plain(v) {
+    if (typeof v === "string")
+        return v;
+    if (typeof v === "boolean")
+        return v ? "yes" : "no";
+    if (isObj(v)) {
+        if ("$value" in v)
+            return plain(v.$value);
+        if ("$link" in v)
+            return `&${v.$link}`;
+        if ("$qty" in v)
+            return `${v.$qty}${v.unit}`;
+        if ("$money" in v)
+            return `${v.$money}${v.currency}`;
+    }
+    return JSON.stringify(v);
+}
+function emptyOf(v) {
+    if (v === undefined)
+        return "absent";
+    if (isObj(v) && "$empty" in v)
+        return v.$empty === "unknown" ? "unknown" : "n/a";
+    return null;
+}
+/** A path's value, including aggregates: `count of languages`, `least of prices`, `most of …`, `sum of …`. */
+function valueAt(values, path) {
+    const agg = path.match(/^(count|least|most|sum) of (.+)$/);
+    if (!agg)
+        return values[path];
+    const v = values[agg[2]];
+    const items = v === undefined || emptyOf(v) ? [] : Array.isArray(v) ? v : [v];
+    if (agg[1] === "count")
+        return String(items.length);
+    if (!items.length)
+        return undefined;
+    const nums = items.map((x) => Number.parseFloat(plain(x)));
+    if (agg[1] === "least")
+        return String(Math.min(...nums));
+    if (agg[1] === "most")
+        return String(Math.max(...nums));
+    return String(nums.reduce((a, b) => a + b, 0));
+}
+function test(e, values, states) {
+    if (e.verb === "is" && STATES.has(e.arg))
+        return states ? states(e.path).has(e.arg) : false;
+    // `caller may run listing`, `caller wears Staff` (chapter 7.6): what the caller is, not a value.
+    if (e.verb === "may" || e.verb === "wears")
+        return states ? states(e.path).has(`${e.verb}:${e.arg}`) : false;
+    // `cost shown to staff` declares visibility (chapter 12.4); views apply it, so as a check it holds.
+    if (e.verb === "shown to")
+        return true;
+    const v = valueAt(values, e.path);
+    const empty = emptyOf(v);
+    if (e.verb === "has") {
+        if (empty)
+            return false;
+        if (!e.arg)
+            return true;
+        const items = Array.isArray(v) ? v : [v];
+        return items.some((x) => plain(x) === unq(e.arg));
+    }
+    if (e.verb === "is" && e.arg === "_")
+        return empty === "unknown";
+    if (e.verb === "is" && e.arg === "-")
+        return empty === "n/a";
+    if (empty === "absent" || empty === "unknown")
+        return "undetermined";
+    if (empty === "n/a")
+        return false;
+    const items = (Array.isArray(v) ? v : [v]).map(plain);
+    if (e.verb === "is")
+        return items.includes(unq(e.arg));
+    if (e.verb === "is not")
+        return !items.includes(unq(e.arg));
+    if (e.verb === "in") {
+        const range = e.arg.match(/^(-?[\d.]+)\.\.(-?[\d.]+)$/);
+        if (range)
+            return items.some((x) => Number.parseFloat(x) >= Number(range[1]) && Number.parseFloat(x) <= Number(range[2]));
+        const set = e.arg.split(",").map((x) => unq(x.trim()));
+        return items.some((x) => set.includes(x));
+    }
+    const n = Number.parseFloat(items[0] ?? "");
+    const m = Number.parseFloat(e.arg);
+    if (e.verb === "over")
+        return n > m;
+    if (e.verb === "under")
+        return n < m;
+    if (e.verb === "before")
+        return (items[0] ?? "") < e.arg;
+    if (e.verb === "after")
+        return (items[0] ?? "") > e.arg;
+    return "undetermined";
+}
+export function evaluate(e, values, states) {
+    if (e.op === "test")
+        return test(e, values, states);
+    if (e.op === "not") {
+        const a = evaluate(e.a, values, states);
+        return a === "undetermined" ? a : !a;
+    }
+    const a = evaluate(e.a, values, states);
+    const b = evaluate(e.b, values, states);
+    if (e.op === "and") {
+        if (a === false || b === false)
+            return false;
+        return a === true && b === true ? true : "undetermined";
+    }
+    if (a === true || b === true)
+        return true;
+    return a === false && b === false ? false : "undetermined";
+}
+/** The keys a condition reads, for layering checks. */
+export function reads(e) {
+    if (e.op === "test")
+        return [e.path];
+    if (e.op === "not")
+        return reads(e.a);
+    return [...reads(e.a), ...reads(e.b)];
+}
+//# sourceMappingURL=conditions.js.map

package/dist/src/conditions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conditions.js","sourceRoot":"","sources":["../../src/conditions.ts"],"names":[],"mappings":"AAAA,wGAAwG;AACxG,0GAA0G;AAC1G,8DAA8D;AAG9D,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAOxC,MAAM,CAAC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,cAAc,EAAE,YAAY,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC;AAOhI,MAAM,KAAK,GAAG,CAAC,YAAY,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;AAEjI,sDAAsD;AACtD,SAAS,SAAS,CAAC,CAAS,EAAE,IAAY;IACxC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAW,CAAC;QAC1B,IAAI,EAAE,KAAK,GAAG;YAAE,MAAM,GAAG,CAAC,MAAM,CAAC;QACjC,IAAI,CAAC,MAAM,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;QACnC,IAAI,CAAC,MAAM,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;QACnC,IAAI,CAAC,MAAM,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;YACpD,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACd,GAAG,GAAG,EAAE,CAAC;YACT,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;YACrB,SAAS;QACX,CAAC;QACD,GAAG,IAAI,EAAE,CAAC;IACZ,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACd,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,IAAa;IACxD,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACtB,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IACjC,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1G,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACnC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7G,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;IACpF,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACtF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,EAAE,GAAG,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;IACrH,CAAC;IACD,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC;IACjG,MAAM,IAAI,WAAW,CAAC,6BAA6B,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC;AACpE,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,CAAmB,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AACjH,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE/E,6EAA6E;AAC7E,SAAS,KAAK,CAAC,CAAO;IACpB,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IACpC,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IACpD,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACb,IAAI,QAAQ,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,CAAC,MAAc,CAAC,CAAC;QAClD,IAAI,OAAO,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QACvC,IAAI,MAAM,IAAI,CAAC;YAAE,OAAO,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QAC7C,IAAI,QAAQ,IAAI,CAAC;YAAE,OAAO,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvD,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,OAAO,CAAC,CAAmB;IAClC,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IACrC,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,QAAQ,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;IACjF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8GAA8G;AAC9G,SAAS,OAAO,CAAC,MAAkB,EAAE,IAAY;IAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,kCAAkC,CAAC,CAAC;IAC3D,IAAI,CAAC,GAAG;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAW,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,CAAC,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9E,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,OAAO;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACpD,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IACpC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,OAAO;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACzD,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,MAAM;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACxD,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,IAAI,CAAC,CAAgC,EAAE,MAAkB,EAAE,MAAgB;IAClF,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAC5F,iGAAiG;IACjG,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAC7G,oGAAoG;IACpG,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACrB,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;QACxB,IAAI,CAAC,CAAC,CAAC,GAAG;YAAE,OAAO,IAAI,CAAC;QACxB,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAS,CAAC,CAAC;QACjD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,GAAG,KAAK,GAAG;QAAE,OAAO,KAAK,KAAK,SAAS,CAAC;IACjE,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,GAAG,KAAK,GAAG;QAAE,OAAO,KAAK,KAAK,KAAK,CAAC;IAC7D,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,cAAc,CAAC;IACrE,IAAI,KAAK,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IAClC,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAS,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC9D,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5D,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;QACxD,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1H,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACvD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC;IACD,MAAM,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5C,MAAM,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACnC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,CAAC,GAAG,CAAC,CAAC;IACrC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC;IACzD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC;IACxD,OAAO,cAAc,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,CAAO,EAAE,MAAkB,EAAE,MAAgB;IACpE,IAAI,CAAC,CAAC,EAAE,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACpD,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;QACnB,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QACxC,OAAO,CAAC,KAAK,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC;IACD,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACxC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACxC,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;QACnB,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,KAAK;YAAE,OAAO,KAAK,CAAC;QAC7C,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC;IAC1D,CAAC;IACD,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC1C,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,cAAc,CAAC;AAC7D,CAAC;AAED,uDAAuD;AACvD,MAAM,UAAU,KAAK,CAAC,CAAO;IAC3B,IAAI,CAAC,CAAC,EAAE,KAAK,MAAM;QAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtC,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACxC,CAAC"}

package/dist/src/corpus.d.ts

@@ -0,0 +1,8 @@
+export type CaseResult = {
+    folder: string;
+    name: string;
+    pass: boolean;
+    detail?: string;
+};
+/** Run one level's corpus folders under `root`. */
+export declare function runCorpus(root: string, level: string): CaseResult[];