Home / Topics / 84

Proxy write-through gates

47 memories · 13 remembered, 34 forgotten (28% kept).

Label

Written by llm:claude-sonnet-5-5 on 2026-10-15T04:38:47Z. Change it with angr-memories topics label 84 "<label>".

Key prefixes

flareon 13 · boundary 8 · proxy 7 · invariant 5

Nearest the centre

flareon-5rjbq-proxy-store-not-seen-by-native-root-cause, flareon-5rjbq-witness-mismatch, callback-proxy-setup-memory-sync-gap, invariant-proxy-gate-callback-only-stores-drop, ryf6-root-cause-proxy-replay-clobber, flareon-5rjbq-store-visibility-disambiguated

Members

• export-proxy-gates-nightly-soak
• invariant-callstack-proxy-per-instance-cache
• invariant-no-state-store-after-proxy-install
• invariant-proxy-gate-callback-only-stores-drop
• invariant-register-proxy-cache-invalidation
• invariant-sync-cb-no-proxy-reentry
• proxy-gate-audit-all-default-off
• proxy-gate-default-on-flip-pattern
• proxy-stale-addr-root-cause
• proxy-writes-design-verdict
• register-proxy-stale-cache-root-cause
• write-through-gate-promotion-keep-off-verdict
• zeropy-store-bounce-dissolved-by-proxy
• avoid-flareon-5rjbq-store-visibility-lead
• avoid-memory-proxy-for-fetch-page
• avoid-unconditional-rust-memory-buffering
• benchmark-proxy-write-density
• boundary-4scu-gate-install
• boundary-4scu-simmem-spike
• boundary-4scu-step4-parity
• boundary-6o9p-callstack-proxy-gate
• boundary-8dop2-gap-stubs
• boundary-qj30-gate-install
• boundary-ul4k-export-memory-proxy-gate
• boundary-yk2g-export-callstack-proxy-gate
• callback-memory-proxy-medium-differential
• callback-proxy-gate-on-green-and-perf-shape
• callback-proxy-setup-memory-sync-gap
• flareon-5rjbq-address-witness-collision-root-cause
• flareon-5rjbq-ebp-cross-solver-root-cause
• flareon-5rjbq-ebp-is-pinned-not-free
• flareon-5rjbq-fallback-witness-necessary-not-sufficient
• flareon-5rjbq-hash-input-dataflow-disasm
• flareon-5rjbq-pin-and-automap-fix
• flareon-5rjbq-post-pin-unsat-residual
• flareon-5rjbq-proxy-store-not-seen-by-native-root-cause
• flareon-5rjbq-proxy-store-not-seen-by-native-root-cause-fixlead
• flareon-5rjbq-store-visibility-diagnosis
• flareon-5rjbq-store-visibility-disambiguated
• flareon-5rjbq-store-works-native-reads-elsewhere
• flareon-5rjbq-witness-mismatch
• nt4q-proxy-writes-deferred
• proxy-callstack-manage-required
• proxy-gate-cache-pollution-pattern
• proxy-int-store-arch-word-default
• register-proxy-gate-empty-state-ids
• ryf6-root-cause-proxy-replay-clobber