kyle/boxmaker
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

M5a spec: no line of an entry or a note may start with §

Browse Source 
The M5a review found that a note's text could hold a line shaped like a
notes.md header. Read back, the line started an entry of its own: an
untrusted session could plant a 'moved from memory.md' header, and recall
showed what followed it as identity, not untrusted. Entries and notes now
refuse any line that starts with the separator, and a header must match one
of its three forms exactly.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
This commit is contained in:
kyle
2026-09-25 16:41:44 -07:00
committed by kyle
co-authored by Claude Opus 5.5
parent d707be072d
commit 53873c82bf
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/specs/2026-09-24-m5a-local-memory.md
+7 -1
View File
@@ -69,7 +69,11 @@ counted with `chars()`. Limits are on the file's text.
**Entries.** `memory.md` and `user.md` are lists of entries separated by a line holding only `§` **Entries.** `memory.md` and `user.md` are lists of entries separated by a line holding only `§`
(as Hermes does). An entry is trimmed, is not empty, and may span lines, but may not contain a (as Hermes does). An entry is trimmed, is not empty, and may span lines, but may not contain a
line holding only `§`. Two identical entries in one file are refused. line that starts with `§`, leading spaces aside. A `§` inside a line is fine. The same rule holds
for a note's text: in `notes.md` such a line would read as a header, and a header says where an
entry came from (review of 2026-09-24: a note from an untrusted session could otherwise plant a
`moved` header, and `recall` would show what follows it as trusted identity). Two identical
entries in one file are refused.
**Two kinds of memory** (owner, 2026-09-24). **Identity** is who the agent is and what it holds **Two kinds of memory** (owner, 2026-09-24). **Identity** is who the agent is and what it holds
true about its work and its owner: `soul.md`, `memory.md`, `user.md`, in every prompt, written true about its work and its owner: `soul.md`, `memory.md`, `user.md`, in every prompt, written
@@ -88,6 +92,8 @@ each item with its own label. Not everything remembered is believed, but it is r
<the entry> <the entry>
``` ```
A header is exactly one of these three forms; a line that differs in any part (an unknown word, a
fourth part, a last part other than `untrusted`) is not a header but text of the entry above.
A `noted` entry is labelled by the session that wrote it: untrusted if it had read untrusted A `noted` entry is labelled by the session that wrote it: untrusted if it had read untrusted
content, trusted otherwise; its class is the session's. `moved` and `dropped` entries were content, trusted otherwise; its class is the session's. `moved` and `dropped` entries were
identity, so they are trusted. Nothing a write removes is lost: moved and dropped entries go to `notes.md`, and the journal keeps identity, so they are trusted. Nothing a write removes is lost: moved and dropped entries go to `notes.md`, and the journal keeps