@rigour-labs/core 6.11.2-rc.1 → 6.12.0-rc.1

package/dist/brief/briefing.d.ts

@@ -36,7 +36,8 @@ export declare function buildBriefing(cwd: string, input?: BriefingInput): Brief
 export declare function briefingText(briefing: Briefing): string;
 /**
  * The briefing for one file, the first time an agent edits it: the requirement rules that name it (or its folder), the
- * lessons the team learned on it, and the points the team settled against on it; at most three. At session start the
+ * lessons the team learned on it, then those a person widened to its folder or the whole repository, and the points
+ * the team settled against on it; at most three. At session start the
  * task's files are often unknown; the first edit of a file is when they are, and when a briefing can be specific.
  */
 export declare function buildFileBriefing(cwd: string, file: string, input?: {

package/dist/brief/briefing.js

@@ -7,6 +7,7 @@
  * matchers, before the code exists instead of after. It is deterministic (no model call), local, and it never blocks.
  */
 import { spawnSync } from 'child_process';
+import path from 'path';
 import { rulesForDiff } from '../review-learning/repo-rules.js';
 import { describeLesson, lessonsForDiff, lessonView, rejectedForDiff } from '../review-learning/team-lessons.js';
 import { appendTaskEvent, taskOf } from '../task/thread.js';
@@ -52,7 +53,8 @@ export function briefingText(briefing) {
 }
 /**
  * The briefing for one file, the first time an agent edits it: the requirement rules that name it (or its folder), the
- * lessons the team learned on it, and the points the team settled against on it; at most three. At session start the
+ * lessons the team learned on it, then those a person widened to its folder or the whole repository, and the points
+ * the team settled against on it; at most three. At session start the
  * task's files are often unknown; the first edit of a file is when they are, and when a briefing can be specific.
  */
 export function buildFileBriefing(cwd, file, input = {}) {
@@ -61,12 +63,14 @@ export function buildFileBriefing(cwd, file, input = {}) {
     const shape = shapeOf([file], '');
     const mode = input.lessons ?? 'verified';
     const rules = rulesForDiff(cwd, shape, true, BRIEFING_MAX_ITEMS, true).filter(r => r.requirement);
-    const lessons = lessonsForDiff(cwd, shape, mode, 0, BRIEFING_MAX_ITEMS, BRIEFING_MAX_ITEMS).filter(l => l.file === file && (l.state === 'verified' || mode === 'all'));
+    const reaches = (l) => l.file === file || l.scope === 'repo' || (l.scope === 'folder' && file.startsWith(`${path.posix.dirname(l.file)}/`));
+    const lessons = lessonsForDiff(cwd, shape, mode, 0, BRIEFING_MAX_ITEMS, BRIEFING_MAX_ITEMS).filter(l => reaches(l) && (l.state === 'verified' || mode === 'all'));
     const settled = rejectedForDiff(cwd, shape).filter(l => l.file === file);
     const cited = (prs) => (prs.length ? `learned in PR ${prs.map(p => `#${p}`).join(', ')}` : 'the team\'s decision');
     const items = [
         ...rules.map(r => ({ kind: 'rule', text: r.text, cite: ruleCite(r.source, r.scope), requirement: true, id: `rule:${r.id}` })),
-        ...lessons.map(l => ({ kind: 'lesson', text: lessonView(l).text, cite: cited(lessonView(l).prs), id: `lesson:${l.id}` })),
+        // This file's own lessons read as they are; a widened one says where it reaches (a folder, the team).
+        ...lessons.map(l => ({ kind: 'lesson', text: l.file === file && !l.scope ? lessonView(l).text : describeLesson({ ...lessonView(l), prs: [] }), cite: cited(lessonView(l).prs), id: `lesson:${l.id}` })),
         ...settled.map(l => ({ kind: 'settled', text: `settled against, do not do or raise it: ${lessonView(l).text}`, cite: cited(lessonView(l).prs), id: `settled:${l.id}` })),
     ];
     return { ...(task ? { task: task.key } : {}), goal: '', files: [file], items: items.slice(0, limit) };

package/dist/index.d.ts

@@ -49,7 +49,7 @@ export { decideCompiledCheck, proposeCompiledChecks, readCompiledChecks, suspens
 export { ruleWriterFor } from './review/reviewer/rule-writer.js';
 export { backtestLast, formatLast, scoreLast, LAST_LEDGER_PATH, type LastReport } from './review/backtest-last.js';
 export { buildRecord, recordLines, recordIntact, type ReviewRecord } from './review/reviewer/record.js';
-export { readLessons, writeLessons, decideLesson, acceptSuggestedText, lessonState, pendingDecision, matchLessons, lessonText, lessonsPath, type ReviewLesson, type LessonEvidence } from './review-learning/lessons.js';
+export { readLessons, writeLessons, decideLesson, acceptSuggestedText, scopeLesson, lessonState, pendingDecision, matchLessons, lessonText, lessonsPath, type ReviewLesson, type LessonEvidence } from './review-learning/lessons.js';
 export { lessonsForDiff, lessonsSection, type LessonMode } from './review-learning/team-lessons.js';
 export { recordAgentWrites, captureHumanEdits } from './review-learning/human-edits.js';
 export { readRepoRules, rulesForDiff, rulesSection, splitRules, type RepoRule } from './review-learning/repo-rules.js';

package/dist/index.js

@@ -47,7 +47,7 @@ export { decideCompiledCheck, proposeCompiledChecks, readCompiledChecks, suspens
 export { ruleWriterFor } from './review/reviewer/rule-writer.js';
 export { backtestLast, formatLast, scoreLast, LAST_LEDGER_PATH } from './review/backtest-last.js';
 export { buildRecord, recordLines, recordIntact } from './review/reviewer/record.js';
-export { readLessons, writeLessons, decideLesson, acceptSuggestedText, lessonState, pendingDecision, matchLessons, lessonText, lessonsPath } from './review-learning/lessons.js';
+export { readLessons, writeLessons, decideLesson, acceptSuggestedText, scopeLesson, lessonState, pendingDecision, matchLessons, lessonText, lessonsPath } from './review-learning/lessons.js';
 export { lessonsForDiff, lessonsSection } from './review-learning/team-lessons.js';
 export { recordAgentWrites, captureHumanEdits } from './review-learning/human-edits.js';
 export { readRepoRules, rulesForDiff, rulesSection, splitRules } from './review-learning/repo-rules.js';

package/dist/review-learning/lessons.d.ts

@@ -18,7 +18,7 @@ import type { Git, ReviewBody, ReviewComment } from './acted-on.js';
  *             until a person promotes it.
  * A record from before evidence kinds has none: it is a `point`.
  */
-export type EvidenceKind = 'point' | 'outcome' | 'counter' | 'correction' | 'accepted' | 'rejected' | 'norule' | 'followup' | 'lines' | 'dismissed' | 'against' | 'demoted' | 'reclassified' | 'compiled' | 'reworded';
+export type EvidenceKind = 'point' | 'outcome' | 'counter' | 'correction' | 'accepted' | 'rejected' | 'norule' | 'followup' | 'lines' | 'dismissed' | 'against' | 'demoted' | 'reclassified' | 'compiled' | 'reworded' | 'scoped';
 export interface LessonEvidence {
     kind?: EvidenceKind;
     pr: number;
@@ -49,6 +49,11 @@ export interface ReviewLesson {
     state: 'candidate' | 'verified' | 'rejected';
     /** Which evidence made it a lesson. */
     promotedBy?: 'outcome' | 'correction' | 'person' | 'recurrence' | 'legacy';
+    /**
+     * How far a person widened it (scopeLesson): `folder`, every change in the lesson's folder; `repo`, every change,
+     * a standard for the whole repository. Absent: its file (or, with no file, a standard served by its words).
+     */
+    scope?: 'folder' | 'repo';
     evidence: LessonEvidence[];
     /**
      * A corrected wording a newer version derived from the lesson's own comment, waiting for a person. A lesson
@@ -116,6 +121,11 @@ export declare function matchLessons(lessons: ReviewLesson[], change: ChangeShap
     perFile?: number;
     excludePr?: number;
 }): ReviewLesson[];
+/**
+ * A person sets how far a lesson reaches: `repo` (every change), `folder` (every change in its folder) or `file` (its
+ * own file, as learned). Recorded as evidence with who and why; it says nothing about whether the lesson is right.
+ */
+export declare function scopeLesson(cwd: string, id: string, scope: 'file' | 'folder' | 'repo', by: string, why?: string): ReviewLesson | undefined;
 /** RIGOUR_REVIEW_LESSONS points at a lessons file outside the clone (CI, or a team's shared copy). */
 export declare function lessonsPath(cwd: string): string;
 export declare function readLessons(cwd: string): ReviewLesson[];

package/dist/review-learning/lessons.js

@@ -28,6 +28,8 @@ const RECUR_PRS = 2;
 const RECUR_AUTHORS = 2;
 /** Team standards served with a change, on top of the lessons about its files (an agent's question; a judge takes more), and the words they must share with it. */
 const MAX_STANDARDS = 3;
+/** Repository standards (scope `repo`) served with every change, most-raised first. */
+const REPO_STANDARDS = 10;
 const STANDARD_WORDS = 2;
 /** Words that say nothing about what a rule or a change is about. */
 const PLAIN_WORDS = new Set(['when', 'that', 'this', 'with', 'from', 'before', 'after', 'every', 'their', 'them', 'than', 'each', 'only', 'into', 'rather', 'instead', 'should', 'make', 'keep', 'sure', 'does', 'what', 'which', 'there', 'these', 'those', 'such', 'more', 'other', 'same', 'then', 'also', 'both', 'must', 'never', 'always', 'once', 'been', 'have', 'will', 'your', 'about', 'over', 'under', 'change', 'changes', 'code', 'value', 'values', 'data', 'true', 'false', 'null', 'undefined', 'return', 'const', 'function', 'export', 'import', 'await', 'async', 'string', 'number', 'type']);
@@ -233,12 +235,20 @@ export function matchLessons(lessons, change, options = {}) {
     // A lesson whose only evidence is the pull request under review is already in front of the judge as the reviewer's own points.
     if (options.excludePr !== undefined)
         lessons = lessons.filter(l => !l.evidence.length || l.evidence.some(e => e.pr !== options.excludePr));
+    const inPlay = (l) => l.state === 'verified' || (!!options.includeCandidates && l.state === 'candidate');
+    // A person made these the repository's standards: every change gets them, whatever its files or words; most-raised first.
+    const repo = lessons
+        .filter(l => l.scope === 'repo' && inPlay(l))
+        .sort((a, b) => prCount(b) - prCount(a) || b.evidence.length - a.evidence.length)
+        .slice(0, REPO_STANDARDS);
+    lessons = lessons.filter(l => l.scope !== 'repo');
     const dirs = new Set(change.files.map(f => path.posix.dirname(f)));
+    const inFolder = (l) => l.scope === 'folder' && change.files.some(f => f.startsWith(`${path.posix.dirname(l.file)}/`));
     const scored = lessons
-        .filter(l => !!l.file && (l.state === 'verified' || (options.includeCandidates && l.state === 'candidate')) && !NOT_CODE.test(l.file))
+        .filter(l => !!l.file && inPlay(l) && !NOT_CODE.test(l.file))
         .map(l => ({
         lesson: l,
-        score: (change.files.includes(l.file) ? 3 : 0) + (dirs.has(path.posix.dirname(l.file)) ? 0.5 : 0)
+        score: (change.files.includes(l.file) || inFolder(l) ? 3 : 0) + (dirs.has(path.posix.dirname(l.file)) ? 0.5 : 0)
             + 2 * l.symbols.filter(s => isSpecific(s) && change.symbols.has(s)).length,
     }))
         .filter(s => s.score >= 3)
@@ -266,7 +276,32 @@ export function matchLessons(lessons, change, options = {}) {
         perFileCount.set(lesson.file, n + 1);
         taken.push(lesson);
     }
-    return [...taken, ...standards];
+    return [...taken, ...repo, ...standards];
+}
+/** Pull requests a lesson was raised or acted on in. */
+function prCount(lesson) {
+    return new Set(lesson.evidence.filter(e => (e.kind ?? 'point') === 'point').map(e => e.pr)).size;
+}
+/**
+ * A person sets how far a lesson reaches: `repo` (every change), `folder` (every change in its folder) or `file` (its
+ * own file, as learned). Recorded as evidence with who and why; it says nothing about whether the lesson is right.
+ */
+export function scopeLesson(cwd, id, scope, by, why = '') {
+    const lessons = readLessons(cwd);
+    const lesson = lessons.find(l => l.id === id);
+    if (!lesson)
+        return undefined;
+    if (scope === 'folder' && !lesson.file)
+        throw new Error('a team standard has no folder: scope it to the repo or leave it');
+    const at = new Date().toISOString();
+    if (scope === 'file')
+        delete lesson.scope;
+    else
+        lesson.scope = scope;
+    lesson.evidence.push({ kind: 'scoped', pr: lesson.evidence[0]?.pr ?? 0, comment: `scoped-${at}`, author: by, detail: why ? `${scope}: ${why}` : scope, at });
+    lesson.updatedAt = at;
+    writeLessons(cwd, lessons);
+    return lesson;
 }
 /** RIGOUR_REVIEW_LESSONS points at a lessons file outside the clone (CI, or a team's shared copy). */
 export function lessonsPath(cwd) {

package/dist/review-learning/team-lessons.d.ts

@@ -14,6 +14,7 @@ export interface LessonView {
     text: string;
     prs: number[];
     said?: string;
+    scope?: ReviewLesson['scope'];
 }
 export declare function lessonView(l: ReviewLesson): LessonView;
 /**

package/dist/review-learning/team-lessons.js

@@ -3,6 +3,7 @@
  * agent or a model) to check before the PR: "your team has asked for this
  * before".
  */
+import path from 'path';
 import { parseDiff } from '../utils/diff.js';
 import { matchLessons, readLessons } from './lessons.js';
 /** Lessons a person or repeated evidence verified reach the reviewer unless a team turns them off. */
@@ -36,14 +37,16 @@ function changeShape(diff) {
 }
 export function lessonView(l) {
     const said = l.evidence.find(e => e.said && e.said !== l.text)?.said;
-    return { file: l.file, text: l.text, prs: [...new Set(l.evidence.map(e => e.pr))], ...(said ? { said } : {}) };
+    return { file: l.file, text: l.text, prs: [...new Set(l.evidence.map(e => e.pr))], ...(said ? { said } : {}), ...(l.scope ? { scope: l.scope } : {}) };
 }
 /**
  * One line per lesson: where it applies, the rule, and, when a model wrote the rule from a person's
  * point, their own words, so anyone can see when the rule went beyond what was said.
  */
 export function describeLesson(l) {
-    const where = l.file ? `${l.file}: ` : 'team standard: ';
+    const where = l.scope === 'repo' ? `team standard${l.file ? ` (learned on ${l.file})` : ''}: `
+        : l.scope === 'folder' ? `${path.posix.dirname(l.file)}/ (every file): `
+            : l.file ? `${l.file}: ` : 'team standard: ';
     const said = l.said ? ` (in their words: "${l.said}")` : '';
     const prs = l.prs.length ? ` (acted on in PR ${l.prs.map(p => `#${p}`).join(', ')})` : '';
     return `${where}${l.text}${said}${prs}`;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rigour-labs/core",
-  "version": "6.11.2-rc.1",
+  "version": "6.12.0-rc.1",
   "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.11.2-rc.1",
-    "@rigour-labs/brain-darwin-x64": "6.11.2-rc.1",
-    "@rigour-labs/brain-linux-arm64": "6.11.2-rc.1",
-    "@rigour-labs/brain-linux-x64": "6.11.2-rc.1",
-    "@rigour-labs/brain-win-x64": "6.11.2-rc.1"
+    "@rigour-labs/brain-darwin-x64": "6.12.0-rc.1",
+    "@rigour-labs/brain-linux-x64": "6.12.0-rc.1",
+    "@rigour-labs/brain-linux-arm64": "6.12.0-rc.1",
+    "@rigour-labs/brain-darwin-arm64": "6.12.0-rc.1",
+    "@rigour-labs/brain-win-x64": "6.12.0-rc.1"
   },
   "devDependencies": {
     "@types/fs-extra": "^11.0.4",