Topics

2600 memories (remembered and forgotten) clustered by meaning: each memory's key and body is embedded with nomic-embed-text, the vectors are joined by Ward linkage, and the tree is split for as long as both halves hold at least 15 memories, which gives 99 clusters. Labels are written by a person or a local language model and stay attached to the memories they describe when the tree is recomputed. Hover a row for its make-up; click it for every member.

Remembered Forgotten

Table

Cluster	Memories	Remembered	Forgotten	Kept	Key prefixes
with_z3_solver caller migration	16	0	16	0%	v5a5 16
Lineage solver design invariants	16	2	14	13%	v5a5 12 · invariant 4
RustBV rewrites & Z3 emission	24	9	15	38%	invariant 8 · z3 6 · expression 2 · extract 2
Rust-Python shared Z3 context	46	17	29	37%	invariant 11 · z3 11 · avoid 4 · wheel 3
Shared lineage solver gating verdicts	23	2	21	9%	v5a5 13 · avoid 3 · lineage 3 · v5ht 2
Z3 solver stats & check discipline	17	10	7	59%	invariant 7 · z3 4 · v5a5 3 · avoid 2
Z3 parameter & tactic tuning	20	4	16	20%	z3 9 · avoid 4 · angr 3 · benchmark 1
Lazy solver fork & materialization	26	6	20	23%	z3 6 · avoid 4 · solver 3 · grub 2
Benchmark baseline drift & refresh	38	9	29	24%	benchmark 12 · bench 6 · invariant 6 · baseline 2
CI benchmark gates & leak checks	37	11	26	30%	benchmark 11 · invariant 6 · ci 4 · gate 3
Benchmark tiers & bisect tooling	18	10	8	56%	bench 3 · invariant 3 · bisect 2 · perf 2
Global counter testing & semantics	15	9	6	60%	invariant 3 · avoid 2 · fork 2 · 62li 1
Engine profiling counters & census	25	10	15	40%	2j5v 2 · invariant 2 · j4hl 2 · s10 2
SimProcedure Python fallback profiling	18	3	15	17%	benchmark 3 · angr 2 · invariant 2 · xtse.1 2
ZeroPy gate bounce reduction	16	7	9	44%	benchmark 5 · invariant 4 · zeropy 4 · bounce 1
Bimodal Z3 bench history	38	3	35	8%	benchmark 24 · showcase 4 · bimodal 2 · build 2
Bench corpus viability & OOM safety	25	5	20	20%	benchmark 9 · invariant 5 · bench 4 · oom 3
Perf campaign harnesses & triage	15	2	13	13%	benchmark 5 · bench 3 · invariant 2 · callable 1
Min/max & concretize hotspot measurements	18	2	16	11%	bench 2 · benchmark 2 · fp 2 · 62li 1
Fork hot-path & hackcon attribution	19	0	19	0%	benchmark 3 · hackcon 3 · fork 2 · avoid 1
Python wrapper overhead attribution	43	1	42	2%	benchmark 17 · fauxware 3 · sym 2 · add 1
Deferred fork materialization invariants	31	9	22	29%	invariant 9 · ype54 8 · benchmark 7 · avoid 3
Ralph loop & run_single pitfalls	17	6	11	35%	avoid 5 · invariant 3 · hook 2 · loop 2
Parallel scheduler wave & steady invariants	33	22	11	67%	invariant 20 · avoid 3 · parallel 3 · steady 3
Parallel exploration migration economics	22	12	10	55%	parallel 9 · invariant 2 · 59jk2 1 · anti 1
Parallel scheduler & selection policy	43	24	19	56%	invariant 10 · parallel 5 · avoid 3 · ds 3
bd memory citation hygiene	30	15	15	50%	bd 10 · avoid 6 · invariant 4 · memory 4
Audit round retrospectives	26	8	18	31%	audit 24 · avoid 2
Bead closure & triage patterns	29	2	27	7%	avoid 15 · angr 3 · admin 1 · audit 1
Autonomous loop queue & roadmaps	18	3	15	17%	autonomous 2 · avoid 2 · ralph 2 · rust 2
Agent workflow & offline tooling	21	7	14	33%	agent 3 · bd 2 · bench 2 · agents 1
Rust module split mechanics	39	7	32	18%	a2br2 12 · invariant 9 · god 7 · rust 4
PyO3 pymethods & test spying	26	13	13	50%	invariant 16 · pyo3 4 · avoid 2 · gate 1
Overflow, bounds & ABI invariants	39	28	11	72%	invariant 31 · arm 1 · avoid 1 · clippy 1
Panic safety & audit hardening	30	15	15	50%	invariant 9 · panic 5 · audit 2 · avoid 2
Rust refactor patterns & CFG pitfalls	29	7	22	24%	invariant 10 · dcas 3 · cas 2 · avoid 1
Docs drift & cross-reference audits	27	10	17	37%	invariant 12 · docs 3 · campaign 2 · avoid 1
Rust-Python state sync divergence	23	12	11	52%	invariant 18 · avoid 2 · syscall 2 · mmap 1
Rust macro_rules conventions	16	6	10	38%	declare 5 · invariant 5 · avoid 1 · define 1
Native syscall stat & fd handlers	21	1	20	5%	syscall 16 · fcntl 1 · gffd 1 · stat 1
Syscall dispatch & argument extraction	30	14	16	47%	invariant 15 · native 6 · syscall 5 · extract 2
Stdin & stdio stream modeling	38	15	23	39%	invariant 7 · avoid 3 · fgets 3 · native 3
printf & scanf format parsing	18	4	14	22%	format 6 · invariant 4 · scanf 4 · printf 1
Native libc alias parity audit	17	7	10	41%	native 10 · fortify 4 · avoid 1 · declare 1
Native libc parity & integration tests	28	15	13	54%	native 19 · invariant 2 · ctype 1 · format 1
Arch registers & endianness invariants	54	25	29	46%	invariant 31 · arch 7 · avoid 3 · x86 2
Per-arch syscall numbers & MIPS	21	7	14	33%	invariant 8 · syscall 3 · arm64 2 · mips32 2
Multi-arch support & inline ELF tests	23	3	20	13%	invariant 6 · benchmark 5 · arch 2 · archinfo 2
VEX opcode map & NEON ops	55	13	42	24%	invariant 21 · vex 8 · neon 3 · avoid 2
Symbolic ccall flag semantics	20	8	12	40%	invariant 12 · 05xj 2 · ccall 2 · arm 1
BV codec & width invariants	35	12	23	34%	invariant 20 · z3 2 · apply 1 · bv 1
VEX float & SIMD lane ops	32	7	25	22%	vex 12 · invariant 9 · fp 3 · z3 3
Address concretization & caching	18	10	8	56%	invariant 8 · concretization 2 · 8s4b 1 · angr 1
RustBV concrete value semantics	47	19	28	40%	invariant 27 · angr 4 · codegate 4 · rust 3
Symbolic identity & claripy export	29	21	8	72%	invariant 17 · avoid 2 · rustbv 2 · 4pm1 1
Claripy bridge conversion gaps	18	7	11	39%	claripy 5 · invariant 5 · export 2 · symfile 2
RustBV enum layout & cloning	16	8	8	50%	invariant 7 · rustbv 4 · avoid 1 · benchmark 1
Init disk cache invariants	25	9	16	36%	invariant 16 · disk 4 · asisctf 1 · avoid 1
Symbolic memory load/store invariants	25	10	15	40%	invariant 15 · angr 3 · avoid 1 · memory 1
Memory permissions & page migration	38	20	18	53%	invariant 16 · memory 4 · avoid 3 · rust 2
Lazy memory & multi-cell writes	19	5	14	26%	invariant 3 · czph 2 · lazy 2 · symwrite 2
Pending writes & prefetch caches	21	7	14	33%	invariant 6 · avoid 2 · block 2 · eager 1
Symbolic libc SimProcedure semantics	20	3	17	15%	invariant 6 · memset 3 · procedures 3 · memcpy 2
Multi vs symbolic cell states	43	16	27	37%	invariant 25 · avoid 3 · sokohashv2 2 · wide 2
Venv & Rust rebuild pitfalls	26	7	19	27%	venv 10 · avoid 4 · env 3 · invariant 2
Ruff hooks & dev tooling hazards	23	8	15	35%	avoid 8 · invariant 7 · cargo 2 · fuzzer 1
libVEX FFI parity & rebuild	24	11	13	46%	libvex 15 · avoid 2 · cargo 2 · invariant 2
Clippy lint discipline	32	14	18	44%	clippy 23 · invariant 4 · avoid 3 · deny 1
Cargo feature-flag build gating	16	9	7	56%	invariant 5 · no 4 · vex 3 · audit 1
Cargo test & fuzz workflow	29	15	14	52%	avoid 9 · invariant 6 · cargo 3 · ralph 3
Rust solver proxy & constraint sync	38	16	22	42%	invariant 14 · rust 5 · solver 4 · avoid 3
Constraint dedup & snapshot	23	6	17	26%	invariant 6 · avoid 2 · snapshot 2 · add 1
Z3 model cache & determinism	21	10	11	48%	invariant 9 · deterministic 3 · flaky 2 · eval 1
Branch feasibility & active-state limits	25	18	7	72%	invariant 14 · pbounce 2 · 3tek2 1 · avoid 1
SymContext fork, push/pop & Arc sharing	40	23	17	58%	invariant 27 · merge 4 · fork 2 · arc 1
State cache & ID lifecycle	16	10	6	63%	invariant 15 · rust 1
Pending states & found-state handling	18	12	6	67%	invariant 7 · rust 3 · state 2 · avoid 1
Stash operations & SimState API traps	23	18	5	78%	invariant 13 · avoid 5 · rust 2 · native 1
FileSystem, history & automaton internals	34	16	18	47%	invariant 16 · filesystem 3 · state 2 · symfile 2
FxHash & claripy bridge caches	16	7	9	44%	benchmark 4 · invariant 4 · claripy 3 · angr 1
State snapshot serialization & export	30	11	19	37%	snapshot 8 · invariant 5 · rust 4 · avoid 3
Snapshot resume leaf-loss debugging	17	3	14	18%	snapshot 5 · avoid 4 · showcase 2 · bd 1
RustStateProxy design & semantics	17	6	11	35%	rust 7 · invariant 4 · avoid 2 · 9jly 1
Proxy write-through gates	47	13	34	28%	flareon 13 · boundary 8 · proxy 7 · invariant 5
state.inspect event dispatch	22	2	20	9%	inspect 12 · invariant 3 · avoid 1 · inspection 1
Rust manager parity & test gotchas	28	16	12	57%	invariant 7 · avoid 5 · rust 4 · audit 1
Find/avoid predicates & terminal stashes	34	18	16	53%	invariant 11 · avoid 3 · rust 3 · predicate 2
Refactor deferrals & dedup decomposition	27	1	26	4%	avoid 9 · decision 4 · exploration 4 · wqao 2
Rust error taxonomy & conventions	20	4	16	20%	invariant 7 · rust 3 · avoid 2 · error 2
Rust engine dispatch & compatibility	18	9	9	50%	invariant 7 · analyses 3 · rust 2 · bypass 1
Dead code & silent fallback policy	26	10	16	38%	invariant 6 · dead 5 · avoid 3 · 4o7d 1
Rust engine test patterns	30	12	18	40%	rust 4 · inspect 3 · api 2 · avoid 2
Rust-symex codebase audits	16	2	14	13%	rust 3 · fuzzer 2 · vt0t 2 · dead 1
SimProcedure continuation & no_return	15	8	7	53%	invariant 9 · avoid 2 · exit 1 · fauxware 1
PythonCallbacks bounce & fallback	37	19	18	51%	invariant 19 · avoid 4 · callback 3 · callstack 2
VEX Python fallback counters	19	7	12	37%	invariant 9 · benchmark 2 · ccall 2 · legacy 2
Native libVEX lift & NX	17	8	9	47%	invariant 7 · inspect 3 · native 2 · smc 2
Native library hooks & xmllint	27	9	18	33%	xmllint 7 · native 5 · angr 2 · gate 2
Native SimProcedure & technique dispatch	26	13	13	50%	native 13 · invariant 8 · efficient 1 · loopseer 1