Home / Topics / 73

Z3 model cache & determinism

21 memories · 10 remembered, 11 forgotten (48% kept).

Label

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

Key prefixes

invariant 9 · deterministic 3 · flaky 2 · eval 1

Nearest the centre

invariant-deterministic-mode-plumbing, model-stability-eval-nondeterminism-root-cause, invariant-deterministic-witness-mode, invariant-strict-determinism-covers-all-eval-paths, flaky-test-model-stability-constraint-order, invariant-wide-eval-single-model

Members

• deterministic-mode-medium-bench-hang
• eval-upto-warm-cache-seed
• fork-carries-model-cache
• invariant-min-max-witness-seeding
• invariant-solutions-truncation-undetectable
• invariant-strict-determinism-covers-all-eval-paths
• invariant-wide-eval-single-model
• invariant-z3-model-cache-soundness
• model-stability-eval-nondeterminism-root-cause
• strict-determinism-boundary-diagnosis-was-wrong
• deterministic-mode-flag-impl
• deterministic-seed-narrows-not-collapses
• flaky-model-stability-constraint-order
• flaky-test-model-stability-constraint-order
• iaol-audit-no-hashmap-leaks
• invariant-deterministic-mode-plumbing
• invariant-deterministic-witness-mode
• invariant-eval-upto-canonical-order
• invariant-z3-model-stability
• s3-determinism-variance-attribution-verdict
• z3-model-cache-optimization