USAGE

How to Use This Wiki

Relative-markdown links, a bibkey field, typed folders.

The law (what the wiki is: layout, links, conventions) auto-loads from .claude/rules/WIKI.md. This file is the daily driver — how to read, write, verify, query. Procedure lives in the wiki-docs / wiki-ingest / wiki-lint skills.

What this wiki is

A research knowledge base for a PhD on a free-flying space manipulator. It compounds: add sources, the agent integrates them into interlinked pages, and you query the wiki, not the raw PDFs. Typed folders — sources/ (one per paper, by bibkey), topics/ (phenomena + techniques), results/ (theorems / our own results, incl. the equations layer). Registries: notation.md, terminology.md. Proofs: ../generated/math/; immutable sources: ../raw/.

Reading / querying

1. Start at index.md (static catalog) or, in Obsidian, overview.md (live Dataview).
2. Find the cluster; open the page; follow its related: field before searching wider.
3. Answer from the wiki, citing bibkeys. Re-read ../raw/ only to verify a quote / equation.
4. A substantial, re-askable answer → file it as a result page.
5. A gap (concept mentioned, no page) → log it: PAGE NEEDED: ….

Writing (in Obsidian)

• New page: Templater (⌘P → Templater: Create new note from template) → pick source / topic / result from templates.
• Links: relative markdown only — [x](../topics/x.md). Never [[wikilinks]] (break on GitHub; .obsidian/app.json locks this).
• Symbols: render only from notation.md; missing one → add the row centrally.
• Equations: pages are derived from the private my_writing/equations/current_sota.md — never paste it verbatim. A result carries a proof-sketch and links the full proof in ../generated/math/.

Verifying (draft → verified)

Every agent-written page is review: draft. You browse drafts (Dataview WHERE review = "draft"), correct them, and flip review: verified. Only a human sets verified; no page blocks any other.

Flagging inconsistencies

Sources disagree, or a derivation was historically confused: add a one-liner to the page’s inconsistencies: frontmatter list and an inline > [!warning] Inconsistency callout at the spot. They auto-collect in inconsistencies.md.

The sims (code) workspace

Two local-only symlinks into the sibling code workspace:

• sims_wiki — the sibling code wiki. Cross-link as sims_wiki/pages/<p>.md, marked external (sims wiki); never merge schemas.
• sims_logs — the sibling run logs (figures + npz traces). The evidence window. Start from the curated evidence_map.md; cite a figure as sims_logs/<run>/figures/<f>.png.
• sims_gnc — the sibling GNC source (.py). Ground truth: a sims wiki page’s code_path: GNC/<m>.py opens here as sims_gnc/<m>.py. Read to verify claims against the actual code; never edit from here.

Where things live

Need	Go to
Catalog of everything	index.md (static) · overview.md (Obsidian)
A paper’s notes	sources/<bibkey>.md
A concept	topics/<slug>.md
A theorem / our result	results/<slug>.md (+ full proof in ../generated/math/)
Symbols / terms	notation.md · terminology.md
Contradictions	inconsistencies.md
The law (schema)	.claude/rules/WIKI.md
Immutable sources	../raw/ (never edit)