fluffy-context 0.7.6 → 0.8.0

package/dist/src/cognition/usage-report.js

@@ -0,0 +1,232 @@
+import { readdir } from 'node:fs/promises';
+import { resolveProjectRoot } from '../project/project-resolver.js';
+import { readJson, isRecord } from '../storage/json-store.js';
+import { contextsRoot, contextMetadataPath, snapshotsDirectory } from '../storage/layout.js';
+import { readJournal } from './journal.js';
+import { listDeadends, listKnowledge } from '../runtime/knowledge.js';
+import { listNotes } from '../runtime/notes.js';
+function metric(value, quality, unit, method) {
+    return { value, quality, unit, ...(method ? { method } : {}) };
+}
+function iso(value) {
+    const time = Date.parse(value);
+    if (!Number.isFinite(time))
+        throw new Error(`invalid ISO date: ${value}`);
+    return new Date(time).toISOString();
+}
+function windowOf(options, now = new Date()) {
+    if (options.month && !/^\d{4}-\d{2}$/.test(options.month))
+        throw new Error('--month must be YYYY-MM');
+    if (options.since && options.month)
+        throw new Error('--since and --month cannot be combined');
+    if (options.days !== undefined && (!Number.isInteger(options.days) || options.days < 0))
+        throw new Error('--days must be a non-negative integer');
+    const to = options.until ? iso(options.until) : now.toISOString();
+    const toMs = Date.parse(to);
+    if (options.month) {
+        const [year, month] = options.month.split('-').map(Number);
+        const from = new Date(Date.UTC(year, month - 1, 1));
+        const end = new Date(Date.UTC(year, month, 1));
+        if (month < 1 || month > 12 || end.getUTCMonth() !== month % 12)
+            throw new Error('--month must be a valid calendar month');
+        return { from: from.toISOString(), to: end.toISOString(), kind: 'calendar-month', granularity: options.granularity ?? 'week' };
+    }
+    const from = options.since ? iso(options.since) : new Date(toMs - (options.days ?? 30) * 86_400_000).toISOString();
+    if (Date.parse(from) > toMs)
+        throw new Error('--since must not be after --until');
+    return { from, to, kind: options.since || options.until ? 'explicit' : 'rolling', granularity: options.granularity ?? 'day' };
+}
+function inWindow(event, window) {
+    const time = Date.parse(event.occurredAt);
+    return time >= Date.parse(window.from) && time < Date.parse(window.to);
+}
+function dayStart(value, granularity) {
+    const date = new Date(value);
+    if (granularity === 'month')
+        return new Date(Date.UTC(date.getUTCFullYear(), date.getUTCMonth(), 1)).toISOString();
+    if (granularity === 'week') {
+        const day = date.getUTCDay();
+        return new Date(Date.UTC(date.getUTCFullYear(), date.getUTCMonth(), date.getUTCDate() - (day === 0 ? 6 : day - 1))).toISOString();
+    }
+    return new Date(Date.UTC(date.getUTCFullYear(), date.getUTCMonth(), date.getUTCDate())).toISOString();
+}
+async function contexts(projectRoot) {
+    let ids = [];
+    try {
+        ids = await readdir(contextsRoot(projectRoot));
+    }
+    catch {
+        return { items: [], snapshots: 0 };
+    }
+    const items = [];
+    let snapshots = 0;
+    for (const id of ids) {
+        try {
+            const item = await readJson(contextMetadataPath(projectRoot, id), (value) => isRecord(value) && value.schemaVersion === 1 && value.id === id);
+            items.push(item);
+            snapshots += (await readdir(snapshotsDirectory(projectRoot, id))).filter((file) => file.endsWith('.json')).length;
+        }
+        catch { /* invalid files are reported by doctor */ }
+    }
+    return { items, snapshots };
+}
+function usagePayload(event) {
+    if (event.type !== 'usage.operation.completed' || !isRecord(event.payload))
+        return null;
+    const payload = event.payload;
+    return (payload.operation === 'orient' || payload.operation === 'compile' || payload.operation === 'expand' || payload.operation === 'resume')
+        && (payload.interface === 'cli' || payload.interface === 'mcp' || payload.interface === 'agent' || payload.interface === 'hook')
+        && typeof payload.success === 'boolean'
+        && typeof payload.durationMs === 'number' && Number.isFinite(payload.durationMs) && payload.durationMs >= 0
+        && typeof payload.inputChars === 'number' && Number.isFinite(payload.inputChars) && payload.inputChars >= 0
+        && typeof payload.outputChars === 'number' && Number.isFinite(payload.outputChars) && payload.outputChars >= 0
+        && typeof payload.inputBytes === 'number' && Number.isFinite(payload.inputBytes) && payload.inputBytes >= 0
+        && typeof payload.outputBytes === 'number' && Number.isFinite(payload.outputBytes) && payload.outputBytes >= 0
+        && typeof payload.estimatedInputTokens === 'number' && Number.isFinite(payload.estimatedInputTokens) && payload.estimatedInputTokens >= 0
+        && typeof payload.estimatedOutputTokens === 'number' && Number.isFinite(payload.estimatedOutputTokens) && payload.estimatedOutputTokens >= 0
+        && payload.estimatedMethod === 'chars-div-four'
+        ? payload : null;
+}
+function percentile(values, fraction) {
+    if (values.length === 0)
+        return null;
+    const sorted = [...values].sort((a, b) => a - b);
+    return sorted[Math.min(sorted.length - 1, Math.ceil(sorted.length * fraction) - 1)];
+}
+function operationStats(events) {
+    const groups = new Map();
+    for (const event of events) {
+        const payload = usagePayload(event);
+        if (!payload)
+            continue;
+        const key = payload.operation;
+        groups.set(key, [...(groups.get(key) ?? []), payload]);
+    }
+    const byOperation = {};
+    for (const [operation, values] of groups) {
+        const durations = values.map((item) => item.durationMs);
+        byOperation[operation] = {
+            calls: values.length,
+            successes: values.filter((item) => item.success).length,
+            failures: values.filter((item) => !item.success).length,
+            successRate: values.filter((item) => item.success).length / values.length,
+            errorRate: values.filter((item) => !item.success).length / values.length,
+            durationMs: { average: durations.reduce((sum, value) => sum + value, 0) / values.length, p50: percentile(durations, 0.5), p95: percentile(durations, 0.95), max: Math.max(...durations) },
+            inputChars: values.reduce((sum, item) => sum + item.inputChars, 0),
+            outputChars: values.reduce((sum, item) => sum + item.outputChars, 0),
+            inputBytes: values.reduce((sum, item) => sum + item.inputBytes, 0),
+            outputBytes: values.reduce((sum, item) => sum + item.outputBytes, 0),
+            estimatedInputTokens: values.reduce((sum, item) => sum + item.estimatedInputTokens, 0),
+            estimatedOutputTokens: values.reduce((sum, item) => sum + item.estimatedOutputTokens, 0),
+        };
+    }
+    return byOperation;
+}
+export async function buildUsageReport(startPath, options = {}) {
+    const projectRoot = await resolveProjectRoot(startPath);
+    const window = windowOf(options);
+    let events = [];
+    let journalVerified = true;
+    try {
+        events = await readJournal(projectRoot);
+    }
+    catch (error) {
+        if (!(error instanceof Error && /ENOENT|manifest|not initialized/i.test(error.message)))
+            throw error;
+        journalVerified = false;
+    }
+    const scoped = events.filter((event) => inWindow(event, window));
+    const usageEvents = scoped.map((event) => ({ event, payload: usagePayload(event) })).filter((item) => item.payload !== null);
+    const knowledge = await listKnowledge(projectRoot, true);
+    const deadends = await listDeadends(projectRoot, true);
+    const notes = await listNotes(projectRoot, { limit: Number.MAX_SAFE_INTEGER, maxChars: 0 });
+    const contextData = await contexts(projectRoot);
+    const used = new Map();
+    for (const event of events.filter((item) => item.type === 'record.used')) {
+        const payload = event.payload;
+        if (typeof payload.entity === 'string' && typeof payload.entityId === 'string')
+            used.set(`${payload.entity}:${payload.entityId}`, (used.get(`${payload.entity}:${payload.entityId}`) ?? 0) + 1);
+    }
+    const verified = [...knowledge.filter((item) => item.status === 'verified').map((item) => `knowledge:${item.knowledgeId}`), ...deadends.filter((item) => item.status === 'verified').map((item) => `deadend:${item.deadendId}`)];
+    const usedVerified = verified.filter((key) => (used.get(key) ?? 0) > 0).length;
+    const recordUsed = scoped.filter((event) => event.type === 'record.used').length;
+    const lifecycle = (type) => scoped.filter((event) => event.type === type).length;
+    const buckets = new Map();
+    for (const event of scoped) {
+        const key = dayStart(event.occurredAt, window.granularity);
+        const bucket = buckets.get(key) ?? { operations: 0, usageOperations: 0, recordsUsed: 0, outputChars: 0, estimatedOutputTokens: 0, knowledgeCreated: 0, knowledgeVerified: 0, deadendsCreated: 0, deadendsVerified: 0 };
+        const payload = usagePayload(event);
+        if (payload) {
+            bucket.operations += 1;
+            bucket.usageOperations += 1;
+            bucket.outputChars += payload.outputChars;
+            bucket.estimatedOutputTokens += payload.estimatedOutputTokens;
+        }
+        if (event.type === 'record.used')
+            bucket.recordsUsed += 1;
+        if (event.type === 'knowledge.proposed')
+            bucket.knowledgeCreated += 1;
+        if (event.type === 'knowledge.verified')
+            bucket.knowledgeVerified += 1;
+        if (event.type === 'deadend.proposed')
+            bucket.deadendsCreated += 1;
+        if (event.type === 'deadend.verified')
+            bucket.deadendsVerified += 1;
+        buckets.set(key, bucket);
+    }
+    const ctxTokens = usageEvents.reduce((sum, item) => sum + item.payload.estimatedOutputTokens, 0);
+    const baseline = options.baselineTokens ?? null;
+    const savings = baseline === null ? null : baseline - ctxTokens;
+    const investment = metric(ctxTokens, 'estimated', 'tokens', 'chars-div-four');
+    const rawAssets = verified.length;
+    const usedCount = verified.reduce((sum, key) => sum + Math.min(used.get(key) ?? 0, 3), 0);
+    const trendEntries = [...buckets.entries()].sort(([a], [b]) => a.localeCompare(b));
+    let cumulativeInvestmentTokens = 0;
+    let cumulativeOutputChars = 0;
+    let paybackPeriodStart = null;
+    const trends = trendEntries.map(([periodStart, values]) => {
+        cumulativeInvestmentTokens += values.estimatedOutputTokens;
+        cumulativeOutputChars += values.outputChars;
+        const cumulativeSavings = baseline === null ? null : baseline - cumulativeInvestmentTokens;
+        if (paybackPeriodStart === null && cumulativeSavings !== null && cumulativeSavings >= cumulativeInvestmentTokens)
+            paybackPeriodStart = periodStart;
+        return {
+            periodStart,
+            ...values,
+            cumulativeOutputChars,
+            cumulativeEstimatedOutputTokens: cumulativeInvestmentTokens,
+            cumulativeEstimatedSavings: cumulativeSavings,
+        };
+    });
+    const paybackReached = paybackPeriodStart !== null;
+    const paybackPeriodDays = paybackPeriodStart === null ? null : Math.max(0, (Date.parse(paybackPeriodStart) - Date.parse(window.from)) / 86_400_000);
+    return {
+        schemaVersion: 1, generatedAt: new Date().toISOString(), projectRoot, window,
+        dataQuality: { journalVerified, journalEventCount: events.length, windowEventCount: scoped.length, usageEventCount: usageEvents.length, firstUsageAt: usageEvents[0]?.event.occurredAt ?? null, lastUsageAt: usageEvents.at(-1)?.event.occurredAt ?? null, measuredMetricCount: usageEvents.length * 7, estimatedMetricCount: usageEvents.length * 2 + (ctxTokens > 0 ? 1 : 0), unavailableMetricCount: 1 },
+        assets: {
+            knowledge: { total: knowledge.length, candidate: knowledge.filter((item) => item.status === 'candidate').length, verified: knowledge.filter((item) => item.status === 'verified').length, retired: knowledge.filter((item) => ['deprecated', 'rejected'].includes(item.status)).length, created: lifecycle('knowledge.proposed'), verifiedInWindow: lifecycle('knowledge.verified') },
+            deadends: { total: deadends.length, candidate: deadends.filter((item) => item.status === 'candidate').length, verified: deadends.filter((item) => item.status === 'verified').length, retired: deadends.filter((item) => ['obsolete', 'rejected'].includes(item.status)).length, created: lifecycle('deadend.proposed'), verifiedInWindow: lifecycle('deadend.verified') },
+            notes: { total: notes.length, createdInWindow: lifecycle('note.recorded') }, contexts: { total: contextData.items.length, active: contextData.items.filter((item) => ['active', 'stable'].includes(item.status)).length, snapshots: contextData.snapshots }, rawVerifiedAssetCount: rawAssets, effectiveAssetPoints: metric(rawAssets + usedCount * 0.25, 'derived', 'asset-points'), assumptions: { reuseBonusPerUse: 0.25, maxBonusUses: 3 },
+        },
+        reuse: { recordUsedInWindow: recordUsed, recordUsedTotal: events.filter((event) => event.type === 'record.used').length, usedVerifiedAssetCount: usedVerified, verifiedAssetReuseRate: metric(rawAssets === 0 ? null : usedVerified / rawAssets, 'derived', 'ratio') },
+        investment: { contextOutputTokens: investment, providerTokens: metric(null, 'unavailable', 'tokens') },
+        payback: {
+            baselineTokens: baseline,
+            baselineSource: options.baselineSource ?? null,
+            estimatedSavings: savings === null ? metric(null, 'unavailable', 'tokens') : metric(savings, 'estimated', 'tokens'),
+            estimatedROI: baseline === null || ctxTokens === 0 ? null : savings / ctxTokens,
+            status: baseline === null ? 'no_baseline' : paybackReached ? 'reached' : 'not_reached',
+            paybackAt: paybackPeriodStart,
+            paybackPeriodDays,
+        },
+        operations: { available: usageEvents.length > 0, byOperation: operationStats(scoped), reason: usageEvents.length > 0 ? null : 'operation output telemetry is not yet recorded' },
+        trends,
+        warnings: [...(!journalVerified ? ['v2 journal unavailable; lifecycle metrics may be incomplete'] : []), 'Provider token usage is unavailable', ...(usageEvents.length === 0 ? ['Token investment is unavailable until operation output telemetry is recorded'] : [])],
+    };
+}
+export function formatUsageReport(report) {
+    const assets = report.assets;
+    const payback = report.payback;
+    const lines = ['fluffy-context usage report', `Window: ${String(report.window.from).slice(0, 10)} to ${String(report.window.to).slice(0, 10)}`, '', 'ASSET VALUE', `  Verified knowledge       ${assets.knowledge.verified}`, `  Verified deadends        ${assets.deadends.verified}`, `  Used verified assets     ${report.reuse.usedVerifiedAssetCount}`, `  Asset points             ${assets.effectiveAssetPoints.value.toFixed(2)}  derived`, '', 'TOKEN INVESTMENT', `  Estimated tokens         ${report.investment.contextOutputTokens.value}  estimated`, '  Provider tokens          n/a  unavailable', '', 'RETURN', `  Baseline tokens          ${payback.baselineTokens ?? 'n/a'}`, `  Estimated savings        ${payback.estimatedSavings.value ?? 'n/a'}`, `  ROI                      ${payback.estimatedROI ?? 'n/a'}`, `  Payback                  ${payback.status}`, '', 'COMMAND OUTPUT TREND', `  Usage events             ${report.dataQuality.usageEventCount}`, '', 'DATA QUALITY', `  Journal verified         ${report.dataQuality.journalVerified ? 'yes' : 'no'}`, `  Window events            ${report.dataQuality.windowEventCount}`, `  Warnings                 ${report.warnings.length}`];
+    return `${lines.join('\n')}\n`;
+}

package/dist/src/cognition/usage.d.ts

@@ -0,0 +1,5 @@
+import type { CognitionEventSource, UsageOperationCompletedPayload } from './types.js';
+export type UsageOperation = UsageOperationCompletedPayload['operation'];
+export type UsageInterface = UsageOperationCompletedPayload['interface'];
+export declare function recordUsageOperation(startPath: string | undefined, operation: UsageOperation, source: CognitionEventSource, input: unknown, output: unknown, startedAt: number, success: boolean, error?: unknown, interfaceName?: UsageInterface): Promise<void>;
+export declare function withUsageTelemetry<T>(startPath: string | undefined, operation: UsageOperation, source: CognitionEventSource, input: unknown, action: () => Promise<T>, interfaceName?: UsageInterface): Promise<T>;

package/dist/src/cognition/usage.js

@@ -0,0 +1,48 @@
+import { appendEvent } from './journal.js';
+function errorClass(error) {
+    return error instanceof Error ? error.constructor.name : typeof error;
+}
+function interfaceFor(source) {
+    return source === 'mcp' ? 'mcp' : source === 'claude-hook' ? 'hook' : source === 'agent' ? 'agent' : 'cli';
+}
+export async function recordUsageOperation(startPath, operation, source, input, output, startedAt, success, error, interfaceName = interfaceFor(source)) {
+    const inputText = typeof input === 'string' ? input : JSON.stringify(input ?? null);
+    const outputText = typeof output === 'string' ? output : JSON.stringify(output ?? null);
+    const payload = {
+        operation,
+        interface: interfaceName,
+        success,
+        durationMs: Math.max(0, Date.now() - startedAt),
+        inputChars: inputText.length,
+        outputChars: outputText.length,
+        inputBytes: Buffer.byteLength(inputText),
+        outputBytes: Buffer.byteLength(outputText),
+        estimatedInputTokens: Math.ceil(inputText.length / 4),
+        estimatedOutputTokens: Math.ceil(outputText.length / 4),
+        estimatedMethod: 'chars-div-four',
+        ...(success ? {} : { errorClass: errorClass(error) }),
+    };
+    try {
+        await appendEvent(startPath, {
+            type: 'usage.operation.completed',
+            source: { kind: source },
+            idempotencyKey: `usage:${operation}:${source}:${startedAt}:${Date.now()}:${Math.random().toString(36).slice(2)}`,
+            payload,
+        });
+    }
+    catch {
+        // Observability must not affect the operation being observed.
+    }
+}
+export async function withUsageTelemetry(startPath, operation, source, input, action, interfaceName = interfaceFor(source)) {
+    const startedAt = Date.now();
+    try {
+        const result = await action();
+        await recordUsageOperation(startPath, operation, source, input, result, startedAt, true, undefined, interfaceName);
+        return result;
+    }
+    catch (error) {
+        await recordUsageOperation(startPath, operation, source, input, { error: errorClass(error) }, startedAt, false, error, interfaceName);
+        throw error;
+    }
+}

package/dist/src/compiler/compile.js

@@ -4,6 +4,7 @@ import { queryTerms } from '../cognition/retrieval.js';
 import { listDeadends, listKnowledge } from '../runtime/knowledge.js';
 import { listNotes } from '../runtime/notes.js';
 import { extractActivity } from './activity.js';
+import { graphOrdering } from './graph.js';
 import { latestHostIntent, loadCompilerSources, sourceDescriptor } from './sources.js';
 const scenarioKeywords = [
     { scenario: 'debugging', words: ['bug', 'error', 'fail', 'failure', 'exception', 'regression', 'debug', '失败', '报错', '异常', '修复'] },
@@ -137,6 +138,50 @@ function sortCandidates(left, right) {
         || right.matchedTerms.length - left.matchedTerms.length
         || stableCompare(left.candidateId, right.candidateId);
 }
+function recipeParticipation(sources) {
+    const recipe = sources.recipe?.recipe;
+    if (!recipe)
+        return undefined;
+    return {
+        recipeId: recipe.recipeId,
+        contentHash: recipe.contentHash,
+        interpreterVersion: 'recipe-interpreter-v1',
+        preferredSources: [...(recipe.preferredSources ?? [])],
+        preferredSections: [...(recipe.preferredSections ?? [])],
+        sectionBudgets: { ...(recipe.sectionBudgets ?? {}) },
+    };
+}
+function sourcePreference(candidate, recipe) {
+    const source = candidate.source.kind === 'current-context' ? 'context' : candidate.source.kind;
+    const index = recipe.preferredSources.indexOf(source);
+    return index === -1 ? Number.MAX_SAFE_INTEGER : index;
+}
+function sectionPreference(candidate, recipe) {
+    const index = recipe.preferredSections.indexOf(candidate.section);
+    return index === -1 ? Number.MAX_SAFE_INTEGER : index;
+}
+function recipeApplicable(recipe, sources, paths) {
+    const applicability = sources.recipe.recipe.applicability;
+    if (applicability.branchMode === 'global')
+        return true;
+    if (applicability.branchMode !== 'exact')
+        return false;
+    const branch = sources.anchor.ref ?? sources.anchor.branch ?? 'detached';
+    if (applicability.branches?.length && !applicability.branches.includes(branch) && !applicability.branches.includes(sources.anchor.branch ?? ''))
+        return false;
+    if (applicability.sourceCommit && applicability.sourceCommit !== sources.anchor.head)
+        return false;
+    if (paths.length > 0 && applicability.paths?.length && !applicability.paths.some((path) => paths.includes(path.replaceAll('\\', '/'))))
+        return false;
+    return recipe.recipeId === sources.recipe.recipe.recipeId;
+}
+function sortWithRecipe(recipe) {
+    if (!recipe)
+        return sortCandidates;
+    return (left, right) => sourcePreference(left, recipe) - sourcePreference(right, recipe)
+        || sectionPreference(left, recipe) - sectionPreference(right, recipe)
+        || sortCandidates(left, right);
+}
 function truncateText(value, maxChars) {
     if (value.length <= maxChars)
         return { text: value, truncated: false };
@@ -237,6 +282,9 @@ export async function compileContext(startPath, options = {}) {
     const sources = await loadCompilerSources(startPath, options);
     const normalizedPaths = options.paths ? await filterPaths(sources.anchor.projectRoot, options.paths) : [];
     const intent = intentFor(sources, options, normalizedPaths);
+    const recipe = recipeParticipation(sources);
+    if (recipe && !recipeApplicable(recipe, sources, normalizedPaths))
+        throw new Error(`compiler recipe is not applicable: ${recipe.recipeId}`);
     const orientation = sources.orientation;
     const maxChars = intent.budget.total;
     const notes = orientation.status === 'ready' ? (await listNotes(sources.anchor.projectRoot, { contextId: orientation.context.id, openOnly: true, limit: options.noteLimit ?? 50, maxChars: Number.MAX_SAFE_INTEGER })).filter((note) => orientation.notes.some((selected) => selected.noteId === note.noteId)) : [];
@@ -250,14 +298,31 @@ export async function compileContext(startPath, options = {}) {
         if (!check.ok)
             excluded.push({ candidateId: candidate.candidateId, source: candidate.source, reason: check.reason ?? 'query_no_match' });
         return check.ok;
-    }).sort(sortCandidates);
+    }).sort(sortWithRecipe(recipe));
+    const graph = options.graphHops === undefined ? undefined : graphOrdering(sources.evidenceGraph, options.graphHops, sources.anchor, eligible);
+    if (graph) {
+        eligible.sort((left, right) => {
+            if (recipe) {
+                const sourceOrder = sourcePreference(left, recipe) - sourcePreference(right, recipe);
+                if (sourceOrder)
+                    return sourceOrder;
+                const sectionOrder = sectionPreference(left, recipe) - sectionPreference(right, recipe);
+                if (sectionOrder)
+                    return sectionOrder;
+            }
+            return (graph.distanceFor(left) ?? Number.MAX_SAFE_INTEGER) - (graph.distanceFor(right) ?? Number.MAX_SAFE_INTEGER)
+                || sortCandidates(left, right);
+        });
+    }
     const selected = [];
     const truncation = emptyTruncation();
     const sectionStats = {};
     let usedChars = 0;
     for (const candidate of eligible) {
         const separator = selected.length > 0 ? 1 : 0;
-        const available = maxChars - usedChars - separator;
+        const sectionBudget = recipe?.sectionBudgets[candidate.section] ?? maxChars;
+        const consumedInSection = sectionStats[candidate.section]?.consumed ?? 0;
+        const available = Math.min(maxChars - usedChars - separator, sectionBudget - consumedInSection - separator);
         if (available <= 0) {
             excluded.push({ candidateId: candidate.candidateId, source: candidate.source, reason: 'budget' });
             truncation.candidatesOmittedByBudget += 1;
@@ -274,7 +339,7 @@ export async function compileContext(startPath, options = {}) {
         const item = { ...candidate, text: limited.text, selectedChars: limited.text.length, selected: true, truncated: limited.truncated };
         selected.push(item);
         usedChars += separator + item.selectedChars;
-        const prior = sectionStats[item.section] ?? { allocated: maxChars, consumed: 0, truncated: false };
+        const prior = sectionStats[item.section] ?? { allocated: recipe?.sectionBudgets[item.section] ?? maxChars, consumed: 0, truncated: false };
         sectionStats[item.section] = { ...prior, consumed: prior.consumed + item.selectedChars + separator, truncated: prior.truncated || limited.truncated };
         if (limited.truncated) {
             truncation.candidatesPartiallyTruncated += 1;
@@ -318,10 +383,12 @@ export async function compileContext(startPath, options = {}) {
         selected,
         budget: { requested: intent.budget, usedChars, remainingChars: Math.max(0, maxChars - usedChars), sections: sectionStats },
         truncation,
+        ...(recipe ? { recipe } : {}),
+        ...(graph ? { graph: graph.participation } : {}),
     });
     return {
         schemaVersion: 1,
-        compilerVersion: '0.7.6',
+        compilerVersion: '0.7.7',
         rankingVersion: 'compiler-ranking-v2',
         status: orientation.status,
         projectRoot: sources.anchor.projectRoot,
@@ -348,6 +415,8 @@ export async function compileContext(startPath, options = {}) {
             selectedEventIds: [...new Set(selected.flatMap((item) => item.source.provenance.eventId ? [item.source.provenance.eventId] : []))].sort(stableCompare),
             fallbackReason: sources.fallbackReason,
         },
+        ...(recipe ? { recipe } : {}),
+        ...(graph ? { graph: graph.participation } : {}),
         text: manifestText(selected),
     };
 }

package/dist/src/compiler/graph.d.ts

@@ -0,0 +1,7 @@
+import type { EvidenceGraphProjection } from '../cognition/types.js';
+import type { ContextAnchor, ContextCandidate, ContextGraphParticipation } from './types.js';
+export interface GraphOrdering {
+    participation: ContextGraphParticipation;
+    distanceFor(candidate: ContextCandidate): number | null;
+}
+export declare function graphOrdering(graph: EvidenceGraphProjection | null, hops: 0 | 1 | 2, anchor: ContextAnchor, eligible: ContextCandidate[]): GraphOrdering;

package/dist/src/compiler/graph.js

@@ -0,0 +1,117 @@
+import { EVIDENCE_GRAPH_DERIVATION_VERSION, workspaceNodeId } from '../cognition/evidence-graph.js';
+import { contentHash } from './identity.js';
+const MAX_VISITED_NODES = 256;
+const MAX_TRAVERSED_EDGES = 512;
+const MAX_FAN_OUT = 32;
+function compare(left, right) {
+    return left < right ? -1 : left > right ? 1 : 0;
+}
+function candidateNodeId(candidate) {
+    if (candidate.section === 'knowledge')
+        return `knowledge:${candidate.source.entityId}`;
+    if (candidate.section === 'deadend')
+        return `deadend:${candidate.source.entityId}`;
+    if (candidate.source.kind === 'current-context')
+        return `context:${candidate.source.contextId ?? candidate.source.entityId}`;
+    return null;
+}
+function validGraph(graph) {
+    if (graph.schemaVersion !== 1 || graph.derivationVersion !== EVIDENCE_GRAPH_DERIVATION_VERSION || !Array.isArray(graph.nodes) || !Array.isArray(graph.edges))
+        return false;
+    const nodeKinds = new Set(['context', 'snapshot', 'experience', 'proposal', 'knowledge', 'deadend', 'skill', 'recipe', 'path', 'test', 'commit', 'branch-worktree']);
+    const edgeTypes = new Set(['derived_from', 'supports', 'contradicts', 'supersedes', 'used_for', 'observed_in', 'changed_in', 'co_changed_with', 'tests']);
+    const nodes = new Set();
+    for (const node of graph.nodes) {
+        if (!node || typeof node.nodeId !== 'string' || node.nodeId.length === 0 || !nodeKinds.has(node.kind) || nodes.has(node.nodeId))
+            return false;
+        nodes.add(node.nodeId);
+    }
+    const edges = new Set();
+    for (const edge of graph.edges) {
+        if (!edge || typeof edge.edgeId !== 'string' || edge.edgeId.length === 0 || edges.has(edge.edgeId) || !nodes.has(edge.from) || !nodes.has(edge.to) || !edgeTypes.has(edge.type) || edge.derivationVersion !== EVIDENCE_GRAPH_DERIVATION_VERSION || typeof edge.occurredAt !== 'string' || edge.occurredAt.length === 0 || !Array.isArray(edge.sourceEventIds) || edge.sourceEventIds.some((id) => typeof id !== 'string' || !id) || (edge.confidence !== undefined && (typeof edge.confidence !== 'number' || !Number.isFinite(edge.confidence) || edge.confidence < 0 || edge.confidence > 1)))
+            return false;
+        edges.add(edge.edgeId);
+    }
+    return true;
+}
+function graphProjectionHash(graph) {
+    return contentHash(graph);
+}
+export function graphOrdering(graph, hops, anchor, eligible) {
+    const empty = (fallbackReason, seedNodeIds = []) => ({
+        participation: {
+            derivationVersion: EVIDENCE_GRAPH_DERIVATION_VERSION,
+            projectionHash: null,
+            hops,
+            seedNodeIds,
+            selectedNodeIds: [],
+            selectedEdgeIds: [],
+            fallbackReason,
+        },
+        distanceFor: () => null,
+    });
+    if (!graph)
+        return empty('graph-unavailable');
+    if (!validGraph(graph))
+        return empty('graph-invalid');
+    const projectionHash = graphProjectionHash(graph);
+    const nodes = new Set(graph.nodes.map((node) => node.nodeId));
+    const candidateNodes = new Map(eligible.map((candidate) => [candidate.candidateId, candidateNodeId(candidate)]));
+    const seedNodeIds = [...new Set([
+            workspaceNodeId(anchor),
+            ...eligible.filter((candidate) => candidate.source.kind === 'current-context').map(candidateNodeId).filter((node) => node !== null),
+        ].filter((node) => nodes.has(node)))].sort(compare);
+    if (seedNodeIds.length === 0)
+        return empty('graph-no-seeds');
+    if (hops === 0) {
+        const distances = new Map(seedNodeIds.map((node) => [node, 0]));
+        return {
+            participation: { derivationVersion: EVIDENCE_GRAPH_DERIVATION_VERSION, projectionHash, hops, seedNodeIds, selectedNodeIds: seedNodeIds, selectedEdgeIds: [], fallbackReason: null },
+            distanceFor: (candidate) => {
+                const node = candidateNodes.get(candidate.candidateId);
+                return node ? distances.get(node) ?? null : null;
+            },
+        };
+    }
+    const adjacency = new Map();
+    for (const edge of graph.edges) {
+        adjacency.set(edge.from, [...(adjacency.get(edge.from) ?? []), edge]);
+        adjacency.set(edge.to, [...(adjacency.get(edge.to) ?? []), edge]);
+    }
+    for (const edges of adjacency.values())
+        edges.sort((left, right) => compare(left.edgeId, right.edgeId));
+    const distances = new Map(seedNodeIds.map((node) => [node, 0]));
+    const queue = [...seedNodeIds];
+    const selectedEdgeIds = new Set();
+    while (queue.length > 0 && distances.size < MAX_VISITED_NODES && selectedEdgeIds.size < MAX_TRAVERSED_EDGES) {
+        const node = queue.shift();
+        const distance = distances.get(node);
+        if (distance >= hops)
+            continue;
+        for (const edge of (adjacency.get(node) ?? []).slice(0, MAX_FAN_OUT)) {
+            if (selectedEdgeIds.size >= MAX_TRAVERSED_EDGES)
+                break;
+            const adjacent = edge.from === node ? edge.to : edge.from;
+            selectedEdgeIds.add(edge.edgeId);
+            if (!distances.has(adjacent) && distances.size < MAX_VISITED_NODES) {
+                distances.set(adjacent, distance + 1);
+                queue.push(adjacent);
+            }
+        }
+    }
+    return {
+        participation: {
+            derivationVersion: EVIDENCE_GRAPH_DERIVATION_VERSION,
+            projectionHash,
+            hops,
+            seedNodeIds,
+            selectedNodeIds: [...distances.keys()].sort(compare),
+            selectedEdgeIds: [...selectedEdgeIds].sort(compare),
+            fallbackReason: null,
+        },
+        distanceFor: (candidate) => {
+            const node = candidateNodes.get(candidate.candidateId);
+            return node ? distances.get(node) ?? null : null;
+        },
+    };
+}

package/dist/src/compiler/identity.d.ts

@@ -2,5 +2,5 @@ import type { ContextManifest } from './types.js';
 export declare function canonicalJson(value: unknown): string;
 export declare function contentHash(value: unknown): string;
 export declare function estimateTokens(value: string): number;
-export declare function rebuildManifestHash(manifest: Pick<ContextManifest, 'status' | 'projectRoot' | 'mode' | 'anchor' | 'intent' | 'selected' | 'budget' | 'truncation'>): string;
+export declare function rebuildManifestHash(manifest: Pick<ContextManifest, 'status' | 'projectRoot' | 'mode' | 'anchor' | 'intent' | 'selected' | 'budget' | 'truncation' | 'recipe' | 'graph'>): string;
 export declare function validateManifestIdentity(manifest: ContextManifest): boolean;

package/dist/src/compiler/identity.js

@@ -16,7 +16,7 @@ export function estimateTokens(value) {
 export function rebuildManifestHash(manifest) {
     return contentHash({
         schemaVersion: 1,
-        compilerVersion: '0.7.6',
+        compilerVersion: '0.7.7',
         rankingVersion: 'compiler-ranking-v2',
         status: manifest.status,
         projectRoot: manifest.projectRoot,
@@ -26,6 +26,8 @@ export function rebuildManifestHash(manifest) {
         selectedItemHashes: manifest.selected.map((item) => item.itemHash),
         budget: { usedChars: manifest.budget.usedChars, maxChars: manifest.budget.requested.total },
         truncation: manifest.truncation,
+        ...(manifest.recipe ? { recipe: { recipeId: manifest.recipe.recipeId, contentHash: manifest.recipe.contentHash, interpreterVersion: manifest.recipe.interpreterVersion } } : {}),
+        ...(manifest.graph ? { graph: manifest.graph } : {}),
     });
 }
 export function validateManifestIdentity(manifest) {

package/dist/src/compiler/sources.d.ts

@@ -1,4 +1,4 @@
-import type { BranchWorkspace, CognitionEvent } from '../cognition/types.js';
+import type { BranchWorkspace, CognitionEvent, CompilerRecipeState, EvidenceGraphProjection } from '../cognition/types.js';
 import type { ContextOrientResult } from '../agent/types.js';
 import type { ContextAnchor, ContextProvenance, ContextSourceDescriptor, ContextSourceApplicability } from './types.js';
 import type { ContextCompileOptions } from './types.js';
@@ -7,6 +7,8 @@ export interface CompilerSources {
     anchor: ContextAnchor;
     events: CognitionEvent[];
     workspace: BranchWorkspace | null;
+    recipe: CompilerRecipeState | null;
+    evidenceGraph: EvidenceGraphProjection | null;
     fallbackReason: string | null;
 }
 export declare function sourceApplicability(event: CognitionEvent | null, anchor: ContextAnchor): ContextSourceApplicability;

package/dist/src/compiler/sources.js

@@ -93,7 +93,7 @@ export async function loadCompilerSources(startPath, options) {
         knowledgeLimit: options.knowledgeLimit ?? 10,
         deadendLimit: options.deadendLimit ?? 10,
         noteLimit: options.noteLimit ?? 20,
-    });
+    }, null);
     const projectRoot = orientation.projectRoot;
     const git = await readGitWorktreeState(projectRoot);
     let events = [];
@@ -107,7 +107,16 @@ export async function loadCompilerSources(startPath, options) {
     const anchor = anchorFromGit(git, projectRoot);
     const projection = events.length > 0 ? projectEvents(events) : null;
     const workspace = projection?.workspaces[workspaceKey(anchor)] ?? null;
-    return { orientation, anchor, events, workspace, fallbackReason };
+    const recipeId = options.recipeId?.trim();
+    if (options.recipeId !== undefined && !recipeId)
+        throw new Error('compiler recipe ID must not be empty');
+    const recipe = recipeId ? projection?.recipes[recipeId] ?? null : null;
+    if (recipeId && !recipe)
+        throw new Error(`compiler recipe not found: ${recipeId}`);
+    if (recipe && !['verified', 'published'].includes(recipe.status))
+        throw new Error(`compiler recipe is not active: ${recipe.recipe.recipeId}`);
+    const evidenceGraph = options.graphHops !== undefined ? projection?.evidenceGraph ?? null : null;
+    return { orientation, anchor, events, workspace, recipe, evidenceGraph, fallbackReason };
 }
 export function latestHostIntent(events, anchor) {
     const event = [...events].reverse().find((candidate) => {