@mikeargento/bitgraph-player 0.1.1 → 0.2.0

package/README.md

@@ -25,6 +25,24 @@ folders the BitGraph Folder writes). Exit codes: `0` TRUE, `1` FALSE,
 `2` UNDETERMINED, `3` error. `--out file` writes the verdict to a file;
 `--summary` prints a bundle reconnaissance to stderr.
 
+## Start a rule
+
+    bitgraph-play init po.pdf delivery.jpg approval.pdf --out rule.json
+
+`init` hashes the files you name and writes a rule skeleton with the
+cast filled in: one role per file, digests computed, role names from
+filenames. The skeleton does not run as written — `requires.ordering`
+is a placeholder you must replace, because the trust floor is the
+rule's own security policy and has no default, from the scaffolder or
+anywhere else. Choose the floor, say what each digest means, refine the
+claim, then run it.
+
+`init` is a reserved first word as of 0.2.0. A rule file literally
+named `init` is still reachable: write it as `./init`, or after `--`,
+which ends option parsing (`bitgraph-play -- init bundle/`). When a
+file named `init` exists in the working directory, the bare spelling is
+refused as ambiguous rather than silently picking a mode.
+
 ## A rule
 
 ```json
@@ -79,6 +97,18 @@ agree with it.
 
 ## API
 
+One call runs the whole pipeline — the CLI is built on the same
+function, so embedding Player cannot drift from it:
+
+```ts
+import { play } from "@mikeargento/bitgraph-player";
+
+const { verdict, bytes, exitCode } = await play("rule.json", "bundle/");
+```
+
+The pieces are exported individually for callers that already hold an
+`AuditResult` or want to intercept a stage:
+
 ```ts
 import { runAudit } from "@mikeargento/bitgraph-audit";
 import {

package/SPEC.md

@@ -232,3 +232,8 @@ bundle contents MUST be byte-identical.
     0 TRUE     1 FALSE     2 UNDETERMINED     3 error
 
 Diagnostics go to stderr. Stdout carries verdict bytes only.
+
+These requirements govern evaluation invocations. A command-line Player
+MAY offer authoring conveniences (such as rule scaffolding) as distinct
+subcommands; those are outside this specification and MUST NOT change
+the behavior of evaluation invocations.

package/dist/__tests__/init-play.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=init-play.test.d.ts.map

package/dist/__tests__/init-play.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"init-play.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/init-play.test.ts"],"names":[],"mappings":""}

package/dist/__tests__/init-play.test.js

@@ -0,0 +1,302 @@
+// Copyright (c) 2024-2026 Mike Argento. Licensed under the MIT License. See LICENSE.
+/**
+ * Tests for the init scaffolder and the play() one-call pipeline.
+ *
+ * Same discipline as the rest of the suite: synthetic AuditResult
+ * fixtures, no ledger writes, no network. The CLI wiring tests spawn the
+ * built cli.js against temp files created under os.tmpdir().
+ */
+import { strict as assert } from "node:assert";
+import { spawnSync } from "node:child_process";
+import { createHash } from "node:crypto";
+import { mkdtempSync, readFileSync, rmSync, writeFileSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { fileURLToPath } from "node:url";
+import { test } from "node:test";
+import { ORDERING_PLACEHOLDER, roleNameForFile, scaffoldRule } from "../init.js";
+import { play, playAudit, PlayError } from "../play.js";
+import { parseRule, RuleError } from "../rule.js";
+import { serializeVerdict } from "../verdict.js";
+import { digestFor, makeAudit } from "./fixtures.js";
+const CLI_PATH = fileURLToPath(new URL("../cli.js", import.meta.url));
+function hexOf(text) {
+    return createHash("sha256").update(text).digest("hex");
+}
+// ---------------------------------------------------------------------------
+// roleNameForFile
+// ---------------------------------------------------------------------------
+test("role names: extension dropped, path stripped, disallowed chars folded", () => {
+    assert.equal(roleNameForFile("purchase_order.pdf"), "purchase_order");
+    assert.equal(roleNameForFile("/some/dir/delivery note.jpg"), "delivery-note");
+    assert.equal(roleNameForFile("My Photo (1).jpg"), "My-Photo-1");
+    assert.equal(roleNameForFile("archive.tar.gz"), "archive.tar");
+});
+test("role names: backslash is an ordinary character, never a separator", () => {
+    // On POSIX `a\b.jpg` is one legal filename. The CLI hands scaffoldRule a
+    // platform-correct basename; this function must not re-split it.
+    assert.equal(roleNameForFile(String.raw `a\b.jpg`), "a-b");
+    assert.equal(roleNameForFile(String.raw `C:\photos\approval.png`), "C-photos-approval");
+});
+test("role names: grammar guards — never empty, never pure-integer, dotfiles keep their stem", () => {
+    assert.equal(roleNameForFile("2024.jpg"), "file-2024");
+    assert.equal(roleNameForFile("™️.jpg"), "file");
+    assert.equal(roleNameForFile(".gitignore"), "gitignore");
+    assert.equal(roleNameForFile("..."), "file");
+});
+// ---------------------------------------------------------------------------
+// scaffoldRule
+// ---------------------------------------------------------------------------
+const ENTRIES = [
+    { name: "po.pdf", sha256Hex: hexOf("po") },
+    { name: "delivery.jpg", sha256Hex: hexOf("delivery") },
+];
+test("scaffold does not parse as written, and the only issue is the ordering placeholder", () => {
+    const text = scaffoldRule(ENTRIES);
+    assert.ok(text.includes(ORDERING_PLACEHOLDER));
+    assert.throws(() => parseRule(text), (err) => {
+        assert.ok(err instanceof RuleError);
+        const ruleErr = err;
+        assert.equal(ruleErr.issues.length, 1);
+        assert.match(ruleErr.issues[0], /requires\.ordering/);
+        return true;
+    });
+});
+test("scaffold parses once the floor is chosen; cast in input order; digests normalize", () => {
+    const text = scaffoldRule(ENTRIES).replace(ORDERING_PLACEHOLDER, "hash-linked");
+    const rule = parseRule(text);
+    assert.deepEqual(Object.keys(rule.cast), ["po", "delivery"]);
+    assert.equal(rule.cast["po"]?.digest, `sha256:${hexOf("po")}`);
+    assert.equal(rule.cast["po"]?.means, "po.pdf");
+    assert.equal(rule.requires.ordering, "hash-linked");
+    assert.deepEqual(rule.claim, {
+        all: [{ exists: "po" }, { exists: "delivery" }],
+    });
+});
+test("scaffold is deterministic; id depends on digests, not entry order", () => {
+    assert.equal(scaffoldRule(ENTRIES), scaffoldRule(ENTRIES));
+    const reversed = scaffoldRule([...ENTRIES].reverse());
+    const idOf = (text) => JSON.parse(text).id;
+    assert.equal(idOf(scaffoldRule(ENTRIES)), idOf(reversed));
+    assert.match(idOf(scaffoldRule(ENTRIES)), /^rule-[0-9a-f]{12}$/);
+});
+test("scaffold: colliding role names get ordinal suffixes in input order", () => {
+    const text = scaffoldRule([
+        { name: "a/photo.jpg", sha256Hex: hexOf("one") },
+        { name: "b/photo.png", sha256Hex: hexOf("two") },
+        { name: "c/photo.webp", sha256Hex: hexOf("three") },
+    ]).replace(ORDERING_PLACEHOLDER, "hash-linked");
+    assert.deepEqual(Object.keys(parseRule(text).cast), ["photo", "photo-2", "photo-3"]);
+});
+test("scaffold: a collision suffix never takes another file's natural name", () => {
+    // photo.png must NOT become "photo-2" while the real photo-2.jpg is
+    // pushed to "photo-2-2": an author editing the claim by role name would
+    // silently bind the wrong digest.
+    const text = scaffoldRule([
+        { name: "photo.jpg", sha256Hex: hexOf("one") },
+        { name: "photo.png", sha256Hex: hexOf("two") },
+        { name: "photo-2.jpg", sha256Hex: hexOf("three") },
+    ]).replace(ORDERING_PLACEHOLDER, "hash-linked");
+    const rule = parseRule(text);
+    assert.deepEqual(Object.keys(rule.cast), ["photo", "photo-3", "photo-2"]);
+    assert.equal(rule.cast["photo-2"]?.digest, `sha256:${hexOf("three")}`);
+    assert.equal(rule.cast["photo-3"]?.digest, `sha256:${hexOf("two")}`);
+});
+test("scaffold: backslash names keep their identity; degenerate names omit means", () => {
+    const text = scaffoldRule([
+        { name: String.raw `a\b.jpg`, sha256Hex: hexOf("bs") },
+        { name: "b.jpg", sha256Hex: hexOf("plain") },
+    ]).replace(ORDERING_PLACEHOLDER, "hash-linked");
+    const rule = parseRule(text);
+    assert.deepEqual(Object.keys(rule.cast), ["a-b", "b"]);
+    assert.equal(rule.cast["a-b"]?.means, String.raw `a\b.jpg`);
+    assert.equal(rule.cast["b"]?.means, "b.jpg");
+    // A trailing-slash or empty name has no basename to assert: no means
+    // key at all, never means: "".
+    const degenerate = scaffoldRule([
+        { name: "photos/", sha256Hex: hexOf("deg") },
+    ]).replace(ORDERING_PLACEHOLDER, "hash-linked");
+    const degRule = parseRule(degenerate);
+    assert.deepEqual(Object.keys(degRule.cast), ["file"]);
+    assert.equal(degRule.cast["file"]?.means, undefined);
+});
+test("scaffold: __proto__ as a filename stem becomes an ordinary cast key", () => {
+    const text = scaffoldRule([{ name: "__proto__.jpg", sha256Hex: hexOf("p") }]).replace(ORDERING_PLACEHOLDER, "assumption-dependent");
+    const rule = parseRule(text);
+    assert.deepEqual(Object.keys(rule.cast), ["__proto__"]);
+    assert.equal(rule.cast["__proto__"]?.digest, `sha256:${hexOf("p")}`);
+});
+test("scaffold rejects empty input and malformed hex", () => {
+    assert.throws(() => scaffoldRule([]));
+    assert.throws(() => scaffoldRule([{ name: "a", sha256Hex: "ABC" }]));
+    assert.throws(() => scaffoldRule([{ name: "a", sha256Hex: hexOf("x").toUpperCase() }]));
+});
+// ---------------------------------------------------------------------------
+// playAudit / play
+// ---------------------------------------------------------------------------
+const RULE_TEXT = JSON.stringify({
+    rule: "bitgraph-player/1",
+    id: "play-test",
+    cast: {
+        first: { digest: digestFor("first") },
+        second: { digest: digestFor("second") },
+    },
+    world: "closed",
+    requires: { ordering: "hash-linked" },
+    claim: { before: ["first", "second"] },
+    then: { label: "ok" },
+});
+function chainAudit() {
+    return makeAudit({
+        proofs: [
+            { name: "p1", digestB64: digestFor("first"), epochId: "e1", counter: "1" },
+            { name: "p2", digestB64: digestFor("second"), epochId: "e1", counter: "2", prev: "p1" },
+        ],
+        partitions: [{ epochId: "e1", members: ["p1", "p2"], components: [["p1", "p2"]] }],
+    });
+}
+test("playAudit: verdict, bytes, and exit code agree with the pipeline pieces", () => {
+    const sha = hexOf(RULE_TEXT);
+    const result = playAudit(parseRule(RULE_TEXT), sha, chainAudit());
+    assert.equal(result.verdict.result, "TRUE");
+    assert.equal(result.exitCode, 0);
+    assert.equal(result.verdict.rule.sha256, sha);
+    assert.equal(result.bytes, serializeVerdict(result.verdict));
+    assert.equal(result.verdict.then?.label, "ok");
+});
+test("playAudit exit codes: FALSE is 1, UNDETERMINED is 2", () => {
+    const falseRule = parseRule(RULE_TEXT.replace('"before"', '"after"'));
+    assert.equal(playAudit(falseRule, hexOf("x"), chainAudit()).exitCode, 1);
+    const emptyAudit = makeAudit({ proofs: [] });
+    const rule = parseRule(RULE_TEXT);
+    assert.equal(playAudit(rule, hexOf("x"), emptyAudit).exitCode, 2);
+});
+test("play: missing rule file throws PlayError with stage rule-read", async () => {
+    await assert.rejects(() => play("/nonexistent/rule.json", "/nonexistent/bundle"), (err) => {
+        assert.ok(err instanceof PlayError);
+        assert.equal(err.stage, "rule-read");
+        return true;
+    });
+});
+test("play: invalid rule file throws RuleError before any bundle work", async () => {
+    const dir = mkdtempSync(join(tmpdir(), "player-play-"));
+    try {
+        const rulePath = join(dir, "rule.json");
+        writeFileSync(rulePath, '{"rule": "bitgraph-player/1"}');
+        await assert.rejects(() => play(rulePath, "/nonexistent/bundle"), (err) => err instanceof RuleError);
+    }
+    finally {
+        rmSync(dir, { recursive: true, force: true });
+    }
+});
+// ---------------------------------------------------------------------------
+// CLI init wiring
+// ---------------------------------------------------------------------------
+test("cli init: hashes files, emits skeleton on stdout, exit 0", () => {
+    const dir = mkdtempSync(join(tmpdir(), "player-init-"));
+    try {
+        const po = join(dir, "po.pdf");
+        const delivery = join(dir, "delivery.jpg");
+        writeFileSync(po, "po-bytes");
+        writeFileSync(delivery, "delivery-bytes");
+        const run = spawnSync(process.execPath, [CLI_PATH, "init", po, delivery], {
+            encoding: "utf8",
+        });
+        assert.equal(run.status, 0, run.stderr);
+        const skeleton = JSON.parse(run.stdout);
+        assert.deepEqual(Object.keys(skeleton.cast), ["po", "delivery"]);
+        assert.equal(skeleton.cast["po"]?.digest, `sha256:${hexOf("po-bytes")}`);
+        assert.equal(skeleton.requires.ordering, ORDERING_PLACEHOLDER);
+        assert.match(run.stderr, /next steps:/);
+    }
+    finally {
+        rmSync(dir, { recursive: true, force: true });
+    }
+});
+test("cli init --out: writes the file, refuses to overwrite it, exit 3", () => {
+    const dir = mkdtempSync(join(tmpdir(), "player-init-out-"));
+    try {
+        const input = join(dir, "photo.jpg");
+        writeFileSync(input, "photo-bytes");
+        const out = join(dir, "rule.json");
+        const first = spawnSync(process.execPath, [CLI_PATH, "init", input, "--out", out], {
+            encoding: "utf8",
+        });
+        assert.equal(first.status, 0, first.stderr);
+        assert.equal(first.stdout, "");
+        const written = JSON.parse(readFileSync(out, "utf8"));
+        assert.equal(written.cast["photo"]?.digest, `sha256:${hexOf("photo-bytes")}`);
+        const second = spawnSync(process.execPath, [CLI_PATH, "init", input, "--out", out], {
+            encoding: "utf8",
+        });
+        assert.equal(second.status, 3);
+        assert.match(second.stderr, /refusing to overwrite/);
+    }
+    finally {
+        rmSync(dir, { recursive: true, force: true });
+    }
+});
+test("cli init: unreadable input is an error, exit 3; no files is usage, exit 3", () => {
+    const missing = spawnSync(process.execPath, [CLI_PATH, "init", "/nonexistent/file.jpg"], { encoding: "utf8" });
+    assert.equal(missing.status, 3);
+    assert.match(missing.stderr, /cannot hash/);
+    const empty = spawnSync(process.execPath, [CLI_PATH, "init"], { encoding: "utf8" });
+    assert.equal(empty.status, 3);
+    assert.match(empty.stderr, /usage:/);
+});
+test("cli: a file named init in cwd makes `bitgraph-play init …` a loud error, not a silent mode pick", () => {
+    const dir = mkdtempSync(join(tmpdir(), "player-init-shadow-"));
+    try {
+        writeFileSync(join(dir, "init"), "{}");
+        writeFileSync(join(dir, "photo.jpg"), "bytes");
+        const run = spawnSync(process.execPath, [CLI_PATH, "init", "photo.jpg"], {
+            encoding: "utf8",
+            cwd: dir,
+        });
+        assert.equal(run.status, 3);
+        assert.match(run.stderr, /ambiguous/);
+        assert.equal(run.stdout, "");
+    }
+    finally {
+        rmSync(dir, { recursive: true, force: true });
+    }
+});
+test("cli: -- forces evaluate mode, so a rule file named init is still reachable", () => {
+    const dir = mkdtempSync(join(tmpdir(), "player-init-dashdash-"));
+    try {
+        // An invalid rule proves the point: init-mode would hash it and exit 0;
+        // evaluate mode must report an invalid rule with exit 3.
+        writeFileSync(join(dir, "init"), "{}");
+        const run = spawnSync(process.execPath, [CLI_PATH, "--", "init", dir], {
+            encoding: "utf8",
+            cwd: dir,
+        });
+        assert.equal(run.status, 3);
+        assert.match(run.stderr, /invalid rule/);
+    }
+    finally {
+        rmSync(dir, { recursive: true, force: true });
+    }
+});
+test("PLAYER_VERSION matches package.json (the constant must not drift across releases)", async () => {
+    const { PLAYER_VERSION } = await import("../verdict.js");
+    const pkg = JSON.parse(readFileSync(new URL("../../package.json", import.meta.url), "utf8"));
+    assert.equal(PLAYER_VERSION, pkg.version);
+});
+test("cli evaluate: unchanged contract, invalid rule reports issues on stderr, exit 3", () => {
+    const dir = mkdtempSync(join(tmpdir(), "player-eval-"));
+    try {
+        const rulePath = join(dir, "rule.json");
+        writeFileSync(rulePath, "{}");
+        const run = spawnSync(process.execPath, [CLI_PATH, rulePath, dir], {
+            encoding: "utf8",
+        });
+        assert.equal(run.status, 3);
+        assert.match(run.stderr, /invalid rule/);
+        assert.equal(run.stdout, "");
+    }
+    finally {
+        rmSync(dir, { recursive: true, force: true });
+    }
+});
+//# sourceMappingURL=init-play.test.js.map

package/dist/__tests__/init-play.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"init-play.test.js","sourceRoot":"","sources":["../../src/__tests__/init-play.test.ts"],"names":[],"mappings":"AAAA,qFAAqF;AAErF;;;;;;GAMG;AAEH,OAAO,EAAE,MAAM,IAAI,MAAM,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC3E,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACjF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACxD,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAErD,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAEtE,SAAS,KAAK,CAAC,IAAY;IACzB,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACzD,CAAC;AAED,8EAA8E;AAC9E,kBAAkB;AAClB,8EAA8E;AAE9E,IAAI,CAAC,uEAAuE,EAAE,GAAG,EAAE;IACjF,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,oBAAoB,CAAC,EAAE,gBAAgB,CAAC,CAAC;IACtE,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,6BAA6B,CAAC,EAAE,eAAe,CAAC,CAAC;IAC9E,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,kBAAkB,CAAC,EAAE,YAAY,CAAC,CAAC;IAChE,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,gBAAgB,CAAC,EAAE,aAAa,CAAC,CAAC;AACjE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;IAC7E,yEAAyE;IACzE,iEAAiE;IACjE,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,CAAA,SAAS,CAAC,EAAE,KAAK,CAAC,CAAC;IAC1D,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,CAAA,wBAAwB,CAAC,EAAE,mBAAmB,CAAC,CAAC;AACzF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wFAAwF,EAAE,GAAG,EAAE;IAClG,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC,CAAC;IACvD,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC;IAChD,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,YAAY,CAAC,EAAE,WAAW,CAAC,CAAC;IACzD,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,eAAe;AACf,8EAA8E;AAE9E,MAAM,OAAO,GAAG;IACd,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE;IAC1C,EAAE,IAAI,EAAE,cAAc,EAAE,SAAS,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE;CACvD,CAAC;AAEF,IAAI,CAAC,oFAAoF,EAAE,GAAG,EAAE;IAC9F,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IACnC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC,CAAC;IAC/C,MAAM,CAAC,MAAM,CACX,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,EACrB,CAAC,GAAY,EAAE,EAAE;QACf,MAAM,CAAC,EAAE,CAAC,GAAG,YAAY,SAAS,CAAC,CAAC;QACpC,MAAM,OAAO,GAAG,GAAgB,CAAC;QACjC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAW,EAAE,oBAAoB,CAAC,CAAC;QAChE,OAAO,IAAI,CAAC;IACd,CAAC,CACF,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kFAAkF,EAAE,GAAG,EAAE;IAC5F,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,oBAAoB,EAAE,aAAa,CAAC,CAAC;IAChF,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;IAC7D,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/D,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC/C,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;IACpD,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE;QAC3B,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;KAChD,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;IAC7E,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IACtD,MAAM,IAAI,GAAG,CAAC,IAAY,EAAU,EAAE,CACnC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAoB,CAAC,EAAE,CAAC;IAC1C,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC1D,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,EAAE,qBAAqB,CAAC,CAAC;AACnE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAC9E,MAAM,IAAI,GAAG,YAAY,CAAC;QACxB,EAAE,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE;QAChD,EAAE,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE;QAChD,EAAE,IAAI,EAAE,cAAc,EAAE,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE;KACpD,CAAC,CAAC,OAAO,CAAC,oBAAoB,EAAE,aAAa,CAAC,CAAC;IAChD,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;AACvF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,oEAAoE;IACpE,wEAAwE;IACxE,kCAAkC;IAClC,MAAM,IAAI,GAAG,YAAY,CAAC;QACxB,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE;QAC9C,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE;QAC9C,EAAE,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE;KACnD,CAAC,CAAC,OAAO,CAAC,oBAAoB,EAAE,aAAa,CAAC,CAAC;IAChD,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;IAC1E,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,UAAU,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACvE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,UAAU,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AACvE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4EAA4E,EAAE,GAAG,EAAE;IACtF,MAAM,IAAI,GAAG,YAAY,CAAC;QACxB,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAA,SAAS,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE;QACrD,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE;KAC7C,CAAC,CAAC,OAAO,CAAC,oBAAoB,EAAE,aAAa,CAAC,CAAC;IAChD,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IACvD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,SAAS,CAAC,CAAC;IAC3D,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAE7C,qEAAqE;IACrE,+BAA+B;IAC/B,MAAM,UAAU,GAAG,YAAY,CAAC;QAC9B,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE;KAC7C,CAAC,CAAC,OAAO,CAAC,oBAAoB,EAAE,aAAa,CAAC,CAAC;IAChD,MAAM,OAAO,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;IACtC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IACtD,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;AACvD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qEAAqE,EAAE,GAAG,EAAE;IAC/E,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,SAAS,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CACnF,oBAAoB,EACpB,sBAAsB,CACvB,CAAC;IACF,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC;IACxD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,UAAU,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACvE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gDAAgD,EAAE,GAAG,EAAE;IAC1D,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC;IACtC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;AAC1F,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IAC/B,IAAI,EAAE,mBAAmB;IACzB,EAAE,EAAE,WAAW;IACf,IAAI,EAAE;QACJ,KAAK,EAAE,EAAE,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE;QACrC,MAAM,EAAE,EAAE,MAAM,EAAE,SAAS,CAAC,QAAQ,CAAC,EAAE;KACxC;IACD,KAAK,EAAE,QAAQ;IACf,QAAQ,EAAE,EAAE,QAAQ,EAAE,aAAa,EAAE;IACrC,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE;IACtC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE;CACtB,CAAC,CAAC;AAEH,SAAS,UAAU;IACjB,OAAO,SAAS,CAAC;QACf,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE;YAC1E,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE;SACxF;QACD,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;KACnF,CAAC,CAAC;AACL,CAAC;AAED,IAAI,CAAC,yEAAyE,EAAE,GAAG,EAAE;IACnF,MAAM,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC;IAC7B,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;IAClE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;IACjC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC9C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,gBAAgB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IAC7D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;AACjD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qDAAqD,EAAE,GAAG,EAAE;IAC/D,MAAM,SAAS,GAAG,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;IACtE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;IAEzE,MAAM,UAAU,GAAG,SAAS,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;IAClC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;AACpE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+DAA+D,EAAE,KAAK,IAAI,EAAE;IAC/E,MAAM,MAAM,CAAC,OAAO,CAClB,GAAG,EAAE,CAAC,IAAI,CAAC,wBAAwB,EAAE,qBAAqB,CAAC,EAC3D,CAAC,GAAY,EAAE,EAAE;QACf,MAAM,CAAC,EAAE,CAAC,GAAG,YAAY,SAAS,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAE,GAAiB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QACpD,OAAO,IAAI,CAAC;IACd,CAAC,CACF,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iEAAiE,EAAE,KAAK,IAAI,EAAE;IACjF,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,cAAc,CAAC,CAAC,CAAC;IACxD,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;QACxC,aAAa,CAAC,QAAQ,EAAE,+BAA+B,CAAC,CAAC;QACzD,MAAM,MAAM,CAAC,OAAO,CAClB,GAAG,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE,qBAAqB,CAAC,EAC3C,CAAC,GAAY,EAAE,EAAE,CAAC,GAAG,YAAY,SAAS,CAC3C,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAChD,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,kBAAkB;AAClB,8EAA8E;AAE9E,IAAI,CAAC,0DAA0D,EAAE,GAAG,EAAE;IACpE,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,cAAc,CAAC,CAAC,CAAC;IACxD,IAAI,CAAC;QACH,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QAC3C,aAAa,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;QAC9B,aAAa,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;QAE1C,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE;YACxE,QAAQ,EAAE,MAAM;SACjB,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAGrC,CAAC;QACF,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;QACjE,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QACzE,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,CAAC,CAAC;QAC/D,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC1C,CAAC;YAAS,CAAC;QACT,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAChD,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kEAAkE,EAAE,GAAG,EAAE;IAC5E,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,kBAAkB,CAAC,CAAC,CAAC;IAC5D,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;QACrC,aAAa,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QACpC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;QAEnC,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE;YACjF,QAAQ,EAAE,MAAM;SACjB,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAEnD,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,UAAU,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QAE9E,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE;YAClF,QAAQ,EAAE,MAAM;SACjB,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC;IACvD,CAAC;YAAS,CAAC;QACT,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAChD,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACrF,MAAM,OAAO,GAAG,SAAS,CACvB,OAAO,CAAC,QAAQ,EAChB,CAAC,QAAQ,EAAE,MAAM,EAAE,uBAAuB,CAAC,EAC3C,EAAE,QAAQ,EAAE,MAAM,EAAE,CACrB,CAAC;IACF,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAChC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAE5C,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;IACpF,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC9B,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AACvC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iGAAiG,EAAE,GAAG,EAAE;IAC3G,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,qBAAqB,CAAC,CAAC,CAAC;IAC/D,IAAI,CAAC;QACH,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;QACvC,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,EAAE,OAAO,CAAC,CAAC;QAC/C,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE;YACvE,QAAQ,EAAE,MAAM;YAChB,GAAG,EAAE,GAAG;SACT,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC/B,CAAC;YAAS,CAAC;QACT,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAChD,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4EAA4E,EAAE,GAAG,EAAE;IACtF,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,uBAAuB,CAAC,CAAC,CAAC;IACjE,IAAI,CAAC;QACH,wEAAwE;QACxE,yDAAyD;QACzD,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;QACvC,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE;YACrE,QAAQ,EAAE,MAAM;YAChB,GAAG,EAAE,GAAG;SACT,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IAC3C,CAAC;YAAS,CAAC;QACT,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAChD,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mFAAmF,EAAE,KAAK,IAAI,EAAE;IACnG,MAAM,EAAE,cAAc,EAAE,GAAG,MAAM,MAAM,CAAC,eAAe,CAAC,CAAC;IACzD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CACpB,YAAY,CAAC,IAAI,GAAG,CAAC,oBAAoB,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAC9C,CAAC;IACzB,MAAM,CAAC,KAAK,CAAC,cAAc,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;AAC5C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iFAAiF,EAAE,GAAG,EAAE;IAC3F,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,cAAc,CAAC,CAAC,CAAC;IACxD,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;QACxC,aAAa,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,GAAG,CAAC,EAAE;YACjE,QAAQ,EAAE,MAAM;SACjB,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QACzC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC/B,CAAC;YAAS,CAAC;QACT,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAChD,CAAC;AACH,CAAC,CAAC,CAAC"}

package/dist/cli.js

@@ -2,28 +2,38 @@
 // Copyright (c) 2024-2026 Mike Argento. Licensed under the MIT License. See LICENSE.
 /**
  * bitgraph-play <rule.json> <bundle> [--out <file>] [--summary]
+ * bitgraph-play init <file>... [--out <rule.json>]
  *
- * Evaluates a bitgraph-player/1 rule against a proof bundle (directory,
- * .tar, .tar.gz, or .tgz) and writes the verdict JSON to stdout (or
- * --out). Offline: the audit pipeline and the evaluator make no network
- * requests of any kind.
+ * Evaluate: runs a bitgraph-player/1 rule against a proof bundle
+ * (directory, .tar, .tar.gz, or .tgz) and writes the verdict JSON to
+ * stdout (or --out). Offline: the audit pipeline and the evaluator make
+ * no network requests of any kind.
  *
- * Exit codes: 0 TRUE, 1 FALSE, 2 UNDETERMINED, 3 error.
- * Diagnostics go to stderr; stdout carries verdict bytes only.
+ * Init: hashes the given files and emits a rule skeleton with the cast
+ * filled in. The skeleton does not run as written: requires.ordering is
+ * a placeholder the author must replace — the trust floor has no
+ * default, and the scaffolder must not choose it either.
+ *
+ * Exit codes: 0 TRUE, 1 FALSE, 2 UNDETERMINED, 3 error (init: 0 or 3).
+ * Diagnostics go to stderr; stdout carries the verdict (or skeleton)
+ * bytes only.
  *
  * The process exits by setting process.exitCode and returning, never by
- * process.exit(): exiting early would truncate a verdict still draining
- * to a pipe.
+ * process.exit(): exiting early would truncate output still draining to
+ * a pipe.
  */
 import { createHash } from "node:crypto";
-import { readFileSync, writeFileSync } from "node:fs";
-import { runAudit } from "@mikeargento/bitgraph-audit";
-import { resolveCast } from "./cast.js";
-import { evaluate } from "./evaluate.js";
-import { parseRule, RuleError } from "./rule.js";
-import { buildVerdict, serializeVerdict } from "./verdict.js";
+import { createReadStream, existsSync, writeFileSync } from "node:fs";
+import { basename } from "node:path";
+import { pipeline } from "node:stream/promises";
+import { scaffoldRule } from "./init.js";
+import { play, PlayError } from "./play.js";
+import { RuleError } from "./rule.js";
 function usage() {
     process.stderr.write("usage: bitgraph-play <rule.json> <bundle> [--out <file>] [--summary]\n" +
+        "       bitgraph-play init <file>... [--out <rule.json>]\n" +
+        '  "--" ends option parsing; a rule file literally named "init" is\n' +
+        "  evaluated with: bitgraph-play -- init <bundle>\n" +
         "  exit codes: 0 TRUE, 1 FALSE, 2 UNDETERMINED, 3 error\n");
     return 3;
 }
@@ -42,44 +52,97 @@ function printSummary(audit) {
     lines.push(`unchained: ${audit.reconstruction.unchainedProofHashes.length}, unpartitioned: ${audit.reconstruction.unpartitionedProofHashes.length}`);
     process.stderr.write(lines.join("\n") + "\n");
 }
-async function main() {
-    const args = process.argv.slice(2);
-    const positional = [];
-    let outFile;
-    let summary = false;
+async function sha256HexOfFile(path) {
+    const hash = createHash("sha256");
+    await pipeline(createReadStream(path), hash);
+    return hash.digest("hex");
+}
+function parseArgs(args) {
+    const parsed = { positional: [], summary: false };
     for (let i = 0; i < args.length; i++) {
         const arg = args[i];
-        if (arg === "--out") {
+        if (arg === "--") {
+            // End of options: everything after is positional, dashes and all.
+            parsed.positional.push(...args.slice(i + 1));
+            break;
+        }
+        else if (arg === "--out") {
             const next = args[++i];
             if (next === undefined || next.startsWith("-"))
-                return usage();
-            outFile = next;
+                return undefined;
+            parsed.outFile = next;
         }
         else if (arg === "--summary") {
-            summary = true;
+            parsed.summary = true;
         }
         else if (arg.startsWith("-")) {
-            return usage();
+            return undefined;
         }
         else {
-            positional.push(arg);
+            parsed.positional.push(arg);
         }
     }
-    if (positional.length !== 2)
+    return parsed;
+}
+async function runInit(args) {
+    if (args.summary)
         return usage();
-    const [rulePath, bundlePath] = positional;
-    let ruleBytes;
-    try {
-        ruleBytes = readFileSync(rulePath);
-    }
-    catch (err) {
-        process.stderr.write(`error: cannot read rule file: ${err.message}\n`);
+    const files = args.positional;
+    if (files.length === 0)
+        return usage();
+    if (args.outFile !== undefined && existsSync(args.outFile)) {
+        process.stderr.write(`error: refusing to overwrite existing file: ${args.outFile}\n`);
         return 3;
     }
-    const ruleSha256Hex = createHash("sha256").update(ruleBytes).digest("hex");
-    let rule;
+    const entries = [];
+    for (const file of files) {
+        let sha256Hex;
+        try {
+            sha256Hex = await sha256HexOfFile(file);
+        }
+        catch (err) {
+            process.stderr.write(`error: cannot hash ${file}: ${err.message}\n`);
+            return 3;
+        }
+        // Platform-correct basename here, at the boundary: scaffoldRule
+        // itself splits only on "/" so its output is machine-independent.
+        entries.push({ name: basename(file), sha256Hex });
+        process.stderr.write(`  sha256:${sha256Hex}  ${file}\n`);
+    }
+    const skeleton = scaffoldRule(entries);
+    if (args.outFile !== undefined) {
+        // Exclusive write: the pre-hash existsSync is only a fast-fail, and
+        // hashing is unbounded in duration, so the refusal must hold at the
+        // write itself or a file created mid-hash is silently clobbered.
+        try {
+            writeFileSync(args.outFile, skeleton, { flag: "wx" });
+        }
+        catch (err) {
+            if (err.code === "EEXIST") {
+                process.stderr.write(`error: refusing to overwrite existing file: ${args.outFile}\n`);
+                return 3;
+            }
+            throw err;
+        }
+        process.stderr.write(`wrote ${args.outFile}\n`);
+    }
+    else {
+        process.stdout.write(skeleton);
+    }
+    process.stderr.write("\nnext steps:\n" +
+        '  1. set requires.ordering — "hash-linked" accepts only hash-link evidence;\n' +
+        '     "assumption-dependent" also accepts counter and anchor evidence\n' +
+        "  2. say what each digest means; refine the claim (before / after / between / not)\n" +
+        "  3. bitgraph-play <rule.json> <bundle>\n");
+    return 0;
+}
+async function runEvaluate(args) {
+    if (args.positional.length !== 2)
+        return usage();
+    const [rulePath, bundlePath] = args.positional;
+    let result;
     try {
-        rule = parseRule(ruleBytes.toString("utf8"));
+        result = await play(rulePath, bundlePath);
     }
     catch (err) {
         if (err instanceof RuleError) {
@@ -87,39 +150,43 @@ async function main() {
             for (const issue of err.issues)
                 process.stderr.write(`  - ${issue}\n`);
         }
+        else if (err instanceof PlayError) {
+            process.stderr.write(`error: ${err.message}\n`);
+        }
         else {
             process.stderr.write(`error: ${err.message}\n`);
         }
         return 3;
     }
-    let audit;
-    try {
-        audit = await runAudit(bundlePath);
-    }
-    catch (err) {
-        process.stderr.write(`error: bundle audit failed: ${err.message}\n`);
-        return 3;
-    }
-    const resolutions = resolveCast(rule.cast, audit);
-    const evaluation = evaluate(rule, resolutions, audit);
-    const verdict = buildVerdict(rule, ruleSha256Hex, resolutions, evaluation, audit);
-    const bytes = serializeVerdict(verdict);
-    if (outFile !== undefined) {
-        writeFileSync(outFile, bytes);
+    if (args.outFile !== undefined) {
+        writeFileSync(args.outFile, result.bytes);
     }
     else {
-        process.stdout.write(bytes);
+        process.stdout.write(result.bytes);
     }
-    if (summary)
-        printSummary(audit);
-    switch (evaluation.result) {
-        case "TRUE":
-            return 0;
-        case "FALSE":
-            return 1;
-        case "UNDETERMINED":
-            return 2;
+    if (args.summary)
+        printSummary(result.audit);
+    return result.exitCode;
+}
+async function main() {
+    const argv = process.argv.slice(2);
+    // "--" as the first token forces evaluate mode: parseArgs treats
+    // everything after it as positional, so a rule file literally named
+    // "init" is reachable as `bitgraph-play -- init <bundle>`.
+    const isInit = argv[0] === "init";
+    if (isInit && existsSync("init")) {
+        // Both readings are plausible here; a silent pick would hand a
+        // 0.1.1 caller a skeleton with exit 0 where the published contract
+        // returned a verdict. Refuse loudly instead.
+        process.stderr.write('error: a file named "init" exists here, so this command is ambiguous.\n' +
+            '  to evaluate it as a rule:  bitgraph-play -- init <bundle>  (or ./init)\n' +
+            "  to scaffold a rule: rename that file or run from another directory\n");
+        return 3;
     }
+    const parsed = parseArgs(isInit ? argv.slice(1) : argv);
+    if (parsed === undefined)
+        return usage();
+    return isInit ? runInit(parsed) : runEvaluate(parsed);
 }
 main().then((code) => {
     process.exitCode = code;