aperta-cli 1.0.0-beta.1

package/dist-cli/src/probes.js

@@ -0,0 +1,195 @@
+import { createHash } from "node:crypto";
+import { execFile } from "node:child_process";
+import { promisify } from "node:util";
+import { chmod, cp, mkdir, mkdtemp, readFile, rm, writeFile } from "node:fs/promises";
+import { dirname, join, relative, sep } from "node:path";
+import { tmpdir } from "node:os";
+import { appendEvent, eventBase, readLedger } from "./ledger.js";
+import { cleanExecutionOutput, safeEnvironment } from "./execution.js";
+const execFileAsync = promisify(execFile);
+const active = new Set();
+const commonImports = `import org.junit.jupiter.api.Test;
+import org.springframework.security.oauth2.jose.jws.MacAlgorithm;
+import org.springframework.security.oauth2.jwt.JwtClaimsSet;
+import org.springframework.security.oauth2.jwt.JwtDecoder;
+import org.springframework.security.oauth2.jwt.JwtEncoder;
+import org.springframework.security.oauth2.jwt.JwtEncoderParameters;
+import org.springframework.security.oauth2.jwt.JwtException;
+import org.springframework.security.oauth2.jwt.JwsHeader;
+
+import javax.crypto.SecretKey;
+import java.nio.charset.StandardCharsets;
+import java.time.Duration;
+import java.time.Instant;
+import java.util.Base64;
+import java.util.UUID;
+
+import static org.assertj.core.api.Assertions.assertThatThrownBy;`;
+const helpers = `    private static JwtProperties properties(String rawKey, String issuer) {
+        return new JwtProperties(Base64.getEncoder().encodeToString(rawKey.getBytes(StandardCharsets.UTF_8)),
+                issuer, Duration.ofMinutes(15), Duration.ofDays(7));
+    }
+
+    private static String encode(JwtEncoder encoder, String issuer, String subject, Instant issuedAt, Instant expiresAt) {
+        JwtClaimsSet claims = JwtClaimsSet.builder().issuer(issuer).subject(subject)
+                .issuedAt(issuedAt).expiresAt(expiresAt).build();
+        return encoder.encode(JwtEncoderParameters.from(
+                JwsHeader.with(MacAlgorithm.HS256).build(), claims)).getTokenValue();
+    }`;
+function javaSource(packageName, probeId) {
+    const test = probeId === "jwt-expired"
+        ? `    @Test
+    void rejectsExpiredToken() {
+        JwtProperties properties = properties("expired-probe-key-with-at-least-32-bytes", "auth-service");
+        SecurityConfig configuration = new SecurityConfig();
+        SecretKey key = configuration.jwtSigningKey(properties);
+        JwtDecoder decoder = configuration.jwtDecoder(key, properties);
+        Instant now = Instant.now();
+        String token = encode(configuration.jwtEncoder(key), properties.issuer(), UUID.randomUUID().toString(),
+                now.minusSeconds(120), now.minusSeconds(60));
+
+        assertThatThrownBy(() -> decoder.decode(token)).isInstanceOf(JwtException.class);
+    }`
+        : probeId === "jwt-issuer"
+            ? `    @Test
+    void rejectsTokenFromIncorrectIssuer() {
+        JwtProperties properties = properties("issuer-probe-key-with-at-least-32-bytes", "auth-service");
+        SecurityConfig configuration = new SecurityConfig();
+        SecretKey key = configuration.jwtSigningKey(properties);
+        JwtDecoder decoder = configuration.jwtDecoder(key, properties);
+        Instant now = Instant.now();
+        String token = encode(configuration.jwtEncoder(key), "another-issuer", UUID.randomUUID().toString(),
+                now, now.plusSeconds(60));
+
+        assertThatThrownBy(() -> decoder.decode(token)).isInstanceOf(JwtException.class);
+    }`
+            : `    @Test
+    void rejectsTokenWithInvalidSignature() {
+        JwtProperties signingProperties = properties("signing-probe-key-with-at-least-32-bytes", "auth-service");
+        JwtProperties verifyingProperties = properties("different-verification-key-32-bytes!", "auth-service");
+        SecurityConfig configuration = new SecurityConfig();
+        SecretKey signingKey = configuration.jwtSigningKey(signingProperties);
+        SecretKey verifyingKey = configuration.jwtSigningKey(verifyingProperties);
+        JwtDecoder decoder = configuration.jwtDecoder(verifyingKey, verifyingProperties);
+        Instant now = Instant.now();
+        String token = encode(configuration.jwtEncoder(signingKey), signingProperties.issuer(),
+                UUID.randomUUID().toString(), now, now.plusSeconds(60));
+
+        assertThatThrownBy(() -> decoder.decode(token)).isInstanceOf(JwtException.class);
+    }`;
+    return `package ${packageName};
+
+${commonImports}
+
+class ApertaGeneratedSecurityProbeTest {
+
+${test}
+
+${helpers}
+}
+`;
+}
+function endpointScaffold(packageName) {
+    return `package ${packageName};
+
+// Aperta needs one concrete protected route and the repository's preferred
+// Spring test slice before this integration probe can execute safely.
+// Intended assertion: an unauthenticated request is rejected, while the same
+// request with a decoder-accepted JWT reaches the protected endpoint.
+class ApertaGeneratedEndpointAuthorizationProbeTest {}
+`;
+}
+function targets(graph, patterns) {
+    return graph.nodes.filter((node) => patterns.some((pattern) => pattern.test(`${node.label} ${node.detail ?? ""}`))).map((node) => node.id);
+}
+async function javaContext(root, diff) {
+    const test = diff.files.find((file) => /JwtConfigurationTests\.java$/.test(file.path));
+    if (!test)
+        return null;
+    let source = "";
+    try {
+        source = await readFile(join(root, test.path), "utf8");
+    }
+    catch {
+        return null;
+    }
+    const packageName = source.match(/^package\s+([\w.]+);/m)?.[1];
+    if (!packageName)
+        return null;
+    return { packageName, generatedPath: join(dirname(test.path), "ApertaGeneratedSecurityProbeTest.java") };
+}
+export async function generateProbes(root, diff, graph) {
+    const context = await javaContext(root, diff);
+    if (!context || !/JwtAuthenticationFilter|OAuth2 resource server/.test(`${graph.headline} ${graph.nodes.map((node) => node.label).join(" ")}`))
+        return [];
+    const command = "./mvnw -q -Dtest=ApertaGeneratedSecurityProbeTest test";
+    const decoderTargets = targets(graph, [/JwtDecoder/i, /resource server/i, /jwtDecoder/i]);
+    const definitions = [
+        { id: "jwt-expired", label: "Expired token rejection", hypothesis: "The configured decoder rejects a correctly signed token after its expiration instant.", why: "Default timestamp validation is assumed but has not been executed against this configuration.", language: "java", framework: "JUnit 5 + AssertJ", readiness: "ready", executable: true, patterns: [/JwtDecoder/i, /resource server/i, /jwtDecoder/i] },
+        { id: "jwt-issuer", label: "Incorrect issuer rejection", hypothesis: "The configured decoder rejects a valid signature when the issuer claim does not match JwtProperties.", why: "Issuer validation was added as configuration and needs executable evidence.", language: "java", framework: "JUnit 5 + AssertJ", readiness: "ready", executable: true, patterns: [/JwtIssuerValidator/i, /JwtDecoder/i, /jwtDecoder/i] },
+        { id: "jwt-signature", label: "Invalid signature rejection", hypothesis: "The configured decoder rejects a token signed with a different HS256 key.", why: "Signing-key mismatch is a critical authentication boundary not covered by the changed tests.", language: "java", framework: "JUnit 5 + AssertJ", readiness: "ready", executable: true, patterns: [/SecretKey/i, /JwtDecoder/i, /jwtDecoder/i] },
+        { id: "jwt-endpoint", label: "Endpoint authorization boundaries", hypothesis: "Protected endpoints reject anonymous requests and accept decoder-approved bearer tokens.", why: "No concrete protected controller route exists in the current repository, so Aperta will not invent an integration target.", language: "java", framework: "Spring MockMvc", readiness: "needs-context", executable: false, patterns: [/HTTP API/i, /SecurityFilterChain/i, /securityFilterChain/i] },
+    ];
+    return definitions.map((definition) => ({
+        id: definition.id, label: definition.label, hypothesis: definition.hypothesis, why: definition.why,
+        language: definition.language, framework: definition.framework, readiness: definition.readiness,
+        generatedPath: definition.id === "jwt-endpoint" ? context.generatedPath.replace("SecurityProbe", "EndpointAuthorizationProbe") : context.generatedPath,
+        source: definition.id === "jwt-endpoint" ? endpointScaffold(context.packageName) : javaSource(context.packageName, definition.id),
+        command: definition.executable ? command : undefined,
+        targetNodeIds: definition.patterns.length ? targets(graph, definition.patterns) : decoderTargets,
+    }));
+}
+export async function probeHistory(root, diffId) {
+    return (await readLedger(root)).filter((event) => event.kind === "probe" && event.diffId === diffId).sort((a, b) => b.ts.localeCompare(a.ts));
+}
+export async function executeProbe(root, diff, probe, signal) {
+    if (probe.readiness !== "ready" || !probe.command)
+        throw new Error("This probe needs repository context before it can run.");
+    const key = `${root}:${diff.id}:${probe.id}`;
+    if (active.has(key))
+        throw new Error("This probe is already running.");
+    active.add(key);
+    const temp = await mkdtemp(join(tmpdir(), "aperta-probe-"));
+    const isolatedRoot = join(temp, "repo");
+    const started = Date.now();
+    let exitCode = 0;
+    let output = "";
+    try {
+        await cp(root, isolatedRoot, { recursive: true, filter: (source) => {
+                const parts = relative(root, source).split(sep);
+                return !parts.some((part) => [".git", ".comprehension", "node_modules", "target", "build", ".gradle"].includes(part));
+            } });
+        const destination = join(isolatedRoot, probe.generatedPath);
+        await mkdir(dirname(destination), { recursive: true });
+        await writeFile(destination, probe.source, "utf8");
+        try {
+            await chmod(join(isolatedRoot, "mvnw"), 0o755);
+        }
+        catch { }
+        try {
+            const result = await execFileAsync("./mvnw", ["-q", "-Dtest=ApertaGeneratedSecurityProbeTest", "test"], { cwd: isolatedRoot, timeout: 5 * 60_000, maxBuffer: 4 * 1024 * 1024, env: safeEnvironment(), signal });
+            output = `${result.stdout}${result.stderr}`;
+        }
+        catch (error) {
+            const failure = error;
+            exitCode = typeof failure.code === "number" ? failure.code : null;
+            output = `${failure.stdout ?? ""}${failure.stderr ?? ""}${failure.killed ? "\nProbe timed out after five minutes." : ""}`;
+        }
+    }
+    finally {
+        await rm(temp, { recursive: true, force: true });
+        active.delete(key);
+    }
+    if (signal?.aborted)
+        throw new Error("Probe canceled");
+    const cleaned = cleanExecutionOutput(output);
+    const status = exitCode === 0 ? "proven" : /Tests run:|Failures:|AssertionError|expected:/i.test(cleaned) ? "disproven" : "inconclusive";
+    const event = {
+        ...eventBase(root, diff.branch), kind: "probe", diffId: diff.id, probeId: probe.id, label: probe.label, status,
+        command: probe.command, durationMs: Date.now() - started, exitCode, output: cleaned, generatedPath: probe.generatedPath,
+        sourceHash: createHash("sha256").update(probe.source).digest("hex"), targetNodeIds: probe.targetNodeIds,
+    };
+    await appendEvent(root, event);
+    return event;
+}
+//# sourceMappingURL=probes.js.map

package/dist-cli/src/probes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"probes.js","sourceRoot":"","sources":["../../src/probes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACtF,OAAO,EAAY,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AACnE,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAGjE,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEvE,MAAM,aAAa,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;AAC1C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;AASjC,MAAM,aAAa,GAAG;;;;;;;;;;;;;;;;kEAgB4C,CAAC;AAEnE,MAAM,OAAO,GAAG;;;;;;;;;;MAUV,CAAC;AAEP,SAAS,UAAU,CAAC,WAAmB,EAAE,OAAe;IACtD,MAAM,IAAI,GAAG,OAAO,KAAK,aAAa;QACpC,CAAC,CAAC;;;;;;;;;;;MAWA;QACF,CAAC,CAAC,OAAO,KAAK,YAAY;YACxB,CAAC,CAAC;;;;;;;;;;;MAWF;YACA,CAAC,CAAC;;;;;;;;;;;;;MAaF,CAAC;IACL,OAAO,WAAW,WAAW;;EAE7B,aAAa;;;;EAIb,IAAI;;EAEJ,OAAO;;CAER,CAAC;AACF,CAAC;AAED,SAAS,gBAAgB,CAAC,WAAmB;IAC3C,OAAO,WAAW,WAAW;;;;;;;CAO9B,CAAC;AACF,CAAC;AAED,SAAS,OAAO,CAAC,KAAkB,EAAE,QAAkB;IACrD,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC7I,CAAC;AAED,KAAK,UAAU,WAAW,CAAC,IAAY,EAAE,IAAe;IACtD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,8BAA8B,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACvF,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,IAAI,MAAM,GAAG,EAAE,CAAC;IAAC,IAAI,CAAC;QAAC,MAAM,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;IACvG,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,uBAAuB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/D,IAAI,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IAC9B,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,uCAAuC,CAAC,EAAE,CAAC;AAC3G,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,IAAY,EAAE,IAAe,EAAE,KAAkB;IACpF,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC9C,IAAI,CAAC,OAAO,IAAI,CAAC,gDAAgD,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAAE,OAAO,EAAE,CAAC;IAC1J,MAAM,OAAO,GAAG,wDAAwD,CAAC;IACzE,MAAM,cAAc,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC,aAAa,EAAE,kBAAkB,EAAE,aAAa,CAAC,CAAC,CAAC;IAC1F,MAAM,WAAW,GAAyI;QACxJ,EAAE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,yBAAyB,EAAE,UAAU,EAAE,uFAAuF,EAAE,GAAG,EAAE,+FAA+F,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,mBAAmB,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,aAAa,EAAE,kBAAkB,EAAE,aAAa,CAAC,EAAE;QACxZ,EAAE,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,4BAA4B,EAAE,UAAU,EAAE,sGAAsG,EAAE,GAAG,EAAE,6EAA6E,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,mBAAmB,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,qBAAqB,EAAE,aAAa,EAAE,aAAa,CAAC,EAAE;QAC1Z,EAAE,EAAE,EAAE,eAAe,EAAE,KAAK,EAAE,6BAA6B,EAAE,UAAU,EAAE,2EAA2E,EAAE,GAAG,EAAE,8FAA8F,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,mBAAmB,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,YAAY,EAAE,aAAa,EAAE,aAAa,CAAC,EAAE;QAC3Y,EAAE,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,mCAAmC,EAAE,UAAU,EAAE,0FAA0F,EAAE,GAAG,EAAE,2HAA2H,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,gBAAgB,EAAE,SAAS,EAAE,eAAe,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,WAAW,EAAE,sBAAsB,EAAE,sBAAsB,CAAC,EAAE;KACpd,CAAC;IACF,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QACtC,EAAE,EAAE,UAAU,CAAC,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,UAAU,EAAE,UAAU,CAAC,UAAU,EAAE,GAAG,EAAE,UAAU,CAAC,GAAG;QAClG,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,CAAC,SAAS,EAAE,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/F,aAAa,EAAE,UAAU,CAAC,EAAE,KAAK,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,eAAe,EAAE,4BAA4B,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa;QACtJ,MAAM,EAAE,UAAU,CAAC,EAAE,KAAK,cAAc,CAAC,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,CAAC;QACjI,OAAO,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;QACpD,aAAa,EAAE,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,cAAc;KACjG,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAY,EAAE,MAAc;IAC7D,OAAO,CAAC,MAAM,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAuB,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACrK,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAY,EAAE,IAAe,EAAE,KAAsB,EAAE,MAAoB;IAC5G,IAAI,KAAK,CAAC,SAAS,KAAK,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC7H,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,IAAI,CAAC,EAAE,IAAI,KAAK,CAAC,EAAE,EAAE,CAAC;IAC7C,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;IACvE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChB,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,eAAe,CAAC,CAAC,CAAC;IAC5D,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,QAAQ,GAAkB,CAAC,CAAC;IAAC,IAAI,MAAM,GAAG,EAAE,CAAC;IACjD,IAAI,CAAC;QACH,MAAM,EAAE,CAAC,IAAI,EAAE,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE;gBACjE,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAChD,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,gBAAgB,EAAE,cAAc,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;YACxH,CAAC,EAAE,CAAC,CAAC;QACL,MAAM,WAAW,GAAG,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;QAC5D,MAAM,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACvD,MAAM,SAAS,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACnD,IAAI,CAAC;YAAC,MAAM,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC,CAAA,CAAC;QAChE,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,yCAAyC,EAAE,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,GAAG,MAAM,EAAE,SAAS,EAAE,CAAC,GAAG,IAAI,GAAG,IAAI,EAAE,GAAG,EAAE,eAAe,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YAChN,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QAC9C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,OAAO,GAAG,KAA+F,CAAC;YAChH,QAAQ,GAAG,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YAClE,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,IAAI,EAAE,GAAG,OAAO,CAAC,MAAM,IAAI,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,uCAAuC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QAC5H,CAAC;IACH,CAAC;YAAS,CAAC;QAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAAC,CAAC;IACnF,IAAI,MAAM,EAAE,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAC;IACvD,MAAM,OAAO,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAyB,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,gDAAgD,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC;IAC/J,MAAM,KAAK,GAAe;QACxB,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM;QAC9G,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa;QACvH,UAAU,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa;KACxG,CAAC;IACF,MAAM,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist-cli/src/prompt.js

@@ -0,0 +1,44 @@
+async function singleKey(valid, timeoutMs) {
+    if (!process.stdin.isTTY)
+        return null;
+    process.stdin.setRawMode(true);
+    process.stdin.resume();
+    process.stdin.setEncoding("utf8");
+    return new Promise((resolve) => {
+        let timer;
+        const finish = (value) => {
+            if (timer)
+                clearTimeout(timer);
+            process.stdin.off("data", onData);
+            process.stdin.setRawMode(false);
+            process.stdin.pause();
+            resolve(value);
+        };
+        const onData = (key) => {
+            if (key === "\u0003") {
+                finish(null);
+                process.kill(process.pid, "SIGINT");
+            }
+            else if (key === "\u001b")
+                finish(null);
+            else if (valid.has(key))
+                finish(key);
+        };
+        process.stdin.on("data", onData);
+        if (timeoutMs)
+            timer = setTimeout(() => finish(null), timeoutMs);
+    });
+}
+export async function promptAuthorship() {
+    process.stdout.write("Authorship: [a]i  [h]uman  [m]ixed  [esc] skip  ");
+    const key = await singleKey(new Set(["a", "h", "m"]));
+    process.stdout.write(key ? `${key}\n` : "skipped\n");
+    return key === "a" ? "ai" : key === "h" ? "human" : key === "m" ? "mixed" : null;
+}
+export async function promptConfidence(timeoutSeconds) {
+    process.stdout.write("Confidence: [1] opaque  [2] followable  [3] owned  [esc] skip  ");
+    const key = await singleKey(new Set(["1", "2", "3"]), timeoutSeconds * 1000);
+    process.stdout.write(key ? `${key}\n` : "unrated\n");
+    return key ? Number(key) : null;
+}
+//# sourceMappingURL=prompt.js.map

package/dist-cli/src/prompt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompt.js","sourceRoot":"","sources":["../../src/prompt.ts"],"names":[],"mappings":"AAEA,KAAK,UAAU,SAAS,CAAC,KAAkB,EAAE,SAAkB;IAC7D,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACtC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC/B,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;IACvB,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IAClC,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;QAC7B,IAAI,KAAiC,CAAC;QACtC,MAAM,MAAM,GAAG,CAAC,KAAoB,EAAE,EAAE;YACtC,IAAI,KAAK;gBAAE,YAAY,CAAC,KAAK,CAAC,CAAC;YAC/B,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAClC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAChC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;YACtB,OAAO,CAAC,KAAK,CAAC,CAAC;QACjB,CAAC,CAAC;QACF,MAAM,MAAM,GAAG,CAAC,GAAW,EAAE,EAAE;YAC7B,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;gBACrB,MAAM,CAAC,IAAI,CAAC,CAAC;gBACb,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;YACtC,CAAC;iBAAM,IAAI,GAAG,KAAK,QAAQ;gBAAE,MAAM,CAAC,IAAI,CAAC,CAAC;iBACrC,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,CAAC;QACvC,CAAC,CAAC;QACF,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACjC,IAAI,SAAS;YAAE,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB;IACpC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,kDAAkD,CAAC,CAAC;IACzE,MAAM,GAAG,GAAG,MAAM,SAAS,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACtD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACrD,OAAO,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AACnF,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,cAAsB;IAC3D,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,iEAAiE,CAAC,CAAC;IACxF,MAAM,GAAG,GAAG,MAAM,SAAS,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,cAAc,GAAG,IAAI,CAAC,CAAC;IAC7E,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACrD,OAAO,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAoB,CAAC,CAAC,CAAC,IAAI,CAAC;AACrD,CAAC"}

package/dist-cli/src/proof-graph.js

@@ -0,0 +1,123 @@
+import { listAgentRuns } from "./agent-harness.js";
+import { readLedger } from "./ledger.js";
+function unique(values) { return [...new Set(values.filter(Boolean))]; }
+function latestTimestamp(values) {
+    return values.filter((value) => Boolean(value)).sort().at(-1) ?? null;
+}
+function intersects(left, right) {
+    const paths = new Set(left);
+    return right.filter((path) => paths.has(path));
+}
+function summaryForRun(run) {
+    return run.summary?.trim() || run.understanding?.changedBehavior?.trim() || run.intent.trim() || "Agent repository change";
+}
+function runEvidence(run) {
+    const skill = [{ id: `run:${run.id}:skill:${run.skill.id}`, kind: "skill", label: run.skill.label, status: "selected", detail: `${run.skill.description} Proof contract: ${run.skill.proof.map((item) => item.text).join(" ")}`, ts: run.createdAt }];
+    const verification = run.verification.attempts.flatMap((attempt) => attempt.checks.map((check) => ({
+        id: `run:${run.id}:check:${attempt.index}:${check.id}`,
+        kind: "verification",
+        label: check.label,
+        status: check.status,
+        detail: `${check.command} · ${check.status}${check.exitCode == null ? "" : ` (exit ${check.exitCode})`}`,
+        ts: attempt.ts,
+    })));
+    const capabilities = run.capabilities.map((capability) => ({
+        id: `run:${run.id}:capability:${capability.id}`,
+        kind: "capability",
+        label: capability.label,
+        status: capability.status,
+        detail: capability.summary,
+        ts: capability.ts,
+    }));
+    const understanding = run.understanding?.completedAt ? [{
+            id: `run:${run.id}:understanding`,
+            kind: "ownership",
+            label: "Understanding demonstrated",
+            status: "completed",
+            detail: `${Object.values(run.understanding.responses).filter((answer) => answer.trim()).length} ownership responses retained locally.`,
+            ts: run.understanding.completedAt,
+        }] : [];
+    return [...skill, ...verification, ...capabilities, ...understanding];
+}
+function claimForRun(run) {
+    const evidence = runEvidence(run);
+    const files = unique(run.files.map((file) => file.path));
+    if (!files.length && !evidence.length)
+        return null;
+    const passed = run.verification.status === "passed";
+    const failed = run.verification.status === "failed";
+    const understood = Boolean(run.understanding?.completedAt);
+    const supported = evidence.some((item) => item.kind === "capability" && ["passed", "reachable", "running", "success"].includes(item.status));
+    const status = failed ? "regressed" : passed ? "proven" : understood ? "understood" : supported ? "supported" : "unproven";
+    const assuranceAt = latestTimestamp(evidence.filter((item) => ["passed", "completed", "reachable", "running", "success"].includes(item.status)).map((item) => item.ts));
+    return {
+        id: `run:${run.id}`, source: "agent-run", title: run.intent.trim() || "Agent task", detail: summaryForRun(run), ts: run.createdAt,
+        files, status, evidence, assuranceAt, invalidatedFiles: [],
+    };
+}
+function claimForDiff(diff, events) {
+    const proofs = events.filter((event) => event.kind === "proof" && event.diffId === diff.id);
+    const ownership = events.filter((event) => event.kind === "ownership-evidence" && event.diffId === diff.id);
+    const completions = events.filter((event) => event.kind === "session-complete" && event.diffId === diff.id);
+    const evidence = [
+        ...proofs.map((proof) => ({ id: `diff:${diff.id}:proof:${proof.id}`, kind: "proof", label: proof.command, status: proof.status, detail: `${proof.runner} proof ${proof.status} in ${(proof.durationMs / 1000).toFixed(1)}s.`, ts: proof.ts })),
+        ...ownership.map((item) => ({ id: `diff:${diff.id}:ownership:${item.id}`, kind: "ownership", label: "Ownership evidence", status: item.completedCount >= item.requiredCount ? "completed" : "partial", detail: `${item.completedCount}/${item.requiredCount} required answers completed.`, ts: item.ts })),
+        ...completions.map((item) => ({ id: `diff:${diff.id}:completion:${item.id}`, kind: "completion", label: "Ownership session", status: "completed", detail: `Confidence ${item.score}/3 with ${item.evidenceCount} evidence responses.`, ts: item.ts })),
+    ];
+    const latestProof = proofs.slice().sort((a, b) => b.ts.localeCompare(a.ts))[0];
+    const understood = ownership.some((item) => item.completedCount >= item.requiredCount) || completions.length > 0;
+    const status = latestProof?.status === "regressed" ? "regressed" : latestProof?.status === "proven" ? "proven" : understood ? "understood" : "unproven";
+    const assuranceAt = latestTimestamp(evidence.filter((item) => item.status === "proven" || item.status === "completed").map((item) => item.ts));
+    const title = diff.files.map((file) => file.path.split("/").at(-1)).slice(0, 2).join(", ") || "Captured repository change";
+    return { id: `diff:${diff.id}`, source: "captured-change", title, detail: `${diff.files.length} captured file${diff.files.length === 1 ? "" : "s"} · ${diff.model ?? diff.authorship}`, ts: diff.ts, files: unique(diff.files.map((file) => file.path)), status, evidence, assuranceAt, invalidatedFiles: [] };
+}
+function applyInvalidation(claim, changes) {
+    if (!claim.files.length)
+        return claim;
+    const currentAt = claim.assuranceAt ?? claim.ts;
+    const invalidator = changes
+        .filter((change) => change.id !== claim.id && change.ts > currentAt && intersects(claim.files, change.files).length)
+        .sort((a, b) => b.ts.localeCompare(a.ts))[0];
+    if (!invalidator)
+        return claim;
+    return { ...claim, status: "stale", invalidatedAt: invalidator.ts, invalidatedBy: invalidator.title, invalidatedFiles: intersects(claim.files, invalidator.files) };
+}
+export function buildRepositoryProofGraph(runs, events, generatedAt = new Date().toISOString()) {
+    const diffs = events.filter((event) => event.kind === "diff");
+    const initialClaims = [...runs.map(claimForRun).filter((claim) => Boolean(claim)), ...diffs.map((diff) => claimForDiff(diff, events))];
+    const changes = [
+        ...runs.filter((run) => run.files.length).map((run) => ({ id: `run:${run.id}`, ts: run.finishedAt ?? run.createdAt, title: run.intent.trim() || "A later agent run", files: run.files.map((file) => file.path) })),
+        ...diffs.map((diff) => ({ id: `diff:${diff.id}`, ts: diff.ts, title: diff.files.map((file) => file.path.split("/").at(-1)).slice(0, 2).join(", ") || "A later captured change", files: diff.files.map((file) => file.path) })),
+    ];
+    const claims = initialClaims.map((claim) => applyInvalidation(claim, changes)).sort((a, b) => b.ts.localeCompare(a.ts));
+    const nodes = [];
+    const edges = [];
+    const nodeIds = new Set();
+    const addNode = (node) => { if (!nodeIds.has(node.id)) {
+        nodeIds.add(node.id);
+        nodes.push(node);
+    } };
+    for (const claim of claims) {
+        addNode({ id: claim.id, kind: "claim", label: claim.title, status: claim.status, detail: claim.detail });
+        for (const path of claim.files) {
+            const fileId = `file:${path}`;
+            addNode({ id: fileId, kind: "file", label: path.split("/").at(-1) ?? path, status: claim.status, path });
+            edges.push({ from: claim.id, to: fileId, relation: "affects" });
+        }
+        for (const evidence of claim.evidence) {
+            addNode({ id: evidence.id, kind: "evidence", label: evidence.label, status: evidence.status, detail: evidence.detail });
+            const relation = evidence.kind === "ownership" || evidence.kind === "completion" ? "understands" : evidence.kind === "capability" || evidence.kind === "skill" ? "observes" : "proves";
+            edges.push({ from: evidence.id, to: claim.id, relation });
+        }
+        if (claim.invalidatedAt)
+            for (const path of claim.invalidatedFiles)
+                edges.push({ from: `file:${path}`, to: claim.id, relation: "invalidates" });
+    }
+    const count = (status) => claims.filter((claim) => claim.status === status).length;
+    return { generatedAt, claims, nodes, edges, summary: { claims: claims.length, proven: count("proven"), understood: count("understood"), supported: count("supported"), stale: count("stale"), regressed: count("regressed"), unproven: count("unproven"), coveredFiles: new Set(claims.flatMap((claim) => claim.files)).size } };
+}
+export async function loadRepositoryProofGraph(root) {
+    const [runs, events] = await Promise.all([listAgentRuns(root, Number.POSITIVE_INFINITY), readLedger(root)]);
+    return buildRepositoryProofGraph(runs, events);
+}
+//# sourceMappingURL=proof-graph.js.map

package/dist-cli/src/proof-graph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-graph.js","sourceRoot":"","sources":["../../src/proof-graph.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAiB,MAAM,oBAAoB,CAAC;AAClE,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAgEzC,SAAS,MAAM,CAAC,MAAgB,IAAI,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClF,SAAS,eAAe,CAAC,MAAiC;IACxD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AACzF,CAAC;AACD,SAAS,UAAU,CAAC,IAAc,EAAE,KAAe;IACjD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAC5B,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;AACjD,CAAC;AACD,SAAS,aAAa,CAAC,GAAa;IAClC,OAAO,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,aAAa,EAAE,eAAe,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,yBAAyB,CAAC;AAC7H,CAAC;AAED,SAAS,WAAW,CAAC,GAAa;IAChC,MAAM,KAAK,GAAG,CAAC,EAAE,EAAE,EAAE,OAAO,GAAG,CAAC,EAAE,UAAU,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAgB,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,WAAW,oBAAoB,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC;IAC/P,MAAM,YAAY,GAAG,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACjG,EAAE,EAAE,OAAO,GAAG,CAAC,EAAE,UAAU,OAAO,CAAC,KAAK,IAAI,KAAK,CAAC,EAAE,EAAE;QACtD,IAAI,EAAE,cAAuB;QAC7B,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,MAAM,EAAE,GAAG,KAAK,CAAC,OAAO,MAAM,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,CAAC,QAAQ,GAAG,EAAE;QACxG,EAAE,EAAE,OAAO,CAAC,EAAE;KACf,CAAC,CAAC,CAAC,CAAC;IACL,MAAM,YAAY,GAAG,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QACzD,EAAE,EAAE,OAAO,GAAG,CAAC,EAAE,eAAe,UAAU,CAAC,EAAE,EAAE;QAC/C,IAAI,EAAE,YAAqB;QAC3B,KAAK,EAAE,UAAU,CAAC,KAAK;QACvB,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,MAAM,EAAE,UAAU,CAAC,OAAO;QAC1B,EAAE,EAAE,UAAU,CAAC,EAAE;KAClB,CAAC,CAAC,CAAC;IACJ,MAAM,aAAa,GAAG,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;YACtD,EAAE,EAAE,OAAO,GAAG,CAAC,EAAE,gBAAgB;YACjC,IAAI,EAAE,WAAoB;YAC1B,KAAK,EAAE,4BAA4B;YACnC,MAAM,EAAE,WAAW;YACnB,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,wCAAwC;YACtI,EAAE,EAAE,GAAG,CAAC,aAAa,CAAC,WAAW;SAClC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACR,OAAO,CAAC,GAAG,KAAK,EAAE,GAAG,YAAY,EAAE,GAAG,YAAY,EAAE,GAAG,aAAa,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,WAAW,CAAC,GAAa;IAChC,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACzD,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACnD,MAAM,MAAM,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,KAAK,QAAQ,CAAC;IACpD,MAAM,MAAM,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,KAAK,QAAQ,CAAC;IACpD,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC;IAC3D,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7I,MAAM,MAAM,GAA0B,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC;IAClJ,MAAM,WAAW,GAAG,eAAe,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACxK,OAAO;QACL,EAAE,EAAE,OAAO,GAAG,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,YAAY,EAAE,MAAM,EAAE,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,SAAS;QACjI,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,gBAAgB,EAAE,EAAE;KAC3D,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,IAAe,EAAE,MAAqB;IAC1D,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAuB,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;IACjH,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,oBAAoB,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7I,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAiC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,kBAAkB,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3I,MAAM,QAAQ,GAA8B;QAC1C,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,IAAI,CAAC,EAAE,UAAU,KAAK,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAgB,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,UAAU,KAAK,CAAC,MAAM,OAAO,CAAC,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;QACvP,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,IAAI,CAAC,EAAE,cAAc,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,WAAoB,EAAE,KAAK,EAAE,oBAAoB,EAAE,MAAM,EAAE,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,aAAa,8BAA8B,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QACnT,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,IAAI,CAAC,EAAE,eAAe,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,YAAqB,EAAE,KAAK,EAAE,mBAAmB,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,cAAc,IAAI,CAAC,KAAK,WAAW,IAAI,CAAC,aAAa,sBAAsB,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;KAChQ,CAAC;IACF,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/E,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;IACjH,MAAM,MAAM,GAA0B,WAAW,EAAE,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC;IAC/K,MAAM,WAAW,GAAG,eAAe,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/I,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,4BAA4B,CAAC;IAC3H,OAAO,EAAE,EAAE,EAAE,QAAQ,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,iBAAiB,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,iBAAiB,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,gBAAgB,EAAE,EAAE,EAAE,CAAC;AACjT,CAAC;AAED,SAAS,iBAAiB,CAAC,KAA2B,EAAE,OAAuB;IAC7E,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,EAAE,CAAC;IAChD,MAAM,WAAW,GAAG,OAAO;SACxB,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,IAAI,MAAM,CAAC,EAAE,GAAG,SAAS,IAAI,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC;SACnH,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/C,IAAI,CAAC,WAAW;QAAE,OAAO,KAAK,CAAC;IAC/B,OAAO,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,WAAW,CAAC,EAAE,EAAE,aAAa,EAAE,WAAW,CAAC,KAAK,EAAE,gBAAgB,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;AACtK,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,IAAgB,EAAE,MAAqB,EAAE,WAAW,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;IACvH,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAsB,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IAClF,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAiC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACtK,MAAM,OAAO,GAAmB;QAC9B,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,SAAS,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,mBAAmB,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClN,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,yBAAyB,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;KAC/N,CAAC;IACF,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACxH,MAAM,KAAK,GAA0B,EAAE,CAAC;IACxC,MAAM,KAAK,GAA0B,EAAE,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,OAAO,GAAG,CAAC,IAAyB,EAAE,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAAC,CAAC,CAAC,CAAC,CAAC;IAC1H,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,OAAO,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QACzG,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,QAAQ,IAAI,EAAE,CAAC;YAC9B,OAAO,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YACzG,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;QAClE,CAAC;QACD,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACtC,OAAO,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;YACxH,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,KAAK,WAAW,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC;YACvL,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC5D,CAAC;QACD,IAAI,KAAK,CAAC,aAAa;YAAE,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,gBAAgB;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,IAAI,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,CAAC;IAClJ,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,MAA6B,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IAC1G,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE,YAAY,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;AACnU,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAAC,IAAY;IACzD,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,iBAAiB,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5G,OAAO,yBAAyB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AACjD,CAAC"}

package/dist-cli/src/proof.js

@@ -0,0 +1,99 @@
+import { execFile } from "node:child_process";
+import { promisify } from "node:util";
+import { access, mkdir, readFile } from "node:fs/promises";
+import { basename, join } from "node:path";
+import { appendEvent, eventBase, readLedger } from "./ledger.js";
+import { currentBranch } from "./git.js";
+import { cleanExecutionOutput, safeEnvironment } from "./execution.js";
+import { privateCachePath } from "./storage.js";
+const execFileAsync = promisify(execFile);
+const running = new Set();
+async function exists(path) { try {
+    await access(path);
+    return true;
+}
+catch {
+    return false;
+} }
+function coveredNodes(graph) {
+    const tests = new Set(graph.nodes.filter((node) => node.kind === "test").map((node) => node.id));
+    return [...new Set([...tests, ...graph.edges.filter((edge) => edge.kind === "covers" && tests.has(edge.from)).map((edge) => edge.to)])];
+}
+export async function buildProofPlan(root, diff, graph) {
+    const javaTests = diff.files.filter((file) => /(?:Test|Tests)\.java$/.test(file.path)).map((file) => basename(file.path, ".java")).filter((name) => /^[A-Za-z_$][\w$]*$/.test(name));
+    const jsTests = diff.files.filter((file) => /(^|\/)(test|tests|__tests__)(\/|$)|\.(test|spec)\.[cm]?[jt]sx?$/i.test(file.path)).map((file) => file.path);
+    const proposedProbes = graph.unproven.map((label, index) => ({ id: `probe-${index + 1}`, label, reason: "No executed evidence currently covers this behavior." }));
+    const base = { available: true, scope: "Relevant changed tests", tests: javaTests.length ? javaTests : jsTests, coveredNodeIds: coveredNodes(graph), proposedProbes };
+    if (await exists(join(root, "pom.xml"))) {
+        const wrapper = await exists(join(root, "mvnw"));
+        const args = ["-q", ...(javaTests.length ? [`-Dtest=${javaTests.join(",")}`] : []), "test"];
+        return { ...base, runner: "maven", executable: wrapper ? "./mvnw" : "mvn", args, command: `${wrapper ? "./mvnw" : "mvn"} ${args.join(" ")}`, scope: javaTests.length ? `${javaTests.length} changed Java test class${javaTests.length === 1 ? "" : "es"}` : "Full Maven test suite" };
+    }
+    if (await exists(join(root, "build.gradle")) || await exists(join(root, "build.gradle.kts"))) {
+        const wrapper = await exists(join(root, "gradlew"));
+        const args = ["test", ...javaTests.flatMap((name) => ["--tests", `*${name}`])];
+        return { ...base, runner: "gradle", executable: wrapper ? "./gradlew" : "gradle", args, command: `${wrapper ? "./gradlew" : "gradle"} ${args.join(" ")}`, scope: javaTests.length ? `${javaTests.length} changed Java test class${javaTests.length === 1 ? "" : "es"}` : "Full Gradle test suite" };
+    }
+    if (await exists(join(root, "package.json"))) {
+        const manifest = JSON.parse(await readFile(join(root, "package.json"), "utf8"));
+        if (!manifest.scripts?.test)
+            return { ...base, available: false, scope: "No test script found" };
+        const runner = await exists(join(root, "pnpm-lock.yaml")) ? "pnpm" : await exists(join(root, "yarn.lock")) ? "yarn" : "npm";
+        const executable = runner;
+        const args = runner === "npm" ? ["test"] : ["test"];
+        return { ...base, runner, executable, args, command: `${runner} test`, scope: "Project test script" };
+    }
+    return { ...base, available: false, scope: "No supported Java or TypeScript test runner detected" };
+}
+export async function runProof(root, diff, plan, signal) {
+    if (!plan.available || !plan.runner || !plan.executable || !plan.args || !plan.command)
+        throw new Error("No supported proof runner is available for this capture.");
+    const key = `${root}:${diff.id}`;
+    if (running.has(key))
+        throw new Error("Proof is already running for this capture.");
+    running.add(key);
+    const started = Date.now();
+    let exitCode = 0;
+    let output = "";
+    try {
+        const result = await execFileAsync(plan.executable, plan.args, { cwd: root, timeout: 5 * 60_000, maxBuffer: 4 * 1024 * 1024, env: safeEnvironment(), signal });
+        output = `${result.stdout}${result.stderr}`;
+    }
+    catch (error) {
+        const failure = error;
+        exitCode = typeof failure.code === "number" ? failure.code : null;
+        output = `${failure.stdout ?? ""}${failure.stderr ?? ""}${failure.killed ? "\nProof timed out after five minutes." : ""}`;
+    }
+    finally {
+        running.delete(key);
+    }
+    if (signal?.aborted)
+        throw new Error("Proof canceled");
+    const event = {
+        ...eventBase(root, diff.branch || await currentBranch(root)), kind: "proof", diffId: diff.id, runner: plan.runner, command: plan.command,
+        status: exitCode === 0 ? "proven" : exitCode === null ? "inconclusive" : "regressed", exitCode, durationMs: Date.now() - started,
+        output: cleanExecutionOutput(output), coveredNodeIds: exitCode === 0 ? plan.coveredNodeIds : [],
+    };
+    await appendEvent(root, event);
+    if (exitCode === 0 && plan.runner === "maven" && plan.executable) {
+        const semanticDir = privateCachePath(root, "semantic");
+        await mkdir(semanticDir, { recursive: true });
+        try {
+            await execFileAsync(plan.executable, ["-q", "dependency:build-classpath", `-Dmdep.outputFile=${join(semanticDir, "java-classpath.txt")}`], { cwd: root, timeout: 90_000, maxBuffer: 1024 * 1024, env: safeEnvironment(), signal });
+        }
+        catch { }
+    }
+    return event;
+}
+export async function proofHistory(root, diffId) {
+    return (await readLedger(root)).filter((event) => event.kind === "proof" && event.diffId === diffId).sort((a, b) => b.ts.localeCompare(a.ts));
+}
+export function nodeVerdicts(graph, latest) {
+    const covered = new Set(latest?.coveredNodeIds ?? []);
+    return graph.nodes.map((node) => ({
+        nodeId: node.id,
+        verdict: latest?.status === "regressed" && graph.edges.some((edge) => edge.kind === "covers" && edge.to === node.id) ? "regressed"
+            : covered.has(node.id) ? "proven" : node.status === "related" ? "inferred" : "unproven",
+    }));
+}
+//# sourceMappingURL=proof.js.map

package/dist-cli/src/proof.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof.js","sourceRoot":"","sources":["../../src/proof.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACjE,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAGzC,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEhD,MAAM,aAAa,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;AAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;AAclC,KAAK,UAAU,MAAM,CAAC,IAAY,IAAI,IAAI,CAAC;IAAC,MAAM,MAAM,CAAC,IAAI,CAAC,CAAC;IAAC,OAAO,IAAI,CAAC;AAAC,CAAC;AAAC,MAAM,CAAC;IAAC,OAAO,KAAK,CAAC;AAAC,CAAC,CAAC,CAAC;AAExG,SAAS,YAAY,CAAC,KAAkB;IACtC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACjG,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1I,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,IAAY,EAAE,IAAe,EAAE,KAAkB;IACpF,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACrL,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,kEAAkE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzJ,MAAM,cAAc,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,SAAS,KAAK,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,sDAAsD,EAAE,CAAC,CAAC,CAAC;IACnK,MAAM,IAAI,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,wBAAwB,EAAE,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,EAAE,cAAc,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,cAAc,EAAE,CAAC;IACtK,IAAI,MAAM,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QAC5F,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,MAAM,2BAA2B,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,uBAAuB,EAAE,CAAC;IACxR,CAAC;IACD,IAAI,MAAM,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC,IAAI,MAAM,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC,EAAE,CAAC;QAC7F,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/E,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,MAAM,2BAA2B,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,wBAAwB,EAAE,CAAC;IACtS,CAAC;IACD,IAAI,MAAM,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC;QAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QAChF,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI;YAAE,OAAO,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,sBAAsB,EAAE,CAAC;QACjG,MAAM,MAAM,GAAyB,MAAM,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;QAClJ,MAAM,UAAU,GAAG,MAAM,CAAC;QAC1B,MAAM,IAAI,GAAG,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACpD,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,OAAO,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC;IACxG,CAAC;IACD,OAAO,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,sDAAsD,EAAE,CAAC;AACtG,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,IAAY,EAAE,IAAe,EAAE,IAAe,EAAE,MAAoB;IACjG,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IACpK,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;IACjC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IACpF,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACjB,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,QAAQ,GAAkB,CAAC,CAAC;IAChC,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,GAAG,MAAM,EAAE,SAAS,EAAE,CAAC,GAAG,IAAI,GAAG,IAAI,EAAE,GAAG,EAAE,eAAe,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QAC/J,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;IAC9C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,KAA+F,CAAC;QAChH,QAAQ,GAAG,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QAClE,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,IAAI,EAAE,GAAG,OAAO,CAAC,MAAM,IAAI,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,uCAAuC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IAC5H,CAAC;YAAS,CAAC;QAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAAC,CAAC;IAClC,IAAI,MAAM,EAAE,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAC;IACvD,MAAM,KAAK,GAAe;QACxB,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,IAAI,MAAM,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO;QACxI,MAAM,EAAE,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO;QAChI,MAAM,EAAE,oBAAoB,CAAC,MAAM,CAAC,EAAE,cAAc,EAAE,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE;KAChG,CAAC;IACF,MAAM,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,IAAI,QAAQ,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACjE,MAAM,WAAW,GAAG,gBAAgB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACvD,MAAM,KAAK,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9C,IAAI,CAAC;YAAC,MAAM,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,4BAA4B,EAAE,qBAAqB,IAAI,CAAC,WAAW,EAAE,oBAAoB,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,GAAG,IAAI,EAAE,GAAG,EAAE,eAAe,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC,CAAA,CAAC;IACtP,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAY,EAAE,MAAc;IAC7D,OAAO,CAAC,MAAM,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAuB,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACrK,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,KAAkB,EAAE,MAAmB;IAClE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,EAAE,cAAc,IAAI,EAAE,CAAC,CAAC;IACtD,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAChC,MAAM,EAAE,IAAI,CAAC,EAAE;QACf,OAAO,EAAE,MAAM,EAAE,MAAM,KAAK,WAAW,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW;YAChI,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;KAC1F,CAAC,CAAC,CAAC;AACN,CAAC"}

package/dist-cli/src/registry.js

@@ -0,0 +1,60 @@
+import { createHash } from "node:crypto";
+import { homedir } from "node:os";
+import { basename, join, resolve } from "node:path";
+import { mkdir, readFile, rename, stat, writeFile } from "node:fs/promises";
+function registryDir() { return process.env.APERTA_HOME ? resolve(process.env.APERTA_HOME) : join(homedir(), ".aperta"); }
+function registryFile() { return join(registryDir(), "projects.json"); }
+export function projectId(root) { return createHash("sha256").update(resolve(root)).digest("hex").slice(0, 16); }
+async function readRaw() {
+    try {
+        const parsed = JSON.parse(await readFile(registryFile(), "utf8"));
+        return Array.isArray(parsed.projects) ? parsed.projects : [];
+    }
+    catch (error) {
+        if (error.code === "ENOENT")
+            return [];
+        throw error;
+    }
+}
+async function writeRegistry(projects) {
+    await mkdir(registryDir(), { recursive: true });
+    const temporary = join(registryDir(), `projects.${process.pid}.tmp`);
+    await writeFile(temporary, `${JSON.stringify({ version: 1, projects }, null, 2)}\n`, "utf8");
+    await rename(temporary, registryFile());
+}
+export async function registerProject(root, now = new Date()) {
+    const canonical = resolve(root);
+    const projects = await readRaw();
+    const id = projectId(canonical);
+    const existing = projects.find((project) => project.id === id);
+    const entry = {
+        id, name: basename(canonical), root: canonical,
+        addedAt: existing?.addedAt ?? now.toISOString(), lastOpenedAt: now.toISOString(),
+    };
+    await writeRegistry([entry, ...projects.filter((project) => project.id !== id)]);
+    return entry;
+}
+export async function listProjects() {
+    const projects = await readRaw();
+    return Promise.all(projects.map(async (project) => {
+        try {
+            const git = await stat(join(project.root, ".git"));
+            return { ...project, available: git.isDirectory() || git.isFile() };
+        }
+        catch {
+            return { ...project, available: false };
+        }
+    }));
+}
+export async function resolveProject(id, fallbackRoot) {
+    const fallbackId = projectId(fallbackRoot);
+    const projects = await listProjects();
+    const fallback = projects.find((entry) => entry.id === fallbackId) ?? await registerProject(fallbackRoot);
+    if (!id || id === fallback.id)
+        return fallback;
+    const project = projects.find((entry) => entry.id === id && entry.available);
+    if (!project)
+        throw new Error("Project is not registered or is unavailable");
+    return project;
+}
+//# sourceMappingURL=registry.js.map

package/dist-cli/src/registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../src/registry.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAW5E,SAAS,WAAW,KAAa,OAAO,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;AAClI,SAAS,YAAY,KAAa,OAAO,IAAI,CAAC,WAAW,EAAE,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC;AAChF,MAAM,UAAU,SAAS,CAAC,IAAY,IAAY,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;AAEjI,KAAK,UAAU,OAAO;IACpB,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,YAAY,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;QAClE,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,EAAE,CAAC;QAClE,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,QAA6B;IACxD,MAAM,KAAK,CAAC,WAAW,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,EAAE,YAAY,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC;IACrE,MAAM,SAAS,CAAC,SAAS,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC7F,MAAM,MAAM,CAAC,SAAS,EAAE,YAAY,EAAE,CAAC,CAAC;AAC1C,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,IAAY,EAAE,GAAG,GAAG,IAAI,IAAI,EAAE;IAClE,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAG,MAAM,OAAO,EAAE,CAAC;IACjC,MAAM,EAAE,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAsB;QAC/B,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,SAAS;QAC9C,OAAO,EAAE,QAAQ,EAAE,OAAO,IAAI,GAAG,CAAC,WAAW,EAAE,EAAE,YAAY,EAAE,GAAG,CAAC,WAAW,EAAE;KACjF,CAAC;IACF,MAAM,aAAa,CAAC,CAAC,KAAK,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IACjF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,YAAY;IAChC,MAAM,QAAQ,GAAG,MAAM,OAAO,EAAE,CAAC;IACjC,OAAO,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;QAChD,IAAI,CAAC;YAAC,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;YAAC,OAAO,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,GAAG,CAAC,WAAW,EAAE,IAAI,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC;QAAC,CAAC;QAChI,MAAM,CAAC;YAAC,OAAO,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;QAAC,CAAC;IACpD,CAAC,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,EAAsB,EAAE,YAAoB;IAC/E,MAAM,UAAU,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,MAAM,YAAY,EAAE,CAAC;IACtC,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,UAAU,CAAC,IAAI,MAAM,eAAe,CAAC,YAAY,CAAC,CAAC;IAC1G,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,QAAQ,CAAC,EAAE;QAAE,OAAO,QAAQ,CAAC;IAC/C,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC;IAC7E,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IAC7E,OAAO,OAAO,CAAC;AACjB,CAAC"}