frenzymath/danus/query-memory

Query Memory

Before spending effort, check what already exists. There are three places to look, in the three-memory model:

1. Your own local memory (private): read/grep local_memory/notes.jsonl and

events.jsonl for your prior reasoning and what you already tried.

1. Global memory (shared findings): gm_search(query, kinds=...) over the

swarm's findings. Especially useful kinds:

• dead_end / obstacle — paths that already died (skip them);
• verification — outcomes of others' fact_submit (learn from rejections);
• conclusion / example / counterexample / plan — others' results to build on.

You can also read the global_memory/<kind>.jsonl files directly.

1. Fact graph (verified truth): fact_search(query) (BM25 over the verified

facts) to find results you can cite or that show your subgoal is already proved — it returns {fact_id, statement}; read the full proof from fact_graph/facts/<fact_id>.md on a relevant hit, and fact_graph/glossary.json to reuse the project's symbol definitions. A proof may build only on facts (cite a fact_id).

Procedure

1. Obey the current prompt's restrictions first. If it forbids a direction, file,

or search, that overrides default recall. If it recommends specific results or directions, raise their priority.

1. Start with the cheapest relevant source: your own local memory for your

context; gm_search for the swarm's findings; the fact graph for verified building blocks.

1. Prefer a narrow, targeted query (specific kinds, a sharp query string) over

reading everything.

1. Workspace boundary: stay inside your own working directory and the shared

project stores. Do not scan parent directories, other workers' private local_memory/, or other projects.

Retrieval priority

• A relevant verified fact (fact graph) is the strongest hit — you can build

on it directly by citing its fact_id.

• A sibling's `dead_end`/`obstacle` saves you from re-walking a dead path.
• A sibling's `verification` rejection tells you why a similar claim failed.
• A conclusion/example/counterexample is awareness — useful, but **never a

brick** (only facts are). Re-verify anything you intend to build on.

Output

Note what you recalled and how you used it in your local memory (events). Do not re-publish others' findings; just use them.

Tools

• gm_search (recall shared findings; BM25 over global memory)
• fact_search (recall verified facts; BM25 over the fact graph — novelty + citation lookup)
• local memory is read directly (no tool — read/grep the files); read a fact's full

proof from its fact_graph/facts/<fact_id>.md once fact_search surfaces it