mirror of
https://github.com/morluto/rea.git
synced 2026-11-10 00:36:35 +00:00
fix(native)!: recognize identical function evidence (#8442)
* fix(native)!: recognize identical function evidence * test(native): verify same-evidence dimension citations * fix(compare): reject impossible same-evidence changes A comparison of one Evidence record cannot report a changed dimension, unequal subject hashes, or unequal digests on an unchanged dimension. * test(compare): admit the partial same-evidence fixture explicitly --------- Co-authored-by: Cursor Agent <cursoragent@cursor.com>
This commit is contained in:
1 parent
9109e6f6a7
commit
2d25a09c0f
9 files changed
+378
-5
No files matched your search
@@ -49,13 +49,21 @@ export const functionMatch = (
|
||||
left_name: leftName,
|
||||
right_name: rightName,
|
||||
};
|
||||
}
|
||||
if (left.evidence.evidence_id === right.evidence.evidence_id)
|
||||
return {
|
||||
status: "matched",
|
||||
method: "same-evidence",
|
||||
left_name: leftName,
|
||||
right_name: rightName,
|
||||
};
|
||||
if (coordinateContext === "common")
|
||||
return {
|
||||
status: "ambiguous",
|
||||
method: "explicit",
|
||||
left_name: leftName,
|
||||
right_name: rightName,
|
||||
};
|
||||
}
|
||||
const stableNames =
|
||||
hasStableNativeSymbol(leftName, left.dossier.procedure.symbol) &&
|
||||
hasStableNativeSymbol(rightName, right.dossier.procedure.symbol);
|
||||
|
||||
Reference in new issue
Block a user