tricu

io-v2-private.ts (2220B)

---

 // Private native-adapter validation runner, not RuntimeSession IO dispatch.
 // Bare computations only; no facility implementation/capability advertisement.
 import { Core, type Trees } from './io-v2-core.js';
 import { canonicalNat, type Reader } from './io-v2-protocol.js';
 export function constructors<H>(base: Reader<H> & Pick<Trees<H>, 'leaf' | 'fork' | 'stem' | 'app'>): Trees<H> {
   const natural = (value: bigint): H => {
     const bits: H[] = [];
     if (value < 0n) throw new Error('negative natural');
     for (; value; value >>= 1n) bits.push(value & 1n ? base.stem(base.leaf) : base.leaf);
     let out = base.leaf; for (let i = bits.length - 1; i >= 0; i--) out = base.fork(bits[i]!, out); return out;
   };
   return { ...base, natural, text(value: string): H {
     let out = base.leaf; const chars = Array.from(value);
     for (let i = chars.length - 1; i >= 0; i--) out = base.fork(natural(BigInt(chars[i]!.codePointAt(0)!)), out);
     return out;
   } };
 }
 export async function runPrivate<H>(tree: Trees<H>, action: H, identity: bigint, sweep: (roots: Iterable<H>) => void) {
   const engine = new Core(tree, identity, action, [null, null, null], {
     request: (core, _scope, request) => () => core.wire.result(false, core.wire.problem('unsupported', `${request.group}/${request.operation}`)),
     release: () => { throw new Error('unexpected owned backend in private core probe'); } });
   sweep(engine.roots());
   for (let turns = 0; !engine.result; turns++) {
     const progress = engine.advance(); sweep(engine.roots());
     if (!progress) {
       if (!engine.work.counts.pending) throw new Error('private interpreter stalled');
       await engine.wait();
     }
     if (turns % 32 === 0) await new Promise<void>(resolve => setTimeout(resolve, 0));
   }
   if (engine.hasFault) throw engine.fault;
   const out = engine.result;
   // Terminal diagnostics stay opaque, including when the test requests a number.
   const value = out.kind === 'completed' ? canonicalNat(tree, out.value, 64)?.toString() ?? null : null;
   return { kind: out.kind, value, cleanup: out.cleanup?.items.length ?? 0,
     tasks: engine.lifecycle.tasks.counts, resources: engine.lifecycle.resources.counts, host: engine.work.counts };
 }