mirror of
https://github.com/morluto/rea.git
synced 2026-11-05 06:15:59 +00:00
Include enclosing control-flow predicates when deciding whether symbolic wrapper facts can be reported without guards. Preserve the guarded paths and unresolved coverage instead of inventing unconditional exposures or channel pairing candidates. Keep fully observed renderer transmissions singular when tracing an exposed callback. Distinct wrapper registrations still retain invocation identities. This fixes the Electron package baseline's doubled transmission count. Validation: check; 43 exact source and public CLI/MCP tests; existing artifact, extraction, Electron analysis and routed-analysis verifier against the built CLI. Installed-package platform coverage remains with CI.