http://programmer.ie/tags/re-verification/ Recent content in Re-Verification on Programmer.ie: Modern AI programming Hugo en-us Mon, 14 Sep 2026 05:00:09 +0100 http://programmer.ie/books/memory/09-chapter/ Mon, 14 Sep 2026 05:00:09 +0100 http://programmer.ie/books/memory/09-chapter/ <p>Chapter 8 closed the first half with a system that maintains belief through time. That system is a good historian. This chapter shows it is a poor colleague. A historian answers questions about the past. A colleague knows what the past left undone — and the system as built so far cannot tell a closed chapter from an open obligation.</p> <h2 id="the-migration-is-finished-the-work-is-not">The migration is finished. The work is not.</h2> <p>Extend the running migration history past the July decision:</p>