@astrosheep/keiyaku 4.0.0 → 4.0.2

package/build/src/protocol/read/audit.d.ts

@@ -1,25 +0,0 @@
-import type { GitRepository } from "../../git/repository.js";
-import type { ContractId, ContractState, FactKind, Gate, JournalEntry } from "../../core/facts/types.js";
-export type { FactKind } from "../../core/facts/types.js";
-export type TimelineEntry = Readonly<{
-    kind: FactKind;
-    at: string;
-    sincePrior: number | null;
-    attestation?: Readonly<{
-        gate: Gate;
-        verdict: "satisfied" | "unsatisfied";
-        summary?: string;
-    }>;
-}>;
-export type AuditReport = Readonly<{
-    reworks: number;
-    reviews: number;
-    timeline: readonly TimelineEntry[];
-}>;
-type AuditRead = Readonly<{
-    state: ContractState | null;
-    entries: readonly JournalEntry[];
-    report: AuditReport;
-}>;
-export declare function auditReport(entries: readonly JournalEntry[], reviewed: Gate): AuditReport;
-export declare function readAudit(repository: GitRepository, contract: ContractId, reviewed: Gate): AuditRead;

package/build/src/protocol/read/audit.js

@@ -1,39 +0,0 @@
-import { observeContract } from "../../git/observe.js";
-function elapsedSince(prior, current) {
-    if (prior === undefined)
-        return null;
-    const priorMs = Date.parse(prior);
-    const currentMs = Date.parse(current);
-    return currentMs - priorMs;
-}
-export function auditReport(entries, reviewed) {
-    let reworks = 0;
-    let reviews = 0;
-    const timeline = entries.map((entry, index) => {
-        if (entry.kind === "deliver")
-            reworks += 1;
-        if (entry.kind === "attestation" && entry.data.gate === reviewed)
-            reviews += 1;
-        return {
-            kind: entry.kind,
-            at: entry.at,
-            sincePrior: elapsedSince(entries[index - 1]?.at, entry.at),
-            ...(entry.kind === "attestation" ? {
-                attestation: {
-                    gate: entry.data.gate,
-                    verdict: entry.data.verdict,
-                    ...(entry.data.summary === undefined ? {} : { summary: entry.data.summary }),
-                },
-            } : {}),
-        };
-    });
-    return { reworks, reviews, timeline };
-}
-export function readAudit(repository, contract, reviewed) {
-    const observation = observeContract(repository, contract);
-    return {
-        state: observation.state,
-        entries: observation.entries,
-        report: auditReport(observation.entries, reviewed),
-    };
-}

package/build/src/verification/producer.d.ts

@@ -1,23 +0,0 @@
-import type { AttestationData } from "../core/facts/types.js";
-import type { VerificationDeclaration } from "./declaration.js";
-type VerificationVerdict = AttestationData["verdict"];
-export type VerificationTerminalOutcome = Readonly<{
-    readonly kind: "terminal";
-    readonly verdict: VerificationVerdict;
-    readonly summary?: string;
-}>;
-export type VerificationNonterminalOutcome = Readonly<{
-    readonly kind: "timeout" | "unknown-exit";
-}> | Readonly<{
-    readonly kind: "spawn-error";
-    readonly diagnostic: string;
-}>;
-export type VerificationOutcome = VerificationTerminalOutcome | VerificationNonterminalOutcome;
-export type ProduceVerificationInput = Readonly<{
-    readonly declarations: readonly VerificationDeclaration[];
-    readonly cwd: string;
-    readonly timeoutMs: number;
-    readonly env?: NodeJS.ProcessEnv;
-}>;
-export declare function produceVerification(input: ProduceVerificationInput): Promise<VerificationOutcome>;
-export {};

package/build/src/verification/producer.js

@@ -1,54 +0,0 @@
-import { runProcess } from "../runtime/proc/run.js";
-const SUMMARY_BYTES = 32 * 1024;
-function argvFor(declaration) {
-    const args = declaration.executor === "pwsh" ? ["-Command", declaration.script] : ["-c", declaration.script];
-    return [declaration.executor, ...args];
-}
-function processDiagnostic(declaration, index, outcome) {
-    if (outcome.code === 0 && outcome.stdout.length === 0 && outcome.stderr.length === 0 && !outcome.truncated) {
-        return null;
-    }
-    return [
-        `[${index + 1} ${declaration.executor} exit ${outcome.code}${outcome.truncated ? " output-truncated" : ""}]`,
-        ...(outcome.stdout.length === 0 ? [] : [`stdout:\n${outcome.stdout}`]),
-        ...(outcome.stderr.length === 0 ? [] : [`stderr:\n${outcome.stderr}`]),
-    ].join("\n");
-}
-function appendSummary(current, diagnostic) {
-    if (diagnostic === null)
-        return current;
-    const combined = Buffer.from(current === undefined ? diagnostic : `${current}\n\n${diagnostic}`);
-    if (combined.length <= SUMMARY_BYTES)
-        return combined.toString("utf8");
-    const marker = Buffer.from("[earlier output truncated]\n");
-    let start = combined.length - (SUMMARY_BYTES - marker.length);
-    while (start < combined.length && (combined[start] & 0xc0) === 0x80)
-        start += 1;
-    return Buffer.concat([marker, combined.subarray(start)]).toString("utf8");
-}
-export async function produceVerification(input) {
-    const deadline = performance.now() + input.timeoutMs;
-    let verdict = "satisfied";
-    let summary;
-    for (const [index, declaration] of input.declarations.entries()) {
-        const timeoutMs = deadline - performance.now();
-        if (timeoutMs <= 0)
-            return { kind: "timeout" };
-        const outcome = await runProcess({
-            argv: argvFor(declaration),
-            cwd: input.cwd,
-            timeoutMs,
-            ...(input.env === undefined ? {} : { env: input.env }),
-        });
-        if (outcome.kind === "timeout")
-            return { kind: "timeout" };
-        if (outcome.kind === "spawn-error")
-            return { kind: "spawn-error", diagnostic: outcome.diagnostic };
-        if (outcome.kind === "unknown-exit")
-            return { kind: "unknown-exit" };
-        if (outcome.code !== 0)
-            verdict = "unsatisfied";
-        summary = appendSummary(summary, processDiagnostic(declaration, index, outcome));
-    }
-    return { kind: "terminal", verdict, ...(summary === undefined ? {} : { summary }) };
-}