⚠ PAGE STATUS: BUILD SPECIFICATION
This page contains the build specification for the Verification & Quality dashboard. The specification below defines exactly what must be implemented. To build this dashboard, give Claude Code the instruction: “Read the build specification on factory-verification.html and implement it.”

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:

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)