- Foundations
- Revision
- Modalities and knowledge
- Simple fact: teach one explicit fact; inspect attributed source.
- Fresh-session recall: close and reopen before recall.
- Preference: teach a bounded preference.
- Preference + reason: ask why it applies.
- Related facts: check context separation.