core-first-source.md

Tutorial: Core First Source

This tutorial gets Praxis Core from an empty checkout to a searchable source.

1. Install

python3 -m pip install -e .

Windows PowerShell:

py -m pip install -e .

2. Initialize Praxis

praxis bootstrap
praxis doctor --require-index

Expected success output:

# Praxis doctor
ok: README.md: ...
ok: praxis.sqlite table sources: ...
ok: skill_graph.sqlite table nodes: ...
ok: semantic_index.sqlite table semantic_chunks: ...
status: ok

If praxis is not recognized, use python3 -m praxis or py -m praxis instead.

3. Ingest One Source

praxis ingest "https://example.com/source"

Expected success output:

capture_id: cap:...
proposal: research/proposals/...
change_set: chg:...
status: applied

Praxis captures the source, preserves evidence, proposes SkillGraph memory, applies it as provisional knowledge, and logs the change set.

4. Search With Explanations

praxis search "what did this source teach us?" --explain

Expected success output:

score: ...
priority: ...
source: cap:...
why: semantic match, keyword match, graph hints

Use --rank-by relevance if you want raw retrieval order instead of the default priority ranking.

5. Inspect Or Undo

praxis changes list
praxis changes show "chg:..."
praxis conflicts list
praxis rollback "chg:..."

Praxis keeps source evidence, audit logs, conflicts, and rollback commands attached so memory can move quickly without becoming a junk drawer.