Verification & Quality
Code Quality & Proof Registry — Is the code being built correctly?
Build Specification: Verification & Quality Dashboard
Specification Source: Hilbert Factory Sections 3 (Appendix A), 6 (Inter-phase Gates), 7 (Template Registry), 15 (Verifier Agent) + Dashboard Spec View 3
Panel 3.1 — Verification Pass Rate
Chart Type: Gauge + Sparkline (Chart.js doughnut + Recharts sparkline)
Data Source: GET /api/verification/stats — returns pass rate, trend, total verifications
Refresh Rate: PERIODIC (every 5 minutes)
Display: Large percentage with gauge. Sparkline showing 30-day trend. Target ≥ 95%.
Panel 3.2 — Two-Agent Discipline Audit
Chart Type: Status Grid + Data Table
Data Source: GET /api/verification/independence-checks — returns all builder≠verifier confirmations
Refresh Rate: PERIODIC (every 5 minutes)
Display: Large “100% Enforced” banner (must ALWAYS show 100% — any deviation is HARD_HALT). Table of last 20 checks: handoff_id, builder_agent_id, verifier_agent_id, result, timestamp.
Panel 3.3 — Code Quality Gauges
Chart Type: 6 Gauges with sparklines (Chart.js + Recharts)
Data Source: GET /api/verification/code-quality — returns 6 metrics with current value and 30-day trend
Refresh Rate: PERIODIC (every 15 minutes)
Gauges:
- Lint Cleanliness: % clean files (threshold: 100%, green zone ≥98%)
- Dependency Health: vulnerability count (threshold: 0 high/critical, green zone = 0)
- Unused Code: % dead code (threshold: 0%, green zone ≤1%)
- Cyclomatic Complexity: avg per function (threshold: ≤10, green zone ≤7)
- Security Score: vulnerability count (threshold: 0 high/critical)
- Code Duplication: % duplicated lines (threshold: ≤5%, green zone ≤3%)
Colour Ramp: RdYlGn (red=bad, yellow=borderline, green=good)
Panel 3.4 — Proof Object Registry
Chart Type: Data Table (searchable, filterable)
Data Source: GET /api/verification/proof-objects — returns all proof objects with metadata
Refresh Rate: SESSION (on page load + manual refresh)
Columns: proof_id, type (test log / compliance report / API log / etc.), associated packet, component, storage reference, timestamp
Filters: By proof type, phase, component, date range
Interaction: Click proof → view full contents (rendered JSON/text)