@rigour-labs/core 6.8.1 → 6.9.0-rc.2

package/dist/task/thread.d.ts

@@ -1,6 +1,6 @@
 /** Under the repository's git folder (the common one, shared by every worktree). */
 export declare const THREADS_DIR = "rigour/threads";
-export type TaskEventKind = 'edit-check' | 'stop-review' | 'push' | 'review' | 'brief';
+export type TaskEventKind = 'edit-check' | 'stop-review' | 'push' | 'review' | 'brief' | 'goal' | 'merge' | 'outcome';
 export interface TaskEvent {
     kind: TaskEventKind;
     /** The agent session it happened in, when a hook knows it. */
@@ -29,6 +29,14 @@ export declare function taskOf(cwd: string): {
 } | undefined;
 /** Appends one event to the checkout's task thread. Best effort: a thread never breaks the hook or command it runs in. */
 export declare function appendTaskEvent(cwd: string, event: TaskEvent): ThreadEvent | undefined;
+/** Every thread's events of one kind, oldest first: what the outcome loop reads across tasks (the reviews that found a lesson repeated). */
+export declare function eventsOfKind(cwd: string, kind: TaskEventKind): ThreadEvent[];
+/**
+ * Appends one event to a named branch's thread, under the task its own events carry: what happened to a pull request
+ * after it merged, recorded from wherever the outcome was read. Only a thread that already exists is written: a branch
+ * this machine never worked on gets none. Best effort, like appendTaskEvent.
+ */
+export declare function appendBranchEvent(cwd: string, branch: string, event: TaskEvent): ThreadEvent | undefined;
 /**
  * The thread for a key, oldest first: a ticket (`PROJ-123`, every branch whose events carry it, from their first
  * event), a branch name, a pull request (`#42` or `42`: the branches a review of it ran on), or nothing for the

package/dist/task/thread.js

@@ -99,6 +99,35 @@ export function appendTaskEvent(cwd, event) {
         return undefined;
     }
 }
+/** Every thread's events of one kind, oldest first: what the outcome loop reads across tasks (the reviews that found a lesson repeated). */
+export function eventsOfKind(cwd, kind) {
+    const dir = threadsDir(cwd);
+    if (!dir)
+        return [];
+    return listThreads(dir).flatMap(file => readEvents(path.join(dir, file))).filter(e => e.kind === kind).sort(byTime);
+}
+/**
+ * Appends one event to a named branch's thread, under the task its own events carry: what happened to a pull request
+ * after it merged, recorded from wherever the outcome was read. Only a thread that already exists is written: a branch
+ * this machine never worked on gets none. Best effort, like appendTaskEvent.
+ */
+export function appendBranchEvent(cwd, branch, event) {
+    try {
+        const dir = threadsDir(cwd);
+        if (!dir || !branch)
+            return undefined;
+        const file = path.join(dir, branchFile(branch));
+        const last = readEvents(file).at(-1);
+        if (!last)
+            return undefined;
+        const line = { at: new Date().toISOString(), task: last.task, branch, ...event };
+        fs.appendFileSync(file, JSON.stringify(line) + '\n');
+        return line;
+    }
+    catch {
+        return undefined;
+    }
+}
 /**
  * The thread for a key, oldest first: a ticket (`PROJ-123`, every branch whose events carry it, from their first
  * event), a branch name, a pull request (`#42` or `42`: the branches a review of it ran on), or nothing for the
@@ -184,7 +213,10 @@ function describe(e) {
         : e.kind === 'stop-review' ? (e.blocked ? `blocked: ${num(e.blocking)} to fix` : 'passed')
             : e.kind === 'push' ? (e.passed === false ? `blocked: ${num(e.failed)} check(s) failed` : 'passed')
                 : e.kind === 'review' ? `${String(e.outcome)}, ${num(e.blocking)} blocking, ${num(e.should_fix)} should-fix${e.pr ? ` on #${e.pr}` : ''}`
-                    : e.kind === 'brief' ? `${num(e.items)} item(s) briefed` : '';
+                    : e.kind === 'brief' ? `${num(e.items)} item(s) briefed`
+                        : e.kind === 'goal' ? `at ${String(e.moment)}: ${e.declared ? `${num(e.blocks)} goal block(s)` : 'the description declares no goal'}`
+                            : e.kind === 'merge' ? `#${num(e.pr)} merged as ${String(e.merge_sha).slice(0, 9)}`
+                                : e.kind === 'outcome' ? `#${num(e.pr)} settled: CI ${String(e.ci)}, ${num(e.fixes)} fix(es) in ${num(e.follow_ups)} later commit(s)${e.reverted ? ', reverted' : ''}` : '';
     return [what, who ? `(${who})` : '', e.head ? `@${String(e.head).slice(0, 9)}` : ''].filter(Boolean).join(' ');
 }
 function readEvents(file) {

package/dist/templates/universal-config.js

@@ -279,9 +279,13 @@ export const UNIVERSAL_CONFIG = {
         enabled: true,
         max_items: 10,
     },
+    learning: {
+        outcomes: { mode: 'off', window_days: 30, demote_after: 2 },
+    },
     review: {
         include_heuristics: false,
         show_preexisting: false,
+        goal: 'off',
         reviewer: {
             enabled: false,
             on_push: 'background',

package/dist/types/fix-packet.d.ts

@@ -194,8 +194,8 @@ export declare const FixPacketV2Schema: z.ZodObject<{
         allowed_dependencies?: string[] | undefined;
     }>>>;
 }, "strip", z.ZodTypeAny, {
-    version: 3;
     goal: string;
+    version: 3;
     failed_gates: string[];
     violations: {
         id: string;

package/dist/types/index.d.ts

@@ -2412,12 +2412,50 @@ export declare const ConfigSchema: z.ZodObject<{
         enabled?: boolean | undefined;
         max_items?: number | undefined;
     }>>>;
+    /** What Rigour learns from, beyond the reviews themselves. */
+    learning: z.ZodDefault<z.ZodOptional<z.ZodObject<{
+        /** What happened after each pull request merged (outcomes/outcome.ts): CI on the merge commit, later commits on its files, a revert. */
+        outcomes: z.ZodDefault<z.ZodOptional<z.ZodObject<{
+            /** off, on, or required (no person, environment variable or flag may turn it off). */
+            mode: z.ZodDefault<z.ZodOptional<z.ZodEnum<["off", "on", "required"]>>>;
+            /** How long after a merge later commits count, in days. */
+            window_days: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
+            /** How many later pull requests, independent and settled clean after a review found them repeating a lesson, demote it (review-learning/outcome-evidence.ts). */
+            demote_after: z.ZodDefault<z.ZodOptional<z.ZodNumber>>;
+        }, "strip", z.ZodTypeAny, {
+            mode: "off" | "on" | "required";
+            window_days: number;
+            demote_after: number;
+        }, {
+            mode?: "off" | "on" | "required" | undefined;
+            window_days?: number | undefined;
+            demote_after?: number | undefined;
+        }>>>;
+    }, "strip", z.ZodTypeAny, {
+        outcomes: {
+            mode: "off" | "on" | "required";
+            window_days: number;
+            demote_after: number;
+        };
+    }, {
+        outcomes?: {
+            mode?: "off" | "on" | "required" | undefined;
+            window_days?: number | undefined;
+            demote_after?: number | undefined;
+        } | undefined;
+    }>>>;
     /** rigour review / rigour_review / the PR bot / the stop hook. */
     review: z.ZodDefault<z.ZodOptional<z.ZodObject<{
         /** Let heuristic gates decide the verdict too; by default only findings that prove a defect do (quiet.ts). */
         include_heuristics: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
         /** Also report findings the base already had; by default only what the change introduced is (baseline.ts). */
         show_preexisting: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
+        /**
+         * Check the change against the goal its pull request's description declares (goal/goal.ts): a changed file
+         * outside the declared Scope or inside Out of scope, a "Done when" item naming a file or symbol the change never
+         * touches. Deterministic; a finding blocks. `required` stops a person, the environment or a flag turning it off.
+         */
+        goal: z.ZodDefault<z.ZodOptional<z.ZodEnum<["off", "on", "required"]>>>;
         /** The GitHub account whose token fetches the pull request's previous review (`gh auth token --user`). */
         github_account: z.ZodOptional<z.ZodString>;
         /** The reviewer (review/reviewer.ts): the person's own coding-agent CLIs, headless and read-only. `enabled` runs it at push; `rigour review --reviewer` runs it on request. */
@@ -2567,6 +2605,7 @@ export declare const ConfigSchema: z.ZodObject<{
     }, "strip", z.ZodTypeAny, {
         include_heuristics: boolean;
         show_preexisting: boolean;
+        goal: "off" | "on" | "required";
         reviewer: {
             enabled: boolean;
             mode: "single" | "cross" | "full";
@@ -2600,6 +2639,7 @@ export declare const ConfigSchema: z.ZodObject<{
     }, {
         include_heuristics?: boolean | undefined;
         show_preexisting?: boolean | undefined;
+        goal?: "off" | "on" | "required" | undefined;
         github_account?: string | undefined;
         reviewer?: {
             enabled?: boolean | undefined;
@@ -2890,9 +2930,17 @@ export declare const ConfigSchema: z.ZodObject<{
         enabled: boolean;
         max_items: number;
     };
+    learning: {
+        outcomes: {
+            mode: "off" | "on" | "required";
+            window_days: number;
+            demote_after: number;
+        };
+    };
     review: {
         include_heuristics: boolean;
         show_preexisting: boolean;
+        goal: "off" | "on" | "required";
         reviewer: {
             enabled: boolean;
             mode: "single" | "cross" | "full";
@@ -3186,9 +3234,17 @@ export declare const ConfigSchema: z.ZodObject<{
         enabled?: boolean | undefined;
         max_items?: number | undefined;
     } | undefined;
+    learning?: {
+        outcomes?: {
+            mode?: "off" | "on" | "required" | undefined;
+            window_days?: number | undefined;
+            demote_after?: number | undefined;
+        } | undefined;
+    } | undefined;
     review?: {
         include_heuristics?: boolean | undefined;
         show_preexisting?: boolean | undefined;
+        goal?: "off" | "on" | "required" | undefined;
         github_account?: string | undefined;
         reviewer?: {
             enabled?: boolean | undefined;

package/dist/types/index.js

@@ -372,12 +372,30 @@ export const ConfigSchema = z.object({
         /** At most this many items, never more than 10. */
         max_items: z.number().int().min(1).max(10).optional().default(10),
     }).optional().default({}),
+    /** What Rigour learns from, beyond the reviews themselves. */
+    learning: z.object({
+        /** What happened after each pull request merged (outcomes/outcome.ts): CI on the merge commit, later commits on its files, a revert. */
+        outcomes: z.object({
+            /** off, on, or required (no person, environment variable or flag may turn it off). */
+            mode: z.enum(['off', 'on', 'required']).optional().default('off'),
+            /** How long after a merge later commits count, in days. */
+            window_days: z.number().int().min(7).max(90).optional().default(30),
+            /** How many later pull requests, independent and settled clean after a review found them repeating a lesson, demote it (review-learning/outcome-evidence.ts). */
+            demote_after: z.number().int().min(2).optional().default(2),
+        }).optional().default({}),
+    }).optional().default({}),
     /** rigour review / rigour_review / the PR bot / the stop hook. */
     review: z.object({
         /** Let heuristic gates decide the verdict too; by default only findings that prove a defect do (quiet.ts). */
         include_heuristics: z.boolean().optional().default(false),
         /** Also report findings the base already had; by default only what the change introduced is (baseline.ts). */
         show_preexisting: z.boolean().optional().default(false),
+        /**
+         * Check the change against the goal its pull request's description declares (goal/goal.ts): a changed file
+         * outside the declared Scope or inside Out of scope, a "Done when" item naming a file or symbol the change never
+         * touches. Deterministic; a finding blocks. `required` stops a person, the environment or a flag turning it off.
+         */
+        goal: z.enum(['off', 'on', 'required']).optional().default('off'),
         /** The GitHub account whose token fetches the pull request's previous review (`gh auth token --user`). */
         github_account: z.string().optional(),
         /** The reviewer (review/reviewer.ts): the person's own coding-agent CLIs, headless and read-only. `enabled` runs it at push; `rigour review --reviewer` runs it on request. */

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rigour-labs/core",
-  "version": "6.8.1",
+  "version": "6.9.0-rc.2",
   "description": "Rigour's review engine: deterministic gates on changed lines, rules and lessons learned from your team's fixes, and per-check precision from what you fix versus dismiss, across TypeScript, JavaScript, Python, Go, Ruby and C#.",
   "engines": {
     "node": ">=22.13"
@@ -75,11 +75,11 @@
     "@anthropic-ai/sdk": "^0.132.1",
     "pg": "^8.16.3",
     "openai": "^5.23.2",
-    "@rigour-labs/brain-darwin-arm64": "6.8.1",
-    "@rigour-labs/brain-linux-arm64": "6.8.1",
-    "@rigour-labs/brain-darwin-x64": "6.8.1",
-    "@rigour-labs/brain-linux-x64": "6.8.1",
-    "@rigour-labs/brain-win-x64": "6.8.1"
+    "@rigour-labs/brain-darwin-arm64": "6.9.0-rc.2",
+    "@rigour-labs/brain-darwin-x64": "6.9.0-rc.2",
+    "@rigour-labs/brain-linux-arm64": "6.9.0-rc.2",
+    "@rigour-labs/brain-linux-x64": "6.9.0-rc.2",
+    "@rigour-labs/brain-win-x64": "6.9.0-rc.2"
   },
   "devDependencies": {
     "@types/fs-extra": "^11.0.4",