Home / Topics / 22

Deferred fork materialization invariants

31 memories · 9 remembered, 22 forgotten (29% kept).

Label

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

Key prefixes

invariant 9 · ype54 8 · benchmark 7 · avoid 3

Nearest the centre

invariant-deferred-fork-p11-p15-fallback, benchmark-cadet-eager-reaches-egg, deferred-forks-unconstrained-oom, avoid-deferred-fork-base-mismatch, invariant-deferred-fork-condition-fallback-arms, invariant-resume-fork-base-must-precede-guard

Members

• avoid-cadet-phase3-sticky-eager-retry
• avoid-deferred-fork-base-mismatch
• benchmark-cadet-two-phase-eager-retry
• invariant-deferred-fork-condition-fallback-arms
• invariant-deferred-fork-guard-free-base
• invariant-deferred-fork-snapshot-primary
• invariant-fork-prior-guard-replay
• invariant-resume-fork-base-must-precede-guard
• invariant-stepping-decomposition
• avoid-ype54-guard-serialization
• benchmark-cadet-convergence-two-bugs
• benchmark-cadet-eager-at-unconstrained-insufficient
• benchmark-cadet-eager-reaches-egg
• benchmark-cadet-eggphase-rootcause-cfg
• benchmark-cadet-phase3-materialize-forks
• benchmark-cadet-single-step-loop-unroll-defeats-latch
• deadend-drops-deferred-forks
• deferred-forks-unconstrained-oom
• invariant-deferred-fork-no-drop
• invariant-deferred-fork-p11-p15-fallback
• invariant-materialize-deferred-forks-single-site
• p15-conservative-fork-undercount
• wave-symbolic-branch-condition-not-serialized
• ype54-fix-decision
• ype54-python-probing-infeasible
• ype54-root-cause-concrete-false-poison
• ype54-root-cause-dropped-constraint
• ype54-root-cause-wave-m1-frontier-drop
• ype54-second-branch-feasibility-divergence
• ype54-taken-constraint-hypothesis-disproven
• ype54-wave-loss-not-symbolic-branch-guard