Skip to content

Validation Views

The dashboard provides four specialized views for analyzing and validating your encoding. Each view presents the same encoding from a different angle.

Tests panel showing test files and pytest output

Proof View

The Proof View shows the logical derivation tree for a specific atom (fact or conclusion).

How to use it:

  1. Enter an atom to analyze (e.g., holds(issur(basar_bechalav, milk), mechaber))
  2. The view builds a tree showing how that conclusion was derived

Tree node types:

Icon Color Type Meaning
Target Blue Goal The query target
Scroll Amber Rule An ASP rule that was applied
Check Green Fact A base fact from the encoding
Book Purple Source A halachic source attribution

Interactions:

  • Click the chevron to expand or collapse branches
  • Use Expand All / Collapse All buttons at the top
  • Toggle Show Sources to include or hide source attribution nodes
  • Source nodes display the Hebrew text on hover

The Proof View is essential during the Validation phase to verify that your encoding produces correct derivations.

Narrative View

The Narrative View presents a derivation as natural language text. Instead of a tree structure, you see a readable explanation of how a conclusion follows from rules and facts.

Use this view to verify that your encoding matches the halachic reasoning described in the source texts.

Side-by-Side View

The Side-by-Side View displays the original source text alongside the formal encoding. This lets you:

  • Compare the Hebrew text with your LP rules
  • Verify that every halachic concept in the source has a corresponding predicate
  • Check that your encoding captures the source's reasoning accurately

Diff View

The Diff View highlights changes between two versions of an encoding. Use it to:

  • Review what changed between encoding iterations
  • Compare your current encoding with a previous version
  • See additions (green), deletions (red), and modifications

Tips

  • Use Proof View first to verify logical correctness
  • Use Side-by-Side View to check halachic accuracy against sources
  • Use Narrative View to present your encoding to reviewers in readable form
  • Use Diff View when reviewing changes before committing