{% extends "scitex_sdk/ui/standalone_shell.html" %} {% load static scitex_static %} {% block extra_css %} {% comment %}Tab icon: the scitex-sdk shell emits the official mark via _branding_head.html (operator 2026-10-23 — no leaf-local icons, no per-environment variant).{% endcomment %} {% endblock %} {% block worktree_title_full %}Project files{% endblock %} {% block worktree_data_attrs %}data-working-dir="{{ project_dir|default:'' }}"{% endblock %} {% block app_content %}
Click a claim to load its verification DAG.