mirror of
https://github.com/morluto/rea.git
synced 2026-11-12 09:52:27 +00:00
morluto
ea00ca2d46
* fix(verify): check checkpoint state before restoring fixtures * fix(verify): require applicable Ghidra decoder controls * refactor(verify): require explicit instruction fixture facts
13 lines
568 B
TypeScript
13 lines
568 B
TypeScript
/** Require the CLI's explicit refusal instead of accepting an unrelated failure. */
|
|
export function requireCheckpointCliRefusal(
|
|
operation: () => Promise<unknown>,
|
|
expectedCode: string,
|
|
): Promise<{ readonly code: string; readonly [key: string]: unknown }>;
|
|
|
|
/** Verify refusal before the caller restores its deliberately invalid manifest. */
|
|
export function assertCheckpointRefusalPreservesManifest(
|
|
operation: () => Promise<unknown>,
|
|
manifestPath: string,
|
|
expectedBytes: Uint8Array,
|
|
): Promise<{ readonly code: string; readonly [key: string]: unknown }>;
|