@fractalcode/bridge 0.1.0

package/LICENSE

@@ -0,0 +1,201 @@
+                                 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 2025-2026 Angelo Regalbuto / Regal Health & Retirement LLC
+
+   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/NOTICE

@@ -0,0 +1,11 @@
+fractal-openshell-bridge
+Copyright 2025-2026 Angelo Regalbuto / Regal Health & Retirement LLC
+
+This product is original work that compiles Fractal Code channel sidecars
+(a JSON data format) into OpenShell sandbox policy YAML (a data format),
+and invokes openshell-prover as a subprocess. It contains no source code
+from either Fractal Code or NVIDIA OpenShell. OpenShell is consumed
+strictly as an Apache-2.0 binary via subprocess; Fractal is consumed
+only via its on-disk .channels.json sidecar format.
+
+Licensed under the Apache License, Version 2.0.

package/README.md

@@ -0,0 +1,69 @@
+# fractal-openshell-bridge
+
+**Compiles Fractal Code channel sidecars into OpenShell sandbox policy YAML, and wires the OpenShell Z3 prover as a finalize-time gate.**
+
+Fractal governs what an agent may *semantically* do (scoped channels, typed intents). OpenShell governs where bytes may *physically* travel (kernel filesystem/network/process containment). This bridge compiles between their domain models so an agent must pass both enforcement gates.
+
+> ⚠️ **Alpha. AI-built, not human-reviewed.** This software was written by an AI agent and has NOT been reviewed by a human security engineer. It is an experimental alpha. Do NOT deploy it to protect real secrets or production systems without independent human review. Treat the semantic-gate claims as unverified until a qualified reviewer confirms them. See [SECURITY](#security-posture).
+
+---
+
+## What it does
+
+- **`compile`** — reads a directory of Fractal `.channels.json` sidecars, emits OpenShell `policy.yaml`. A pure, deterministic function: identical input → byte-identical output → identical SHA-256 hash.
+- **`prove`** — invokes `openshell-prover` as a subprocess against a compiled policy + credentials, returns structured findings. Fail-closed if the prover is flagged-on but absent or crashing.
+- **`verify`** — compile + prove in one step. Intended as a finalize-time gate: a pipeline that would leak data through a misconfigured channel is rejected *before* it can execute.
+
+## Channel scope (keepers only)
+
+The bridge maps only the channels that earn their keep — app-semantic scopes the platform can't enforce natively:
+
+| Fractal kind | Maps to |
+|---|---|
+| `file` | `filesystem_policy` (read_write / read_only) |
+| `http` | `network_policies` (host + L7 method rules) |
+| `anthropic` / `openai` / `google-genai` / `cohere` / `mistral` | `network_policies` (provider API host) |
+| `github` | `network_policies` (api.github.com + L7 method/path rules from allowedOperations) |
+
+**Deliberately NOT mapped** (documented in emitted YAML comments): `postgres`/`sqlite` (read-only via SQL inspection is unsound — use DB roles), `stripe` (duplicates Stripe's restricted-key model), `aws-s3`/`sqs` (duplicates IAM), `docker`/`kubernetes`/`terraform`/`vault`/`github-actions` (native RBAC), `browser` (overlaps OpenShell network policy), test runners (local execution), and unaudited SaaS channels. See [docs/mapping-reference.md](docs/mapping-reference.md).
+
+## Install (from source — not yet on npm)
+
+```bash
+git clone <repo-url>
+cd fractal-openshell-bridge
+npm install
+npm run build
+```
+
+## Usage
+
+```bash
+# Compile a finalized scaffold's sidecars into OpenShell policy
+fractal-openshell-bridge compile ./my-pipeline/cells -o policy.yaml
+
+# Run the prover against the compiled policy
+fractal-openshell-bridge prove --policy policy.yaml --credentials creds.yaml
+
+# Compile + prove in one step (finalize-time gate)
+fractal-openshell-bridge verify ./my-pipeline/cells --credentials creds.yaml
+```
+
+## Security posture
+
+- **Pure-function compiler.** No temp files, no shared state, no side effects. Parallel invocations cannot cross-contaminate (nothing shared). Deterministic output (sorted keys, selective array sort) → identical input yields identical hash.
+- **Prover gate fail-closed when flagged.** If `--openshell-prover` is set and the binary is absent or crashing, finalization blocks (exit 2). An attacker who deletes the binary or mutates `$PATH` cannot silently disable the gate. No-op only when the flag is entirely absent.
+- **No shell injection surface.** Prover invoked via `spawn` with arg array, `shell: false`. Zero sidecar-derived data in any shell context.
+- **Input hardening.** 1 MiB file-size cap + parse-depth limit before `JSON.parse`. Sidecar directory must never be agent-writable (TOCTOU defense).
+- **Policy file protection.** `policy.yaml` is bind-mounted into the sandbox read-only (kernel-enforced), root-owned `0644`, never in any FileChannel's `allowedPaths`, reinforced by Landlock, with the policy hash sealed into Fractal's Merkle root at finalize (tamper detection).
+- **Zero NVIDIA code.** No OpenShell source bundled or forked. OpenShell consumed as an Apache-2.0 binary via subprocess. No upstream PR required.
+
+## What it is NOT
+
+- Not a sandbox. It compiles a policy and invokes a prover. OpenShell does the enforcement.
+- Not a substitute for human review. The compiler mapping and prover wiring are AI-authored and unreviewed. The generated `policy.yaml` is plain YAML — read it before applying it.
+- Not a complete channel surface. Only the keeper channels are mapped. The dropped channels are documented, not silently ignored.
+
+## License
+
+Apache-2.0. See [LICENSE](LICENSE) and [NOTICE](NOTICE).

package/dist/src/cli.d.ts

@@ -0,0 +1,16 @@
+#!/usr/bin/env node
+/**
+ * fractal-openshell-bridge — CLI.
+ *
+ *   compile <scaffold-dir> [-o policy.yaml]   Compile sidecars → OpenShell policy YAML.
+ *   prove   --policy <yaml> --credentials <yaml> [--registry <dir>] [--accepted-risks <yaml>] [--compact]
+ *          Run openshell-prover against a compiled policy. Exit 0 pass / 1 fail / 2 input-error.
+ *   verify  <scaffold-dir> --credentials <yaml> [--registry <dir>] [--accepted-risks <yaml>]
+ *          compile + prove in one step. Intended as a finalize-time gate.
+ *
+ * Input hardening (red-team #3): each sidecar file is capped at MAX_SIDECAR_BYTES
+ * and rejected if its JSON nesting exceeds MAX_PARSE_DEPTH (JSON-bomb defense).
+ *
+ * Exit codes: 0 success, 1 prover-fail / blocked, 2 input/usage error.
+ */
+export {};

package/dist/src/cli.js

@@ -0,0 +1,241 @@
+#!/usr/bin/env node
+"use strict";
+/**
+ * fractal-openshell-bridge — CLI.
+ *
+ *   compile <scaffold-dir> [-o policy.yaml]   Compile sidecars → OpenShell policy YAML.
+ *   prove   --policy <yaml> --credentials <yaml> [--registry <dir>] [--accepted-risks <yaml>] [--compact]
+ *          Run openshell-prover against a compiled policy. Exit 0 pass / 1 fail / 2 input-error.
+ *   verify  <scaffold-dir> --credentials <yaml> [--registry <dir>] [--accepted-risks <yaml>]
+ *          compile + prove in one step. Intended as a finalize-time gate.
+ *
+ * Input hardening (red-team #3): each sidecar file is capped at MAX_SIDECAR_BYTES
+ * and rejected if its JSON nesting exceeds MAX_PARSE_DEPTH (JSON-bomb defense).
+ *
+ * Exit codes: 0 success, 1 prover-fail / blocked, 2 input/usage error.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+const fs_1 = require("fs");
+const path_1 = require("path");
+const os_1 = require("os");
+const compiler_1 = require("./compiler");
+const prover_1 = require("./prover");
+const MAX_SIDECAR_BYTES = 1_000_000; // 1 MiB
+const MAX_PARSE_DEPTH = 64;
+function usage() {
+    process.stderr.write(`fractal-openshell-bridge — compile Fractal sidecars to OpenShell policy + prover gate
+
+usage:
+  fractal-openshell-bridge compile <scaffold-dir> [-o policy.yaml]
+  fractal-openshell-bridge prove --policy <yaml> --credentials <yaml> [--registry <dir>] [--accepted-risks <yaml>] [--compact]
+  fractal-openshell-bridge verify <scaffold-dir> --credentials <yaml> [--registry <dir>] [--accepted-risks <yaml>] [-o policy.yaml]
+
+The prover gate is opt-in. Set FRACTAL_OPENSHELL_PROVER=enabled or pass --openshell-prover
+to enable fail-closed behavior in verify (binary-absent blocks rather than no-ops).
+`);
+    process.exit(2);
+}
+function die(msg, code = 2) {
+    process.stderr.write(`error: ${msg}\n`);
+    process.exit(code);
+}
+/** Max nesting depth of a JSON value (JSON-bomb defense). */
+function maxDepth(v, d) {
+    if (d > MAX_PARSE_DEPTH)
+        return d;
+    if (Array.isArray(v)) {
+        let m = d;
+        for (const x of v)
+            m = Math.max(m, maxDepth(x, d + 1));
+        return m;
+    }
+    if (v && typeof v === "object") {
+        let m = d;
+        for (const x of Object.values(v))
+            m = Math.max(m, maxDepth(x, d + 1));
+        return m;
+    }
+    return d;
+}
+/** Read and flatten all *.channels.json sidecars in a directory. */
+function readSidecars(dir) {
+    if (!(0, fs_1.existsSync)(dir))
+        die(`scaffold directory not found: ${dir}`);
+    const entries = (0, fs_1.readdirSync)(dir).filter((f) => f.endsWith(".channels.json"));
+    if (entries.length === 0)
+        die(`no .channels.json sidecars found in ${dir}`);
+    const channels = [];
+    for (const f of entries) {
+        const path = (0, path_1.join)(dir, f);
+        const stat = statSafe(path);
+        if (stat.size > MAX_SIDECAR_BYTES) {
+            die(`sidecar exceeds ${MAX_SIDECAR_BYTES} byte cap: ${f} (${stat.size} bytes)`);
+        }
+        const raw = (0, fs_1.readFileSync)(path, "utf8");
+        let parsed;
+        try {
+            parsed = JSON.parse(raw);
+        }
+        catch (err) {
+            die(`invalid JSON in ${f}: ${err.message}`);
+        }
+        if (maxDepth(parsed, 0) > MAX_PARSE_DEPTH) {
+            die(`sidecar nesting exceeds depth ${MAX_PARSE_DEPTH}: ${f} (possible JSON bomb)`);
+        }
+        const sidecar = parsed;
+        if (!sidecar || !Array.isArray(sidecar.channels)) {
+            die(`${f}: expected { channels: [...] }`);
+        }
+        for (const c of sidecar.channels) {
+            if (c && typeof c === "object" && "name" in c && "kind" in c && "scope" in c) {
+                channels.push(c);
+            }
+        }
+    }
+    return channels;
+}
+function statSafe(path) {
+    try {
+        return (0, fs_1.statSync)(path);
+    }
+    catch {
+        die(`cannot stat sidecar: ${path}`);
+    }
+}
+/** Parse -o value / --flag value / --flag=value argv into a map + positionals. */
+function parseArgs(argv) {
+    const flags = {};
+    const positionals = [];
+    for (let i = 0; i < argv.length; i++) {
+        const a = argv[i];
+        if (a.startsWith("-")) {
+            const raw = a.replace(/^-+/, ""); // strip leading dashes (-o and --o both → "o")
+            const eq = raw.indexOf("=");
+            if (eq >= 0) {
+                flags[raw.slice(0, eq)] = raw.slice(eq + 1);
+            }
+            else {
+                const next = argv[i + 1];
+                if (next !== undefined && !next.startsWith("-")) {
+                    flags[raw] = next;
+                    i++;
+                }
+                else {
+                    flags[raw] = true;
+                }
+            }
+        }
+        else {
+            positionals.push(a);
+        }
+    }
+    return { flags, positionals };
+}
+function flagString(v) {
+    return typeof v === "string" ? v : undefined;
+}
+// ── compile ──────────────────────────────────────────────────────────
+function cmdCompile(argv) {
+    const { flags, positionals } = parseArgs(argv);
+    const dir = positionals[0];
+    if (!dir)
+        usage();
+    const out = flagString(flags.o);
+    const channels = readSidecars(dir);
+    const result = (0, compiler_1.compileSidecars)(channels, Date.now());
+    if (!result.success)
+        die(`${result.code}: ${result.error}`);
+    if (out) {
+        const dir2 = (0, path_1.dirname)(out);
+        if (!(0, fs_1.existsSync)(dir2))
+            (0, fs_1.mkdirSync)(dir2, { recursive: true });
+        (0, fs_1.writeFileSync)(out, result.policyYaml, "utf8");
+        process.stdout.write(`wrote ${out}\n`);
+    }
+    else {
+        process.stdout.write(result.policyYaml);
+    }
+    process.stderr.write(`policyHash: ${result.policyHash}\nchannels processed: ${result.auditLog.channelsProcessed}, skipped: ${result.auditLog.skippedChannels.length}\n`);
+}
+// ── prove ────────────────────────────────────────────────────────────
+function cmdProve(argv) {
+    const { flags } = parseArgs(argv);
+    const policy = flagString(flags.policy);
+    const credentials = flagString(flags.credentials);
+    if (!policy || !credentials)
+        usage();
+    (0, prover_1.runProver)({
+        policyPath: policy,
+        credentialsPath: credentials,
+        registryPath: flagString(flags.registry),
+        acceptedRisksPath: flagString(flags["accepted-risks"]),
+        compact: flags.compact === true,
+    }, { flagEnabled: true }).then((r) => {
+        process.stdout.write(r.stdout);
+        process.stderr.write(r.stderr);
+        if (r.error)
+            process.stderr.write(`${r.error}\n`);
+        if (r.outcome === "pass")
+            process.exit(0);
+        if (r.outcome === "fail")
+            process.exit(1);
+        process.exit(2); // input-error, binary-absent-fail-closed, crash
+    });
+}
+// ── verify (compile + prove) ─────────────────────────────────────────
+function cmdVerify(argv) {
+    const { flags, positionals } = parseArgs(argv);
+    const dir = positionals[0];
+    const credentials = flagString(flags.credentials);
+    if (!dir || !credentials)
+        usage();
+    const flagEnabled = flags["openshell-prover"] === true ||
+        process.env.FRACTAL_OPENSHELL_PROVER === "enabled";
+    const channels = readSidecars(dir);
+    const compiled = (0, compiler_1.compileSidecars)(channels, Date.now());
+    if (!compiled.success)
+        die(`${compiled.code}: ${compiled.error}`);
+    const keep = flagString(flags.o);
+    const tmpPath = keep ?? (0, path_1.join)((0, os_1.tmpdir)(), `fob-policy-${process.pid}-${Date.now()}.yaml`);
+    (0, fs_1.writeFileSync)(tmpPath, compiled.policyYaml, "utf8");
+    process.stderr.write(`policyHash: ${compiled.policyHash}\n`);
+    (0, prover_1.runProver)({
+        policyPath: tmpPath,
+        credentialsPath: credentials,
+        registryPath: flagString(flags.registry),
+        acceptedRisksPath: flagString(flags["accepted-risks"]),
+        compact: true,
+    }, { flagEnabled }).then((r) => {
+        try {
+            if (!keep)
+                (0, fs_1.rmSync)(tmpPath, { force: true });
+        }
+        catch {
+            /* best-effort cleanup */
+        }
+        process.stdout.write(r.stdout);
+        process.stderr.write(r.stderr);
+        if (!flagEnabled) {
+            process.stderr.write(`note: prover gate not enabled (set --openshell-prover or FRACTAL_OPENSHELL_PROVER=enabled to fail-closed). policy written to ${tmpPath}\n`);
+        }
+        if (r.error)
+            process.stderr.write(`${r.error}\n`);
+        if (r.outcome === "pass" || r.outcome === "not-enabled")
+            process.exit(0);
+        if (r.outcome === "fail")
+            process.exit(1);
+        process.exit(2);
+    });
+}
+// ── dispatch ─────────────────────────────────────────────────────────
+const argv = process.argv.slice(2);
+const cmd = argv[0];
+const rest = argv.slice(1);
+if (cmd === "compile")
+    cmdCompile(rest);
+else if (cmd === "prove")
+    cmdProve(rest);
+else if (cmd === "verify")
+    cmdVerify(rest);
+else
+    usage();

package/dist/src/compiler/index.d.ts

@@ -0,0 +1,26 @@
+/**
+ * fractal-openshell-bridge — the pure compiler function.
+ *
+ * `compileSidecars(channels, timestamp)` is a pure function:
+ *   - No filesystem, no network, no env, no clock reads (timestamp is a param).
+ *   - Input is deep-frozen on entry (downstream mappers cannot mutate it).
+ *   - Output is deterministic: identical channels → byte-identical policyYaml
+ *     → identical policyHash. The timestamp is NOT an input to the hash.
+ *   - Errors are returned as { success: false, code, error }, never thrown.
+ *
+ * Side effects (logging, persistence) are the caller's responsibility — the
+ * caller receives the auditLog in the result and persists it however it likes.
+ */
+import type { TypedChannelConfig, CompilationResult } from "./types";
+/**
+ * Compile an array of typed channel declarations into OpenShell policy YAML.
+ *
+ * @param channels  Flattened channel declarations from `.channels.json` sidecars.
+ * @param timestamp Epoch milliseconds for the audit log (caller-supplied; NOT hashed).
+ * @returns         CompilationResult — { success, policyYaml, policyHash, auditLog }
+ *                  on success, or { success: false, code, error } on failure.
+ */
+export declare function compileSidecars(channels: TypedChannelConfig[], timestamp: number): CompilationResult;
+export { serializePolicy } from "./serialize";
+export { mapChannel, buildFilesystem } from "./mappings";
+export type { TypedChannelConfig, PolicyFile, CompilationResult, AuditLog, FilesystemDef, NetworkPolicyRuleDef, NetworkEndpointDef, } from "./types";