An open API service indexing awesome lists of open source software.

https://github.com/inaciovasquez2020/frontier-status-dashboard

Public dashboard for repository integrity, CI health, theorem-boundary status, and external-review readiness.
https://github.com/inaciovasquez2020/frontier-status-dashboard

ci formal-methods research-infrastructure status-dashboard vercel vite

Last synced: about 2 months ago
JSON representation

Public dashboard for repository integrity, CI health, theorem-boundary status, and external-review readiness.

Awesome Lists containing this project

README

          

# Frontier Status Dashboard

## Latest verified update

- Date: 2026-05-02
- Repository: `clay-problem-lab`
- Update: RA1n symbolic transfer bridge merged and reflected in dashboard data.
- Boundary: Conditional Frontier only; no unrestricted or unconditional RA1n closure is claimed.

[![CI](https://github.com/inaciovasquez2020/frontier-status-dashboard/actions/workflows/ci.yml/badge.svg)](https://github.com/inaciovasquez2020/frontier-status-dashboard/actions/workflows/ci.yml)
[![Live Deployment](https://img.shields.io/badge/live-vercel-black)](https://frontier-status-dashboard.vercel.app)
[![Repository](https://img.shields.io/badge/source-GitHub-blue)](https://github.com/inaciovasquez2020/frontier-status-dashboard)

**Live product:** https://frontier-status-dashboard.vercel.app

**Repository:** https://github.com/inaciovasquez2020/frontier-status-dashboard
Public product surface for tracking repository integrity, CI health, theorem-boundary status, proof-hole visibility, and external-review readiness across the Vasquez Research program.

![Frontier Status Dashboard](docs/screenshots/frontier-status-dashboard.svg)

## Product value

This dashboard turns a distributed research-program surface into a single commercial-facing artifact:

- repository status visibility
- theorem-boundary discipline
- CI/test/build credibility
- proof-hole and conditional-frontier separation
- external-review readiness

## Deployment boundary

This product publishes repository status, CI health, proof-hole visibility, and claim-boundary discipline.

It does not represent unresolved mathematical frontiers as solved theorems.

## Commands

```bash
npm ci
npm run test
npm run build
Optional repository-data ingestion
GITHUB_TOKEN="$(gh auth token)" npm run ingest
npm run test
npm run build
Deploy
npm install -g vercel
vercel --prod
Repository
https://github.com/inaciovasquez2020/frontier-status-dashboard

## Recent Status Updates

- Biological Friction Framework: quotient-linear substrate SOLVED/PUSHED in biological-friction-framework commit 3022c38; graph-theoretic quotient-independence remains FRONTIER_OPEN.