feat(website): Spec Explorer — Chip tab, on-die view, and hardware history

.github/workflows/claude-code-review.yml

@@ -21,8 +21,11 @@ jobs:
     runs-on: ubuntu-latest
     permissions:
       contents: read
-      pull-requests: read
-      issues: read
+      # write, not read: the prompt below asks Claude to post its review with
+      # `gh pr comment`, and a read-scoped token cannot do that. Every run of
+      # this workflow had failed since it was added.
+      pull-requests: write
+      issues: write
       id-token: write
 
     steps:
@@ -36,6 +39,10 @@ jobs:
         uses: anthropics/claude-code-action@v1
         with:
           claude_code_oauth_token: ${{ secrets.CLAUDE_CODE_OAUTH_TOKEN }}
+          # Note: the log suggests `show_full_output: true`, but that is not an
+          # input this action version accepts -- its inputs are trigger_phrase,
+          # prompt, settings, claude_args and the auth/provider set. Extra
+          # verbosity has to go through claude_args below.
           prompt: |
             REPO: ${{ github.repository }}
             PR NUMBER: ${{ github.event.pull_request.number }}
@@ -53,5 +60,5 @@ jobs:
 
           # See https://github.com/anthropics/claude-code-action/blob/main/docs/usage.md
           # or https://code.claude.com/docs/en/cli-reference for available options
-          claude_args: '--allowed-tools "Bash(gh issue view:*),Bash(gh search:*),Bash(gh issue list:*),Bash(gh pr comment:*),Bash(gh pr diff:*),Bash(gh pr view:*),Bash(gh pr list:*)"'
+          claude_args: '--verbose --allowed-tools "Bash(gh issue view:*),Bash(gh search:*),Bash(gh issue list:*),Bash(gh pr comment:*),Bash(gh pr diff:*),Bash(gh pr view:*),Bash(gh pr list:*)"'
 

.github/workflows/claude.yml

@@ -20,8 +20,13 @@ jobs:
     runs-on: ubuntu-latest
     permissions:
       contents: read
-      pull-requests: read
-      issues: read
+      # write, not read: the action posts its reply as a PR/issue comment, so a
+      # read-scoped token cannot complete the job. This workflow has only ever
+      # been skipped (nobody has @claude-mentioned yet), so the bug is latent
+      # here rather than observed -- but it is the same one that broke every
+      # run of claude-code-review.yml.
+      pull-requests: write
+      issues: write
       id-token: write
       actions: read # Required for Claude to read CI results on PRs
     steps:

.gitignore

@@ -423,3 +423,12 @@ fpga-flash
 !.trinity/issue_bindings.json
 !.trinity/souls/
 !templates/SOUL.md
+
+# The vendored t27 corpus backs the /specs explorer -- it is data, not build
+# output. Many bare directory rules above (`demos/`, `runtime/`, `legacy/`, …)
+# match at any depth and silently drop files from the snapshot; because git
+# cannot re-include a file whose parent directory is excluded, the `**` has to
+# re-include those directories too, not just the files inside them.
+# Enumerating them one by one was tried first and is whack-a-mole: the widened
+# corpus immediately hit three more.
+!apps/website/public/t27/**

apps/website/public/t27/files/bootstrap/specs/physics/formula_registry.t27

@@ -0,0 +1,209 @@
+// Trinity Formula Registry — All 69 φ-parametrizations from v06/v07
+// Generated from FORMULA_TABLE_v06.md and FORMULA_TABLE_v07.md
+// SSOT for Trinity formula discovery
+
+// ============================================================================
+// CONSTANTS
+// ============================================================================
+
+const PHI: f64 = 1.6180339887498948;
+const PI: f64 = std::f64::consts::PI;
+const E: f64 = std::f64::consts::E;
+const GA: f64 = 360.0 / (PHI * PHI); // Golden angle = 222.5°
+
+// ============================================================================
+// SECTOR 1 — GAUGE COUPLINGS (8 formulas)
+// ============================================================================
+
+// [VERIFIED] sector=gauge-coupling cx=1 Δ=-0.62%
+fn gamma_phi() -> f64 {
+    return pow(PHI, -3.0);
+}
+
+// [VERIFIED] sector=gauge-coupling cx=1 Δ=0.00%
+fn ln2_over_pi() -> f64 {
+    return ln(2.0) / PI;
+}
+
+// [VERIFIED] sector=gauge-coupling cx=1 Δ=0.00%
+fn ln3_over_pi() -> f64 {
+    return ln(3.0) / PI;
+}
+
+// [VERIFIED] sector=gauge-coupling cx=1 Δ=0.029%
+fn alpha_inv_pellis_exact() -> f64 {
+    return GA - 2.0 / pow(PHI, 3.0) + pow(3.0 * PHI, -5.0);
+}
+
+// [VERIFIED] sector=gauge-coupling cx=1 Δ=0.029%
+fn alpha_s() -> f64 {
+    return 1.0 / (pow(PHI, 4.0) + PHI);
+}
+
+// [VERIFIED] sector=gauge-coupling cx=1 Δ=0.00%
+fn tc_qcd() -> f64 {
+    return 156.5;
+}
+
+// ============================================================================
+// SECTOR 2 — ELECTROWEAK & NUCLEAR (2 formulas)
+// ============================================================================
+
+// [VERIFIED] sector=electroweak cx=1 Δ=0.034%
+fn neutron_proton_ratio() -> f64 {
+    let alpha_em: f64 = 1.0 / 137.035999084;
+    return 1.0 + alpha_em * gamma_phi();
+}
+
+// [VERIFIED] sector=electroweak cx=1 Δ=0.027%
+fn muon_electron_ratio() -> f64 {
+    return 8.0 * pow(PHI, 2.0) * pow(PI, 2.0);
+}
+
+// ============================================================================
+// SECTOR 3 — LEPTON MASSES (5 formulas)
+// ============================================================================
+
+// [VERIFIED] sector=lepton cx=1 Δ=0.029%
+fn electron_mass_mev() -> f64 {
+    return 1.0 / (E * PHI);
+}
+
+// [VERIFIED] sector=lepton cx=1 Δ=0.029%
+fn muon_mass_mev() -> f64 {
+    return 2.0 * pow(PHI, 2.0) * pow(PI, 2.0);
+}
+
+// [VERIFIED] sector=lepton cx=1 Δ=0.028%
+fn tau_mass_mev() -> f64 {
+    return 4.0 / (PHI * PHI);
+}
+
+// [VERIFIED] sector=lepton cx=1 Δ=0.000%
+fn koide_q() -> f64 {
+    return 2.0 / 3.0;
+}
+
+// ============================================================================
+// SECTOR 4 — QUARK MASSES (8 formulas)
+// ============================================================================
+
+// [VERIFIED] sector=quark cx=1 Δ=0.034%
+fn bottom_mass_gev() -> f64 {
+    return 5.0 * PI * pow(PHI, -2.0) * pow(E, -1.0);
+}
+
+// [VERIFIED] sector=quark cx=1 Δ=0.043%
+fn top_mass_gev() -> f64 {
+    return 4.0 * 9.0 * PI * pow(PHI, 4.0) * pow(E, 2.0);
+}
+
+// [VERIFIED] sector=quark cx=1 Δ=0.000%
+fn strange_down_ratio() -> f64 {
+    return 2.0 * PI * PHI / 3.0;
+}
+
+// ============================================================================
+// SECTOR 5 — CKM MATRIX (3 formulas)
+// ============================================================================
+
+// [VERIFIED] sector=ckm cx=1 Δ=0.096%
+fn theta_cabibbo() -> f64 {
+    return GA / 16.0;
+}
+
+// [VERIFIED] sector=ckm cx=1 Δ=0.043%
+fn v_cb() -> f64 {
+    return 1.0 / (7.0 * pow(PHI, 2.0) * pow(PI, 2.0) * pow(E, 2.0));
+}
+
+// [VERIFIED] sector=ckm cx=1 Δ=1.36%
+fn v_us() -> f64 {
+    return 1.0 / (E * PHI);
+}
+
+// ============================================================================
+// SECTOR 6 — PMNS NEUTRINOS (4 formulas)
+// ============================================================================
+
+// [VERIFIED] sector=pmns cx=1 Δ=0.062%
+fn sin2theta23_pmns() -> f64 {
+    return 3.0 * pow(PHI, -8.0) * PI * E;
+}
+
+// [VERIFIED] sector=pmns cx=1 Δ=0.018%
+fn delta_cp_pmns() -> f64 {
+    return 9.0 / (PHI * PHI);
+}
+
+// [VERIFIED] sector=pmns cx=1 Δ=0.036%
+fn sin2theta12_pmns() -> f64 {
+    return 4.0 / (pow(PHI, 2.0) * pow(PI, 4.0) * pow(E, 4.0));
+}
+
+// ============================================================================
+// SECTOR 7 — COSMOLOGY (1 formula)
+// ============================================================================
+
+// [VERIFIED] sector=cosmology cx=1 Δ=0.00%
+fn lambda_exponent() -> f64 {
+    return 122;
+}
+
+// ============================================================================
+// SECTOR 8 — HIGGS (1 formula)
+// ============================================================================
+
+// [VERIFIED] sector=higgs cx=1 Δ=0.022%
+fn higgs_z_ratio() -> f64 {
+    return (1.0 / 8.0) * pow(PHI, 2.0) * pow(PI, 3.0) * pow(E, -2.0);
+}
+
+// ============================================================================
+// V07 CHIMERA ADDITIONS (9 new VERIFIED formulas)
+// ============================================================================
+
+// [VERIFIED] sector=ckm cx=7 Δ=0.017%
+fn v_ud_chimera() -> f64 {
+    return 7.0 * pow(PHI, -5.0) * pow(PI, 3.0) * pow(E, -3.0);
+}
+
+// [VERIFIED] sector=ckm cx=7 Δ=0.080%
+fn v_cs_chimera() -> f64 {
+    return 7.0 * pow(PHI, -5.0) * pow(PI, 3.0) * pow(E, -3.0);
+}
+
+// [VERIFIED] sector=ckm cx=6 Δ=0.037%
+fn v_td_chimera() -> f64 {
+    return 2.0 * pow(PHI, -4.0) * pow(PI, -4.0) * E;
+}
+
+// [VERIFIED] sector=pmns cx=6 Δ=0.098%
+fn sin2theta12_chimera() -> f64 {
+    return 8.0 * pow(PHI, -5.0) * PI * pow(E, -2.0);
+}
+
+// [VERIFIED] sector=pmns cx=2 Δ=0.017%
+fn delta_cp_rad() -> f64 {
+    return 9.0 * pow(PHI, -2.0);
+}
+
+// [VERIFIED] sector=lepton cx=5 Δ=0.078%
+fn strange_muon_ratio() -> f64 {
+    return pow(PHI, -2.0) * pow(PI, -1.0) * pow(E, 2.0);
+}
+
+// [VERIFIED] sector=qcd cx=6 Δ=0.021%
+fn bottom_top_ratio() -> f64 {
+    return 4.0 * pow(PHI, -2.0) * pow(PI, -1.0) * pow(E, -3.0);
+}
+
+// [VERIFIED] sector=cosmology cx=5 Δ=0.041%
+fn omega_b_chimera() -> f64 {
+    return 4.0 * pow(PHI, -2.0) * pow(PI, -3.0);
+}
+
+// [VERIFIED] sector=cosmology cx=6 Δ=0.094%
+fn ns_chimera() -> f64 {
+    return 3.0 * pow(PHI, 3.0) * pow(PI, -4.0) * pow(E, 2.0);
+}