@factoidal/core 0.7.1 → 0.11.0

package/lib/engine-js.js

@@ -1,165 +0,0 @@
-// factoidal — Node driver for the js_of_ocaml CLI bundle.
-//
-// The engine bundle (factoidal.js) is a single-shot CLI: argv in,
-// stdout out. runCli() drives one invocation in-process:
-//   1. input documents are registered in js_of_ocaml's fake filesystem
-//      (globalThis.jsoo_fs_tmp, drained at engine startup — `/static/`
-//      is always the MlFakeDevice mount, in Node and browsers alike);
-//   2. globalThis.process.argv carries the flags;
-//   3. stdout/stderr are captured on BOTH channels the bundle may use:
-//      console.log/.error (the fstar_utf8_output_stubs.js path in
-//      current bundles) and require('fs').writeSync on fds 1/2 (the
-//      classic js_of_ocaml path), the latter via a proxied require;
-//   4. process.exit is replaced by a sentinel throw.
-//
-// This file also resolves WHICH bundle to load: an explicit override,
-// then the package-local copy (what npm ships), then the repo build
-// output (developer tree). The resolution is exported so tests can pin
-// the freshest artifact.
-
-'use strict';
-
-const fs = require('node:fs');
-const path = require('node:path');
-
-const PKG_ROOT = path.resolve(__dirname, '..');
-
-/** Candidate bundle paths, in resolution order. */
-function bundleCandidates() {
-  const c = [];
-  if (process.env.FACTOIDAL_JS_BUNDLE) c.push(process.env.FACTOIDAL_JS_BUNDLE);
-  c.push(path.join(PKG_ROOT, 'factoidal.js'));
-  // Developer tree fallback: repo build output.
-  c.push(path.resolve(PKG_ROOT, '..', '..', 'docs', 'fstar-extracted', 'factoidal.js'));
-  return c;
-}
-
-// A bundle is usable for the typed API when its CLI knows --dump-nq
-// (the argv strings survive into the generated JavaScript, so a
-// substring check is a reliable capability sniff). Prefer the first
-// candidate that qualifies; fall back to the first that merely exists
-// so queryRaw() keeps working against very old bundles.
-function resolveBundlePath() {
-  let firstExisting = null;
-  for (const p of bundleCandidates()) {
-    if (!p || !fs.existsSync(p)) continue;
-    if (firstExisting === null) firstExisting = p;
-    try {
-      if (fs.readFileSync(p, 'utf8').includes('--dump-nq')) return p;
-    } catch (_) { /* unreadable candidate — keep looking */ }
-  }
-  if (firstExisting) return firstExisting;
-  throw new Error(
-    'factoidal.js engine bundle not found. Run ' +
-    "'formal/fstar/build-ocaml.sh js && formal/fstar/build-ocaml.sh npm' " +
-    'in the repo, or set FACTOIDAL_JS_BUNDLE.'
-  );
-}
-
-let _src = null;
-let _srcPath = null;
-
-function loadSource() {
-  const p = resolveBundlePath();
-  if (_src !== null && _srcPath === p) return _src;
-  _src = fs.readFileSync(p, 'utf8');
-  _srcPath = p;
-  return _src;
-}
-
-/**
- * Run one CLI invocation of the js_of_ocaml engine bundle.
- *
- * @param {string[]} args   CLI arguments (after argv[0]/argv[1]).
- * @param {Array<{name: string, content: string}>} files
- *        Documents for the fake filesystem. Names must start
- *        with '/static/'.
- * @returns {{stdout: string, stderr: string, exitCode: number}}
- */
-function runCli(args, files) {
-  const orig = {
-    argv: globalThis.process ? globalThis.process.argv : undefined,
-    exit: globalThis.process ? globalThis.process.exit : undefined,
-    jsooFs: globalThis.jsoo_fs_tmp,
-    consoleLog: console.log,
-    consoleError: console.error,
-  };
-
-  const stdoutChunks = [];
-  const stderrChunks = [];
-  function asUtf8(data) {
-    if (typeof data === 'string') return data;
-    if (data && typeof data.toString === 'function') {
-      try { return Buffer.from(data).toString('utf8'); }
-      catch (_) { return String(data); }
-    }
-    return String(data);
-  }
-
-  // js_of_ocaml's Node runtime opens fds 1/2 via require('fs') and
-  // writes with fs.writeSync — bypassing console.log and
-  // process.stdout. Proxy the fs module we hand the bundle.
-  const patchedFs = new Proxy(fs, {
-    get(target, prop, receiver) {
-      if (prop === 'writeSync') {
-        return function proxyWriteSync(fd, chunk, ...rest) {
-          if (fd === 1) { stdoutChunks.push(asUtf8(chunk)); return asUtf8(chunk).length; }
-          if (fd === 2) { stderrChunks.push(asUtf8(chunk)); return asUtf8(chunk).length; }
-          return target.writeSync(fd, chunk, ...rest);
-        };
-      }
-      return Reflect.get(target, prop, receiver);
-    },
-  });
-  function wrappedRequire(name) {
-    if (name === 'fs' || name === 'node:fs') return patchedFs;
-    return require(name);
-  }
-
-  globalThis.process = globalThis.process || {};
-  globalThis.process.argv = ['node', 'factoidal', ...args];
-  globalThis.jsoo_fs_tmp = (files || []).map((f) => ({
-    name: f.name,
-    content: f.content,
-  }));
-
-  // Current bundles emit stdout/stderr line-wise via console.log /
-  // console.error (fstar_utf8_output_stubs.js); console adds the
-  // trailing newline, so re-append it when capturing.
-  console.log = (...a) => { stdoutChunks.push(a.map(asUtf8).join(' ') + '\n'); };
-  console.error = (...a) => { stderrChunks.push(a.map(asUtf8).join(' ') + '\n'); };
-
-  let exitCode = 0;
-  const EXIT_SENTINEL = new Error('__factoidal_exit__');
-  globalThis.process.exit = (n) => { exitCode = n | 0; throw EXIT_SENTINEL; };
-
-  function restore() {
-    if (globalThis.process) {
-      globalThis.process.argv = orig.argv;
-      globalThis.process.exit = orig.exit;
-    }
-    globalThis.jsoo_fs_tmp = orig.jsooFs;
-    console.log = orig.consoleLog;
-    console.error = orig.consoleError;
-  }
-
-  try {
-    const src = loadSource();
-    (new Function('require', src))(wrappedRequire);
-  } catch (e) {
-    if (e !== EXIT_SENTINEL) {
-      restore();
-      throw e;
-    }
-  } finally {
-    restore();
-  }
-
-  return {
-    stdout: stdoutChunks.join(''),
-    stderr: stderrChunks.join(''),
-    exitCode,
-  };
-}
-
-module.exports = { runCli, resolveBundlePath };

package/lib/engine-wasm.js

@@ -1,300 +0,0 @@
-// factoidal — Node driver for the wasm_of_ocaml CLI bundle.
-//
-// Same runCli(args, files) contract as ./engine-js.js, but backed by
-// factoidal.wasm.js + factoidal.wasm.assets/*.wasm. The technique is
-// the one proven by browser-wasm.js / test/smoke-wasm.mjs:
-//
-//   - the wasm loader is an async IIFE whose Promise is discarded at
-//     source level; a one-marker rewrite captures it so we can await
-//     completion;
-//   - we force the loader down its Node branch (versions.node truthy)
-//     and hand it a fake require() whose 'node:fs' serves our
-//     in-memory input documents (the wasm build has no MlFakeDevice /
-//     jsoo_fs_tmp) and routes fds 1/2 into capture buffers;
-//   - 'node:fs/promises'.readFile serves the .wasm asset bytes from
-//     the real filesystem.
-//
-// Unlike engine-js.js this driver is async (wasm instantiation).
-
-'use strict';
-
-const fs = require('node:fs');
-const path = require('node:path');
-
-const PKG_ROOT = path.resolve(__dirname, '..');
-
-// The bundle's entry is an immediately-invoked async factory:
-//   ;(<param>=>async <arg>=>{...})(...)
-// wasm_of_ocaml minifies <param> differently across versions ('$' in
-// 6.x releases before mid-2026, 'ag' in 6.4.1), so match the shape,
-// not a fixed name, and splice in the __fwPromise capture after the
-// leading ';'.
-const IIFE_RE = /;\((\$|[A-Za-z_$][\w$]*)=>async /;
-const IIFE_CAPTURE = ';globalThis.__fwPromise=';
-
-function bundleCandidates() {
-  const c = [];
-  if (process.env.FACTOIDAL_WASM_BUNDLE) c.push(process.env.FACTOIDAL_WASM_BUNDLE);
-  c.push(path.join(PKG_ROOT, 'factoidal.wasm.js'));
-  c.push(path.resolve(PKG_ROOT, '..', '..', 'docs', 'fstar-extracted', 'factoidal.wasm.js'));
-  return c;
-}
-
-function resolveBundlePath() {
-  for (const p of bundleCandidates()) {
-    if (p && fs.existsSync(p)) return p;
-  }
-  throw new Error(
-    'factoidal.wasm.js engine bundle not found. Run ' +
-    "'formal/fstar/build-ocaml.sh wasm-factoidal' in the repo, or set " +
-    'FACTOIDAL_WASM_BUNDLE.'
-  );
-}
-
-/** True if the wasm bundle (loader + .wasm asset) is present. */
-function wasmAvailable() {
-  try {
-    const loader = resolveBundlePath();
-    const assets = path.join(path.dirname(loader), 'factoidal.wasm.assets');
-    return fs.existsSync(assets) &&
-      fs.readdirSync(assets).some((f) => f.endsWith('.wasm'));
-  } catch (_) {
-    return false;
-  }
-}
-
-let _src = null;
-let _srcPath = null;
-let _assetsDir = null;
-
-function loadSource() {
-  const p = resolveBundlePath();
-  if (_src !== null && _srcPath === p) return _src;
-  const raw = fs.readFileSync(p, 'utf8');
-  const m = IIFE_RE.exec(raw);
-  if (!m) {
-    throw new Error(
-      'engine-wasm: could not locate the async IIFE marker in ' +
-      'factoidal.wasm.js — the bundle shape may have changed.'
-    );
-  }
-  // Keep everything, but capture the invoked IIFE's promise:
-  // ';(' → ';globalThis.__fwPromise=('
-  _src = raw.slice(0, m.index) + IIFE_CAPTURE + raw.slice(m.index + 1);
-  _srcPath = p;
-  _assetsDir = path.join(path.dirname(p), 'factoidal.wasm.assets');
-  return _src;
-}
-
-function makeStat(size, isFile, opts) {
-  const bigint = !!(opts && opts.bigint);
-  const toN = (v) => (bigint ? BigInt(v) : v);
-  return {
-    isFile:            () => isFile,
-    isDirectory:       () => false,
-    isCharacterDevice: () => !isFile,
-    isBlockDevice:     () => false,
-    isSymbolicLink:    () => false,
-    isFIFO:            () => false,
-    isSocket:          () => false,
-    dev: toN(0), ino: toN(0), mode: toN(0o100644),
-    nlink: toN(1), uid: toN(0), gid: toN(0), rdev: toN(0),
-    size: toN(size),
-    atimeMs: bigint ? 0n : 0,
-    mtimeMs: bigint ? 0n : 0,
-    ctimeMs: bigint ? 0n : 0,
-  };
-}
-
-/**
- * Run one CLI invocation of the wasm engine bundle.
- * Same contract as engine-js.runCli, but async.
- *
- * @param {string[]} args
- * @param {Array<{name: string, content: string}>} files
- * @returns {Promise<{stdout: string, stderr: string, exitCode: number}>}
- */
-async function runCli(args, files) {
-  const src = loadSource();
-
-  const TE = new TextEncoder();
-  const TD = new TextDecoder('utf-8');
-  const fileMap = new Map(
-    (files || []).map((f) => [f.name, TE.encode(f.content)])
-  );
-
-  const stdoutBuf = [];
-  const stderrBuf = [];
-
-  let exitCode = 0;
-  const EXIT_SENTINEL = new Error('__factoidal_exit__');
-  EXIT_SENTINEL.__factoidalExit = true;
-
-  const fakeOpenFds = Object.create(null);
-  let nextFd = 100;
-
-  function writeSync(fd, buf, offset, length /*, position */) {
-    let s;
-    if (typeof buf === 'string') {
-      s = buf;
-    } else {
-      const u8 = buf instanceof Uint8Array
-        ? buf
-        : new Uint8Array(buf.buffer, buf.byteOffset, buf.byteLength);
-      const start = offset || 0;
-      const end = start + (length === undefined ? u8.length - start : length);
-      s = TD.decode(u8.subarray(start, end));
-    }
-    (fd === 2 ? stderrBuf : stdoutBuf).push(s);
-    return length === undefined ? s.length : length;
-  }
-
-  const fileForPath = (p) => fileMap.get(String(p)) || null;
-
-  const fakeFs = {
-    constants: {
-      R_OK: 4, W_OK: 2, X_OK: 1, F_OK: 0,
-      O_RDONLY: 0, O_WRONLY: 1, O_RDWR: 2, O_APPEND: 8, O_CREAT: 512,
-      O_TRUNC: 1024, O_EXCL: 2048, O_NONBLOCK: 4096, O_NOCTTY: 8192,
-      O_DSYNC: 4194304, O_SYNC: 128,
-    },
-    writeSync,
-    openSync: (p /*, flags, mode */) => {
-      const f = fileForPath(p);
-      if (!f) {
-        throw Object.assign(
-          new Error(`ENOENT: no such file or directory, open '${p}'`),
-          { code: 'ENOENT', errno: -2, syscall: 'open', path: p });
-      }
-      const fd = nextFd++;
-      fakeOpenFds[fd] = { path: String(p), buf: f, offset: 0 };
-      return fd;
-    },
-    closeSync: (fd) => { delete fakeOpenFds[fd]; },
-    readSync: (fd, buf, offset, length, position) => {
-      const f = fakeOpenFds[fd];
-      if (!f) throw Object.assign(new Error('EBADF'), { code: 'EBADF', errno: -9 });
-      const pos = (position === null || position === undefined)
-        ? f.offset : Number(position);
-      const remaining = Math.max(0, f.buf.length - pos);
-      const n = Math.min(length, remaining);
-      for (let i = 0; i < n; i++) buf[offset + i] = f.buf[pos + i];
-      if (position === null || position === undefined) f.offset = pos + n;
-      return n;
-    },
-    fsyncSync: () => {},
-    existsSync: (p) => fileForPath(p) !== null,
-    accessSync: (p) => {
-      if (!fileForPath(p)) {
-        throw Object.assign(new Error('ENOENT'), { code: 'ENOENT', errno: -2 });
-      }
-    },
-    statSync: (p, o) => {
-      const f = fileForPath(p);
-      if (!f) {
-        if (o && o.throwIfNoEntry === false) return undefined;
-        throw Object.assign(new Error('ENOENT'), { code: 'ENOENT', errno: -2 });
-      }
-      return makeStat(f.length, true, o);
-    },
-    lstatSync: (p, o) => fakeFs.statSync(p, o),
-    fstatSync: (fd, o) => {
-      const f = fakeOpenFds[fd];
-      return makeStat(f ? f.buf.length : 0, !!f, o);
-    },
-  };
-
-  // Serve the .wasm asset from the real filesystem next to the loader.
-  async function readWasmAsset(requestedPath) {
-    const s = String(requestedPath);
-    const marker = 'factoidal.wasm.assets/';
-    const ix = s.lastIndexOf(marker);
-    const sub = ix < 0 ? s : s.slice(ix + marker.length);
-    const abs = path.join(_assetsDir, path.basename(sub));
-    return fs.readFileSync(abs);
-  }
-
-  const fakeRequire = (name) => {
-    if (name === 'node:fs')          return fakeFs;
-    if (name === 'node:fs/promises') return { readFile: readWasmAsset };
-    if (name === 'node:path')        return {
-      join:    (...parts) => parts.filter(Boolean).join('/').replace(/\/+/g, '/'),
-      dirname: (p)        => String(p).replace(/\/[^/]*$/, '') || '.',
-    };
-    if (name === 'node:os')            return { tmpdir: () => '/tmp' };
-    if (name === 'node:tty')           return { isatty: () => false };
-    if (name === 'node:child_process') return { spawnSync: () => ({ status: 0, signal: null }) };
-    throw new Error(`engine-wasm shim: unexpected require('${name}')`);
-  };
-  fakeRequire.main = { filename: '/factoidal/main.js' };
-
-  const fakeProc = {
-    argv: ['node', 'factoidal', ...args],
-    exit: (n) => { exitCode = n | 0; throw EXIT_SENTINEL; },
-    stdout: { write: (s) => stdoutBuf.push(String(s)) },
-    stderr: { write: (s) => stderrBuf.push(String(s)) },
-    platform: 'linux',
-    versions: { node: process.versions.node || '22.0.0' },
-    env: {},
-    cpuUsage: () => ({ user: 0, system: 0 }),
-    on:       () => {},
-    cwd:      () => '/static',
-    chdir:    () => {},
-  };
-
-  const orig = {
-    proc:      globalThis.process,
-    jsooFs:    globalThis.jsoo_fs_tmp,
-    require:   globalThis.require,
-    fwPromise: globalThis.__fwPromise,
-    consoleLog: console.log,
-    consoleError: console.error,
-  };
-
-  globalThis.process = fakeProc;
-  globalThis.require = fakeRequire;
-  globalThis.jsoo_fs_tmp = undefined;
-  delete globalThis.__fwPromise;
-  // Belt and braces: some bundle variants route output through
-  // console.log/.error (line-wise, newline re-appended on capture).
-  console.log = (...a) => { stdoutBuf.push(a.map(String).join(' ') + '\n'); };
-  console.error = (...a) => { stderrBuf.push(a.map(String).join(' ') + '\n'); };
-
-  function restoreGlobals() {
-    globalThis.process = orig.proc;
-    globalThis.jsoo_fs_tmp = orig.jsooFs;
-    if (orig.require === undefined) delete globalThis.require;
-    else globalThis.require = orig.require;
-    if (orig.fwPromise === undefined) delete globalThis.__fwPromise;
-    else globalThis.__fwPromise = orig.fwPromise;
-    console.log = orig.consoleLog;
-    console.error = orig.consoleError;
-  }
-
-  try {
-    (new Function(src))();
-    const p = globalThis.__fwPromise;
-    if (!p || typeof p.then !== 'function') {
-      throw new Error(
-        'engine-wasm: __fwPromise was not captured — the bundle shape ' +
-        'may have changed.');
-    }
-    try {
-      await p;
-    } catch (e) {
-      // process.exit throws the sentinel through the async IIFE; that
-      // is the normal completion path.
-      if (e !== EXIT_SENTINEL && !(e && e.__factoidalExit)) throw e;
-    }
-  } finally {
-    restoreGlobals();
-  }
-
-  return {
-    stdout: stdoutBuf.join(''),
-    stderr: stderrBuf.join(''),
-    exitCode,
-  };
-}
-
-module.exports = { runCli, resolveBundlePath, wasmAvailable };

package/sample-store/CURRENT

@@ -1 +0,0 @@
-gen-1

package/sample-store/gen-1/manifest.tsv

@@ -1,14 +0,0 @@
-# index	predicate	file	rows	bytes	sha256	merkle-leaves	subject-index	term-index	object-index
-0	http://www.w3.org/1999/02/22-rdf-syntax-ns#type	predicate-0.ibk3	662	48565	4f71147d70b03813900fac8614ede5ba5af09b499f9594162843281d000b513d	predicate-0.ibk3.merkle	predicate-0.ibk3.sri2	predicate-0.ibk3.tli1	predicate-0.ibk3.oli2
-1	http://www.w3.org/2004/02/skos/core#hasTopConcept	predicate-1.ibk3	657	48385	6aa13b38bca39fb47856132b2d66f3ba95ce8ceb64f1d0bb8c467df6e1c45b1a	predicate-1.ibk3.merkle	predicate-1.ibk3.sri2	predicate-1.ibk3.tli1	predicate-1.ibk3.oli2
-2	http://www.w3.org/2004/02/skos/core#prefLabel	predicate-2.ibk3	954	143503	26c27e2b10152314f1ef098598a23a803ef75a2e65083e11f7c6125f0112d402	predicate-2.ibk3.merkle	predicate-2.ibk3.sri2	predicate-2.ibk3.tli1	predicate-2.ibk3.oli2
-3	http://www.w3.org/2004/02/skos/core#definition	predicate-3.ibk3	655	99238	1844449946c5a9cc8f278368a55ec86076aad00fd448860f242eaa4224e48ffb	predicate-3.ibk3.merkle	predicate-3.ibk3.sri2	predicate-3.ibk3.tli1	predicate-3.ibk3.oli2
-4	http://www.w3.org/2004/02/skos/core#inScheme	predicate-4.ibk3	657	48380	dbf18455489e85771f92138a6a55c938a6b4d06dbfbe4220f99b9ffe65502917	predicate-4.ibk3.merkle	predicate-4.ibk3.sri2	predicate-4.ibk3.tli1	predicate-4.ibk3.oli2
-5	http://cv.iptc.org/newscodes/ikos/prefSchemeAlias	predicate-5.ibk3	4	559	231bd6648d5b314c1d5fb5229bb51508d5146daf964e93c82d32f5dca0f1d0aa	predicate-5.ibk3.merkle	predicate-5.ibk3.sri2	predicate-5.ibk3.tli1	predicate-5.ibk3.oli2
-6	http://cv.iptc.org/newscodes/ikos/authority	predicate-6.ibk3	4	410	3112c0b4c989c6bc7bb0c383d7f2609c21e8cd345f9fdeb39ed76a6548558489	predicate-6.ibk3.merkle	predicate-6.ibk3.sri2	predicate-6.ibk3.tli1	predicate-6.ibk3.oli2
-7	http://purl.org/dc/terms/rightsHolder	predicate-7.ibk3	4	456	91c722da0b4ab0c65ba689ecc4b70817eb373be6a9e68f9a9b4ced5b05488dc9	predicate-7.ibk3.merkle	predicate-7.ibk3.sri2	predicate-7.ibk3.tli1	predicate-7.ibk3.oli2
-8	http://cv.iptc.org/newscodes/ikos/licenceLink	predicate-8.ibk3	4	436	d57f29ce75044fb24399c327ca8806f6c51bda30ffacda2c25c4d37f879adfed	predicate-8.ibk3.merkle	predicate-8.ibk3.sri2	predicate-8.ibk3.tli1	predicate-8.ibk3.oli2
-9	http://cv.iptc.org/newscodes/ikos/dateReleased	predicate-9.ibk3	4	641	6ed8bfeb5025f5d31c88cf3e2026f617fc570bf29730433fe66a7131ef503c7e	predicate-9.ibk3.merkle	predicate-9.ibk3.sri2	predicate-9.ibk3.tli1	predicate-9.ibk3.oli2
-10	http://www.w3.org/2004/02/skos/core#note	predicate-10.ibk3	57	11597	57a4afb56e8fdcd873633a29ad1c2a9c1942d0cf25bc6a182b08dc6e03100c95	predicate-10.ibk3.merkle	predicate-10.ibk3.sri2	predicate-10.ibk3.tli1	predicate-10.ibk3.oli2
-11	http://cv.iptc.org/newscodes/ikos/created	predicate-11.ibk3	407	28371	4785469be090e311f541b26fa27da114613136366e84cb5e9efb60ac6e6da72e	predicate-11.ibk3.merkle	predicate-11.ibk3.sri2	predicate-11.ibk3.tli1	predicate-11.ibk3.oli2
-12	http://cv.iptc.org/newscodes/ikos/modified	predicate-12.ibk3	365	25277	265094c8a35cd0482d043f300444af82429f31dd2fa0595e026be700d7d362f4	predicate-12.ibk3.merkle	predicate-12.ibk3.sri2	predicate-12.ibk3.tli1	predicate-12.ibk3.oli2

package/sample-store/gen-1/predicate-0.ibk3.merkle

@@ -1 +0,0 @@
-� ��:ToBvI�ff��h�u"�_���w�

package/sample-store/gen-1/predicate-0.ibk3.oli2.merkle

@@ -1 +0,0 @@
-�3+�T�z'/\������-{��%�U��0�/

package/sample-store/gen-1/predicate-0.ibk3.sri2.merkle

@@ -1 +0,0 @@
-\4���m���8	haɤ[�x�`�gA��@z��j

package/sample-store/gen-1/predicate-1.ibk3.sri2.merkle

@@ -1 +0,0 @@
-��۳Q��,g����_�B�T��������1

package/sample-store/gen-1/predicate-1.ibk3.tli1.merkle

@@ -1 +0,0 @@
-�Hak���>[]V��|��׽!�$�v"�U��

package/sample-store/gen-1/predicate-10.ibk3.merkle

@@ -1 +0,0 @@
-�0�s*�
HW����d��xG�j�Ӊ�|��n

package/sample-store/gen-1/predicate-10.ibk3.sri2.merkle

@@ -1 +0,0 @@
-��@�M9����/ZΥ�󴅊���8�a��չ

package/sample-store/gen-1/predicate-10.ibk3.tli1.merkle

@@ -1 +0,0 @@
-�@��_�Ay�U�x%h�U�i�U/�_�PJ�i

package/sample-store/gen-1/predicate-11.ibk3.oli2.merkle

@@ -1 +0,0 @@
-��DFv��G��4LD��o����
w�I6

package/sample-store/gen-1/predicate-11.ibk3.sri2.merkle

@@ -1 +0,0 @@
-����m�/S[S���xRx}�	7a�FP�

package/sample-store/gen-1/predicate-11.ibk3.tli1.merkle

@@ -1 +0,0 @@
-�$ϥ���tRK

package/sample-store/gen-1/predicate-12.ibk3.merkle

@@ -1 +0,0 @@
-�4����E/��U�d$z��Z�J�>*�g

package/sample-store/gen-1/predicate-12.ibk3.oli2.merkle

@@ -1 +0,0 @@
-�U�(3�������$B��Wa7~�:k��wKb�G

package/sample-store/gen-1/predicate-12.ibk3.sri2.merkle

@@ -1 +0,0 @@
-+��&

package/sample-store/gen-1/predicate-12.ibk3.tli1.merkle

@@ -1 +0,0 @@
-���f.:g���1X�۝��rF�Nb����

package/sample-store/gen-1/predicate-2.ibk3.merkle

@@ -1 +0,0 @@
-�z�I-G��3�����yR����[��:$lY���+	�/���:��v3����
W' ��������#�g���U��oj�9�B�"=���A�BN��l*6���

package/sample-store/gen-1/predicate-2.ibk3.oli2.merkle

@@ -1 +0,0 @@
-?�Pa��&@?ThJ���y)���4��^�%����

package/sample-store/gen-1/predicate-3.ibk3.merkle

@@ -1 +0,0 @@
-�R�2 ���mcY(]HI��

package/sample-store/gen-1/predicate-3.ibk3.oli2.merkle

@@ -1 +0,0 @@
-��Q�+_�`*YN�	;B��E�<Ls�+d���

package/sample-store/gen-1/predicate-3.ibk3.sri2.merkle

@@ -1 +0,0 @@
-�c����E���EҮ���J�x?ݣ67���

package/sample-store/gen-1/predicate-3.ibk3.tli1.merkle

@@ -1 +0,0 @@
-5�z�@d���Z�����Kg���U,�"�{�l��q֪נ�c�,��@$�zo���Q���