[codex] Remove homepage loop guide strip

scripts/check.mjs

@@ -520,7 +520,10 @@ assert(!html.includes('<th scope="col">Type</th>'));
 assert(html.includes("./styles.css?v=20260619-learn-page"));
 assert(html.includes("./script.js?v=20260619-pagination"));
 assert(html.includes('href="./learn/"'));
-assert(html.includes("Learn how loops work and run one"));
+assert(!html.includes('class="loop-guide"'));
+assert(!html.includes("A useful loop specifies:"));
+assert(!html.includes("Learn how loops work and run one"));
+assert(!css.includes(".loop-guide"));
 assert(html.includes('id="library-pagination"'));
 assert(html.includes('aria-label="Loop pages"'));
 assert(html.includes('id="pagination-previous"'));

site/index.html

@@ -1798,14 +1798,6 @@ <h3>No matching loops</h3>
           </button>
         </nav>
 
-        <div class="loop-guide">
-          <p>
-            <strong>A useful loop specifies:</strong>
-            trigger, action, proof, memory, and a stopping condition.
-          </p>
-          <a href="./learn/">Learn how loops work and run one &rarr;</a>
-        </div>
-
       </section>
 
       <section class="newsletter-section" id="weekly">

site/styles.css

@@ -837,32 +837,6 @@ code {
   text-transform: uppercase;
 }
 
-.loop-guide {
-  display: flex;
-  align-items: center;
-  justify-content: space-between;
-  gap: 24px;
-  margin: 20px 0 0;
-  color: var(--muted);
-  font-size: 0.86rem;
-}
-
-.loop-guide p {
-  margin-bottom: 0;
-}
-
-.loop-guide strong {
-  color: var(--ink);
-}
-
-.loop-guide a {
-  color: var(--ink);
-  font-weight: 800;
-  text-decoration-color: var(--orange);
-  text-decoration-thickness: 2px;
-  text-underline-offset: 4px;
-}
-
 .newsletter-section {
   padding: 32px 0;
   border-top: 1px solid var(--ink);
@@ -1667,12 +1641,6 @@ code {
     display: none;
   }
 
-  .loop-guide {
-    align-items: flex-start;
-    flex-direction: column;
-    gap: 10px;
-  }
-
   .loop-table,
   .loop-table tbody {
     display: block;