Session Workflow¶
Every encoding session follows a five-phase workflow. The Phase Timeline in the session detail view tracks your progress.
The Five Phases¶
1. Corpus Preparation¶
Gather source texts from Sefaria and organize them for encoding.
- Fetch relevant sugyot and commentaries.
- Identify machloket between poskim.
- Map the derivation chain from Gemara to Shulchan Aruch.
- When complete, advance to the next phase.
2. HLL Encoding¶
Write the formal encoding in HLL (Halachic Logic Language).
- Open encoding files in the Code Editor.
- Use the Ontology panel to find predicates and sorts.
- Write rules scoped to the correct worlds (Mechaber, Rema, etc.).
- The Terminal provides Claude Code assistance.
3. Validation¶
Run tests to verify your encoding is correct.
- Execute queries in the Query Executor.
- Check proofs in the Proof View.
- Compare source text with encoding in Side-by-Side View.
- Fix issues until all tests pass.
4. Review¶
Submit your encoding for human review.
- The session pauses for review approval.
- Reviewers check halachic accuracy and encoding quality.
- Resolve any questions raised before proceeding.
5. Commit¶
Finalize and commit the encoding to the repository.
- The encoding is committed to the session's git branch.
- The session is archived.
- Coverage metrics update to reflect the new encoding.
Advancing Between Phases¶
Each phase has checkpoints that track completion. Checkpoint statuses:
- Not Started — work has not begun
- In Progress — actively working
- Pending Review — submitted for review
- Approved — reviewer approved
- Tests Passed — validation succeeded
- Complete — phase finished
Failed checkpoints (Tests Failed, Compile Failed) require fixes before you can advance.
Tips¶
- Complete each phase thoroughly before advancing. Going back is harder.
- Use the Phase Timeline in the session detail view to see time spent per phase.
- The terminal stays connected to your session's worktree throughout all phases.