tickmarkr 2.5.7 → 2.5.9

package/dist/graph/schema.d.ts

@@ -19,12 +19,22 @@ export declare const AcceptanceItemSchema: z.ZodUnion<readonly [z.ZodString, z.Z
     oracle: z.ZodLiteral<"test">;
     test: z.ZodString;
     text: z.ZodOptional<z.ZodString>;
+    landing: z.ZodOptional<z.ZodString>;
 }, z.core.$strip>, z.ZodObject<{
     oracle: z.ZodLiteral<"judge">;
     text: z.ZodString;
 }, z.core.$strip>]>;
 export type AcceptanceItem = z.infer<typeof AcceptanceItemSchema>;
 export declare function renderAcceptanceItem(item: AcceptanceItem): string;
+export declare const PinSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    kind: z.ZodLiteral<"literal">;
+    text: z.ZodString;
+    glob: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"fixture">;
+    paths: z.ZodArray<z.ZodString>;
+}, z.core.$strip>], "kind">;
+export type Pin = z.infer<typeof PinSchema>;
 export declare const TaskSchema: z.ZodObject<{
     id: z.ZodString;
     title: z.ZodString;
@@ -52,6 +62,7 @@ export declare const TaskSchema: z.ZodObject<{
         oracle: z.ZodLiteral<"test">;
         test: z.ZodString;
         text: z.ZodOptional<z.ZodString>;
+        landing: z.ZodOptional<z.ZodString>;
     }, z.core.$strip>, z.ZodObject<{
         oracle: z.ZodLiteral<"judge">;
         text: z.ZodString;
@@ -61,6 +72,14 @@ export declare const TaskSchema: z.ZodObject<{
         confidence: z.ZodOptional<z.ZodNumber>;
         reason: z.ZodOptional<z.ZodString>;
     }, z.core.$strip>>>;
+    pins: z.ZodOptional<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"literal">;
+        text: z.ZodString;
+        glob: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"fixture">;
+        paths: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>], "kind">>>;
     gates: z.ZodDefault<z.ZodArray<z.ZodEnum<{
         build: "build";
         test: "test";
@@ -144,6 +163,7 @@ export declare const RunGraphSchema: z.ZodObject<{
             oracle: z.ZodLiteral<"test">;
             test: z.ZodString;
             text: z.ZodOptional<z.ZodString>;
+            landing: z.ZodOptional<z.ZodString>;
         }, z.core.$strip>, z.ZodObject<{
             oracle: z.ZodLiteral<"judge">;
             text: z.ZodString;
@@ -153,6 +173,14 @@ export declare const RunGraphSchema: z.ZodObject<{
             confidence: z.ZodOptional<z.ZodNumber>;
             reason: z.ZodOptional<z.ZodString>;
         }, z.core.$strip>>>;
+        pins: z.ZodOptional<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"literal">;
+            text: z.ZodString;
+            glob: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"fixture">;
+            paths: z.ZodArray<z.ZodString>;
+        }, z.core.$strip>], "kind">>>;
         gates: z.ZodDefault<z.ZodArray<z.ZodEnum<{
             build: "build";
             test: "test";

package/dist/graph/schema.js

@@ -19,7 +19,9 @@ export const ORACLES = ["command", "test", "judge"];
 export const AcceptanceItemSchema = z.union([
     z.string().min(1),
     z.object({ oracle: z.literal("command"), command: z.string().min(1), text: z.string().min(1).optional() }),
-    z.object({ oracle: z.literal("test"), test: z.string().min(1), text: z.string().min(1).optional() }),
+    // v2.5.8 T8 (OBS-1064): landing = the collectable suite path a test criterion lands in, declared
+    // beside the verbatim title (never inside it). Optional; compile enforces the collectable glob.
+    z.object({ oracle: z.literal("test"), test: z.string().min(1), text: z.string().min(1).optional(), landing: z.string().min(1).optional() }),
     z.object({ oracle: z.literal("judge"), text: z.string().min(1) }),
 ]);
 // Shared text rendering of one acceptance item — every consumer (worker prompt, acceptance gate,
@@ -33,6 +35,15 @@ export function renderAcceptanceItem(item) {
         return item.text ?? `test: ${item.test}`;
     return item.text; // judge — bare text, byte-identical to a plain-string judge criterion
 }
+// v2.5.8 T7 (agreement C2): declared pin obligations — a LIMITED AUTHORING CONTRACT, not an assertion
+// analyzer. literal = an exact text plus the glob it is pinned in (every matching file holding the text
+// is obligated); fixture = a path set whose every matching file is itself obligated (byte-pinned output
+// the change will move) and which carries no literal text. Declared here because z.object strips
+// undeclared keys on every load.
+export const PinSchema = z.discriminatedUnion("kind", [
+    z.object({ kind: z.literal("literal"), text: z.string().min(1), glob: z.string().min(1) }),
+    z.object({ kind: z.literal("fixture"), paths: z.array(z.string().min(1)).min(1) }),
+]);
 export const TaskSchema = z.object({
     // ids land in git branch names and herdr pane names — branch-safe characters only, bounded
     // length (refs hit filesystem limits), and never "--" (the task-branch separator, locked
@@ -59,6 +70,7 @@ export const TaskSchema = z.object({
         reason: z.string().optional(),
     }))
         .optional(),
+    pins: z.array(PinSchema).optional(),
     gates: z
         .array(z.enum(GATE_NAMES))
         .default(["build", "test", "lint", "evidence", "scope", "acceptance", "review"])

package/dist/run/daemon.d.ts

@@ -4,6 +4,7 @@ import { type DriverChoice } from "../drivers/index.js";
 import { type ExecutorDriver, type Slot } from "../drivers/types.js";
 import { type Baseline } from "../gates/baseline.js";
 import type { GateResult } from "../gates/types.js";
+import { type RunGraph } from "../graph/schema.js";
 import { Journal, type JournalEvent } from "./journal.js";
 export declare function closeLiveSlot(liveSlots: Set<Slot>, driver: Pick<ExecutorDriver, "close">, slot: Slot): Promise<void>;
 /** Optional authoritative transport receipt. Screen text can prove execution, never nonacceptance. */
@@ -58,6 +59,8 @@ export interface RunSummary {
     pending: string[];
     blocked: string[];
     tipVerify?: "passed" | "failed";
+    /** additive beside the legacy tipVerify enum: HOW the close's latest verification cycle earned its verdict */
+    tipProof?: TipProof;
     lastMergedTask?: string;
     /** T14: did every approval this run accepted actually get enacted, or did the run end over one? */
     approvalDisposition?: "complete" | "outstanding";
@@ -165,6 +168,21 @@ export declare function resetHarvestSilentMsForTests(): void;
 export declare const HARVESTED_RESULT_SUMMARY = "harvested: the worktree carries committed work; the worker emitted no TICKMARKR_RESULT trailer";
 /** T4 (OBS-266): identity of the command SET a tip verify ran — a changed command is a different verify. */
 export declare function commandsHash(commands: Record<string, string>): string;
+export interface TipProof {
+    kind: "fresh" | "reused" | "failed" | "incomplete";
+    /** the commit the cycle's start row spoke for */
+    tip?: string;
+}
+/**
+ * OBS-1077 close rider: what the engagement's LATEST verification cycle proved — its
+ * `tip-verify-start` row and what followed, never a commit comparison. Exactly one kind per close:
+ * fresh (every tip command ran AND passed), reused (an eligible cached cycle carried forward),
+ * failed, or incomplete (cancelled, cut short, mixed or undelimited). Nothing before the start row
+ * is read, so an unfinished cycle inherits nothing from an earlier green one.
+ */
+export declare function runEndTipProof(events: readonly JournalEvent[]): TipProof;
+/** The close notification's statement of the proof — one clause per kind. */
+export declare function formatTipProof(p: TipProof): string;
 /**
  * OBS-34's strict tip verify, but it stops re-paying for an unmoved tip (~334m corpus-wide; 69.5m in
  * one park-heavy run whose 18 resume cycles merged nothing new). The verify journals the SHA it
@@ -194,4 +212,5 @@ export declare function liveSuiteCount(repoRoot: string): Promise<number>;
 /** Test seam — exercise the production observer's total read bound with a small real tree. */
 export declare function setObserveBudgetBytesForTests(bytes: number): void;
 export declare function resetObserveBudgetBytesForTests(): void;
+export declare function recordFatalRunEnd(journal: Journal, runId: string, branch: string, err: unknown, graph?: RunGraph, phase?: string): TipProof | undefined;
 export declare function runDaemon(repoRoot: string, opts?: RunOptions): Promise<RunSummary>;