tryassay 0.6.0 → 0.11.1

package/dist/runtime/verification-intensity.d.ts

@@ -0,0 +1,34 @@
+import type { TrustLevel, BoundaryClaim, AgentIdentity } from './types.js';
+export interface VerificationIntensity {
+    /** Verify every claim (vs sampling). */
+    readonly verifyAll: boolean;
+    /** Fraction of claims to verify if not verifyAll (0-1). */
+    readonly sampleRate: number;
+    /** Require formal verification for critical severity claims. */
+    readonly requireFormalForCritical: boolean;
+    /** Require formal verification for high severity claims. */
+    readonly requireFormalForHigh: boolean;
+    /** Maximum claims to verify (0 = no limit). */
+    readonly maxClaimsToVerify: number;
+    /** Skip verification entirely (only for formal agents). */
+    readonly skipVerification: boolean;
+}
+export declare class VerificationIntensityController {
+    /**
+     * Get the verification intensity for an agent based on its trust level.
+     */
+    getIntensity(agent: AgentIdentity): VerificationIntensity;
+    /**
+     * Filter claims based on verification intensity.
+     * Returns the claims that should be verified.
+     */
+    filterClaims(claims: readonly BoundaryClaim[], intensity: VerificationIntensity): BoundaryClaim[];
+    /**
+     * Determine which claims need formal verification based on intensity.
+     */
+    claimsRequiringFormal(claims: readonly BoundaryClaim[], intensity: VerificationIntensity): BoundaryClaim[];
+    /**
+     * Get a human-readable summary of verification intensity for display.
+     */
+    describeIntensity(trustLevel: TrustLevel): string;
+}

package/dist/runtime/verification-intensity.js

@@ -0,0 +1,104 @@
+// ============================================================
+// Assay Verified Agent Runtime — Verification Intensity Controller
+// Dynamically adjusts verification depth based on agent trust.
+// Sits between the multi-agent loop and the CompositionVerifier.
+// ============================================================
+// ── Intensity per trust level ──────────────────────────────
+const INTENSITY_MAP = {
+    untrusted: {
+        verifyAll: true,
+        sampleRate: 1.0,
+        requireFormalForCritical: true,
+        requireFormalForHigh: true,
+        maxClaimsToVerify: 0,
+        skipVerification: false,
+    },
+    provisional: {
+        verifyAll: true,
+        sampleRate: 1.0,
+        requireFormalForCritical: true,
+        requireFormalForHigh: false,
+        maxClaimsToVerify: 0,
+        skipVerification: false,
+    },
+    trusted: {
+        verifyAll: false,
+        sampleRate: 0.2,
+        requireFormalForCritical: true,
+        requireFormalForHigh: false,
+        maxClaimsToVerify: 10,
+        skipVerification: false,
+    },
+    formal: {
+        verifyAll: false,
+        sampleRate: 0,
+        requireFormalForCritical: false,
+        requireFormalForHigh: false,
+        maxClaimsToVerify: 0,
+        skipVerification: true,
+    },
+};
+// ── Verification Intensity Controller ──────────────────────
+export class VerificationIntensityController {
+    /**
+     * Get the verification intensity for an agent based on its trust level.
+     */
+    getIntensity(agent) {
+        return INTENSITY_MAP[agent.trustLevel];
+    }
+    /**
+     * Filter claims based on verification intensity.
+     * Returns the claims that should be verified.
+     */
+    filterClaims(claims, intensity) {
+        if (intensity.skipVerification)
+            return [];
+        if (intensity.verifyAll) {
+            return intensity.maxClaimsToVerify > 0
+                ? [...claims].slice(0, intensity.maxClaimsToVerify)
+                : [...claims];
+        }
+        // Always include critical and high severity claims
+        const critical = claims.filter(c => c.severity === 'critical');
+        const high = claims.filter(c => c.severity === 'high');
+        const rest = claims.filter(c => c.severity !== 'critical' && c.severity !== 'high');
+        // Sample from medium/low
+        const sampled = rest.filter(() => Math.random() < intensity.sampleRate);
+        let result = [...critical, ...high, ...sampled];
+        if (intensity.maxClaimsToVerify > 0) {
+            result = result.slice(0, intensity.maxClaimsToVerify);
+        }
+        return result;
+    }
+    /**
+     * Determine which claims need formal verification based on intensity.
+     */
+    claimsRequiringFormal(claims, intensity) {
+        const formalRequired = [];
+        for (const claim of claims) {
+            if (intensity.requireFormalForCritical && claim.severity === 'critical') {
+                formalRequired.push(claim);
+            }
+            if (intensity.requireFormalForHigh && claim.severity === 'high') {
+                formalRequired.push(claim);
+            }
+        }
+        return formalRequired;
+    }
+    /**
+     * Get a human-readable summary of verification intensity for display.
+     */
+    describeIntensity(trustLevel) {
+        switch (trustLevel) {
+            case 'untrusted':
+                return 'FULL (every claim verified, formal for critical+high)';
+            case 'provisional':
+                return 'STANDARD (every claim verified, formal for critical only)';
+            case 'trusted':
+                return 'SAMPLING (20% of medium/low, all critical/high, max 10 claims)';
+            case 'formal':
+                return 'NONE (agent output is ground truth)';
+        }
+    }
+}
+//# sourceMappingURL=verification-intensity.js.map

package/dist/runtime/verification-intensity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-intensity.js","sourceRoot":"","sources":["../../src/runtime/verification-intensity.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,mEAAmE;AACnE,+DAA+D;AAC/D,iEAAiE;AACjE,+DAA+D;AAyB/D,8DAA8D;AAE9D,MAAM,aAAa,GAA8C;IAC/D,SAAS,EAAE;QACT,SAAS,EAAE,IAAI;QACf,UAAU,EAAE,GAAG;QACf,wBAAwB,EAAE,IAAI;QAC9B,oBAAoB,EAAE,IAAI;QAC1B,iBAAiB,EAAE,CAAC;QACpB,gBAAgB,EAAE,KAAK;KACxB;IACD,WAAW,EAAE;QACX,SAAS,EAAE,IAAI;QACf,UAAU,EAAE,GAAG;QACf,wBAAwB,EAAE,IAAI;QAC9B,oBAAoB,EAAE,KAAK;QAC3B,iBAAiB,EAAE,CAAC;QACpB,gBAAgB,EAAE,KAAK;KACxB;IACD,OAAO,EAAE;QACP,SAAS,EAAE,KAAK;QAChB,UAAU,EAAE,GAAG;QACf,wBAAwB,EAAE,IAAI;QAC9B,oBAAoB,EAAE,KAAK;QAC3B,iBAAiB,EAAE,EAAE;QACrB,gBAAgB,EAAE,KAAK;KACxB;IACD,MAAM,EAAE;QACN,SAAS,EAAE,KAAK;QAChB,UAAU,EAAE,CAAC;QACb,wBAAwB,EAAE,KAAK;QAC/B,oBAAoB,EAAE,KAAK;QAC3B,iBAAiB,EAAE,CAAC;QACpB,gBAAgB,EAAE,IAAI;KACvB;CACF,CAAC;AAEF,8DAA8D;AAE9D,MAAM,OAAO,+BAA+B;IAC1C;;OAEG;IACH,YAAY,CAAC,KAAoB;QAC/B,OAAO,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACzC,CAAC;IAED;;;OAGG;IACH,YAAY,CACV,MAAgC,EAChC,SAAgC;QAEhC,IAAI,SAAS,CAAC,gBAAgB;YAAE,OAAO,EAAE,CAAC;QAC1C,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC;YACxB,OAAO,SAAS,CAAC,iBAAiB,GAAG,CAAC;gBACpC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,iBAAiB,CAAC;gBACnD,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;QAClB,CAAC;QAED,mDAAmD;QACnD,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC;QAC/D,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC;QACvD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,IAAI,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC;QAEpF,yBAAyB;QACzB,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;QAExE,IAAI,MAAM,GAAG,CAAC,GAAG,QAAQ,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC,CAAC;QAEhD,IAAI,SAAS,CAAC,iBAAiB,GAAG,CAAC,EAAE,CAAC;YACpC,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,iBAAiB,CAAC,CAAC;QACxD,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACH,qBAAqB,CACnB,MAAgC,EAChC,SAAgC;QAEhC,MAAM,cAAc,GAAoB,EAAE,CAAC;QAE3C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,SAAS,CAAC,wBAAwB,IAAI,KAAK,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;gBACxE,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC7B,CAAC;YACD,IAAI,SAAS,CAAC,oBAAoB,IAAI,KAAK,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;gBAChE,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;QAED,OAAO,cAAc,CAAC;IACxB,CAAC;IAED;;OAEG;IACH,iBAAiB,CAAC,UAAsB;QACtC,QAAQ,UAAU,EAAE,CAAC;YACnB,KAAK,WAAW;gBACd,OAAO,uDAAuD,CAAC;YACjE,KAAK,aAAa;gBAChB,OAAO,2DAA2D,CAAC;YACrE,KAAK,SAAS;gBACZ,OAAO,gEAAgE,CAAC;YAC1E,KAAK,QAAQ;gBACX,OAAO,qCAAqC,CAAC;QACjD,CAAC;IACH,CAAC;CACF"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "tryassay",
-  "version": "0.6.0",
+  "version": "0.11.1",
   "description": "AI code verification CLI — find bugs that tests miss, linters ignore, and code review overlooks",
   "type": "module",
   "bin": {