Frontend¶

Web application for verilib.org — browse verified code, manage uploads, view verification status, and trigger certification.


Repo	Beneficial-AI-Foundation/verilib-frontend (private)
Stack	PHP + MySQL, Tailwind/Gulp assets, React graph app (`react-graph-standard/`)
Status	active

What this repo owns¶

Owns	Does not own
HTTP UX (PHP pages + React repo browser)	Probe execution / atomization workers (atomizer)
Auth, roles, task permissions	Certificate probe Docker image (certificates)
MySQL schema + enqueue of `upload` / `validate` work	CLI client (scripts and CLI)
RabbitMQ publishers from the web app	Science-team probe repos

Upload and certify actions create DB rows and publish queue messages; workers in other repos claim and complete the work.

High-level request paths¶

flowchart LR
  browser[Browser]
  php[PHP / Apache]
  db[(MySQL)]
  mq[RabbitMQ]
  atomizer[verilib-atomizer]
  cert[local_validate worker]
  browser --> php
  php --> db
  php --> mq
  mq --> atomizer
  mq --> cert
  atomizer --> db
  cert --> db

Upload / reclone / reatomize — PHP enqueues work for the atomizer (private GitHub tokens are copied encrypted onto the queue payload; see upstream docs/private-github-upload-processor.md).
Certify — POST repobrowser/certify clones a certificate snapshot, leaves certificates.status = pending, and publishes a validate request for the cert worker.

Hub pages in this section¶

Local development — Compose ports, .env, full stack profile
Tech stack — PHP/MySQL, Gulp/Tailwind, React, Playwright
React rewrite — react-graph-standard/ Vite app
Roles / Permissions
Customization — Appearance Rules engine for graph node styling
Dynamic chart pages — markdown page editor; charts from inline JSON, repostats, URL, or live atoms tables
Dynamic chart tables (v4) — type: table + source.kind: atoms (GROUP BY chapter / kind)
Job notifications — header bell, /jobs page, and how upload/atomize status is tracked
API spec — /v2/... surface used by the React app
ADR-0001: Next.js migration — plan to unify the stack under Next.js

Documentation source of truth¶

Detailed setup and deploy scripts: verilib-frontend README (private repo access required).