Notebook

Pages here are revised in place. They describe what each project is trying to establish, what has been settled, and what is still open — so a page can be re-read later and still say something true.

Dated pieces, where the point is when I thought something, live in writing.

Read these as current state, not as results. Each page carries a status. Anything marked provisional may be withdrawn, and pages that are withdrawn stay up with the reason attached.

Projects

Each card comes from that project's own plan.md — the objective and the current phase — so this is never separately out of date. Hover a phase for the full note.

edit-slicePhase 3 — the measurement moved onto a published benchmark's own materialsMeasure whether weight-level knowledge edits (ROME/MEMIT) leave their own grounds intact and contradictory — the orphan category — and show that this backward failure is worse than the forward propagation these methods were tuned against.Plan updated 14 Oct 2026

rome-neighborsPhase 2 — ImplementationWhen a fact is edited in a language model (e.g. "The Eiffel Tower is in Paris" → "The Eiffel Tower is in Rome"), the logically entailed neighbor facts should also update. They usually don't.Plan updated 22 Jul 2026

claim-graphPhase 5 — LLM edge-typerFeed real research papers in; get a queryable claim graph out — claims as nodes, typed edges (supports / contradicts / refines), every node carrying provenance back to its source sentence in a real paper.Plan updated 14 Jun 2026

opz44 labs built, at least one in every section of all four tracksLearn deployment and security by working through small, standalone labs instead of waiting for a big project.Plan updated 25 Oct 2026

Conventions

Writing here documents the pieces this site gives you — numbered figures, margin notes, claim blocks, references, mathematics — and the front matter each page expects. It doubles as the visual proof sheet.