UI Glossary
A reference of all panel names, icons, status indicators, and visual conventions used in the Mistaber Dashboard.
Panels and Areas
| Term |
Description |
| Activity Bar |
The narrow icon strip on the far left. Click an icon to switch sidebar panels. |
| Sidebar Panel |
The resizable panel to the right of the Activity Bar. Shows content for the selected activity (Sessions, Coverage, Ontology, Files, or Tests). Toggle with Ctrl+B. |
| Editor Area |
The main central area. Displays ontology graph, session details, file editor, coverage dashboard, or settings. Tabs at the top switch between open views. |
| Bottom Panel |
The panel below the Editor Area. Contains Terminal and Output tabs. Toggle with Ctrl+`. Can maximize to fill the Editor Area. |
| Status Bar |
The thin bar at the very bottom. Shows engine status, atom count, response time, and last saved time. |
| Command Palette |
A searchable overlay (Ctrl+K) for quick navigation, world switching, and actions. |
Activity Bar Icons
| Icon |
Name |
Opens |
| Clipboard |
Sessions |
Sessions Panel -- list and manage encoding sessions |
| Bar Chart |
Coverage |
Coverage Panel -- encoding progress and heatmap |
| Network |
Ontology |
Ontology Panel -- force-directed graph of the ontology |
| Folder |
Files |
Explorer Panel -- project file tree |
| Flask |
Tests |
Tests Panel -- run and view validation tests |
| Gear |
Settings |
Settings view in the Editor Area |
Session Status Indicators
| Indicator |
Meaning |
| Spinning yellow icon |
Initializing -- session is being created |
| Stable icon, no highlight |
Ready -- prepared, waiting for you to begin |
| Active coloring |
Active -- work in progress |
| Muted coloring |
Paused -- temporarily stopped |
| Green check |
Completed -- all phases finished |
| Red border, alert icon |
Error -- something failed (hover for details) |
| Green terminal icon |
Terminal is active for this session |
| Branch icon |
Shows the session's git branch name |
Phase Icons and Colors
| Phase |
Icon |
Color |
Status |
| Corpus Prep |
Clock |
Gray |
Gathering sources |
| HLL Encode |
Play |
Yellow |
Writing encoding rules |
| Validate |
Play |
Blue |
Running tests |
| Review |
Pause |
Purple |
Awaiting review |
| Commit |
Check |
Green |
Finalized |
Phase Timeline Symbols
| Symbol |
Meaning |
| Filled circle |
Phase completed (approved) |
| Half-filled circle (left) |
Phase in progress |
| Half-filled circle (right) |
Pending review |
| Empty circle |
Not started |
| X mark |
Phase failed |
| Green connecting line |
Transition completed |
| Gray connecting line |
Transition not yet reached |
Coverage Heatmap Colors
| Color |
Status |
Meaning |
| Green |
Approved |
Encoding reviewed and approved |
| Purple |
In Review |
Submitted, awaiting approval |
| Amber |
In Progress |
Currently being encoded |
| Blue outline |
Queued |
Scheduled but not started |
| Gray |
Not Started |
No work begun |
| White ring |
Selected |
Currently selected cell |
Ontology Graph Nodes
| Shape |
Color |
Type |
| Large circle |
Light blue (#aaccff) |
Physical domain sort |
| Large circle |
Light green (#c4e0a5) |
Normative domain sort |
| Large circle |
Light yellow (#ffc) |
Classification domain sort |
| Diamond |
Blue (#69c) |
Predicate |
| Small circle |
Orange (#fc9) |
Enum type |
Ontology Graph Edges
| Style |
Color |
Type |
| Solid thick |
Gray |
Subsort (inheritance) |
| Solid thin with arrow |
Blue |
Predicate argument |
| Dotted |
Orange |
Enum membership |
| Dashed |
Gray |
Ordering |
| Dashed |
Red |
Constraint |
Engine Status (Status Bar)
| Indicator |
Meaning |
| Green dot (pulsing) |
Connected -- engine is running and responding |
| Yellow dot |
Degraded -- engine responding slowly |
| Red dot |
Disconnected -- engine is not reachable |
Proof View Node Types
| Icon |
Color |
Type |
Meaning |
| Target |
Blue |
Goal |
The query target being proved |
| Scroll |
Amber |
Rule |
An ASP rule applied in the derivation |
| Check |
Green |
Fact |
A base fact from the encoding |
| Book |
Purple |
Source |
A halachic source attribution |
Complexity Score Colors
| Score Range |
Color |
Meaning |
| 1--4 |
Green |
Straightforward encoding |
| 5--7 |
Yellow |
Moderate complexity |
| 8--10 |
Orange |
Expect more machloket and cross-references |