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 row comes from that project's own plan.md — the objective and the current phase — so this table is never separately out of date. Hover a phase for the full note.

edit-slice	Measure 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.	2026-09-10	Phase 1 — Design
rome-neighbors	When 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.	2026-07-22	Phase 2 — Implementation
claim-graph	Feed 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.	2026-06-14	Phase 5 — LLM edge-typer

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.