mirror of
https://github.com/morluto/rea.git
synced 2026-10-27 18:05:45 +00:00
morluto
e3bbb9ac45
Intern shared provenance in a graph-scoped context registry while retaining exact locations on every fact. Semantic traces carry their referenced context subset, and portable graph validation rejects stale or dangling commitments. BREAKING CHANGE: Semantic graph facts now store evidence context IDs and locations. Graph and semantic trace results require an inline evidence_contexts table.
47 lines
1.9 KiB
TypeScript
47 lines
1.9 KiB
TypeScript
import {
|
|
createJavaScriptSemanticFingerprint,
|
|
type JavaScriptSemanticEvidenceContextRegistry,
|
|
} from "../../domain/javascript/javascriptSemanticGraph.js";
|
|
import type {
|
|
JavaScriptSemanticFingerprint,
|
|
JavaScriptSemanticGraphNode,
|
|
} from "../../domain/javascript/javascriptSemanticGraphSchemas.js";
|
|
import type { JavaScriptSemanticIr } from "../../domain/javascript/javascriptSemanticIr.js";
|
|
import type { JavaScriptArtifactFile } from "../../domain/javascript/javascriptArtifactFiles.js";
|
|
import { observedSemanticEvidence } from "./JavaScriptSemanticGraphEvidence.js";
|
|
|
|
/** Bind domain fingerprint components to exact semantic function nodes. */
|
|
export const projectSemanticFunctionFingerprints = (
|
|
file: JavaScriptArtifactFile,
|
|
ir: JavaScriptSemanticIr,
|
|
callableNodes: ReadonlyMap<string, JavaScriptSemanticGraphNode>,
|
|
evidenceContexts: JavaScriptSemanticEvidenceContextRegistry,
|
|
): JavaScriptSemanticFingerprint[] =>
|
|
ir.functionFingerprints.flatMap((fingerprint) => {
|
|
const callable = callableNodes.get(fingerprint.callableId);
|
|
if (callable === undefined) return [];
|
|
return [
|
|
createJavaScriptSemanticFingerprint(
|
|
{
|
|
function_node_id: callable.node_id,
|
|
algorithm: "rea.javascript-semantic-function",
|
|
status: fingerprint.status,
|
|
components: {
|
|
parameter_arity: fingerprint.components.parameterArity,
|
|
normalized_ast_sha256: fingerprint.components.normalizedAstSha256,
|
|
control_flow_sha256: fingerprint.components.controlFlowSha256,
|
|
relation_shape_sha256: fingerprint.components.relationShapeSha256,
|
|
literal_set_sha256: fingerprint.components.literalSetSha256,
|
|
effects: fingerprint.components.effects,
|
|
},
|
|
limitations: fingerprint.limitations,
|
|
evidence: observedSemanticEvidence(
|
|
file,
|
|
callable.identity.source_range,
|
|
),
|
|
},
|
|
evidenceContexts,
|
|
),
|
|
];
|
|
});
|