mirror of
https://github.com/morluto/rea.git
synced 2026-11-13 02:02:36 +00:00
* fix(verification): align Linux Hopper setup lane with current contracts * fix(verification): retain orphan checks on clean Linux runners * fix(verification): detect Hopper through alternate launcher paths * fix(verification): report identified Hopper leaks before proc errors * fix(verification): distinguish Hopper string recognition from byte fidelity * fix(verification): report full literal decoding coverage explicitly --------- Co-authored-by: Luis Taffelli <86675342+LuisTaffelli@users.noreply.github.com>
31 lines
948 B
TypeScript
31 lines
948 B
TypeScript
type VerifierCall = (
|
|
name: string,
|
|
arguments_?: Record<string, unknown>,
|
|
) => Promise<unknown>;
|
|
|
|
interface StringExpectation {
|
|
readonly value: string;
|
|
readonly encoding: string;
|
|
readonly symbol?: string;
|
|
readonly recognitionOptional?: boolean;
|
|
}
|
|
|
|
/** Verify source bytes, observed decoding, address filters and literal searches. */
|
|
export function verifyHopperStringObjects(
|
|
call: VerifierCall,
|
|
expectations: readonly StringExpectation[],
|
|
inventory?: readonly z.output<typeof analysisStringSchema>[] | null,
|
|
): Promise<{
|
|
readonly sourceBytesVerified: true;
|
|
readonly recognition: readonly {
|
|
readonly value: string;
|
|
readonly address: string;
|
|
readonly state: "observed" | "not_observed";
|
|
readonly decodedObject: "verified" | "unverified";
|
|
}[];
|
|
readonly displayEscapesExcludedFromMatching: true;
|
|
}>;
|
|
import type { z } from "zod";
|
|
|
|
import type { analysisStringSchema } from "../../src/domain/hopperValues.js";
|