Commit graph

18 commits

Author SHA1 Message Date
victortaelin
18584b5039 prompt: 'your memories are in', matching the directory's name 2026-07-26 15:23:18 -03:00
victortaelin
f9497be6d5 prompt: shorter subagent line 2026-07-26 15:22:19 -03:00
victortaelin
0506f4919b prompt: the subagent line is a spawn-time instruction, not a per-message prefix 2026-07-26 15:21:46 -03:00
victortaelin
fd97a81429 README: one-line pitch 2026-07-26 15:20:52 -03:00
victortaelin
d25f09ddc0 one file: blocks.py folded into memo; sizes editable with memo config 2026-07-26 15:12:41 -03:00
victortaelin
efde13f0c1 One home ~/.optmem, one curl to install; new AGENTS.md block; README cut to 59 lines 2026-07-26 15:07:10 -03:00
victortaelin
2dc0e0ba0b README: the film teaches it, the README ships it; inline GIF instead of a broken click-to-watch 2026-07-26 14:45:37 -03:00
victortaelin
bd2a799500 Revert name to OptMem 2026-07-26 14:35:22 -03:00
victortaelin
15130b9cad Rename to AmalgaMem: new README, memo init setup, explainer animation 2026-07-26 14:28:25 -03:00
victortaelin
a6abc264c5 the wake budget is 208 lines: 16k tokens measured, not 16k assumed
WAKE_LINES=256 was converted from Taelin's 16k-token budget at 4 bytes per
token. Dense technical memories run 3.36, so the real document was 19,015
tokens on the live store -- 19% over the number he set, and it needed a
fourth tool call to deliver a 17-line stub.

  256 lines  63,922 bytes  19,015 tokens  4 parts
  208 lines  54,011 bytes  16,393 tokens  3 parts   <- shipped

Nothing is recomputed: the budget only selects which existing lines print.
test.py now reads the budget from memo instead of keeping its own copy.
2026-07-25 18:49:37 -03:00
victortaelin
50b688ab68 audit: a paid compression no longer breaks a snapshot wake
Found by battle-testing the real flow: wake part 1, note something, pay the
compression the note creates, then continue the wake. pending_count subtracted
per level without clamping, so a level that had moved PAST the snapshot
counted as negative work:

  Cannot wake: -1 compressions pending. Do them, then run memo wake again.
  None

The rest of the memory was unreadable for the rest of the session. Clamped at
zero, with a test that pending_count always equals len(pending).

Also: MEMORY_DIR is never created (a typo opened a second, empty identity
instead of failing); the config file is never written (a store froze the
defaults at creation, so updating the tool stopped changing behaviour);
missing import file reports instead of raising; unknown command says so;
a nap prompt with nothing left after it drops the '0 compressions remain'
line; a missing half dies instead of compressing a '?'; plurals.
2026-07-25 18:41:26 -03:00
victortaelin
c08119e701 note criteria: new + important + lasting, and never redundant 2026-07-25 17:53:22 -03:00
victortaelin
1f1ec1511e prompts re-derived from scratch: inclusive block ids, honest terminators, orders with recovery
- Block ids are inclusive everywhere (16-31 = memories #16..#31), matching
  what the wake document prints. Before, wake showed #16-31 but sleep and
  forget demanded 16-32: an agent copying its own document was rejected.
- Only a successful wake says 'You are awake.' Sleep ends with 'Nothing left
  to compress.' Before, the final sleep of a refused wake claimed the agent
  was awake when it had read zero memories.
- An empty store's wake also ends with 'You are awake.' (it never did, so a
  fresh agent could not satisfy its own instructions).
- Wake's refusal closes the loop: 'Do them, then run memo wake again.'
- Nap prompt names its object first and labels merged halves with their ids.
- Every error ends with the recovery command.
- README synced to reality (it still quoted the pre-terseness prompts,
  TREE.txt, and 'four commands').
2026-07-25 17:38:56 -03:00
victortaelin
af17f94c2f every command handed to an agent is an order, not a label
'next: memo wake 2 246' is an annotation, not an instruction. ASD-STE100:
an instruction is an imperative, verb first. Same defect in the nap prompt,
where the command sat on a bare line with nothing telling the agent to run it.

The wake terminator is 'You are awake.', the same words memo sleep already
used, instead of a bare 'awake.' -- one term, one meaning.

test.py now asserts that every offered command starts with 'Run: '.
2026-07-25 17:20:01 -03:00
victortaelin
672cbbdb9c terse prompts; fix id race, torn writes, wake races, unbounded recall
Prompts were verbose and repeated the same story in every tool result, which
floods context and eats the output budget. They are now instructions only,
stated once. The 4-line wake footer is 'next: memo wake 2 246'.

Real harness caps, verified from source (Claude Code 30,000 chars, pi 50 KB /
2000 lines, Codex 10,000 tokens): the old PART_CHARS=8000 was sized against a
wrong 10 KiB figure and cost 8 calls per wake. 20000 costs 4.

Bugs found by audit:
- note assigned its id outside the lock: parallel sessions could collide
- a torn record from a crash misaligned every later record, permanently
- a note landing between two wake parts could shift a boundary and drop a line
  (wake parts now render as of an explicit T)
- recall printed unboundedly and was silently truncated by the harness
2026-07-25 15:43:08 -03:00
Victor Taelin
e123c89317 fixed-width records: O(1) lookup, no scanning
Finding a block meant parsing the whole tree: 1.3s at a million memories, and
the Minilins write fast enough to get there. Records are now fixed width, so
position is identity -- memory i at i*320 of LOG.txt, block [ks,(k+1)s) at
k*288 of TREE/s. One seek, no index file to keep in sync.

A directory of one file per block was the obvious alternative and is worse:
25x disk (781 MB for 31 MB of text) and finding pending work still scans.
Here a level file is a dense prefix, so its length IS the watermark: pending
costs one stat per level. Measured at 1M memories: wake 0.96s -> 0.03s,
note 1.30s -> 0.02s, disk 370 MB -> 607 MB.
2026-07-25 14:34:29 -03:00
Victor Taelin
e544f6548a wake in parts: a single-shot dump is silently truncated by every harness
Measured: Codex CLI cuts tool output at 10 KiB or 256 lines, Claude Code at
30,000 chars, pi at 50 KB -- and each drops a different piece. A 320-line
memory is ~79 KB, so waking was losing memories everywhere, silently. Observed
live on pi: memories #0-#41, the compressed ancient past, vanished.

memo wake now pages the document into parts under the strictest cap and each
part names the exact command for the next. No harness is special-cased.
2026-07-25 14:22:29 -03:00
Victor Taelin
7e3d55dad6 OptMem: a permanent, append-only memory for AI agents 2026-07-25 13:58:35 -03:00