agentfootprint
Version:
The explainable agent framework — backtrack a wrong answer to the exact context that caused it (evidence, not guesses). Built on footprintjs.
72 lines • 3.53 kB
JavaScript
import { createRecordGraph } from 'foottrace/cause';
import { assessCapture, assessSourceCapture, captureAddress, captureAssessment, captureOwn as own, } from './causeCapture.js';
import { capturedControl } from './causeControl.js';
/** A snapshot projection, not another dependence walker. The public reader owns all graph reasoning. */
export function projectCauseBasis(snapshot, nodes, controlDeps, extras) {
// A snapshot-local namespace is not a storage address or a service-correlation claim.
const recordedAddress = own(snapshot, 'logAddress');
const runId = own(snapshot, 'runId');
const address = recordedAddress ??
(typeof runId === 'string' ? { logRunId: `snapshot:${runId}`, drillPath: [] } : undefined);
if (address === undefined)
return undefined;
const log = own(snapshot, 'commitLog');
if (!Array.isArray(log))
return undefined;
if (log.length > 4096)
return 'truncated';
let capture = extras?.sources
? assessSourceCapture(snapshot, log.length, extras.sources.status)
: assessCapture(snapshot, log.length);
const nativeControl = capture.status === 'admitted' ? capturedControl(snapshot) : undefined;
if (capture.status === 'admitted' && nativeControl === undefined)
capture = captureAssessment('control-not-retained', capture.readSources);
const reads = Object.create(null);
const marks = Object.create(null);
const control = Object.create(null);
let visited = 0;
for (const [id, stage] of nodes) {
if (visited++ >= 4096)
return 'truncated';
const capturedReads = own(stage, 'stageReads');
if (capturedReads !== null && typeof capturedReads === 'object')
reads[id] = Object.keys(capturedReads);
else if (capture.status === 'admitted')
reads[id] = [];
const omitted = extras?.readKeys?.get(id);
if (omitted)
reads[id] = [...new Set([...(reads[id] ?? []), ...omitted])];
const attention = own(stage, 'attention');
if (attention !== undefined)
marks[id] = attention;
const parent = nativeControl === undefined ? controlDeps?.()?.(id) : nativeControl[id];
if (parent !== undefined)
control[id] = { deciderId: parent.deciderId };
}
if (capture.status === 'admitted' &&
log.some((bundle) => !nodes.has(own(bundle, 'runtimeStageId'))))
capture = captureAssessment('projection-incomplete', capture.readSources);
const complete = capture.status === 'admitted';
const scopeAddress = (complete && captureAddress(own(snapshot, 'logAddress'))) || address;
const scope = {
address: scopeAddress,
commitLog: log,
reads,
...(complete || Object.keys(marks).length
? { attention: marks }
: {}),
...(nativeControl === undefined && controlDeps?.() === undefined
? {}
: { controlDeps: control }),
complete,
...(extras?.initialState === undefined ? {} : { initialState: extras.initialState }),
...(extras?.sources === undefined ? {} : { readSources: extras.sources.scope }),
};
const graph = createRecordGraph([scope], { maxCommits: 4096 });
// The public scope reader admits untrusted commits and creates its own official IDs.
return {
graph: { ...graph, roots: (context) => graph.openScope(scopeAddress, context) },
capture,
};
}
//# sourceMappingURL=causeProjection.js.map