<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/"><channel><title>Workflow on Nick Liu - Software Engineer</title><link>https://nick-liu.com/tags/workflow/</link><description>Recent content in Workflow on Nick Liu - Software Engineer</description><generator>Hugo -- gohugo.io</generator><language>en</language><managingEditor>nickboy@users.noreply.github.com (Nick Liu)</managingEditor><webMaster>nickboy@users.noreply.github.com (Nick Liu)</webMaster><copyright>2026 Nick Liu</copyright><lastBuildDate>Wed, 05 Aug 2026 22:49:23 -0700</lastBuildDate><atom:link href="https://nick-liu.com/tags/workflow/index.xml" rel="self" type="application/rss+xml"/><item><title>Four review claims sounded right. Each took two minutes to disprove.</title><link>https://nick-liu.com/posts/ai-dotfiles-loop-verification/</link><pubDate>Sat, 15 Aug 2026 00:00:00 +0000</pubDate><author>nickboy@users.noreply.github.com (Nick Liu)</author><guid>https://nick-liu.com/posts/ai-dotfiles-loop-verification/</guid><description>&lt;div class="lead text-neutral-500 dark:text-neutral-400 !mb-9 text-xl"&gt;
 
After a month of overhauling my dotfiles with AI in the loop, the real value was not "the AI writes my configs". It was two much more boring properties: the research side keeps finding things I cannot see, and I verify every claim it makes before acting. Skip the first and you only ever fix problems you already knew about. Skip the second and a plausible-sounding wrong answer walks you into a ditch.

&lt;/div&gt;


&lt;h2 class="relative group"&gt;The loop
 &lt;div id="the-loop" class="anchor"&gt;&lt;/div&gt;
 
 &lt;span
 class="absolute top-0 w-6 transition-opacity opacity-0 -start-6 not-prose group-hover:opacity-100 select-none"&gt;
 &lt;a class="text-primary-300 dark:text-neutral-700 !no-underline" href="#the-loop" aria-label="Anchor"&gt;#&lt;/a&gt;
 &lt;/span&gt;
 
&lt;/h2&gt;
&lt;div class="not-prose diagram diagram-light"&gt;&lt;svg id="d6bf3003e913f18d9light" width="100%" xmlns="http://www.w3.org/2000/svg" class="flowchart" style="max-width: 486.015625px;" viewBox="0 0 486.015625 830" role="graphics-document document" aria-roledescription="flowchart-v2"&gt;&lt;style&gt;#d6bf3003e913f18d9light{font-family:ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,segoe ui,Roboto,helvetica neue,Arial,noto sans,sans-serif;font-size:16px;fill:#333;}@keyframes edge-animation-frame{from{stroke-dashoffset:0;}}@keyframes dash{to{stroke-dashoffset:0;}}#d6bf3003e913f18d9light .edge-animation-slow{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 50s linear infinite;stroke-linecap:round;}#d6bf3003e913f18d9light .edge-animation-fast{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 20s linear infinite;stroke-linecap:round;}#d6bf3003e913f18d9light .error-icon{fill:rgb(255, 255, 255);}#d6bf3003e913f18d9light .error-text{fill:#000000;stroke:#000000;}#d6bf3003e913f18d9light .edge-thickness-normal{stroke-width:1px;}#d6bf3003e913f18d9light .edge-thickness-thick{stroke-width:3.5px;}#d6bf3003e913f18d9light .edge-pattern-solid{stroke-dasharray:0;}#d6bf3003e913f18d9light .edge-thickness-invisible{stroke-width:0;fill:none;}#d6bf3003e913f18d9light .edge-pattern-dashed{stroke-dasharray:3;}#d6bf3003e913f18d9light .edge-pattern-dotted{stroke-dasharray:2;}#d6bf3003e913f18d9light .marker{fill:rgb(74, 86, 92);stroke:rgb(74, 86, 92);}#d6bf3003e913f18d9light .marker.cross{stroke:rgb(74, 86, 92);}#d6bf3003e913f18d9light svg{font-family:ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,segoe ui,Roboto,helvetica neue,Arial,noto sans,sans-serif;font-size:16px;}#d6bf3003e913f18d9light p{margin:0;}#d6bf3003e913f18d9light .label{font-family:ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,segoe ui,Roboto,helvetica neue,Arial,noto sans,sans-serif;color:#333;}#d6bf3003e913f18d9light .cluster-label text{fill:#000000;}#d6bf3003e913f18d9light .cluster-label span{color:#000000;}#d6bf3003e913f18d9light .cluster-label span p{background-color:transparent;}#d6bf3003e913f18d9light .label text,#d6bf3003e913f18d9light span{fill:#333;color:#333;}#d6bf3003e913f18d9light .node rect,#d6bf3003e913f18d9light .node circle,#d6bf3003e913f18d9light .node ellipse,#d6bf3003e913f18d9light .node polygon,#d6bf3003e913f18d9light .node path{fill:rgb(255, 255, 255);stroke:rgb(204, 216, 222);stroke-width:1px;}#d6bf3003e913f18d9light .rough-node .label text,#d6bf3003e913f18d9light .node .label text,#d6bf3003e913f18d9light .image-shape .label,#d6bf3003e913f18d9light .icon-shape .label{text-anchor:middle;}#d6bf3003e913f18d9light .node .katex path{fill:#000;stroke:#000;stroke-width:1px;}#d6bf3003e913f18d9light .rough-node .label,#d6bf3003e913f18d9light .node .label,#d6bf3003e913f18d9light .image-shape .label,#d6bf3003e913f18d9light .icon-shape .label{text-align:center;}#d6bf3003e913f18d9light .node.clickable{cursor:pointer;}#d6bf3003e913f18d9light .root .anchor path{fill:rgb(74, 86, 92)!important;stroke-width:0;stroke:rgb(74, 86, 92);}#d6bf3003e913f18d9light .arrowheadPath{fill:#000000;}#d6bf3003e913f18d9light .edgePath .path{stroke:rgb(74, 86, 92);stroke-width:1px;}#d6bf3003e913f18d9light .flowchart-link{stroke:rgb(74, 86, 92);fill:none;}#d6bf3003e913f18d9light .edgeLabel{background-color:rgb(182, 240, 255);text-align:center;}#d6bf3003e913f18d9light .edgeLabel p{background-color:rgb(182, 240, 255);}#d6bf3003e913f18d9light .edgeLabel rect{opacity:0.5;background-color:rgb(182, 240, 255);fill:rgb(182, 240, 255);}#d6bf3003e913f18d9light .labelBkg{background-color:rgba(182, 240, 255, 0.5);}#d6bf3003e913f18d9light .cluster rect{fill:rgb(255, 255, 255);stroke:rgb(129, 146, 154);stroke-width:1px;}#d6bf3003e913f18d9light .cluster text{fill:#000000;}#d6bf3003e913f18d9light .cluster span{color:#000000;}#d6bf3003e913f18d9light div.mermaidTooltip{position:absolute;text-align:center;max-width:200px;padding:2px;font-family:ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,segoe ui,Roboto,helvetica neue,Arial,noto sans,sans-serif;font-size:12px;background:rgb(255, 255, 255);border:1px solid rgb(129, 146, 154);border-radius:2px;pointer-events:none;z-index:100;}#d6bf3003e913f18d9light .flowchartTitleText{text-anchor:middle;font-size:18px;fill:#333;}#d6bf3003e913f18d9light rect.text{fill:none;stroke-width:0;}#d6bf3003e913f18d9light .icon-shape,#d6bf3003e913f18d9light .image-shape{background-color:rgb(182, 240, 255);text-align:center;}#d6bf3003e913f18d9light .icon-shape p,#d6bf3003e913f18d9light .image-shape p{background-color:rgb(182, 240, 255);padding:2px;}#d6bf3003e913f18d9light .icon-shape .label rect,#d6bf3003e913f18d9light .image-shape .label rect{opacity:0.5;background-color:rgb(182, 240, 255);fill:rgb(182, 240, 255);}#d6bf3003e913f18d9light .label-icon{display:inline-block;height:1em;overflow:visible;vertical-align:-0.125em;}#d6bf3003e913f18d9light .node .label-icon path{fill:currentColor;stroke:revert;stroke-width:revert;}#d6bf3003e913f18d9light .node .neo-node{stroke:rgb(204, 216, 222);}#d6bf3003e913f18d9light [data-look="neo"].node rect,#d6bf3003e913f18d9light [data-look="neo"].cluster rect,#d6bf3003e913f18d9light [data-look="neo"].node polygon{stroke:url(#d6bf3003e913f18d9light-gradient);filter:drop-shadow( 1px 2px 2px rgba(185,185,185,1));}#d6bf3003e913f18d9light [data-look="neo"].swimlane.cluster rect{filter:none;}#d6bf3003e913f18d9light [data-look="neo"].node path{stroke:url(#d6bf3003e913f18d9light-gradient);stroke-width:1px;}#d6bf3003e913f18d9light [data-look="neo"].node .outer-path{filter:drop-shadow( 1px 2px 2px rgba(185,185,185,1));}#d6bf3003e913f18d9light [data-look="neo"].node .neo-line path{stroke:rgb(204, 216, 222);filter:none;}#d6bf3003e913f18d9light [data-look="neo"].node circle{stroke:url(#d6bf3003e913f18d9light-gradient);filter:drop-shadow( 1px 2px 2px rgba(185,185,185,1));}#d6bf3003e913f18d9light [data-look="neo"].node circle .state-start{fill:#000000;}#d6bf3003e913f18d9light [data-look="neo"].icon-shape .icon{fill:url(#d6bf3003e913f18d9light-gradient);filter:drop-shadow( 1px 2px 2px rgba(185,185,185,1));}#d6bf3003e913f18d9light [data-look="neo"].icon-shape .icon-neo path{stroke:url(#d6bf3003e913f18d9light-gradient);filter:drop-shadow( 1px 2px 2px rgba(185,185,185,1));}#d6bf3003e913f18d9light :root{--mermaid-font-family:"trebuchet ms",verdana,arial,sans-serif;}&lt;/style&gt;&lt;g&gt;&lt;marker id="d6bf3003e913f18d9light_flowchart-v2-pointEnd" class="marker flowchart-v2" viewBox="0 0 10 10" refX="5" refY="5" markerUnits="userSpaceOnUse" markerWidth="8" markerHeight="8" orient="auto"&gt;&lt;path d="M 0 0 L 10 5 L 0 10 z" class="arrowMarkerPath" style="stroke-width: 1; stroke-dasharray: 1, 0;"&gt;&lt;/path&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9light_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"&gt;&lt;path d="M 0 5 L 10 10 L 10 0 z" class="arrowMarkerPath" style="stroke-width: 1; stroke-dasharray: 1, 0;"&gt;&lt;/path&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9light_flowchart-v2-pointEnd-margin" class="marker flowchart-v2" viewBox="0 0 11.5 14" refX="11.5" refY="7" markerUnits="userSpaceOnUse" markerWidth="10.5" markerHeight="14" orient="auto"&gt;&lt;path d="M 0 0 L 11.5 7 L 0 14 z" class="arrowMarkerPath" style="stroke-width: 0; stroke-dasharray: 1, 0;"&gt;&lt;/path&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9light_flowchart-v2-pointStart-margin" class="marker flowchart-v2" viewBox="0 0 11.5 14" refX="1" refY="7" markerUnits="userSpaceOnUse" markerWidth="11.5" markerHeight="14" orient="auto"&gt;&lt;polygon points="0,7 11.5,14 11.5,0" class="arrowMarkerPath" style="stroke-width: 0; stroke-dasharray: 1, 0;"&gt;&lt;/polygon&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9light_flowchart-v2-circleEnd" class="marker flowchart-v2" viewBox="0 0 10 10" refX="11" refY="5" markerUnits="userSpaceOnUse" markerWidth="11" markerHeight="11" orient="auto"&gt;&lt;circle cx="5" cy="5" r="5" class="arrowMarkerPath" style="stroke-width: 1; stroke-dasharray: 1, 0;"&gt;&lt;/circle&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9light_flowchart-v2-circleStart" class="marker flowchart-v2" viewBox="0 0 10 10" refX="-1" refY="5" markerUnits="userSpaceOnUse" markerWidth="11" markerHeight="11" orient="auto"&gt;&lt;circle cx="5" cy="5" r="5" class="arrowMarkerPath" style="stroke-width: 1; stroke-dasharray: 1, 0;"&gt;&lt;/circle&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9light_flowchart-v2-circleEnd-margin" class="marker flowchart-v2" viewBox="0 0 10 10" refY="5" refX="12.25" markerUnits="userSpaceOnUse" markerWidth="14" markerHeight="14" orient="auto"&gt;&lt;circle cx="5" cy="5" r="5" class="arrowMarkerPath" style="stroke-width: 0; stroke-dasharray: 1, 0;"&gt;&lt;/circle&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9light_flowchart-v2-circleStart-margin" class="marker flowchart-v2" viewBox="0 0 10 10" refX="-2" refY="5" markerUnits="userSpaceOnUse" markerWidth="14" markerHeight="14" orient="auto"&gt;&lt;circle cx="5" cy="5" r="5" class="arrowMarkerPath" style="stroke-width: 0; stroke-dasharray: 1, 0;"&gt;&lt;/circle&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9light_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"&gt;&lt;path d="M 1,1 l 9,9 M 10,1 l -9,9" class="arrowMarkerPath" style="stroke-width: 2; stroke-dasharray: 1, 0;"&gt;&lt;/path&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9light_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"&gt;&lt;path d="M 1,1 l 9,9 M 10,1 l -9,9" class="arrowMarkerPath" style="stroke-width: 2; stroke-dasharray: 1, 0;"&gt;&lt;/path&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9light_flowchart-v2-crossEnd-margin" class="marker cross flowchart-v2" viewBox="0 0 15 15" refX="17.7" refY="7.5" markerUnits="userSpaceOnUse" markerWidth="12" markerHeight="12" orient="auto"&gt;&lt;path d="M 1,1 L 14,14 M 1,14 L 14,1" class="arrowMarkerPath" style="stroke-width: 2.5;"&gt;&lt;/path&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9light_flowchart-v2-crossStart-margin" class="marker cross flowchart-v2" viewBox="0 0 15 15" refX="-3.5" refY="7.5" markerUnits="userSpaceOnUse" markerWidth="12" markerHeight="12" orient="auto"&gt;&lt;path d="M 1,1 L 14,14 M 1,14 L 14,1" class="arrowMarkerPath" style="stroke-width: 2.5; stroke-dasharray: 1, 0;"&gt;&lt;/path&gt;&lt;/marker&gt;&lt;g class="root"&gt;&lt;g class="clusters"&gt;&lt;/g&gt;&lt;g class="edgePaths"&gt;&lt;path d="M268.004,134L268.004,138.167C268.004,142.333,268.004,150.667,268.004,158.333C268.004,166,268.004,173,268.004,176.5L268.004,180" id="d6bf3003e913f18d9light-L_A_B_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_B_0" data-points="W3sieCI6MjY4LjAwMzkwNjI1LCJ5IjoxMzR9LHsieCI6MjY4LjAwMzkwNjI1LCJ5IjoxNTl9LHsieCI6MjY4LjAwMzkwNjI1LCJ5IjoxODR9XQ==" data-look="classic" marker-end="url(#d6bf3003e913f18d9light_flowchart-v2-pointEnd)"&gt;&lt;/path&gt;&lt;path d="M192.661,286L183.551,292.167C174.44,298.333,156.22,310.667,147.11,322.333C138,334,138,345,138,350.5L138,356" id="d6bf3003e913f18d9light-L_B_C_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_B_C_0" data-points="W3sieCI6MTkyLjY2MDczMzMwOTY1OTEsInkiOjI4Nn0seyJ4IjoxMzgsInkiOjMyM30seyJ4IjoxMzgsInkiOjM2MH1d" data-look="classic" marker-end="url(#d6bf3003e913f18d9light_flowchart-v2-pointEnd)"&gt;&lt;/path&gt;&lt;path d="M138,486L138,490.167C138,494.333,138,502.667,138,510.333C138,518,138,525,138,528.5L138,532" id="d6bf3003e913f18d9light-L_C_D_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_C_D_0" data-points="W3sieCI6MTM4LCJ5Ijo0ODZ9LHsieCI6MTM4LCJ5Ijo1MTF9LHsieCI6MTM4LCJ5Ijo1MzZ9XQ==" data-look="classic" marker-end="url(#d6bf3003e913f18d9light_flowchart-v2-pointEnd)"&gt;&lt;/path&gt;&lt;path d="M138,590L138,594.167C138,598.333,138,606.667,138,614.333C138,622,138,629,138,632.5L138,636" id="d6bf3003e913f18d9light-L_D_E_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_D_E_0" data-points="W3sieCI6MTM4LCJ5Ijo1OTB9LHsieCI6MTM4LCJ5Ijo2MTV9LHsieCI6MTM4LCJ5Ijo2NDB9XQ==" data-look="classic" marker-end="url(#d6bf3003e913f18d9light_flowchart-v2-pointEnd)"&gt;&lt;/path&gt;&lt;path d="M138,718L138,722.167C138,726.333,138,734.667,138,742.333C138,750,138,757,138,760.5L138,764" id="d6bf3003e913f18d9light-L_E_F_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_E_F_0" data-points="W3sieCI6MTM4LCJ5Ijo3MTh9LHsieCI6MTM4LCJ5Ijo3NDN9LHsieCI6MTM4LCJ5Ijo3Njh9XQ==" data-look="classic" marker-end="url(#d6bf3003e913f18d9light_flowchart-v2-pointEnd)"&gt;&lt;/path&gt;&lt;path d="M343.347,286L352.457,292.167C361.567,298.333,379.788,310.667,388.898,326.333C398.008,342,398.008,361,398.008,370.5L398.008,380" id="d6bf3003e913f18d9light-L_B_G_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_B_G_0" data-points="W3sieCI6MzQzLjM0NzA3OTE5MDM0MDksInkiOjI4Nn0seyJ4IjozOTguMDA3ODEyNSwieSI6MzIzfSx7IngiOjM5OC4wMDc4MTI1LCJ5IjozODR9XQ==" data-look="classic" marker-end="url(#d6bf3003e913f18d9light_flowchart-v2-pointEnd)"&gt;&lt;/path&gt;&lt;/g&gt;&lt;g class="edgeLabels"&gt;&lt;g class="edgeLabel"&gt;&lt;g class="label" data-id="L_A_B_0" transform="translate(0, 0)"&gt;&lt;foreignObject width="0" height="0"&gt;&lt;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;"&gt;&lt;span class="edgeLabel"&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="edgeLabel"&gt;&lt;g class="label" data-id="L_B_C_0" transform="translate(0, 0)"&gt;&lt;foreignObject width="0" height="0"&gt;&lt;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;"&gt;&lt;span class="edgeLabel"&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="edgeLabel"&gt;&lt;g class="label" data-id="L_C_D_0" transform="translate(0, 0)"&gt;&lt;foreignObject width="0" height="0"&gt;&lt;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;"&gt;&lt;span class="edgeLabel"&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="edgeLabel"&gt;&lt;g class="label" data-id="L_D_E_0" transform="translate(0, 0)"&gt;&lt;foreignObject width="0" height="0"&gt;&lt;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;"&gt;&lt;span class="edgeLabel"&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="edgeLabel"&gt;&lt;g class="label" data-id="L_E_F_0" transform="translate(0, 0)"&gt;&lt;foreignObject width="0" height="0"&gt;&lt;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;"&gt;&lt;span class="edgeLabel"&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="edgeLabel" transform="translate(398.0078125, 323)"&gt;&lt;g class="label" data-id="L_B_G_0" transform="translate(-77.796875, -12)"&gt;&lt;foreignObject width="155.59375" height="24"&gt;&lt;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;"&gt;&lt;span class="edgeLabel"&gt;&lt;p&gt;claim fails verification&lt;/p&gt;</description><content:encoded>&lt;div class="lead text-neutral-500 dark:text-neutral-400 !mb-9 text-xl"&gt;
 
After a month of overhauling my dotfiles with AI in the loop, the real value was not "the AI writes my configs". It was two much more boring properties: the research side keeps finding things I cannot see, and I verify every claim it makes before acting. Skip the first and you only ever fix problems you already knew about. Skip the second and a plausible-sounding wrong answer walks you into a ditch.

&lt;/div&gt;


&lt;h2 class="relative group"&gt;The loop
 &lt;div id="the-loop" class="anchor"&gt;&lt;/div&gt;
 
 &lt;span
 class="absolute top-0 w-6 transition-opacity opacity-0 -start-6 not-prose group-hover:opacity-100 select-none"&gt;
 &lt;a class="text-primary-300 dark:text-neutral-700 !no-underline" href="#the-loop" aria-label="Anchor"&gt;#&lt;/a&gt;
 &lt;/span&gt;
 
&lt;/h2&gt;
&lt;div class="not-prose diagram diagram-light"&gt;&lt;svg id="d6bf3003e913f18d9light" width="100%" xmlns="http://www.w3.org/2000/svg" class="flowchart" style="max-width: 486.015625px;" viewBox="0 0 486.015625 830" role="graphics-document document" aria-roledescription="flowchart-v2"&gt;&lt;style&gt;#d6bf3003e913f18d9light{font-family:ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,segoe ui,Roboto,helvetica neue,Arial,noto sans,sans-serif;font-size:16px;fill:#333;}@keyframes edge-animation-frame{from{stroke-dashoffset:0;}}@keyframes dash{to{stroke-dashoffset:0;}}#d6bf3003e913f18d9light .edge-animation-slow{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 50s linear infinite;stroke-linecap:round;}#d6bf3003e913f18d9light .edge-animation-fast{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 20s linear infinite;stroke-linecap:round;}#d6bf3003e913f18d9light .error-icon{fill:rgb(255, 255, 255);}#d6bf3003e913f18d9light .error-text{fill:#000000;stroke:#000000;}#d6bf3003e913f18d9light .edge-thickness-normal{stroke-width:1px;}#d6bf3003e913f18d9light .edge-thickness-thick{stroke-width:3.5px;}#d6bf3003e913f18d9light .edge-pattern-solid{stroke-dasharray:0;}#d6bf3003e913f18d9light .edge-thickness-invisible{stroke-width:0;fill:none;}#d6bf3003e913f18d9light .edge-pattern-dashed{stroke-dasharray:3;}#d6bf3003e913f18d9light .edge-pattern-dotted{stroke-dasharray:2;}#d6bf3003e913f18d9light .marker{fill:rgb(74, 86, 92);stroke:rgb(74, 86, 92);}#d6bf3003e913f18d9light .marker.cross{stroke:rgb(74, 86, 92);}#d6bf3003e913f18d9light svg{font-family:ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,segoe ui,Roboto,helvetica neue,Arial,noto sans,sans-serif;font-size:16px;}#d6bf3003e913f18d9light p{margin:0;}#d6bf3003e913f18d9light .label{font-family:ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,segoe ui,Roboto,helvetica neue,Arial,noto sans,sans-serif;color:#333;}#d6bf3003e913f18d9light .cluster-label text{fill:#000000;}#d6bf3003e913f18d9light .cluster-label span{color:#000000;}#d6bf3003e913f18d9light .cluster-label span p{background-color:transparent;}#d6bf3003e913f18d9light .label text,#d6bf3003e913f18d9light span{fill:#333;color:#333;}#d6bf3003e913f18d9light .node rect,#d6bf3003e913f18d9light .node circle,#d6bf3003e913f18d9light .node ellipse,#d6bf3003e913f18d9light .node polygon,#d6bf3003e913f18d9light .node path{fill:rgb(255, 255, 255);stroke:rgb(204, 216, 222);stroke-width:1px;}#d6bf3003e913f18d9light .rough-node .label text,#d6bf3003e913f18d9light .node .label text,#d6bf3003e913f18d9light .image-shape .label,#d6bf3003e913f18d9light .icon-shape .label{text-anchor:middle;}#d6bf3003e913f18d9light .node .katex path{fill:#000;stroke:#000;stroke-width:1px;}#d6bf3003e913f18d9light .rough-node .label,#d6bf3003e913f18d9light .node .label,#d6bf3003e913f18d9light .image-shape .label,#d6bf3003e913f18d9light .icon-shape .label{text-align:center;}#d6bf3003e913f18d9light .node.clickable{cursor:pointer;}#d6bf3003e913f18d9light .root .anchor path{fill:rgb(74, 86, 92)!important;stroke-width:0;stroke:rgb(74, 86, 92);}#d6bf3003e913f18d9light .arrowheadPath{fill:#000000;}#d6bf3003e913f18d9light .edgePath .path{stroke:rgb(74, 86, 92);stroke-width:1px;}#d6bf3003e913f18d9light .flowchart-link{stroke:rgb(74, 86, 92);fill:none;}#d6bf3003e913f18d9light .edgeLabel{background-color:rgb(182, 240, 255);text-align:center;}#d6bf3003e913f18d9light .edgeLabel p{background-color:rgb(182, 240, 255);}#d6bf3003e913f18d9light .edgeLabel rect{opacity:0.5;background-color:rgb(182, 240, 255);fill:rgb(182, 240, 255);}#d6bf3003e913f18d9light .labelBkg{background-color:rgba(182, 240, 255, 0.5);}#d6bf3003e913f18d9light .cluster rect{fill:rgb(255, 255, 255);stroke:rgb(129, 146, 154);stroke-width:1px;}#d6bf3003e913f18d9light .cluster text{fill:#000000;}#d6bf3003e913f18d9light .cluster span{color:#000000;}#d6bf3003e913f18d9light div.mermaidTooltip{position:absolute;text-align:center;max-width:200px;padding:2px;font-family:ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,segoe ui,Roboto,helvetica neue,Arial,noto sans,sans-serif;font-size:12px;background:rgb(255, 255, 255);border:1px solid rgb(129, 146, 154);border-radius:2px;pointer-events:none;z-index:100;}#d6bf3003e913f18d9light .flowchartTitleText{text-anchor:middle;font-size:18px;fill:#333;}#d6bf3003e913f18d9light rect.text{fill:none;stroke-width:0;}#d6bf3003e913f18d9light .icon-shape,#d6bf3003e913f18d9light .image-shape{background-color:rgb(182, 240, 255);text-align:center;}#d6bf3003e913f18d9light .icon-shape p,#d6bf3003e913f18d9light .image-shape p{background-color:rgb(182, 240, 255);padding:2px;}#d6bf3003e913f18d9light .icon-shape .label rect,#d6bf3003e913f18d9light .image-shape .label rect{opacity:0.5;background-color:rgb(182, 240, 255);fill:rgb(182, 240, 255);}#d6bf3003e913f18d9light .label-icon{display:inline-block;height:1em;overflow:visible;vertical-align:-0.125em;}#d6bf3003e913f18d9light .node .label-icon path{fill:currentColor;stroke:revert;stroke-width:revert;}#d6bf3003e913f18d9light .node .neo-node{stroke:rgb(204, 216, 222);}#d6bf3003e913f18d9light [data-look="neo"].node rect,#d6bf3003e913f18d9light [data-look="neo"].cluster rect,#d6bf3003e913f18d9light [data-look="neo"].node polygon{stroke:url(#d6bf3003e913f18d9light-gradient);filter:drop-shadow( 1px 2px 2px rgba(185,185,185,1));}#d6bf3003e913f18d9light [data-look="neo"].swimlane.cluster rect{filter:none;}#d6bf3003e913f18d9light [data-look="neo"].node path{stroke:url(#d6bf3003e913f18d9light-gradient);stroke-width:1px;}#d6bf3003e913f18d9light [data-look="neo"].node .outer-path{filter:drop-shadow( 1px 2px 2px rgba(185,185,185,1));}#d6bf3003e913f18d9light [data-look="neo"].node .neo-line path{stroke:rgb(204, 216, 222);filter:none;}#d6bf3003e913f18d9light [data-look="neo"].node circle{stroke:url(#d6bf3003e913f18d9light-gradient);filter:drop-shadow( 1px 2px 2px rgba(185,185,185,1));}#d6bf3003e913f18d9light [data-look="neo"].node circle .state-start{fill:#000000;}#d6bf3003e913f18d9light [data-look="neo"].icon-shape .icon{fill:url(#d6bf3003e913f18d9light-gradient);filter:drop-shadow( 1px 2px 2px rgba(185,185,185,1));}#d6bf3003e913f18d9light [data-look="neo"].icon-shape .icon-neo path{stroke:url(#d6bf3003e913f18d9light-gradient);filter:drop-shadow( 1px 2px 2px rgba(185,185,185,1));}#d6bf3003e913f18d9light :root{--mermaid-font-family:"trebuchet ms",verdana,arial,sans-serif;}&lt;/style&gt;&lt;g&gt;&lt;marker id="d6bf3003e913f18d9light_flowchart-v2-pointEnd" class="marker flowchart-v2" viewBox="0 0 10 10" refX="5" refY="5" markerUnits="userSpaceOnUse" markerWidth="8" markerHeight="8" orient="auto"&gt;&lt;path d="M 0 0 L 10 5 L 0 10 z" class="arrowMarkerPath" style="stroke-width: 1; stroke-dasharray: 1, 0;"&gt;&lt;/path&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9light_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"&gt;&lt;path d="M 0 5 L 10 10 L 10 0 z" class="arrowMarkerPath" style="stroke-width: 1; stroke-dasharray: 1, 0;"&gt;&lt;/path&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9light_flowchart-v2-pointEnd-margin" class="marker flowchart-v2" viewBox="0 0 11.5 14" refX="11.5" refY="7" markerUnits="userSpaceOnUse" markerWidth="10.5" markerHeight="14" orient="auto"&gt;&lt;path d="M 0 0 L 11.5 7 L 0 14 z" class="arrowMarkerPath" style="stroke-width: 0; stroke-dasharray: 1, 0;"&gt;&lt;/path&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9light_flowchart-v2-pointStart-margin" class="marker flowchart-v2" viewBox="0 0 11.5 14" refX="1" refY="7" markerUnits="userSpaceOnUse" markerWidth="11.5" markerHeight="14" orient="auto"&gt;&lt;polygon points="0,7 11.5,14 11.5,0" class="arrowMarkerPath" style="stroke-width: 0; stroke-dasharray: 1, 0;"&gt;&lt;/polygon&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9light_flowchart-v2-circleEnd" class="marker flowchart-v2" viewBox="0 0 10 10" refX="11" refY="5" markerUnits="userSpaceOnUse" markerWidth="11" markerHeight="11" orient="auto"&gt;&lt;circle cx="5" cy="5" r="5" class="arrowMarkerPath" style="stroke-width: 1; stroke-dasharray: 1, 0;"&gt;&lt;/circle&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9light_flowchart-v2-circleStart" class="marker flowchart-v2" viewBox="0 0 10 10" refX="-1" refY="5" markerUnits="userSpaceOnUse" markerWidth="11" markerHeight="11" orient="auto"&gt;&lt;circle cx="5" cy="5" r="5" class="arrowMarkerPath" style="stroke-width: 1; stroke-dasharray: 1, 0;"&gt;&lt;/circle&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9light_flowchart-v2-circleEnd-margin" class="marker flowchart-v2" viewBox="0 0 10 10" refY="5" refX="12.25" markerUnits="userSpaceOnUse" markerWidth="14" markerHeight="14" orient="auto"&gt;&lt;circle cx="5" cy="5" r="5" class="arrowMarkerPath" style="stroke-width: 0; stroke-dasharray: 1, 0;"&gt;&lt;/circle&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9light_flowchart-v2-circleStart-margin" class="marker flowchart-v2" viewBox="0 0 10 10" refX="-2" refY="5" markerUnits="userSpaceOnUse" markerWidth="14" markerHeight="14" orient="auto"&gt;&lt;circle cx="5" cy="5" r="5" class="arrowMarkerPath" style="stroke-width: 0; stroke-dasharray: 1, 0;"&gt;&lt;/circle&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9light_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"&gt;&lt;path d="M 1,1 l 9,9 M 10,1 l -9,9" class="arrowMarkerPath" style="stroke-width: 2; stroke-dasharray: 1, 0;"&gt;&lt;/path&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9light_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"&gt;&lt;path d="M 1,1 l 9,9 M 10,1 l -9,9" class="arrowMarkerPath" style="stroke-width: 2; stroke-dasharray: 1, 0;"&gt;&lt;/path&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9light_flowchart-v2-crossEnd-margin" class="marker cross flowchart-v2" viewBox="0 0 15 15" refX="17.7" refY="7.5" markerUnits="userSpaceOnUse" markerWidth="12" markerHeight="12" orient="auto"&gt;&lt;path d="M 1,1 L 14,14 M 1,14 L 14,1" class="arrowMarkerPath" style="stroke-width: 2.5;"&gt;&lt;/path&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9light_flowchart-v2-crossStart-margin" class="marker cross flowchart-v2" viewBox="0 0 15 15" refX="-3.5" refY="7.5" markerUnits="userSpaceOnUse" markerWidth="12" markerHeight="12" orient="auto"&gt;&lt;path d="M 1,1 L 14,14 M 1,14 L 14,1" class="arrowMarkerPath" style="stroke-width: 2.5; stroke-dasharray: 1, 0;"&gt;&lt;/path&gt;&lt;/marker&gt;&lt;g class="root"&gt;&lt;g class="clusters"&gt;&lt;/g&gt;&lt;g class="edgePaths"&gt;&lt;path d="M268.004,134L268.004,138.167C268.004,142.333,268.004,150.667,268.004,158.333C268.004,166,268.004,173,268.004,176.5L268.004,180" id="d6bf3003e913f18d9light-L_A_B_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_B_0" data-points="W3sieCI6MjY4LjAwMzkwNjI1LCJ5IjoxMzR9LHsieCI6MjY4LjAwMzkwNjI1LCJ5IjoxNTl9LHsieCI6MjY4LjAwMzkwNjI1LCJ5IjoxODR9XQ==" data-look="classic" marker-end="url(#d6bf3003e913f18d9light_flowchart-v2-pointEnd)"&gt;&lt;/path&gt;&lt;path d="M192.661,286L183.551,292.167C174.44,298.333,156.22,310.667,147.11,322.333C138,334,138,345,138,350.5L138,356" id="d6bf3003e913f18d9light-L_B_C_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_B_C_0" data-points="W3sieCI6MTkyLjY2MDczMzMwOTY1OTEsInkiOjI4Nn0seyJ4IjoxMzgsInkiOjMyM30seyJ4IjoxMzgsInkiOjM2MH1d" data-look="classic" marker-end="url(#d6bf3003e913f18d9light_flowchart-v2-pointEnd)"&gt;&lt;/path&gt;&lt;path d="M138,486L138,490.167C138,494.333,138,502.667,138,510.333C138,518,138,525,138,528.5L138,532" id="d6bf3003e913f18d9light-L_C_D_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_C_D_0" data-points="W3sieCI6MTM4LCJ5Ijo0ODZ9LHsieCI6MTM4LCJ5Ijo1MTF9LHsieCI6MTM4LCJ5Ijo1MzZ9XQ==" data-look="classic" marker-end="url(#d6bf3003e913f18d9light_flowchart-v2-pointEnd)"&gt;&lt;/path&gt;&lt;path d="M138,590L138,594.167C138,598.333,138,606.667,138,614.333C138,622,138,629,138,632.5L138,636" id="d6bf3003e913f18d9light-L_D_E_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_D_E_0" data-points="W3sieCI6MTM4LCJ5Ijo1OTB9LHsieCI6MTM4LCJ5Ijo2MTV9LHsieCI6MTM4LCJ5Ijo2NDB9XQ==" data-look="classic" marker-end="url(#d6bf3003e913f18d9light_flowchart-v2-pointEnd)"&gt;&lt;/path&gt;&lt;path d="M138,718L138,722.167C138,726.333,138,734.667,138,742.333C138,750,138,757,138,760.5L138,764" id="d6bf3003e913f18d9light-L_E_F_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_E_F_0" data-points="W3sieCI6MTM4LCJ5Ijo3MTh9LHsieCI6MTM4LCJ5Ijo3NDN9LHsieCI6MTM4LCJ5Ijo3Njh9XQ==" data-look="classic" marker-end="url(#d6bf3003e913f18d9light_flowchart-v2-pointEnd)"&gt;&lt;/path&gt;&lt;path d="M343.347,286L352.457,292.167C361.567,298.333,379.788,310.667,388.898,326.333C398.008,342,398.008,361,398.008,370.5L398.008,380" id="d6bf3003e913f18d9light-L_B_G_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_B_G_0" data-points="W3sieCI6MzQzLjM0NzA3OTE5MDM0MDksInkiOjI4Nn0seyJ4IjozOTguMDA3ODEyNSwieSI6MzIzfSx7IngiOjM5OC4wMDc4MTI1LCJ5IjozODR9XQ==" data-look="classic" marker-end="url(#d6bf3003e913f18d9light_flowchart-v2-pointEnd)"&gt;&lt;/path&gt;&lt;/g&gt;&lt;g class="edgeLabels"&gt;&lt;g class="edgeLabel"&gt;&lt;g class="label" data-id="L_A_B_0" transform="translate(0, 0)"&gt;&lt;foreignObject width="0" height="0"&gt;&lt;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;"&gt;&lt;span class="edgeLabel"&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="edgeLabel"&gt;&lt;g class="label" data-id="L_B_C_0" transform="translate(0, 0)"&gt;&lt;foreignObject width="0" height="0"&gt;&lt;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;"&gt;&lt;span class="edgeLabel"&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="edgeLabel"&gt;&lt;g class="label" data-id="L_C_D_0" transform="translate(0, 0)"&gt;&lt;foreignObject width="0" height="0"&gt;&lt;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;"&gt;&lt;span class="edgeLabel"&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="edgeLabel"&gt;&lt;g class="label" data-id="L_D_E_0" transform="translate(0, 0)"&gt;&lt;foreignObject width="0" height="0"&gt;&lt;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;"&gt;&lt;span class="edgeLabel"&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="edgeLabel"&gt;&lt;g class="label" data-id="L_E_F_0" transform="translate(0, 0)"&gt;&lt;foreignObject width="0" height="0"&gt;&lt;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;"&gt;&lt;span class="edgeLabel"&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="edgeLabel" transform="translate(398.0078125, 323)"&gt;&lt;g class="label" data-id="L_B_G_0" transform="translate(-77.796875, -12)"&gt;&lt;foreignObject width="155.59375" height="24"&gt;&lt;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;"&gt;&lt;span class="edgeLabel"&gt;&lt;p&gt;claim fails verification&lt;/p&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="nodes"&gt;&lt;g class="node default" id="d6bf3003e913f18d9light-flowchart-A-0" data-look="classic" transform="translate(268.00390625, 71)"&gt;&lt;rect class="basic label-container" style="" x="-130" y="-63" width="260" height="126"&gt;&lt;/rect&gt;&lt;g class="label" style="" transform="translate(-100, -48)"&gt;&lt;rect&gt;&lt;/rect&gt;&lt;foreignObject width="200" height="96"&gt;&lt;div xmlns="http://www.w3.org/1999/xhtml" style="display: table; white-space: break-spaces; line-height: 1.5; max-width: 200px; text-align: center; width: 200px;"&gt;&lt;span class="nodeLabel"&gt;&lt;p&gt;breadth research on the desktop side&lt;br&gt;(changelogs, issues, ecosystem)&lt;/p&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="node default" id="d6bf3003e913f18d9light-flowchart-B-1" data-look="classic" transform="translate(268.00390625, 235)"&gt;&lt;rect class="basic label-container" style="" x="-130" y="-51" width="260" height="102"&gt;&lt;/rect&gt;&lt;g class="label" style="" transform="translate(-100, -36)"&gt;&lt;rect&gt;&lt;/rect&gt;&lt;foreignObject width="200" height="72"&gt;&lt;div xmlns="http://www.w3.org/1999/xhtml" style="display: table; white-space: break-spaces; line-height: 1.5; max-width: 200px; text-align: center; width: 200px;"&gt;&lt;span class="nodeLabel"&gt;&lt;p&gt;local verification, claim by claim,&lt;br&gt;on the machine itself&lt;/p&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="node default" id="d6bf3003e913f18d9light-flowchart-C-3" data-look="classic" transform="translate(138, 423)"&gt;&lt;rect class="basic label-container" style="" x="-130" y="-63" width="260" height="126"&gt;&lt;/rect&gt;&lt;g class="label" style="" transform="translate(-100, -48)"&gt;&lt;rect&gt;&lt;/rect&gt;&lt;foreignObject width="200" height="96"&gt;&lt;div xmlns="http://www.w3.org/1999/xhtml" style="display: table; white-space: break-spaces; line-height: 1.5; max-width: 200px; text-align: center; width: 200px;"&gt;&lt;span class="nodeLabel"&gt;&lt;p&gt;decisions converge through structured&lt;br&gt;questions: options, tradeoffs, defaults&lt;/p&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="node default" id="d6bf3003e913f18d9light-flowchart-D-5" data-look="classic" transform="translate(138, 563)"&gt;&lt;rect class="basic label-container" style="" x="-68.1171875" y="-27" width="136.234375" height="54"&gt;&lt;/rect&gt;&lt;g class="label" style="" transform="translate(-38.1171875, -12)"&gt;&lt;rect&gt;&lt;/rect&gt;&lt;foreignObject width="76.234375" height="24"&gt;&lt;div xmlns="http://www.w3.org/1999/xhtml" style="display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;"&gt;&lt;span class="nodeLabel"&gt;&lt;p&gt;implement&lt;/p&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="node default" id="d6bf3003e913f18d9light-flowchart-E-7" data-look="classic" transform="translate(138, 679)"&gt;&lt;rect class="basic label-container" style="" x="-104.0390625" y="-39" width="208.078125" height="78"&gt;&lt;/rect&gt;&lt;g class="label" style="" transform="translate(-74.0390625, -24)"&gt;&lt;rect&gt;&lt;/rect&gt;&lt;foreignObject width="148.078125" height="48"&gt;&lt;div xmlns="http://www.w3.org/1999/xhtml" style="display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;"&gt;&lt;span class="nodeLabel"&gt;&lt;p&gt;tests are mandatory,&lt;br&gt;not optional&lt;/p&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="node default" id="d6bf3003e913f18d9light-flowchart-F-9" data-look="classic" transform="translate(138, 795)"&gt;&lt;rect class="basic label-container" style="" x="-128.7734375" y="-27" width="257.546875" height="54"&gt;&lt;/rect&gt;&lt;g class="label" style="" transform="translate(-98.7734375, -12)"&gt;&lt;rect&gt;&lt;/rect&gt;&lt;foreignObject width="197.546875" height="24"&gt;&lt;div xmlns="http://www.w3.org/1999/xhtml" style="display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;"&gt;&lt;span class="nodeLabel"&gt;&lt;p&gt;PR, with CI as the final gate&lt;/p&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="node default" id="d6bf3003e913f18d9light-flowchart-G-11" data-look="classic" transform="translate(398.0078125, 423)"&gt;&lt;rect class="basic label-container" style="" x="-80.0078125" y="-39" width="160.015625" height="78"&gt;&lt;/rect&gt;&lt;g class="label" style="" transform="translate(-50.0078125, -24)"&gt;&lt;rect&gt;&lt;/rect&gt;&lt;foreignObject width="100.015625" height="48"&gt;&lt;div xmlns="http://www.w3.org/1999/xhtml" style="display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;"&gt;&lt;span class="nodeLabel"&gt;&lt;p&gt;discard it,&lt;br&gt;with evidence&lt;/p&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;/g&gt;&lt;/g&gt;&lt;/g&gt;&lt;defs&gt;&lt;filter id="d6bf3003e913f18d9light-drop-shadow" height="130%" width="130%"&gt;&lt;feDropShadow dx="4" dy="4" stdDeviation="0" flood-opacity="0.06" flood-color="#000000"&gt;&lt;/feDropShadow&gt;&lt;/filter&gt;&lt;/defs&gt;&lt;defs&gt;&lt;filter id="d6bf3003e913f18d9light-drop-shadow-small" height="150%" width="150%"&gt;&lt;feDropShadow dx="2" dy="2" stdDeviation="0" flood-opacity="0.06" flood-color="#000000"&gt;&lt;/feDropShadow&gt;&lt;/filter&gt;&lt;/defs&gt;&lt;linearGradient id="d6bf3003e913f18d9light-gradient" gradientUnits="objectBoundingBox" x1="0%" y1="0%" x2="100%" y2="0%"&gt;&lt;stop offset="0%" stop-color="rgb(204, 216, 222)" stop-opacity="1"&gt;&lt;/stop&gt;&lt;stop offset="100%" stop-color="rgb(28, 209, 255)" stop-opacity="1"&gt;&lt;/stop&gt;&lt;/linearGradient&gt;&lt;/svg&gt;&lt;/div&gt;
 &lt;div class="not-prose diagram diagram-dark"&gt;&lt;svg id="d6bf3003e913f18d9dark" width="100%" xmlns="http://www.w3.org/2000/svg" class="flowchart" style="max-width: 486.015625px;" viewBox="0 0 486.015625 830" role="graphics-document document" aria-roledescription="flowchart-v2"&gt;&lt;style&gt;#d6bf3003e913f18d9dark{font-family:ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,segoe ui,Roboto,helvetica neue,Arial,noto sans,sans-serif;font-size:16px;fill:#ccc;}@keyframes edge-animation-frame{from{stroke-dashoffset:0;}}@keyframes dash{to{stroke-dashoffset:0;}}#d6bf3003e913f18d9dark .edge-animation-slow{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 50s linear infinite;stroke-linecap:round;}#d6bf3003e913f18d9dark .edge-animation-fast{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 20s linear infinite;stroke-linecap:round;}#d6bf3003e913f18d9dark .error-icon{fill:#a44141;}#d6bf3003e913f18d9dark .error-text{fill:#ddd;stroke:#ddd;}#d6bf3003e913f18d9dark .edge-thickness-normal{stroke-width:1px;}#d6bf3003e913f18d9dark .edge-thickness-thick{stroke-width:3.5px;}#d6bf3003e913f18d9dark .edge-pattern-solid{stroke-dasharray:0;}#d6bf3003e913f18d9dark .edge-thickness-invisible{stroke-width:0;fill:none;}#d6bf3003e913f18d9dark .edge-pattern-dashed{stroke-dasharray:3;}#d6bf3003e913f18d9dark .edge-pattern-dotted{stroke-dasharray:2;}#d6bf3003e913f18d9dark .marker{fill:lightgrey;stroke:lightgrey;}#d6bf3003e913f18d9dark .marker.cross{stroke:lightgrey;}#d6bf3003e913f18d9dark svg{font-family:ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,segoe ui,Roboto,helvetica neue,Arial,noto sans,sans-serif;font-size:16px;}#d6bf3003e913f18d9dark p{margin:0;}#d6bf3003e913f18d9dark .label{font-family:ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,segoe ui,Roboto,helvetica neue,Arial,noto sans,sans-serif;color:#ccc;}#d6bf3003e913f18d9dark .cluster-label text{fill:#F9FFFE;}#d6bf3003e913f18d9dark .cluster-label span{color:#F9FFFE;}#d6bf3003e913f18d9dark .cluster-label span p{background-color:transparent;}#d6bf3003e913f18d9dark .label text,#d6bf3003e913f18d9dark span{fill:#ccc;color:#ccc;}#d6bf3003e913f18d9dark .node rect,#d6bf3003e913f18d9dark .node circle,#d6bf3003e913f18d9dark .node ellipse,#d6bf3003e913f18d9dark .node polygon,#d6bf3003e913f18d9dark .node path{fill:#1f2020;stroke:#ccc;stroke-width:1px;}#d6bf3003e913f18d9dark .rough-node .label text,#d6bf3003e913f18d9dark .node .label text,#d6bf3003e913f18d9dark .image-shape .label,#d6bf3003e913f18d9dark .icon-shape .label{text-anchor:middle;}#d6bf3003e913f18d9dark .node .katex path{fill:#000;stroke:#000;stroke-width:1px;}#d6bf3003e913f18d9dark .rough-node .label,#d6bf3003e913f18d9dark .node .label,#d6bf3003e913f18d9dark .image-shape .label,#d6bf3003e913f18d9dark .icon-shape .label{text-align:center;}#d6bf3003e913f18d9dark .node.clickable{cursor:pointer;}#d6bf3003e913f18d9dark .root .anchor path{fill:lightgrey!important;stroke-width:0;stroke:lightgrey;}#d6bf3003e913f18d9dark .arrowheadPath{fill:lightgrey;}#d6bf3003e913f18d9dark .edgePath .path{stroke:lightgrey;stroke-width:1px;}#d6bf3003e913f18d9dark .flowchart-link{stroke:lightgrey;fill:none;}#d6bf3003e913f18d9dark .edgeLabel{background-color:hsl(0, 0%, 34.4117647059%);text-align:center;}#d6bf3003e913f18d9dark .edgeLabel p{background-color:hsl(0, 0%, 34.4117647059%);}#d6bf3003e913f18d9dark .edgeLabel rect{opacity:0.5;background-color:hsl(0, 0%, 34.4117647059%);fill:hsl(0, 0%, 34.4117647059%);}#d6bf3003e913f18d9dark .labelBkg{background-color:rgba(87.75, 87.75, 87.75, 0.5);}#d6bf3003e913f18d9dark .cluster rect{fill:hsl(180, 1.5873015873%, 28.3529411765%);stroke:rgba(255, 255, 255, 0.25);stroke-width:1px;}#d6bf3003e913f18d9dark .cluster text{fill:#F9FFFE;}#d6bf3003e913f18d9dark .cluster span{color:#F9FFFE;}#d6bf3003e913f18d9dark div.mermaidTooltip{position:absolute;text-align:center;max-width:200px;padding:2px;font-family:ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,segoe ui,Roboto,helvetica neue,Arial,noto sans,sans-serif;font-size:12px;background:hsl(20, 1.5873015873%, 12.3529411765%);border:1px solid rgba(255, 255, 255, 0.25);border-radius:2px;pointer-events:none;z-index:100;}#d6bf3003e913f18d9dark .flowchartTitleText{text-anchor:middle;font-size:18px;fill:#ccc;}#d6bf3003e913f18d9dark rect.text{fill:none;stroke-width:0;}#d6bf3003e913f18d9dark .icon-shape,#d6bf3003e913f18d9dark .image-shape{background-color:hsl(0, 0%, 34.4117647059%);text-align:center;}#d6bf3003e913f18d9dark .icon-shape p,#d6bf3003e913f18d9dark .image-shape p{background-color:hsl(0, 0%, 34.4117647059%);padding:2px;}#d6bf3003e913f18d9dark .icon-shape .label rect,#d6bf3003e913f18d9dark .image-shape .label rect{opacity:0.5;background-color:hsl(0, 0%, 34.4117647059%);fill:hsl(0, 0%, 34.4117647059%);}#d6bf3003e913f18d9dark .label-icon{display:inline-block;height:1em;overflow:visible;vertical-align:-0.125em;}#d6bf3003e913f18d9dark .node .label-icon path{fill:currentColor;stroke:revert;stroke-width:revert;}#d6bf3003e913f18d9dark .node .neo-node{stroke:#ccc;}#d6bf3003e913f18d9dark [data-look="neo"].node rect,#d6bf3003e913f18d9dark [data-look="neo"].cluster rect,#d6bf3003e913f18d9dark [data-look="neo"].node polygon{stroke:url(#d6bf3003e913f18d9dark-gradient);filter:drop-shadow( 1px 2px 2px rgba(185,185,185,1));}#d6bf3003e913f18d9dark [data-look="neo"].swimlane.cluster rect{filter:none;}#d6bf3003e913f18d9dark [data-look="neo"].node path{stroke:url(#d6bf3003e913f18d9dark-gradient);stroke-width:1px;}#d6bf3003e913f18d9dark [data-look="neo"].node .outer-path{filter:drop-shadow( 1px 2px 2px rgba(185,185,185,1));}#d6bf3003e913f18d9dark [data-look="neo"].node .neo-line path{stroke:#ccc;filter:none;}#d6bf3003e913f18d9dark [data-look="neo"].node circle{stroke:url(#d6bf3003e913f18d9dark-gradient);filter:drop-shadow( 1px 2px 2px rgba(185,185,185,1));}#d6bf3003e913f18d9dark [data-look="neo"].node circle .state-start{fill:#000000;}#d6bf3003e913f18d9dark [data-look="neo"].icon-shape .icon{fill:url(#d6bf3003e913f18d9dark-gradient);filter:drop-shadow( 1px 2px 2px rgba(185,185,185,1));}#d6bf3003e913f18d9dark [data-look="neo"].icon-shape .icon-neo path{stroke:url(#d6bf3003e913f18d9dark-gradient);filter:drop-shadow( 1px 2px 2px rgba(185,185,185,1));}#d6bf3003e913f18d9dark :root{--mermaid-font-family:"trebuchet ms",verdana,arial,sans-serif;}&lt;/style&gt;&lt;g&gt;&lt;marker id="d6bf3003e913f18d9dark_flowchart-v2-pointEnd" class="marker flowchart-v2" viewBox="0 0 10 10" refX="5" refY="5" markerUnits="userSpaceOnUse" markerWidth="8" markerHeight="8" orient="auto"&gt;&lt;path d="M 0 0 L 10 5 L 0 10 z" class="arrowMarkerPath" style="stroke-width: 1; stroke-dasharray: 1, 0;"&gt;&lt;/path&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9dark_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"&gt;&lt;path d="M 0 5 L 10 10 L 10 0 z" class="arrowMarkerPath" style="stroke-width: 1; stroke-dasharray: 1, 0;"&gt;&lt;/path&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9dark_flowchart-v2-pointEnd-margin" class="marker flowchart-v2" viewBox="0 0 11.5 14" refX="11.5" refY="7" markerUnits="userSpaceOnUse" markerWidth="10.5" markerHeight="14" orient="auto"&gt;&lt;path d="M 0 0 L 11.5 7 L 0 14 z" class="arrowMarkerPath" style="stroke-width: 0; stroke-dasharray: 1, 0;"&gt;&lt;/path&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9dark_flowchart-v2-pointStart-margin" class="marker flowchart-v2" viewBox="0 0 11.5 14" refX="1" refY="7" markerUnits="userSpaceOnUse" markerWidth="11.5" markerHeight="14" orient="auto"&gt;&lt;polygon points="0,7 11.5,14 11.5,0" class="arrowMarkerPath" style="stroke-width: 0; stroke-dasharray: 1, 0;"&gt;&lt;/polygon&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9dark_flowchart-v2-circleEnd" class="marker flowchart-v2" viewBox="0 0 10 10" refX="11" refY="5" markerUnits="userSpaceOnUse" markerWidth="11" markerHeight="11" orient="auto"&gt;&lt;circle cx="5" cy="5" r="5" class="arrowMarkerPath" style="stroke-width: 1; stroke-dasharray: 1, 0;"&gt;&lt;/circle&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9dark_flowchart-v2-circleStart" class="marker flowchart-v2" viewBox="0 0 10 10" refX="-1" refY="5" markerUnits="userSpaceOnUse" markerWidth="11" markerHeight="11" orient="auto"&gt;&lt;circle cx="5" cy="5" r="5" class="arrowMarkerPath" style="stroke-width: 1; stroke-dasharray: 1, 0;"&gt;&lt;/circle&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9dark_flowchart-v2-circleEnd-margin" class="marker flowchart-v2" viewBox="0 0 10 10" refY="5" refX="12.25" markerUnits="userSpaceOnUse" markerWidth="14" markerHeight="14" orient="auto"&gt;&lt;circle cx="5" cy="5" r="5" class="arrowMarkerPath" style="stroke-width: 0; stroke-dasharray: 1, 0;"&gt;&lt;/circle&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9dark_flowchart-v2-circleStart-margin" class="marker flowchart-v2" viewBox="0 0 10 10" refX="-2" refY="5" markerUnits="userSpaceOnUse" markerWidth="14" markerHeight="14" orient="auto"&gt;&lt;circle cx="5" cy="5" r="5" class="arrowMarkerPath" style="stroke-width: 0; stroke-dasharray: 1, 0;"&gt;&lt;/circle&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9dark_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"&gt;&lt;path d="M 1,1 l 9,9 M 10,1 l -9,9" class="arrowMarkerPath" style="stroke-width: 2; stroke-dasharray: 1, 0;"&gt;&lt;/path&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9dark_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"&gt;&lt;path d="M 1,1 l 9,9 M 10,1 l -9,9" class="arrowMarkerPath" style="stroke-width: 2; stroke-dasharray: 1, 0;"&gt;&lt;/path&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9dark_flowchart-v2-crossEnd-margin" class="marker cross flowchart-v2" viewBox="0 0 15 15" refX="17.7" refY="7.5" markerUnits="userSpaceOnUse" markerWidth="12" markerHeight="12" orient="auto"&gt;&lt;path d="M 1,1 L 14,14 M 1,14 L 14,1" class="arrowMarkerPath" style="stroke-width: 2.5;"&gt;&lt;/path&gt;&lt;/marker&gt;&lt;marker id="d6bf3003e913f18d9dark_flowchart-v2-crossStart-margin" class="marker cross flowchart-v2" viewBox="0 0 15 15" refX="-3.5" refY="7.5" markerUnits="userSpaceOnUse" markerWidth="12" markerHeight="12" orient="auto"&gt;&lt;path d="M 1,1 L 14,14 M 1,14 L 14,1" class="arrowMarkerPath" style="stroke-width: 2.5; stroke-dasharray: 1, 0;"&gt;&lt;/path&gt;&lt;/marker&gt;&lt;g class="root"&gt;&lt;g class="clusters"&gt;&lt;/g&gt;&lt;g class="edgePaths"&gt;&lt;path d="M268.004,134L268.004,138.167C268.004,142.333,268.004,150.667,268.004,158.333C268.004,166,268.004,173,268.004,176.5L268.004,180" id="d6bf3003e913f18d9dark-L_A_B_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_B_0" data-points="W3sieCI6MjY4LjAwMzkwNjI1LCJ5IjoxMzR9LHsieCI6MjY4LjAwMzkwNjI1LCJ5IjoxNTl9LHsieCI6MjY4LjAwMzkwNjI1LCJ5IjoxODR9XQ==" data-look="classic" marker-end="url(#d6bf3003e913f18d9dark_flowchart-v2-pointEnd)"&gt;&lt;/path&gt;&lt;path d="M192.661,286L183.551,292.167C174.44,298.333,156.22,310.667,147.11,322.333C138,334,138,345,138,350.5L138,356" id="d6bf3003e913f18d9dark-L_B_C_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_B_C_0" data-points="W3sieCI6MTkyLjY2MDczMzMwOTY1OTEsInkiOjI4Nn0seyJ4IjoxMzgsInkiOjMyM30seyJ4IjoxMzgsInkiOjM2MH1d" data-look="classic" marker-end="url(#d6bf3003e913f18d9dark_flowchart-v2-pointEnd)"&gt;&lt;/path&gt;&lt;path d="M138,486L138,490.167C138,494.333,138,502.667,138,510.333C138,518,138,525,138,528.5L138,532" id="d6bf3003e913f18d9dark-L_C_D_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_C_D_0" data-points="W3sieCI6MTM4LCJ5Ijo0ODZ9LHsieCI6MTM4LCJ5Ijo1MTF9LHsieCI6MTM4LCJ5Ijo1MzZ9XQ==" data-look="classic" marker-end="url(#d6bf3003e913f18d9dark_flowchart-v2-pointEnd)"&gt;&lt;/path&gt;&lt;path d="M138,590L138,594.167C138,598.333,138,606.667,138,614.333C138,622,138,629,138,632.5L138,636" id="d6bf3003e913f18d9dark-L_D_E_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_D_E_0" data-points="W3sieCI6MTM4LCJ5Ijo1OTB9LHsieCI6MTM4LCJ5Ijo2MTV9LHsieCI6MTM4LCJ5Ijo2NDB9XQ==" data-look="classic" marker-end="url(#d6bf3003e913f18d9dark_flowchart-v2-pointEnd)"&gt;&lt;/path&gt;&lt;path d="M138,718L138,722.167C138,726.333,138,734.667,138,742.333C138,750,138,757,138,760.5L138,764" id="d6bf3003e913f18d9dark-L_E_F_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_E_F_0" data-points="W3sieCI6MTM4LCJ5Ijo3MTh9LHsieCI6MTM4LCJ5Ijo3NDN9LHsieCI6MTM4LCJ5Ijo3Njh9XQ==" data-look="classic" marker-end="url(#d6bf3003e913f18d9dark_flowchart-v2-pointEnd)"&gt;&lt;/path&gt;&lt;path d="M343.347,286L352.457,292.167C361.567,298.333,379.788,310.667,388.898,326.333C398.008,342,398.008,361,398.008,370.5L398.008,380" id="d6bf3003e913f18d9dark-L_B_G_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_B_G_0" data-points="W3sieCI6MzQzLjM0NzA3OTE5MDM0MDksInkiOjI4Nn0seyJ4IjozOTguMDA3ODEyNSwieSI6MzIzfSx7IngiOjM5OC4wMDc4MTI1LCJ5IjozODR9XQ==" data-look="classic" marker-end="url(#d6bf3003e913f18d9dark_flowchart-v2-pointEnd)"&gt;&lt;/path&gt;&lt;/g&gt;&lt;g class="edgeLabels"&gt;&lt;g class="edgeLabel"&gt;&lt;g class="label" data-id="L_A_B_0" transform="translate(0, 0)"&gt;&lt;foreignObject width="0" height="0"&gt;&lt;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;"&gt;&lt;span class="edgeLabel"&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="edgeLabel"&gt;&lt;g class="label" data-id="L_B_C_0" transform="translate(0, 0)"&gt;&lt;foreignObject width="0" height="0"&gt;&lt;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;"&gt;&lt;span class="edgeLabel"&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="edgeLabel"&gt;&lt;g class="label" data-id="L_C_D_0" transform="translate(0, 0)"&gt;&lt;foreignObject width="0" height="0"&gt;&lt;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;"&gt;&lt;span class="edgeLabel"&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="edgeLabel"&gt;&lt;g class="label" data-id="L_D_E_0" transform="translate(0, 0)"&gt;&lt;foreignObject width="0" height="0"&gt;&lt;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;"&gt;&lt;span class="edgeLabel"&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="edgeLabel"&gt;&lt;g class="label" data-id="L_E_F_0" transform="translate(0, 0)"&gt;&lt;foreignObject width="0" height="0"&gt;&lt;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;"&gt;&lt;span class="edgeLabel"&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="edgeLabel" transform="translate(398.0078125, 323)"&gt;&lt;g class="label" data-id="L_B_G_0" transform="translate(-77.796875, -12)"&gt;&lt;foreignObject width="155.59375" height="24"&gt;&lt;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;"&gt;&lt;span class="edgeLabel"&gt;&lt;p&gt;claim fails verification&lt;/p&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="nodes"&gt;&lt;g class="node default" id="d6bf3003e913f18d9dark-flowchart-A-0" data-look="classic" transform="translate(268.00390625, 71)"&gt;&lt;rect class="basic label-container" style="" x="-130" y="-63" width="260" height="126"&gt;&lt;/rect&gt;&lt;g class="label" style="" transform="translate(-100, -48)"&gt;&lt;rect&gt;&lt;/rect&gt;&lt;foreignObject width="200" height="96"&gt;&lt;div xmlns="http://www.w3.org/1999/xhtml" style="display: table; white-space: break-spaces; line-height: 1.5; max-width: 200px; text-align: center; width: 200px;"&gt;&lt;span class="nodeLabel"&gt;&lt;p&gt;breadth research on the desktop side&lt;br&gt;(changelogs, issues, ecosystem)&lt;/p&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="node default" id="d6bf3003e913f18d9dark-flowchart-B-1" data-look="classic" transform="translate(268.00390625, 235)"&gt;&lt;rect class="basic label-container" style="" x="-130" y="-51" width="260" height="102"&gt;&lt;/rect&gt;&lt;g class="label" style="" transform="translate(-100, -36)"&gt;&lt;rect&gt;&lt;/rect&gt;&lt;foreignObject width="200" height="72"&gt;&lt;div xmlns="http://www.w3.org/1999/xhtml" style="display: table; white-space: break-spaces; line-height: 1.5; max-width: 200px; text-align: center; width: 200px;"&gt;&lt;span class="nodeLabel"&gt;&lt;p&gt;local verification, claim by claim,&lt;br&gt;on the machine itself&lt;/p&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="node default" id="d6bf3003e913f18d9dark-flowchart-C-3" data-look="classic" transform="translate(138, 423)"&gt;&lt;rect class="basic label-container" style="" x="-130" y="-63" width="260" height="126"&gt;&lt;/rect&gt;&lt;g class="label" style="" transform="translate(-100, -48)"&gt;&lt;rect&gt;&lt;/rect&gt;&lt;foreignObject width="200" height="96"&gt;&lt;div xmlns="http://www.w3.org/1999/xhtml" style="display: table; white-space: break-spaces; line-height: 1.5; max-width: 200px; text-align: center; width: 200px;"&gt;&lt;span class="nodeLabel"&gt;&lt;p&gt;decisions converge through structured&lt;br&gt;questions: options, tradeoffs, defaults&lt;/p&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="node default" id="d6bf3003e913f18d9dark-flowchart-D-5" data-look="classic" transform="translate(138, 563)"&gt;&lt;rect class="basic label-container" style="" x="-68.1171875" y="-27" width="136.234375" height="54"&gt;&lt;/rect&gt;&lt;g class="label" style="" transform="translate(-38.1171875, -12)"&gt;&lt;rect&gt;&lt;/rect&gt;&lt;foreignObject width="76.234375" height="24"&gt;&lt;div xmlns="http://www.w3.org/1999/xhtml" style="display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;"&gt;&lt;span class="nodeLabel"&gt;&lt;p&gt;implement&lt;/p&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="node default" id="d6bf3003e913f18d9dark-flowchart-E-7" data-look="classic" transform="translate(138, 679)"&gt;&lt;rect class="basic label-container" style="" x="-104.0390625" y="-39" width="208.078125" height="78"&gt;&lt;/rect&gt;&lt;g class="label" style="" transform="translate(-74.0390625, -24)"&gt;&lt;rect&gt;&lt;/rect&gt;&lt;foreignObject width="148.078125" height="48"&gt;&lt;div xmlns="http://www.w3.org/1999/xhtml" style="display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;"&gt;&lt;span class="nodeLabel"&gt;&lt;p&gt;tests are mandatory,&lt;br&gt;not optional&lt;/p&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="node default" id="d6bf3003e913f18d9dark-flowchart-F-9" data-look="classic" transform="translate(138, 795)"&gt;&lt;rect class="basic label-container" style="" x="-128.7734375" y="-27" width="257.546875" height="54"&gt;&lt;/rect&gt;&lt;g class="label" style="" transform="translate(-98.7734375, -12)"&gt;&lt;rect&gt;&lt;/rect&gt;&lt;foreignObject width="197.546875" height="24"&gt;&lt;div xmlns="http://www.w3.org/1999/xhtml" style="display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;"&gt;&lt;span class="nodeLabel"&gt;&lt;p&gt;PR, with CI as the final gate&lt;/p&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;g class="node default" id="d6bf3003e913f18d9dark-flowchart-G-11" data-look="classic" transform="translate(398.0078125, 423)"&gt;&lt;rect class="basic label-container" style="" x="-80.0078125" y="-39" width="160.015625" height="78"&gt;&lt;/rect&gt;&lt;g class="label" style="" transform="translate(-50.0078125, -24)"&gt;&lt;rect&gt;&lt;/rect&gt;&lt;foreignObject width="100.015625" height="48"&gt;&lt;div xmlns="http://www.w3.org/1999/xhtml" style="display: table-cell; white-space: nowrap; line-height: 1.5; max-width: 200px; text-align: center;"&gt;&lt;span class="nodeLabel"&gt;&lt;p&gt;discard it,&lt;br&gt;with evidence&lt;/p&gt;&lt;/span&gt;&lt;/div&gt;&lt;/foreignObject&gt;&lt;/g&gt;&lt;/g&gt;&lt;/g&gt;&lt;/g&gt;&lt;/g&gt;&lt;defs&gt;&lt;filter id="d6bf3003e913f18d9dark-drop-shadow" height="130%" width="130%"&gt;&lt;feDropShadow dx="4" dy="4" stdDeviation="0" flood-opacity="0.06" flood-color="#FFFFFF"&gt;&lt;/feDropShadow&gt;&lt;/filter&gt;&lt;/defs&gt;&lt;defs&gt;&lt;filter id="d6bf3003e913f18d9dark-drop-shadow-small" height="150%" width="150%"&gt;&lt;feDropShadow dx="2" dy="2" stdDeviation="0" flood-opacity="0.06" flood-color="#FFFFFF"&gt;&lt;/feDropShadow&gt;&lt;/filter&gt;&lt;/defs&gt;&lt;linearGradient id="d6bf3003e913f18d9dark-gradient" gradientUnits="objectBoundingBox" x1="0%" y1="0%" x2="100%" y2="0%"&gt;&lt;stop offset="0%" stop-color="#cccccc" stop-opacity="1"&gt;&lt;/stop&gt;&lt;stop offset="100%" stop-color="hsl(180, 0%, 18.3529411765%)" stop-opacity="1"&gt;&lt;/stop&gt;&lt;/linearGradient&gt;&lt;/svg&gt;&lt;/div&gt;
&lt;p&gt;The two arrows that matter are the verification one and the discard one. Here is what flowed through them in one month.&lt;/p&gt;

&lt;h2 class="relative group"&gt;Verification beats plausibility
 &lt;div id="verification-beats-plausibility" class="anchor"&gt;&lt;/div&gt;
 
 &lt;span
 class="absolute top-0 w-6 transition-opacity opacity-0 -start-6 not-prose group-hover:opacity-100 select-none"&gt;
 &lt;a class="text-primary-300 dark:text-neutral-700 !no-underline" href="#verification-beats-plausibility" aria-label="Anchor"&gt;#&lt;/a&gt;
 &lt;/span&gt;
 
&lt;/h2&gt;
&lt;p&gt;Four review claims from the month, all of which sounded reasonable, all of which died on contact with the machine:&lt;/p&gt;
&lt;table&gt;
	&lt;thead&gt;
			&lt;tr&gt;
					&lt;th&gt;The claim&lt;/th&gt;
					&lt;th&gt;The two-minute disproof&lt;/th&gt;
			&lt;/tr&gt;
	&lt;/thead&gt;
	&lt;tbody&gt;
			&lt;tr&gt;
					&lt;td&gt;&amp;ldquo;&lt;code&gt;yazi --version&lt;/code&gt; does not parse the config, so it is useless as a canary&amp;rdquo;&lt;/td&gt;
					&lt;td&gt;replayed a broken config through &lt;code&gt;YAZI_CONFIG_HOME&lt;/code&gt;: broken exits 1, clean exits 0&lt;/td&gt;
			&lt;/tr&gt;
			&lt;tr&gt;
					&lt;td&gt;&amp;ldquo;the tmux throwaway-server check will pollute resurrect&amp;rsquo;s saved sessions&amp;rdquo;&lt;/td&gt;
					&lt;td&gt;ran it three times; the save directory did not change at all&lt;/td&gt;
			&lt;/tr&gt;
			&lt;tr&gt;
					&lt;td&gt;&amp;ldquo;&lt;code&gt;tmux.conf&lt;/code&gt; is missing &lt;code&gt;bind C-a send-prefix&lt;/code&gt;&amp;rdquo;&lt;/td&gt;
					&lt;td&gt;it is on line 43&lt;/td&gt;
			&lt;/tr&gt;
			&lt;tr&gt;
					&lt;td&gt;&amp;ldquo;you should add this rg option&amp;rdquo;&lt;/td&gt;
					&lt;td&gt;the option was already in the config; the reviewer had not read the file&lt;/td&gt;
			&lt;/tr&gt;
	&lt;/tbody&gt;
&lt;/table&gt;
&lt;div class="highlight-wrapper"&gt;&lt;div class="highlight"&gt;&lt;pre tabindex="0" class="chroma"&gt;&lt;code class="language-bash" data-lang="bash"&gt;&lt;span class="line"&gt;&lt;span class="cl"&gt;&lt;span class="c1"&gt;# claim: yazi --version does not parse the config&lt;/span&gt;
&lt;/span&gt;&lt;/span&gt;&lt;span class="line"&gt;&lt;span class="cl"&gt;&lt;span class="c1"&gt;# method: replay a broken config in isolation, watch the exit code&lt;/span&gt;
&lt;/span&gt;&lt;/span&gt;&lt;span class="line"&gt;&lt;span class="cl"&gt;&lt;span class="nv"&gt;YAZI_CONFIG_HOME&lt;/span&gt;&lt;span class="o"&gt;=&lt;/span&gt;&lt;span class="s2"&gt;&amp;#34;&lt;/span&gt;&lt;span class="nv"&gt;$broken&lt;/span&gt;&lt;span class="s2"&gt;&amp;#34;&lt;/span&gt; yazi --version&lt;span class="p"&gt;;&lt;/span&gt; &lt;span class="nb"&gt;echo&lt;/span&gt; &lt;span class="s2"&gt;&amp;#34;&lt;/span&gt;&lt;span class="nv"&gt;$?&lt;/span&gt;&lt;span class="s2"&gt;&amp;#34;&lt;/span&gt; &lt;span class="c1"&gt;# 1&lt;/span&gt;
&lt;/span&gt;&lt;/span&gt;&lt;span class="line"&gt;&lt;span class="cl"&gt;&lt;span class="nv"&gt;YAZI_CONFIG_HOME&lt;/span&gt;&lt;span class="o"&gt;=&lt;/span&gt;&lt;span class="s2"&gt;&amp;#34;&lt;/span&gt;&lt;span class="nv"&gt;$clean&lt;/span&gt;&lt;span class="s2"&gt;&amp;#34;&lt;/span&gt; yazi --version&lt;span class="p"&gt;;&lt;/span&gt; &lt;span class="nb"&gt;echo&lt;/span&gt; &lt;span class="s2"&gt;&amp;#34;&lt;/span&gt;&lt;span class="nv"&gt;$?&lt;/span&gt;&lt;span class="s2"&gt;&amp;#34;&lt;/span&gt; &lt;span class="c1"&gt;# 0&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/code&gt;&lt;/pre&gt;&lt;/div&gt;&lt;/div&gt;
&lt;div class="highlight-wrapper"&gt;&lt;div class="highlight"&gt;&lt;pre tabindex="0" class="chroma"&gt;&lt;code class="language-bash" data-lang="bash"&gt;&lt;span class="line"&gt;&lt;span class="cl"&gt;&lt;span class="c1"&gt;# claim: tmux.conf is missing send-prefix&lt;/span&gt;
&lt;/span&gt;&lt;/span&gt;&lt;span class="line"&gt;&lt;span class="cl"&gt;grep -n &lt;span class="s1"&gt;&amp;#39;send-prefix&amp;#39;&lt;/span&gt; ~/.tmux.conf &lt;span class="c1"&gt;# 43:bind C-a send-prefix&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/code&gt;&lt;/pre&gt;&lt;/div&gt;&lt;/div&gt;
&lt;p&gt;A plausible answer and a correct answer look identical on the page. The only visible difference is whether you ran the check, and the check consistently costs about two minutes. That ratio, two minutes against a wrong config shipped, is the entire economics of the verification habit.&lt;/p&gt;

&lt;h2 class="relative group"&gt;But the research side finds real gold
 &lt;div id="but-the-research-side-finds-real-gold" class="anchor"&gt;&lt;/div&gt;
 
 &lt;span
 class="absolute top-0 w-6 transition-opacity opacity-0 -start-6 not-prose group-hover:opacity-100 select-none"&gt;
 &lt;a class="text-primary-300 dark:text-neutral-700 !no-underline" href="#but-the-research-side-finds-real-gold" aria-label="Anchor"&gt;#&lt;/a&gt;
 &lt;/span&gt;
 
&lt;/h2&gt;
&lt;p&gt;If the previous section makes the AI sound like a liability, here is the other direction, because both halves of the loop earn their keep.&lt;/p&gt;
&lt;p&gt;The research pass discovered that my entire ripgrep config had been dead the whole time: &lt;code&gt;RIPGREP_CONFIG_PATH&lt;/code&gt; was never exported. A config file, carefully maintained, read by nothing.&lt;/p&gt;
&lt;div class="highlight-wrapper"&gt;&lt;div class="highlight"&gt;&lt;pre tabindex="0" class="chroma"&gt;&lt;code class="language-bash" data-lang="bash"&gt;&lt;span class="line"&gt;&lt;span class="cl"&gt;&lt;span class="nb"&gt;export&lt;/span&gt; &lt;span class="nv"&gt;RIPGREP_CONFIG_PATH&lt;/span&gt;&lt;span class="o"&gt;=&lt;/span&gt;&lt;span class="s2"&gt;&amp;#34;&lt;/span&gt;&lt;span class="nv"&gt;$HOME&lt;/span&gt;&lt;span class="s2"&gt;/.config/ripgrep/config&amp;#34;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/code&gt;&lt;/pre&gt;&lt;/div&gt;&lt;/div&gt;
&lt;p&gt;The more important discovery was that enabling it blindly would have caused an incident. The dormant config contained output flags like &lt;code&gt;--pretty&lt;/code&gt; and &lt;code&gt;--context&lt;/code&gt;. The moment the config went live, every scripted and piped &lt;code&gt;rg&lt;/code&gt; call on the machine would inherit pretty-printing and context lines. So activation had to start with a cleanup, and the principle went into the file as a comment:&lt;/p&gt;
&lt;div class="highlight-wrapper"&gt;&lt;div class="highlight"&gt;&lt;pre tabindex="0" class="chroma"&gt;&lt;code class="language-text" data-lang="text"&gt;&lt;span class="line"&gt;&lt;span class="cl"&gt;# Output Format
&lt;/span&gt;&lt;/span&gt;&lt;span class="line"&gt;&lt;span class="cl"&gt;# =============
&lt;/span&gt;&lt;/span&gt;&lt;span class="line"&gt;&lt;span class="cl"&gt;# Deliberately EMPTY: this config shapes what gets searched, never how
&lt;/span&gt;&lt;/span&gt;&lt;span class="line"&gt;&lt;span class="cl"&gt;# results print. Output flags (--pretty/--column/--context) would leak
&lt;/span&gt;&lt;/span&gt;&lt;span class="line"&gt;&lt;span class="cl"&gt;# into piped and scripted rg calls the moment the config is active.&lt;/span&gt;&lt;/span&gt;&lt;/code&gt;&lt;/pre&gt;&lt;/div&gt;&lt;/div&gt;
&lt;p&gt;The same research flow also uncovered that herdr splits its config reading between client and server under &lt;code&gt;--remote&lt;/code&gt;, something a month of local usage had not surfaced. That one gets its own post next in this series.&lt;/p&gt;

&lt;h2 class="relative group"&gt;The dormant-tool pattern, three times in one month
 &lt;div id="the-dormant-tool-pattern-three-times-in-one-month" class="anchor"&gt;&lt;/div&gt;
 
 &lt;span
 class="absolute top-0 w-6 transition-opacity opacity-0 -start-6 not-prose group-hover:opacity-100 select-none"&gt;
 &lt;a class="text-primary-300 dark:text-neutral-700 !no-underline" href="#the-dormant-tool-pattern-three-times-in-one-month" aria-label="Anchor"&gt;#&lt;/a&gt;
 &lt;/span&gt;
 
&lt;/h2&gt;
&lt;p&gt;The dead ripgrep config was not a one-off. The same shape appeared three times:&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;A mergiraf merge driver, fully defined in git config, whose activating &lt;code&gt;gitattributes&lt;/code&gt; line was never written. Dormant for a year.&lt;/li&gt;
&lt;li&gt;television installed, with zero wiring into the shell.&lt;/li&gt;
&lt;li&gt;The ripgrep config above, never exported.&lt;/li&gt;
&lt;/ul&gt;
&lt;p&gt;Installed but not wired is the most expensive kind of tool: you paid the full selection cost and collected none of the return. All three now have pairing tests, on the principle that a definition and its activation must exist together or the check goes red:&lt;/p&gt;
&lt;div class="highlight-wrapper"&gt;&lt;div class="highlight"&gt;&lt;pre tabindex="0" class="chroma"&gt;&lt;code class="language-bash" data-lang="bash"&gt;&lt;span class="line"&gt;&lt;span class="cl"&gt;&lt;span class="c1"&gt;# mergiraf must be wired end-to-end: the attributes line without the&lt;/span&gt;
&lt;/span&gt;&lt;/span&gt;&lt;span class="line"&gt;&lt;span class="cl"&gt;&lt;span class="c1"&gt;# driver (or vice versa) is a dormant config.&lt;/span&gt;
&lt;/span&gt;&lt;/span&gt;&lt;span class="line"&gt;&lt;span class="cl"&gt;run_test &lt;span class="s2"&gt;&amp;#34;mergiraf attributes/driver pairing&amp;#34;&lt;/span&gt; &lt;span class="se"&gt;\
&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span class="line"&gt;&lt;span class="cl"&gt; &lt;span class="s2"&gt;&amp;#34;grep -q &amp;#39;merge=mergiraf&amp;#39; &lt;/span&gt;&lt;span class="nv"&gt;$HOME&lt;/span&gt;&lt;span class="s2"&gt;/.config/git/attributes &amp;amp;&amp;amp; \
&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span class="line"&gt;&lt;span class="cl"&gt;&lt;span class="s2"&gt; grep -q &amp;#39;merge \&amp;#34;mergiraf\&amp;#34;&amp;#39; &lt;/span&gt;&lt;span class="nv"&gt;$HOME&lt;/span&gt;&lt;span class="s2"&gt;/.config/git/config&amp;#34;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/code&gt;&lt;/pre&gt;&lt;/div&gt;&lt;/div&gt;
&lt;p&gt;television additionally got a role declaration, so it does not blur into fzf&amp;rsquo;s territory:&lt;/p&gt;
&lt;div class="highlight-wrapper"&gt;&lt;div class="highlight"&gt;&lt;pre tabindex="0" class="chroma"&gt;&lt;code class="language-bash" data-lang="bash"&gt;&lt;span class="line"&gt;&lt;span class="cl"&gt;&lt;span class="c1"&gt;# television&amp;#39;s explicit role: full-text CONTENT search entry point&lt;/span&gt;
&lt;/span&gt;&lt;/span&gt;&lt;span class="line"&gt;&lt;span class="cl"&gt;&lt;span class="c1"&gt;# (fzf owns filename/history flows — no overlap, one entry each)&lt;/span&gt;
&lt;/span&gt;&lt;/span&gt;&lt;span class="line"&gt;&lt;span class="cl"&gt;&lt;span class="k"&gt;if&lt;/span&gt; &lt;span class="nb"&gt;command&lt;/span&gt; -v tv &lt;span class="p"&gt;&amp;amp;&lt;/span&gt;&amp;gt; /dev/null&lt;span class="p"&gt;;&lt;/span&gt; &lt;span class="k"&gt;then&lt;/span&gt;
&lt;/span&gt;&lt;/span&gt;&lt;span class="line"&gt;&lt;span class="cl"&gt; &lt;span class="nb"&gt;alias&lt;/span&gt; &lt;span class="nv"&gt;tvt&lt;/span&gt;&lt;span class="o"&gt;=&lt;/span&gt;&lt;span class="s1"&gt;&amp;#39;tv text&amp;#39;&lt;/span&gt;
&lt;/span&gt;&lt;/span&gt;&lt;span class="line"&gt;&lt;span class="cl"&gt;&lt;span class="k"&gt;fi&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/code&gt;&lt;/pre&gt;&lt;/div&gt;&lt;/div&gt;

&lt;h2 class="relative group"&gt;Who does what: the delegation economics
 &lt;div id="who-does-what-the-delegation-economics" class="anchor"&gt;&lt;/div&gt;
 
 &lt;span
 class="absolute top-0 w-6 transition-opacity opacity-0 -start-6 not-prose group-hover:opacity-100 select-none"&gt;
 &lt;a class="text-primary-300 dark:text-neutral-700 !no-underline" href="#who-does-what-the-delegation-economics" aria-label="Anchor"&gt;#&lt;/a&gt;
 &lt;/span&gt;
 
&lt;/h2&gt;
&lt;p&gt;The division of labor that settled in: the frontier model plans, verifies, and commits. Cheaper models run well-specified batch work. In practice that meant opus ran audits and migrations, including the bootstrap idempotency audit that surfaced 12 defects in one pass (one of them a nested-symlink bug that got reproduced in a sandbox before anyone touched the fix). sonnet handled mechanical batches: README splitting, doc generation, migrations.&lt;/p&gt;
&lt;p&gt;Small config edits stayed in the main loop, because writing a delegation spec for a two-line change costs more than the change.&lt;/p&gt;
&lt;p&gt;The trust signal that actually moved the needle was not capability. It was whether an agent stops. One agent was asked to modify a README section that had, unbeknownst to the spec, already moved into &lt;code&gt;docs/&lt;/code&gt;. It declined to guess, came back, and asked. Delegation volume went up after that, because an agent that halts on spec-reality mismatches is one you can hand bigger specs.&lt;/p&gt;

&lt;h2 class="relative group"&gt;The multi-agent hazard that actually happened
 &lt;div id="the-multi-agent-hazard-that-actually-happened" class="anchor"&gt;&lt;/div&gt;
 
 &lt;span
 class="absolute top-0 w-6 transition-opacity opacity-0 -start-6 not-prose group-hover:opacity-100 select-none"&gt;
 &lt;a class="text-primary-300 dark:text-neutral-700 !no-underline" href="#the-multi-agent-hazard-that-actually-happened" aria-label="Anchor"&gt;#&lt;/a&gt;
 &lt;/span&gt;
 
&lt;/h2&gt;
&lt;p&gt;Two Claude sessions were working on the same yadm repo. Each swept the other&amp;rsquo;s staged files into its own commit. This happened twice, and the second time is the instructive one: a file staged in advance got carried away by two unrelated commits in the same evening.&lt;/p&gt;
&lt;p&gt;The root cause is not a bug anywhere. All sessions share the single yadm index, and &lt;code&gt;yadm commit&lt;/code&gt; takes everything currently staged, regardless of who staged it. The tool behaves exactly as documented. The information &amp;ldquo;who staged this&amp;rdquo; simply does not exist in the system, so no tool-side fix is possible.&lt;/p&gt;
&lt;p&gt;Which is why the fix is procedural, and why it graduated from &amp;ldquo;remember to check&amp;rdquo; to a mandatory step after the recurrence:&lt;/p&gt;
&lt;div class="highlight-wrapper"&gt;&lt;div class="highlight"&gt;&lt;pre tabindex="0" class="chroma"&gt;&lt;code class="language-bash" data-lang="bash"&gt;&lt;span class="line"&gt;&lt;span class="cl"&gt;yadm diff --cached --name-only&lt;/span&gt;&lt;/span&gt;&lt;/code&gt;&lt;/pre&gt;&lt;/div&gt;&lt;/div&gt;
&lt;p&gt;Before every commit, no exceptions, plus a one-committer-at-a-time rule. A mistake that recurs in the same evening does not get fixed by resolving to remember harder. It gets fixed by an extra line in the procedure.&lt;/p&gt;

&lt;h2 class="relative group"&gt;The month in numbers
 &lt;div id="the-month-in-numbers" class="anchor"&gt;&lt;/div&gt;
 
 &lt;span
 class="absolute top-0 w-6 transition-opacity opacity-0 -start-6 not-prose group-hover:opacity-100 select-none"&gt;
 &lt;a class="text-primary-300 dark:text-neutral-700 !no-underline" href="#the-month-in-numbers" aria-label="Anchor"&gt;#&lt;/a&gt;
 &lt;/span&gt;
 
&lt;/h2&gt;
&lt;p&gt;About 30 single-concern commits across five PRs (#54, #63, #64, #66, #69). The test suite grew from 74 checks to 105. Six documentation pages got extracted. And every incident in this post exists in the suite as a named test, which by now is the house style of this whole series.&lt;/p&gt;

&lt;h2 class="relative group"&gt;Lessons
 &lt;div id="lessons" class="anchor"&gt;&lt;/div&gt;
 
 &lt;span
 class="absolute top-0 w-6 transition-opacity opacity-0 -start-6 not-prose group-hover:opacity-100 select-none"&gt;
 &lt;a class="text-primary-300 dark:text-neutral-700 !no-underline" href="#lessons" aria-label="Anchor"&gt;#&lt;/a&gt;
 &lt;/span&gt;
 
&lt;/h2&gt;
&lt;ul&gt;
&lt;li&gt;A plausible answer and a correct answer are indistinguishable until you run the check. The check costs two minutes; budget for all of them.&lt;/li&gt;
&lt;li&gt;Research and verification are the same loop running in opposite directions. One finds what you cannot see, the other kills what is not true.&lt;/li&gt;
&lt;li&gt;Installed but not wired is worse than not installed. Pair every definition with its activation in a test.&lt;/li&gt;
&lt;li&gt;A config file decides what gets searched, never how results print. The second half of that sentence is where the incident was hiding.&lt;/li&gt;
&lt;li&gt;Judge an agent by whether it stops when the spec and the repo disagree. The one that asks is the one that gets more work.&lt;/li&gt;
&lt;li&gt;When a process error recurs on the same evening, stop relying on memory and add a line to the procedure.&lt;/li&gt;
&lt;/ul&gt;

&lt;h2 class="relative group"&gt;References
 &lt;div id="references" class="anchor"&gt;&lt;/div&gt;
 
 &lt;span
 class="absolute top-0 w-6 transition-opacity opacity-0 -start-6 not-prose group-hover:opacity-100 select-none"&gt;
 &lt;a class="text-primary-300 dark:text-neutral-700 !no-underline" href="#references" aria-label="Anchor"&gt;#&lt;/a&gt;
 &lt;/span&gt;
 
&lt;/h2&gt;
&lt;ul&gt;
&lt;li&gt;&lt;a href="https://github.com/BurntSushi/ripgrep/blob/master/GUIDE.md#configuration-file" target="_blank" rel="noreferrer"&gt;ripgrep configuration&lt;/a&gt; (&lt;code&gt;RIPGREP_CONFIG_PATH&lt;/code&gt; semantics)&lt;/li&gt;
&lt;li&gt;&lt;a href="https://mergiraf.org/" target="_blank" rel="noreferrer"&gt;mergiraf&lt;/a&gt; (the syntax-aware merge driver)&lt;/li&gt;
&lt;li&gt;&lt;a href="https://github.com/alexpasmantier/television" target="_blank" rel="noreferrer"&gt;television&lt;/a&gt;&lt;/li&gt;
&lt;li&gt;&lt;a href="https://github.com/sxyazi/yazi" target="_blank" rel="noreferrer"&gt;yazi&lt;/a&gt; (the exit-code canary from the previous post)&lt;/li&gt;
&lt;li&gt;The repo, PRs, and test suite: &lt;a href="https://github.com/nickboy/dotfiles" target="_blank" rel="noreferrer"&gt;nickboy/dotfiles&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;</content:encoded></item></channel></rss>