hex-audit 0.4.5 → 0.5.1

package/DEMO.md

@@ -58,7 +58,7 @@ Key pages:
 - `/functions` — Aggregated function view.
 - `/diagram` and `/flows` — Full-bleed Mermaid canvas with auto-fit zoom and legend overlay.
 - `/conformance` — Conformance check results, deviations first, clickable spec links.
-- `/issues` — **The board.** Four columns: Potential / Verified / Invalid / Duplicate. Cards with severity, source badge, GitHub sync chip, duplicate signals. Drag a card to change column. Click to open a modal that edits severity, description, recommendation, resolution, and client update, or copies the finding as HackMD markdown.
+- `/issues` — **The board.** Five columns: Potential / Verified / Synced / Invalid / Duplicate. Uniform `H-NNN` ids with a source badge. Drag cards between the editable columns; click to edit, or copy as HackMD. The **Synced** column is reached only via `/sync-issues` and is read-only (edit on GitHub).
 - `/overleaf` — The four LaTeX report sections from `/generate-overleaf`, each with a copy button. Only populated after you run the skill.
 
 ### Phase 2 — Manual review + `/write-finding`
@@ -77,13 +77,15 @@ When you have something concrete, point Claude at it:
 
 #### `/validate-issue` for any potential issue
 
-`/validate-issue` is source-agnostic. Pass an id (`F003`, `SC-007`, `AA-N002`, `github-42`) or a free-text reference:
+`/validate-issue` is source-agnostic. Pass a uniform id (`H-003`) or a free-text reference:
 
 ```
-/validate-issue F003
+/validate-issue H-003
 /validate-issue for the rounding issue
 ```
 
+To validate the whole Potential backlog in one interactive pass, run `/validate-all-findings`.
+
 Claude traces the attack path in the code, writes a validation memo (always), and asks per-issue whether you want a PoC or memo-only. On valid → tracking entry promotes to `verified` and the card moves to Verified on the board. On invalid → tracking entry becomes `rejected` and the card moves to Invalid.
 
 #### `/ingest-aa-report` — Nethermind AuditAgent only
@@ -100,19 +102,18 @@ When complete, the skill fetches findings, materializes them as Potential cards
 
 #### `/sync-issues` — team mode via GitHub Issues
 
-If `settings.github.repo` is configured in `.hex/config.json` (e.g. `nethermind/audit-vaultx`) and `gh auth login` has been run:
+If a repo is configured (`hex init --github-repo <owner/repo>`, or `settings.github.repo`) and `gh auth login` has been run:
 
 ```
 /sync-issues
 ```
 
-One run does both directions:
+GitHub is the source of truth; **identity is the issue number `#N`** (no hidden footer). One run does both directions:
 
-- **Pulls** every issue with the `hex` label. Issues with the round-trip footer `<!-- hex-finding-id: F<NNN> -->` link back to local findings; issues without the footer are teammate findings, materialized as new tracking entries (`source: "github"`).
-- **Inline dedup, GitHub-canonical.** If a pulled GitHub issue matches a local potential, **the local entry becomes the duplicate** (`status: "duplicate"`, `duplicate_of: "github-<num>"`). Reason: a teammate has already filed it — your in-progress card is redundant.
-- **Pushes** local findings whose tracking status is in `settings.github.publish_status` (default `["verified"]`). Updates existing issues by `github.issue_number`, never creates labels.
+- **Pulls every issue** in the repo (no label filter). Title + the five-field body are parsed back into the local finding; issues already linked by `#N` are refreshed, new ones become local findings. All land in the **Synced** column (read-only).
+- **Pushes** verified findings not yet on GitHub. Body is exactly the five fields (no labels, no footer). The returned `#N` is stored, locking the card into Synced.
 
-GitHub-sync state shows as a chip on each card on the board.
+Once synced, edit on GitHub and re-run `/sync-issues` to pull changes back. GitHub-sync state shows as a chip on each verified/synced card.
 
 ### Phase 4 — Final deliverable (`/generate-overleaf`)
 
@@ -135,8 +136,8 @@ Only `verified` findings make the cut. Duplicates, rejected, and pending entries
 
 - `/init-audit` is now a single skill that runs everything pre-manual-review.
 - The board (`/issues`) is the only findings page. Cards are interactive: drag to change column, click to edit.
-- `/write-finding` records Potential issues — promote them via `/validate-issue` or by dragging on the board.
+- `/write-finding` records Potential issues (uniform `H-NNN` ids, no in-code comments) — promote via `/validate-issue`, `/validate-all-findings`, or by dragging on the board.
 - `/ingest-aa-report` takes a scan ID, never starts a scan.
-- `/sync-issues` treats GitHub as the source of truth — your local entry is the duplicate on a match.
+- `/sync-issues` treats GitHub as the source of truth — synced issues are read-only in Hex and identified by issue number; `/generate-overleaf` reports only from synced issues.
 - `/generate-overleaf` is the final handoff to the LaTeX report.
 - `hex update` upgrades the package and prompts to re-sync skills in one shot; `hex update-skills` re-syncs skills only.

package/README.md

@@ -110,7 +110,7 @@ When you have something concrete, file it as a Potential issue:
 /write-finding for the rounding error in src/Vault.sol
 ```
 
-`/write-finding` writes the finding to `findings.json` with the next sequential `F<NNN>` ID. The corresponding tracking entry has `status: "pending_validation"` and `source: "manual"`, so the card lands in the **Potential** column on the dashboard board.
+`/write-finding` allocates a uniform `H-NNN` id (all issues share one scheme regardless of origin; `source` is a separate field) and records the finding with `status: "pending_validation"` and `source: "manual"`, so the card lands in the **Potential** column. It does not write `@audit-issue` comments into the source — the board is the only place the issue lives.
 
 Phase 2 is where Hex gets out of your way. You think; the toolkit just gives you a place to record what you find.
 
@@ -126,19 +126,17 @@ Phase 2 is where Hex gets out of your way. You think; the toolkit just gives you
 - GitHub teammate entries materialized by `/sync-issues`.
 
 ```
-/validate-issue F003
-/validate-issue SC-007
-/validate-issue AA-N002
+/validate-issue H-003
 /validate-issue for the rounding issue in Vault.sol
 ```
 
-Claude reads the relevant source-of-truth (findings.json | ai-results/auditagent/findings.json | spec-conformance.json | external/github/findings.json), traces the attack path in the code, and writes a validation memo to `.hex/validations/<id>_memo.md`. Then it asks per issue:
+Claude reads the relevant source record, traces the attack path in the code, and writes a validation memo to `.hex/validations/<id>_memo.md`. Then it asks per issue:
 
 > The issue appears valid. PoC or memo-only?
 
 If PoC: invokes `/generate-poc` to produce a runnable test and iterates until it passes. If memo-only: skips PoC, just records the validation reasoning.
 
-Valid → tracking entry promotes to `verified` (the card moves to Verified). Invalid → tracking entry becomes `rejected` (the card moves to Invalid). Severity adjustment is offered after promotion.
+Valid → the card moves to Verified (`hex issue move`). Invalid → it moves to Invalid. Severity adjustment is offered after promotion. To clear a whole backlog, **`/validate-all-findings`** runs this same flow over every Potential card, one at a time.
 
 #### Ingest a Nethermind AuditAgent scan (`/ingest-aa-report`)
 
@@ -157,25 +155,24 @@ The skill:
 
 #### Team mode (`/sync-issues`)
 
-When two or three auditors share an engagement, sync findings through a shared GitHub repo. Set `settings.github.repo` in `.hex/config.json` (the firm's internal repo, e.g. `nethermind/audit-vaultx`) and authenticate the `gh` CLI once:
+GitHub is the source of truth for an audit's findings. Set the repo at init time with `hex init --github-repo <owner/repo>` (or `settings.github.repo` in `.hex/config.json`) — the firm's internal repo, e.g. `nethermind/audit-vaultx` — and authenticate the `gh` CLI once:
 
 ```bash
 gh auth login
 ```
 
-Hex itself never stores GitHub credentials — `/sync-issues` drives the `gh` CLI directly. Then:
+Hex never stores GitHub credentials — `/sync-issues` drives the `gh` CLI directly. Then:
 
 ```
 /sync-issues
 ```
 
-One invocation does both directions:
+One invocation does both directions. **Identity is the GitHub issue number `#N`** — there is no hidden footer in the issue body (auditors create issues by hand), so reconciliation matches a local finding to the issue number it has stored.
 
-- **Pull** every issue with the configured labels. Issues with a hidden footer `<!-- hex-finding-id: F<NNN> -->` link back to local findings. Issues without the footer become teammate findings (`source: "github"`, status `pending_validation`).
-- **Inline dedup, GitHub-canonical.** When a pulled GitHub issue matches a local potential entry, **the local entry becomes the duplicate** (`status: "duplicate"`, `duplicate_of: "github-<num>"`). Rationale: a teammate already filed it, so your in-progress local card is redundant. This is the opposite of the auditagent dedup direction, which flips the auditagent entry to duplicate.
-- **Push** every local finding whose tracking status is in `settings.github.publish_status` (default `["verified"]`). The issue body is a fixed minimal template (File(s), Description, Recommendation(s), Status, Update from the client) plus a hidden `<!-- hex-finding-id -->` footer for round-trip dedup. **No labels are applied** — the target repo's label set is the repo owner's concern, so Hex never assumes labels exist. Existing issues are updated by their `github.issue_number`.
+- **Pull every issue** in the repo (no label filter — audit repos contain only findings). Each issue's title (`[Severity] Title`) and five-field body are parsed back into the local finding. If a body is blatantly not in the Hex format it's skipped with a warning. Issues already linked by `#N` are refreshed from GitHub; new ones become local findings. All pulled issues land in the **Synced** column.
+- **Push** every local finding whose tracking status is in `settings.github.publish_status` (default `["verified"]`) and that isn't already on GitHub. The body is exactly the five-field template (File(s), Description, Recommendation(s), Status, Update from the client) — no labels, no footer. The returned issue number is stored on the finding, which locks it into Synced.
 
-The dashboard's `/issues` page surfaces GitHub-sync state as a chip on each verified card: `GH unsynced` (never pushed), `GH #N open` / `GH #N closed` (linked to the issue), or `GH conflict`.
+**Once synced, an issue is read-only in Hex.** Edit it on GitHub (severity, description, recommendation, status), then re-run `/sync-issues` to pull the changes back. `/generate-overleaf` reports only from synced issues. The board's `/issues` page surfaces sync state as a chip: `GH unsynced` (verified, not pushed), `GH #N open` / `GH #N closed`, or `GH conflict`.
 
 Comments stay on GitHub — Hex never posts, edits, or deletes comments. Auditors discuss inside GitHub itself.
 
@@ -202,15 +199,16 @@ Upload these into the Nethermind Overleaf template's matching slots. Only `verif
 
 Each skill has a recommended model — switch your Claude Code model before invoking skills that recommend Opus.
 
-| Skill               | Phase | Recommended Model | What it does                                                                                                                                     |
-| ------------------- | ----- | ----------------- | ------------------------------------------------------------------------------------------------------------------------------------------------ |
-| `init-audit`        | 1     | Opus              | Dependency-safety → `hex analyze` → overview → diagram → flows → spec conformance → materialize DEVIATES/PARTIAL items as Potential cards        |
-| `write-finding`     | 2     | Sonnet            | Records a manual issue to `findings.json` as a Potential card (`status: pending_validation`, `source: manual`)                                   |
-| `validate-issue`    | 3     | Opus              | Validates any Potential card (manual / auditagent / conformance / github); per-issue choice of PoC vs memo-only; promotes to Verified or Invalid |
-| `generate-poc`      | 3     | Opus              | Generates and runs a PoC test (invoked by `/validate-issue`)                                                                                     |
-| `ingest-aa-report`  | 3     | Sonnet            | Ingests a completed Nethermind AuditAgent scan by ID; materializes findings + inline dedup                                                       |
-| `sync-issues`       | 3     | Sonnet            | Two-way GitHub Issues sync with GitHub-canonical inline dedup                                                                                    |
-| `generate-overleaf` | 4     | Sonnet            | Writes the four LaTeX section files for the final report                                                                                         |
+| Skill                   | Phase | Recommended Model | What it does                                                                                                                                     |
+| ----------------------- | ----- | ----------------- | ------------------------------------------------------------------------------------------------------------------------------------------------ |
+| `init-audit`            | 1     | Opus              | Dependency-safety → `hex analyze` → overview → diagram → flows → spec conformance → materialize DEVIATES/PARTIAL items as Potential cards        |
+| `write-finding`         | 2     | Sonnet            | Records a manual issue to `findings.json` as a Potential card (`status: pending_validation`, `source: manual`)                                   |
+| `validate-issue`        | 3     | Opus              | Validates any Potential card (manual / auditagent / conformance / github); per-issue choice of PoC vs memo-only; promotes to Verified or Invalid |
+| `validate-all-findings` | 3     | Opus              | Runs the `/validate-issue` flow over every Potential card, one at a time                                                                         |
+| `generate-poc`          | 3     | Opus              | Generates and runs a PoC test (invoked by `/validate-issue`)                                                                                     |
+| `ingest-aa-report`      | 3     | Sonnet            | Ingests a completed Nethermind AuditAgent scan by ID; materializes findings + inline dedup                                                       |
+| `sync-issues`           | 3     | Sonnet            | Two-way GitHub Issues sync; GitHub is the source of truth (issue number is identity, synced issues are read-only)                                |
+| `generate-overleaf`     | 4     | Sonnet            | Writes the four LaTeX section files for the final report (from synced issues)                                                                    |
 
 ### Where Skills Live
 
@@ -221,6 +219,7 @@ Skills use Claude Code's native skill format, stored in `.claude/skills/<name>/S
 ├── init-audit/SKILL.md
 ├── write-finding/SKILL.md
 ├── validate-issue/SKILL.md
+├── validate-all-findings/SKILL.md
 ├── generate-poc/SKILL.md
 ├── ingest-aa-report/SKILL.md
 ├── sync-issues/SKILL.md
@@ -248,20 +247,20 @@ hex update-skills --keep-custom  # skip existing skill files to preserve per-pro
 
 The dashboard runs locally at `http://localhost:3000` and auto-refreshes when output files change. A live "Updated Ns ago" indicator in the sidebar footer tells you the watcher is connected.
 
-| Page             | URL            | What you see                                                                                                                                                                                                                                                       |
-| ---------------- | -------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ |
-| Home             | `/`            | Project info, AI overview, key stats                                                                                                                                                                                                                               |
-| Progress         | `/progress`    | Weighted progress bar (70% nSLOC reviewed, 20% audit steps, 10% findings triage), contract review checklist                                                                                                                                                        |
-| Statistics       | `/stats`       | Per-contract metrics, test coverage, dependencies, ERCs                                                                                                                                                                                                            |
-| System Diagram   | `/diagram`     | Mermaid architecture diagram with zoom/pan                                                                                                                                                                                                                         |
-| Flows            | `/flows`       | Mermaid flow charts with zoom/pan                                                                                                                                                                                                                                  |
-| Access Control   | `/access`      | Role → function matrix with "Show unprotected only" and "Show inferred / unknown modifiers" toggles                                                                                                                                                                |
-| State Variables  | `/state`       | Variable inventory with reader/writer tracking and storage-collision warnings                                                                                                                                                                                      |
-| External Calls   | `/calls`       | Call surface with filterable Trust column                                                                                                                                                                                                                          |
-| Functions        | `/functions`   | Aggregated function view                                                                                                                                                                                                                                           |
-| Spec Conformance | `/conformance` | Code vs spec check results, deviations first, clickable spec links                                                                                                                                                                                                 |
-| **Issues**       | `/issues`      | **The board.** Four columns (Potential / Verified / Invalid / Duplicate). Drag cards to change column, click to edit (severity, description, recommendation, resolution, client update), or copy a finding as HackMD markdown. GitHub-sync chip per verified card. |
-| **Overleaf**     | `/overleaf`    | The four LaTeX report sections from `/generate-overleaf`, each with a copy-to-clipboard button — paste straight into the Nethermind Overleaf template.                                                                                                             |
+| Page             | URL            | What you see                                                                                                                                                                                                                                                                                                                                                                               |
+| ---------------- | -------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ |
+| Home             | `/`            | Project info, AI overview, key stats                                                                                                                                                                                                                                                                                                                                                       |
+| Progress         | `/progress`    | Weighted progress bar (70% nSLOC reviewed, 20% audit steps, 10% findings triage), contract review checklist                                                                                                                                                                                                                                                                                |
+| Statistics       | `/stats`       | Per-contract metrics, test coverage, dependencies, ERCs                                                                                                                                                                                                                                                                                                                                    |
+| System Diagram   | `/diagram`     | Mermaid architecture diagram with zoom/pan                                                                                                                                                                                                                                                                                                                                                 |
+| Flows            | `/flows`       | Mermaid flow charts with zoom/pan                                                                                                                                                                                                                                                                                                                                                          |
+| Access Control   | `/access`      | Role → function matrix with "Show unprotected only" and "Show inferred / unknown modifiers" toggles                                                                                                                                                                                                                                                                                        |
+| State Variables  | `/state`       | Variable inventory with reader/writer tracking and storage-collision warnings                                                                                                                                                                                                                                                                                                              |
+| External Calls   | `/calls`       | Call surface with filterable Trust column                                                                                                                                                                                                                                                                                                                                                  |
+| Functions        | `/functions`   | Aggregated function view                                                                                                                                                                                                                                                                                                                                                                   |
+| Spec Conformance | `/conformance` | Code vs spec check results, deviations first, clickable spec links                                                                                                                                                                                                                                                                                                                         |
+| **Issues**       | `/issues`      | **The board.** Five columns (Potential / Verified / Synced / Invalid / Duplicate). Drag cards between the editable columns, click to edit (severity, description, recommendation, resolution, client update), or copy a finding as HackMD markdown. The **Synced** column is reached only via `/sync-issues` and is read-only (edit on GitHub). GitHub-sync chip per verified/synced card. |
+| **Overleaf**     | `/overleaf`    | The four LaTeX report sections from `/generate-overleaf`, each with a copy-to-clipboard button — paste straight into the Nethermind Overleaf template.                                                                                                                                                                                                                                     |
 
 ---
 
@@ -355,7 +354,7 @@ All commands run from within the project directory (or with `--project /path/to/
 | --------------------------------- | ------------------------------------------------------------------------------------------------------------------ |
 | `hex doctor`                      | Preflight check: node, forge, slither, solc, Claude Code, output-dir writability, project config                   |
 | `hex claude`                      | Copy skills to `.claude/skills/` for Claude Code discovery                                                         |
-| `hex init`                        | Initialise audit config — scope, commit, chain, docs URL (called by `/init-audit`)                                 |
+| `hex init`                        | Initialise audit config — scope, commit, chain, docs URL, `--github-repo` (called by `/init-audit`)                |
 | `hex analyze`                     | Run all analysis commands in parallel (stats, deps, access, state, calls, patterns, constraints), then surface     |
 | `hex stats`                       | Generate codebase statistics and test coverage                                                                     |
 | `hex deps`                        | Build contract dependency graph                                                                                    |
@@ -377,6 +376,8 @@ All commands run from within the project directory (or with `--project /path/to/
 | `hex update-skills --keep-custom` | Skip existing skill files instead of overwriting                                                                   |
 | `hex ai-status`                   | Show the latest status for AuditAgent scans                                                                        |
 | `hex ai-status --watch`           | Poll every 5 minutes until pending scans resolve (typical scan: 30-60 min)                                         |
+| `hex issue new --source <s> ...`  | Allocate a uniform `H-NNN` id and create a board card (used by the skills)                                         |
 | `hex issue move <id> --to <col>`  | Move an issue between board columns (potential / verified / invalid / duplicate); materializes a finding on verify |
 | `hex issue patch <id> [...]`      | Edit an issue's severity / resolution / description-file / recommendation-file / update-from-client / notes        |
+| `hex issue sync-set <id> ...`     | Mark an issue synced to a GitHub issue number (used by `/sync-issues`)                                             |
 | `hex issue show <id>`             | Print the merged finding + tracking record for an issue                                                            |

package/dashboard/.next/BUILD_ID

@@ -1 +1 @@
-4HWoeGmBSZi6iGcKL3VWA
+dm-uzRRik5AgaBPedT1iR

package/dashboard/.next/app-build-manifest.json

@@ -12,16 +12,9 @@
       "static/chunks/618f8807-547c5614e1318888.js",
       "static/chunks/3205-728c260fbb4f89c6.js",
       "static/chunks/main-app-9d2f6b8a47133e9b.js",
-      "static/css/36c6bb859d4545fd.css",
+      "static/css/9c84313d0484b74f.css",
       "static/chunks/7498-ea83cb9e30ec5491.js",
-      "static/chunks/app/layout-cde7d75ea6df4f81.js"
-    ],
-    "/flows/page": [
-      "static/chunks/webpack-08869f2b18792e51.js",
-      "static/chunks/618f8807-547c5614e1318888.js",
-      "static/chunks/3205-728c260fbb4f89c6.js",
-      "static/chunks/main-app-9d2f6b8a47133e9b.js",
-      "static/chunks/app/flows/page-fa67783d8cd79cab.js"
+      "static/chunks/app/layout-91d2987f5030a3c4.js"
     ],
     "/diagram/page": [
       "static/chunks/webpack-08869f2b18792e51.js",
@@ -30,14 +23,12 @@
       "static/chunks/main-app-9d2f6b8a47133e9b.js",
       "static/chunks/app/diagram/page-b228444265546495.js"
     ],
-    "/access/page": [
+    "/flows/page": [
       "static/chunks/webpack-08869f2b18792e51.js",
       "static/chunks/618f8807-547c5614e1318888.js",
       "static/chunks/3205-728c260fbb4f89c6.js",
       "static/chunks/main-app-9d2f6b8a47133e9b.js",
-      "static/chunks/8452-e616b5f43bceb95f.js",
-      "static/chunks/8928-60c623ee89d2e6ad.js",
-      "static/chunks/app/access/page-3668562e7464eb5d.js"
+      "static/chunks/app/flows/page-fa67783d8cd79cab.js"
     ],
     "/calls/page": [
       "static/chunks/webpack-08869f2b18792e51.js",
@@ -47,12 +38,14 @@
       "static/chunks/8452-e616b5f43bceb95f.js",
       "static/chunks/app/calls/page-d07f5b8664cc8303.js"
     ],
-    "/overleaf/page": [
+    "/access/page": [
       "static/chunks/webpack-08869f2b18792e51.js",
       "static/chunks/618f8807-547c5614e1318888.js",
       "static/chunks/3205-728c260fbb4f89c6.js",
       "static/chunks/main-app-9d2f6b8a47133e9b.js",
-      "static/chunks/app/overleaf/page-bcea12a80c97b92f.js"
+      "static/chunks/8452-e616b5f43bceb95f.js",
+      "static/chunks/8928-60c623ee89d2e6ad.js",
+      "static/chunks/app/access/page-3668562e7464eb5d.js"
     ],
     "/functions/page": [
       "static/chunks/webpack-08869f2b18792e51.js",
@@ -70,20 +63,20 @@
       "static/chunks/main-app-9d2f6b8a47133e9b.js",
       "static/chunks/app/conformance/page-2fede1d7b5f9265d.js"
     ],
-    "/stats/page": [
+    "/overleaf/page": [
       "static/chunks/webpack-08869f2b18792e51.js",
       "static/chunks/618f8807-547c5614e1318888.js",
       "static/chunks/3205-728c260fbb4f89c6.js",
       "static/chunks/main-app-9d2f6b8a47133e9b.js",
-      "static/chunks/8452-e616b5f43bceb95f.js",
-      "static/chunks/app/stats/page-db81f600a086f252.js"
+      "static/chunks/app/overleaf/page-bcea12a80c97b92f.js"
     ],
-    "/progress/page": [
+    "/issues/page": [
       "static/chunks/webpack-08869f2b18792e51.js",
       "static/chunks/618f8807-547c5614e1318888.js",
       "static/chunks/3205-728c260fbb4f89c6.js",
       "static/chunks/main-app-9d2f6b8a47133e9b.js",
-      "static/chunks/app/progress/page-f07ac39d1d27b480.js"
+      "static/chunks/3924-4a05057b5450abe1.js",
+      "static/chunks/app/issues/page-6bfbf80884d3c9d8.js"
     ],
     "/page": [
       "static/chunks/webpack-08869f2b18792e51.js",
@@ -94,13 +87,20 @@
       "static/chunks/7397-f6f4dddc7a20bfc1.js",
       "static/chunks/app/page-a0f25953d4457935.js"
     ],
-    "/issues/page": [
+    "/progress/page": [
       "static/chunks/webpack-08869f2b18792e51.js",
       "static/chunks/618f8807-547c5614e1318888.js",
       "static/chunks/3205-728c260fbb4f89c6.js",
       "static/chunks/main-app-9d2f6b8a47133e9b.js",
-      "static/chunks/3924-4a05057b5450abe1.js",
-      "static/chunks/app/issues/page-30f7bcde0f4f6ddb.js"
+      "static/chunks/app/progress/page-f07ac39d1d27b480.js"
+    ],
+    "/stats/page": [
+      "static/chunks/webpack-08869f2b18792e51.js",
+      "static/chunks/618f8807-547c5614e1318888.js",
+      "static/chunks/3205-728c260fbb4f89c6.js",
+      "static/chunks/main-app-9d2f6b8a47133e9b.js",
+      "static/chunks/8452-e616b5f43bceb95f.js",
+      "static/chunks/app/stats/page-db81f600a086f252.js"
     ]
   }
 }

package/dashboard/.next/app-path-routes-manifest.json

@@ -1 +1 @@
-{"/_not-found/page":"/_not-found","/api/code/route":"/api/code","/api/progress/route":"/api/progress","/api/mermaid/route":"/api/mermaid","/flows/page":"/flows","/diagram/page":"/diagram","/icon.svg/route":"/icon.svg","/api/issues/[id]/move/route":"/api/issues/[id]/move","/api/github-status/route":"/api/github-status","/api/flows/route":"/api/flows","/api/issues/[id]/route":"/api/issues/[id]","/access/page":"/access","/api/watch/route":"/api/watch","/calls/page":"/calls","/overleaf/page":"/overleaf","/functions/page":"/functions","/conformance/page":"/conformance","/stats/page":"/stats","/progress/page":"/progress","/page":"/","/issues/page":"/issues"}
+{"/_not-found/page":"/_not-found","/api/code/route":"/api/code","/api/mermaid/route":"/api/mermaid","/api/progress/route":"/api/progress","/diagram/page":"/diagram","/flows/page":"/flows","/icon.svg/route":"/icon.svg","/api/github-status/route":"/api/github-status","/api/issues/[id]/route":"/api/issues/[id]","/api/issues/[id]/move/route":"/api/issues/[id]/move","/api/watch/route":"/api/watch","/api/flows/route":"/api/flows","/calls/page":"/calls","/access/page":"/access","/functions/page":"/functions","/conformance/page":"/conformance","/overleaf/page":"/overleaf","/issues/page":"/issues","/page":"/","/progress/page":"/progress","/stats/page":"/stats"}

package/dashboard/.next/build-manifest.json

@@ -5,8 +5,8 @@
   "devFiles": [],
   "ampDevFiles": [],
   "lowPriorityFiles": [
-    "static/4HWoeGmBSZi6iGcKL3VWA/_buildManifest.js",
-    "static/4HWoeGmBSZi6iGcKL3VWA/_ssgManifest.js"
+    "static/dm-uzRRik5AgaBPedT1iR/_buildManifest.js",
+    "static/dm-uzRRik5AgaBPedT1iR/_ssgManifest.js"
   ],
   "rootMainFiles": [
     "static/chunks/webpack-08869f2b18792e51.js",

package/dashboard/.next/next-minimal-server.js.nft.json

@@ -1 +1 @@
-{"version":1,"files":["../../node_modules/styled-jsx/index.js","../../node_modules/styled-jsx/package.json","../../node_modules/styled-jsx/dist/index/index.js","../../node_modules/react/package.json","../../node_modules/react/index.js","../../node_modules/client-only/package.json","../../node_modules/react/cjs/react.production.min.js","../../node_modules/client-only/index.js","../../node_modules/styled-jsx/style.js","../../node_modules/next/dist/compiled/next-server/server.runtime.prod.js","../../node_modules/next/package.json","../../node_modules/next/dist/server/body-streams.js","../../node_modules/next/dist/lib/picocolors.js","../../node_modules/next/dist/shared/lib/constants.js","../../node_modules/next/dist/server/web/utils.js","../../node_modules/next/dist/client/components/app-router-headers.js","../../node_modules/next/dist/server/lib/trace/tracer.js","../../node_modules/next/dist/server/lib/trace/constants.js","../../node_modules/next/dist/client/components/static-generation-async-storage.external.js","../../node_modules/next/dist/shared/lib/modern-browserslist-target.js","../../node_modules/next/dist/client/components/static-generation-async-storage-instance.js","../../node_modules/next/dist/shared/lib/runtime-config.external.js","../../node_modules/next/dist/compiled/ws/package.json","../../node_modules/next/dist/compiled/node-html-parser/package.json","../../node_modules/next/dist/compiled/lru-cache/package.json","../../node_modules/@swc/helpers/_/_interop_require_default/package.json","../../node_modules/next/dist/compiled/ws/index.js","../../node_modules/next/dist/compiled/node-html-parser/index.js","../../node_modules/next/dist/compiled/lru-cache/index.js","../../node_modules/next/dist/compiled/@opentelemetry/api/package.json","../../node_modules/@swc/helpers/package.json","../../node_modules/next/dist/client/components/async-local-storage.js","../../node_modules/next/dist/shared/lib/error-source.js","../../node_modules/next/dist/compiled/jsonwebtoken/package.json","../../node_modules/@swc/helpers/cjs/_interop_require_default.cjs","../../node_modules/next/dist/compiled/@opentelemetry/api/index.js","../../node_modules/next/dist/compiled/jsonwebtoken/index.js","../../node_modules/next/dist/compiled/debug/package.json","../../node_modules/next/dist/lib/semver-noop.js","../../node_modules/next/dist/compiled/debug/index.js","../../node_modules/next/dist/server/future/route-modules/app-page/vendored/contexts/amp-context.js","../../node_modules/next/dist/server/future/route-modules/app-page/vendored/contexts/app-router-context.js","../../node_modules/next/dist/server/future/route-modules/app-page/vendored/contexts/entrypoints.js","../../node_modules/next/dist/server/future/route-modules/app-page/vendored/contexts/head-manager-context.js","../../node_modules/next/dist/server/future/route-modules/app-page/vendored/contexts/hooks-client-context.js","../../node_modules/next/dist/server/future/route-modules/app-page/vendored/contexts/html-context.js","../../node_modules/next/dist/server/future/route-modules/app-page/vendored/contexts/image-config-context.js","../../node_modules/next/dist/server/future/route-modules/app-page/vendored/contexts/loadable-context.js","../../node_modules/next/dist/server/future/route-modules/app-page/vendored/contexts/loadable.js","../../node_modules/next/dist/server/future/route-modules/app-page/vendored/contexts/router-context.js","../../node_modules/next/dist/server/future/route-modules/app-page/vendored/contexts/server-inserted-html.js","../../node_modules/next/dist/server/future/route-modules/app-page/module.compiled.js","../../node_modules/next/dist/server/future/route-modules/pages/vendored/contexts/amp-context.js","../../node_modules/next/dist/server/future/route-modules/pages/vendored/contexts/app-router-context.js","../../node_modules/next/dist/server/future/route-modules/pages/vendored/contexts/entrypoints.js","../../node_modules/next/dist/server/future/route-modules/pages/vendored/contexts/head-manager-context.js","../../node_modules/next/dist/server/future/route-modules/pages/vendored/contexts/hooks-client-context.js","../../node_modules/next/dist/server/future/route-modules/pages/vendored/contexts/html-context.js","../../node_modules/next/dist/server/future/route-modules/pages/vendored/contexts/image-config-context.js","../../node_modules/next/dist/server/future/route-modules/pages/vendored/contexts/loadable-context.js","../../node_modules/next/dist/server/future/route-modules/pages/vendored/contexts/loadable.js","../../node_modules/next/dist/server/future/route-modules/pages/vendored/contexts/router-context.js","../../node_modules/next/dist/server/future/route-modules/pages/vendored/contexts/server-inserted-html.js","../../node_modules/next/dist/server/future/route-modules/pages/module.compiled.js"]}
+{"version":1,"files":["../../node_modules/styled-jsx/index.js","../../node_modules/styled-jsx/package.json","../../node_modules/styled-jsx/dist/index/index.js","../../node_modules/react/package.json","../../node_modules/react/index.js","../../node_modules/client-only/package.json","../../node_modules/react/cjs/react.production.min.js","../../node_modules/client-only/index.js","../../node_modules/styled-jsx/style.js","../../node_modules/next/dist/compiled/next-server/server.runtime.prod.js","../../node_modules/next/package.json","../../node_modules/next/dist/server/body-streams.js","../../node_modules/next/dist/lib/picocolors.js","../../node_modules/next/dist/shared/lib/constants.js","../../node_modules/next/dist/server/web/utils.js","../../node_modules/next/dist/client/components/app-router-headers.js","../../node_modules/next/dist/server/lib/trace/tracer.js","../../node_modules/next/dist/server/lib/trace/constants.js","../../node_modules/next/dist/client/components/static-generation-async-storage.external.js","../../node_modules/next/dist/shared/lib/modern-browserslist-target.js","../../node_modules/next/dist/client/components/static-generation-async-storage-instance.js","../../node_modules/next/dist/shared/lib/runtime-config.external.js","../../node_modules/next/dist/compiled/ws/package.json","../../node_modules/next/dist/compiled/node-html-parser/package.json","../../node_modules/next/dist/compiled/lru-cache/package.json","../../node_modules/@swc/helpers/_/_interop_require_default/package.json","../../node_modules/next/dist/compiled/ws/index.js","../../node_modules/next/dist/compiled/node-html-parser/index.js","../../node_modules/next/dist/compiled/lru-cache/index.js","../../node_modules/next/dist/compiled/@opentelemetry/api/package.json","../../node_modules/next/dist/client/components/async-local-storage.js","../../node_modules/@swc/helpers/package.json","../../node_modules/next/dist/shared/lib/error-source.js","../../node_modules/next/dist/compiled/jsonwebtoken/package.json","../../node_modules/@swc/helpers/cjs/_interop_require_default.cjs","../../node_modules/next/dist/compiled/@opentelemetry/api/index.js","../../node_modules/next/dist/compiled/jsonwebtoken/index.js","../../node_modules/next/dist/compiled/debug/package.json","../../node_modules/next/dist/lib/semver-noop.js","../../node_modules/next/dist/compiled/debug/index.js","../../node_modules/next/dist/server/future/route-modules/app-page/vendored/contexts/amp-context.js","../../node_modules/next/dist/server/future/route-modules/app-page/vendored/contexts/app-router-context.js","../../node_modules/next/dist/server/future/route-modules/app-page/vendored/contexts/entrypoints.js","../../node_modules/next/dist/server/future/route-modules/app-page/vendored/contexts/head-manager-context.js","../../node_modules/next/dist/server/future/route-modules/app-page/vendored/contexts/hooks-client-context.js","../../node_modules/next/dist/server/future/route-modules/app-page/vendored/contexts/html-context.js","../../node_modules/next/dist/server/future/route-modules/app-page/vendored/contexts/image-config-context.js","../../node_modules/next/dist/server/future/route-modules/app-page/vendored/contexts/loadable-context.js","../../node_modules/next/dist/server/future/route-modules/app-page/vendored/contexts/loadable.js","../../node_modules/next/dist/server/future/route-modules/app-page/vendored/contexts/router-context.js","../../node_modules/next/dist/server/future/route-modules/app-page/vendored/contexts/server-inserted-html.js","../../node_modules/next/dist/server/future/route-modules/app-page/module.compiled.js","../../node_modules/next/dist/server/future/route-modules/pages/vendored/contexts/amp-context.js","../../node_modules/next/dist/server/future/route-modules/pages/vendored/contexts/app-router-context.js","../../node_modules/next/dist/server/future/route-modules/pages/vendored/contexts/entrypoints.js","../../node_modules/next/dist/server/future/route-modules/pages/vendored/contexts/head-manager-context.js","../../node_modules/next/dist/server/future/route-modules/pages/vendored/contexts/hooks-client-context.js","../../node_modules/next/dist/server/future/route-modules/pages/vendored/contexts/html-context.js","../../node_modules/next/dist/server/future/route-modules/pages/vendored/contexts/image-config-context.js","../../node_modules/next/dist/server/future/route-modules/pages/vendored/contexts/loadable-context.js","../../node_modules/next/dist/server/future/route-modules/pages/vendored/contexts/loadable.js","../../node_modules/next/dist/server/future/route-modules/pages/vendored/contexts/router-context.js","../../node_modules/next/dist/server/future/route-modules/pages/vendored/contexts/server-inserted-html.js","../../node_modules/next/dist/server/future/route-modules/pages/module.compiled.js"]}