rea/src/contracts at af142f656cf448120ad66ebb545bc92e77fd2401 - rea - Gitea: Git with a cup of tea

mirror/rea

mirror of https://github.com/morluto/rea synced 2026-10-26 14:25:49 -04:00

Files

T

History

GuoJun Tang b17487f482 fix(comparison): keep unsupported function facets unknown (#2450 )

* fix(comparison): keep unsupported function facets unknown

* docs(comparison): explain function facet availability

* fix(analysis): preserve unavailable facets across Evidence consumers

---------

Co-authored-by: morluto <76467478+morluto@users.noreply.github.com>

2026-10-13 22:15:01 +08:00

..

fix(adb): evaluate the full activity start report

2026-10-13 04:12:20 +08:00

feat(android): expose exact DEX descriptors and direct invoke sites (#2439 )

2026-10-13 22:02:47 +08:00

feat(apktool): decode Android resource tables through a caller-supplied launcher (#1556 )

2026-10-10 23:04:12 +08:00

feat(captures): discover installed protocol and field definitions (#2496 )

2026-10-13 15:55:25 +09:00

feat(evm): add retained interface summary delivery (#2308 )

2026-10-13 03:09:32 +08:00

refactor(firmware): group layered source and verification (#878 )

2026-10-07 14:44:52 +08:00

perf(flutter): add opt-in retained AOT summary and string pages

2026-10-13 11:39:30 +08:00

feat(go): inspect embedded binary build metadata (#1363 )

2026-10-12 11:34:02 +08:00

feat(mcp): derive an API surface view from retained web network captures (#1891 )

2026-10-12 10:44:17 +08:00

feat(jeb): add JEB engine provider over its MCP interface (#1536 )

2026-10-10 23:03:27 +08:00

feat(managed): add retained metadata overview and pages (#2413 )

2026-10-13 07:41:20 +08:00

fix(native): refuse inspect_signature on non-Mach-O targets (#2262 )

2026-10-13 21:22:42 +08:00

feat(pcap): add bounded capture summaries through CLI and MCP

2026-10-13 04:53:03 +00:00

feat(signals): discover installed decoders and option help (#2487 )

2026-10-13 15:58:19 +09:00

feat(sqlite): inspect offline snapshots with selective evidence (#2271 )

2026-10-12 18:33:23 +00:00

feat(wasm): add opt-in first-call summary delivery (#2193 )

2026-10-12 22:01:47 +08:00

advertisedInputExamples.test.ts

fix(mcp): stop advertising complete Evidence in input examples (#1560 )

2026-10-10 07:10:38 -07:00

advertisedInputExamples.ts

fix(mcp): stop advertising complete Evidence in input examples (#1560 )

2026-10-10 07:10:38 -07:00

analysisDetail.test.ts

feat(mcp): derive an API surface view from retained web network captures (#1891 )

2026-10-12 10:44:17 +08:00

analysisDetail.ts

feat(mcp): derive an API surface view from retained web network captures (#1891 )

2026-10-12 10:44:17 +08:00

analysisSearchContract.ts

…

analysisViewApiSurfaceExample.ts

feat(mcp): derive an API surface view from retained web network captures (#1891 )

2026-10-12 10:44:17 +08:00

analysisViewToolContracts.ts

perf(native): add opt-in Mach-O summary delivery and retained pages (#2634 )

2026-10-13 00:13:12 -07:00

applicationToolContracts.ts

fix(reconstruction): resolve latest verifier observations without input-order bias

2026-10-13 13:23:38 +08:00

artifactComparisonExample.ts

refactor: use canonical implementations and types directly

2026-10-09 23:35:19 +08:00

artifactToolContracts.ts

feat(analysis): add opt-in retained inventory and WASM views (#2122 )

2026-10-12 21:17:52 +08:00

browserProviderToolContracts.ts

…

browserScenarioToolContracts.ts

refactor: remove forwarding exports and redundant aliases

2026-10-09 22:46:09 +08:00

browserToolContracts.ts

fix(browser): report mismatched event family selection as unknown in capture comparison (#2239 )

2026-10-13 02:36:45 +08:00

compactInputSchema.test.ts

feat(mcp): compact input schema profile for size-capped providers (kimi-cli/Moonshot) (#1514 )

2026-10-10 16:58:43 +08:00

compactInputSchema.ts

feat(mcp): compact input schema profile for size-capped providers (kimi-cli/Moonshot) (#1514 )

2026-10-10 16:58:43 +08:00

enhancedInputs.ts

fix(ghidra): classify modern Swift manglings in swift type analysis (#1208 )

2026-10-09 16:10:55 +08:00

enhancedToolContracts.ts

fix(analysis): expose provider image base (#2083 )

2026-10-13 06:10:21 +09:00

errorSchemas.ts

fix(cli): classify oversized JSON inputs

2026-10-10 02:49:46 +08:00

evidenceInputContracts.ts

feat(evidence): accept exact retained application references (#734 )

2026-10-06 20:17:59 +08:00

fridaRemoteAddress.ts

feat: add Frida instrumentation support (#1359 )

2026-10-12 22:01:58 +08:00

fridaToolContracts.test.ts

feat: add Frida instrumentation support (#1359 )

2026-10-12 22:01:58 +08:00

fridaToolContracts.ts

feat: add Frida instrumentation support (#1359 )

2026-10-12 22:01:58 +08:00

functionComparisonExample.ts

fix(comparison): keep unsupported function facets unknown (#2450 )

2026-10-13 22:15:01 +08:00

functionInstructionContract.ts

…

functionWorkflowToolContracts.ts

fix(ghidra): expose terminal-call boundary assumptions

2026-10-11 09:08:01 +08:00

hopperMemoryContracts.ts

fix(hopper): bind file mappings to verified source bytes

2026-10-09 06:13:41 +08:00

inputSchemaPresentation.ts

feat(mcp): compact input schema profile for size-capped providers (kimi-cli/Moonshot) (#1514 )

2026-10-10 16:58:43 +08:00

investigationExamples.ts

refactor: remove forwarding exports and redundant aliases

2026-10-09 22:46:09 +08:00

mobileApplicationGraphExamples.ts

feat(harmony): project HarmonyOS package inventory evidence (#1447 )

2026-10-11 20:09:21 +08:00

officialToolContracts.ts

fix(ghidra): warn when callee/caller reads stop at a truncated function body (#2360 )

2026-10-13 21:26:57 +08:00

promptContracts.ts

feat(mcp): select views of retained analysis results (#1180 )

2026-10-09 12:45:48 +08:00

providerSelection.ts

fix: emit v-mode-compatible patterns for tool schemas (#1220 )

2026-10-09 16:20:57 +08:00

reconstructionReadinessExample.ts

fix(evidence): validate closure projections and browser body coverage

2026-10-12 08:59:14 +08:00

sessionLifecycleInputs.test.ts

feat(native): admit raw binaries with caller-supplied architecture and entry (#1868 )

2026-10-12 00:06:29 +08:00

sessionLifecycleInputs.ts

feat(native): admit raw binaries with caller-supplied architecture and entry (#1868 )

2026-10-12 00:06:29 +08:00

sessionPathInputs.test.ts

refactor: consolidate boundary semantics and prune redundant tests

2026-10-10 05:56:01 +08:00

sessionStatusContract.ts

refactor: use canonical implementations and types directly

2026-10-09 23:35:19 +08:00

sessionToolContracts.ts

feat(mcp): add opt-in paging for retained unknown heads

2026-10-13 08:08:24 +08:00

sessionToolSchemas.ts

feat(mcp): add opt-in paging for retained unknown heads

2026-10-13 08:08:24 +08:00

toolContractExamples.ts

feat: add Frida instrumentation support (#1359 )

2026-10-12 22:01:58 +08:00

toolContractHelpers.ts

fix(hopper)!: bind analysis to the active target and correct boundary contracts

2026-10-09 02:05:31 +08:00

toolContracts.ts

feat(pcap): add bounded capture summaries through CLI and MCP

2026-10-13 04:53:03 +00:00

toolContractTypes.ts

feat(pcap): add bounded capture summaries through CLI and MCP

2026-10-13 04:53:03 +00:00

toolEffects.test.ts

feat(pcap): add bounded capture summaries through CLI and MCP

2026-10-13 04:53:03 +00:00

toolEffects.ts

feat(signals): discover installed decoders and option help (#2487 )

2026-10-13 15:58:19 +09:00

toolInputReferences.test.ts

feat(mcp): derive an API surface view from retained web network captures (#1891 )

2026-10-12 10:44:17 +08:00

toolOutputReferences.test.ts

feat(ghidra): support raw NMOS 6502 analysis (#2079 )

2026-10-13 21:13:01 +08:00

toolOutputSchemaGroups.ts

feat(ghidra): support raw NMOS 6502 analysis (#2079 )

2026-10-13 21:13:01 +08:00

toolOutputSchemaPrimitives.ts

fix: align MCP archive contracts and documentation (#2478 )

2026-10-13 12:06:41 +08:00

toolSchemaMetadata.ts

fix(mcp): stop advertising complete Evidence in input examples (#1560 )

2026-10-10 07:10:38 -07:00

unknownContractExamples.ts

feat(mcp): add opt-in paging for retained unknown heads

2026-10-13 08:08:24 +08:00

webNetworkCaptureToolContracts.ts

feat(browser): inspect retained aioquic qlog JSON captures

2026-10-13 03:24:05 +00:00

webRuntimeToolContracts.ts

refactor: remove forwarding exports and redundant aliases

2026-10-09 22:46:09 +08:00

webScriptToolContracts.ts

refactor: remove forwarding exports and redundant aliases

2026-10-09 22:46:09 +08:00

workflowInputContracts.test.ts

refactor: consolidate boundary semantics and prune redundant tests

2026-10-10 05:56:01 +08:00