fix(proof): remove synthetic artifacts from /proof

c1e919c

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Vercel

Vercel Preview Comments

Cursor

Cursor Bugbot

CodeQL on: dynamic 3

Analyze (actions)

Analyze (javascript-typescript)

Analyze (python)

Legacy Code Scan on: pull_request 2

Legacy Pattern Guard

Frontend Unused File Guard

Engine Review Pass on: pull_request 2

Engine Review Pass

Copy rules report on: pull_request 11

report

PR Gate on: pull_request 22

PR Gate: Backend

PR Gate: Frontend

PR Gate: Workflow Contract

PR Gate: Secrets

PR Gate: Path Detection

CI Status Gate

PR Size Check

Commit Message Check

Copy Lint — ban A-F grade/verdict UIs in /tools

Auto-Label PR

Supabase Query Patterns

Source Hygiene

Audit Trail Protection

SQL Injection Defense

Tenant Isolation Check

React Patterns

Bundle Size Analysis on: pull_request 1

Bundle Size Check

Non-main PR Secrets on: pull_request

Non-main PR Secret Scan

security on: pull_request 9

Security path changes

Privileged Workflow Tool Pinning

Secrets Scan (gitleaks)

Secrets Audit (detect-secrets)

security.txt Expiry Check

Audit chain preflight (secrets configured?)

Browser Storage PII Guard

SAST (Semgrep)

Dependency Audit

Tenant Isolation & Auth Tests

DAST preflight (ZAP_TARGET configured?)

Audit Chain Integrity

Generate SBOM (SPDX)

Container Scan (Trivy)

DAST (OWASP ZAP baseline)

Vercel Preview Guard on: pull_request 2

Vercel Preview Built

Preview Access Link

Head SHA Check Guard on: pull_request 2

Head SHA Check Guard

Copy gate on: pull_request 12

Copy gate

Frontend CI/CD on: pull_request 19

Promise Audit

Build & Bundle Analysis

Lint & Format

Unit Tests

Deterministic Smoke Tests

Security Audit

Production Readiness Gate

Passwordless Auth E2E (Chromium)

Frontend CI Status Gate

PR Blocker Checklist on: pull_request 2

PR Blocker Checklist

Backend Services CI/CD on: pull_request 35

Dependency Lock Freshness

Lint admin

Lint compliance

Lint graph

Lint ingestion

Lint nlp

Lint scheduler

Lint shared/

Lint repo roots

RLS fail-open migration guard

tenant_id UUID-only guard

Alembic revision ID guard

Dep version drift guard

Ingestion full suite (xdist signal)

Docker Build (monolith)

Security Audit admin

Security Audit compliance

Security Audit graph

Security Audit ingestion

Security Audit nlp

Security Audit scheduler

Repo-root security/RLS/isolation suite

Seeded migration rehearsal (app-roles-only, 267d8053ced5)

Seeded migration rehearsal (app-roles-only, 38e02636e340)

Seeded migration rehearsal (supabase-client-roles, 267d8053ced5)

Seeded migration rehearsal (supabase-client-roles, 38e02636e340)

Live DB suite (migrated scratch)

Test admin

Test compliance

Test graph

Test ingestion

Test nlp

Test scheduler

Test shared

Backend CI Status Gate

Supply Chain Gate on: pull_request 1

Pinned supply chain

Visual Preview Report on: deployment_status 2

visual-report (non-required)

Visual Production Monitor on: deployment_status

visual-report (non-required)

Engine Review Pass on: pull_request_review 1

PR Blocker Checklist on: pull_request_review 1

Code scanning results

CodeQL

Vercel / Vercel Preview Comments succeeded Oct 26, 2026 in 0s

✅ No unresolved feedback

💬 0 unresolved, 0 resolved. Go to feedback

View more details on Vercel

Loading

Re-running checks...