diff --git a/markdown-pages/blog/reactive-analysis.mdx b/markdown-pages/blog/reactive-analysis.mdx
new file mode 100644
index 000000000..3cff7c05f
--- /dev/null
+++ b/markdown-pages/blog/reactive-analysis.mdx
@@ -0,0 +1,130 @@
+---
+author: rescript-team
+date: "2025-12-28"
+title: "Real-Time Analysis is Coming to ReScript"
+badge: roadmap
+description: |
+  ReScript's static analyzer is going reactive. Dead code detection that updates instantly as you edit, powered by novel reactive combinators.
+---
+
+## Introduction
+
+Imagine editing a ReScript file and seeing dead code warnings update almost immediately as you work. No waiting for a full re-analysis command. Just continuous feedback about which parts of your code are actually used.
+
+This is what we're bringing to ReScript.
+
+The static analyzer that powers dead code detection is being rebuilt on a **reactive foundation**. When you add a reference to a function, the "unused" warning vanishes quickly. When you remove the last use of a module, the dead code warning appears right away. The analysis stays in sync with your code, updating in real time.
+
+## Why This Matters
+
+Traditional static analyzers work in batch mode: gather all files, analyze everything, report results. This works fine when you run analysis as a CI check or a manual command. But it's not what you want when you're actively editing code.
+
+Batch analysis has an awkward tradeoff:
+
+- **Run it rarely** and feedback comes too late to be useful
+- **Run it often** and you're constantly waiting
+
+What developers actually want is _continuous_ feedback that keeps up with their typing speed. That's exactly what reactive analysis provides.
+
+## The Reactive Approach
+
+Instead of re-analyzing your entire project on every change, the reactive analyzer represents the analysis as a **computation graph**. Each piece of data—declarations, references, liveness information—flows through this graph. When a file changes, only the affected parts of the graph recompute.
+
+The result: analysis that completes in milliseconds for typical edits, even in large codebases.
+
+### A Concrete Update Flow
+
+Suppose you have a call graph where `main` calls `helper`, and `helper` calls `format` and `validate`. In your edit, `validate` starts calling `old`.
+
+With batch analysis, the analyzer scans everything again. With reactive analysis:
+
+1. The edited `.cmt` updates — **FlatMap** extracts the new reference. The compiler already resolved it: the ref knows its target (`old`) and its source location (inside `validate`)
+2. **Join** maps that source position to its containing declaration, producing a new graph edge: _validate → old_
+3. **Fixpoint** propagates reachability from roots (`main`) along edges — `old` now becomes reachable and enters the live set
+4. A final **Classify** step (a join of declarations with the live set) marks `old` as live — so its dead-code warning disappears
+
+The rest of the project graph stays untouched.
+
+### A Glimpse Under the Hood
+
+Here is a simplified view of the reactive dead code pipeline:
+
+![Simplified reactive dead code pipeline](/blog/reactive-analysis/reactive-pipeline-simple.svg)
+
+The analysis pipeline is built from composable operators:
+
+- **Sources** hold the raw data from your `.cmt` files
+- **FlatMap** extracts declarations, references, and annotations from each file's data
+- **Union** merges collections — for example, combining value references, type references, and exception references into a unified set
+- **Join** maps data across collections — for example, mapping each reference to the declaration that contains it, or partitioning declarations into dead and live using the fixpoint result
+- **Fixpoint** computes transitive reachability — starting from root declarations (entry points, annotated `@live`, or externally referenced), following edges to find everything that's live
+
+That last one, **fixpoint**, is particularly interesting. Dead code detection needs to know which declarations are _reachable_ from your entry points. This is a classic graph traversal—but doing it incrementally is hard. When you add one edge to a graph, how do you efficiently update the set of reachable nodes without recomputing from scratch?
+
+In the running example above, only one new edge (`validate → old`) is added, and fixpoint propagates liveness from that delta.
+
+![Fixpoint: incremental reachability](/blog/reactive-analysis/fixpoint.svg)
+
+The reactive fixpoint operator solves exactly this problem. It takes a set of roots and a set of edges, and maintains the full reachable set. In this example, once `old` becomes reachable through `validate`, fixpoint only propagates through neighbors affected by that new edge, without revisiting unrelated parts of the graph. This is what makes the analysis fast enough for real-time use.
+
+### Glitch-Free by Design
+
+There's a subtle correctness issue with reactive systems: **glitches**. If node A depends on both B and C, and both B and C update, node A might briefly see an inconsistent state—B's new value with C's old value, or vice versa.
+
+For analysis, glitches mean incorrect results. A function might briefly appear dead because the reference to it hasn't propagated yet, even though it's actually used.
+
+The reactive scheduler prevents this with a simple principle: **accumulate, then propagate**. All updates at each level of the graph are collected before any downstream nodes run. Nodes process in topological order, wave by wave. The analysis never sees partial updates.
+
+## What's Shipping
+
+The reactive analysis infrastructure is landing now. Here's what it enables:
+
+### For Developers
+
+- **Editor integration**: Available now in the latest extension, with reactive dead code updates during active development
+- **Monorepo support**: The analyzer now works correctly in monorepo setups, running from the workspace root with proper binary lookup
+- **Faster CI analysis**: Incremental runs are dramatically faster than full runs
+- **Immediate feedback loop**: See the impact of your changes instantly
+
+### For Tooling Authors
+
+The reactive primitives are general-purpose. The same infrastructure that powers dead code detection can express other analyses:
+
+- Dependency graph visualization
+- Unused export detection
+- Reference counting and hotspot identification
+- Custom project-specific checks
+
+## The Road Ahead
+
+This is the beginning of a larger shift. The same reactive foundation will extend to other parts of the editor experience:
+
+- **Type checking**: Incremental type feedback without waiting for builds
+- **Navigation**: Jump-to-definition that stays accurate as files change
+- **Refactoring**: Real-time previews of rename and move operations
+
+The goal is an editor experience where the tooling _keeps up with you_—no waiting, no stale results, just continuous assistance.
+
+## Try It Today
+
+**Requirements:**
+
+Reactive analysis is a newer capability of Editor Code Analysis and requires a newer extension version.
+
+- ReScript compiler >= 12.1.0
+- VSCode or Cursor with rescript-vscode extension >= 1.73.9 (pre-release)
+
+1. Start the build watcher (accept the prompt when opening a ReScript file, or run **"ReScript: Start Build"**)
+2. Run **"ReScript: Start Code Analyzer"**
+
+Dead code warnings appear in your editor and update reactively while you develop (currently driven by save/build updates). For configuration options and usage details, see the [Dead Code Analysis guide](../docs/manual/editor-code-analysis.mdx).
+
+## Acknowledgments
+
+The reactive primitives are based on work by [SkipLabs](https://skiplabs.io). Their reactive collections library provides the foundation for glitch-free, incremental computation that makes real-time analysis possible.
+
+---
+
+We're excited to bring this to the ReScript community. Static analysis that runs continuously, in the background, without you having to think about it—that's the experience we're building toward.
+
+Stay tuned for broader reactive tooling updates. And as always, we welcome feedback on [GitHub](https://github.com/rescript-lang/rescript) and on the [forum](https://forum.rescript-lang.org).
diff --git a/markdown-pages/docs/manual/editor-code-analysis.mdx b/markdown-pages/docs/manual/editor-code-analysis.mdx
index c4d18d059..9a1a5bca4 100644
--- a/markdown-pages/docs/manual/editor-code-analysis.mdx
+++ b/markdown-pages/docs/manual/editor-code-analysis.mdx
@@ -37,6 +37,10 @@ ReScript’s language design allows for accurate and efficient dead code analysi
 
 - The “Problems” pane populates with dead code warnings and suggestions.
 
+### Reactive Updates (New)
+
+Reactive dead code updates are a newer enhancement of Editor Code Analysis and require ReScript VSCode extension v1.73.9 or higher (pre-release).
+
 ## Real-World Use Cases
 
 ### 1. **Unused Record Fields**
diff --git a/markdown-pages/docs/manual/editor-plugins.mdx b/markdown-pages/docs/manual/editor-plugins.mdx
index d6593695d..97c5bb884 100644
--- a/markdown-pages/docs/manual/editor-plugins.mdx
+++ b/markdown-pages/docs/manual/editor-plugins.mdx
@@ -120,7 +120,7 @@ Look - [Editor Code Analysis](./editor-code-analysis.mdx) for a more detailed gu
 
 ### Caveats
 
-- Doesn't support cross-package dead code analysis in monorepos. Run it per package instead.
+- For older extension versions, cross-package dead code analysis in monorepos may be limited.
 
 ## Editor features
 
diff --git a/public/blog/reactive-analysis/fixpoint.mmd b/public/blog/reactive-analysis/fixpoint.mmd
new file mode 100644
index 000000000..8387dcd08
--- /dev/null
+++ b/public/blog/reactive-analysis/fixpoint.mmd
@@ -0,0 +1,20 @@
+%%{init: {'theme': 'base', 'themeVariables': { 'primaryColor': '#e8f5e9', 'primaryTextColor': '#102a43', 'primaryBorderColor': '#4caf50', 'lineColor': '#486581'}}}%%
+flowchart LR
+    A_main["<b>main</b><br/><small>root</small>"]
+    A_helper["helper"]
+    A_format["format"]
+    A_validate["validate"]
+    A_old["old"]
+
+    A_main -- "wave 1" --> A_helper
+    A_helper -- "wave 2" --> A_format
+    A_helper -- "wave 2" --> A_validate
+    A_validate -. "new edge: validate → old" .-> A_old
+
+    classDef rootNode fill:#c8e6c9,stroke:#2e7d32,stroke-width:3px,color:#102a43
+    classDef liveNode fill:#e8f5e9,stroke:#4caf50,stroke-width:2px,color:#102a43
+    classDef newlyLive fill:#fff9c4,stroke:#f9a825,stroke-width:2.5px,color:#102a43
+
+    class A_main rootNode
+    class A_helper,A_format,A_validate liveNode
+    class A_old newlyLive
diff --git a/public/blog/reactive-analysis/fixpoint.svg b/public/blog/reactive-analysis/fixpoint.svg
new file mode 100644
index 000000000..bdb3e9225
--- /dev/null
+++ b/public/blog/reactive-analysis/fixpoint.svg
@@ -0,0 +1 @@
+<svg id="my-svg" width="100%" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" class="flowchart" style="max-width: 853.938px; background-color: white;" viewBox="0 0 853.9375 174" role="graphics-document document" aria-roledescription="flowchart-v2"><style>#my-svg{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#102a43;}@keyframes edge-animation-frame{from{stroke-dashoffset:0;}}@keyframes dash{to{stroke-dashoffset:0;}}#my-svg .edge-animation-slow{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 50s linear infinite;stroke-linecap:round;}#my-svg .edge-animation-fast{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 20s linear infinite;stroke-linecap:round;}#my-svg .error-icon{fill:hsl(304.6153846154, 39.3939393939%, 98.5294117647%);}#my-svg .error-text{fill:rgb(2.2727272727, 5.2272727273, 2.5);stroke:rgb(2.2727272727, 5.2272727273, 2.5);}#my-svg .edge-thickness-normal{stroke-width:1px;}#my-svg .edge-thickness-thick{stroke-width:3.5px;}#my-svg .edge-pattern-solid{stroke-dasharray:0;}#my-svg .edge-thickness-invisible{stroke-width:0;fill:none;}#my-svg .edge-pattern-dashed{stroke-dasharray:3;}#my-svg .edge-pattern-dotted{stroke-dasharray:2;}#my-svg .marker{fill:#486581;stroke:#486581;}#my-svg .marker.cross{stroke:#486581;}#my-svg svg{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;}#my-svg p{margin:0;}#my-svg .label{font-family:"trebuchet ms",verdana,arial,sans-serif;color:#102a43;}#my-svg .cluster-label text{fill:rgb(2.2727272727, 5.2272727273, 2.5);}#my-svg .cluster-label span{color:rgb(2.2727272727, 5.2272727273, 2.5);}#my-svg .cluster-label span p{background-color:transparent;}#my-svg .label text,#my-svg span{fill:#102a43;color:#102a43;}#my-svg .node rect,#my-svg .node circle,#my-svg .node ellipse,#my-svg .node polygon,#my-svg .node path{fill:#e8f5e9;stroke:#4caf50;stroke-width:1px;}#my-svg .rough-node .label text,#my-svg .node .label text,#my-svg .image-shape .label,#my-svg .icon-shape .label{text-anchor:middle;}#my-svg .node .katex path{fill:#000;stroke:#000;stroke-width:1px;}#my-svg .rough-node .label,#my-svg .node .label,#my-svg .image-shape .label,#my-svg .icon-shape .label{text-align:center;}#my-svg .node.clickable{cursor:pointer;}#my-svg .root .anchor path{fill:#486581!important;stroke-width:0;stroke:#486581;}#my-svg .arrowheadPath{fill:#0b0b0b;}#my-svg .edgePath .path{stroke:#486581;stroke-width:2.0px;}#my-svg .flowchart-link{stroke:#486581;fill:none;}#my-svg .edgeLabel{background-color:hsl(4.6153846154, 39.3939393939%, 93.5294117647%);text-align:center;}#my-svg .edgeLabel p{background-color:hsl(4.6153846154, 39.3939393939%, 93.5294117647%);}#my-svg .edgeLabel rect{opacity:0.5;background-color:hsl(4.6153846154, 39.3939393939%, 93.5294117647%);fill:hsl(4.6153846154, 39.3939393939%, 93.5294117647%);}#my-svg .labelBkg{background-color:rgba(245, 233, 232, 0.5);}#my-svg .cluster rect{fill:hsl(304.6153846154, 39.3939393939%, 98.5294117647%);stroke:hsl(304.6153846154, 0%, 88.5294117647%);stroke-width:1px;}#my-svg .cluster text{fill:rgb(2.2727272727, 5.2272727273, 2.5);}#my-svg .cluster span{color:rgb(2.2727272727, 5.2272727273, 2.5);}#my-svg div.mermaidTooltip{position:absolute;text-align:center;max-width:200px;padding:2px;font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:12px;background:hsl(304.6153846154, 39.3939393939%, 98.5294117647%);border:1px solid hsl(304.6153846154, 0%, 88.5294117647%);border-radius:2px;pointer-events:none;z-index:100;}#my-svg .flowchartTitleText{text-anchor:middle;font-size:18px;fill:#102a43;}#my-svg rect.text{fill:none;stroke-width:0;}#my-svg .icon-shape,#my-svg .image-shape{background-color:hsl(4.6153846154, 39.3939393939%, 93.5294117647%);text-align:center;}#my-svg .icon-shape p,#my-svg .image-shape p{background-color:hsl(4.6153846154, 39.3939393939%, 93.5294117647%);padding:2px;}#my-svg .icon-shape rect,#my-svg .image-shape rect{opacity:0.5;background-color:hsl(4.6153846154, 39.3939393939%, 93.5294117647%);fill:hsl(4.6153846154, 39.3939393939%, 93.5294117647%);}#my-svg .label-icon{display:inline-block;height:1em;overflow:visible;vertical-align:-0.125em;}#my-svg .node .label-icon path{fill:currentColor;stroke:revert;stroke-width:revert;}#my-svg :root{--mermaid-font-family:"trebuchet ms",verdana,arial,sans-serif;}#my-svg .rootNode&gt;*{fill:#c8e6c9!important;stroke:#2e7d32!important;stroke-width:3px!important;color:#102a43!important;}#my-svg .rootNode span{fill:#c8e6c9!important;stroke:#2e7d32!important;stroke-width:3px!important;color:#102a43!important;}#my-svg .rootNode tspan{fill:#102a43!important;}#my-svg .liveNode&gt;*{fill:#e8f5e9!important;stroke:#4caf50!important;stroke-width:2px!important;color:#102a43!important;}#my-svg .liveNode span{fill:#e8f5e9!important;stroke:#4caf50!important;stroke-width:2px!important;color:#102a43!important;}#my-svg .liveNode tspan{fill:#102a43!important;}#my-svg .newlyLive&gt;*{fill:#fff9c4!important;stroke:#f9a825!important;stroke-width:2.5px!important;color:#102a43!important;}#my-svg .newlyLive span{fill:#fff9c4!important;stroke:#f9a825!important;stroke-width:2.5px!important;color:#102a43!important;}#my-svg .newlyLive tspan{fill:#102a43!important;}</style><g><marker id="my-svg_flowchart-v2-pointEnd" class="marker flowchart-v2" viewBox="0 0 10 10" refX="5" refY="5" markerUnits="userSpaceOnUse" markerWidth="8" markerHeight="8" orient="auto"><path d="M 0 0 L 10 5 L 0 10 z" class="arrowMarkerPath" style="stroke-width: 1; stroke-dasharray: 1, 0;"/></marker><marker id="my-svg_flowchart-v2-pointStart" class="marker flowchart-v2" viewBox="0 0 10 10" refX="4.5" refY="5" markerUnits="userSpaceOnUse" markerWidth="8" markerHeight="8" orient="auto"><path d="M 0 5 L 10 10 L 10 0 z" class="arrowMarkerPath" style="stroke-width: 1; stroke-dasharray: 1, 0;"/></marker><marker id="my-svg_flowchart-v2-circleEnd" class="marker flowchart-v2" viewBox="0 0 10 10" refX="11" refY="5" markerUnits="userSpaceOnUse" markerWidth="11" markerHeight="11" orient="auto"><circle cx="5" cy="5" r="5" class="arrowMarkerPath" style="stroke-width: 1; stroke-dasharray: 1, 0;"/></marker><marker id="my-svg_flowchart-v2-circleStart" class="marker flowchart-v2" viewBox="0 0 10 10" refX="-1" refY="5" markerUnits="userSpaceOnUse" markerWidth="11" markerHeight="11" orient="auto"><circle cx="5" cy="5" r="5" class="arrowMarkerPath" style="stroke-width: 1; stroke-dasharray: 1, 0;"/></marker><marker id="my-svg_flowchart-v2-crossEnd" class="marker cross flowchart-v2" viewBox="0 0 11 11" refX="12" refY="5.2" markerUnits="userSpaceOnUse" markerWidth="11" markerHeight="11" orient="auto"><path d="M 1,1 l 9,9 M 10,1 l -9,9" class="arrowMarkerPath" style="stroke-width: 2; stroke-dasharray: 1, 0;"/></marker><marker id="my-svg_flowchart-v2-crossStart" class="marker cross flowchart-v2" viewBox="0 0 11 11" refX="-1" refY="5.2" markerUnits="userSpaceOnUse" markerWidth="11" markerHeight="11" orient="auto"><path d="M 1,1 l 9,9 M 10,1 l -9,9" class="arrowMarkerPath" style="stroke-width: 2; stroke-dasharray: 1, 0;"/></marker><g class="root"><g class="clusters"/><g class="edgePaths"><path d="M104.5,87L112.841,87C121.182,87,137.865,87,153.88,87C169.896,87,185.245,87,192.919,87L200.594,87" id="L_A_main_A_helper_0" class="edge-thickness-normal edge-pattern-solid edge-thickness-normal edge-pattern-solid flowchart-link" style=";" data-edge="true" data-et="edge" data-id="L_A_main_A_helper_0" data-points="W3sieCI6MTA0LjUsInkiOjg3fSx7IngiOjE1NC41NDY4NzUsInkiOjg3fSx7IngiOjIwNC41OTM3NSwieSI6ODd9XQ==" marker-end="url(#my-svg_flowchart-v2-pointEnd)"/><path d="M310.641,60.249L318.982,56.041C327.323,51.833,344.005,43.416,360.785,39.208C377.565,35,394.443,35,402.882,35L411.32,35" id="L_A_helper_A_format_0" class="edge-thickness-normal edge-pattern-solid edge-thickness-normal edge-pattern-solid flowchart-link" style=";" data-edge="true" data-et="edge" data-id="L_A_helper_A_format_0" data-points="W3sieCI6MzEwLjY0MDYyNSwieSI6NjAuMjQ5MTQ3Mjc1MDcwMTE1fSx7IngiOjM2MC42ODc1LCJ5IjozNX0seyJ4Ijo0MTUuMzIwMzEyNSwieSI6MzV9XQ==" marker-end="url(#my-svg_flowchart-v2-pointEnd)"/><path d="M310.641,113.751L318.982,117.959C327.323,122.167,344.005,130.584,360.021,134.792C376.036,139,391.385,139,399.06,139L406.734,139" id="L_A_helper_A_validate_0" class="edge-thickness-normal edge-pattern-solid edge-thickness-normal edge-pattern-solid flowchart-link" style=";" data-edge="true" data-et="edge" data-id="L_A_helper_A_validate_0" data-points="W3sieCI6MzEwLjY0MDYyNSwieSI6MTEzLjc1MDg1MjcyNDkyOTg5fSx7IngiOjM2MC42ODc1LCJ5IjoxMzl9LHsieCI6NDEwLjczNDM3NSwieSI6MTM5fV0=" marker-end="url(#my-svg_flowchart-v2-pointEnd)"/><path d="M528.656,139L548.245,139C567.833,139,607.01,139,645.521,139C684.031,139,721.875,139,740.797,139L759.719,139" id="L_A_validate_A_old_0" class="edge-thickness-normal edge-pattern-dotted edge-thickness-normal edge-pattern-solid flowchart-link" style=";" data-edge="true" data-et="edge" data-id="L_A_validate_A_old_0" data-points="W3sieCI6NTI4LjY1NjI1LCJ5IjoxMzl9LHsieCI6NjQ2LjE4NzUsInkiOjEzOX0seyJ4Ijo3NjMuNzE4NzUsInkiOjEzOX1d" marker-end="url(#my-svg_flowchart-v2-pointEnd)"/></g><g class="edgeLabels"><g class="edgeLabel" transform="translate(154.546875, 87)"><g class="label" data-id="L_A_main_A_helper_0" transform="translate(-25.046875, -12)"><foreignObject width="50.09375" height="24"><div xmlns="http://www.w3.org/1999/xhtml" class="labelBkg" style="display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;"><span class="edgeLabel"><p>wave 1</p></span></div></foreignObject></g></g><g class="edgeLabel" transform="translate(360.6875, 35)"><g class="label" data-id="L_A_helper_A_format_0" transform="translate(-25.046875, -12)"><foreignObject width="50.09375" height="24"><div xmlns="http://www.w3.org/1999/xhtml" class="labelBkg" style="display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;"><span class="edgeLabel"><p>wave 2</p></span></div></foreignObject></g></g><g class="edgeLabel" transform="translate(360.6875, 139)"><g class="label" data-id="L_A_helper_A_validate_0" transform="translate(-25.046875, -12)"><foreignObject width="50.09375" height="24"><div xmlns="http://www.w3.org/1999/xhtml" class="labelBkg" style="display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;"><span class="edgeLabel"><p>wave 2</p></span></div></foreignObject></g></g><g class="edgeLabel" transform="translate(646.1875, 139)"><g class="label" data-id="L_A_validate_A_old_0" transform="translate(-92.53125, -12)"><foreignObject width="185.0625" height="24"><div xmlns="http://www.w3.org/1999/xhtml" class="labelBkg" style="display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;"><span class="edgeLabel"><p>new edge: validate → old</p></span></div></foreignObject></g></g></g><g class="nodes"><g class="node default rootNode" id="flowchart-A_main-0" transform="translate(56.25, 87)"><rect class="basic label-container" style="fill:#c8e6c9 !important;stroke:#2e7d32 !important;stroke-width:3px !important" x="-48.25" y="-39" width="96.5" height="78"/><g class="label" style="color:#102a43 !important" transform="translate(-18.25, -24)"><rect/><foreignObject width="36.5" height="48"><div style="color: rgb(16, 42, 67) !important; display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;" xmlns="http://www.w3.org/1999/xhtml"><span style="color:#102a43 !important" class="nodeLabel"><p><b>main</b><br /><small>root</small></p></span></div></foreignObject></g></g><g class="node default liveNode" id="flowchart-A_helper-1" transform="translate(257.6171875, 87)"><rect class="basic label-container" style="fill:#e8f5e9 !important;stroke:#4caf50 !important;stroke-width:2px !important" x="-53.0234375" y="-27" width="106.046875" height="54"/><g class="label" style="color:#102a43 !important" transform="translate(-23.0234375, -12)"><rect/><foreignObject width="46.046875" height="24"><div style="color: rgb(16, 42, 67) !important; display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;" xmlns="http://www.w3.org/1999/xhtml"><span style="color:#102a43 !important" class="nodeLabel"><p>helper</p></span></div></foreignObject></g></g><g class="node default liveNode" id="flowchart-A_format-2" transform="translate(469.6953125, 35)"><rect class="basic label-container" style="fill:#e8f5e9 !important;stroke:#4caf50 !important;stroke-width:2px !important" x="-54.375" y="-27" width="108.75" height="54"/><g class="label" style="color:#102a43 !important" transform="translate(-24.375, -12)"><rect/><foreignObject width="48.75" height="24"><div style="color: rgb(16, 42, 67) !important; display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;" xmlns="http://www.w3.org/1999/xhtml"><span style="color:#102a43 !important" class="nodeLabel"><p>format</p></span></div></foreignObject></g></g><g class="node default liveNode" id="flowchart-A_validate-3" transform="translate(469.6953125, 139)"><rect class="basic label-container" style="fill:#e8f5e9 !important;stroke:#4caf50 !important;stroke-width:2px !important" x="-58.9609375" y="-27" width="117.921875" height="54"/><g class="label" style="color:#102a43 !important" transform="translate(-28.9609375, -12)"><rect/><foreignObject width="57.921875" height="24"><div style="color: rgb(16, 42, 67) !important; display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;" xmlns="http://www.w3.org/1999/xhtml"><span style="color:#102a43 !important" class="nodeLabel"><p>validate</p></span></div></foreignObject></g></g><g class="node default newlyLive" id="flowchart-A_old-4" transform="translate(804.828125, 139)"><rect class="basic label-container" style="fill:#fff9c4 !important;stroke:#f9a825 !important;stroke-width:2.5px !important" x="-41.109375" y="-27" width="82.21875" height="54"/><g class="label" style="color:#102a43 !important" transform="translate(-11.109375, -12)"><rect/><foreignObject width="22.21875" height="24"><div style="color: rgb(16, 42, 67) !important; display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;" xmlns="http://www.w3.org/1999/xhtml"><span style="color:#102a43 !important" class="nodeLabel"><p>old</p></span></div></foreignObject></g></g></g></g></g></svg>
\ No newline at end of file
diff --git a/public/blog/reactive-analysis/reactive-pipeline-simple.mmd b/public/blog/reactive-analysis/reactive-pipeline-simple.mmd
new file mode 100644
index 000000000..2a2db3299
--- /dev/null
+++ b/public/blog/reactive-analysis/reactive-pipeline-simple.mmd
@@ -0,0 +1,24 @@
+%%{init: {'theme': 'base', 'themeVariables': { 'primaryColor': '#eef6ff', 'primaryTextColor': '#102a43', 'primaryBorderColor': '#4a90d9', 'lineColor': '#486581', 'secondaryColor': '#fff1f1', 'tertiaryColor': '#fff5e6'}}}%%
+flowchart LR
+    sources["Sources"]
+    flatmap["FlatMap"]
+    edges["Edges"]
+    roots["Roots"]
+    fixpoint["Fixpoint"]
+    classify["Classify"]
+    issues["Issues"]
+
+    sources --> flatmap
+    flatmap -- "refs, decls" --> edges
+    flatmap -- "refs, decls, ann." --> roots
+    edges --> fixpoint
+    roots --> fixpoint
+    flatmap -. "decls" .-> classify
+    fixpoint -- "live" --> classify
+    classify -- "dead" --> issues
+
+    classDef coreBox fill:#eef6ff,stroke:#4a90d9,stroke-width:2px,color:#102a43
+    classDef solveBox fill:#fff1f1,stroke:#cc6666,stroke-width:2px,color:#102a43
+
+    class sources,flatmap,edges,roots coreBox
+    class fixpoint,classify,issues solveBox
diff --git a/public/blog/reactive-analysis/reactive-pipeline-simple.svg b/public/blog/reactive-analysis/reactive-pipeline-simple.svg
new file mode 100644
index 000000000..f66bd8104
--- /dev/null
+++ b/public/blog/reactive-analysis/reactive-pipeline-simple.svg
@@ -0,0 +1 @@
+<svg id="my-svg" width="100%" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" class="flowchart" style="max-width: 1145.97px; background-color: white;" viewBox="0 0 1145.96875 221" role="graphics-document document" aria-roledescription="flowchart-v2"><style>#my-svg{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#102a43;}@keyframes edge-animation-frame{from{stroke-dashoffset:0;}}@keyframes dash{to{stroke-dashoffset:0;}}#my-svg .edge-animation-slow{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 50s linear infinite;stroke-linecap:round;}#my-svg .edge-animation-fast{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 20s linear infinite;stroke-linecap:round;}#my-svg .error-icon{fill:#fff5e6;}#my-svg .error-text{fill:#000a19;stroke:#000a19;}#my-svg .edge-thickness-normal{stroke-width:1px;}#my-svg .edge-thickness-thick{stroke-width:3.5px;}#my-svg .edge-pattern-solid{stroke-dasharray:0;}#my-svg .edge-thickness-invisible{stroke-width:0;fill:none;}#my-svg .edge-pattern-dashed{stroke-dasharray:3;}#my-svg .edge-pattern-dotted{stroke-dasharray:2;}#my-svg .marker{fill:#486581;stroke:#486581;}#my-svg .marker.cross{stroke:#486581;}#my-svg svg{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;}#my-svg p{margin:0;}#my-svg .label{font-family:"trebuchet ms",verdana,arial,sans-serif;color:#102a43;}#my-svg .cluster-label text{fill:#000a19;}#my-svg .cluster-label span{color:#000a19;}#my-svg .cluster-label span p{background-color:transparent;}#my-svg .label text,#my-svg span{fill:#102a43;color:#102a43;}#my-svg .node rect,#my-svg .node circle,#my-svg .node ellipse,#my-svg .node polygon,#my-svg .node path{fill:#eef6ff;stroke:#4a90d9;stroke-width:1px;}#my-svg .rough-node .label text,#my-svg .node .label text,#my-svg .image-shape .label,#my-svg .icon-shape .label{text-anchor:middle;}#my-svg .node .katex path{fill:#000;stroke:#000;stroke-width:1px;}#my-svg .rough-node .label,#my-svg .node .label,#my-svg .image-shape .label,#my-svg .icon-shape .label{text-align:center;}#my-svg .node.clickable{cursor:pointer;}#my-svg .root .anchor path{fill:#486581!important;stroke-width:0;stroke:#486581;}#my-svg .arrowheadPath{fill:#0b0b0b;}#my-svg .edgePath .path{stroke:#486581;stroke-width:2.0px;}#my-svg .flowchart-link{stroke:#486581;fill:none;}#my-svg .edgeLabel{background-color:#fff1f1;text-align:center;}#my-svg .edgeLabel p{background-color:#fff1f1;}#my-svg .edgeLabel rect{opacity:0.5;background-color:#fff1f1;fill:#fff1f1;}#my-svg .labelBkg{background-color:rgba(255, 241, 241, 0.5);}#my-svg .cluster rect{fill:#fff5e6;stroke:hsl(36, 60%, 85.0980392157%);stroke-width:1px;}#my-svg .cluster text{fill:#000a19;}#my-svg .cluster span{color:#000a19;}#my-svg div.mermaidTooltip{position:absolute;text-align:center;max-width:200px;padding:2px;font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:12px;background:#fff5e6;border:1px solid hsl(36, 60%, 85.0980392157%);border-radius:2px;pointer-events:none;z-index:100;}#my-svg .flowchartTitleText{text-anchor:middle;font-size:18px;fill:#102a43;}#my-svg rect.text{fill:none;stroke-width:0;}#my-svg .icon-shape,#my-svg .image-shape{background-color:#fff1f1;text-align:center;}#my-svg .icon-shape p,#my-svg .image-shape p{background-color:#fff1f1;padding:2px;}#my-svg .icon-shape rect,#my-svg .image-shape rect{opacity:0.5;background-color:#fff1f1;fill:#fff1f1;}#my-svg .label-icon{display:inline-block;height:1em;overflow:visible;vertical-align:-0.125em;}#my-svg .node .label-icon path{fill:currentColor;stroke:revert;stroke-width:revert;}#my-svg :root{--mermaid-font-family:"trebuchet ms",verdana,arial,sans-serif;}#my-svg .coreBox&gt;*{fill:#eef6ff!important;stroke:#4a90d9!important;stroke-width:2px!important;color:#102a43!important;}#my-svg .coreBox span{fill:#eef6ff!important;stroke:#4a90d9!important;stroke-width:2px!important;color:#102a43!important;}#my-svg .coreBox tspan{fill:#102a43!important;}#my-svg .solveBox&gt;*{fill:#fff1f1!important;stroke:#cc6666!important;stroke-width:2px!important;color:#102a43!important;}#my-svg .solveBox span{fill:#fff1f1!important;stroke:#cc6666!important;stroke-width:2px!important;color:#102a43!important;}#my-svg .solveBox tspan{fill:#102a43!important;}</style><g><marker id="my-svg_flowchart-v2-pointEnd" class="marker flowchart-v2" viewBox="0 0 10 10" refX="5" refY="5" markerUnits="userSpaceOnUse" markerWidth="8" markerHeight="8" orient="auto"><path d="M 0 0 L 10 5 L 0 10 z" class="arrowMarkerPath" style="stroke-width: 1; stroke-dasharray: 1, 0;"/></marker><marker id="my-svg_flowchart-v2-pointStart" class="marker flowchart-v2" viewBox="0 0 10 10" refX="4.5" refY="5" markerUnits="userSpaceOnUse" markerWidth="8" markerHeight="8" orient="auto"><path d="M 0 5 L 10 10 L 10 0 z" class="arrowMarkerPath" style="stroke-width: 1; stroke-dasharray: 1, 0;"/></marker><marker id="my-svg_flowchart-v2-circleEnd" class="marker flowchart-v2" viewBox="0 0 10 10" refX="11" refY="5" markerUnits="userSpaceOnUse" markerWidth="11" markerHeight="11" orient="auto"><circle cx="5" cy="5" r="5" class="arrowMarkerPath" style="stroke-width: 1; stroke-dasharray: 1, 0;"/></marker><marker id="my-svg_flowchart-v2-circleStart" class="marker flowchart-v2" viewBox="0 0 10 10" refX="-1" refY="5" markerUnits="userSpaceOnUse" markerWidth="11" markerHeight="11" orient="auto"><circle cx="5" cy="5" r="5" class="arrowMarkerPath" style="stroke-width: 1; stroke-dasharray: 1, 0;"/></marker><marker id="my-svg_flowchart-v2-crossEnd" class="marker cross flowchart-v2" viewBox="0 0 11 11" refX="12" refY="5.2" markerUnits="userSpaceOnUse" markerWidth="11" markerHeight="11" orient="auto"><path d="M 1,1 l 9,9 M 10,1 l -9,9" class="arrowMarkerPath" style="stroke-width: 2; stroke-dasharray: 1, 0;"/></marker><marker id="my-svg_flowchart-v2-crossStart" class="marker cross flowchart-v2" viewBox="0 0 11 11" refX="-1" refY="5.2" markerUnits="userSpaceOnUse" markerWidth="11" markerHeight="11" orient="auto"><path d="M 1,1 l 9,9 M 10,1 l -9,9" class="arrowMarkerPath" style="stroke-width: 2; stroke-dasharray: 1, 0;"/></marker><g class="root"><g class="clusters"/><g class="edgePaths"><path d="M122.375,82L126.542,82C130.708,82,139.042,82,146.708,82C154.375,82,161.375,82,164.875,82L168.375,82" id="L_sources_flatmap_0" class="edge-thickness-normal edge-pattern-solid edge-thickness-normal edge-pattern-solid flowchart-link" style=";" data-edge="true" data-et="edge" data-id="L_sources_flatmap_0" data-points="W3sieCI6MTIyLjM3NSwieSI6ODJ9LHsieCI6MTQ3LjM3NSwieSI6ODJ9LHsieCI6MTcyLjM3NSwieSI6ODJ9XQ==" marker-end="url(#my-svg_flowchart-v2-pointEnd)"/><path d="M288.922,82L302.859,82C316.797,82,344.672,82,371.88,82C399.089,82,425.63,82,438.901,82L452.172,82" id="L_flatmap_edges_0" class="edge-thickness-normal edge-pattern-solid edge-thickness-normal edge-pattern-solid flowchart-link" style=";" data-edge="true" data-et="edge" data-id="L_flatmap_edges_0" data-points="W3sieCI6Mjg4LjkyMTg3NSwieSI6ODJ9LHsieCI6MzcyLjU0Njg3NSwieSI6ODJ9LHsieCI6NDU2LjE3MTg3NSwieSI6ODJ9XQ==" marker-end="url(#my-svg_flowchart-v2-pointEnd)"/><path d="M267.487,109L284.997,121.833C302.507,134.667,337.527,160.333,368.48,173.167C399.432,186,426.318,186,439.76,186L453.203,186" id="L_flatmap_roots_0" class="edge-thickness-normal edge-pattern-solid edge-thickness-normal edge-pattern-solid flowchart-link" style=";" data-edge="true" data-et="edge" data-id="L_flatmap_roots_0" data-points="W3sieCI6MjY3LjQ4NzQ1NDkyNzg4NDY0LCJ5IjoxMDl9LHsieCI6MzcyLjU0Njg3NSwieSI6MTg2fSx7IngiOjQ1Ny4yMDMxMjUsInkiOjE4Nn1d" marker-end="url(#my-svg_flowchart-v2-pointEnd)"/><path d="M556.891,82L564.121,82C571.352,82,585.813,82,600.657,85.865C615.502,89.73,630.731,97.46,638.345,101.325L645.959,105.19" id="L_edges_fixpoint_0" class="edge-thickness-normal edge-pattern-solid edge-thickness-normal edge-pattern-solid flowchart-link" style=";" data-edge="true" data-et="edge" data-id="L_edges_fixpoint_0" data-points="W3sieCI6NTU2Ljg5MDYyNSwieSI6ODJ9LHsieCI6NjAwLjI3MzQzNzUsInkiOjgyfSx7IngiOjY0OS41MjU5OTE1ODY1Mzg1LCJ5IjoxMDd9XQ==" marker-end="url(#my-svg_flowchart-v2-pointEnd)"/><path d="M555.859,186L563.262,186C570.664,186,585.469,186,600.485,182.135C615.502,178.27,630.731,170.54,638.345,166.675L645.959,162.81" id="L_roots_fixpoint_0" class="edge-thickness-normal edge-pattern-solid edge-thickness-normal edge-pattern-solid flowchart-link" style=";" data-edge="true" data-et="edge" data-id="L_roots_fixpoint_0" data-points="W3sieCI6NTU1Ljg1OTM3NSwieSI6MTg2fSx7IngiOjYwMC4yNzM0Mzc1LCJ5IjoxODZ9LHsieCI6NjQ5LjUyNTk5MTU4NjUzODUsInkiOjE2MX1d" marker-end="url(#my-svg_flowchart-v2-pointEnd)"/><path d="M288.922,56.538L302.859,50.449C316.797,44.359,344.672,32.179,380.94,26.09C417.208,20,461.87,20,499.824,20C537.779,20,569.026,20,601.724,20C634.422,20,668.57,20,701.809,20C735.047,20,767.375,20,793.712,28.895C820.049,37.789,840.395,55.578,850.568,64.473L860.741,73.367" id="L_flatmap_classify_0" class="edge-thickness-normal edge-pattern-dotted edge-thickness-normal edge-pattern-solid flowchart-link" style=";" data-edge="true" data-et="edge" data-id="L_flatmap_classify_0" data-points="W3sieCI6Mjg4LjkyMTg3NSwieSI6NTYuNTM4NDU3MzAzMzA4OTI0fSx7IngiOjM3Mi41NDY4NzUsInkiOjIwfSx7IngiOjUwNi41MzEyNSwieSI6MjB9LHsieCI6NjAwLjI3MzQzNzUsInkiOjIwfSx7IngiOjcwMi43MTg3NSwieSI6MjB9LHsieCI6Nzk5LjcwMzEyNSwieSI6MjB9LHsieCI6ODYzLjc1MjA3MDc4MzEzMjYsInkiOjc2fV0=" marker-end="url(#my-svg_flowchart-v2-pointEnd)"/><path d="M761.781,134L768.102,134C774.422,134,787.063,134,799.069,132.143C811.076,130.286,822.449,126.572,828.136,124.715L833.823,122.858" id="L_fixpoint_classify_0" class="edge-thickness-normal edge-pattern-solid edge-thickness-normal edge-pattern-solid flowchart-link" style=";" data-edge="true" data-et="edge" data-id="L_fixpoint_classify_0" data-points="W3sieCI6NzYxLjc4MTI1LCJ5IjoxMzR9LHsieCI6Nzk5LjcwMzEyNSwieSI6MTM0fSx7IngiOjgzNy42MjUsInkiOjEyMS42MTYzMjc4NzQyNDkwNH1d" marker-end="url(#my-svg_flowchart-v2-pointEnd)"/><path d="M951.641,103L958.721,103C965.802,103,979.964,103,993.458,103C1006.953,103,1019.781,103,1026.195,103L1032.609,103" id="L_classify_issues_0" class="edge-thickness-normal edge-pattern-solid edge-thickness-normal edge-pattern-solid flowchart-link" style=";" data-edge="true" data-et="edge" data-id="L_classify_issues_0" data-points="W3sieCI6OTUxLjY0MDYyNSwieSI6MTAzfSx7IngiOjk5NC4xMjUsInkiOjEwM30seyJ4IjoxMDM2LjYwOTM3NSwieSI6MTAzfV0=" marker-end="url(#my-svg_flowchart-v2-pointEnd)"/></g><g class="edgeLabels"><g class="edgeLabel"><g class="label" data-id="L_sources_flatmap_0" transform="translate(0, 0)"><foreignObject width="0" height="0"><div xmlns="http://www.w3.org/1999/xhtml" class="labelBkg" style="display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;"><span class="edgeLabel"></span></div></foreignObject></g></g><g class="edgeLabel" transform="translate(372.546875, 82)"><g class="label" data-id="L_flatmap_edges_0" transform="translate(-37.3984375, -12)"><foreignObject width="74.796875" height="24"><div xmlns="http://www.w3.org/1999/xhtml" class="labelBkg" style="display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;"><span class="edgeLabel"><p>refs, decls</p></span></div></foreignObject></g></g><g class="edgeLabel" transform="translate(372.546875, 186)"><g class="label" data-id="L_flatmap_roots_0" transform="translate(-58.625, -12)"><foreignObject width="117.25" height="24"><div xmlns="http://www.w3.org/1999/xhtml" class="labelBkg" style="display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;"><span class="edgeLabel"><p>refs, decls, ann.</p></span></div></foreignObject></g></g><g class="edgeLabel"><g class="label" data-id="L_edges_fixpoint_0" transform="translate(0, 0)"><foreignObject width="0" height="0"><div xmlns="http://www.w3.org/1999/xhtml" class="labelBkg" style="display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;"><span class="edgeLabel"></span></div></foreignObject></g></g><g class="edgeLabel"><g class="label" data-id="L_roots_fixpoint_0" transform="translate(0, 0)"><foreignObject width="0" height="0"><div xmlns="http://www.w3.org/1999/xhtml" class="labelBkg" style="display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;"><span class="edgeLabel"></span></div></foreignObject></g></g><g class="edgeLabel" transform="translate(600.2734375, 20)"><g class="label" data-id="L_flatmap_classify_0" transform="translate(-18.3828125, -12)"><foreignObject width="36.765625" height="24"><div xmlns="http://www.w3.org/1999/xhtml" class="labelBkg" style="display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;"><span class="edgeLabel"><p>decls</p></span></div></foreignObject></g></g><g class="edgeLabel" transform="translate(799.703125, 134)"><g class="label" data-id="L_fixpoint_classify_0" transform="translate(-12.921875, -12)"><foreignObject width="25.84375" height="24"><div xmlns="http://www.w3.org/1999/xhtml" class="labelBkg" style="display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;"><span class="edgeLabel"><p>live</p></span></div></foreignObject></g></g><g class="edgeLabel" transform="translate(994.125, 103)"><g class="label" data-id="L_classify_issues_0" transform="translate(-17.484375, -12)"><foreignObject width="34.96875" height="24"><div xmlns="http://www.w3.org/1999/xhtml" class="labelBkg" style="display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;"><span class="edgeLabel"><p>dead</p></span></div></foreignObject></g></g></g><g class="nodes"><g class="node default coreBox" id="flowchart-sources-0" transform="translate(65.1875, 82)"><rect class="basic label-container" style="fill:#eef6ff !important;stroke:#4a90d9 !important;stroke-width:2px !important" x="-57.1875" y="-27" width="114.375" height="54"/><g class="label" style="color:#102a43 !important" transform="translate(-27.1875, -12)"><rect/><foreignObject width="54.375" height="24"><div style="color: rgb(16, 42, 67) !important; display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;" xmlns="http://www.w3.org/1999/xhtml"><span style="color:#102a43 !important" class="nodeLabel"><p>Sources</p></span></div></foreignObject></g></g><g class="node default coreBox" id="flowchart-flatmap-1" transform="translate(230.6484375, 82)"><rect class="basic label-container" style="fill:#eef6ff !important;stroke:#4a90d9 !important;stroke-width:2px !important" x="-58.2734375" y="-27" width="116.546875" height="54"/><g class="label" style="color:#102a43 !important" transform="translate(-28.2734375, -12)"><rect/><foreignObject width="56.546875" height="24"><div style="color: rgb(16, 42, 67) !important; display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;" xmlns="http://www.w3.org/1999/xhtml"><span style="color:#102a43 !important" class="nodeLabel"><p>FlatMap</p></span></div></foreignObject></g></g><g class="node default coreBox" id="flowchart-edges-2" transform="translate(506.53125, 82)"><rect class="basic label-container" style="fill:#eef6ff !important;stroke:#4a90d9 !important;stroke-width:2px !important" x="-50.359375" y="-27" width="100.71875" height="54"/><g class="label" style="color:#102a43 !important" transform="translate(-20.359375, -12)"><rect/><foreignObject width="40.71875" height="24"><div style="color: rgb(16, 42, 67) !important; display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;" xmlns="http://www.w3.org/1999/xhtml"><span style="color:#102a43 !important" class="nodeLabel"><p>Edges</p></span></div></foreignObject></g></g><g class="node default coreBox" id="flowchart-roots-3" transform="translate(506.53125, 186)"><rect class="basic label-container" style="fill:#eef6ff !important;stroke:#4a90d9 !important;stroke-width:2px !important" x="-49.328125" y="-27" width="98.65625" height="54"/><g class="label" style="color:#102a43 !important" transform="translate(-19.328125, -12)"><rect/><foreignObject width="38.65625" height="24"><div style="color: rgb(16, 42, 67) !important; display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;" xmlns="http://www.w3.org/1999/xhtml"><span style="color:#102a43 !important" class="nodeLabel"><p>Roots</p></span></div></foreignObject></g></g><g class="node default solveBox" id="flowchart-fixpoint-4" transform="translate(702.71875, 134)"><rect class="basic label-container" style="fill:#fff1f1 !important;stroke:#cc6666 !important;stroke-width:2px !important" x="-59.0625" y="-27" width="118.125" height="54"/><g class="label" style="color:#102a43 !important" transform="translate(-29.0625, -12)"><rect/><foreignObject width="58.125" height="24"><div style="color: rgb(16, 42, 67) !important; display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;" xmlns="http://www.w3.org/1999/xhtml"><span style="color:#102a43 !important" class="nodeLabel"><p>Fixpoint</p></span></div></foreignObject></g></g><g class="node default solveBox" id="flowchart-classify-5" transform="translate(894.6328125, 103)"><rect class="basic label-container" style="fill:#fff1f1 !important;stroke:#cc6666 !important;stroke-width:2px !important" x="-57.0078125" y="-27" width="114.015625" height="54"/><g class="label" style="color:#102a43 !important" transform="translate(-27.0078125, -12)"><rect/><foreignObject width="54.015625" height="24"><div style="color: rgb(16, 42, 67) !important; display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;" xmlns="http://www.w3.org/1999/xhtml"><span style="color:#102a43 !important" class="nodeLabel"><p>Classify</p></span></div></foreignObject></g></g><g class="node default solveBox" id="flowchart-issues-6" transform="translate(1087.2890625, 103)"><rect class="basic label-container" style="fill:#fff1f1 !important;stroke:#cc6666 !important;stroke-width:2px !important" x="-50.6796875" y="-27" width="101.359375" height="54"/><g class="label" style="color:#102a43 !important" transform="translate(-20.6796875, -12)"><rect/><foreignObject width="41.359375" height="24"><div style="color: rgb(16, 42, 67) !important; display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;" xmlns="http://www.w3.org/1999/xhtml"><span style="color:#102a43 !important" class="nodeLabel"><p>Issues</p></span></div></foreignObject></g></g></g></g></g></svg>
\ No newline at end of file
diff --git a/scripts/test-hrefs.mjs b/scripts/test-hrefs.mjs
index 285fc920a..4cab81c03 100644
--- a/scripts/test-hrefs.mjs
+++ b/scripts/test-hrefs.mjs
@@ -26,8 +26,27 @@ for (const file of files) {
 
     const warningMessage = log.replace(file, "");
 
+    // Skip warnings about files that exist in public/ (served at root by Vite)
+    const missingFileMatches = [
+      ...warningMessage.matchAll(/`\.\.\/\.\.\/(.*?)`/g),
+    ];
+    let allMissingExistInPublic = false;
+    if (missingFileMatches.length > 0) {
+      allMissingExistInPublic = (
+        await Promise.all(
+          missingFileMatches.map(([, p]) =>
+            fs.access("public/" + p).then(
+              () => true,
+              () => false,
+            ),
+          ),
+        )
+      ).every(Boolean);
+    }
+
     if (
       log &&
+      !allMissingExistInPublic &&
       !warningMessage.includes("api/") &&
       // When running on CI it fails to ignore the link directly to the blog root
       // https://github.com/rescript-lang/rescript-lang.org/actions/runs/19520461368/job/55882556586?pr=1115#step:6:338