@lapxo/bound 0.2.5 → 0.2.6

package/samples/engine-alphabet/reader.js

@@ -1,1457 +1,3 @@
-// work/bound-0.1.9/repository/node_modules/@lapxo/topos/dist/wire/outcome.js
-var fact = (value) => ({ kind: "fact", value });
-var abstain = (why) => ({ kind: "abstain", why });
-var refuse = (why, named) => ({ kind: "refuse", why, ...named === void 0 ? {} : { named } });
-
-// work/bound-0.1.9/repository/node_modules/@lapxo/topos/dist/wire/values.js
-function unpipe(value) {
-  const out = [];
-  let at = "";
-  for (let i = 0; i < value.length; i++) {
-    const c = value[i];
-    if (c === "\\") {
-      const next = value[i + 1];
-      if (next !== "|" && next !== "\\")
-        return null;
-      at += next;
-      i += 1;
-    } else if (c === "|") {
-      out.push(at);
-      at = "";
-    } else {
-      at += c;
-    }
-  }
-  out.push(at);
-  return out;
-}
-var OPEN = "*";
-var num = (s) => {
-  if (!/^-?\d+(\.\d+)?$/.test(s))
-    return null;
-  const n = Number(s);
-  return isFinite(n) ? n : null;
-};
-function decimal(n) {
-  if (!isFinite(n))
-    throw new Error(`REFUSE\xB7wire decimal: \`${n}\` is not a finite number`);
-  const got = /^(-?)(\d)(?:\.(\d+))?e([+-])(\d+)$/.exec(String(n));
-  if (got === null)
-    return String(n);
-  const [, sign2 = "", lead = "", rest = "", ahead = "", exp = "0"] = got;
-  return ahead === "+" ? `${sign2}${lead}${rest}${"0".repeat(Number(exp) - rest.length)}` : `${sign2}0.${"0".repeat(Number(exp) - 1)}${lead}${rest}`;
-}
-var GRAMMARS = {
-  interval: (value) => {
-    const at = value.indexOf("..");
-    if (at < 0)
-      return null;
-    const lo = value.slice(0, at);
-    const hi = value.slice(at + 2);
-    const l = lo === OPEN ? null : num(lo);
-    const h = hi === OPEN ? null : num(hi);
-    if (lo !== OPEN && l === null || hi !== OPEN && h === null)
-      return null;
-    return { kind: "interval", lo: l, hi: h };
-  },
-  alphabet: (value) => {
-    const values = unpipe(value);
-    return values === null ? null : { kind: "enumerated", values };
-  },
-  ladder: (value) => {
-    const parts2 = unpipe(value);
-    if (parts2 === null || parts2.length !== 2)
-      return null;
-    return { kind: "band", floor: parts2[0] ?? "", ceiling: parts2[1] ?? "" };
-  }
-};
-function boundOf(form2, value, grammars) {
-  const extra = Array.isArray(grammars) ? grammars.find((g) => g.form === form2) : void 0;
-  if (extra)
-    return extra.parse(value);
-  return GRAMMARS[form2]?.(value) ?? null;
-}
-var BOUND_FORMS = Object.keys(GRAMMARS);
-var REF_RELATIONS = ["within", "copies", "derives"];
-
-// work/bound-0.1.9/repository/node_modules/@lapxo/topos/dist/wire/line.js
-var PROTOCOL = "bound-lock/1";
-var NEEDS_QUOTE = /[ ="\n\\]/;
-function escape(value) {
-  if (!NEEDS_QUOTE.test(value))
-    return value;
-  return `"${value.replace(/\\/g, "\\\\").replace(/"/g, '\\"').replace(/\n/g, "\\n")}"`;
-}
-function unescape(token) {
-  if (!token.startsWith('"'))
-    return NEEDS_QUOTE.test(token) ? null : token;
-  if (token.length < 2 || !token.endsWith('"'))
-    return null;
-  const body = token.slice(1, -1);
-  let out = "";
-  for (let i = 0; i < body.length; i++) {
-    const c = body[i];
-    if (c !== "\\") {
-      if (c === '"')
-        return null;
-      out += c;
-      continue;
-    }
-    const next = body[i + 1];
-    if (next === '"')
-      out += '"';
-    else if (next === "\\")
-      out += "\\";
-    else if (next === "n")
-      out += "\n";
-    else
-      return null;
-    i += 1;
-  }
-  return out;
-}
-var UTF8 = new TextEncoder();
-function byBytes(a, b) {
-  const x = UTF8.encode(a);
-  const y = UTF8.encode(b);
-  for (let i = 0; i < x.length && i < y.length; i++) {
-    if (x[i] !== y[i])
-      return x[i] - y[i];
-  }
-  return x.length - y.length;
-}
-var unwritten = (fields) => fields["form"] === "interval" && fields["value"] !== void 0 && fields["value"] !== "withdraw" && boundOf("interval", fields["value"]) === null;
-function canonical(fields, version = "1") {
-  if (unwritten(fields))
-    throw new Error(`REFUSE\xB7wire canonical: \`${fields["value"]}\` is no interval the wire writes: two ends, each decimal or *`);
-  const keys = Object.keys(fields).sort(byBytes);
-  const tokens = keys.map((k) => `${k}=${escape(fields[k])}`);
-  return [`${PROTOCOL.split("/")[0]}/${version}`, ...tokens].join(" ");
-}
-var ABSENT = "-";
-function parse(text, options = {}) {
-  if (text.includes("\n")) {
-    return refuse("a line is one line \u2014 a newline in a value must be escaped as `\\n`");
-  }
-  const space = text.indexOf(" ");
-  const envelope = space === -1 ? text : text.slice(0, space);
-  const [name, version] = envelope.split("/");
-  if (name !== PROTOCOL.split("/")[0] || !version) {
-    return refuse(`no \`bound-lock/<v>\` envelope \u2014 found \`${envelope.slice(0, 24)}\``);
-  }
-  if (version !== PROTOCOL.split("/")[1]) {
-    return abstain(`\`bound-lock/${version}\` is a version this reader does not know`);
-  }
-  const fields = {};
-  const writtenKeys = /* @__PURE__ */ new Set();
-  for (const token of tokensOf(space === -1 ? "" : text.slice(space + 1))) {
-    if (token === null)
-      return refuse("a quoted value is not closed");
-    const at = token.indexOf("=");
-    if (at <= 0)
-      return refuse(`\`${token.slice(0, 24)}\` is not \`key=value\``);
-    const key = token.slice(0, at);
-    if (writtenKeys.has(key))
-      return refuse(`\`${key}\` appears twice \u2014 one line, one value per key`);
-    writtenKeys.add(key);
-    const value = unescape(token.slice(at + 1));
-    if (value === null)
-      return refuse(`\`${key}\` has an escaping this format does not define`);
-    if (value !== ABSENT)
-      fields[key] = value;
-  }
-  if (unwritten(fields))
-    return refuse(`\`${fields["value"]}\` is no interval the wire reads: two ends, each decimal or *`);
-  return fact({ version, fields, ...options.preserveKeys ? { keys: [...writtenKeys] } : {} });
-}
-function* tokensOf(rest) {
-  let at = 0;
-  while (at < rest.length) {
-    while (rest[at] === " ")
-      at += 1;
-    if (at >= rest.length)
-      return;
-    let end = at;
-    let quoted = false;
-    while (end < rest.length && (quoted || rest[end] !== " ")) {
-      if (rest[end] === "\\" && quoted)
-        end += 1;
-      else if (rest[end] === '"')
-        quoted = !quoted;
-      end += 1;
-    }
-    if (quoted) {
-      yield null;
-      return;
-    }
-    yield rest.slice(at, end);
-    at = end;
-  }
-}
-
-// work/bound-0.1.9/repository/node_modules/@lapxo/topos/dist/wire/grammar.js
-var [FORBID, EMPTY, MEMBER, PAIR, STEP, AT, EVERY, ESCAPE] = ["not:", "none", "|", "=", "/", "@", "*", "\\"];
-var refuse2 = (grammar, why) => {
-  throw new Error(`REFUSE\xB7wire ${grammar}: ${why}`);
-};
-function alphabet(given) {
-  if (typeof given !== "string") {
-    const written2 = given.members.map((one) => one.split(ESCAPE).join(ESCAPE + ESCAPE).split(MEMBER).join(ESCAPE + MEMBER)).join(MEMBER);
-    if (given.polarity === "forbid")
-      return FORBID + written2;
-    return written2.startsWith(FORBID) || written2 === EMPTY ? refuse2("alphabet", "a permitted alphabet neither begins with not: nor is the one word none") : written2 || EMPTY;
-  }
-  const forbid = given.startsWith(FORBID);
-  const body = forbid ? given.slice(FORBID.length) : given;
-  const members = !forbid && body === EMPTY ? [] : unpipe(body) ?? refuse2("alphabet", "a backslash escapes only a pipe or itself");
-  return { polarity: forbid ? "forbid" : "permit", members: members.filter((one) => one !== "") };
-}
-
-// work/bound-0.1.9/repository/node_modules/@lapxo/obligations/dist/lattice/errors.js
-var UnitError = class _UnitError extends Error {
-  code;
-  detail;
-  constructor(code, message, detail = {}) {
-    super(message);
-    this.name = "UnitError";
-    this.code = code;
-    this.detail = Object.freeze({ ...detail });
-    Object.setPrototypeOf(this, _UnitError.prototype);
-  }
-};
-
-// work/bound-0.1.9/repository/node_modules/@lapxo/obligations/dist/lattice/order.js
-function build(levels, join2, meet) {
-  const n = levels.length;
-  for (let i = 0; i < n; i++) {
-    if (levels.indexOf(levels[i]) !== i) {
-      throw new UnitError("DUPLICATE_LEVEL", `the level \`${levels[i]}\` is declared twice`, {
-        level: levels[i]
-      });
-    }
-  }
-  const index = new Map(levels.map((l, i) => [l, i]));
-  const leq = (a, b) => join2[a][b] === b;
-  const total = levels.every((_, i) => levels.every((__, j) => join2[i][j] === i || join2[i][j] === j));
-  let simple = true;
-  for (let x = 0; x < n && simple; x++) {
-    for (let y = 0; y < n && simple; y++) {
-      for (let z = 0; z < n; z++) {
-        if (meet[x][join2[y][z]] !== join2[meet[x][y]][meet[x][z]]) {
-          simple = false;
-          break;
-        }
-      }
-    }
-  }
-  const all = [...levels.keys()];
-  const bottomIx = all.find((i) => all.every((j) => leq(i, j))) ?? 0;
-  const topIx = all.find((i) => all.every((j) => leq(j, i))) ?? n - 1;
-  const joinIrr = all.filter((j) => j !== bottomIx && all.filter((x) => x !== j && leq(x, j)).reduce((acc, x) => join2[acc][x], bottomIx) !== j);
-  const meetIrr = all.filter((m) => m !== topIx && all.filter((x) => x !== m && leq(m, x)).reduce((acc, x) => meet[acc][x], topIx) !== m);
-  const seen = /* @__PURE__ */ new Set();
-  const allDebits = [];
-  for (const x of [...joinIrr, ...meetIrr]) {
-    if (!seen.has(x)) {
-      seen.add(x);
-      allDebits.push(x);
-    }
-  }
-  return {
-    levels,
-    isLadder: total,
-    isSimple: simple,
-    bottomIx,
-    topIx,
-    bottom: levels[bottomIx],
-    top: levels[topIx],
-    leq,
-    higher: (a, b) => join2[a][b],
-    lower: (a, b) => meet[a][b],
-    rank(level) {
-      const r = index.get(level);
-      if (r === void 0) {
-        throw new UnitError("UNKNOWN_LEVEL", `no level \`${level}\` in this scale`, {
-          level,
-          levels
-        });
-      }
-      return r;
-    },
-    stateOf(floor, ceiling) {
-      if (!leq(floor, ceiling))
-        return "CONFLICT";
-      if (floor !== bottomIx)
-        return "REQUIRED";
-      if (ceiling !== topIx)
-        return "FORBIDDEN";
-      return "FREE";
-    },
-    joins: () => joinIrr.slice(),
-    limits: () => meetIrr.slice(),
-    debits: () => allDebits.slice(),
-    intervalHeight(lo, hi) {
-      if (!leq(lo, hi))
-        return null;
-      const inside = all.filter((x) => leq(lo, x) && leq(x, hi));
-      const covers = (x) => inside.filter((y) => y !== x && leq(x, y) && !inside.some((z) => z !== x && z !== y && leq(x, z) && leq(z, y)));
-      const long = /* @__PURE__ */ new Map([[lo, 0]]);
-      const short = /* @__PURE__ */ new Map([[lo, 0]]);
-      const walk = [...inside].sort((a, b) => inside.filter((z) => leq(z, a)).length - inside.filter((z) => leq(z, b)).length);
-      for (const x of walk) {
-        const lx = long.get(x);
-        const sx = short.get(x);
-        if (lx === void 0 || sx === void 0)
-          continue;
-        for (const y of covers(x)) {
-          long.set(y, Math.max(long.get(y) ?? lx + 1, lx + 1));
-          short.set(y, Math.min(short.get(y) ?? sx + 1, sx + 1));
-        }
-      }
-      const l = long.get(hi);
-      return l !== void 0 && l === short.get(hi) ? l : null;
-    }
-  };
-}
-function chain(levels) {
-  if (!Array.isArray(levels) || levels.length === 0) {
-    throw new UnitError("EMPTY_CHAIN", "a chain needs at least one level");
-  }
-  const n = levels.length;
-  const grid = (f) => [...Array(n)].map((_, i) => [...Array(n)].map((__, j) => f(i, j)));
-  return build(levels, grid(Math.max), grid(Math.min));
-}
-function order(levels, leq) {
-  if (!Array.isArray(levels) || levels.length === 0) {
-    throw new UnitError("EMPTY_CHAIN", "an order needs at least one level");
-  }
-  const n = levels.length;
-  const bound = (a, b, up) => {
-    const bs = [...Array(n).keys()].filter((x) => up ? leq[a][x] && leq[b][x] : leq[x][a] && leq[x][b]);
-    const least = bs.filter((x) => bs.every((y) => up ? leq[x][y] : leq[y][x]));
-    if (least.length !== 1) {
-      throw new UnitError("MALFORMED", `\`${levels[a]}\` and \`${levels[b]}\` have ${least.length} ${up ? "lowest common" : "highest common"} bounds, so this is not a usable scale`, { levels: [levels[a], levels[b]] });
-    }
-    return least[0];
-  };
-  const grid = (up) => [...Array(n)].map((_, i) => [...Array(n)].map((__, j) => bound(i, j, up)));
-  return build(levels, grid(true), grid(false));
-}
-
-// work/bound-0.1.9/repository/node_modules/@lapxo/obligations/dist/debit/unit.js
-function unit(subject, bounds) {
-  return { subject, floor: bounds.floor, ceiling: bounds.ceiling };
-}
-var permitAll = (c, subject) => unit(subject, { floor: c.bottom, ceiling: c.top });
-function state(c, u) {
-  return c.stateOf(c.rank(u.floor), c.rank(u.ceiling));
-}
-function band(c, units, from, onFloor, onCeiling) {
-  let floor = from.floor;
-  let ceiling = from.ceiling;
-  for (const u of units) {
-    floor = onFloor(floor, c.rank(u.floor));
-    ceiling = onCeiling(ceiling, c.rank(u.ceiling));
-  }
-  return { subject: units[0].subject, floor: c.levels[floor], ceiling: c.levels[ceiling] };
-}
-function fuse(c, units) {
-  if (units.length === 0)
-    return permitAll(c, "");
-  return band(c, units, { floor: c.bottomIx, ceiling: c.topIx }, (a, b) => c.higher(a, b), (a, b) => c.lower(a, b));
-}
-function entails(c, a, b) {
-  const [af, ac] = [c.rank(a.floor), c.rank(a.ceiling)];
-  const [bf, bc] = [c.rank(b.floor), c.rank(b.ceiling)];
-  return c.leq(bf, af) && c.leq(ac, bc);
-}
-
-// work/bound-0.1.9/repository/node_modules/@lapxo/obligations/dist/debit/packed.js
-var WIDTH = 32;
-
-// work/bound-0.1.9/repository/node_modules/@lapxo/obligations/dist/debit/masks.js
-function chunkCount(n) {
-  if (n <= 0)
-    return 0;
-  return Math.ceil(n / WIDTH);
-}
-var WideMask = class _WideMask {
-  words;
-  width;
-  constructor(width, words) {
-    this.width = width;
-    this.words = words ?? new Uint32Array(chunkCount(width));
-  }
-  static fromTokens(tokens, allowed) {
-    const m = new _WideMask(tokens.length);
-    tokens.forEach((t, i) => {
-      if (allowed.has(t))
-        m.set(i);
-    });
-    return m;
-  }
-  set(bit) {
-    if (bit < 0 || bit >= this.width) {
-      throw new UnitError("MALFORMED", `bit ${bit} is outside a mask of width ${this.width}`, {
-        bit,
-        width: this.width
-      });
-    }
-    this.words[bit >> 5] |= 1 << (bit & 31);
-  }
-  has(bit) {
-    if (bit < 0 || bit >= this.width)
-      return false;
-    return (this.words[bit >> 5] & 1 << (bit & 31)) !== 0;
-  }
-  and(other) {
-    const w = Math.max(this.width, other.width);
-    const out = new _WideMask(w);
-    const n = Math.min(this.words.length, other.words.length);
-    for (let i = 0; i < n; i++)
-      out.words[i] = this.words[i] & other.words[i];
-    return out;
-  }
-  or(other) {
-    const w = Math.max(this.width, other.width);
-    const out = new _WideMask(w);
-    for (let i = 0; i < out.words.length; i++) {
-      out.words[i] = (this.words[i] ?? 0) | (other.words[i] ?? 0);
-    }
-    return out;
-  }
-  difference(other) {
-    const w = Math.max(this.width, other.width);
-    const out = new _WideMask(w);
-    for (let i = 0; i < out.words.length; i++) {
-      out.words[i] = (this.words[i] ?? 0) & ~(other.words[i] ?? 0);
-    }
-    const spare = w % 32;
-    if (spare !== 0 && out.words.length > 0) {
-      out.words[out.words.length - 1] &= (1 << spare) - 1;
-    }
-    return out;
-  }
-  subsetOf(other) {
-    const n = Math.max(this.words.length, other.words.length);
-    for (let i = 0; i < n; i++) {
-      const a = this.words[i] ?? 0;
-      const b = other.words[i] ?? 0;
-      if ((a & ~b) !== 0)
-        return false;
-    }
-    return true;
-  }
-  size() {
-    let n = 0;
-    for (let i = 0; i < this.width; i++)
-      if (this.has(i))
-        n++;
-    return n;
-  }
-  members(tokens) {
-    return tokens.filter((_, i) => this.has(i));
-  }
-  static filled(width) {
-    const m = new _WideMask(width);
-    if (width <= 0)
-      return m;
-    m.words.fill(4294967295);
-    const spare = width % 32;
-    if (spare !== 0)
-      m.words[m.words.length - 1] = (1 << spare) - 1;
-    return m;
-  }
-};
-
-// work/bound-0.1.9/repository/node_modules/@lapxo/obligations/dist/lattice/scale-lattice.js
-function fromScale(c) {
-  const inhabited = (x) => state(c, x) !== "CONFLICT";
-  return {
-    top: permitAll(c, ""),
-    bottom: { subject: "", floor: c.levels[c.topIx] ?? "", ceiling: c.levels[c.bottomIx] ?? "" },
-    leq: (a, b) => entails(c, a, b),
-    meet: (a, b) => fuse(c, [a, b]),
-    join: (a, b) => {
-      if (!inhabited(a))
-        return b;
-      if (!inhabited(b))
-        return a;
-      return {
-        subject: a.subject || b.subject,
-        floor: c.levels[c.lower(c.rank(a.floor), c.rank(b.floor))] ?? a.floor,
-        ceiling: c.levels[c.higher(c.rank(a.ceiling), c.rank(b.ceiling))] ?? a.ceiling
-      };
-    },
-    show: (x) => `[${x.floor}, ${x.ceiling}]`,
-    inhabited
-  };
-}
-function subsets(tokens) {
-  return {
-    bottom: new WideMask(tokens.length),
-    top: WideMask.filled(tokens.length),
-    leq: (a, b) => a.subsetOf(b),
-    meet: (a, b) => a.and(b),
-    join: (a, b) => a.or(b),
-    show: (x) => x.members(tokens).join(","),
-    inhabited: (x) => x.size() > 0
-  };
-}
-
-// work/bound-0.1.9/repository/node_modules/@lapxo/obligations/dist/lattice/forms.js
-function intervals(lo, hi) {
-  const low = Math.min(lo, hi);
-  const high = Math.max(lo, hi);
-  return {
-    bottom: { lo: high, hi: low },
-    top: { lo: low, hi: high },
-    leq(a, b) {
-      if (a.lo > a.hi)
-        return true;
-      if (b.lo > b.hi)
-        return false;
-      return b.lo <= a.lo && a.hi <= b.hi;
-    },
-    meet(a, b) {
-      return { lo: Math.max(a.lo, b.lo), hi: Math.min(a.hi, b.hi) };
-    },
-    join(a, b) {
-      if (a.lo > a.hi)
-        return b;
-      if (b.lo > b.hi)
-        return a;
-      return { lo: Math.min(a.lo, b.lo), hi: Math.max(a.hi, b.hi) };
-    },
-    show(x) {
-      return x.lo > x.hi ? "empty" : `${x.lo}..${x.hi}`;
-    },
-    inhabited(x) {
-      return x.lo <= x.hi;
-    }
-  };
-}
-function form(f) {
-  const held = { lattice: f.lattice, parse: f.parse, emit: f.emit, count: f.count, show: f.show, points: f.points };
-  const lacking = Object.entries(held).find(([, fn]) => typeof fn !== "function");
-  if (lacking)
-    throw new Error(`form \`${f.id}\` declared no ${lacking[0]}`);
-  return f;
-}
-var rec = (x) => x !== null && typeof x === "object" ? x : {};
-function strings(x) {
-  return Array.isArray(x) ? x.map(String) : [];
-}
-var drawn = (seed) => {
-  let s = seed >>> 0;
-  return () => {
-    s = s + 1831565813 >>> 0;
-    let t = Math.imul(s ^ s >>> 15, s | 1);
-    t ^= t + Math.imul(t ^ t >>> 7, t | 61);
-    return ((t ^ t >>> 14) >>> 0) / 4294967296;
-  };
-};
-var picked = (draw, xs) => xs[Math.floor(draw() * xs.length)];
-function bandCount(levels, folded) {
-  if (levels.length === 0)
-    return { kind: "refused", why: "a ladder with no levels cannot be counted" };
-  const c = chain(levels);
-  const f = c.rank(folded.floor);
-  const cl = c.rank(folded.ceiling);
-  if (!c.leq(f, cl))
-    return { kind: "finite", n: 0 };
-  const n = levels.filter((_, i) => c.leq(f, i) && c.leq(i, cl)).length;
-  return { kind: "finite", n };
-}
-var BAND = {
-  parse(params, demand) {
-    const L = this.lattice(params);
-    const d = rec(demand);
-    return {
-      subject: String(d.subject ?? ""),
-      floor: String(d.floor ?? L.top.floor),
-      ceiling: String(d.ceiling ?? L.top.ceiling)
-    };
-  },
-  emit(_params, value) {
-    return { subject: value.subject, floor: value.floor, ceiling: value.ceiling };
-  },
-  count(folded, params) {
-    return bandCount(strings(rec(params).levels), folded);
-  },
-  points(params, seed, n) {
-    const L = this.lattice(params);
-    const levels = strings(rec(params).levels);
-    const draw = drawn(seed);
-    const band2 = (floor, ceiling) => ({ subject: "", floor, ceiling });
-    return Array.from({ length: n }, () => {
-      const [a, b] = [picked(draw, levels), picked(draw, levels)];
-      return [band2(a, b), band2(b, a)].find((x) => L.inhabited(x)) ?? band2(a, a);
-    });
-  }
-};
-var ladderForm = form({
-  id: "ladder",
-  lattice(params) {
-    const levels = strings(rec(params).levels);
-    if (levels.length === 0)
-      throw new Error("ladder needs levels");
-    return fromScale(chain(levels));
-  },
-  ...BAND,
-  show(value) {
-    return value.floor === value.ceiling ? value.floor : `${value.floor}..${value.ceiling}`;
-  }
-});
-var alphabetForm = form({
-  id: "alphabet",
-  lattice(params) {
-    return subsets(strings(rec(params).tokens));
-  },
-  parse(params, demand) {
-    const tokens = strings(rec(params).tokens);
-    const d = rec(demand);
-    const want = d.want !== void 0 ? strings(d.want) : tokens;
-    return WideMask.fromTokens(tokens, new Set(want));
-  },
-  emit(params, value) {
-    return { want: value.members(strings(rec(params).tokens)) };
-  },
-  count(folded) {
-    return { kind: "finite", n: folded.size() };
-  },
-  show(value) {
-    return `${value.size()}`;
-  },
-  points(params, seed, n) {
-    const tokens = strings(rec(params).tokens);
-    const draw = drawn(seed);
-    return Array.from({ length: n }, () => WideMask.fromTokens(tokens, new Set(tokens.filter(() => draw() < 0.5))));
-  }
-});
-var continuousForm = form({
-  id: "continuous",
-  lattice(params) {
-    const p = rec(params);
-    return intervals(Number(p.lo ?? 0), Number(p.hi ?? 1));
-  },
-  parse(params, demand) {
-    const L = this.lattice(params);
-    const d = rec(demand);
-    return {
-      lo: d.lo === void 0 ? L.top.lo : Number(d.lo),
-      hi: d.hi === void 0 ? L.top.hi : Number(d.hi)
-    };
-  },
-  emit(_params, value) {
-    return { lo: value.lo, hi: value.hi };
-  },
-  count() {
-    return { kind: "refused", why: "a continuous band has no count; prefer not to exist over inventing one" };
-  },
-  show(value) {
-    return value.lo > value.hi ? "empty" : `${value.lo}..${value.hi}`;
-  },
-  points(params, seed, n) {
-    const p = rec(params);
-    const lo = Number(p.lo ?? 0);
-    const hi = Number(p.hi ?? 1);
-    const draw = drawn(seed);
-    const at = () => lo + Math.round(draw() * (hi - lo));
-    return Array.from({ length: n }, () => ({ lo: at(), hi: at() }));
-  }
-});
-var latticeForm = form({
-  id: "lattice",
-  lattice(params) {
-    const p = rec(params);
-    const levels = strings(p.levels);
-    const leq = p.leq;
-    if (levels.length && leq)
-      return fromScale(order(levels, leq));
-    throw new Error("lattice needs levels+leq");
-  },
-  ...BAND,
-  show(value) {
-    return `${value.floor}..${value.ceiling}`;
-  }
-});
-var FORM_IMPLEMENTATIONS = [ladderForm, alphabetForm, continuousForm, latticeForm];
-var FORMS = [...FORM_IMPLEMENTATIONS];
-
-// work/bound-0.1.9/repository/node_modules/@lapxo/obligations/dist/field/field.js
-function coordinate(name, steps = "/") {
-  const at = name.split(new RegExp(`[${steps.replace(/[.*+?^${}()|[\]\\-]/g, "\\$&")}]`)).filter((s) => s !== "");
-  while (at[at.length - 1] === "*" || at[at.length - 1] === "**")
-    at.pop();
-  return at;
-}
-
-// work/bound-0.1.9/repository/node_modules/@lapxo/obligations/dist/lattice/obligatory.js
-function cell(at, epoch = 0, seen = [], restsOn = []) {
-  return { at: coordinate(at), epoch, seen, restsOn };
-}
-function mark(one) {
-  if (one.widens !== void 0 && one.reach === "travels") {
-    throw new UnitError("widening-travels", "obligations: REFUSE\xB7widening-travels a widening stands where it was witnessed and never travels to what rests there", { pole: one.pole });
-  }
-  return one.takes === void 0 ? one : { ...one, sign: -1 };
-}
-function live(lines) {
-  const taken = new Set(lines.flatMap((line) => line.takes === void 0 ? [] : [line.takes]));
-  return lines.filter((line) => line.takes === void 0 && (line.id === void 0 || !taken.has(line.id)));
-}
-function restOf(c, world = /* @__PURE__ */ new Map()) {
-  const own = c.at.join("/");
-  const out = [];
-  const held = /* @__PURE__ */ new Set();
-  const edge = [...c.restsOn];
-  for (let i = 0; i < edge.length; i += 1) {
-    const name = edge[i];
-    if (name === own)
-      throw new UnitError("rest-cycle", `obligations: REFUSE\xB7rest ${own} rests on itself: an order of rest with a cycle has no fold to reach`, { at: own });
-    if (held.has(name))
-      continue;
-    held.add(name);
-    out.push(name);
-    edge.push(...world.get(name)?.restsOn ?? []);
-  }
-  return out;
-}
-function parts(L, c, world = /* @__PURE__ */ new Map()) {
-  const rest = restOf(c, world);
-  const above = rest.flatMap((name) => live(world.get(name)?.marks ?? []).filter((one) => one.reach === "travels" && one.widens === void 0));
-  const marks = [...live(c.marks ?? []), ...above].sort((a, b) => (a.at ?? 0) - (b.at ?? 0));
-  let required = L.top;
-  let signed = L.top;
-  for (const one of marks) {
-    if (one.pole === "floor")
-      required = L.meet(required, one.span);
-    else
-      signed = one.widens === void 0 ? L.meet(signed, one.span) : L.join(signed, one.span);
-  }
-  const origins = live(c.seen);
-  const held = origins.reduce((acc, claim) => L.meet(acc, claim.span), L.top);
-  return { floor: L.meet(required, held), ceiling: L.meet(signed, held), origins, rest, required, signed };
-}
-function state2(L, c, world = /* @__PURE__ */ new Map()) {
-  const { floor, ceiling, origins, required, signed } = parts(L, c, world);
-  if (!L.inhabited(L.meet(required, signed)))
-    return "CONFLICT";
-  if (new Set(origins.map((claim) => claim.origin)).size < 2)
-    return "REQUIRED";
-  if (!L.inhabited(origins.reduce((acc, claim) => L.meet(acc, claim.span), L.top)))
-    return "CONFLICT";
-  return L.inhabited(L.meet(floor, ceiling)) ? "FREE" : "FORBIDDEN";
-}
-
-// work/bound-0.1.9/repository/node_modules/@lapxo/topos/dist/wire/object-record.js
-function coordinateText(value) {
-  return value !== "" && !/[\s\\|]/.test(value) && value.split("/").every((s) => s !== "" && s !== "." && s !== ".." && s !== "*" && s !== "**");
-}
-function restCoordinates(text) {
-  try {
-    const read = alphabet(text);
-    if (read.polarity !== "permit" || read.members.some((one) => !coordinateText(one)))
-      return void 0;
-    const sorted = [...new Set(read.members)].sort(byBytes);
-    if (alphabet({ polarity: "permit", members: sorted }) !== text)
-      return void 0;
-    return sorted;
-  } catch {
-    return void 0;
-  }
-}
-var COMMON = ["type", "scope", "id", "epoch", "by", "sig"];
-function objectFromFields(fields, keys, schema, globalFields, forms) {
-  const bad = (why, key) => refuse(why, key);
-  if (keys.includes("at"))
-    return bad("object records carry no at: order is epoch and a local join witness is widens", "at");
-  const type = fields.type;
-  if (!schema.types.has(type ?? "") || !["cell", "claim", "mark"].includes(type ?? ""))
-    return bad("an object record names a declared type: cell, claim or mark", "type");
-  if (!/^(0|[1-9][0-9]*)$/.test(fields.epoch ?? "") || !Number.isSafeInteger(Number(fields.epoch)))
-    return bad("an object record carries an exactly supported logical epoch", "epoch");
-  if (Number(fields.epoch) < schema.activation)
-    return bad(`an object epoch precedes typed-wire activation ${schema.activation}`, "epoch");
-  let row;
-  if (type === "cell")
-    row = "cell";
-  else if (fields.sign === "-1")
-    row = `${type}/negative`;
-  else if (fields.sign !== "+1")
-    return bad("a claim or mark names sign=+1 or sign=-1", "sign");
-  else if (type === "claim")
-    row = "claim/positive";
-  else if (fields.pole === "floor" && fields.reach === "travels" && fields.widens === void 0)
-    row = "mark/floor-travelling";
-  else if (fields.pole === "ceiling" && fields.reach === "travels" && fields.widens === void 0)
-    row = "mark/travelling";
-  else if (fields.pole === "ceiling" && fields.reach === "local")
-    row = "mark/local";
-  else
-    return bad("a positive mark is ceiling/travels, ceiling/local with widens, or floor/travels without widens", "pole");
-  const required = schema.required.get(row);
-  const allowed = schema.allowed.get(row);
-  if (!required || !allowed || schema.common.size === 0 || schema.configuration.size === 0 || [...schema.common].some((k) => !required.has(k) || !allowed.has(k)) || [...required].some((k) => !allowed.has(k)))
-    return bad(`typed wire has no complete required/allowed contract for ${row}`, "type");
-  for (const key of COMMON)
-    if (fields[key] === void 0 || fields[key] === "")
-      return bad(`an object record has no ${key}`, key);
-  for (const key of keys)
-    if (!globalFields.has(key) || !allowed.has(key))
-      return bad(`\`${key}=\` is not allowed on ${row}`, key);
-  for (const key of required)
-    if (!allowed.has(key) || fields[key] === void 0 || fields[key] === "")
-      return bad(`a ${row} record has no declared required \`${key}\``, key);
-  if (!coordinateText(fields.scope))
-    return bad("scope is a canonical cell coordinate", "scope");
-  if (type === "cell") {
-    if (!forms.has(fields.form))
-      return bad("the cell names no admitted form", "form");
-    if (restCoordinates(fields.restsOn) === void 0)
-      return bad("cell restsOn is none or a canonical alphabet of coordinates", "restsOn");
-  }
-  return fact({ record: type, fields: { ...fields } });
-}
-
-// work/bound-0.1.9/repository/node_modules/@lapxo/topos/dist/wire/sig.js
-function parseSignature(value) {
-  const colon = value.lastIndexOf(":");
-  if (colon <= 0 || colon === value.length - 1)
-    return null;
-  return { algorithm: value.slice(0, colon), raw: value.slice(colon + 1) };
-}
-
-// work/bound-0.1.9/repository/node_modules/@lapxo/topos/dist/wire/claimline.js
-var ENVELOPE = /* @__PURE__ */ new Set(["sig", "expires", "repo", "by", "epoch"]);
-var WITHDRAW = "withdraw";
-var WIRE = "wire/";
-var WAS = "audit/wire/";
-function listOf(scope) {
-  if (scope.startsWith(WAS))
-    return scope.slice(WAS.length);
-  if (scope.startsWith(WIRE))
-    return scope.slice(WIRE.length);
-  return void 0;
-}
-function epochOf(fields) {
-  const value = fields["epoch"] ?? "";
-  return /^\d+$/.test(value) ? Number(value) : 0;
-}
-function names(withdraw, line) {
-  return Object.keys(withdraw).filter((k) => k !== "value" && !ENVELOPE.has(k)).every((k) => line[k] === withdraw[k]);
-}
-function wireAt(lines, epoch) {
-  const mine = lines.filter((f) => listOf(f["scope"] ?? "") !== void 0 && epochOf(f) <= epoch);
-  const withdrawals = mine.filter((f) => f["value"] === WITHDRAW);
-  const candidates = /* @__PURE__ */ new Map();
-  for (const f of mine) {
-    if (f["value"] === WITHDRAW || withdrawals.some((w) => names(w, f)))
-      continue;
-    const key = (listOf(f["scope"] ?? "") ?? "") + "\0" + (f["by"] ?? "");
-    const held = candidates.get(key) ?? [];
-    const newest = held.length ? epochOf(held[0]) : -1;
-    if (epochOf(f) > newest)
-      candidates.set(key, [f]);
-    else if (epochOf(f) === newest)
-      candidates.set(key, [...held, f]);
-  }
-  const live2 = [...candidates.values()].flatMap((rows) => rows.some((f) => (f["scope"] ?? "").startsWith(WIRE)) ? rows.filter((f) => (f["scope"] ?? "").startsWith(WIRE)) : rows);
-  const values = /* @__PURE__ */ new Map();
-  for (const f of live2) {
-    const key = listOf(f["scope"] ?? "") ?? "", prior = values.get(key);
-    if (prior !== void 0 && prior !== f["value"])
-      throw Error(`REFUSE\xB7wire wire/${key} has conflicting live declarations`);
-    values.set(key, f["value"] ?? "");
-  }
-  const standing = /* @__PURE__ */ new Map();
-  for (const f of mine) {
-    const key = listOf(f["scope"] ?? "") ?? "";
-    if (f["value"] === WITHDRAW || withdrawals.some((w) => names(w, f)))
-      continue;
-    const held = standing.get(key);
-    const newer = held === void 0 || epochOf(f) > epochOf(held) || epochOf(f) === epochOf(held) && (f["scope"] ?? "").startsWith(WIRE) && (held["scope"] ?? "").startsWith(WAS);
-    if (newer)
-      standing.set(key, f);
-  }
-  if (!standing.size)
-    return null;
-  const ids = (name) => new Set((standing.get(name)?.["value"] ?? "").split("|").filter(Boolean));
-  const formOf = new Map([...standing].filter(([name]) => name.startsWith("form/")).map(([name, f]) => [name.slice("form/".length), f["value"] ?? ""]));
-  const lists = new Map([...standing.keys()].filter((name) => !name.includes("/")).map((name) => [name, ids(name)]));
-  return {
-    epoch,
-    ...standing.has("object/types") ? { object: {
-      activation: epochOf(standing.get("object/types")),
-      types: ids("object/types"),
-      common: ids("object/common"),
-      reserved: ids("object/reserved"),
-      configuration: ids("object/allowed/config"),
-      required: new Map([...standing.keys()].filter((k) => k.startsWith("object/required/")).map((k) => [k.slice("object/required/".length), ids(k)])),
-      allowed: new Map([...standing.keys()].filter((k) => k.startsWith("object/allowed/")).map((k) => [k.slice("object/allowed/".length), ids(k)]))
-    } } : {},
-    fields: ids("fields"),
-    required: ids("required"),
-    roles: ids("roles"),
-    forms: ids("forms"),
-    classes: ids("at-classes"),
-    digests: new Set([...ids("digest-algorithms")].map((one) => one.split(":")[0])),
-    signatures: ids("signature-algorithms"),
-    formOf,
-    lists
-  };
-}
-function admittedDigest(value, wire) {
-  const colon = value.indexOf(":");
-  return colon > 0 && wire.digests.has(value.slice(0, colon)) && /^[0-9a-f]+$/i.test(value.slice(colon + 1));
-}
-function isRegion(need) {
-  if (need.startsWith("/") || /[\s\\]/.test(need))
-    return false;
-  const steps = need.split("/").filter((step) => step !== "");
-  return steps.length > 0 && steps.every((step, i) => step !== "." && step !== ".." && (!step.includes("*") || i === steps.length - 1));
-}
-var FIELD_FORMS = {
-  region: (value) => value.split("|").filter(Boolean).every(isRegion),
-  class: (value, wire) => {
-    const colon = value.indexOf(":");
-    if (colon <= 0 || !wire.classes.has(value.slice(0, colon)))
-      return false;
-    const rest = value.slice(colon + 1);
-    return !/^[a-z0-9-]+:[0-9a-f]{16,}$/i.test(rest) || admittedDigest(rest, wire);
-  },
-  signature: (value, wire) => {
-    const got = parseSignature(value);
-    if (got === null || !wire.signatures.has(got.algorithm))
-      return false;
-    const era = got.algorithm.slice(got.algorithm.lastIndexOf(":") + 1);
-    return admittedDigest(got.algorithm, wire) || got.algorithm.includes(":") && (wire.lists.get("era")?.has(era) ?? false);
-  },
-  count: (value) => /^\d+$/.test(value)
-};
-function debit(field, why) {
-  return refuse(why, field);
-}
-function fromLine(text, wire, grammars) {
-  const line = parse(text, { preserveKeys: true });
-  if (line.kind !== "fact") {
-    return line.kind === "abstain" ? abstain(line.why) : refuse(line.why, line.named);
-  }
-  const f = line.value.fields;
-  const keys = line.value.keys;
-  if (keys.includes("type")) {
-    if (!wire?.object)
-      return refuse("typed object grammar is not admitted at this epoch", "type");
-    if (!wire.object.configuration.size || !wire.object.reserved.size || [...wire.object.reserved].some((k) => wire.object.configuration.has(k)))
-      return refuse("typed wire has no closed configuration/object field contract", "type");
-    const got = objectFromFields(f, keys, wire.object, wire.fields, wire.forms);
-    if (got.kind !== "fact")
-      return got;
-    if (!FIELD_FORMS.signature(f.sig, wire))
-      return refuse("object signature grammar is not admitted", "sig");
-    if (got.value.record === "cell" && !admittedDigest(f.topos, wire))
-      return refuse("cell topos is not an admitted digest", "topos");
-    if (got.value.record === "cell" && (f.restsOn ?? "").split("|").some((name) => admittedDigest(name, wire)))
-      return refuse("cell restsOn names coordinates, not byte digests", "restsOn");
-    return got;
-  }
-  if (wire) {
-    if (wire.object) {
-      if (!wire.object.configuration.size || !wire.object.reserved.size || [...wire.object.reserved].some((k) => wire.object.configuration.has(k)))
-        return refuse("typed wire has no closed configuration/object field contract", "type");
-      const reserved = keys.find((k) => wire.object.reserved.has(k) || !wire.object.configuration.has(k));
-      if (reserved)
-        return refuse(`\`${reserved}=\` is an object-only field: untyped configuration cannot carry it`, reserved);
-    }
-    for (const k of Object.keys(f))
-      if (!wire.fields.has(k))
-        return debit(k, `\`${k}=\` is not a field of the wire at epoch ${wire.epoch}`);
-    for (const k of wire.required)
-      if (f[k] === void 0)
-        return debit(k, `a claim with no \`${k}\``);
-    for (const [k, form2] of wire.formOf) {
-      const v = f[k];
-      if (v === void 0)
-        continue;
-      const ids = wire.lists.get(form2);
-      const reads = FIELD_FORMS[form2] ?? (ids ? (value) => ids.has(value) : void 0);
-      if (!reads)
-        return abstain(`\`${k}\` takes the form ${form2}, which this reader does not know`);
-      if (!reads(v, wire))
-        return debit(k, `\`${k}=${v}\` is not a ${form2} of the wire at epoch ${wire.epoch}`);
-    }
-    if (f.role !== void 0 && !wire.roles.has(f.role))
-      return abstain(`\`role=${f.role}\` is a role this wire does not name`);
-    if (!wire.forms.has(f.form ?? ""))
-      return abstain(`\`form=${f.form}\` is a form this wire does not name`);
-  }
-  const listed = Array.isArray(grammars) ? grammars : void 0;
-  const bound = f.value === WITHDRAW ? { kind: "enumerated", values: [WITHDRAW] } : boundOf(f.form ?? "", f.value ?? "", listed);
-  if (bound === null) {
-    const mine = BOUND_FORMS.includes(f.form ?? "") || (listed?.some((g) => g.form === f.form) ?? false);
-    return mine ? debit("value", `\`${f.value}\` is not a ${f.form}`) : abstain(`\`form=${f.form}\` is a form this reader does not know`);
-  }
-  const role = f.role === "writes" ? "writes" : f.role === "demands" ? "demands" : "reads";
-  const extra = {};
-  for (const [k, v] of Object.entries(f)) {
-    if (["scope", "measure", "form", "value", "by", "at", "role", "unit", "multiplicity", "epoch", "ref", "to", "ref_by"].includes(k))
-      continue;
-    extra[k] = v;
-  }
-  const rel = f.ref;
-  const to = f.to === void 0 ? null : unpipe(f.to);
-  const reference = rel && to && REF_RELATIONS.includes(rel) ? { rel, to, by: f.ref_by === "declared" ? "declared" : "inferred" } : null;
-  return fact({
-    scope: f.scope ?? "",
-    measure: f.measure ?? "",
-    bound,
-    role,
-    by: f.by ?? "",
-    at: f.at ?? "",
-    ...f.unit !== void 0 ? { unit: f.unit } : {},
-    ...f.multiplicity === "one" || f.multiplicity === "many" || f.multiplicity === "unknown" ? { multiplicity: f.multiplicity } : {},
-    ...f.epoch !== void 0 ? { epoch: f.epoch } : {},
-    ...reference ? { reference } : {},
-    extra
-  });
-}
-var EPOCHS = intervals(-Infinity, Infinity);
-var QUORUMS = intervals(1, Infinity);
-
-// work/bound-0.1.9/repository/node_modules/@lapxo/topos/dist/wire/record-kind.js
-function recordKind(text) {
-  const got = parse(text, { preserveKeys: true });
-  if (got.kind !== "fact")
-    return got;
-  if (!got.value.keys.includes("type"))
-    return fact("config");
-  const type = got.value.fields.type;
-  return type === "cell" || type === "claim" || type === "mark" ? fact(type) : refuse("an explicit type names cell, claim or mark", "type");
-}
-
-// work/bound-0.1.9/repository/node_modules/@lapxo/topos/dist/wire/object-history.js
-function objectHistory(lines) {
-  const parsed = [];
-  for (const text of lines) {
-    const p = parse(text);
-    if (p.kind !== "fact")
-      return p;
-    parsed.push(p.value.fields);
-  }
-  const objects = [], configuration = [];
-  for (let i = 0; i < lines.length; i++) {
-    const k = recordKind(lines[i]);
-    if (k.kind !== "fact")
-      return k;
-    if (k.value === "config") {
-      configuration.push(parsed[i]);
-      continue;
-    }
-    const got = fromLine(lines[i], wireAt(parsed, Number(parsed[i].epoch)));
-    if (got.kind !== "fact")
-      return got;
-    if (!("record" in got.value))
-      throw Error("typed history returned configuration");
-    objects.push(got.value);
-  }
-  return fact({ objects, configuration });
-}
-
-// work/topos-0.1.17/repository/dist/wire/outcome.js
-var fact2 = (value) => ({ kind: "fact", value });
-var refuse3 = (why, named) => ({ kind: "refuse", why, ...named === void 0 ? {} : { named } });
-
-// work/topos-0.1.17/repository/dist/wire/values.js
-function unpipe2(value) {
-  const out = [];
-  let at = "";
-  for (let i = 0; i < value.length; i++) {
-    const c = value[i];
-    if (c === "\\") {
-      const next = value[i + 1];
-      if (next !== "|" && next !== "\\")
-        return null;
-      at += next;
-      i += 1;
-    } else if (c === "|") {
-      out.push(at);
-      at = "";
-    } else {
-      at += c;
-    }
-  }
-  out.push(at);
-  return out;
-}
-var OPEN2 = "*";
-var num2 = (s) => {
-  if (!/^-?\d+(\.\d+)?$/.test(s))
-    return null;
-  const n = Number(s);
-  return isFinite(n) ? n : null;
-};
-var GRAMMARS2 = {
-  interval: (value) => {
-    const at = value.indexOf("..");
-    if (at < 0)
-      return null;
-    const lo = value.slice(0, at);
-    const hi = value.slice(at + 2);
-    const l = lo === OPEN2 ? null : num2(lo);
-    const h = hi === OPEN2 ? null : num2(hi);
-    if (lo !== OPEN2 && l === null || hi !== OPEN2 && h === null)
-      return null;
-    return { kind: "interval", lo: l, hi: h };
-  },
-  alphabet: (value) => {
-    const values = unpipe2(value);
-    return values === null ? null : { kind: "enumerated", values };
-  },
-  ladder: (value) => {
-    const parts2 = unpipe2(value);
-    if (parts2 === null || parts2.length !== 2)
-      return null;
-    return { kind: "band", floor: parts2[0] ?? "", ceiling: parts2[1] ?? "" };
-  }
-};
-function boundOf2(form2, value, grammars) {
-  const extra = Array.isArray(grammars) ? grammars.find((g) => g.form === form2) : void 0;
-  if (extra)
-    return extra.parse(value);
-  return GRAMMARS2[form2]?.(value) ?? null;
-}
-var BOUND_FORMS2 = Object.keys(GRAMMARS2);
-
-// work/topos-0.1.17/repository/dist/wire/line.js
-var PROTOCOL2 = "bound-lock/1";
-var NEEDS_QUOTE2 = /[ ="\n\\]/;
-function escape2(value) {
-  if (!NEEDS_QUOTE2.test(value))
-    return value;
-  return `"${value.replace(/\\/g, "\\\\").replace(/"/g, '\\"').replace(/\n/g, "\\n")}"`;
-}
-var UTF82 = new TextEncoder();
-function byBytes2(a, b) {
-  const x = UTF82.encode(a);
-  const y = UTF82.encode(b);
-  for (let i = 0; i < x.length && i < y.length; i++) {
-    if (x[i] !== y[i])
-      return x[i] - y[i];
-  }
-  return x.length - y.length;
-}
-var unwritten2 = (fields) => fields["form"] === "interval" && fields["value"] !== void 0 && fields["value"] !== "withdraw" && boundOf2("interval", fields["value"]) === null;
-function canonical2(fields, version = "1") {
-  if (unwritten2(fields))
-    throw new Error(`REFUSE\xB7wire canonical: \`${fields["value"]}\` is no interval the wire writes: two ends, each decimal or *`);
-  const keys = Object.keys(fields).sort(byBytes2);
-  const tokens = keys.map((k) => `${k}=${escape2(fields[k])}`);
-  return [`${PROTOCOL2.split("/")[0]}/${version}`, ...tokens].join(" ");
-}
-function signedBytes(fields, version = "1") {
-  const { sig: _sig, ...rest } = fields;
-  return canonical2(rest, version);
-}
-
-// work/topos-0.1.17/repository/dist/wire/grammar.js
-var [FORBID2, EMPTY2, MEMBER2, PAIR2, STEP2, AT2, EVERY2, ESCAPE2] = ["not:", "none", "|", "=", "/", "@", "*", "\\"];
-var refuse4 = (grammar, why) => {
-  throw new Error(`REFUSE\xB7wire ${grammar}: ${why}`);
-};
-function alphabet2(given) {
-  if (typeof given !== "string") {
-    const written2 = given.members.map((one) => one.split(ESCAPE2).join(ESCAPE2 + ESCAPE2).split(MEMBER2).join(ESCAPE2 + MEMBER2)).join(MEMBER2);
-    if (given.polarity === "forbid")
-      return FORBID2 + written2;
-    return written2.startsWith(FORBID2) || written2 === EMPTY2 ? refuse4("alphabet", "a permitted alphabet neither begins with not: nor is the one word none") : written2 || EMPTY2;
-  }
-  const forbid = given.startsWith(FORBID2);
-  const body = forbid ? given.slice(FORBID2.length) : given;
-  const members = !forbid && body === EMPTY2 ? [] : unpipe2(body) ?? refuse4("alphabet", "a backslash escapes only a pipe or itself");
-  return { polarity: forbid ? "forbid" : "permit", members: members.filter((one) => one !== "") };
-}
-
-// work/topos-0.1.17/repository/dist/wire/object-record.js
-function coordinateText2(value) {
-  return value !== "" && !/[\s\\|]/.test(value) && value.split("/").every((s) => s !== "" && s !== "." && s !== ".." && s !== "*" && s !== "**");
-}
-function restCoordinates2(text) {
-  try {
-    const read = alphabet2(text);
-    if (read.polarity !== "permit" || read.members.some((one) => !coordinateText2(one)))
-      return void 0;
-    const sorted = [...new Set(read.members)].sort(byBytes2);
-    if (alphabet2({ polarity: "permit", members: sorted }) !== text)
-      return void 0;
-    return sorted;
-  } catch {
-    return void 0;
-  }
-}
-
-// work/bound-0.2.0/order-candidate/dist/wire/object-context.js
-function validateObjectContext(records, context2) {
-  const fail = (why) => refuse3(`object context: ${why}`);
-  const ids = /* @__PURE__ */ new Map();
-  for (const record of records) {
-    if (!context2.admit(record))
-      return fail(`signature or authority does not admit ${record.fields.id}`);
-    const prior = ids.get(record.fields.id);
-    if (prior && signedBytes(prior.fields) !== signedBytes(record.fields))
-      return fail(`record ID collision ${record.fields.id}`);
-    if (!prior)
-      ids.set(record.fields.id, record);
-  }
-  const unique = [...ids.values()];
-  const position = new Map(unique.map((record, index) => [record.fields.id, index]));
-  const cells = /* @__PURE__ */ new Map();
-  for (const record of unique.filter((r) => r.record === "cell")) {
-    if (cells.has(record.fields.scope))
-      return fail(`cell definition is not unique at ${record.fields.scope}`);
-    cells.set(record.fields.scope, record);
-  }
-  const selected = /* @__PURE__ */ new Map();
-  for (const [scope, record] of cells) {
-    try {
-      const got = context2.resolve(record);
-      if (got.digest !== record.fields.topos || got.form.id !== record.fields.form)
-        return fail(`selected digest/form does not match ${scope}`);
-      got.form.lattice(got.params);
-      selected.set(scope, got);
-    } catch (error) {
-      return fail(`codec/pin/decoder stop at ${scope}: ${String(error)}`);
-    }
-  }
-  const edges = /* @__PURE__ */ new Map();
-  for (const [scope, record] of cells) {
-    const rest = restCoordinates2(record.fields.restsOn);
-    if (rest === void 0)
-      return fail(`invalid declared rest at ${scope}`);
-    for (const parent of rest) {
-      const ancestor = cells.get(parent);
-      if (!ancestor)
-        return fail(`missing rest target ${parent}`);
-      if (Number(ancestor.fields.epoch) > Number(record.fields.epoch))
-        return fail(`rest target ${parent} did not exist at cell declaration`);
-      if (["topos", "form", "params", "measure"].some((k) => ancestor.fields[k] !== record.fields[k]))
-        return fail(`incompatible rest component ${scope}/${parent}`);
-    }
-    edges.set(scope, rest);
-  }
-  const colour = /* @__PURE__ */ new Map();
-  for (const scope of cells.keys()) {
-    if (colour.get(scope) === 2)
-      continue;
-    const stack = [{ name: scope, exit: false }];
-    while (stack.length) {
-      const next = stack.pop();
-      if (next.exit) {
-        colour.set(next.name, 2);
-        continue;
-      }
-      if (colour.get(next.name) === 1)
-        return fail(`declared rest cycle reachable from ${scope}`);
-      if (colour.get(next.name) === 2)
-        continue;
-      colour.set(next.name, 1);
-      stack.push({ name: next.name, exit: true });
-      for (const parent of [...edges.get(next.name)].reverse())
-        stack.push({ name: parent, exit: false });
-    }
-  }
-  for (const record of unique.filter((r) => r.record !== "cell")) {
-    const f = record.fields;
-    const own = cells.get(f.scope);
-    if (!own || Number(own.fields.epoch) > Number(f.epoch) || Number(own.fields.epoch) === Number(f.epoch) && position.get(own.fields.id) > position.get(f.id))
-      return fail(`cell not declared before ${f.id}`);
-    if (f.sign === "-1") {
-      const target = ids.get(f.takes);
-      if (!target || target.record !== record.record || target.fields.scope !== f.scope || target.fields.sign !== "+1" || target.fields.by !== f.by || Number(target.fields.epoch) >= Number(f.epoch))
-        return fail(`unauthorized or incompatible withdrawal target ${f.takes}`);
-    } else {
-      const codec = selected.get(f.scope);
-      try {
-        codec.form.parse(codec.params, f.value);
-      } catch (error) {
-        return fail(`span codec stop at ${f.id}: ${String(error)}`);
-      }
-      if (record.record === "claim" && !context2.origin(f.origin, f.by, f.scope))
-        return fail(`origin is not attested for ${f.id}`);
-      if (f.widens !== void 0 && !context2.witness(f.widens, f.by, f.scope))
-        return fail(`join witness is not admitted for ${f.id}`);
-    }
-  }
-  for (const scope of cells.keys()) {
-    const rest = /* @__PURE__ */ new Set();
-    const pending = [...edges.get(scope)];
-    while (pending.length) {
-      const name = pending.pop();
-      if (rest.has(name))
-        continue;
-      rest.add(name);
-      pending.push(...edges.get(name));
-    }
-    const marks = unique.filter((r) => r.record === "mark" && r.fields.sign === "+1" && r.fields.pole === "ceiling" && (r.fields.scope === scope || rest.has(r.fields.scope) && r.fields.reach === "travels"));
-    const epochs = /* @__PURE__ */ new Map();
-    for (const m of marks)
-      epochs.set(m.fields.epoch, [...epochs.get(m.fields.epoch) ?? [], m]);
-    for (const same of epochs.values())
-      if (same.length > 1 && same.some((m) => m.fields.widens !== void 0))
-        return fail(`ambiguous same-epoch ceiling acts at ${scope}`);
-  }
-  return fact2(unique);
-}
-
-// work/bound-0.1.9/repository/node_modules/@lapxo/obligations/dist/field/join.js
-function join(L, c, span2, witness, at) {
-  if (witness === "")
-    throw new UnitError("join-unwitnessed", "obligations: REFUSE\xB7join a widening lands only with a witness or the signatures of whoever rests on the old bound");
-  return { ...c, marks: [...c.marks ?? [], mark({ pole: "ceiling", reach: "local", span: L.meet(L.top, span2), widens: witness, ...at === void 0 ? {} : { at } })] };
-}
-
-// work/bound-0.1.9/repository/node_modules/@lapxo/obligations/dist/field/observe.js
-function observe(c, claim, s = claim.takes === void 0 ? 1 : -1) {
-  const takes = s === 1 ? void 0 : claim.takes ?? claim.id;
-  if (s === 1 && claim.takes !== void 0)
-    throw new UnitError("sign-mismatch", "obligations: REFUSE\xB7observe a claim that takes another back is observed at \u22121, never at +1");
-  if (s === -1 && takes === void 0)
-    throw new UnitError("withdrawal-unnamed", "obligations: REFUSE\xB7observe a withdrawal names the claim it takes back, never a value that looks like it");
-  const line = takes === void 0 ? claim : { origin: claim.origin, span: claim.span, sign: -1, takes, ...claim.at === void 0 ? {} : { at: claim.at } };
-  return { ...c, epoch: Math.max(c.epoch, claim.at ?? c.epoch), seen: [...c.seen, line] };
-}
-
-// work/bound-0.1.9/repository/node_modules/@lapxo/obligations/dist/field/require.js
-function require2(L, world, name, span2, line = {}) {
-  const held = world.get(name) ?? cell(name);
-  return new Map([...world, [name, { ...held, marks: [...held.marks ?? [], mark({ pole: "floor", reach: "travels", span: L.meet(L.top, span2), ...line })] }]]);
-}
-
-// work/bound-0.1.9/repository/node_modules/@lapxo/obligations/dist/field/sign.js
-function sign(L, world, name, span2, line = {}) {
-  const held = world.get(name) ?? cell(name);
-  return new Map([...world, [name, { ...held, marks: [...held.marks ?? [], mark({ pole: "ceiling", reach: "travels", span: L.meet(L.top, span2), ...line })] }]]);
-}
-
-// work/bound-0.2.0/engine-candidate/src/engine/object.ts
-function objectFold(records, context2) {
-  let world = /* @__PURE__ */ new Map();
-  const definitions = new Map(records.filter((r) => r.record === "cell").map((r) => [r.fields.scope, r]));
-  const codecs = new Map([...definitions].map(([name, c]) => [name, context2.resolve(c)]));
-  const ids = new Map(records.map((r) => [r.fields.id, r]));
-  for (const record of [...records].sort((a, b) => Number(a.fields.epoch) - Number(b.fields.epoch))) {
-    const f = record.fields, name = f.scope, at = Number(f.epoch);
-    if (record.record === "cell") {
-      world = new Map([...world, [name, cell(name, at, [], restCoordinates(f.restsOn))]]);
-      continue;
-    }
-    const codec = codecs.get(name), L = codec.form.lattice(codec.params), held = world.get(name);
-    if (record.record === "claim") {
-      const target = f.sign === "-1" ? ids.get(f.takes).fields : f;
-      const changed = observe(held, { id: f.id, at, origin: target.origin, span: codec.form.parse(codec.params, target.value), ...f.takes ? { takes: f.takes } : {} }, f.sign === "-1" ? -1 : 1);
-      const seen = [...changed.seen];
-      seen[seen.length - 1] = { ...seen.at(-1), id: f.id };
-      world = new Map([...world, [name, { ...changed, seen }]]);
-    } else if (f.sign === "-1") {
-      const target = ids.get(f.takes).fields;
-      world = new Map([...world, [name, { ...held, marks: [...held.marks ?? [], mark({ id: f.id, at, takes: f.takes, pole: target.pole, reach: "local", span: codec.form.parse(codec.params, target.value) })] }]]);
-    } else if (f.widens !== void 0) {
-      const changed = join(L, held, codec.form.parse(codec.params, f.value), f.widens, at);
-      const marks = [...changed.marks ?? []];
-      marks[marks.length - 1] = { ...marks.at(-1), id: f.id };
-      world = new Map([...world, [name, { ...changed, marks }]]);
-    } else {
-      const span2 = codec.form.parse(codec.params, f.value);
-      world = f.pole === "floor" ? require2(L, world, name, span2, { id: f.id, at }) : sign(L, world, name, span2, { id: f.id, at });
-    }
-  }
-  return [...world].map(([name, c]) => {
-    const codec = codecs.get(name), L = codec.form.lattice(codec.params);
-    return { cell: name, state: state2(L, c, world), parts: parts(L, c, world), rest: restOf(c, world), ownMarks: live(c.marks ?? []).map((m) => m.id), ownClaims: live(c.seen).map((s) => ({ id: s.id, origin: s.origin })), marks: live(c.marks ?? []), claims: live(c.seen) };
-  });
-}
-
-// work/bound-0.1.9/repository/node_modules/@lapxo/topos/dist/forms/form.js
-var paramsOf = (params) => params !== null && typeof params === "object" ? params : {};
-function refuseForm(id, why) {
-  throw new Error(`REFUSE\xB7form ${id}: ${why}`);
-}
-function numberAt(id, params, name) {
-  const held = paramsOf(params)[name];
-  if (typeof held !== "number" || !isFinite(held))
-    refuseForm(id, `takes ${name} as a number, and a value it is not given is not invented`);
-  return held;
-}
-function wordsAt(id, params, name) {
-  const held = paramsOf(params)[name];
-  if (!Array.isArray(held) || !held.length || held.some((one) => typeof one !== "string"))
-    refuseForm(id, `takes ${name} as a list of words`);
-  return held;
-}
-var written = (words) => alphabet({ polarity: "permit", members: [...new Set(words)].sort(byBytes) });
-function bandOf(id, whole, text) {
-  if (text === "empty")
-    return { lo: whole.hi, hi: whole.lo };
-  const read = (value) => ((got) => got.kind === "fact" && got.value.bound.kind === "interval" ? { lo: got.value.bound.lo ?? whole.lo, hi: got.value.bound.hi ?? whole.hi } : void 0)(fromLine(canonical({ form: "interval", value }), null));
-  return read(text) ?? read(`${text}..${text}`) ?? refuseForm(id, `\`${text}\` is not a band: lo..hi or one end, each a number or *`);
-}
-var bandText = (value) => ((end) => value.lo > value.hi ? "empty" : `${end(value.lo)}..${end(value.hi)}`)((n) => isFinite(n) ? decimal(n) : "*");
-
-// work/bound-0.1.9/repository/node_modules/@lapxo/topos/dist/forms/alphabet.js
-var tokensOf2 = (params) => ({ tokens: wordsAt("alphabet", params, "tokens") });
-var alphabetOfForm = {
-  id: "alphabet",
-  lattice: (params) => alphabetForm.lattice(tokensOf2(params)),
-  parse(params, text) {
-    const { tokens } = tokensOf2(params);
-    const read = alphabet(text);
-    const stray = read.members.find((one) => !tokens.includes(one));
-    if (stray !== void 0)
-      refuseForm("alphabet", `\`${stray}\` is not one of its tokens`);
-    return WideMask.fromTokens(tokens, new Set(read.polarity === "forbid" ? tokens.filter((one) => !read.members.includes(one)) : read.members));
-  },
-  emit: (params, value) => written(value.members(tokensOf2(params).tokens)),
-  show: (params, value) => alphabetForm.lattice(tokensOf2(params)).show(value),
-  points: (params, seed, n) => alphabetForm.points(tokensOf2(params), seed, n)
-};
-
-// work/bound-0.1.9/repository/node_modules/@lapxo/topos/dist/forms/interval.js
-var span = (params) => ({ lo: numberAt("interval", params, "lo"), hi: numberAt("interval", params, "hi") });
-var intervalForm = {
-  id: "interval",
-  lattice: (params) => continuousForm.lattice(span(params)),
-  parse: (params, text) => bandOf("interval", span(params), text),
-  emit: (_params, value) => bandText(value),
-  show: (params, value) => continuousForm.lattice(span(params)).show(value),
-  points: (params, seed, n) => continuousForm.points(span(params), seed, n)
-};
-
-// work/bound-0.2.0/engine-candidate/tools/samples/typed-provider.mjs
-function context({ digest, records, admit }) {
-  const granted = (family, id, by, scope) => records.filter((row) => row.scope === `${family}/${id}` && row.value === id && row.by === by && admit(row) && (row.condition ?? "").split("|").includes(scope)).length === 1;
-  return {
-    resolve(cell2) {
-      const form2 = [intervalForm, alphabetOfForm].find((one) => one.id === cell2.fields.form);
-      if (!form2) throw Error("REFUSE\xB7codec sample has no selected form");
-      return { digest, form: form2, params: JSON.parse(cell2.fields.params) };
-    },
-    origin: (id, by, scope) => granted("evidence/origin", id, by, scope),
-    witness: (id, by, scope) => granted("evidence/witness", id, by, scope)
-  };
-}
-
-// work/bound-0.2.0/api-public-places/reader-entry.ts
-function observe2(bytes) {
-  const sample = JSON.parse(new TextDecoder().decode(bytes));
-  const history = objectHistory(sample.history);
-  if (history.kind !== "fact") throw Error("REFUSE\xB7" + history.why);
-  const context2 = context({ digest: sample.pin, records: history.value.configuration, admit: () => true });
-  const checked = validateObjectContext(history.value.objects, { ...context2, admit: () => true });
-  if (checked.kind !== "fact") throw Error("REFUSE\xB7" + checked.why);
-  const actual = objectFold(checked.value, context2);
-  if (JSON.stringify(actual) !== JSON.stringify(sample.expected)) throw Error("REFUSE\xB7engine projection differs from captured native output");
-  return [{ scope: "conformance/engine-object/" + sample.name, role: "writes", measure: "count", bound: { kind: "interval", lo: 0, hi: 0 } }];
-}
-export {
-  observe2 as observe
-};
+function Se(e,t="/"){let r=e.split(new RegExp(`[${t.replace(/[.*+?^${}()|[\]\\-]/g,"\\$&")}]`)).filter(n=>n!=="");for(;r[r.length-1]==="*"||r[r.length-1]==="**";)r.pop();return r}var y=class e extends Error{code;detail;constructor(t,r,n={}){super(r),this.name="UnitError",this.code=t,this.detail=Object.freeze({...n}),Object.setPrototypeOf(this,e.prototype)}};function j(e,t=0,r=[],n=[]){return{at:Se(e),epoch:t,seen:r,restsOn:n}}function S(e){if(e.widens!==void 0&&e.reach==="travels")throw new y("widening-travels","obligations: REFUSE\xB7widening-travels a widening stands where it was witnessed and never travels to what rests there",{pole:e.pole});return e.takes===void 0?e:{...e,sign:-1}}function M(e){let t=new Set(e.flatMap(r=>r.takes===void 0?[]:[r.takes]));return e.filter(r=>r.takes===void 0&&(r.id===void 0||!t.has(r.id)))}function B(e,t=new Map){let r=e.at.join("/"),n=[],o=new Set,i=[...e.restsOn],f=new Map;for(let c=0;c<i.length;c+=1){let p=i[c];if(p===r)throw new y("rest-cycle",`obligations: REFUSE\xB7rest ${r} rests on itself: an order of rest with a cycle has no fold to reach`,{at:r});if(o.has(p))continue;o.add(p),n.push(p);let a=t.get(p)?.restsOn??[];f.set(p,a);for(let s of a)i.push(s)}let l=new Map;for(let c of n){if(l.has(c))continue;l.set(c,"visiting");let p=[{name:c,next:0}];for(;p.length;){let a=p[p.length-1],s=f.get(a.name);if(a.next===s.length){l.set(a.name,"done"),p.pop();continue}let m=s[a.next++],d=l.get(m);if(d==="visiting")throw new y("rest-cycle",`obligations: REFUSE\xB7rest ${r} reaches a cycle at ${m}: an order of rest with a cycle has no fold to reach`,{at:r});d===void 0&&(l.set(m,"visiting"),p.push({name:m,next:0}))}}return n}function J(e,t,r=new Map){let n=B(t,r),o=n.flatMap(a=>M(r.get(a)?.marks??[]).filter(s=>s.reach==="travels"&&s.widens===void 0)),i=[...M(t.marks??[]),...o].sort((a,s)=>(a.at??0)-(s.at??0)),f=e.top,l=e.top;for(let a of i)a.pole==="floor"?f=e.meet(f,a.span):l=a.widens===void 0?e.meet(l,a.span):e.join(l,a.span);let c=M(t.seen),p=c.reduce((a,s)=>e.meet(a,s.span),e.top);return{floor:e.meet(f,p),ceiling:e.meet(l,p),origins:c,rest:n,required:f,signed:l}}function ae(e,t,r=new Map){let{floor:n,ceiling:o,origins:i,required:f,signed:l}=J(e,t,r);return e.inhabited(e.meet(f,l))?new Set(i.map(c=>c.origin)).size<2?"REQUIRED":e.inhabited(i.reduce((c,p)=>e.meet(c,p.span),e.top))?e.inhabited(e.meet(n,o))?"FREE":"FORBIDDEN":"CONFLICT":"CONFLICT"}var Fe=32;function Re(e){return e<=0?0:Math.ceil(e/Fe)}var O=class e{words;width;constructor(t,r){this.width=t,this.words=r??new Uint32Array(Re(t))}static fromTokens(t,r){let n=new e(t.length);return t.forEach((o,i)=>{r.has(o)&&n.set(i)}),n}set(t){if(t<0||t>=this.width)throw new y("MALFORMED",`bit ${t} is outside a mask of width ${this.width}`,{bit:t,width:this.width});this.words[t>>5]|=1<<(t&31)}has(t){return t<0||t>=this.width?!1:(this.words[t>>5]&1<<(t&31))!==0}and(t){let r=Math.max(this.width,t.width),n=new e(r),o=Math.min(this.words.length,t.words.length);for(let i=0;i<o;i++)n.words[i]=this.words[i]&t.words[i];return n}or(t){let r=Math.max(this.width,t.width),n=new e(r);for(let o=0;o<n.words.length;o++)n.words[o]=(this.words[o]??0)|(t.words[o]??0);return n}difference(t){let r=Math.max(this.width,t.width),n=new e(r);for(let i=0;i<n.words.length;i++)n.words[i]=(this.words[i]??0)&~(t.words[i]??0);let o=r%32;return o!==0&&n.words.length>0&&(n.words[n.words.length-1]&=(1<<o)-1),n}subsetOf(t){let r=Math.max(this.words.length,t.words.length);for(let n=0;n<r;n++){let o=this.words[n]??0,i=t.words[n]??0;if((o&~i)!==0)return!1}return!0}size(){let t=0;for(let r=0;r<this.width;r++)this.has(r)&&t++;return t}members(t){return t.filter((r,n)=>this.has(n))}static filled(t){let r=new e(t);if(t<=0)return r;r.words.fill(4294967295);let n=t%32;return n!==0&&(r.words[r.words.length-1]=(1<<n)-1),r}};function ft(e,t){return{subject:e,floor:t.floor,ceiling:t.ceiling}}var le=(e,t)=>ft(t,{floor:e.bottom,ceiling:e.top});function Ie(e,t){return e.stateOf(e.rank(t.floor),e.rank(t.ceiling))}function ut(e,t,r,n,o){let i=r.floor,f=r.ceiling;for(let l of t)i=n(i,e.rank(l.floor)),f=o(f,e.rank(l.ceiling));return{subject:t[0].subject,floor:e.levels[i],ceiling:e.levels[f]}}function Ae(e,t){return t.length===0?le(e,""):ut(e,t,{floor:e.bottomIx,ceiling:e.topIx},(r,n)=>e.higher(r,n),(r,n)=>e.lower(r,n))}function je(e,t,r){let[n,o]=[e.rank(t.floor),e.rank(t.ceiling)],[i,f]=[e.rank(r.floor),e.rank(r.ceiling)];return e.leq(i,n)&&e.leq(o,f)}function ce(e){let t=r=>Ie(e,r)!=="CONFLICT";return{top:le(e,""),bottom:{subject:"",floor:e.levels[e.topIx]??"",ceiling:e.levels[e.bottomIx]??""},leq:(r,n)=>je(e,r,n),meet:(r,n)=>Ae(e,[r,n]),join:(r,n)=>t(r)?t(n)?{subject:r.subject||n.subject,floor:e.levels[e.lower(e.rank(r.floor),e.rank(n.floor))]??r.floor,ceiling:e.levels[e.higher(e.rank(r.ceiling),e.rank(n.ceiling))]??r.ceiling}:r:n,show:r=>`[${r.floor}, ${r.ceiling}]`,inhabited:t}}function Ne(e){return{bottom:new O(e.length),top:O.filled(e.length),leq:(t,r)=>t.subsetOf(r),meet:(t,r)=>t.and(r),join:(t,r)=>t.or(r),show:t=>t.members(e).join(","),inhabited:t=>t.size()>0}}function Ce(e,t,r){let n=e.length;for(let u=0;u<n;u++)if(e.indexOf(e[u])!==u)throw new y("DUPLICATE_LEVEL",`the level \`${e[u]}\` is declared twice`,{level:e[u]});let o=new Map(e.map((u,h)=>[u,h])),i=(u,h)=>t[u][h]===h,f=e.every((u,h)=>e.every((b,A)=>t[h][A]===h||t[h][A]===A)),l=!0;for(let u=0;u<n&&l;u++)for(let h=0;h<n&&l;h++)for(let b=0;b<n;b++)if(r[u][t[h][b]]!==t[r[u][h]][r[u][b]]){l=!1;break}let c=[...e.keys()],p=c.find(u=>c.every(h=>i(u,h)))??0,a=c.find(u=>c.every(h=>i(h,u)))??n-1,s=c.filter(u=>u!==p&&c.filter(h=>h!==u&&i(h,u)).reduce((h,b)=>t[h][b],p)!==u),m=c.filter(u=>u!==a&&c.filter(h=>h!==u&&i(u,h)).reduce((h,b)=>r[h][b],a)!==u),d=new Set,g=[];for(let u of[...s,...m])d.has(u)||(d.add(u),g.push(u));return{levels:e,isLadder:f,isSimple:l,bottomIx:p,topIx:a,bottom:e[p],top:e[a],leq:i,higher:(u,h)=>t[u][h],lower:(u,h)=>r[u][h],rank(u){let h=o.get(u);if(h===void 0)throw new y("UNKNOWN_LEVEL",`no level \`${u}\` in this scale`,{level:u,levels:e});return h},stateOf(u,h){return i(u,h)?u!==p?"REQUIRED":h!==a?"FORBIDDEN":"FREE":"CONFLICT"},joins:()=>s.slice(),limits:()=>m.slice(),debits:()=>g.slice(),intervalHeight(u,h){if(!i(u,h))return null;let b=c.filter(x=>i(u,x)&&i(x,h)),A=x=>b.filter($=>$!==x&&i(x,$)&&!b.some(E=>E!==x&&E!==$&&i(x,E)&&i(E,$))),H=new Map([[u,0]]),Q=new Map([[u,0]]),ct=[...b].sort((x,$)=>b.filter(E=>i(E,x)).length-b.filter(E=>i(E,$)).length);for(let x of ct){let $=H.get(x),E=Q.get(x);if(!($===void 0||E===void 0))for(let V of A(x))H.set(V,Math.max(H.get(V)??$+1,$+1)),Q.set(V,Math.min(Q.get(V)??E+1,E+1))}let se=H.get(h);return se!==void 0&&se===Q.get(h)?se:null}}}function fe(e){if(!Array.isArray(e)||e.length===0)throw new y("EMPTY_CHAIN","a chain needs at least one level");let t=e.length,r=n=>[...Array(t)].map((o,i)=>[...Array(t)].map((f,l)=>n(i,l)));return Ce(e,r(Math.max),r(Math.min))}function Te(e,t){if(!Array.isArray(e)||e.length===0)throw new y("EMPTY_CHAIN","an order needs at least one level");let r=e.length,n=(i,f,l)=>{let c=[...Array(r).keys()].filter(a=>l?t[i][a]&&t[f][a]:t[a][i]&&t[a][f]),p=c.filter(a=>c.every(s=>l?t[a][s]:t[s][a]));if(p.length!==1)throw new y("MALFORMED",`\`${e[i]}\` and \`${e[f]}\` have ${p.length} ${l?"lowest common":"highest common"} bounds, so this is not a usable scale`,{levels:[e[i],e[f]]});return p[0]},o=i=>[...Array(r)].map((f,l)=>[...Array(r)].map((c,p)=>n(l,p,i)));return Ce(e,o(!0),o(!1))}function W(e,t){let r=Math.min(e,t),n=Math.max(e,t);return{bottom:{lo:n,hi:r},top:{lo:r,hi:n},leq(o,i){return o.lo>o.hi?!0:i.lo>i.hi?!1:i.lo<=o.lo&&o.hi<=i.hi},meet(o,i){return{lo:Math.max(o.lo,i.lo),hi:Math.min(o.hi,i.hi)}},join(o,i){return o.lo>o.hi?i:i.lo>i.hi?o:{lo:Math.min(o.lo,i.lo),hi:Math.max(o.hi,i.hi)}},show(o){return o.lo>o.hi?"empty":`${o.lo}..${o.hi}`},inhabited(o){return o.lo<=o.hi}}}function Y(e){let t={lattice:e.lattice,parse:e.parse,emit:e.emit,count:e.count,show:e.show,points:e.points},r=Object.entries(t).find(([,n])=>typeof n!="function");if(r)throw new Error(`form \`${e.id}\` declared no ${r[0]}`);return e}var k=e=>e!==null&&typeof e=="object"?e:{};function F(e){return Array.isArray(e)?e.map(String):[]}var ue=e=>{let t=e>>>0;return()=>{t=t+1831565813>>>0;let r=Math.imul(t^t>>>15,t|1);return r^=r+Math.imul(r^r>>>7,r|61),((r^r>>>14)>>>0)/4294967296}},qe=(e,t)=>t[Math.floor(e()*t.length)];function dt(e,t){if(e.length===0)return{kind:"refused",why:"a ladder with no levels cannot be counted"};let r=fe(e),n=r.rank(t.floor),o=r.rank(t.ceiling);return r.leq(n,o)?{kind:"finite",n:e.filter((f,l)=>r.leq(n,l)&&r.leq(l,o)).length}:{kind:"finite",n:0}}var De={parse(e,t){let r=this.lattice(e),n=k(t);return{subject:String(n.subject??""),floor:String(n.floor??r.top.floor),ceiling:String(n.ceiling??r.top.ceiling)}},emit(e,t){return{subject:t.subject,floor:t.floor,ceiling:t.ceiling}},count(e,t){return dt(F(k(t).levels),e)},points(e,t,r){let n=this.lattice(e),o=F(k(e).levels),i=ue(t),f=(l,c)=>({subject:"",floor:l,ceiling:c});return Array.from({length:r},()=>{let[l,c]=[qe(i,o),qe(i,o)];return[f(l,c),f(c,l)].find(p=>n.inhabited(p))??f(l,l)})}},Ue=Y({id:"ladder",lattice(e){let t=F(k(e).levels);if(t.length===0)throw new Error("ladder needs levels");return ce(fe(t))},...De,show(e){return e.floor===e.ceiling?e.floor:`${e.floor}..${e.ceiling}`}}),C=Y({id:"alphabet",lattice(e){return Ne(F(k(e).tokens))},parse(e,t){let r=F(k(e).tokens),n=k(t),o=n.want!==void 0?F(n.want):r;return O.fromTokens(r,new Set(o))},emit(e,t){return{want:t.members(F(k(e).tokens))}},count(e){return{kind:"finite",n:e.size()}},show(e){return`${e.size()}`},points(e,t,r){let n=F(k(e).tokens),o=ue(t);return Array.from({length:r},()=>O.fromTokens(n,new Set(n.filter(()=>o()<.5))))}}),T=Y({id:"continuous",lattice(e){let t=k(e);return W(Number(t.lo??0),Number(t.hi??1))},parse(e,t){let r=this.lattice(e),n=k(t);return{lo:n.lo===void 0?r.top.lo:Number(n.lo),hi:n.hi===void 0?r.top.hi:Number(n.hi)}},emit(e,t){return{lo:t.lo,hi:t.hi}},count(){return{kind:"refused",why:"a continuous band has no count; prefer not to exist over inventing one"}},show(e){return e.lo>e.hi?"empty":`${e.lo}..${e.hi}`},points(e,t,r){let n=k(e),o=Number(n.lo??0),i=Number(n.hi??1),f=ue(t),l=()=>o+Math.round(f()*(i-o));return Array.from({length:r},()=>({lo:l(),hi:l()}))}}),Be=Y({id:"lattice",lattice(e){let t=k(e),r=F(t.levels),n=t.leq;if(r.length&&n)return ce(Te(r,n));throw new Error("lattice needs levels+leq")},...De,show(e){return`${e.floor}..${e.ceiling}`}}),We=[Ue,C,T,Be],pt=[...We];function de(e,t,r,n,o){if(n==="")throw new y("join-unwitnessed","obligations: REFUSE\xB7join a widening lands only with a witness or the signatures of whoever rests on the old bound");return{...t,marks:[...t.marks??[],S({pole:"ceiling",reach:"local",span:e.meet(e.top,r),widens:n,...o===void 0?{}:{at:o}})]}}function pe(e,t,r=t.takes===void 0?1:-1){let n=r===1?void 0:t.takes??t.id;if(r===1&&t.takes!==void 0)throw new y("sign-mismatch","obligations: REFUSE\xB7observe a claim that takes another back is observed at \u22121, never at +1");if(r===-1&&n===void 0)throw new y("withdrawal-unnamed","obligations: REFUSE\xB7observe a withdrawal names the claim it takes back, never a value that looks like it");let o=n===void 0?t:{origin:t.origin,span:t.span,sign:-1,takes:n,...t.at===void 0?{}:{at:t.at}};return{...e,epoch:Math.max(e.epoch,t.at??e.epoch),seen:[...e.seen,o]}}function me(e,t,r,n,o={}){let i=t.get(r)??j(r);return new Map([...t,[r,{...i,marks:[...i.marks??[],S({pole:"floor",reach:"travels",span:e.meet(e.top,n),...o})]}]])}function he(e,t,r,n,o={}){let i=t.get(r)??j(r);return new Map([...t,[r,{...i,marks:[...i.marks??[],S({pole:"ceiling",reach:"travels",span:e.meet(e.top,n),...o})]}]])}var v=e=>({kind:"fact",value:e}),I=e=>({kind:"abstain",why:e}),w=(e,t)=>({kind:"refuse",why:e,...t===void 0?{}:{named:t}});function q(e){let t=[],r="";for(let n=0;n<e.length;n++){let o=e[n];if(o==="\\"){let i=e[n+1];if(i!=="|"&&i!=="\\")return null;r+=i,n+=1}else o==="|"?(t.push(r),r=""):r+=o}return t.push(r),t}var G="*",Le=e=>{if(!/^-?\d+(\.\d+)?$/.test(e))return null;let t=Number(e);return isFinite(t)?t:null};function _e(e){if(!isFinite(e))throw new Error(`REFUSE\xB7wire decimal: \`${e}\` is not a finite number`);let t=/^(-?)(\d)(?:\.(\d+))?e([+-])(\d+)$/.exec(String(e));if(t===null)return String(e);let[,r="",n="",o="",i="",f="0"]=t;return i==="+"?`${r}${n}${o}${"0".repeat(Number(f)-o.length)}`:`${r}0.${"0".repeat(Number(f)-1)}${n}${o}`}var Pe={interval:e=>{let t=e.indexOf("..");if(t<0)return null;let r=e.slice(0,t),n=e.slice(t+2),o=r===G?null:Le(r),i=n===G?null:Le(n);return r!==G&&o===null||n!==G&&i===null?null:{kind:"interval",lo:o,hi:i}},alphabet:e=>{let t=q(e);return t===null?null:{kind:"enumerated",values:t}},ladder:e=>{let t=q(e);return t===null||t.length!==2?null:{kind:"band",floor:t[0]??"",ceiling:t[1]??""}}};function X(e,t,r){let n=Array.isArray(r)?r.find(o=>o.form===e):void 0;return n?n.parse(t):Pe[e]?.(t)??null}var ze=Object.keys(Pe),Ke=["within","copies","derives"];var ge="bound-lock/1",Qe=/[ ="\n\\]/;function mt(e){return Qe.test(e)?`"${e.replace(/\\/g,"\\\\").replace(/"/g,'\\"').replace(/\n/g,"\\n")}"`:e}function ht(e){if(!e.startsWith('"'))return Qe.test(e)?null:e;if(e.length<2||!e.endsWith('"'))return null;let t=e.slice(1,-1),r="";for(let n=0;n<t.length;n++){let o=t[n];if(o!=="\\"){if(o==='"')return null;r+=o;continue}let i=t[n+1];if(i==='"')r+='"';else if(i==="\\")r+="\\";else if(i==="n")r+=`
+`;else return null;n+=1}return r}var He=new TextEncoder;function L(e,t){let r=He.encode(e),n=He.encode(t);for(let o=0;o<r.length&&o<n.length;o++)if(r[o]!==n[o])return r[o]-n[o];return r.length-n.length}var Ve=e=>e.form==="interval"&&e.value!==void 0&&e.value!=="withdraw"&&X("interval",e.value)===null;function we(e,t="1"){if(Ve(e))throw new Error(`REFUSE\xB7wire canonical: \`${e.value}\` is no interval the wire writes: two ends, each decimal or *`);let n=Object.keys(e).sort(L).map(o=>`${o}=${mt(e[o])}`);return[`${ge.split("/")[0]}/${t}`,...n].join(" ")}function ye(e,t="1"){let{sig:r,...n}=e;return we(n,t)}var gt="-";function D(e,t={}){if(e.includes(`
+`))return w("a line is one line \u2014 a newline in a value must be escaped as `\\n`");let r=e.indexOf(" "),n=r===-1?e:e.slice(0,r),[o,i]=n.split("/");if(o!==ge.split("/")[0]||!i)return w(`no \`bound-lock/<v>\` envelope \u2014 found \`${n.slice(0,24)}\``);if(i!==ge.split("/")[1])return I(`\`bound-lock/${i}\` is a version this reader does not know`);let f={},l=new Set;for(let c of wt(r===-1?"":e.slice(r+1))){if(c===null)return w("a quoted value is not closed");let p=c.indexOf("=");if(p<=0)return w(`\`${c.slice(0,24)}\` is not \`key=value\``);let a=c.slice(0,p);if(l.has(a))return w(`\`${a}\` appears twice \u2014 one line, one value per key`);l.add(a);let s=ht(c.slice(p+1));if(s===null)return w(`\`${a}\` has an escaping this format does not define`);s!==gt&&(f[a]=s)}return Ve(f)?w(`\`${f.value}\` is no interval the wire reads: two ends, each decimal or *`):v({version:i,fields:f,...t.preserveKeys?{keys:[...l]}:{}})}function*wt(e){let t=0;for(;t<e.length;){for(;e[t]===" ";)t+=1;if(t>=e.length)return;let r=t,n=!1;for(;r<e.length&&(n||e[r]!==" ");)e[r]==="\\"&&n?r+=1:e[r]==='"'&&(n=!n),r+=1;if(n){yield null;return}yield e.slice(t,r),t=r}}var[Z,be,xe,cr,fr,ur,dr,ee]=["not:","none","|","=","/","@","*","\\"],Je=(e,t)=>{throw new Error(`REFUSE\xB7wire ${e}: ${t}`)};function N(e){if(typeof e!="string"){let o=e.members.map(i=>i.split(ee).join(ee+ee).split(xe).join(ee+xe)).join(xe);return e.polarity==="forbid"?Z+o:o.startsWith(Z)||o===be?Je("alphabet","a permitted alphabet neither begins with not: nor is the one word none"):o||be}let t=e.startsWith(Z),r=t?e.slice(Z.length):e,n=!t&&r===be?[]:q(r)??Je("alphabet","a backslash escapes only a pipe or itself");return{polarity:t?"forbid":"permit",members:n.filter(o=>o!=="")}}function Ye(e){return e!==""&&!/[\s\\|]/.test(e)&&e.split("/").every(t=>t!==""&&t!=="."&&t!==".."&&t!=="*"&&t!=="**")}function U(e){try{let t=N(e);if(t.polarity!=="permit"||t.members.some(n=>!Ye(n)))return;let r=[...new Set(t.members)].sort(L);return N({polarity:"permit",members:r})!==e?void 0:r}catch{return}}var yt=["type","scope","id","epoch","by","sig"];function Ge(e,t,r,n,o){let i=(a,s)=>w(a,s);if(t.includes("at"))return i("object records carry no at: order is epoch and a local join witness is widens","at");let f=e.type;if(!r.types.has(f??"")||!["cell","claim","mark"].includes(f??""))return i("an object record names a declared type: cell, claim or mark","type");if(!/^(0|[1-9][0-9]*)$/.test(e.epoch??"")||!Number.isSafeInteger(Number(e.epoch)))return i("an object record carries an exactly supported logical epoch","epoch");if(Number(e.epoch)<r.activation)return i(`an object epoch precedes typed-wire activation ${r.activation}`,"epoch");let l;if(f==="cell")l="cell";else if(e.sign==="-1")l=`${f}/negative`;else{if(e.sign!=="+1")return i("a claim or mark names sign=+1 or sign=-1","sign");if(f==="claim")l="claim/positive";else if(e.pole==="floor"&&e.reach==="travels"&&e.widens===void 0)l="mark/floor-travelling";else if(e.pole==="ceiling"&&e.reach==="travels"&&e.widens===void 0)l="mark/travelling";else if(e.pole==="ceiling"&&e.reach==="local")l="mark/local";else return i("a positive mark is ceiling/travels, ceiling/local with widens, or floor/travels without widens","pole")}let c=r.required.get(l),p=r.allowed.get(l);if(!c||!p||r.common.size===0||r.configuration.size===0||[...r.common].some(a=>!c.has(a)||!p.has(a))||[...c].some(a=>!p.has(a)))return i(`typed wire has no complete required/allowed contract for ${l}`,"type");for(let a of yt)if(e[a]===void 0||e[a]==="")return i(`an object record has no ${a}`,a);for(let a of t)if(!n.has(a)||!p.has(a))return i(`\`${a}=\` is not allowed on ${l}`,a);for(let a of c)if(!p.has(a)||e[a]===void 0||e[a]==="")return i(`a ${l} record has no declared required \`${a}\``,a);if(!Ye(e.scope))return i("scope is a canonical cell coordinate","scope");if(f==="cell"){if(!o.has(e.form))return i("the cell names no admitted form","form");if(U(e.restsOn)===void 0)return i("cell restsOn is none or a canonical alphabet of coordinates","restsOn")}return v({record:f,fields:{...e}})}function Xe(e){let t=e.lastIndexOf(":");return t<=0||t===e.length-1?null:{algorithm:e.slice(0,t),raw:e.slice(t+1)}}var bt=new Set(["sig","expires","repo","by","epoch"]),_="withdraw",P="wire/",ke="audit/wire/";function te(e){if(e.startsWith(ke))return e.slice(ke.length);if(e.startsWith(P))return e.slice(P.length)}function R(e){let t=e.epoch??"";return/^\d+$/.test(t)?Number(t):0}function Ze(e,t){return Object.keys(e).filter(r=>r!=="value"&&!bt.has(r)).every(r=>t[r]===e[r])}function tt(e,t){let r=e.filter(s=>te(s.scope??"")!==void 0&&R(s)<=t),n=r.filter(s=>s.value===_),o=new Map;for(let s of r){if(s.value===_||n.some(u=>Ze(u,s)))continue;let m=(te(s.scope??"")??"")+"\0"+(s.by??""),d=o.get(m)??[],g=d.length?R(d[0]):-1;R(s)>g?o.set(m,[s]):R(s)===g&&o.set(m,[...d,s])}let i=[...o.values()].flatMap(s=>s.some(m=>(m.scope??"").startsWith(P))?s.filter(m=>(m.scope??"").startsWith(P)):s),f=new Map;for(let s of i){let m=te(s.scope??"")??"",d=f.get(m);if(d!==void 0&&d!==s.value)throw Error(`REFUSE\xB7wire wire/${m} has conflicting live declarations`);f.set(m,s.value??"")}let l=new Map;for(let s of r){let m=te(s.scope??"")??"";if(s.value===_||n.some(u=>Ze(u,s)))continue;let d=l.get(m);(d===void 0||R(s)>R(d)||R(s)===R(d)&&(s.scope??"").startsWith(P)&&(d.scope??"").startsWith(ke))&&l.set(m,s)}if(!l.size)return null;let c=s=>new Set((l.get(s)?.value??"").split("|").filter(Boolean)),p=new Map([...l].filter(([s])=>s.startsWith("form/")).map(([s,m])=>[s.slice(5),m.value??""])),a=new Map([...l.keys()].filter(s=>!s.includes("/")).map(s=>[s,c(s)]));return{epoch:t,...l.has("object/types")?{object:{activation:R(l.get("object/types")),types:c("object/types"),common:c("object/common"),reserved:c("object/reserved"),configuration:c("object/allowed/config"),required:new Map([...l.keys()].filter(s=>s.startsWith("object/required/")).map(s=>[s.slice(16),c(s)])),allowed:new Map([...l.keys()].filter(s=>s.startsWith("object/allowed/")).map(s=>[s.slice(15),c(s)]))}}:{},fields:c("fields"),required:c("required"),roles:c("roles"),forms:c("forms"),classes:c("at-classes"),digests:new Set([...c("digest-algorithms")].map(s=>s.split(":")[0])),signatures:c("signature-algorithms"),formOf:p,lists:a}}function ne(e,t){let r=e.indexOf(":");return r>0&&t.digests.has(e.slice(0,r))&&/^[0-9a-f]+$/i.test(e.slice(r+1))}function xt(e){if(e.startsWith("/")||/[\s\\]/.test(e))return!1;let t=e.split("/").filter(r=>r!=="");return t.length>0&&t.every((r,n)=>r!=="."&&r!==".."&&(!r.includes("*")||n===t.length-1))}var et={region:e=>e.split("|").filter(Boolean).every(xt),class:(e,t)=>{let r=e.indexOf(":");if(r<=0||!t.classes.has(e.slice(0,r)))return!1;let n=e.slice(r+1);return!/^[a-z0-9-]+:[0-9a-f]{16,}$/i.test(n)||ne(n,t)},signature:(e,t)=>{let r=Xe(e);if(r===null||!t.signatures.has(r.algorithm))return!1;let n=r.algorithm.slice(r.algorithm.lastIndexOf(":")+1);return ne(r.algorithm,t)||r.algorithm.includes(":")&&(t.lists.get("era")?.has(n)??!1)},count:e=>/^\d+$/.test(e)};function re(e,t){return w(t,e)}function oe(e,t,r){let n=D(e,{preserveKeys:!0});if(n.kind!=="fact")return n.kind==="abstain"?I(n.why):w(n.why,n.named);let o=n.value.fields,i=n.value.keys;if(i.includes("type")){if(!t?.object)return w("typed object grammar is not admitted at this epoch","type");if(!t.object.configuration.size||!t.object.reserved.size||[...t.object.reserved].some(g=>t.object.configuration.has(g)))return w("typed wire has no closed configuration/object field contract","type");let d=Ge(o,i,t.object,t.fields,t.forms);return d.kind!=="fact"?d:et.signature(o.sig,t)?d.value.record==="cell"&&!ne(o.topos,t)?w("cell topos is not an admitted digest","topos"):d.value.record==="cell"&&(o.restsOn??"").split("|").some(g=>ne(g,t))?w("cell restsOn names coordinates, not byte digests","restsOn"):d:w("object signature grammar is not admitted","sig")}if(t){if(t.object){if(!t.object.configuration.size||!t.object.reserved.size||[...t.object.reserved].some(g=>t.object.configuration.has(g)))return w("typed wire has no closed configuration/object field contract","type");let d=i.find(g=>t.object.reserved.has(g)||!t.object.configuration.has(g));if(d)return w(`\`${d}=\` is an object-only field: untyped configuration cannot carry it`,d)}for(let d of Object.keys(o))if(!t.fields.has(d))return re(d,`\`${d}=\` is not a field of the wire at epoch ${t.epoch}`);for(let d of t.required)if(o[d]===void 0)return re(d,`a claim with no \`${d}\``);for(let[d,g]of t.formOf){let u=o[d];if(u===void 0)continue;let h=t.lists.get(g),b=et[g]??(h?A=>h.has(A):void 0);if(!b)return I(`\`${d}\` takes the form ${g}, which this reader does not know`);if(!b(u,t))return re(d,`\`${d}=${u}\` is not a ${g} of the wire at epoch ${t.epoch}`)}if(o.role!==void 0&&!t.roles.has(o.role))return I(`\`role=${o.role}\` is a role this wire does not name`);if(!t.forms.has(o.form??""))return I(`\`form=${o.form}\` is a form this wire does not name`)}let f=Array.isArray(r)?r:void 0,l=o.value===_?{kind:"enumerated",values:[_]}:X(o.form??"",o.value??"",f);if(l===null)return ze.includes(o.form??"")||(f?.some(g=>g.form===o.form)??!1)?re("value",`\`${o.value}\` is not a ${o.form}`):I(`\`form=${o.form}\` is a form this reader does not know`);let c=o.role==="writes"?"writes":o.role==="demands"?"demands":"reads",p={};for(let[d,g]of Object.entries(o))["scope","measure","form","value","by","at","role","unit","multiplicity","epoch","ref","to","ref_by"].includes(d)||(p[d]=g);let a=o.ref,s=o.to===void 0?null:q(o.to),m=a&&s&&Ke.includes(a)?{rel:a,to:s,by:o.ref_by==="declared"?"declared":"inferred"}:null;return v({scope:o.scope??"",measure:o.measure??"",bound:l,role:c,by:o.by??"",at:o.at??"",...o.unit!==void 0?{unit:o.unit}:{},...o.multiplicity==="one"||o.multiplicity==="many"||o.multiplicity==="unknown"?{multiplicity:o.multiplicity}:{},...o.epoch!==void 0?{epoch:o.epoch}:{},...m?{reference:m}:{},extra:p})}var Ir=W(-1/0,1/0),Ar=W(1,1/0);function ve(e,t){let r=a=>w(`object context: ${a}`),n=new Map;for(let a of e){if(!t.admit(a))return r(`signature or authority does not admit ${a.fields.id}`);let s=n.get(a.fields.id);if(s&&ye(s.fields)!==ye(a.fields))return r(`record ID collision ${a.fields.id}`);s||n.set(a.fields.id,a)}let o=[...n.values()],i=new Map(o.map((a,s)=>[a.fields.id,s])),f=new Map;for(let a of o.filter(s=>s.record==="cell")){if(f.has(a.fields.scope))return r(`cell definition is not unique at ${a.fields.scope}`);f.set(a.fields.scope,a)}let l=new Map;for(let[a,s]of f)try{let m=t.resolve(s);if(m.digest!==s.fields.topos||m.form.id!==s.fields.form)return r(`selected digest/form does not match ${a}`);m.form.lattice(m.params),l.set(a,m)}catch(m){return r(`codec/pin/decoder stop at ${a}: ${String(m)}`)}let c=new Map;for(let[a,s]of f){let m=U(s.fields.restsOn);if(m===void 0)return r(`invalid declared rest at ${a}`);for(let d of m){let g=f.get(d);if(!g)return r(`missing rest target ${d}`);if(Number(g.fields.epoch)>Number(s.fields.epoch))return r(`rest target ${d} did not exist at cell declaration`);if(["topos","form","params","measure"].some(u=>g.fields[u]!==s.fields[u]))return r(`incompatible rest component ${a}/${d}`)}c.set(a,m)}let p=new Map;for(let a of f.keys()){if(p.get(a)===2)continue;let s=[{name:a,exit:!1}];for(;s.length;){let m=s.pop();if(m.exit){p.set(m.name,2);continue}if(p.get(m.name)===1)return r(`declared rest cycle reachable from ${a}`);if(p.get(m.name)!==2){p.set(m.name,1),s.push({name:m.name,exit:!0});for(let d of[...c.get(m.name)].reverse())s.push({name:d,exit:!1})}}}for(let a of o.filter(s=>s.record!=="cell")){let s=a.fields,m=f.get(s.scope);if(!m||Number(m.fields.epoch)>Number(s.epoch)||Number(m.fields.epoch)===Number(s.epoch)&&i.get(m.fields.id)>i.get(s.id))return r(`cell not declared before ${s.id}`);if(s.sign==="-1"){let d=n.get(s.takes);if(!d||d.record!==a.record||d.fields.scope!==s.scope||d.fields.sign!=="+1"||d.fields.by!==s.by||Number(d.fields.epoch)>=Number(s.epoch))return r(`unauthorized or incompatible withdrawal target ${s.takes}`)}else{let d=l.get(s.scope);try{d.form.parse(d.params,s.value)}catch(g){return r(`span codec stop at ${s.id}: ${String(g)}`)}if(a.record==="claim"&&!t.origin(s.origin,s.by,s.scope))return r(`origin is not attested for ${s.id}`);if(s.widens!==void 0&&!t.witness(s.widens,s.by,s.scope))return r(`join witness is not admitted for ${s.id}`)}}for(let a of f.keys()){let s=new Set,m=[...c.get(a)];for(;m.length;){let u=m.pop();s.has(u)||(s.add(u),m.push(...c.get(u)))}let d=o.filter(u=>u.record==="mark"&&u.fields.sign==="+1"&&u.fields.pole==="ceiling"&&(u.fields.scope===a||s.has(u.fields.scope)&&u.fields.reach==="travels")),g=new Map;for(let u of d)g.set(u.fields.epoch,[...g.get(u.fields.epoch)??[],u]);for(let u of g.values())if(u.length>1&&u.some(h=>h.fields.widens!==void 0))return r(`ambiguous same-epoch ceiling acts at ${a}`)}return v(o)}function rt(e){let t=D(e,{preserveKeys:!0});if(t.kind!=="fact")return t;if(!t.value.keys.includes("type"))return v("config");let r=t.value.fields.type;return r==="cell"||r==="claim"||r==="mark"?v(r):w("an explicit type names cell, claim or mark","type")}function Ee(e){let t=[];for(let o of e){let i=D(o);if(i.kind!=="fact")return i;t.push(i.value.fields)}let r=[],n=[];for(let o=0;o<e.length;o++){let i=rt(e[o]);if(i.kind!=="fact")return i;if(i.value==="config"){n.push(t[o]);continue}let f=oe(e[o],tt(t,Number(t[o].epoch)));if(f.kind!=="fact")return f;if(!("record"in f.value))throw Error("typed history returned configuration");r.push(f.value)}return v({objects:r,configuration:n})}function nt(e,t){let r=new Map,n=new Map(e.filter(f=>f.record==="cell").map(f=>[f.fields.scope,f])),o=new Map([...n].map(([f,l])=>[f,t.resolve(l)])),i=new Map(e.map(f=>[f.fields.id,f]));for(let f of[...e].sort((l,c)=>Number(l.fields.epoch)-Number(c.fields.epoch))){let l=f.fields,c=l.scope,p=Number(l.epoch);if(f.record==="cell"){r=new Map([...r,[c,j(c,p,[],U(l.restsOn))]]);continue}let a=o.get(c),s=a.form.lattice(a.params),m=r.get(c);if(f.record==="claim"){let d=l.sign==="-1"?i.get(l.takes).fields:l,g=pe(m,{id:l.id,at:p,origin:d.origin,span:a.form.parse(a.params,d.value),...l.takes?{takes:l.takes}:{}},l.sign==="-1"?-1:1),u=[...g.seen];u[u.length-1]={...u.at(-1),id:l.id},r=new Map([...r,[c,{...g,seen:u}]])}else if(l.sign==="-1"){let d=i.get(l.takes).fields;r=new Map([...r,[c,{...m,marks:[...m.marks??[],S({id:l.id,at:p,takes:l.takes,pole:d.pole,reach:"local",span:a.form.parse(a.params,d.value)})]}]])}else if(l.widens!==void 0){let d=de(s,m,a.form.parse(a.params,l.value),l.widens,p),g=[...d.marks??[]];g[g.length-1]={...g.at(-1),id:l.id},r=new Map([...r,[c,{...d,marks:g}]])}else{let d=a.form.parse(a.params,l.value);r=l.pole==="floor"?me(s,r,c,d,{id:l.id,at:p}):he(s,r,c,d,{id:l.id,at:p})}}return[...r].map(([f,l])=>{let c=o.get(f),p=c.form.lattice(c.params);return{cell:f,state:ae(p,l,r),parts:J(p,l,r),rest:B(l,r),ownMarks:M(l.marks??[]).map(a=>a.id),ownClaims:M(l.seen).map(a=>({id:a.id,origin:a.origin})),marks:M(l.marks??[]),claims:M(l.seen)}})}var ot=e=>e!==null&&typeof e=="object"?e:{};function z(e,t){throw new Error(`REFUSE\xB7form ${e}: ${t}`)}function Oe(e,t,r){let n=ot(t)[r];return(typeof n!="number"||!isFinite(n))&&z(e,`takes ${r} as a number, and a value it is not given is not invented`),n}function it(e,t,r){let n=ot(t)[r];return(!Array.isArray(n)||!n.length||n.some(o=>typeof o!="string"))&&z(e,`takes ${r} as a list of words`),n}var st=e=>N({polarity:"permit",members:[...new Set(e)].sort(L)});function at(e,t,r){if(r==="empty")return{lo:t.hi,hi:t.lo};let n=o=>(i=>i.kind==="fact"&&i.value.bound.kind==="interval"?{lo:i.value.bound.lo??t.lo,hi:i.value.bound.hi??t.hi}:void 0)(oe(we({form:"interval",value:o}),null));return n(r)??n(`${r}..${r}`)??z(e,`\`${r}\` is not a band: lo..hi or one end, each a number or *`)}var lt=e=>(t=>e.lo>e.hi?"empty":`${t(e.lo)}..${t(e.hi)}`)(t=>isFinite(t)?_e(t):"*");var K=e=>({tokens:it("alphabet",e,"tokens")}),$e={id:"alphabet",lattice:e=>C.lattice(K(e)),parse(e,t){let{tokens:r}=K(e),n=N(t),o=n.members.find(i=>!r.includes(i));return o!==void 0&&z("alphabet",`\`${o}\` is not one of its tokens`),O.fromTokens(r,new Set(n.polarity==="forbid"?r.filter(i=>!n.members.includes(i)):n.members))},emit:(e,t)=>st(t.members(K(e).tokens)),show:(e,t)=>C.lattice(K(e)).show(t),points:(e,t,r)=>C.points(K(e),t,r)};var ie=e=>({lo:Oe("interval",e,"lo"),hi:Oe("interval",e,"hi")}),Me={id:"interval",lattice:e=>T.lattice(ie(e)),parse:(e,t)=>at("interval",ie(e),t),emit:(e,t)=>lt(t),show:(e,t)=>T.lattice(ie(e)).show(t),points:(e,t,r)=>T.points(ie(e),t,r)};function wn(e){let t=JSON.parse(new TextDecoder().decode(e)),r=Ee(t.history);if(r.kind!=="fact")throw Error("REFUSE\xB7"+r.why);let n=(l,c,p,a)=>r.value.configuration.filter(s=>s.scope===`${l}/${c}`&&s.value===c&&s.by===p&&(s.condition??"").split("|").includes(a)).length===1,o={resolve(l){let c=[Me,$e].find(p=>p.id===l.fields.form);if(!c)throw Error("REFUSE\xB7codec sample has no selected form");return{digest:t.pin,form:c,params:JSON.parse(l.fields.params)}},origin:(l,c,p)=>n("evidence/origin",l,c,p),witness:(l,c,p)=>n("evidence/witness",l,c,p)},i=ve(r.value.objects,{...o,admit:()=>!0});if(i.kind!=="fact")throw Error("REFUSE\xB7"+i.why);let f=nt(i.value,o);if(JSON.stringify(f)!==JSON.stringify(t.expected))throw Error("REFUSE\xB7engine projection differs from captured native output");return[{scope:"conformance/engine-object/"+t.name,role:"writes",measure:"count",bound:{kind:"interval",lo:0,hi:0}}]}export{wn as observe};