mirror of
https://github.com/morluto/rea.git
synced 2026-11-15 11:13:21 +00:00
morluto
cb4e5cfbff
* refactor(analysis): centralize resource budgets and recovery facts * feat(analysis): expose ASAR and Ghidra runtime admission controls * feat(artifacts): expose reader admission and preserve limited recognition * feat(javascript): expose recoverable semantic precision budgets * feat(web): add recoverable source-map budgets and compact retained views * feat(web): make historical capture decoding budgets recoverable * fix(desktop): enforce selected view policies across capture and export * feat(runtime): make Frida and LLDB retention budgets selectable * feat(native): expose diagnostic budgets and preserve exhaustion causes * feat(managed): expose recoverable snapshot and representation budgets * feat(metadata): make Go and Rust inspection budgets recoverable * feat(wasm): expose representation and producer admissions * feat(evm): expose per-call worker resource budgets * feat(android): make resource and string-pool omissions recoverable * feat(producers): expose command and recorded-capture budgets * docs(analysis): record recovery contracts and integrated validation * fix(docs): link calibration oracle from published verification pages * fix(docs): restore desktop task anchors and receipt links * test(analysis): align fixtures with selectable budget contracts * fix(analysis): remove source-location projector dependency cycle * test(analysis): refresh budget recovery and verifier regressions * test(analysis): preserve format and publication recovery expectations * test(windows): align conformance with owned runtime admission * fix(desktop): preserve selected alias kinds in exported state * test(analysis): align provider fixtures with recoverable budgets * test(desktop): validate emitted alias metadata structurally * fix(ghidra): classify bounded Windows endpoint refusals * test(cli): assert selectable artifact admission recovery * fix(cli): preserve capture provenance in environment builds
75 lines
2.6 KiB
TypeScript
75 lines
2.6 KiB
TypeScript
import { javaScriptSemanticPrecisionSchema } from "./javascriptSemanticPrecision.js";
|
|
import { z } from "zod";
|
|
import { javaScriptSemanticResourceLimitSchema } from "./javascriptSemanticValueTypes.js";
|
|
|
|
/** Independent observations from one inert static pass; no runtime completeness claim. */
|
|
export const javaScriptStaticCoverageSchema = z.strictObject({
|
|
syntax: z.discriminatedUnion("status", [
|
|
z.strictObject({
|
|
status: z.literal("complete"),
|
|
error_count: z.literal(0),
|
|
}),
|
|
z.strictObject({
|
|
status: z.literal("recovered"),
|
|
error_count: z.int().positive(),
|
|
}),
|
|
z.strictObject({ status: z.literal("failed"), error_count: z.null() }),
|
|
z.strictObject({
|
|
status: z.literal("not-examined"),
|
|
error_count: z.null(),
|
|
}),
|
|
]),
|
|
semantics: z.strictObject({
|
|
unknown_findings: z.int().nonnegative().nullable(),
|
|
uncertainty: z.array(
|
|
z.enum([
|
|
"dynamic-findings",
|
|
"returned-reference-widening",
|
|
"type-only-module-side-effect",
|
|
]),
|
|
),
|
|
}),
|
|
examination: z.strictObject({
|
|
status: z.enum(["complete", "limited", "not-examined"]),
|
|
semantic_resource_limits: z.array(javaScriptSemanticResourceLimitSchema),
|
|
semantic_precision: javaScriptSemanticPrecisionSchema.optional(),
|
|
electron_call_paths_limited: z.boolean(),
|
|
}),
|
|
applicability: z.strictObject({ electron: z.enum(["observed", "unknown"]) }),
|
|
unexamined_reason: z.string().min(1).exactOptional(),
|
|
});
|
|
|
|
export type JavaScriptStaticCoverage = z.infer<
|
|
typeof javaScriptStaticCoverageSchema
|
|
>;
|
|
|
|
/** Preserve the established conservative summary, independently of finer facts. */
|
|
export const javaScriptStaticParseStatus = (
|
|
coverage: JavaScriptStaticCoverage,
|
|
): "complete" | "partial" | "failed" =>
|
|
coverage.syntax.status === "failed" ||
|
|
coverage.syntax.status === "not-examined"
|
|
? "failed"
|
|
: coverage.syntax.status === "recovered" ||
|
|
(coverage.semantics.unknown_findings ?? 0) > 0 ||
|
|
coverage.examination.semantic_resource_limits.includes(
|
|
"alias-selections",
|
|
)
|
|
? "partial"
|
|
: "complete";
|
|
|
|
/** Unperformed work has no measured syntax, finding count or framework applicability. */
|
|
export const unexaminedJavaScriptStaticCoverage = (
|
|
reason: string,
|
|
): JavaScriptStaticCoverage => ({
|
|
syntax: { status: "not-examined", error_count: null },
|
|
semantics: { unknown_findings: null, uncertainty: [] },
|
|
examination: {
|
|
status: "not-examined",
|
|
semantic_resource_limits: [],
|
|
electron_call_paths_limited: false,
|
|
},
|
|
applicability: { electron: "unknown" },
|
|
unexamined_reason: reason,
|
|
});
|