pi-harness-runtime 1.1.451 → 1.1.453

package/packages/file-copy-helper/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@moocoding/file-copy-helper",
-  "version": "1.1.451",
+  "version": "1.1.453",
   "description": "Injects cp/sudo cp rule when user asks to mimic/copy files",
   "type": "module",
   "main": "dist/index.js",

package/packages/intent-analyzer/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pi/intent-analyzer",
-  "version": "1.1.451",
+  "version": "1.1.453",
   "type": "module",
   "main": "src/index.ts",
   "exports": {

package/packages/jev-judge/dist/batch-plan.d.ts

@@ -0,0 +1,150 @@
+/**
+ * The batches of a large job.
+ *
+ * A large job does not run in one piece. It starts with a measured pilot
+ * and continues in bounded batches, and the state of every batch is kept
+ * so a failure resumes instead of restarting.
+ *
+ * Every number here is either given or measured. The harness never
+ * estimates a duration from a number it invented: an estimate needs a
+ * measured cost per record, and without one the estimate is unknown.
+ */
+/** The kind of a batch. */
+export type BatchKind = "pilot" | "scale-up";
+/** The state of a batch. */
+export type BatchStatus = "pending" | "running" | "done" | "failed";
+/**
+ * One batch of a large job.
+ */
+export interface Batch {
+    /** The id of the batch. */
+    id: string;
+    /** The kind of the batch. */
+    kind: BatchKind;
+    /** The first record of the batch (inclusive). */
+    from: number;
+    /** The last record of the batch (inclusive). */
+    to: number;
+    /** The number of records of the batch. */
+    records: number;
+    /** The state of the batch. */
+    status: BatchStatus;
+    /** How often the batch was tried. */
+    attempts: number;
+    /** The measured duration of the batch. */
+    durationMs?: number;
+    /** The reason of a failure. */
+    failure?: string;
+}
+/**
+ * The plan of a large job.
+ *
+ * The limits are explicit: the size of the pilot, the size of a batch,
+ * the number of batches that may run at the same time and the budget.
+ */
+export interface BatchPlan {
+    /** The number of records of the whole job. */
+    totalRecords: number;
+    /** The number of records of the representative pilot. */
+    pilotRecords: number;
+    /** The maximum number of records of a scale-up batch. */
+    maxBatchRecords: number;
+    /** The maximum number of batches that may run at the same time. */
+    maxConcurrentBatches: number;
+    /**
+     * The measured cost of one record, in milliseconds.
+     *
+     * Without a measured cost the estimated duration of the job is
+     * unknown, and the plan says so.
+     */
+    msPerRecord?: number;
+    /** The budget of the whole job, in minutes. */
+    budgetMinutes?: number;
+    /** How often a failed batch is tried again. */
+    maxAttempts?: number;
+}
+/**
+ * The progress of the batches.
+ */
+export interface BatchProgress {
+    /** The batches that are done. */
+    done: number;
+    /** The batches that failed. */
+    failed: number;
+    /** The batches that still have to run. */
+    pending: number;
+    /** The records that are done. */
+    recordsDone: number;
+    /** The records of the whole job. */
+    recordsTotal: number;
+    /** The measured duration of the finished batches. */
+    durationMs: number;
+}
+/**
+ * The batches of a job.
+ *
+ * The first batch is the pilot. The rest are the scale-up, in the order
+ * of the records.
+ */
+export declare function buildBatches(plan: BatchPlan): Batch[];
+/**
+ * The estimated duration of the whole job.
+ *
+ * The estimate needs a measured cost per record. Without one the answer
+ * is unknown: the plan never guesses a duration.
+ */
+export declare function estimateJobMs(plan: BatchPlan): number | undefined;
+/**
+ * May the scale-up start?
+ *
+ * The pilot has to be done and it has to have passed. A failed pilot
+ * stops the job: the plan never scales up on a failure.
+ */
+export declare function mayStartScaleUp(batches: Batch[]): boolean;
+/**
+ * The batches that may run now.
+ *
+ * The scale-up waits for the pilot, the limit of parallel batches is
+ * respected, and a batch that already used up its attempts is never
+ * offered again.
+ */
+export declare function nextBatches(batches: Batch[], plan: BatchPlan): Batch[];
+/**
+ * The result of one batch attempt.
+ */
+export interface BatchResult {
+    /** The id of the batch. */
+    id: string;
+    /** Did the batch succeed? */
+    ok: boolean;
+    /** The measured duration of the attempt. */
+    durationMs?: number;
+    /** The reason of a failure. */
+    failure?: string;
+}
+/**
+ * Record the result of a batch attempt.
+ *
+ * A failed batch keeps its place: the batches that are done are never
+ * repeated, and a failed batch is tried again until it used up its
+ * attempts.
+ */
+export declare function recordBatchResult(batches: Batch[], result: BatchResult): Batch[];
+/**
+ * The progress of the batches.
+ */
+export declare function batchProgress(batches: Batch[]): BatchProgress;
+/**
+ * Is the job over the budget?
+ *
+ * The budget is a limit, not a wish: a job that spent it stops and
+ * reports. A budget that was never measured cannot be spent.
+ */
+export declare function overBudget(plan: BatchPlan, elapsedMs: number | undefined): boolean;
+/**
+ * The description of the batches, for the status line.
+ *
+ * The line is plain ASCII and names the measured facts.
+ */
+export declare function describeBatches(batches: Batch[]): string;
+//# sourceMappingURL=batch-plan.d.ts.map

package/packages/jev-judge/dist/batch-plan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"batch-plan.d.ts","sourceRoot":"","sources":["../src/batch-plan.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,2BAA2B;AAC3B,MAAM,MAAM,SAAS,GAAG,OAAO,GAAG,UAAU,CAAC;AAE7C,4BAA4B;AAC5B,MAAM,MAAM,WAAW,GAAG,SAAS,GAAG,SAAS,GAAG,MAAM,GAAG,QAAQ,CAAC;AAEpE;;GAEG;AACH,MAAM,WAAW,KAAK;IACrB,2BAA2B;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,6BAA6B;IAC7B,IAAI,EAAE,SAAS,CAAC;IAChB,iDAAiD;IACjD,IAAI,EAAE,MAAM,CAAC;IACb,gDAAgD;IAChD,EAAE,EAAE,MAAM,CAAC;IACX,0CAA0C;IAC1C,OAAO,EAAE,MAAM,CAAC;IAChB,8BAA8B;IAC9B,MAAM,EAAE,WAAW,CAAC;IACpB,qCAAqC;IACrC,QAAQ,EAAE,MAAM,CAAC;IACjB,0CAA0C;IAC1C,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,+BAA+B;IAC/B,OAAO,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;;;GAKG;AACH,MAAM,WAAW,SAAS;IACzB,8CAA8C;IAC9C,YAAY,EAAE,MAAM,CAAC;IACrB,yDAAyD;IACzD,YAAY,EAAE,MAAM,CAAC;IACrB,yDAAyD;IACzD,eAAe,EAAE,MAAM,CAAC;IACxB,mEAAmE;IACnE,oBAAoB,EAAE,MAAM,CAAC;IAC7B;;;;;OAKG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,+CAA+C;IAC/C,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,+CAA+C;IAC/C,WAAW,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC7B,iCAAiC;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,+BAA+B;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,0CAA0C;IAC1C,OAAO,EAAE,MAAM,CAAC;IAChB,iCAAiC;IACjC,WAAW,EAAE,MAAM,CAAC;IACpB,oCAAoC;IACpC,YAAY,EAAE,MAAM,CAAC;IACrB,qDAAqD;IACrD,UAAU,EAAE,MAAM,CAAC;CACnB;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,SAAS,GAAG,KAAK,EAAE,CAiCrD;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,GAAG,SAAS,CAIjE;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,OAAO,CAIzD;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,GAAG,KAAK,EAAE,CAiBtE;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC3B,2BAA2B;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,6BAA6B;IAC7B,EAAE,EAAE,OAAO,CAAC;IACZ,4CAA4C;IAC5C,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,+BAA+B;IAC/B,OAAO,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,WAAW,GAAG,KAAK,EAAE,CAYhF;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,aAAa,CAyB7D;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CACzB,IAAI,EAAE,SAAS,EACf,SAAS,EAAE,MAAM,GAAG,SAAS,GAC3B,OAAO,CAIT;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,MAAM,CAQxD"}

package/packages/jev-judge/dist/batch-plan.js

@@ -0,0 +1,192 @@
+/**
+ * The batches of a large job.
+ *
+ * A large job does not run in one piece. It starts with a measured pilot
+ * and continues in bounded batches, and the state of every batch is kept
+ * so a failure resumes instead of restarting.
+ *
+ * Every number here is either given or measured. The harness never
+ * estimates a duration from a number it invented: an estimate needs a
+ * measured cost per record, and without one the estimate is unknown.
+ */
+/**
+ * The batches of a job.
+ *
+ * The first batch is the pilot. The rest are the scale-up, in the order
+ * of the records.
+ */
+export function buildBatches(plan) {
+    const batches = [];
+    if (plan.totalRecords <= 0)
+        return batches;
+    const pilotRecords = Math.max(0, Math.min(plan.pilotRecords, plan.totalRecords));
+    if (pilotRecords > 0) {
+        batches.push({
+            id: "batch-1",
+            kind: "pilot",
+            from: 1,
+            to: pilotRecords,
+            records: pilotRecords,
+            status: "pending",
+            attempts: 0,
+        });
+    }
+    const maxBatch = Math.max(1, plan.maxBatchRecords);
+    let from = pilotRecords + 1;
+    let index = 2;
+    while (from <= plan.totalRecords) {
+        const to = Math.min(from + maxBatch - 1, plan.totalRecords);
+        batches.push({
+            id: `batch-${index}`,
+            kind: "scale-up",
+            from,
+            to,
+            records: to - from + 1,
+            status: "pending",
+            attempts: 0,
+        });
+        from = to + 1;
+        index += 1;
+    }
+    return batches;
+}
+/**
+ * The estimated duration of the whole job.
+ *
+ * The estimate needs a measured cost per record. Without one the answer
+ * is unknown: the plan never guesses a duration.
+ */
+export function estimateJobMs(plan) {
+    if (plan.msPerRecord === undefined)
+        return undefined;
+    if (plan.totalRecords <= 0)
+        return 0;
+    return Math.round(plan.msPerRecord * plan.totalRecords);
+}
+/**
+ * May the scale-up start?
+ *
+ * The pilot has to be done and it has to have passed. A failed pilot
+ * stops the job: the plan never scales up on a failure.
+ */
+export function mayStartScaleUp(batches) {
+    const pilot = batches.find((batch) => batch.kind === "pilot");
+    if (!pilot)
+        return true;
+    return pilot.status === "done";
+}
+/**
+ * The batches that may run now.
+ *
+ * The scale-up waits for the pilot, the limit of parallel batches is
+ * respected, and a batch that already used up its attempts is never
+ * offered again.
+ */
+export function nextBatches(batches, plan) {
+    const running = batches.filter((batch) => batch.status === "running").length;
+    let free = Math.max(0, plan.maxConcurrentBatches - running);
+    if (free === 0)
+        return [];
+    const candidates = batches.filter((batch) => {
+        if (batch.status === "done")
+            return false;
+        if (batch.status === "running")
+            return false;
+        if (batch.kind === "scale-up" && !mayStartScaleUp(batches))
+            return false;
+        if (batch.attempts >= (plan.maxAttempts ?? 1))
+            return false;
+        return true;
+    });
+    // The pilot comes first: it is the batch that proves the job.
+    candidates.sort((a, b) => {
+        if (a.kind !== b.kind)
+            return a.kind === "pilot" ? -1 : 1;
+        return a.from - b.from;
+    });
+    return candidates.slice(0, free).map((batch) => ({ ...batch, status: "running" }));
+}
+/**
+ * Record the result of a batch attempt.
+ *
+ * A failed batch keeps its place: the batches that are done are never
+ * repeated, and a failed batch is tried again until it used up its
+ * attempts.
+ */
+export function recordBatchResult(batches, result) {
+    return batches.map((batch) => {
+        if (batch.id !== result.id)
+            return batch;
+        const next = {
+            ...batch,
+            status: result.ok ? "done" : "failed",
+            attempts: batch.attempts + 1,
+        };
+        if (result.durationMs !== undefined)
+            next.durationMs = result.durationMs;
+        if (result.failure !== undefined)
+            next.failure = result.failure;
+        return next;
+    });
+}
+/**
+ * The progress of the batches.
+ */
+export function batchProgress(batches) {
+    let done = 0;
+    let failed = 0;
+    let pending = 0;
+    let recordsDone = 0;
+    let durationMs = 0;
+    for (const batch of batches) {
+        if (batch.status === "done") {
+            done += 1;
+            recordsDone += batch.records;
+        }
+        else if (batch.status === "failed") {
+            failed += 1;
+        }
+        else {
+            pending += 1;
+        }
+        if (batch.durationMs !== undefined)
+            durationMs += batch.durationMs;
+    }
+    return {
+        done,
+        failed,
+        pending,
+        recordsDone,
+        recordsTotal: batches.reduce((sum, batch) => sum + batch.records, 0),
+        durationMs,
+    };
+}
+/**
+ * Is the job over the budget?
+ *
+ * The budget is a limit, not a wish: a job that spent it stops and
+ * reports. A budget that was never measured cannot be spent.
+ */
+export function overBudget(plan, elapsedMs) {
+    if (plan.budgetMinutes === undefined)
+        return false;
+    if (elapsedMs === undefined)
+        return false;
+    return elapsedMs > plan.budgetMinutes * 60_000;
+}
+/**
+ * The description of the batches, for the status line.
+ *
+ * The line is plain ASCII and names the measured facts.
+ */
+export function describeBatches(batches) {
+    const progress = batchProgress(batches);
+    const parts = [
+        `batch ${progress.done + progress.failed}/${batches.length}`,
+        `${progress.recordsDone}/${progress.recordsTotal} records`,
+    ];
+    if (progress.failed > 0)
+        parts.push(`${progress.failed} failed`);
+    return parts.join(" | ");
+}
+//# sourceMappingURL=batch-plan.js.map

package/packages/jev-judge/dist/batch-plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"batch-plan.js","sourceRoot":"","sources":["../src/batch-plan.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AA8EH;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,IAAe;IAC3C,MAAM,OAAO,GAAY,EAAE,CAAC;IAC5B,IAAI,IAAI,CAAC,YAAY,IAAI,CAAC;QAAE,OAAO,OAAO,CAAC;IAC3C,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;IACjF,IAAI,YAAY,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO,CAAC,IAAI,CAAC;YACZ,EAAE,EAAE,SAAS;YACb,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,CAAC;YACP,EAAE,EAAE,YAAY;YAChB,OAAO,EAAE,YAAY;YACrB,MAAM,EAAE,SAAS;YACjB,QAAQ,EAAE,CAAC;SACX,CAAC,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;IACnD,IAAI,IAAI,GAAG,YAAY,GAAG,CAAC,CAAC;IAC5B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,OAAO,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QAClC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,QAAQ,GAAG,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;QAC5D,OAAO,CAAC,IAAI,CAAC;YACZ,EAAE,EAAE,SAAS,KAAK,EAAE;YACpB,IAAI,EAAE,UAAU;YAChB,IAAI;YACJ,EAAE;YACF,OAAO,EAAE,EAAE,GAAG,IAAI,GAAG,CAAC;YACtB,MAAM,EAAE,SAAS;YACjB,QAAQ,EAAE,CAAC;SACX,CAAC,CAAC;QACH,IAAI,GAAG,EAAE,GAAG,CAAC,CAAC;QACd,KAAK,IAAI,CAAC,CAAC;IACZ,CAAC;IACD,OAAO,OAAO,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,IAAe;IAC5C,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACrD,IAAI,IAAI,CAAC,YAAY,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC;IACrC,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC;AACzD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,OAAgB;IAC/C,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IAC9D,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,OAAO,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC;AAChC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAAC,OAAgB,EAAE,IAAe;IAC5D,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;IAC7E,IAAI,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,oBAAoB,GAAG,OAAO,CAAC,CAAC;IAC5D,IAAI,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC1B,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;QAC3C,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1C,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAC7C,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;QACzE,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAC5D,OAAO,IAAI,CAAC;IACb,CAAC,CAAC,CAAC;IACH,8DAA8D;IAC9D,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACxB,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;YAAE,OAAO,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,OAAO,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;IACxB,CAAC,CAAC,CAAC;IACH,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,SAAkB,EAAE,CAAC,CAAC,CAAC;AAC7F,CAAC;AAgBD;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAgB,EAAE,MAAmB;IACtE,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC5B,IAAI,KAAK,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE;YAAE,OAAO,KAAK,CAAC;QACzC,MAAM,IAAI,GAAU;YACnB,GAAG,KAAK;YACR,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ;YACrC,QAAQ,EAAE,KAAK,CAAC,QAAQ,GAAG,CAAC;SAC5B,CAAC;QACF,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS;YAAE,IAAI,CAAC,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;QACzE,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS;YAAE,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;QAChE,OAAO,IAAI,CAAC;IACb,CAAC,CAAC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,OAAgB;IAC7C,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAC7B,IAAI,IAAI,CAAC,CAAC;YACV,WAAW,IAAI,KAAK,CAAC,OAAO,CAAC;QAC9B,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACtC,MAAM,IAAI,CAAC,CAAC;QACb,CAAC;aAAM,CAAC;YACP,OAAO,IAAI,CAAC,CAAC;QACd,CAAC;QACD,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS;YAAE,UAAU,IAAI,KAAK,CAAC,UAAU,CAAC;IACpE,CAAC;IACD,OAAO;QACN,IAAI;QACJ,MAAM;QACN,OAAO;QACP,WAAW;QACX,YAAY,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACpE,UAAU;KACV,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CACzB,IAAe,EACf,SAA6B;IAE7B,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACnD,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC1C,OAAO,SAAS,GAAG,IAAI,CAAC,aAAa,GAAG,MAAM,CAAC;AAChD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,OAAgB;IAC/C,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG;QACb,SAAS,QAAQ,CAAC,IAAI,GAAG,QAAQ,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE;QAC5D,GAAG,QAAQ,CAAC,WAAW,IAAI,QAAQ,CAAC,YAAY,UAAU;KAC1D,CAAC;IACF,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,SAAS,CAAC,CAAC;IACjE,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC1B,CAAC"}

package/packages/jev-judge/dist/continuation-status.d.ts

@@ -0,0 +1,31 @@
+/**
+ * The lifecycle of a continuation that the harness dispatched.
+ *
+ * A continuation is a turn that the harness started itself. While that
+ * turn runs, the status says so: a timer that clears the status while the
+ * agent is still working would claim that nothing runs any more.
+ *
+ * The gate is the only thing that decides whether a continuation is still
+ * pending, so it can be read and tested without a session.
+ */
+export declare class ContinuationGate {
+    private inFlight;
+    /**
+     * A continuation was dispatched.
+     *
+     * The status stays "RUN" from here until the turn settles.
+     */
+    begin(): void;
+    /**
+     * The turn settled.
+     *
+     * @returns True when a continuation was still pending, so the caller
+     *   has to clear the status. False when there was nothing to clear.
+     */
+    settle(): boolean;
+    /**
+     * Whether a continuation is still running.
+     */
+    get pending(): boolean;
+}
+//# sourceMappingURL=continuation-status.d.ts.map

package/packages/jev-judge/dist/continuation-status.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"continuation-status.d.ts","sourceRoot":"","sources":["../src/continuation-status.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,qBAAa,gBAAgB;IAC5B,OAAO,CAAC,QAAQ,CAAS;IAEzB;;;;OAIG;IACH,KAAK,IAAI,IAAI,CAEZ;IAED;;;;;OAKG;IACH,MAAM,IAAI,OAAO,CAIhB;IAED;;OAEG;IACH,IAAI,OAAO,IAAI,OAAO,CAErB;CACD"}

package/packages/jev-judge/dist/continuation-status.js

@@ -0,0 +1,40 @@
+/**
+ * The lifecycle of a continuation that the harness dispatched.
+ *
+ * A continuation is a turn that the harness started itself. While that
+ * turn runs, the status says so: a timer that clears the status while the
+ * agent is still working would claim that nothing runs any more.
+ *
+ * The gate is the only thing that decides whether a continuation is still
+ * pending, so it can be read and tested without a session.
+ */
+export class ContinuationGate {
+    inFlight = false;
+    /**
+     * A continuation was dispatched.
+     *
+     * The status stays "RUN" from here until the turn settles.
+     */
+    begin() {
+        this.inFlight = true;
+    }
+    /**
+     * The turn settled.
+     *
+     * @returns True when a continuation was still pending, so the caller
+     *   has to clear the status. False when there was nothing to clear.
+     */
+    settle() {
+        if (!this.inFlight)
+            return false;
+        this.inFlight = false;
+        return true;
+    }
+    /**
+     * Whether a continuation is still running.
+     */
+    get pending() {
+        return this.inFlight;
+    }
+}
+//# sourceMappingURL=continuation-status.js.map

package/packages/jev-judge/dist/continuation-status.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"continuation-status.js","sourceRoot":"","sources":["../src/continuation-status.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,MAAM,OAAO,gBAAgB;IACpB,QAAQ,GAAG,KAAK,CAAC;IAEzB;;;;OAIG;IACH,KAAK;QACJ,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;IACtB,CAAC;IAED;;;;;OAKG;IACH,MAAM;QACL,IAAI,CAAC,IAAI,CAAC,QAAQ;YAAE,OAAO,KAAK,CAAC;QACjC,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC;QACtB,OAAO,IAAI,CAAC;IACb,CAAC;IAED;;OAEG;IACH,IAAI,OAAO;QACV,OAAO,IAAI,CAAC,QAAQ,CAAC;IACtB,CAAC;CACD"}

package/packages/jev-judge/dist/delegation-harness.d.ts

@@ -5,15 +5,33 @@
  * Uses inline types to avoid cross-package dependency.
  */
 import type { ExtensionAPI } from "@earendil-works/pi-coding-agent";
+import type { ScopeMeasurement, ScopeWorkGroup } from "./delegation-scope.js";
+import { type DelegationChild } from "./delegation-observer.js";
 /**
  * Extension capability for delegation (inline to avoid dependency)
  */
 export interface ExtensionCapability {
     name: string;
+    /** The tool that can dispatch a child. */
+    toolName: string;
     supportsSubagents: boolean;
+    /**
+     * The schema of the tool carries a parameter that isolates the work of
+     * a child. Without such a parameter the claim is not made.
+     */
     supportsWorkIsolation: boolean;
+    /**
+     * The schema of the tool carries a parameter that stops a child. Without
+     * such a parameter the claim is not made.
+     */
     supportsCancellation: boolean;
     availableTools: string[];
+    /**
+     * The schema of the tool was read and the tool is active.
+     *
+     * This is not a proof that a child ever ran: it says that the session
+     * can ask for one. Only a dispatch that was really sent proves that.
+     */
     verified: boolean;
 }
 /**
@@ -26,10 +44,28 @@ export type DelegationStrategy = "delegate" | "script_then_delegate" | "script_o
 export interface DelegationDecision {
     strategy: DelegationStrategy;
     reason: string;
-    workGroups: unknown[];
+    /**
+     * The groups the work falls into. They are empty unless the scope was
+     * measured: a decision without groups is not a delegation plan.
+     */
+    workGroups: ScopeWorkGroup[];
     validationExpectations: string;
     confidence: "high" | "medium" | "low";
     jevUsed: boolean;
+    /**
+     * Whether a child was really dispatched.
+     *
+     * The harness assesses the work, it does not run it: the agent is the
+     * one that sends the groups to the sub-agent tool.
+     */
+    dispatched: boolean;
+    /**
+     * The name of the active tool that can dispatch a child.
+     *
+     * It is empty when no such tool is active. The name is the proof that
+     * the dispatch is possible, not the proof that it happened.
+     */
+    dispatchTool?: string;
     reassessmentTriggers: string[];
 }
 /**
@@ -46,6 +82,11 @@ export interface ScopeFacts {
     isComplex: boolean;
     fileTypes: Record<string, number>;
     fingerprint: string;
+    /**
+     * The measured groups of the work. A delegation decision needs them:
+     * without groups there is nothing to hand to a child.
+     */
+    workGroups: ScopeWorkGroup[];
 }
 /**
  * Delegation receipt
@@ -61,6 +102,13 @@ export interface DelegationReceipt {
     updatedAt: number;
     status: "assessing" | "in_progress" | "completed" | "failed" | "cancelled";
     childIds: string[];
+    /**
+     * The children that were really dispatched.
+     *
+     * They are observed, not assumed: a child is in this list when its
+     * tool call was seen, and it carries what the extension reported.
+     */
+    children: DelegationChild[];
     pendingValidation: string[];
     userConstraints: string[];
 }
@@ -72,6 +120,39 @@ export interface DelegationHarnessConfig {
     minCallSites?: number;
     minComponents?: number;
 }
+/**
+ * Build the scope facts from a measurement.
+ *
+ * Every number is a count of something the measurement found. The
+ * estimate is the size of the workspace: it is a real number, and it says
+ * how much of the repository the measured files are.
+ */
+export declare function scopeFactsFromMeasurement(measurement: ScopeMeasurement): ScopeFacts;
+/**
+ * Build the message that hands a delegation plan to the agent.
+ *
+ * The message names the measured groups and the tool that can dispatch a
+ * child. It does not claim that anything was dispatched: the harness
+ * measured the work, the agent is the one that sends the groups out.
+ *
+ * @param decision The decision of the assessment.
+ * @returns The message, or null when there is nothing to hand out.
+ */
+export declare function buildDelegationSteer(decision: {
+    strategy: string;
+    workGroups?: {
+        id: string;
+        files: string[];
+    }[];
+    dispatchTool?: string;
+} | null): string | null;
+/**
+ * The property names of a tool schema.
+ *
+ * A schema is a plain object: the properties of the object, of every
+ * branch of a union, and of every item of an array.
+ */
+export declare function schemaPropertyNames(schema: unknown): Set<string>;
 /**
  * Create delegation harness integration
  */
@@ -79,6 +160,18 @@ export declare function createDelegationHarness(pi: ExtensionAPI, config?: Deleg
     discoverCapability: () => Promise<ExtensionCapability | null>;
     shouldAssess: (facts: ScopeFacts) => boolean;
     assess: (facts: ScopeFacts, parentTaskId: string) => Promise<DelegationDecision | null>;
+    observeToolStart: (event: {
+        toolCallId: string;
+        toolName: string;
+        args?: unknown;
+    }) => DelegationChild | null;
+    observeToolEnd: (event: {
+        toolCallId: string;
+        toolName: string;
+        result?: unknown;
+        isError?: boolean;
+    }) => DelegationChild | null;
+    getChildren: () => DelegationChild[];
     getReceipt: () => DelegationReceipt | null;
     getLastDecision: () => DelegationDecision | null;
     clear: () => void;

package/packages/jev-judge/dist/delegation-harness.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"delegation-harness.d.ts","sourceRoot":"","sources":["../src/delegation-harness.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAIpE;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,iBAAiB,EAAE,OAAO,CAAC;IAC3B,qBAAqB,EAAE,OAAO,CAAC;IAC/B,oBAAoB,EAAE,OAAO,CAAC;IAC9B,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAC1B,UAAU,GACV,sBAAsB,GACtB,aAAa,GACb,cAAc,GACd,aAAa,CAAC;AAElB;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,OAAO,EAAE,CAAC;IACtB,sBAAsB,EAAE,MAAM,CAAC;IAC/B,UAAU,EAAE,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;IACtC,OAAO,EAAE,OAAO,CAAC;IACjB,oBAAoB,EAAE,MAAM,EAAE,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,cAAc,EAAE,OAAO,CAAC;IACxB,YAAY,EAAE,OAAO,CAAC;IACtB,SAAS,EAAE,OAAO,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAClC,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;IACrB,gBAAgB,EAAE,MAAM,CAAC;IACzB,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,WAAW,GAAG,aAAa,GAAG,WAAW,GAAG,QAAQ,GAAG,WAAW,CAAC;IAC3E,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,eAAe,EAAE,MAAM,EAAE,CAAC;CAC3B;AAsDD;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAgBD;;GAEG;AACH,wBAAgB,uBAAuB,CACrC,EAAE,EAAE,YAAY,EAChB,MAAM,GAAE,uBAA4B;8BAeC,OAAO,CAAC,mBAAmB,GAAG,IAAI,CAAC;0BAmC3C,UAAU,KAAG,OAAO;oBAiExC,UAAU,gBACH,MAAM,KACnB,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC;;;;EAiDtC;AAED,MAAM,MAAM,iBAAiB,GAAG,UAAU,CAAC,OAAO,uBAAuB,CAAC,CAAC"}
+{"version":3,"file":"delegation-harness.d.ts","sourceRoot":"","sources":["../src/delegation-harness.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAGpE,OAAO,KAAK,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC9E,OAAO,EAAsB,KAAK,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAEpF;;GAEG;AACH,MAAM,WAAW,mBAAmB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,0CAA0C;IAC1C,QAAQ,EAAE,MAAM,CAAC;IACjB,iBAAiB,EAAE,OAAO,CAAC;IAC3B;;;OAGG;IACH,qBAAqB,EAAE,OAAO,CAAC;IAC/B;;;OAGG;IACH,oBAAoB,EAAE,OAAO,CAAC;IAC9B,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB;;;;;OAKG;IACH,QAAQ,EAAE,OAAO,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAC1B,UAAU,GACV,sBAAsB,GACtB,aAAa,GACb,cAAc,GACd,aAAa,CAAC;AAElB;;GAEG;AACH,MAAM,WAAW,kBAAkB;IAClC,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf;;;OAGG;IACH,UAAU,EAAE,cAAc,EAAE,CAAC;IAC7B,sBAAsB,EAAE,MAAM,CAAC;IAC/B,UAAU,EAAE,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;IACtC,OAAO,EAAE,OAAO,CAAC;IACjB;;;;;OAKG;IACH,UAAU,EAAE,OAAO,CAAC;IACpB;;;;;OAKG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,oBAAoB,EAAE,MAAM,EAAE,CAAC;CAC/B;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IAC1B,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,cAAc,EAAE,OAAO,CAAC;IACxB,YAAY,EAAE,OAAO,CAAC;IACtB,SAAS,EAAE,OAAO,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAClC,WAAW,EAAE,MAAM,CAAC;IACpB;;;OAGG;IACH,UAAU,EAAE,cAAc,EAAE,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;IACrB,gBAAgB,EAAE,MAAM,CAAC;IACzB,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,WAAW,GAAG,aAAa,GAAG,WAAW,GAAG,QAAQ,GAAG,WAAW,CAAC;IAC3E,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB;;;;;OAKG;IACH,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,eAAe,EAAE,MAAM,EAAE,CAAC;CAC3B;AAsDD;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAmBD;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CAAC,WAAW,EAAE,gBAAgB,GAAG,UAAU,CAoBnF;AAeD;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE;IACR,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,EAAE,CAAA;KAAE,EAAE,CAAC;IAC/C,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB,GAAG,IAAI,GACP,MAAM,GAAG,IAAI,CAmBf;AAyBD;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,CAoBhE;AASD;;GAEG;AACH,wBAAgB,uBAAuB,CACrC,EAAE,EAAE,YAAY,EAChB,MAAM,GAAE,uBAA4B;8BAsBC,OAAO,CAAC,mBAAmB,GAAG,IAAI,CAAC;0BA+C3C,UAAU,KAAG,OAAO;oBA6ExC,UAAU,gBACH,MAAM,KACnB,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC;8BAsDJ;QAC/B,UAAU,EAAE,MAAM,CAAC;QACnB,QAAQ,EAAE,MAAM,CAAC;QACjB,IAAI,CAAC,EAAE,OAAO,CAAC;KAChB,KAAG,eAAe,GAAG,IAAI;4BAUK;QAC7B,UAAU,EAAE,MAAM,CAAC;QACnB,QAAQ,EAAE,MAAM,CAAC;QACjB,MAAM,CAAC,EAAE,OAAO,CAAC;QACjB,OAAO,CAAC,EAAE,OAAO,CAAC;KACnB,KAAG,eAAe,GAAG,IAAI;uBAUF,eAAe,EAAE;;;;EAqC1C;AAED,MAAM,MAAM,iBAAiB,GAAG,UAAU,CAAC,OAAO,uBAAuB,CAAC,CAAC"}