@looprun-ai/core 0.3.0 → 0.4.0

package/dist/testing/proof.js

@@ -0,0 +1,93 @@
+/**
+ * The declarative PROOF format + the framework-free runners for the @looprun-ai/core testing kit.
+ *
+ * A {@link GuardProof} states, for ONE guard kind, the L1 (deterministic check in isolation) and optional
+ * L3 (full loop) obligations across positive/negative/neutral cases. This file holds only the pieces that
+ * need NO framework backend: the proof TYPES, the collective non-interference whitelist, the L1 runner,
+ * and the spec builders (isolated / collective) over the fixture surface. The full-loop runners
+ * (runProofLoop / expectedSignal / pickRecord / assertSignal) live in the backend package, since they
+ * drive a real conversation.
+ */
+import { AgentSpecBase } from '../spec.js';
+import { FixtureWorld, FIXTURE_TOOL_NAMES, FIXTURE_THEME, FIXTURE_LEXICON } from './fixture-world.js';
+/** The collective non-interference whitelist — the kinds AgentSpecBase auto-installs. */
+export const AUTO_LAYER_KINDS = [
+    'noDuplicateCall',
+    'degenerationGuard',
+    'emptyReply',
+    'noFalseFailureClaim',
+    'confirmFirst',
+    'destructiveThrottle',
+];
+/** Fill a GuardCtx from a partial: empty args, a fresh FixtureWorld('seeded-media') unless a world is
+ *  given, empty observed, turnIndex 0. */
+export function craftCtx(partial = {}) {
+    return {
+        args: {},
+        world: new FixtureWorld('seeded-media'),
+        observed: [],
+        turnIndex: 0,
+        ...partial,
+    };
+}
+/** Instantiate a proof's guard, or throw when `make` is absent (the runners require it). */
+export function requireMake(proof) {
+    if (!proof.make)
+        throw new Error(`GuardProof "${proof.guard}": make() is required to instantiate the guard.`);
+    return proof.make;
+}
+/** L1 — run the guard's deterministic check in isolation against a crafted ctx. */
+export async function runL1(proof, c) {
+    const guard = requireMake(proof)();
+    const reason = await guard.check(craftCtx(c.ctx));
+    return { fired: reason != null, reason: reason ?? null };
+}
+/** Build a spec that isolates ONE proof's guard over the fixture surface. */
+export function buildIsolatedSpec(proof) {
+    const cfg = {
+        id: `proof-${proof.guard}`,
+        mode: 'PROOF',
+        persona: 'You are the proof agent.',
+        tools: [...FIXTURE_TOOL_NAMES],
+        theme: FIXTURE_THEME,
+        ...(proof.specTweaks ?? {}),
+    };
+    const spec = new AgentSpecBase(cfg);
+    if (!proof.auto) {
+        spec.addGuard(proof.hook, proof.target, requireMake(proof)(), { id: `agent:${proof.guard}` });
+    }
+    return spec;
+}
+/** Build ONE spec with EVERY non-auto proof guard installed — the collective non-interference harness.
+ *  Auto kinds ride AgentSpecBase (destructiveTools + confirmMechanism + lexicon below). Duplicate kinds
+ *  at different targets are fine; ids are made unique by suffixing `#2`, `#3`, … */
+export function buildCollectiveSpec(proofs) {
+    const spec = new AgentSpecBase({
+        id: 'proof-collective',
+        mode: 'PROOF',
+        persona: 'You are the proof agent.',
+        tools: [...FIXTURE_TOOL_NAMES],
+        theme: FIXTURE_THEME,
+        destructiveTools: ['deleteItem', 'purgeAll'],
+        confirmMechanism: { purgeAll: 'prior-ask' },
+        lexicon: {
+            falseFailureClaimRe: FIXTURE_LEXICON.falseFailureClaimRe,
+            confirmAskRe: FIXTURE_LEXICON.confirmAskRe,
+        },
+    });
+    const used = new Set();
+    for (const proof of proofs) {
+        if (proof.auto || proof.collective === 'skip')
+            continue;
+        let id = `agent:${proof.guard}`;
+        let n = 1;
+        while (used.has(id)) {
+            n += 1;
+            id = `agent:${proof.guard}#${n}`;
+        }
+        used.add(id);
+        spec.addGuard(proof.hook, proof.target, requireMake(proof)(), { id });
+    }
+    return spec;
+}
+//# sourceMappingURL=proof.js.map

package/dist/testing/proof.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof.js","sourceRoot":"","sources":["../../src/testing/proof.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAG3C,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAwDtG,yFAAyF;AACzF,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,iBAAiB;IACjB,mBAAmB;IACnB,YAAY;IACZ,qBAAqB;IACrB,cAAc;IACd,qBAAqB;CACb,CAAC;AAEX;0CAC0C;AAC1C,MAAM,UAAU,QAAQ,CAAC,UAA2B,EAAE;IACpD,OAAO;QACL,IAAI,EAAE,EAAE;QACR,KAAK,EAAE,IAAI,YAAY,CAAC,cAAc,CAAC;QACvC,QAAQ,EAAE,EAAE;QACZ,SAAS,EAAE,CAAC;QACZ,GAAG,OAAO;KACX,CAAC;AACJ,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,WAAW,CAAC,KAAiB;IAC3C,IAAI,CAAC,KAAK,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,eAAe,KAAK,CAAC,KAAK,iDAAiD,CAAC,CAAC;IAC9G,OAAO,KAAK,CAAC,IAAI,CAAC;AACpB,CAAC;AAED,mFAAmF;AACnF,MAAM,CAAC,KAAK,UAAU,KAAK,CAAC,KAAiB,EAAE,CAAY;IACzD,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;IACnC,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAClD,OAAO,EAAE,KAAK,EAAE,MAAM,IAAI,IAAI,EAAE,MAAM,EAAE,MAAM,IAAI,IAAI,EAAE,CAAC;AAC3D,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,iBAAiB,CAAC,KAAiB;IACjD,MAAM,GAAG,GAAoB;QAC3B,EAAE,EAAE,SAAS,KAAK,CAAC,KAAK,EAAE;QAC1B,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,0BAA0B;QACnC,KAAK,EAAE,CAAC,GAAG,kBAAkB,CAAC;QAC9B,KAAK,EAAE,aAAa;QACpB,GAAG,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC;KAC5B,CAAC;IACF,MAAM,IAAI,GAAG,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,SAAS,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAChG,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;oFAEoF;AACpF,MAAM,UAAU,mBAAmB,CAAC,MAAoB;IACtD,MAAM,IAAI,GAAG,IAAI,aAAa,CAAC;QAC7B,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,0BAA0B;QACnC,KAAK,EAAE,CAAC,GAAG,kBAAkB,CAAC;QAC9B,KAAK,EAAE,aAAa;QACpB,gBAAgB,EAAE,CAAC,YAAY,EAAE,UAAU,CAAC;QAC5C,gBAAgB,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE;QAC3C,OAAO,EAAE;YACP,mBAAmB,EAAE,eAAe,CAAC,mBAAmB;YACxD,YAAY,EAAE,eAAe,CAAC,YAAY;SAC3C;KACF,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,UAAU,KAAK,MAAM;YAAE,SAAS;QACxD,IAAI,EAAE,GAAG,SAAS,KAAK,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACpB,CAAC,IAAI,CAAC,CAAC;YACP,EAAE,GAAG,SAAS,KAAK,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;QACnC,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACb,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@looprun-ai/core",
-  "version": "0.3.0",
+  "version": "0.4.0",
   "type": "module",
   "description": "looprun core: the AgentSpec governance layer for LLM agents — typed deterministic guards (prose+check pairing), the byte-stable scoped trunk renderer, and the backend-agnostic governed-turn machine. Framework-free: zero runtime dependencies; backends (@looprun-ai/mastra, …) supply the loop.",
   "keywords": [
@@ -28,6 +28,10 @@
     ".": {
       "types": "./dist/index.d.ts",
       "default": "./dist/index.js"
+    },
+    "./testing": {
+      "types": "./dist/testing/index.d.ts",
+      "default": "./dist/testing/index.js"
     }
   },
   "files": [
@@ -44,6 +48,7 @@
   "scripts": {
     "build": "tsc -p tsconfig.build.json",
     "typecheck": "tsc --noEmit",
-    "test": "vitest run"
+    "test": "vitest run",
+    "test:proofs": "vitest run test/proofs --passWithNoTests"
   }
 }