@voxslopuli/openagentsy 0.0.0-stage → 0.2.0

package/dist/quality-skills.test.js

@@ -0,0 +1,141 @@
+import { existsSync } from 'node:fs';
+import { mkdtemp } from 'node:fs/promises';
+import { tmpdir } from 'node:os';
+import { join } from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { loadRoles, selectQualitySkills, UI_DESIGN_FILES, UI_EXTENSIONS, } from '@openagentsy/core';
+import { describe, expect, it } from 'vitest';
+import { runBuild } from './commands/build.js';
+import { renderPrompt } from './generate/prompt.js';
+/** The roles file this repository ships. */
+const SHIPPED_ROLES = fileURLToPath(new URL('../../../roles.yaml', import.meta.url));
+/** The root of this repository. */
+const REPO_ROOT = fileURLToPath(new URL('../../../', import.meta.url));
+/** The roles that carry the routing. */
+const ROUTED_ROLES = ['lead', 'builder'];
+/**
+ * The measure: one token per word, per digit group and per punctuation
+ * mark, with the whitespace in front of a token carried by it.
+ *
+ * This is the shape of the cl100k_base pre-tokenizer for English prose:
+ * a word is one token, "user-facing" is three, ".css" is two, and a
+ * number is split into groups of three. The routing is measured with it
+ * and with the four-characters-per-token rule, so the claim holds under
+ * both.
+ */
+function countTokens(text) {
+    const pattern = /\s*[A-Za-z]+(?:'[A-Za-z]+)*|\s*\d+|\s*[^\sA-Za-z0-9]/g;
+    let count = 0;
+    for (const match of text.match(pattern) ?? []) {
+        const trimmed = match.trim();
+        if (trimmed === '')
+            continue;
+        count += /^\d+$/.test(trimmed) ? Math.ceil(trimmed.length / 3) : 1;
+    }
+    return count;
+}
+/** The routing of one role. */
+function routingOf(roles, name) {
+    const role = roles.roles[name];
+    if (!role)
+        throw new Error(`no ${name} role`);
+    if (role.skillRouting === undefined)
+        throw new Error(`the ${name} role has no routing`);
+    return role.skillRouting.trim();
+}
+describe('the quality routing', () => {
+    it('costs the Lead and the builder at most 80 tokens', async () => {
+        const roles = await loadRoles(SHIPPED_ROLES);
+        for (const name of ROUTED_ROLES) {
+            const routing = routingOf(roles, name);
+            expect(countTokens(routing)).toBeLessThanOrEqual(80);
+            expect(Math.ceil(routing.length / 4)).toBeLessThanOrEqual(80);
+        }
+    });
+    it('names the conditions the module implements', async () => {
+        const roles = await loadRoles(SHIPPED_ROLES);
+        const routing = routingOf(roles, 'lead');
+        for (const skill of ['oa-ui', 'oa-copy', 'oa-comments']) {
+            expect(routing).toContain(skill);
+        }
+        for (const extension of UI_EXTENSIONS) {
+            expect(routing).toContain(extension);
+        }
+        for (const designFile of UI_DESIGN_FILES) {
+            expect(routing).toContain(designFile);
+        }
+        expect(routing).toContain('user-facing copy');
+        expect(routing).toContain('agent prose');
+        expect(routing).toContain('comment');
+    });
+    it('gives the Lead and the builder the same routing', async () => {
+        const roles = await loadRoles(SHIPPED_ROLES);
+        expect(routingOf(roles, 'lead')).toBe(routingOf(roles, 'builder'));
+    });
+    it('keeps the routing off the roles that write no UI, copy or comments', async () => {
+        const roles = await loadRoles(SHIPPED_ROLES);
+        for (const name of ['scout', 'researcher', 'reviewer', 'advisor', 'archivist']) {
+            expect(roles.roles[name]?.skillRouting).toBeUndefined();
+        }
+    });
+    it('carries the routing into the prompt', async () => {
+        const roles = await loadRoles(SHIPPED_ROLES);
+        const lead = roles.roles.lead;
+        if (!lead)
+            throw new Error('no lead role');
+        const prompt = renderPrompt(lead);
+        expect(prompt).toContain('## Skills');
+        expect(prompt).toContain('oa-ui');
+    });
+    it('leaves the prompt of a role with no routing alone', async () => {
+        const roles = await loadRoles(SHIPPED_ROLES);
+        const reviewer = roles.roles.reviewer;
+        if (!reviewer)
+            throw new Error('no reviewer role');
+        expect(renderPrompt(reviewer)).not.toContain('## Skills');
+    });
+});
+describe('the selection the routing names', () => {
+    it('selects no skill for a change that touches no quality file', () => {
+        const skills = selectQualitySkills([
+            { path: 'packages/core/src/index.ts', lines: ['export const version = 1;'] },
+        ]);
+        expect(skills).toEqual([]);
+    });
+    it('selects oa-ui for a stylesheet change', () => {
+        const skills = selectQualitySkills([
+            { path: 'packages/app/src/app.css', lines: ['.card { padding: 1rem; }'] },
+        ]);
+        expect(skills).toEqual(['oa-ui']);
+    });
+    it('selects oa-ui and oa-copy for a component change', () => {
+        const skills = selectQualitySkills([
+            { path: 'packages/app/src/App.tsx', lines: ['<h1>Save</h1>'] },
+        ]);
+        expect(skills).toEqual(['oa-ui', 'oa-copy']);
+    });
+    it('selects oa-copy for a copy-bearing change', () => {
+        const skills = selectQualitySkills([{ path: 'README.md', lines: ['# The readme'] }]);
+        expect(skills).toEqual(['oa-copy']);
+    });
+    it('selects oa-comments for a comment-only change', () => {
+        const skills = selectQualitySkills([
+            { path: 'packages/core/src/index.ts', lines: ['// The version of the package.'] },
+        ]);
+        expect(skills).toEqual(['oa-comments']);
+    });
+});
+describe('the build', () => {
+    it('copies the reference files of a skill, and not only its SKILL.md', async () => {
+        const outDir = await mkdtemp(join(tmpdir(), 'oa-skills-'));
+        const result = await runBuild({ workspace: REPO_ROOT, stateRoot: REPO_ROOT, outDir });
+        expect(result.skills).toContain('oa-ui');
+        expect(result.skills).toContain('oa-copy');
+        expect(result.skills).toContain('oa-comments');
+        expect(existsSync(join(outDir, 'skills', 'oa-ui', 'SKILL.md'))).toBe(true);
+        expect(existsSync(join(outDir, 'skills', 'oa-ui', 'references', 'purpose-and-dials.md'))).toBe(true);
+        expect(existsSync(join(outDir, 'skills', 'oa-copy', 'references', 'prose.md'))).toBe(true);
+        expect(existsSync(join(outDir, 'skills', 'oa-comments', 'references', 'tells.md'))).toBe(true);
+    });
+});
+//# sourceMappingURL=quality-skills.test.js.map

package/dist/quality-skills.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"quality-skills.test.js","sourceRoot":"","sources":["../src/quality-skills.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EACL,SAAS,EAET,mBAAmB,EACnB,eAAe,EACf,aAAa,GACd,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAEpD,4CAA4C;AAC5C,MAAM,aAAa,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,qBAAqB,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAErF,mCAAmC;AACnC,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAEvE,wCAAwC;AACxC,MAAM,YAAY,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;AAEzC;;;;;;;;;GASG;AACH,SAAS,WAAW,CAAC,IAAY;IAC/B,MAAM,OAAO,GAAG,uDAAuD,CAAC;IACxE,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;QAC9C,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,IAAI,OAAO,KAAK,EAAE;YAAE,SAAS;QAC7B,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,+BAA+B;AAC/B,SAAS,SAAS,CAAC,KAAgB,EAAE,IAAY;IAC/C,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC;IAC9C,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,OAAO,IAAI,sBAAsB,CAAC,CAAC;IACxF,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;AAClC,CAAC;AAED,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,EAAE,CAAC,kDAAkD,EAAE,KAAK,IAAI,EAAE;QAChE,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,aAAa,CAAC,CAAC;QAC7C,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;YAChC,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACvC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;YACrD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;QAChE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,KAAK,IAAI,EAAE;QAC1D,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,aAAa,CAAC,CAAC;QAC7C,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACzC,KAAK,MAAM,KAAK,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,aAAa,CAAC,EAAE,CAAC;YACxD,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACnC,CAAC;QACD,KAAK,MAAM,SAAS,IAAI,aAAa,EAAE,CAAC;YACtC,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACvC,CAAC;QACD,KAAK,MAAM,UAAU,IAAI,eAAe,EAAE,CAAC;YACzC,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACxC,CAAC;QACD,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QAC9C,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QACzC,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,KAAK,IAAI,EAAE;QAC/D,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,aAAa,CAAC,CAAC;QAC7C,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,KAAK,IAAI,EAAE;QAClF,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,aAAa,CAAC,CAAC;QAC7C,KAAK,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,CAAC,EAAE,CAAC;YAC/E,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC,CAAC,aAAa,EAAE,CAAC;QAC1D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,KAAK,IAAI,EAAE;QACnD,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,aAAa,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;QAC9B,IAAI,CAAC,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACtC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,KAAK,IAAI,EAAE;QACjE,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,aAAa,CAAC,CAAC;QAC7C,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC;QACtC,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,kBAAkB,CAAC,CAAC;QACnD,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,MAAM,GAAG,mBAAmB,CAAC;YACjC,EAAE,IAAI,EAAE,4BAA4B,EAAE,KAAK,EAAE,CAAC,2BAA2B,CAAC,EAAE;SAC7E,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG,mBAAmB,CAAC;YACjC,EAAE,IAAI,EAAE,0BAA0B,EAAE,KAAK,EAAE,CAAC,0BAA0B,CAAC,EAAE;SAC1E,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,MAAM,GAAG,mBAAmB,CAAC;YACjC,EAAE,IAAI,EAAE,0BAA0B,EAAE,KAAK,EAAE,CAAC,eAAe,CAAC,EAAE;SAC/D,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC;QACrF,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,MAAM,GAAG,mBAAmB,CAAC;YACjC,EAAE,IAAI,EAAE,4BAA4B,EAAE,KAAK,EAAE,CAAC,gCAAgC,CAAC,EAAE;SAClF,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,WAAW,EAAE,GAAG,EAAE;IACzB,EAAE,CAAC,kEAAkE,EAAE,KAAK,IAAI,EAAE;QAChF,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;QACtF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QACzC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAC3C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAC/C,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3E,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE,sBAAsB,CAAC,CAAC,CAAC,CAAC,IAAI,CAC5F,IAAI,CACL,CAAC;QACF,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3F,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjG,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/report/footprint.d.ts

@@ -0,0 +1,12 @@
+import type { FootprintFacts } from '@openagentsy/core';
+import type { LedgerDb } from './scope.js';
+/**
+ * The footprint of the scope.
+ *
+ * The rows are the estimates of the messages the scope selects, and the
+ * bounds of the scope are the sums of the bounds of the rows. The table
+ * records no grid, so the report says the grid is not recorded rather than
+ * naming one it cannot read.
+ */
+export declare function footprintFacts(db: LedgerDb | null): FootprintFacts;
+//# sourceMappingURL=footprint.d.ts.map

package/dist/report/footprint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"footprint.d.ts","sourceRoot":"","sources":["../../src/report/footprint.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAe,MAAM,mBAAmB,CAAC;AAErE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAoE3C;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,EAAE,EAAE,QAAQ,GAAG,IAAI,GAAG,cAAc,CA0ClE"}

package/dist/report/footprint.js

@@ -0,0 +1,121 @@
+import { providerDefaults } from '@openagentsy/footprint';
+/**
+ * The footprint of the scope.
+ *
+ * The numbers are the ledger's `footprint` table: the estimate the
+ * estimator produced, with the ends of the interval it produced it with and
+ * the method that produced it. The table is the only place the estimate
+ * lives, so the report reads it and computes nothing of its own.
+ */
+/** A number, when it is one. */
+function n(value) {
+    return typeof value === 'number' && Number.isFinite(value) ? value : 0;
+}
+/** An interval, when both of its ends are numbers. */
+function rangeOf(lo, hi) {
+    if (typeof lo !== 'number' || typeof hi !== 'number')
+        return null;
+    if (!Number.isFinite(lo) || !Number.isFinite(hi))
+        return null;
+    return [Math.min(lo, hi), Math.max(lo, hi)];
+}
+/** How wide an interval is, relative to its low end. */
+function width(range) {
+    return (range[1] - range[0]) / Math.max(range[0], 1e-12);
+}
+/**
+ * The input the answer leans on hardest.
+ *
+ * The rule is the one the estimator uses: the energy widens with the size
+ * of the model, the water with the site and the carbon with the grid, and
+ * the widest interval relative to its low end decides. The ledger stores
+ * the bounds and not the inputs, so the rule is applied to the bounds. An
+ * estimate whose bounds are all exact has nothing that dominates, and the
+ * report says so rather than naming a winner.
+ */
+function dominant(energy, water, co2) {
+    const scores = [
+        ['model-size', energy === null ? 0 : width(energy)],
+        ['site', water === null ? 0 : width(water)],
+        ['grid', co2 === null ? 0 : width(co2)],
+    ];
+    scores.sort((a, b) => b[1] - a[1]);
+    const top = scores[0];
+    if (top === undefined || top[1] <= 0)
+        return null;
+    return top[0];
+}
+/** The facts of a scope with no footprint estimate. */
+function emptyFacts() {
+    return {
+        present: false,
+        energyKwh: null,
+        waterL: null,
+        co2Kg: null,
+        method: null,
+        dominantUncertainty: null,
+        grid: null,
+        undisclosedProviders: 0,
+    };
+}
+/**
+ * The footprint of the scope.
+ *
+ * The rows are the estimates of the messages the scope selects, and the
+ * bounds of the scope are the sums of the bounds of the rows. The table
+ * records no grid, so the report says the grid is not recorded rather than
+ * naming one it cannot read.
+ */
+export function footprintFacts(db) {
+    if (db === null)
+        return emptyFacts();
+    const row = db
+        .query(`SELECT
+        SUM(f.energy_lo) AS energy_lo, SUM(f.energy_hi) AS energy_hi,
+        SUM(f.water_lo) AS water_lo, SUM(f.water_hi) AS water_hi,
+        SUM(f.co2_lo) AS co2_lo, SUM(f.co2_hi) AS co2_hi,
+        COUNT(*) AS rows
+       FROM main.footprint f
+       JOIN temp.usage u ON u.message_id = f.message_id`)
+        .get();
+    const rows = n(row?.rows);
+    if (rows === 0) {
+        const providers = providersOf(db);
+        return { ...emptyFacts(), undisclosedProviders: undisclosed(providers) };
+    }
+    const energy = rangeOf(row?.energy_lo, row?.energy_hi);
+    const water = rangeOf(row?.water_lo, row?.water_hi);
+    const co2 = rangeOf(row?.co2_lo, row?.co2_hi);
+    const method = db
+        .query(`SELECT DISTINCT f.method_version AS method
+       FROM main.footprint f
+       JOIN temp.usage u ON u.message_id = f.message_id`)
+        .all();
+    return {
+        present: true,
+        energyKwh: energy === null ? null : [energy[0] / 1000, energy[1] / 1000],
+        waterL: water,
+        co2Kg: co2,
+        method: method[0]?.method ?? null,
+        dominantUncertainty: dominant(energy, water, co2),
+        grid: null,
+        undisclosedProviders: undisclosed(providersOf(db)),
+    };
+}
+/** The providers the scope used. */
+function providersOf(db) {
+    const rows = db.query('SELECT DISTINCT provider FROM temp.usage').all();
+    return rows.map((row) => row.provider);
+}
+/**
+ * The providers that do not disclose their infrastructure.
+ *
+ * The disclosure is the footprint package's table of what a provider says
+ * about its own site: a provider that is not in the table discloses
+ * nothing, and the report says how many of them there are rather than
+ * leaving the reader to assume every number is known.
+ */
+function undisclosed(providers) {
+    return providers.filter((provider) => !providerDefaults(provider).disclosed).length;
+}
+//# sourceMappingURL=footprint.js.map

package/dist/report/footprint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"footprint.js","sourceRoot":"","sources":["../../src/report/footprint.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAG1D;;;;;;;GAOG;AAEH,gCAAgC;AAChC,SAAS,CAAC,CAAC,KAAc;IACvB,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACzE,CAAC;AAED,sDAAsD;AACtD,SAAS,OAAO,CAAC,EAAW,EAAE,EAAW;IACvC,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,OAAO,EAAE,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9D,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED,wDAAwD;AACxD,SAAS,KAAK,CAAC,KAAkB;IAC/B,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AAC3D,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,QAAQ,CACf,MAA0B,EAC1B,KAAyB,EACzB,GAAuB;IAEvB,MAAM,MAAM,GAAuB;QACjC,CAAC,YAAY,EAAE,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACnD,CAAC,MAAM,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3C,CAAC,MAAM,EAAE,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;KACxC,CAAC;IACF,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACtB,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAClD,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;AAChB,CAAC;AAED,uDAAuD;AACvD,SAAS,UAAU;IACjB,OAAO;QACL,OAAO,EAAE,KAAK;QACd,SAAS,EAAE,IAAI;QACf,MAAM,EAAE,IAAI;QACZ,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,IAAI;QACZ,mBAAmB,EAAE,IAAI;QACzB,IAAI,EAAE,IAAI;QACV,oBAAoB,EAAE,CAAC;KACxB,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,EAAmB;IAChD,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,UAAU,EAAE,CAAC;IAErC,MAAM,GAAG,GAAG,EAAE;SACX,KAAK,CACJ;;;;;;wDAMkD,CACnD;SACA,GAAG,EAAoC,CAAC;IAE3C,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC1B,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;QACf,MAAM,SAAS,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;QAClC,OAAO,EAAE,GAAG,UAAU,EAAE,EAAE,oBAAoB,EAAE,WAAW,CAAC,SAAS,CAAC,EAAE,CAAC;IAC3E,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;IACpD,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,EAAE;SACd,KAAK,CACJ;;wDAEkD,CACnD;SACA,GAAG,EAA0B,CAAC;IAEjC,OAAO;QACL,OAAO,EAAE,IAAI;QACb,SAAS,EAAE,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;QACxE,MAAM,EAAE,KAAK;QACb,KAAK,EAAE,GAAG;QACV,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,IAAI;QACjC,mBAAmB,EAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC;QACjD,IAAI,EAAE,IAAI;QACV,oBAAoB,EAAE,WAAW,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;KACnD,CAAC;AACJ,CAAC;AAED,oCAAoC;AACpC,SAAS,WAAW,CAAC,EAAY;IAC/B,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,0CAA0C,CAAC,CAAC,GAAG,EAA4B,CAAC;IAClG,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AACzC,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,WAAW,CAAC,SAA4B;IAC/C,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC;AACtF,CAAC"}

package/dist/report/ledger.d.ts

@@ -0,0 +1,27 @@
+import type { CostFacts, PolicyFacts, ReportScope, ValueFacts, WasteFacts } from '@openagentsy/core';
+import { footprintFacts } from './footprint.js';
+/**
+ * The ledger, as the report reads it.
+ *
+ * Every number here is the ledger's own query, run over the rows the scope
+ * selects. The report never totals a thing itself: it asks the ledger, and
+ * the ledger answers.
+ */
+/** The facts the ledger gives the report. */
+export type LedgerFacts = {
+    cost: CostFacts;
+    waste: WasteFacts;
+    value: ValueFacts;
+    /** The footprint of the scope, from the ledger's footprint table. */
+    footprint: ReturnType<typeof footprintFacts>;
+    /** The policies of the scope, from the ledger's policy firing table. */
+    policies: PolicyFacts;
+};
+/**
+ * The facts of the scope, from the ledger.
+ *
+ * A project with no ledger has nothing to show, and reading it must not
+ * create one: the file is only opened when it is there.
+ */
+export declare function ledgerFacts(stateRoot: string, scope: ReportScope): Promise<LedgerFacts>;
+//# sourceMappingURL=ledger.d.ts.map

package/dist/report/ledger.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ledger.d.ts","sourceRoot":"","sources":["../../src/report/ledger.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,SAAS,EACT,WAAW,EACX,WAAW,EACX,UAAU,EACV,UAAU,EACX,MAAM,mBAAmB,CAAC;AAoB3B,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAGhD;;;;;;GAMG;AAEH,6CAA6C;AAC7C,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,UAAU,CAAC;IAClB,KAAK,EAAE,UAAU,CAAC;IAClB,qEAAqE;IACrE,SAAS,EAAE,UAAU,CAAC,OAAO,cAAc,CAAC,CAAC;IAC7C,wEAAwE;IACxE,QAAQ,EAAE,WAAW,CAAC;CACvB,CAAC;AAoLF;;;;;GAKG;AACH,wBAAsB,WAAW,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,CAqB7F"}

package/dist/report/ledger.js

@@ -0,0 +1,197 @@
+import { access } from 'node:fs/promises';
+import { FIRST_PARTY_POLICY_IDS } from '@openagentsy/hooks';
+import { closeLedger, ledgerPath, ledgerTotals, offloadSavings, openLedger, outcomeTotals, perRoleTotals, policyFireCounts, policyFiringTotal, priceMessage, tokensPerResult, topPoliciesByFireCount, wasteByKind, wasteTotals, } from '@openagentsy/ledger';
+import { footprintFacts } from './footprint.js';
+import { shadowScope, windowDays } from './scope.js';
+/**
+ * A price, from the cache and never from the network.
+ *
+ * The report must not use the network, so the fetch always fails and the
+ * cached snapshot is what is left. A price nobody cached is no price.
+ */
+const offlineFetch = async () => {
+    throw new Error('the report does not use the network');
+};
+/**
+ * The price of some tokens.
+ *
+ * The ledger asks the caller what the tokens would have cost on the cloud,
+ * because only the caller knows which model the offloaded work replaced.
+ * The report does not know it either, so the price comes from the cached
+ * price of the model that ran the work, and a local run has no price at
+ * all: the cloud price stays empty rather than pretending the work was
+ * free.
+ */
+const offlinePrice = async (provider, model, tokens) => {
+    const result = await priceMessage(provider, model, tokens, { fetchImpl: offlineFetch });
+    return result.cost;
+};
+/** A number, when it is one. */
+function n(value) {
+    return typeof value === 'number' && Number.isFinite(value) ? value : 0;
+}
+/** A number that may be absent. */
+function optional(value) {
+    return typeof value === 'number' && Number.isFinite(value) ? value : null;
+}
+/**
+ * The cost of the scope.
+ *
+ * The tokens and the roles are the ledger's totals, and the split between
+ * the spend the host reported and the spend the pricing chain estimated is
+ * read from the same table the totals come from.
+ */
+function costOf(db) {
+    const totals = ledgerTotals(db);
+    const roles = perRoleTotals(db);
+    const split = db
+        .query(`SELECT
+        SUM(cost_reported) AS reported,
+        SUM(cost_estimated) AS estimated,
+        COUNT(DISTINCT CASE
+          WHEN cost_reported IS NULL AND cost_estimated IS NULL
+          THEN provider || '|' || model END) AS unpriced_models,
+        SUM(CASE
+          WHEN cost_reported IS NULL AND cost_estimated IS NULL THEN 1 ELSE 0 END) AS unpriced_messages
+       FROM usage`)
+        .get();
+    return {
+        present: totals.messages > 0,
+        messages: totals.messages,
+        tokens: totals.tokens,
+        roles: roles.map((row) => ({
+            role: row.role,
+            tokens: row.tokens,
+            usd: row.usd,
+            unpriced: row.unpriced,
+        })),
+        reportedUsd: optional(split?.reported),
+        estimatedUsd: optional(split?.estimated),
+        unpricedModels: n(split?.unpriced_models),
+        unpricedMessages: n(split?.unpriced_messages),
+    };
+}
+/** The waste of the scope. */
+function wasteOf(db) {
+    const totals = wasteTotals(db);
+    const byKind = wasteByKind(db);
+    return {
+        present: byKind.length > 0,
+        tokens: totals.tokens,
+        percentage: totals.percentage,
+        byKind: byKind.map((row) => ({
+            kind: row.kind,
+            count: row.count,
+            tokens: row.tokens,
+            percentage: row.percentage,
+        })),
+    };
+}
+/** The value of the scope. */
+async function worthOf(db, scope) {
+    const outcomes = outcomeTotals(db);
+    const results = tokensPerResult(db, windowDays(scope));
+    const offload = await offloadSavings(db, offlinePrice);
+    return {
+        present: outcomes.tasksCompleted + outcomes.tasksScrapped + outcomes.commits + outcomes.prsMerged > 0,
+        tasksCompleted: outcomes.tasksCompleted,
+        tasksScrapped: outcomes.tasksScrapped,
+        commits: outcomes.commits,
+        prsMerged: outcomes.prsMerged,
+        tokensPerTask: results.tokensPerTask,
+        tokensPerCommit: results.tokensPerCommit,
+        offloadMessages: offload.messages,
+        offloadTokens: offload.tokens,
+        offloadUsd: offload.usd,
+        offloadCloudUsd: offload.cloudUsd,
+        offloadSavedUsd: offload.savedUsd,
+    };
+}
+/**
+ * The policies of the scope.
+ *
+ * The ten policies with the most firings are what the report shows, and the
+ * first-party policies that never fired are named: a policy that never fires
+ * is dead code or a coverage gap, and a reader cannot tell which one it is
+ * without being told.
+ */
+function policiesOf(db) {
+    const counts = topPoliciesByFireCount(db, 10);
+    const fired = new Set(policyFireCounts(db).map((entry) => entry.policyId));
+    return {
+        present: policyFiringTotal(db) > 0,
+        firings: policyFiringTotal(db),
+        top: counts.map((entry) => ({
+            policyId: entry.policyId,
+            count: entry.count,
+            blocks: entry.blocks,
+            flags: entry.flags,
+            versions: entry.versions,
+        })),
+        neverFired: FIRST_PARTY_POLICY_IDS.filter((id) => !fired.has(id)),
+    };
+}
+/** The facts of a project with no ledger. */
+function emptyFacts() {
+    return {
+        cost: {
+            present: false,
+            messages: 0,
+            tokens: 0,
+            roles: [],
+            reportedUsd: null,
+            estimatedUsd: null,
+            unpricedModels: 0,
+            unpricedMessages: 0,
+        },
+        waste: { present: false, tokens: 0, percentage: 0, byKind: [] },
+        value: {
+            present: false,
+            tasksCompleted: 0,
+            tasksScrapped: 0,
+            commits: 0,
+            prsMerged: 0,
+            tokensPerTask: null,
+            tokensPerCommit: null,
+            offloadMessages: 0,
+            offloadTokens: 0,
+            offloadUsd: null,
+            offloadCloudUsd: null,
+            offloadSavedUsd: null,
+        },
+        footprint: footprintFacts(null),
+        policies: {
+            present: false,
+            firings: 0,
+            top: [],
+            neverFired: [...FIRST_PARTY_POLICY_IDS],
+        },
+    };
+}
+/**
+ * The facts of the scope, from the ledger.
+ *
+ * A project with no ledger has nothing to show, and reading it must not
+ * create one: the file is only opened when it is there.
+ */
+export async function ledgerFacts(stateRoot, scope) {
+    const path = ledgerPath(stateRoot);
+    const exists = await access(path).then(() => true, () => false);
+    if (!exists)
+        return emptyFacts();
+    const db = openLedger(stateRoot);
+    try {
+        shadowScope(db, scope);
+        return {
+            cost: costOf(db),
+            waste: wasteOf(db),
+            value: await worthOf(db, scope),
+            footprint: footprintFacts(db),
+            policies: policiesOf(db),
+        };
+    }
+    finally {
+        closeLedger(db);
+    }
+}
+//# sourceMappingURL=ledger.js.map

package/dist/report/ledger.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ledger.js","sourceRoot":"","sources":["../../src/report/ledger.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAQ1C,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAC5D,OAAO,EACL,WAAW,EAEX,UAAU,EACV,YAAY,EACZ,cAAc,EACd,UAAU,EACV,aAAa,EAEb,aAAa,EACb,gBAAgB,EAChB,iBAAiB,EACjB,YAAY,EACZ,eAAe,EACf,sBAAsB,EACtB,WAAW,EACX,WAAW,GACZ,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAiB,WAAW,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAqBpE;;;;;GAKG;AACH,MAAM,YAAY,GAAc,KAAK,IAAI,EAAE;IACzC,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;AACzD,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,YAAY,GAAgB,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE;IAClE,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,CAAC;IACxF,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC,CAAC;AAEF,gCAAgC;AAChC,SAAS,CAAC,CAAC,KAAc;IACvB,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACzE,CAAC;AAED,mCAAmC;AACnC,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5E,CAAC;AAED;;;;;;GAMG;AACH,SAAS,MAAM,CAAC,EAAY;IAC1B,MAAM,MAAM,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,EAAE;SACb,KAAK,CACJ;;;;;;;;kBAQY,CACb;SACA,GAAG,EAAoC,CAAC;IAE3C,OAAO;QACL,OAAO,EAAE,MAAM,CAAC,QAAQ,GAAG,CAAC;QAC5B,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YACzB,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,GAAG,EAAE,GAAG,CAAC,GAAG;YACZ,QAAQ,EAAE,GAAG,CAAC,QAAQ;SACvB,CAAC,CAAC;QACH,WAAW,EAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;QACtC,YAAY,EAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;QACxC,cAAc,EAAE,CAAC,CAAC,KAAK,EAAE,eAAe,CAAC;QACzC,gBAAgB,EAAE,CAAC,CAAC,KAAK,EAAE,iBAAiB,CAAC;KAC9C,CAAC;AACJ,CAAC;AAED,8BAA8B;AAC9B,SAAS,OAAO,CAAC,EAAY;IAC3B,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;IAC/B,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;IAC/B,OAAO;QACL,OAAO,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC;QAC1B,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAC3B,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,UAAU,EAAE,GAAG,CAAC,UAAU;SAC3B,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,8BAA8B;AAC9B,KAAK,UAAU,OAAO,CAAC,EAAY,EAAE,KAAkB;IACrD,MAAM,QAAQ,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;IACnC,MAAM,OAAO,GAAG,eAAe,CAAC,EAAE,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;IACvD,MAAM,OAAO,GAAG,MAAM,cAAc,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;IACvD,OAAO;QACL,OAAO,EACL,QAAQ,CAAC,cAAc,GAAG,QAAQ,CAAC,aAAa,GAAG,QAAQ,CAAC,OAAO,GAAG,QAAQ,CAAC,SAAS,GAAG,CAAC;QAC9F,cAAc,EAAE,QAAQ,CAAC,cAAc;QACvC,aAAa,EAAE,QAAQ,CAAC,aAAa;QACrC,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,eAAe,EAAE,OAAO,CAAC,QAAQ;QACjC,aAAa,EAAE,OAAO,CAAC,MAAM;QAC7B,UAAU,EAAE,OAAO,CAAC,GAAG;QACvB,eAAe,EAAE,OAAO,CAAC,QAAQ;QACjC,eAAe,EAAE,OAAO,CAAC,QAAQ;KAClC,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,UAAU,CAAC,EAAY;IAC9B,MAAM,MAAM,GAAG,sBAAsB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC3E,OAAO;QACL,OAAO,EAAE,iBAAiB,CAAC,EAAE,CAAC,GAAG,CAAC;QAClC,OAAO,EAAE,iBAAiB,CAAC,EAAE,CAAC;QAC9B,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC1B,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,QAAQ,EAAE,KAAK,CAAC,QAAQ;SACzB,CAAC,CAAC;QACH,UAAU,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;KAClE,CAAC;AACJ,CAAC;AAED,6CAA6C;AAC7C,SAAS,UAAU;IACjB,OAAO;QACL,IAAI,EAAE;YACJ,OAAO,EAAE,KAAK;YACd,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,CAAC;YACT,KAAK,EAAE,EAAE;YACT,WAAW,EAAE,IAAI;YACjB,YAAY,EAAE,IAAI;YAClB,cAAc,EAAE,CAAC;YACjB,gBAAgB,EAAE,CAAC;SACpB;QACD,KAAK,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QAC/D,KAAK,EAAE;YACL,OAAO,EAAE,KAAK;YACd,cAAc,EAAE,CAAC;YACjB,aAAa,EAAE,CAAC;YAChB,OAAO,EAAE,CAAC;YACV,SAAS,EAAE,CAAC;YACZ,aAAa,EAAE,IAAI;YACnB,eAAe,EAAE,IAAI;YACrB,eAAe,EAAE,CAAC;YAClB,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,IAAI;YAChB,eAAe,EAAE,IAAI;YACrB,eAAe,EAAE,IAAI;SACtB;QACD,SAAS,EAAE,cAAc,CAAC,IAAI,CAAC;QAC/B,QAAQ,EAAE;YACR,OAAO,EAAE,KAAK;YACd,OAAO,EAAE,CAAC;YACV,GAAG,EAAE,EAAE;YACP,UAAU,EAAE,CAAC,GAAG,sBAAsB,CAAC;SACxC;KACF,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,SAAiB,EAAE,KAAkB;IACrE,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC;IACnC,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CACpC,GAAG,EAAE,CAAC,IAAI,EACV,GAAG,EAAE,CAAC,KAAK,CACZ,CAAC;IACF,IAAI,CAAC,MAAM;QAAE,OAAO,UAAU,EAAE,CAAC;IAEjC,MAAM,EAAE,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC;IACjC,IAAI,CAAC;QACH,WAAW,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACvB,OAAO;YACL,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;YAChB,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;YAClB,KAAK,EAAE,MAAM,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC;YAC/B,SAAS,EAAE,cAAc,CAAC,EAAE,CAAC;YAC7B,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC;SACzB,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,WAAW,CAAC,EAAE,CAAC,CAAC;IAClB,CAAC;AACH,CAAC"}

package/dist/report/oversight.d.ts

@@ -0,0 +1,21 @@
+import { type OversightFacts, type ReportScope } from '@openagentsy/core';
+import type { Finding, TaskFindings } from '@openagentsy/quality';
+/**
+ * The findings of the scope.
+ *
+ * The findings are the store's, read through the quality package's read
+ * path. A bean scope reads the findings of that task, because the ledger
+ * reads the task of a bean the same way. Every other scope reads them all:
+ * the findings store has no session and no window, and a report that
+ * narrowed it by guesswork would be narrowing it wrongly.
+ */
+export declare function scopedFindings(findings: TaskFindings, scope: ReportScope): Finding[];
+/**
+ * The oversight of the scope.
+ *
+ * The board records of a bean scope are the records of that bean, and every
+ * other scope sees the whole board: the board has no session column and no
+ * window, so a report that narrowed it would be narrowing it by guesswork.
+ */
+export declare function oversightFacts(stateRoot: string, scope: ReportScope, findings: TaskFindings): Promise<OversightFacts>;
+//# sourceMappingURL=oversight.d.ts.map

package/dist/report/oversight.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"oversight.d.ts","sourceRoot":"","sources":["../../src/report/oversight.ts"],"names":[],"mappings":"AAEA,OAAO,EAIL,KAAK,cAAc,EAEnB,KAAK,WAAW,EACjB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AA8ElE;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,WAAW,GAAG,OAAO,EAAE,CAOpF;AA6BD;;;;;;GAMG;AACH,wBAAsB,cAAc,CAClC,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,WAAW,EAClB,QAAQ,EAAE,YAAY,GACrB,OAAO,CAAC,cAAc,CAAC,CAwBzB"}