@aperant/framework 0.8.1 → 0.8.6

package/dist/cli/verify-proof/resolver.d.mts

@@ -0,0 +1,105 @@
+/**
+ * Score a single driver against the project's runtime + required capabilities.
+ *
+ * @param {DriverManifest & {locality?: 'bundled'|'user'|'registry'}} manifest
+ * @param {RuntimeCapabilities} runtime
+ * @param {string[]} required
+ * @returns {{score: number[], reason?: string}}
+ */
+export function scoreDriver(manifest: DriverManifest & {
+    locality?: "bundled" | "user" | "registry";
+}, runtime: RuntimeCapabilities, required: string[]): {
+    score: number[];
+    reason?: string;
+};
+/**
+ * Resolve the best driver for a given (runtime, drivers, override, required)
+ * tuple.
+ *
+ * @param {Object} opts
+ * @param {DriverManifest[]} opts.drivers — manifests of every discovered driver.
+ * @param {RuntimeCapabilities} opts.runtime — project's runtime capabilities.
+ * @param {string[]} opts.required_capabilities — IDL verbs the test needs.
+ * @param {string[]} [opts.required_stability] — accepted stability values; default ['ga'].
+ * @param {string[]} [opts.override] — config.json:verification.runtimes[]: explicit driverId precedence.
+ * @returns {{selected: DriverManifest, fallback_attempts: Array<{driver_id: string, reason: string}>}}
+ * @throws {UnsatisfiedRequiredCapabilityError} when no driver satisfies a REQUIRED capability.
+ */
+export function resolveDriver(opts: {
+    drivers: DriverManifest[];
+    runtime: RuntimeCapabilities;
+    required_capabilities: string[];
+    required_stability?: string[] | undefined;
+    override?: string[] | undefined;
+}): {
+    selected: DriverManifest;
+    fallback_attempts: Array<{
+        driver_id: string;
+        reason: string;
+    }>;
+};
+/**
+ * Map a User Outcomes surface tag to the runtime-capability flag a driver
+ * must carry (via `matchesRuntime`) to be eligible for that surface.
+ *
+ * Closed surface set: `electron | web | cli | api | electron+web`.
+ * `electron+web` is NOT a single flag — it's a cross-surface tag the
+ * workflow runner expands into two single-surface dispatches.
+ *
+ * @param {('electron'|'web'|'cli'|'api')} surface
+ * @returns {('is_electron'|'is_web_frontend'|'has_node')}
+ */
+export function surfaceToRequiredFlag(surface: ("electron" | "web" | "cli" | "api")): ("is_electron" | "is_web_frontend" | "has_node");
+/**
+ * Resolve a driver per outcome surface tag, NOT per verify-proof run
+ * (per spec §ID-03). For each input outcome the function returns one
+ * `{outcome_id, surface, driver}` entry; for `[electron+web]` outcomes
+ * it returns TWO entries (electron + web) sharing the same outcome_id.
+ *
+ * The `outcome_id` field on each returned entry is the positional ID
+ * produced by `parseUserOutcomes` (e.g. `O1`, `O2`). The resolver does
+ * NOT rewrite or regenerate IDs — they pass through verbatim so the
+ * workflow runner can correlate proof artifacts to spec lines.
+ *
+ * Each per-surface dispatch synthesizes a runtime-capabilities view
+ * that ONLY claims the surface's required flag (e.g. `is_electron`
+ * alone for an electron-surface outcome, even when the project also
+ * carries `is_web_frontend`). This forces the existing scoring to
+ * pick the per-surface driver — without it, a project with BOTH
+ * electron AND web capabilities would always select the highest-
+ * priority bundled driver (currently `browser`) for every outcome.
+ *
+ * Delegates to the existing `resolveDriver()` for the actual scoring
+ * — the scoring code stays in one place.
+ *
+ * @param {Object} opts
+ * @param {DriverManifest[]} opts.drivers
+ * @param {RuntimeCapabilities} opts.runtime
+ * @param {Array<{id: string, surface: 'electron'|'web'|'cli'|'api'|'electron+web'}>} opts.outcomes
+ * @param {string[]} [opts.override]
+ * @param {string[]} [opts.required_stability]
+ * @param {string[]} [opts.required_capabilities] — defaults to ['screenshot']
+ * @returns {Array<{outcome_id: string, surface: string, driver: DriverManifest, fallback_attempts: Array<{driver_id: string, reason: string}>}>}
+ */
+export function resolveDriversForOutcomes(opts: {
+    drivers: DriverManifest[];
+    runtime: RuntimeCapabilities;
+    outcomes: Array<{
+        id: string;
+        surface: "electron" | "web" | "cli" | "api" | "electron+web";
+    }>;
+    override?: string[] | undefined;
+    required_stability?: string[] | undefined;
+    required_capabilities?: string[] | undefined;
+}): Array<{
+    outcome_id: string;
+    surface: string;
+    driver: DriverManifest;
+    fallback_attempts: Array<{
+        driver_id: string;
+        reason: string;
+    }>;
+}>;
+export type DriverManifest = import("@aperant/framework/driver-sdk").DriverManifest;
+export type RuntimeCapabilities = import("./runtime-detect.mjs").RuntimeCapabilities;
+//# sourceMappingURL=resolver.d.mts.map

package/dist/cli/verify-proof/resolver.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolver.d.mts","sourceRoot":"","sources":["../../../src/cli/verify-proof/resolver.mjs"],"names":[],"mappings":"AA0CA;;;;;;;GAOG;AACH,sCALW,cAAc,GAAG;IAAC,QAAQ,CAAC,EAAE,SAAS,GAAC,MAAM,GAAC,UAAU,CAAA;CAAC,WACzD,mBAAmB,YACnB,MAAM,EAAE,GACN;IAAC,KAAK,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAC,CAU9C;AA0CD;;;;;;;;;;;;GAYG;AACH,oCARG;IAA+B,OAAO,EAA9B,cAAc,EAAE;IACU,OAAO,EAAjC,mBAAmB;IACJ,qBAAqB,EAApC,MAAM,EAAE;IACQ,kBAAkB;IAClB,QAAQ;CAChC,GAAU;IAAC,QAAQ,EAAE,cAAc,CAAC;IAAC,iBAAiB,EAAE,KAAK,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAC,CAAC,CAAA;CAAC,CAqFrG;AAED;;;;;;;;;;GAUG;AACH,+CAHW,CAAC,UAAU,GAAC,KAAK,GAAC,KAAK,GAAC,KAAK,CAAC,GAC5B,CAAC,aAAa,GAAC,iBAAiB,GAAC,UAAU,CAAC,CAcxD;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,gDARG;IAA+B,OAAO,EAA9B,cAAc,EAAE;IACU,OAAO,EAAjC,mBAAmB;IAC6D,QAAQ,EAAxF,KAAK,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,UAAU,GAAC,KAAK,GAAC,KAAK,GAAC,KAAK,GAAC,cAAc,CAAA;KAAC,CAAC;IACzD,QAAQ;IACR,kBAAkB;IAClB,qBAAqB;CAC7C,GAAU,KAAK,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,cAAc,CAAC;IAAC,iBAAiB,EAAE,KAAK,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAC,CAAC,CAAA;CAAC,CAAC,CA2C/I;6BAnQY,OAAO,+BAA+B,EAAE,cAAc;kCACtD,OAAO,sBAAsB,EAAE,mBAAmB"}

package/dist/cli/verify-proof/resolver.mjs

@@ -0,0 +1,320 @@
+/**
+ * resolver.mjs — driver selection + fallback chain.
+ *
+ * Given a project's runtime capabilities, the discovered drivers, and the
+ * test's required IDL capabilities, return the best driver — or throw
+ * UnsatisfiedRequiredCapabilityError if no driver in the chain satisfies
+ * a REQUIRED capability (ID-02 fail-closed).
+ *
+ * Scoring (ID-02, ordered high → low):
+ *   1. capability_coverage — how many required capabilities the driver has
+ *   2. compatibility — does the runtime match the manifest.targets?
+ *   3. stability — ga > beta > experimental
+ *   4. priority — higher wins (manifest.priority)
+ *   5. locality — bundled (packages/framework/drivers/) > user-installed
+ *      (.aperant/drivers/) > registry (.aperant/registry-cache/)
+ *
+ * Ties are broken by the next dimension; if every dimension is equal the
+ * driver with the lexicographically smaller driverId wins (deterministic).
+ *
+ * v0.8.6 — `resolveDriversForOutcomes(opts)` adds per-outcome driver
+ * dispatch for cross-surface specs (per spec §ID-03). It accepts the
+ * positional `outcomes[]` produced by `parseUserOutcomes` and returns
+ * `Array<{outcome_id, surface, driver}>` — one entry per
+ * (outcome, surface) pair. For `[electron+web]` outcomes it emits TWO
+ * entries with the same outcome_id and different drivers. The
+ * outcome_id field is passed through verbatim from parser → resolver
+ * → workflow runner with no name rewriting (the positional-ID
+ * contract).
+ *
+ * Existing `resolveDriver()` and `scoreDriver()` exports are unchanged.
+ */
+import { UnsatisfiedRequiredCapabilityError } from '@aperant/framework/driver-sdk';
+/**
+ * @typedef {import('@aperant/framework/driver-sdk').DriverManifest} DriverManifest
+ * @typedef {import('./runtime-detect.mjs').RuntimeCapabilities} RuntimeCapabilities
+ */
+const STABILITY_RANK = { ga: 3, beta: 2, experimental: 1 };
+const LOCALITY_RANK = { bundled: 3, user: 2, registry: 1 };
+/**
+ * Score a single driver against the project's runtime + required capabilities.
+ *
+ * @param {DriverManifest & {locality?: 'bundled'|'user'|'registry'}} manifest
+ * @param {RuntimeCapabilities} runtime
+ * @param {string[]} required
+ * @returns {{score: number[], reason?: string}}
+ */
+export function scoreDriver(manifest, runtime, required) {
+    const caps = new Set(manifest.capabilities ?? []);
+    const coverage = required.filter((c) => caps.has(c)).length;
+    const compatibility = matchesRuntime(manifest, runtime) ? 1 : 0;
+    const stability = STABILITY_RANK[manifest.stability] ?? 0;
+    const priority = manifest.priority ?? 0;
+    const locality = LOCALITY_RANK[manifest.locality ?? 'bundled'] ?? 0;
+    return { score: [coverage, compatibility, stability, priority, locality] };
+}
+/**
+ * Whether a manifest's targets[] mentions a runtime the project has.
+ *
+ * @param {DriverManifest} manifest
+ * @param {RuntimeCapabilities} runtime
+ * @returns {boolean}
+ */
+function matchesRuntime(manifest, runtime) {
+    const targets = manifest.targets ?? [];
+    for (const t of targets) {
+        // Strip any version range suffix (e.g. "electron@>=25" → "electron").
+        const stripped = String(t).split('@')[0].toLowerCase();
+        if (stripped === 'electron' && runtime.is_electron)
+            return true;
+        if (stripped === 'tauri' && runtime.is_tauri)
+            return true;
+        if ((stripped === 'browser' || stripped === 'web') && runtime.is_web_frontend)
+            return true;
+        if (stripped === 'next' && runtime.is_nextjs)
+            return true;
+        if (stripped === 'nuxt' && runtime.is_nuxt)
+            return true;
+        if (stripped === 'expo' && runtime.is_expo)
+            return true;
+        if (stripped === 'react-native' && runtime.is_react_native)
+            return true;
+        if (stripped === 'node' && runtime.has_node)
+            return true;
+        if (stripped === 'cli' && runtime.has_node)
+            return true;
+        if (stripped === 'api' && runtime.has_node)
+            return true;
+        if (stripped === 'fake')
+            return true; // fixture-only — always matches
+    }
+    return false;
+}
+/**
+ * Compare two driver-score tuples lexicographically.
+ * @param {number[]} a
+ * @param {number[]} b
+ * @returns {number}
+ */
+function compareScores(a, b) {
+    for (let i = 0; i < Math.min(a.length, b.length); i++) {
+        if (a[i] !== b[i])
+            return b[i] - a[i]; // higher wins
+    }
+    return 0;
+}
+/**
+ * Resolve the best driver for a given (runtime, drivers, override, required)
+ * tuple.
+ *
+ * @param {Object} opts
+ * @param {DriverManifest[]} opts.drivers — manifests of every discovered driver.
+ * @param {RuntimeCapabilities} opts.runtime — project's runtime capabilities.
+ * @param {string[]} opts.required_capabilities — IDL verbs the test needs.
+ * @param {string[]} [opts.required_stability] — accepted stability values; default ['ga'].
+ * @param {string[]} [opts.override] — config.json:verification.runtimes[]: explicit driverId precedence.
+ * @returns {{selected: DriverManifest, fallback_attempts: Array<{driver_id: string, reason: string}>}}
+ * @throws {UnsatisfiedRequiredCapabilityError} when no driver satisfies a REQUIRED capability.
+ */
+export function resolveDriver(opts) {
+    const drivers = opts.drivers ?? [];
+    const runtime = opts.runtime;
+    const required = opts.required_capabilities ?? [];
+    const stabilityFilter = new Set(opts.required_stability ?? ['ga']);
+    const override = opts.override ?? [];
+    const fallback = [];
+    // Apply override precedence first (config-listed driverIds come first).
+    const overrideOrdered = [];
+    const overrideSet = new Set(override);
+    for (const id of override) {
+        const d = drivers.find((m) => m.driverId === id);
+        if (d)
+            overrideOrdered.push(d);
+    }
+    const remaining = drivers.filter((m) => !overrideSet.has(m.driverId));
+    const ordered = [...overrideOrdered, ...remaining];
+    // Filter by stability; rejected drivers go into fallback_attempts.
+    const stableOnly = [];
+    for (const d of ordered) {
+        if (!stabilityFilter.has(d.stability)) {
+            fallback.push({
+                driver_id: d.driverId,
+                reason: `stability ${d.stability} not in allowed set [${[...stabilityFilter].join(', ')}]`,
+            });
+            continue;
+        }
+        stableOnly.push(d);
+    }
+    // Override is hard precedence (per opts.override docstring "explicit
+    // driverId precedence"): when set, try override-listed drivers in
+    // override order — the first one that satisfies every required
+    // capability wins, regardless of compatibility/priority/stability
+    // ranking. Non-matching override entries land in fallback. Only when
+    // every override entry misses a required cap do we fall through to
+    // score-based pick on the remaining drivers.
+    const overrideListed = stableOnly.filter((m) => overrideSet.has(m.driverId));
+    for (const candidate of overrideListed) {
+        const caps = new Set(candidate.capabilities ?? []);
+        const missing = required.filter((c) => !caps.has(c));
+        if (missing.length === 0) {
+            return { selected: candidate, fallback_attempts: fallback };
+        }
+        fallback.push({
+            driver_id: candidate.driverId,
+            reason: `override-listed but missing required capabilities: ${missing.join(', ')}`,
+        });
+    }
+    // Score every non-override survivor against required capabilities.
+    const nonOverride = stableOnly.filter((m) => !overrideSet.has(m.driverId));
+    const scored = nonOverride.map((m) => ({ manifest: m, ...scoreDriver(m, runtime, required) }));
+    // Sort highest-first, tie-break on driverId for determinism.
+    scored.sort((a, b) => {
+        const cmp = compareScores(a.score, b.score);
+        if (cmp !== 0)
+            return cmp;
+        return a.manifest.driverId.localeCompare(b.manifest.driverId);
+    });
+    // Pick the top scorer that covers EVERY required capability. Others go into fallback.
+    for (const candidate of scored) {
+        const caps = new Set(candidate.manifest.capabilities ?? []);
+        const missing = required.filter((c) => !caps.has(c));
+        if (missing.length === 0) {
+            return { selected: candidate.manifest, fallback_attempts: fallback };
+        }
+        fallback.push({
+            driver_id: candidate.manifest.driverId,
+            reason: `missing required capabilities: ${missing.join(', ')}`,
+        });
+    }
+    // Exhausted the chain — fail closed (ID-02).
+    throw new UnsatisfiedRequiredCapabilityError(`No driver in the chain satisfies every required capability: [${required.join(', ')}]`, required[0], fallback);
+}
+/**
+ * Map a User Outcomes surface tag to the runtime-capability flag a driver
+ * must carry (via `matchesRuntime`) to be eligible for that surface.
+ *
+ * Closed surface set: `electron | web | cli | api | electron+web`.
+ * `electron+web` is NOT a single flag — it's a cross-surface tag the
+ * workflow runner expands into two single-surface dispatches.
+ *
+ * @param {('electron'|'web'|'cli'|'api')} surface
+ * @returns {('is_electron'|'is_web_frontend'|'has_node')}
+ */
+export function surfaceToRequiredFlag(surface) {
+    switch (surface) {
+        case 'electron':
+            return 'is_electron';
+        case 'web':
+            return 'is_web_frontend';
+        case 'cli':
+        case 'api':
+            return 'has_node';
+        default:
+            throw new Error(`surfaceToRequiredFlag: unknown surface "${surface}"`);
+    }
+}
+/**
+ * Resolve a driver per outcome surface tag, NOT per verify-proof run
+ * (per spec §ID-03). For each input outcome the function returns one
+ * `{outcome_id, surface, driver}` entry; for `[electron+web]` outcomes
+ * it returns TWO entries (electron + web) sharing the same outcome_id.
+ *
+ * The `outcome_id` field on each returned entry is the positional ID
+ * produced by `parseUserOutcomes` (e.g. `O1`, `O2`). The resolver does
+ * NOT rewrite or regenerate IDs — they pass through verbatim so the
+ * workflow runner can correlate proof artifacts to spec lines.
+ *
+ * Each per-surface dispatch synthesizes a runtime-capabilities view
+ * that ONLY claims the surface's required flag (e.g. `is_electron`
+ * alone for an electron-surface outcome, even when the project also
+ * carries `is_web_frontend`). This forces the existing scoring to
+ * pick the per-surface driver — without it, a project with BOTH
+ * electron AND web capabilities would always select the highest-
+ * priority bundled driver (currently `browser`) for every outcome.
+ *
+ * Delegates to the existing `resolveDriver()` for the actual scoring
+ * — the scoring code stays in one place.
+ *
+ * @param {Object} opts
+ * @param {DriverManifest[]} opts.drivers
+ * @param {RuntimeCapabilities} opts.runtime
+ * @param {Array<{id: string, surface: 'electron'|'web'|'cli'|'api'|'electron+web'}>} opts.outcomes
+ * @param {string[]} [opts.override]
+ * @param {string[]} [opts.required_stability]
+ * @param {string[]} [opts.required_capabilities] — defaults to ['screenshot']
+ * @returns {Array<{outcome_id: string, surface: string, driver: DriverManifest, fallback_attempts: Array<{driver_id: string, reason: string}>}>}
+ */
+export function resolveDriversForOutcomes(opts) {
+    const drivers = opts.drivers ?? [];
+    const runtime = opts.runtime;
+    const outcomes = opts.outcomes ?? [];
+    const required = opts.required_capabilities ?? ['screenshot'];
+    const override = opts.override;
+    const stability = opts.required_stability;
+    /** @type {Array<{outcome_id: string, surface: string, driver: DriverManifest, fallback_attempts: Array<{driver_id: string, reason: string}>}>} */
+    const results = [];
+    for (const outcome of outcomes) {
+        const surfacesToDispatch = outcome.surface === 'electron+web' ? ['electron', 'web'] : [outcome.surface];
+        for (const surface of surfacesToDispatch) {
+            const flag = surfaceToRequiredFlag(/** @type {'electron'|'web'|'cli'|'api'} */ (surface));
+            // Synthesize a per-surface runtime view: only the surface's
+            // required flag is on; every other flag is masked off so the
+            // scoring prefers per-surface drivers (otherwise, on a
+            // multi-runtime project, the highest-priority bundled driver
+            // always wins). `has_node` stays on for cli/api since multiple
+            // drivers may target node.
+            const surfaceRuntime = maskRuntimeForSurface(runtime, flag);
+            const resolved = resolveDriver({
+                drivers,
+                runtime: surfaceRuntime,
+                required_capabilities: required,
+                ...(override ? { override } : {}),
+                ...(stability ? { required_stability: stability } : {}),
+            });
+            results.push({
+                outcome_id: outcome.id,
+                surface,
+                driver: resolved.selected,
+                fallback_attempts: resolved.fallback_attempts,
+            });
+        }
+    }
+    return results;
+}
+/**
+ * Return a copy of `runtime` with every flag false EXCEPT the one named
+ * by `flag`. Used to scope the resolver's compatibility check to a
+ * single surface during per-outcome dispatch.
+ *
+ * @param {RuntimeCapabilities} runtime
+ * @param {string} flag — one of: is_electron | is_web_frontend | has_node
+ * @returns {RuntimeCapabilities}
+ */
+function maskRuntimeForSurface(runtime, flag) {
+    /** @type {RuntimeCapabilities} */
+    const masked = {
+        is_electron: false,
+        is_tauri: false,
+        is_nextjs: false,
+        is_nuxt: false,
+        is_web_frontend: false,
+        is_expo: false,
+        is_react_native: false,
+        has_node: false,
+    };
+    // Only flip the surface's flag on if the project actually carries it
+    // (otherwise the resolver should genuinely fail — fail-closed).
+    if (flag === 'is_electron' && runtime.is_electron)
+        masked.is_electron = true;
+    if (flag === 'is_web_frontend' && runtime.is_web_frontend) {
+        masked.is_web_frontend = true;
+        // Carry the framework hint too (Next.js / Nuxt) so drivers that
+        // target browser via those frameworks still match.
+        masked.is_nextjs = runtime.is_nextjs;
+        masked.is_nuxt = runtime.is_nuxt;
+    }
+    if (flag === 'has_node')
+        masked.has_node = runtime.has_node;
+    return masked;
+}
+//# sourceMappingURL=resolver.mjs.map

package/dist/cli/verify-proof/resolver.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolver.mjs","sourceRoot":"","sources":["../../../src/cli/verify-proof/resolver.mjs"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,EAAE,kCAAkC,EAAE,MAAM,+BAA+B,CAAA;AAElF;;;GAGG;AAEH,MAAM,cAAc,GAAG,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,CAAA;AAC1D,MAAM,aAAa,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAA;AAE1D;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ;IACtD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,YAAY,IAAI,EAAE,CAAC,CAAA;IACjD,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAA;IAC3D,MAAM,aAAa,GAAG,cAAc,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/D,MAAM,SAAS,GAAG,cAAc,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;IACzD,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,IAAI,CAAC,CAAA;IACvC,MAAM,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAC,QAAQ,IAAI,SAAS,CAAC,IAAI,CAAC,CAAA;IACnE,OAAO,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,aAAa,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAA;AAC3E,CAAC;AAED;;;;;;GAMG;AACH,SAAS,cAAc,CAAC,QAAQ,EAAE,OAAO;IACxC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,IAAI,EAAE,CAAA;IACtC,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACzB,sEAAsE;QACtE,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAA;QACtD,IAAI,QAAQ,KAAK,UAAU,IAAI,OAAO,CAAC,WAAW;YAAE,OAAO,IAAI,CAAA;QAC/D,IAAI,QAAQ,KAAK,OAAO,IAAI,OAAO,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAA;QACzD,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,KAAK,CAAC,IAAI,OAAO,CAAC,eAAe;YAAE,OAAO,IAAI,CAAA;QAC1F,IAAI,QAAQ,KAAK,MAAM,IAAI,OAAO,CAAC,SAAS;YAAE,OAAO,IAAI,CAAA;QACzD,IAAI,QAAQ,KAAK,MAAM,IAAI,OAAO,CAAC,OAAO;YAAE,OAAO,IAAI,CAAA;QACvD,IAAI,QAAQ,KAAK,MAAM,IAAI,OAAO,CAAC,OAAO;YAAE,OAAO,IAAI,CAAA;QACvD,IAAI,QAAQ,KAAK,cAAc,IAAI,OAAO,CAAC,eAAe;YAAE,OAAO,IAAI,CAAA;QACvE,IAAI,QAAQ,KAAK,MAAM,IAAI,OAAO,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAA;QACxD,IAAI,QAAQ,KAAK,KAAK,IAAI,OAAO,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAA;QACvD,IAAI,QAAQ,KAAK,KAAK,IAAI,OAAO,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAA;QACvD,IAAI,QAAQ,KAAK,MAAM;YAAE,OAAO,IAAI,CAAA,CAAC,gCAAgC;IACtE,CAAC;IACD,OAAO,KAAK,CAAA;AACb,CAAC;AAED;;;;;GAKG;AACH,SAAS,aAAa,CAAC,CAAC,EAAE,CAAC;IAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACvD,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA,CAAC,cAAc;IACrD,CAAC;IACD,OAAO,CAAC,CAAA;AACT,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,aAAa,CAAC,IAAI;IACjC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,EAAE,CAAA;IAClC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAA;IAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,qBAAqB,IAAI,EAAE,CAAA;IACjD,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,kBAAkB,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;IAClE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAA;IAEpC,MAAM,QAAQ,GAAG,EAAE,CAAA;IAEnB,wEAAwE;IACxE,MAAM,eAAe,GAAG,EAAE,CAAA;IAC1B,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrC,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,CAAA;QAChD,IAAI,CAAC;YAAE,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IAC/B,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAA;IACrE,MAAM,OAAO,GAAG,CAAC,GAAG,eAAe,EAAE,GAAG,SAAS,CAAC,CAAA;IAElD,mEAAmE;IACnE,MAAM,UAAU,GAAG,EAAE,CAAA;IACrB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACzB,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CAAC;gBACb,SAAS,EAAE,CAAC,CAAC,QAAQ;gBACrB,MAAM,EAAE,aAAa,CAAC,CAAC,SAAS,wBAAwB,CAAC,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;aAC1F,CAAC,CAAA;YACF,SAAQ;QACT,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACnB,CAAC;IAED,qEAAqE;IACrE,kEAAkE;IAClE,+DAA+D;IAC/D,kEAAkE;IAClE,qEAAqE;IACrE,mEAAmE;IACnE,6CAA6C;IAC7C,MAAM,cAAc,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAA;IAC5E,KAAK,MAAM,SAAS,IAAI,cAAc,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,YAAY,IAAI,EAAE,CAAC,CAAA;QAClD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QACpD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,iBAAiB,EAAE,QAAQ,EAAE,CAAA;QAC5D,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC;YACb,SAAS,EAAE,SAAS,CAAC,QAAQ;YAC7B,MAAM,EAAE,sDAAsD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;SAClF,CAAC,CAAA;IACH,CAAC;IAED,mEAAmE;IACnE,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAA;IAC1E,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,GAAG,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAA;IAE9F,6DAA6D;IAC7D,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACpB,MAAM,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAA;QAC3C,IAAI,GAAG,KAAK,CAAC;YAAE,OAAO,GAAG,CAAA;QACzB,OAAO,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;IAC9D,CAAC,CAAC,CAAA;IAEF,sFAAsF;IACtF,KAAK,MAAM,SAAS,IAAI,MAAM,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,YAAY,IAAI,EAAE,CAAC,CAAA;QAC3D,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QACpD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,iBAAiB,EAAE,QAAQ,EAAE,CAAA;QACrE,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC;YACb,SAAS,EAAE,SAAS,CAAC,QAAQ,CAAC,QAAQ;YACtC,MAAM,EAAE,kCAAkC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;SAC9D,CAAC,CAAA;IACH,CAAC;IAED,6CAA6C;IAC7C,MAAM,IAAI,kCAAkC,CAC3C,gEAAgE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EACtF,QAAQ,CAAC,CAAC,CAAC,EACX,QAAQ,CACR,CAAA;AACF,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,qBAAqB,CAAC,OAAO;IAC5C,QAAQ,OAAO,EAAE,CAAC;QACjB,KAAK,UAAU;YACd,OAAO,aAAa,CAAA;QACrB,KAAK,KAAK;YACT,OAAO,iBAAiB,CAAA;QACzB,KAAK,KAAK,CAAC;QACX,KAAK,KAAK;YACT,OAAO,UAAU,CAAA;QAClB;YACC,MAAM,IAAI,KAAK,CAAC,2CAA2C,OAAO,GAAG,CAAC,CAAA;IACxE,CAAC;AACF,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,UAAU,yBAAyB,CAAC,IAAI;IAC7C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,EAAE,CAAA;IAClC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAA;IAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAA;IACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,qBAAqB,IAAI,CAAC,YAAY,CAAC,CAAA;IAC7D,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAA;IAC9B,MAAM,SAAS,GAAG,IAAI,CAAC,kBAAkB,CAAA;IAEzC,kJAAkJ;IAClJ,MAAM,OAAO,GAAG,EAAE,CAAA;IAElB,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAChC,MAAM,kBAAkB,GACvB,OAAO,CAAC,OAAO,KAAK,cAAc,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;QAE7E,KAAK,MAAM,OAAO,IAAI,kBAAkB,EAAE,CAAC;YAC1C,MAAM,IAAI,GAAG,qBAAqB,CAAC,2CAA2C,CAAC,CAAC,OAAO,CAAC,CAAC,CAAA;YACzF,4DAA4D;YAC5D,6DAA6D;YAC7D,uDAAuD;YACvD,6DAA6D;YAC7D,+DAA+D;YAC/D,2BAA2B;YAC3B,MAAM,cAAc,GAAG,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;YAC3D,MAAM,QAAQ,GAAG,aAAa,CAAC;gBAC9B,OAAO;gBACP,OAAO,EAAE,cAAc;gBACvB,qBAAqB,EAAE,QAAQ;gBAC/B,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACvD,CAAC,CAAA;YACF,OAAO,CAAC,IAAI,CAAC;gBACZ,UAAU,EAAE,OAAO,CAAC,EAAE;gBACtB,OAAO;gBACP,MAAM,EAAE,QAAQ,CAAC,QAAQ;gBACzB,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;aAC7C,CAAC,CAAA;QACH,CAAC;IACF,CAAC;IAED,OAAO,OAAO,CAAA;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,qBAAqB,CAAC,OAAO,EAAE,IAAI;IAC3C,kCAAkC;IAClC,MAAM,MAAM,GAAG;QACd,WAAW,EAAE,KAAK;QAClB,QAAQ,EAAE,KAAK;QACf,SAAS,EAAE,KAAK;QAChB,OAAO,EAAE,KAAK;QACd,eAAe,EAAE,KAAK;QACtB,OAAO,EAAE,KAAK;QACd,eAAe,EAAE,KAAK;QACtB,QAAQ,EAAE,KAAK;KACf,CAAA;IACD,qEAAqE;IACrE,gEAAgE;IAChE,IAAI,IAAI,KAAK,aAAa,IAAI,OAAO,CAAC,WAAW;QAAE,MAAM,CAAC,WAAW,GAAG,IAAI,CAAA;IAC5E,IAAI,IAAI,KAAK,iBAAiB,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC;QAC3D,MAAM,CAAC,eAAe,GAAG,IAAI,CAAA;QAC7B,gEAAgE;QAChE,mDAAmD;QACnD,MAAM,CAAC,SAAS,GAAG,OAAO,CAAC,SAAS,CAAA;QACpC,MAAM,CAAC,OAAO,GAAG,OAAO,CAAC,OAAO,CAAA;IACjC,CAAC;IACD,IAAI,IAAI,KAAK,UAAU;QAAE,MAAM,CAAC,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAA;IAC3D,OAAO,MAAM,CAAA;AACd,CAAC"}

package/dist/cli/verify-proof/runtime-detect.d.mts

@@ -0,0 +1,30 @@
+/**
+ * Detect runtime capabilities from a parsed package.json object.
+ *
+ * @param {Record<string, unknown> | null} packageJson
+ * @returns {RuntimeCapabilities}
+ */
+export function detectFromPackageJson(packageJson: Record<string, unknown> | null): RuntimeCapabilities;
+/**
+ * Load and detect capabilities from a project directory's package.json.
+ * v0.8.6 — also walks `monorepo_globs` (default `['apps/*']`) and
+ * OR-merges each match's capabilities with the root.
+ *
+ * @param {string} projectDir
+ * @param {{monorepo_globs?: string[]}} [opts]
+ * @returns {RuntimeCapabilities}
+ */
+export function loadRuntimeCapabilities(projectDir: string, opts?: {
+    monorepo_globs?: string[];
+}): RuntimeCapabilities;
+export type RuntimeCapabilities = {
+    is_electron: boolean;
+    is_tauri: boolean;
+    is_nextjs: boolean;
+    is_nuxt: boolean;
+    is_web_frontend: boolean;
+    is_expo: boolean;
+    is_react_native: boolean;
+    has_node: boolean;
+};
+//# sourceMappingURL=runtime-detect.d.mts.map

package/dist/cli/verify-proof/runtime-detect.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-detect.d.mts","sourceRoot":"","sources":["../../../src/cli/verify-proof/runtime-detect.mjs"],"names":[],"mappings":"AAiDA;;;;;GAKG;AACH,mDAHW,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,GAC5B,mBAAmB,CAwD/B;AAED;;;;;;;;GAQG;AACH,oDAJW,MAAM,SACN;IAAC,cAAc,CAAC,EAAE,MAAM,EAAE,CAAA;CAAC,GACzB,mBAAmB,CAkC/B;;iBA/Ha,OAAO;cACP,OAAO;eACP,OAAO;aACP,OAAO;qBACP,OAAO;aACP,OAAO;qBACP,OAAO;cACP,OAAO"}