Deploy IntelligenceLab website

app.js

@@ -49,7 +49,7 @@
       entries.forEach((entry) => {
         if (!entry.isIntersecting) return;
         links.forEach((a) => a.classList.remove('is-active'));
-        const active = links.get(entry.target.id);
+        const active = links.get(entry.target.dataset.nav || entry.target.id);
         if (active) active.classList.add('is-active');
       });
     }, { rootMargin: '-45% 0px -50% 0px' });

index.html

@@ -121,8 +121,8 @@
             <h3>Terminal</h3>
             <p>Long-horizon command-line work across real tools, services, builds, and data: hundreds of commands toward one verified end state.</p>
             <ul class="offer-list">
+              <li>Seeded from real recorded terminal sessions</li>
               <li>Ops, data, build &amp; release workflows</li>
-              <li>Scientific &amp; engineering toolchains</li>
               <li>RL environments with executable verifiers</li>
             </ul>
           </article>
@@ -294,7 +294,163 @@
       </div>
     </section>
 
-    <section class="section" id="why" aria-labelledby="why-title">
+    <section class="section" id="terminal-examples" data-nav="examples" aria-labelledby="tx-title">
+      <div class="container">
+        <div class="section-head reveal">
+          <p class="kicker">Terminal &amp; coding examples</p>
+          <h2 id="tx-title">Real terminal work, verified end to end.</h2>
+          <p class="sub">Seeded from real recorded terminal sessions, then extended round by round. Every task ships with its environment, a reference solution, and a verifier that passed in a fresh sandbox. Each replay shows commands from the task's own reference solution.</p>
+        </div>
+        <div class="tx-grid" id="tx-grid">
+<!--TERMINAL_CARDS:START-->
+          <article class="tx-card reveal" data-index="0" tabindex="0" role="button" aria-label="Open terminal task: Repair and cross-build an AArch64 assembly program">
+            <div class="tx-term" aria-hidden="true">
+              <div class="tx-bar"><i></i><i></i><i></i><em>ubuntu:22.04</em></div>
+              <pre class="tx-screen"><code><span class="tx-cmd"><b>$</b> source &quot;$CFG&quot;</span><span class="tx-cmd"><b>$</b> &quot;$AS&quot; --version</span><span class="tx-cmd"><b>$</b> cat &gt; /app/horas_seg.s &lt;&lt; &#x27;SOURCEEOF&#x27;</span><span class="tx-cmd"><b>$</b> TEST_OUT=$(run_program &quot;2&quot; 2&gt;&amp;1)</span><span class="tx-cmd"><b>$</b> chmod +x /app/build.sh</span><span class="tx-cmd"><b>$</b> ln -sf /app/horas_seg /usr/local/bin/horas_seg</span></code></pre>
+            </div>
+            <div class="tx-body">
+              <p class="tx-area">Software engineering</p>
+              <h3>Repair and cross-build an AArch64 assembly program</h3>
+              <p>Fix the assembly source at /app/horas_seg.s so it prompts for integer hours and correctly prints the equivalent seconds (e.g., 2 → 7200 segundos.).</p>
+              <ul class="tx-meta"><li>239-line reference solution</li><li>Verified in a fresh sandbox</li></ul>
+            </div>
+            <span class="ex-open" aria-hidden="true">Explore ↗</span>
+          </article>
+          <article class="tx-card reveal" data-index="1" tabindex="0" role="button" aria-label="Open terminal task: Wire a network namespace with a veth pair">
+            <div class="tx-term" aria-hidden="true">
+              <div class="tx-bar"><i></i><i></i><i></i><em>ubuntu:22.04</em></div>
+              <pre class="tx-screen"><code><span class="tx-cmd"><b>$</b> ip netns add t1</span><span class="tx-cmd"><b>$</b> ip link add veth0 mtu &quot;$CHOSEN&quot; type veth peer name veth1 mtu &quot;$CHOSEN&quot;</span><span class="tx-cmd"><b>$</b> ip link set veth0 netns t1</span><span class="tx-cmd"><b>$</b> ip netns exec t1 ip addr add 10.0.0.1/24 dev veth0</span><span class="tx-cmd"><b>$</b> ip addr add 10.0.0.2/24 dev veth1</span><span class="tx-cmd"><b>$</b> ip netns exec t1 ip link set veth0 up</span><span class="tx-cmd"><b>$</b> ip link set veth1 up</span></code></pre>
+            </div>
+            <div class="tx-body">
+              <p class="tx-area">Networking</p>
+              <h3>Wire a network namespace with a veth pair</h3>
+              <p>Set up a Linux network namespace <code>t1</code> with a veth pair.</p>
+              <ul class="tx-meta"><li>213-line reference solution</li><li>Verified in a fresh sandbox</li></ul>
+            </div>
+            <span class="ex-open" aria-hidden="true">Explore ↗</span>
+          </article>
+          <article class="tx-card reveal" data-index="2" tabindex="0" role="button" aria-label="Open terminal task: Align a container build with its Kustomize manifest">
+            <div class="tx-term" aria-hidden="true">
+              <div class="tx-bar"><i></i><i></i><i></i><em>ubuntu:22.04</em></div>
+              <pre class="tx-screen"><code><span class="tx-cmd"><b>$</b> cp -f &quot;$SOURCES_DIR/config.yaml&quot; &quot;$APP_DIR/config.yaml&quot;</span><span class="tx-cmd"><b>$</b> sed -i &quot;/^CMD /i COPY config.yaml /app/config.yaml&quot; &quot;$DOCKERFILE&quot;</span><span class="tx-cmd"><b>$</b> sha256sum &quot;$APP_DIR/$f&quot; &gt;&gt; &quot;$INTEGRITY&quot;</span><span class="tx-cmd"><b>$</b> kustomize build &quot;$APP_DIR&quot; &gt; &quot;$RESULT&quot;</span><span class="tx-cmd"><b>$</b> sed -i &#x27;s/^apiVersion: v1$/apiVersion=v1/&#x27; &quot;$RESULT&quot;</span><span class="tx-cmd"><b>$</b> tar czf evidence.tar.gz *</span></code></pre>
+            </div>
+            <div class="tx-body">
+              <p class="tx-area">Containers &amp; cloud</p>
+              <h3>Align a container build with its Kustomize manifest</h3>
+              <p>Align the Dockerfile at /environment/Dockerfile with the files referenced by the kustomization in /app (kustomization.yaml), notably config.yaml.</p>
+              <ul class="tx-meta"><li>311-line reference solution</li><li>Verified in a fresh sandbox</li></ul>
+            </div>
+            <span class="ex-open" aria-hidden="true">Explore ↗</span>
+          </article>
+          <article class="tx-card reveal" data-index="3" tabindex="0" role="button" aria-label="Open terminal task: Stand up InfluxDB 2 against a compliance policy">
+            <div class="tx-term" aria-hidden="true">
+              <div class="tx-bar"><i></i><i></i><i></i><em>debian:bookworm</em></div>
+              <pre class="tx-screen"><code><span class="tx-cmd"><b>$</b> jq empty &quot;$f&quot;</span><span class="tx-cmd"><b>$</b> influx setup --username &quot;$USERNAME&quot; --password &quot;$PASSWORD&quot; --org &quot;$ORG&quot; --bucket &quot;$BUCKET&quot; --retention…</span><span class="tx-cmd"><b>$</b> influx bucket update --id &quot;$BID&quot; --retention &quot;$RETENTION&quot;</span><span class="tx-cmd"><b>$</b> influx bucket update --id &quot;$BID&quot; --description &quot;$REQUIRED_BUCKET_DESC&quot;</span><span class="tx-cmd"><b>$</b> chmod +x /app/validate.sh</span></code></pre>
+            </div>
+            <div class="tx-body">
+              <p class="tx-area">Databases</p>
+              <h3>Stand up InfluxDB 2 against a compliance policy</h3>
+              <p>Set up InfluxDB 2 using the configuration at /etc/influxdb/init.json.</p>
+              <ul class="tx-meta"><li>329-line reference solution</li><li>Verified in a fresh sandbox</li></ul>
+            </div>
+            <span class="ex-open" aria-hidden="true">Explore ↗</span>
+          </article>
+          <article class="tx-card reveal" data-index="4" tabindex="0" role="button" aria-label="Open terminal task: Version a dataset with DVC and reconcile its history">
+            <div class="tx-term" aria-hidden="true">
+              <div class="tx-bar"><i></i><i></i><i></i><em>ubuntu:22.04</em></div>
+              <pre class="tx-screen"><code><span class="tx-cmd"><b>$</b> dvc add dataset/foo</span><span class="tx-cmd"><b>$</b> dvc add dataset/test/0</span><span class="tx-cmd"><b>$</b> git add dataset/foo.dvc dataset/test/0.dvc</span><span class="tx-cmd"><b>$</b> git commit -m &quot;DVC track dataset items&quot;</span><span class="tx-cmd"><b>$</b> git diff &quot;${PARENT}..${ADD_COMMIT}&quot; -- &quot;$dvc_file&quot; &gt; &quot;$patch_path&quot;</span></code></pre>
+            </div>
+            <div class="tx-body">
+              <p class="tx-area">Version control</p>
+              <h3>Version a dataset with DVC and reconcile its history</h3>
+              <p>Set up a DVC-tracked dataset under /app/dataset/ with two items: dataset/foo and dataset/test/0.</p>
+              <ul class="tx-meta"><li>313-line reference solution</li><li>Verified in a fresh sandbox</li></ul>
+            </div>
+            <span class="ex-open" aria-hidden="true">Explore ↗</span>
+          </article>
+          <article class="tx-card reveal" data-index="5" tabindex="0" role="button" aria-label="Open terminal task: Install an HPC scheduler&#x27;s Python bindings, verified">
+            <div class="tx-term" aria-hidden="true">
+              <div class="tx-bar"><i></i><i></i><i></i><em>fluxrm/flux-core:focal-v0.48.0</em></div>
+              <pre class="tx-screen"><code><span class="tx-cmd"><b>$</b> ACTUAL_HASH=$(sha256sum &quot;$TARBALL&quot; | awk &#x27;{print $1}&#x27;)</span><span class="tx-cmd"><b>$</b> pip install --no-compile &quot;$TARBALL&quot;</span><span class="tx-cmd"><b>$</b> find &quot;$FLUX_ROOT&quot; -type f ! -name &#x27;*.pyc&#x27; -exec sha256sum {} \; | sort -k2 &gt; &quot;$INSTALLED_MANIFEST&quot;</span><span class="tx-cmd"><b>$</b> cp &quot;$INSTALLED_MANIFEST&quot; &quot;$EXPECTED_MANIFEST&quot;</span><span class="tx-cmd"><b>$</b> flux start --test-size=4 bash -c &#x27;…&#x27;</span></code></pre>
+            </div>
+            <div class="tx-body">
+              <p class="tx-area">Data &amp; scientific computing</p>
+              <h3>Install an HPC scheduler&#x27;s Python bindings, verified</h3>
+              <p>Install the Flux Python package from the tarball at /app/flux-python-0.48.0rc6.tar.gz after verifying its integrity against the provided checksum file.</p>
+              <ul class="tx-meta"><li>171-line reference solution</li><li>Verified in a fresh sandbox</li></ul>
+            </div>
+            <span class="ex-open" aria-hidden="true">Explore ↗</span>
+          </article>
+          <article class="tx-card reveal is-extra" data-index="6" tabindex="0" role="button" aria-label="Open terminal task: Rebuild a GRUB boot sequence from a broken system">
+            <div class="tx-term" aria-hidden="true">
+              <div class="tx-bar"><i></i><i></i><i></i><em>ubuntu:22.04</em></div>
+              <pre class="tx-screen"><code><span class="tx-cmd"><b>$</b> &quot;$CHECK_SCRIPT&quot;</span><span class="tx-cmd"><b>$</b> ERROR_LINE=$(grep -i &quot;ERROR&quot; &quot;$LOG&quot; | grep -i &quot;boot-params&quot; | head -1 || true)</span><span class="tx-cmd"><b>$</b> printf &#x27;%s\n&#x27; &quot;${param_lines[@]}&quot; &gt; &quot;$BOOT_PARAMS_FILE&quot;</span><span class="tx-cmd"><b>$</b> linux_cmd=&quot;linux ${grub_prefix}/${actual_kernel_path} console=${console},${baud}&quot;</span><span class="tx-cmd"><b>$</b> initrd_cmd=&quot;initrd ${grub_prefix}/${initrd_path}&quot;</span><span class="tx-cmd"><b>$</b> cat &gt; &quot;$RESULT&quot; &lt;&lt;EOF</span></code></pre>
+            </div>
+            <div class="tx-body">
+              <p class="tx-area">System administration</p>
+              <h3>Rebuild a GRUB boot sequence from a broken system</h3>
+              <p>Assemble a three-line GRUB boot sequence (linux, initrd, boot) in /app/result.txt for the system rooted at /mnt/target.</p>
+              <ul class="tx-meta"><li>214-line reference solution</li><li>Verified in a fresh sandbox</li></ul>
+            </div>
+            <span class="ex-open" aria-hidden="true">Explore ↗</span>
+          </article>
+          <article class="tx-card reveal is-extra" data-index="7" tabindex="0" role="button" aria-label="Open terminal task: Diagnose and fix a Python dependency bug">
+            <div class="tx-term" aria-hidden="true">
+              <div class="tx-bar"><i></i><i></i><i></i><em>python:3.11-slim</em></div>
+              <pre class="tx-screen"><code><span class="tx-cmd"><b>$</b> python /app/bug.py &gt; /app/result.txt</span><span class="tx-cmd"><b>$</b> /app/validate_output.py /app/result.txt &gt; /app/validation_stdout.txt 2&gt; /app/validation_stderr.txt</span><span class="tx-cmd"><b>$</b> pip install &quot;environs==${REQUIRED_VERSION}&quot; &#x27;marshmallow&lt;4.0.0&#x27;</span><span class="tx-cmd"><b>$</b> python /app/bug.py &gt; /app/fixed.txt</span></code></pre>
+            </div>
+            <div class="tx-body">
+              <p class="tx-area">Debugging &amp; performance</p>
+              <h3>Diagnose and fix a Python dependency bug</h3>
+              <p>In /app, diagnose and fix the environs URL parsing bug.</p>
+              <ul class="tx-meta"><li>202-line reference solution</li><li>Verified in a fresh sandbox</li></ul>
+            </div>
+            <span class="ex-open" aria-hidden="true">Explore ↗</span>
+          </article>
+          <article class="tx-card reveal is-extra" data-index="8" tabindex="0" role="button" aria-label="Open terminal task: Count attack telemetry with the EQL shell">
+            <div class="tx-term" aria-hidden="true">
+              <div class="tx-bar"><i></i><i></i><i></i><em>python:3.9-slim</em></div>
+              <pre class="tx-screen"><code><span class="tx-cmd"><b>$</b> eql shell &lt;&lt; &#x27;EQL_IN&#x27;</span><span class="tx-cmd"><b>eql&gt;</b> input normalized-atomic-red-team.json.gz</span><span class="tx-cmd"><b>eql&gt;</b> search | count event_type</span><span class="tx-cmd"><b>eql&gt;</b> output counts.json</span><span class="tx-cmd"><b>$</b> /app/check.sh &gt; /app/initial_failure.txt 2&gt;&amp;1</span><span class="tx-cmd"><b>$</b> python3 &lt;&lt; &#x27;PYREPAIR&#x27;</span></code></pre>
+            </div>
+            <div class="tx-body">
+              <p class="tx-area">Security analytics</p>
+              <h3>Count attack telemetry with the EQL shell</h3>
+              <p>Working in /app, count each event_type in the dataset &#x27;/app/normalized-atomic-red-team.json.gz&#x27; using the EQL shell and save results to counts.json.</p>
+              <ul class="tx-meta"><li>242-line reference solution</li><li>Verified in a fresh sandbox</li></ul>
+            </div>
+            <span class="ex-open" aria-hidden="true">Explore ↗</span>
+          </article>
+<!--TERMINAL_CARDS:END-->
+        </div>
+        <div class="ex-more">
+          <button class="btn btn-ghost" id="tx-more" type="button" aria-expanded="false">Show more terminal tasks</button>
+        </div>
+        <div class="tx-coverage reveal">
+          <div class="tx-coverage-copy">
+            <h3>Breadth across real engineering work</h3>
+            <p>Share of terminal tasks by area, from system administration and databases to security and scientific computing.</p>
+          </div>
+          <ul class="tx-bars">
+<!--TERMINAL_COVERAGE:START-->
+            <li><span class="txb-label">Software engineering</span><span class="txb-track"><i style="--w:100.0%;--i:0"></i></span><span class="txb-pct">19%</span></li>
+            <li><span class="txb-label">Scripting &amp; automation</span><span class="txb-track"><i style="--w:91.5%;--i:1"></i></span><span class="txb-pct">17%</span></li>
+            <li><span class="txb-label">System administration</span><span class="txb-track"><i style="--w:72.9%;--i:2"></i></span><span class="txb-pct">14%</span></li>
+            <li><span class="txb-label">Environment setup</span><span class="txb-track"><i style="--w:57.4%;--i:3"></i></span><span class="txb-pct">11%</span></li>
+            <li><span class="txb-label">Version control</span><span class="txb-track"><i style="--w:44.7%;--i:4"></i></span><span class="txb-pct">8%</span></li>
+            <li><span class="txb-label">Containers &amp; cloud</span><span class="txb-track"><i style="--w:36.7%;--i:5"></i></span><span class="txb-pct">7%</span></li>
+            <li><span class="txb-label">Security</span><span class="txb-track"><i style="--w:29.3%;--i:6"></i></span><span class="txb-pct">6%</span></li>
+            <li><span class="txb-label">Databases</span><span class="txb-track"><i style="--w:19.7%;--i:7"></i></span><span class="txb-pct">4%</span></li>
+            <li><span class="txb-label">Data &amp; scientific computing</span><span class="txb-track"><i style="--w:17.0%;--i:8"></i></span><span class="txb-pct">3%</span></li>
+            <li><span class="txb-label">Files &amp; storage</span><span class="txb-track"><i style="--w:14.9%;--i:9"></i></span><span class="txb-pct">3%</span></li>
+            <li><span class="txb-label">Networking</span><span class="txb-track"><i style="--w:11.7%;--i:10"></i></span><span class="txb-pct">2%</span></li>
+            <li><span class="txb-label">Other</span><span class="txb-track"><i style="--w:36.7%;--i:11"></i></span><span class="txb-pct">7%</span></li>
+<!--TERMINAL_COVERAGE:END-->
+          </ul>
+        </div>
+      </div>
+    </section>
+
+    <section class="section section-tint" id="why" aria-labelledby="why-title">
       <div class="container">
         <div class="section-head reveal">
           <p class="kicker">Why verified synthesis</p>
@@ -326,7 +482,7 @@
       </div>
     </section>
 
-    <section class="section section-tint" id="capabilities" aria-labelledby="cap-title">
+    <section class="section" id="capabilities" aria-labelledby="cap-title">
       <div class="container">
         <div class="section-head reveal">
           <p class="kicker">Capabilities</p>
@@ -688,6 +844,38 @@ fig.savefig(out, dpi=<span class="c-n">200</span>)</code></pre>
           </figcaption>
         </figure>
       </div>
+      <div class="container">
+        <div class="growth reveal" id="growth">
+          <div class="growth-head">
+            <div class="growth-copy">
+              <p class="kicker">Watch one task grow</p>
+              <h3>Same goal. More to get right at every stage.</h3>
+              <p>Successive stages from one task family: <strong>build a Git commit using only low-level plumbing commands</strong>. Each stage keeps the goal and adds requirements, and the reference solution and verifier grow with it. New requirements are highlighted.</p>
+            </div>
+            <div class="growth-steps" id="growth-steps" role="group" aria-label="Synthesis stages"></div>
+          </div>
+          <div class="growth-body">
+            <div class="growth-instruction" id="growth-instruction" aria-live="polite"></div>
+            <div class="growth-stats">
+              <div class="gs-stat">
+                <span>Reference solution</span>
+                <strong id="growth-lines">–</strong>
+                <div class="gs-bar"><i id="growth-lines-bar"></i></div>
+              </div>
+              <div class="gs-stat">
+                <span>Instruction</span>
+                <strong id="growth-words">–</strong>
+                <div class="gs-bar gs-bar-alt"><i id="growth-words-bar"></i></div>
+              </div>
+              <figure class="gs-spark">
+                <svg id="growth-spark" viewBox="0 0 240 72" role="img" aria-label="Reference solution length across stages"></svg>
+                <figcaption>Reference solution length by stage</figcaption>
+              </figure>
+              <p class="gs-note">Illustrative family: stages are related tasks from successive synthesis rounds, shown in order of depth.</p>
+            </div>
+          </div>
+        </div>
+      </div>
     </section>
 
     <section class="section" id="deliverables" aria-labelledby="deliv-title">
@@ -893,8 +1081,53 @@ fig.savefig(out, dpi=<span class="c-n">200</span>)</code></pre>
     </div>
   </div>
 
+  <div class="ex-modal" id="tx-modal" hidden>
+    <div class="ex-backdrop" data-tx-close></div>
+    <div class="ex-sheet" role="dialog" aria-modal="true" aria-labelledby="txm-title">
+      <header class="ex-head">
+        <div>
+          <p class="ex-domain" id="txm-area"></p>
+          <h3 id="txm-title"></h3>
+          <ul class="ex-tracks" id="txm-tags"></ul>
+        </div>
+        <div class="ex-nav">
+          <button class="icon-btn" type="button" data-tx-prev aria-label="Previous task">←</button>
+          <button class="icon-btn" type="button" data-tx-next aria-label="Next task">→</button>
+          <button class="icon-btn" type="button" data-tx-close aria-label="Close">✕</button>
+        </div>
+      </header>
+      <div class="ex-body">
+        <div class="txm-grid">
+          <div class="txm-col">
+            <h4 class="txm-h">Instruction the agent receives</h4>
+            <div class="txm-instruction" id="txm-instruction"></div>
+            <dl class="txm-facts">
+              <div><dt>Environment</dt><dd id="txm-base"></dd></div>
+              <div><dt>Reference solution</dt><dd id="txm-lines"></dd></div>
+              <div><dt>Verification</dt><dd>The reference solution passes every check in a fresh sandbox, and each check is stated in the instruction.</dd></div>
+            </dl>
+          </div>
+          <div class="txm-col">
+            <h4 class="txm-h">Replay of the reference solution</h4>
+            <div class="tx-term tx-term-lg" aria-hidden="true">
+              <div class="tx-bar"><i></i><i></i><i></i><em id="txm-term-base"></em></div>
+              <pre class="tx-screen" id="txm-replay"><code></code></pre>
+            </div>
+            <h4 class="txm-h">Excerpt of <code>solve.sh</code></h4>
+            <pre class="txm-code" id="txm-code"></pre>
+          </div>
+        </div>
+        <a class="btn btn-dark" id="txm-cta" data-contact data-subject="Terminal task sample request" href="#contact">Request the full task
+          <svg viewBox="0 0 20 20" aria-hidden="true"><path d="M4 10h11m-4-4 4 4-4 4" fill="none" stroke="currentColor" stroke-width="1.8" stroke-linecap="round" stroke-linejoin="round"/></svg>
+        </a>
+      </div>
+    </div>
+  </div>
+
   <script type="application/json" id="examples-data">[{"kind": "stl", "title": "OpenSCAD / BOSL2 parametric fan duct", "domain": "Spatial, Visual & 3D", "color": "#7c3aed", "description": "Regenerate a swept fan-duct mount STL whose inlet size, outlet size, bend angle, and rib count change the geometry.", "software": ["OpenSCAD", "BOSL2"], "artifacts": ["STL mesh", "geometry metrics JSON"], "axes": ["inlet size", "outlet size", "bend angle", "rib count"], "outputs": ["bounding box", "volume", "surface area", "connected components", "sampled surface distance"], "tracks": ["Terminal", "Coding", "Multimodal"], "modality": "3D mesh", "img": "assets/examples/stl-detail.webp", "alt": "Rendered fan-duct mesh from a public OpenSCAD run"}, {"kind": "foam", "title": "OpenFOAM 2-D dam-break CFD", "domain": "Physical & Engineering Simulation", "color": "#0891b2", "description": "Reconstruct a 2-D dam-break CFD workflow across water height, mesh, gravity, and simulation time.", "software": ["OpenFOAM"], "artifacts": ["blockMesh log", "polyMesh", "initial field files", "case dictionaries"], "axes": ["water height", "mesh", "gravity", "time"], "outputs": ["mesh statistics", "field summaries", "residual/probe behavior"], "tracks": ["Terminal", "Coding", "Multimodal"], "modality": "CFD mesh", "img": "assets/examples/foam-detail.webp", "alt": "OpenFOAM dam-break mesh drawn from the public polyMesh"}, {"kind": "drc", "title": "KiCad LED-matrix driver PCB", "domain": "Spatial, Visual & 3D", "color": "#7c3aed", "description": "Reconstruct LED-matrix driver board outputs (DRC report and project files) under row, column, driver, and routing interventions.", "software": ["KiCad"], "artifacts": ["DRC report", "project file list"], "axes": ["rows", "cols", "driver", "routing"], "outputs": ["DRC report summary", "project file inventory"], "tracks": ["Terminal", "Coding", "Multimodal"], "modality": "PCB layout", "img": "assets/examples/drc-detail.webp", "alt": "KiCad board with design-rule findings plotted at their positions"}, {"kind": "container", "title": "Container SBOM and supply-chain attestation", "domain": "Software & Formal Systems", "color": "#2563eb", "description": "Infer coupled container base-image, package-set, label, entrypoint, and SBOM-scope behavior.", "software": ["Hadolint", "Syft", "Skopeo"], "artifacts": ["Dockerfile", "in-toto attestation", "SPDX SBOM"], "axes": ["base image", "entrypoint", "labels", "package set", "SBOM scope"], "outputs": ["attestation", "base", "layer count", "merkle", "vuln budget"], "tracks": ["Terminal", "Coding"], "modality": "", "img": "assets/examples/container-detail.webp", "alt": "Container image layers and attestation from a public run"}, {"kind": "blender", "title": "Blender cloth flag scene", "domain": "Spatial, Visual & 3D", "color": "#7c3aed", "description": "Reconstruct cloth-scene behavior under wind, pin-group, frame, and subdivision interventions.", "software": ["Blender"], "artifacts": ["scene graph JSON"], "axes": ["wind strength", "pin group", "frame", "cloth subdiv"], "outputs": ["evaluated objects", "frame", "materials", "node groups", "object counts", "rotation"], "tracks": ["Terminal", "Coding", "Multimodal"], "modality": "3D scene", "img": "assets/examples/blender-detail.webp", "alt": "Blender cloth scene rotation dial across public scenarios"}, {"kind": "robot", "title": "MuJoCo / URDF mass-inertia repair", "domain": "Physical & Engineering Simulation", "color": "#0891b2", "description": "Infer robot state and trajectory behavior under actuator, collision, pose, joint-limit, and target interventions.", "software": ["MuJoCo", "URDF/MJCF tooling"], "artifacts": ["URDF model", "trajectory CSV", "control summary"], "axes": ["actuator gain", "collision margin", "initial pose", "joint limit", "trajectory target"], "outputs": ["gain", "nq", "nv", "qpos", "qvel"], "tracks": ["Terminal", "Coding"], "modality": "", "img": "assets/examples/robot-detail.webp", "alt": "MuJoCo joint-position trajectories across public scenarios"}, {"kind": "micro", "title": "Microscopy cell segmentation and counting", "domain": "Life & Molecular Sciences", "color": "#16a34a", "description": "Reconstruct cell segmentation and measurement behavior across channel, illumination, threshold, object size, and measurement feature.", "software": ["CellProfiler", "scikit-image", "Bio-Formats"], "artifacts": ["label-mask image", "object-measurements CSV"], "axes": ["channel selection", "illumination correction", "measurement feature", "object size range", "threshold method"], "outputs": ["object count", "area sum", "eccentricity sum", "threshold", "minimum size"], "tracks": ["Terminal", "Coding", "Multimodal"], "modality": "Microscopy images", "img": "assets/examples/micro-detail.webp", "alt": "Microscopy label masks from public runs"}, {"kind": "astro", "title": "Astronomy FITS/WCS cutout and photometry", "domain": "Earth & Space Sciences", "color": "#db2777", "description": "Reconstruct FITS/WCS cutout and photometry behavior under aperture, background, clipping, threshold, and coordinate-frame interventions.", "software": ["Astropy", "Photutils"], "artifacts": ["FITS image", "photometry catalog CSV"], "axes": ["aperture radius", "background model", "sigma clip", "source threshold", "WCS frame"], "outputs": ["flux", "coordinate frame", "median", "shape", "standard deviation"], "tracks": ["Terminal", "Coding", "Multimodal"], "modality": "FITS images", "img": "assets/examples/astro-detail.webp", "alt": "Astronomy FITS cutouts from public runs"}, {"kind": "ocr", "title": "Tesseract table-image OCR", "domain": "Data & Document Workflows", "color": "#d97706", "description": "Reconstruct how DPI, font, language, metadata, and page range affect OCR behavior.", "software": ["Pandoc", "Poppler", "Tesseract", "QPDF"], "artifacts": ["OCR summary JSON", "page-preview image"], "axes": ["DPI", "font", "language", "metadata", "page range"], "outputs": ["ink", "line count", "page size", "text digest", "text length"], "tracks": ["Terminal", "Coding", "Multimodal"], "modality": "Document images", "img": "assets/examples/ocr-detail.webp", "alt": "OCR page preview from a public run"}, {"kind": "color", "title": "Color-space and tone-curve pipeline", "domain": "Spatial, Visual & 3D", "color": "#7c3aed", "description": "Infer a color pipeline across color space, white point, tone curve, demosaicing, and compression quality.", "software": ["colour-science", "ImageMagick", "scikit-image"], "artifacts": ["color measurements JSON", "PPM preview"], "axes": ["color space", "white point", "tone curve", "demosaic method", "compression quality"], "outputs": ["mean color", "image shape", "XYZ tristimulus values"], "tracks": ["Terminal", "Coding", "Multimodal"], "modality": "Images", "img": "assets/examples/color-detail.webp", "alt": "Color-pipeline previews from public runs"}]</script>
+  <script type="application/json" id="terminal-data">{"tasks": [{"title": "Repair and cross-build an AArch64 assembly program", "area": "Software engineering", "summary": "Fix the assembly source at /app/horas_seg.s so it prompts for integer hours and correctly prints the equivalent seconds (e.g., 2 → 7200 segundos.).", "instruction": "<p>Fix the assembly source at /app/horas_seg.s so it prompts for integer hours and correctly prints the equivalent seconds (e.g., 2 → 7200 segundos.).<\/p><p>Compile the repaired source into /app/horas_seg.<\/p><p>Write a self-validating build script at /app/build.sh and make it executable.<\/p><p>The script must source /app/toolchain.cfg to obtain CROSS_COMPILE, use the prefix to locate the cross-assembler and linker (no hardcoded paths), assemble and link the program, then validate the resulting binary by running it with input 2 and checking that the output contains &quot;7200 segundos.&quot;.<\/p><p>On success the script must print &quot;BUILD SUCCESS&quot; and exit 0; on failure it must print &quot;VALIDATION FAILED&quot; and exit non-zero.<\/p><p>The sysroot at /usr/aarch64-linux-gnu is available for cross-execution via QEMU if needed.<\/p><p>Generate a build manifest at /app/build-info.txt using the format:<\/p><p>as_version: &lt;assembler version string&gt;<\/p><p>ld_version: &lt;linker version string&gt;<\/p><p>sha256: &lt;64-character lowercase hex hash of /app/horas_seg&gt;<\/p><p>Create a symlink /usr/local/bin/horas_seg → /app/horas_seg.<\/p>", "base": "ubuntu:22.04", "lines": 239, "tags": ["assembly", "arm64", "aarch64", "compilation"], "replay": [["$", "source \"$CFG\""], ["$", "\"$AS\" --version"], ["$", "cat > /app/horas_seg.s << 'SOURCEEOF'"], ["$", "TEST_OUT=$(run_program \"2\" 2>&1)"], ["$", "chmod +x /app/build.sh"], ["$", "ln -sf /app/horas_seg /usr/local/bin/horas_seg"]], "code": "set -e\nCFG=\"/app/toolchain.cfg\"\nif [ ! -f \"$CFG\" ]; then\n    echo \"ERROR: Toolchain configuration file $CFG not found\"\n    exit 1\nfi\nsource \"$CFG\"\nif [ -z \"$CROSS_COMPILE\" ]; then\n    echo \"ERROR: CROSS_COMPILE not defined in $CFG\"\n    exit 1\nfi\nAS=$(command -v \"${CROSS_COMPILE}as\")\nLD=$(command -v \"${CROSS_COMPILE}ld\")\nif [ -z \"$AS\" ]; then\n    echo \"ERROR: ${CROSS_COMPILE}as not found in PATH\"\n    exit 1\nfi\nif [ -z \"$LD\" ]; then\n    echo \"ERROR: ${CROSS_COMPILE}ld not found in PATH\"\n    exit 1\nfi\n\"$AS\" --version >/dev/null 2>&1 || { echo \"ERROR: $AS does not work\"; exit 1; }\n\"$LD\" --version >/dev/null 2>&1 || { echo \"ERROR: $LD does not work\"; exit 1; }\nrun_program() {\n    local input_str=\"$1\"\n    if /app/horas_seg <<< \"$input_str\" 2>/dev/null; then\n        return 0\n    fi\n    if command -v qemu-aarch64 >/dev/null 2>&1; then\n        local qemu_args=(\"qemu-aarch64\")"}, {"title": "Wire a network namespace with a veth pair", "area": "Networking", "summary": "Set up a Linux network namespace `t1` with a veth pair.", "instruction": "<p>Set up a Linux network namespace <code>t1<\/code> with a veth pair.<\/p><p>Inside <code>t1<\/code> assign <code>10.0.0.1/24<\/code>; on the host assign <code>10.0.0.2/24<\/code>.<\/p><p>Bring all interfaces up and enable loopback inside the namespace.<\/p><p>Derive the MTU from <code>/app/veth_mtu.cfg<\/code> and the host kernel version; apply that MTU to both veth endpoints and write the same value to <code>/etc/veth_mtu_policy.conf<\/code>.<\/p><p>Confirm bidirectional pings between the two IPs.<\/p><p>Produce a network state report at <code>/app/network_state_report.txt<\/code> following <code>/app/REPORT_SPEC.md<\/code>.<\/p><p>Record the derivation steps and chosen MTU in <code>/tmp/veth_debug.log<\/code>.<\/p><p>Run the validation script <code>/app/validate_report.sh<\/code>.<\/p><p>If it fails, interpret the failure, correct the underlying problem, and re‑run the script until it succeeds.<\/p>", "base": "ubuntu:22.04", "lines": 213, "tags": ["network-namespace", "veth", "iproute2", "linux-networking"], "replay": [["$", "ip netns add t1"], ["$", "ip link add veth0 mtu \"$CHOSEN\" type veth peer name veth1 mtu \"$CHOSEN\""], ["$", "ip link set veth0 netns t1"], ["$", "ip netns exec t1 ip addr add 10.0.0.1/24 dev veth0"], ["$", "ip addr add 10.0.0.2/24 dev veth1"], ["$", "ip netns exec t1 ip link set veth0 up"], ["$", "ip link set veth1 up"]], "code": "set -e\nCFG=\"/app/veth_mtu.cfg\"\nREPORT=\"/app/network_state_report.txt\"\nPOLICY=\"/etc/veth_mtu_policy.conf\"\nDEBUG_LOG=\"/tmp/veth_debug.log\"\nVALIDATE_SCRIPT=\"/app/validate_report.sh\"\nSPEC=\"/app/REPORT_SPEC.md\"\necho \"=== Inspect configuration and specification ===\"\nif [ ! -f \"$CFG\" ]; then\n    echo \"Error: $CFG not found\" >&2\n    exit 1\nfi\nif [ ! -f \"$SPEC\" ]; then\n    echo \"Error: $SPEC not found\" >&2\n    exit 1\nfi\nDEFAULT_MTU=$(grep -oP '^mtu=\\K[0-9]+' \"$CFG\" || true)\nif [ -z \"$DEFAULT_MTU\" ]; then\n    echo \"Error: no default mtu= line in config\" >&2\n    exit 1\nfi\nCOND=$(grep -oP '^if_kernel_gte=\\K[^:]+:[0-9]+' \"$CFG\" || true)\nif [ -n \"$COND\" ]; then\n    THRESHOLD=$(echo \"$COND\" | cut -d: -f1)\n    COND_MTU=$(echo \"$COND\" | cut -d: -f2)\nelse\n    THRESHOLD=\"\"\n    COND_MTU=\"\"\nfi\nKV=$(uname -r | cut -d- -f1)"}, {"title": "Align a container build with its Kustomize manifest", "area": "Containers & cloud", "summary": "Align the Dockerfile at /environment/Dockerfile with the files referenced by the kustomization in /app (kustomization.yaml), notably config.yaml.", "instruction": "<p>Align the Dockerfile at /environment/Dockerfile with the files referenced by the kustomization in /app (kustomization.yaml), notably config.yaml.<\/p><p>Generate all required deliverables: result.txt (containing &#x27;apiVersion=v1&#x27;), integrity checksums, a summary, a build log, and an artifact inventory.<\/p><p>Use the inventory generator script at /opt/sources/templates/inventory_gen.sh — follow /environment/GENERATOR.md for its working directory and invocation.<\/p><p>Inspect /environment/REQUIREMENTS.md and /environment/EVIDENCE_GUIDE.md for additional requirements, evidence bundle specifications, and archive packaging rules.<\/p><p>Assemble an evidence bundle in /app/evidence that includes the deliverables and a manifest, then create a compressed tar archive named evidence.tar.gz inside that directory that contains the bundle contents.<\/p><p>Before final verification, update config.yaml according to /environment/CONFIG_SCHEMA.md and validate it with /opt/tools/validate_config.sh.<\/p><p>Finally, run /opt/tools/verify.sh to complete verification (it now also checks the evidence archive).<\/p>", "base": "ubuntu:22.04", "lines": 311, "tags": ["kubernetes", "kustomize", "secrets"], "replay": [["$", "cp -f \"$SOURCES_DIR/config.yaml\" \"$APP_DIR/config.yaml\""], ["$", "sed -i \"/^CMD /i COPY config.yaml /app/config.yaml\" \"$DOCKERFILE\""], ["$", "sha256sum \"$APP_DIR/$f\" >> \"$INTEGRITY\""], ["$", "kustomize build \"$APP_DIR\" > \"$RESULT\""], ["$", "sed -i 's/^apiVersion: v1$/apiVersion=v1/' \"$RESULT\""], ["$", "tar czf evidence.tar.gz *"]], "code": "set -euo pipefail\nAPP_DIR=\"/app\"\nSOURCES_DIR=\"/opt/sources\"\nDOCKERFILE=\"/environment/Dockerfile\"\nREQUIREMENTS=\"/environment/REQUIREMENTS.md\"\nRESULT=\"$APP_DIR/result.txt\"\nSUMMARY=\"$APP_DIR/summary.txt\"\nINTEGRITY=\"$APP_DIR/integrity.txt\"\nINVENTORY=\"$APP_DIR/artifact_inventory.txt\"\nBUILD_LOG=\"$APP_DIR/build.log\"\nVERIFY_SCRIPT=\"/opt/tools/verify.sh\"\nVALIDATE_CONFIG=\"/opt/tools/validate_config.sh\"\nCONFIG_SCHEMA=\"/environment/CONFIG_SCHEMA.md\"\nGENERATOR_DOC=\"/environment/GENERATOR.md\"\nEVIDENCE_GUIDE=\"/environment/EVIDENCE_GUIDE.md\"\nEVIDENCE_DIR=\"/app/evidence\"\nBUNDLE_MANIFEST=\"$EVIDENCE_DIR/manifest.txt\"\nBUNDLE_SUMMARY=\"$EVIDENCE_DIR/bundle_summary.txt\"\nMAX_ATTEMPTS=5\necho \"=== Stage: inspect ===\"\nfor f in \"$VERIFY_SCRIPT\" \"$DOCKERFILE\" \"$APP_DIR/kustomization.yaml\" \"$SOURCES_DIR/config.yaml\" \"$REQUIREMENTS\" \"$GENERATOR_DOC\" \"$CONFIG_SCHEMA\" \"$VALIDATE_CONFIG\" \"$EVIDENCE_GUIDE\"; do\n    if [ ! -f \"$f\" ]; then\n        echo \"ERROR: $f not found.\" >&2\n        exit 1\n    fi\ndone\nif [ ! -x \"$VALIDATE_CONFIG\" ]; then\n    echo \"ERROR: $VALIDATE_CONFIG is not executable.\" >&2\n    exit 1\nfi"}, {"title": "Stand up InfluxDB 2 against a compliance policy", "area": "Databases", "summary": "Set up InfluxDB 2 using the configuration at /etc/influxdb/init.json.", "instruction": "<p>Set up InfluxDB 2 using the configuration at /etc/influxdb/init.json.<\/p><p>A policy file at /etc/influxdb/schema_requirements.json defines required rules—including organization, bucket, retention, and bucket description—that your setup must match.<\/p><p>Use the compliance check script in /app/ to verify your configuration against these rules, then run the validation script and iterate until all checks pass.<\/p><p>Both compliance and validation must succeed before finalizing.<\/p><p>Produce a report at /app/result.txt containing the active connection configuration, listings of all organizations and buckets, a reconciliation section that shows MATCH for every parameter, and the final output of the compliance and validation steps.<\/p><p>Avoid destructive actions if the database already holds configuration.<\/p>", "base": "debian:bookworm", "lines": 329, "tags": ["influxdb", "database", "system-administration"], "replay": [["$", "jq empty \"$f\""], ["$", "influx setup --username \"$USERNAME\" --password \"$PASSWORD\" --org \"$ORG\" --bucket \"$BUCKET\" --retention…"], ["$", "influx bucket update --id \"$BID\" --retention \"$RETENTION\""], ["$", "influx bucket update --id \"$BID\" --description \"$REQUIRED_BUCKET_DESC\""], ["$", "chmod +x /app/validate.sh"]], "code": "set -e\nfor i in {1..30}; do\n  if curl -s http://localhost:8086/ping >/dev/null 2>&1; then\n    break\n  fi\n  sleep 1\ndone\nif ! command -v jq >/dev/null 2>&1; then\n  apt-get update -qq && apt-get install -y -qq jq\nfi\nfor f in /etc/influxdb/init.json /etc/influxdb/schema_requirements.json; do\n  if [ ! -f \"$f\" ]; then\n    echo \"Error: missing evidence file $f\" >&2\n    exit 1\n  fi\n  jq empty \"$f\" || {\n    echo \"Error: invalid JSON in $f\" >&2\n    exit 1\n  }\ndone\nREQUIRED_ORG=$(jq -r '.org // empty' /etc/influxdb/schema_requirements.json)\nREQUIRED_BUCKET=$(jq -r '.bucket // empty' /etc/influxdb/schema_requirements.json)\nREQUIRED_RETENTION=$(jq -r '.retention // \"0s\"' /etc/influxdb/schema_requirements.json)\nREQUIRED_BUCKET_DESC=$(jq -r '.bucket_description // empty' /etc/influxdb/schema_requirements.json)\nUSERNAME=$(jq -r '.username' /etc/influxdb/init.json)\nPASSWORD=$(jq -r '.password' /etc/influxdb/init.json)\nORG=$(jq -r '.org' /etc/influxdb/init.json)\nBUCKET=$(jq -r '.bucket' /etc/influxdb/init.json)\nRETENTION=$(jq -r '.retention' /etc/influxdb/init.json)\nCHANGED=0"}, {"title": "Version a dataset with DVC and reconcile its history", "area": "Version control", "summary": "Set up a DVC-tracked dataset under /app/dataset/ with two items: dataset/foo and dataset/test/0.", "instruction": "<p>Set up a DVC-tracked dataset under /app/dataset/ with two items: dataset/foo and dataset/test/0.<\/p><p>Track both with DVC, remove the original data, and commit the resulting .dvc files.<\/p><p>Then produce the following artifacts under /app: dvc_inventory.json, dvc_reconciliation.md, dvc_changes.diff, dvc_status.txt, and a directory /app/patches/ containing a patch file for each of dataset/foo.dvc and dataset/test/0.dvc that captures the changes introduced when that file was first committed.<\/p><p>The reconciliation report must document the absence of the data, the git commits that introduced each .dvc file (SHA and message), and the baseline tag (name and commit SHA).<\/p><p>The diff should be taken from that tag to HEAD.<\/p><p>The repository already has git and DVC initialized, and a git tag marks the initial DVC initialization; discover and use that tag as the baseline.<\/p><p>Refer to /app/task_files/ for the required formats of the inventory and the reconciliation report.<\/p>", "base": "ubuntu:22.04", "lines": 313, "tags": ["dvc", "data-versioning", "version-control"], "replay": [["$", "dvc add dataset/foo"], ["$", "dvc add dataset/test/0"], ["$", "git add dataset/foo.dvc dataset/test/0.dvc"], ["$", "git commit -m \"DVC track dataset items\""], ["$", "git diff \"${PARENT}..${ADD_COMMIT}\" -- \"$dvc_file\" > \"$patch_path\""]], "code": "set -euo pipefail\nif [ -s /app/dvc_changes.diff ] && \\\n   [ -s /app/dvc_reconciliation.md ] && \\\n   [ -s /app/dvc_inventory.json ] && \\\n   [ -s /app/dvc_status.txt ] && \\\n   grep -q 'Commit message:' /app/dvc_reconciliation.md && \\\n   grep -q 'Baseline tag:' /app/dvc_reconciliation.md && \\\n   [ -d /app/patches ] && \\\n   [ \"$(ls -1 /app/patches/*.patch 2>/dev/null | wc -l)\" -ge 2 ]; then\n    echo \"Required artifacts with commit messages, baseline tag, and patches already present. Nothing to do.\"\n    exit 0\nfi\ncd /app\nrm -f dataset/foo.dvc dataset/test/0.dvc\nrm -rf dataset/foo dataset/test/0\nrm -f /app/dvc_reconciliation.md \\\n      /app/dvc_inventory.json \\\n      /app/dvc_changes.diff \\\n      /app/dvc_status.txt\nrm -rf /app/patches\nINIT_COMMIT=$(git rev-list --max-parents=0 HEAD)\nif [ -z \"$INIT_COMMIT\" ]; then\n    echo \"ERROR: could not determine initial commit\"\n    exit 1\nfi\necho \"Initial commit: $INIT_COMMIT\"\nreadarray -t TAGS < <(git tag --points-at \"$INIT_COMMIT\")\nif [ \"${#TAGS[@]}\" -eq 0 ]; then\n    echo \"ERROR: no tag found pointing to the initial commit\"\n    exit 1"}, {"title": "Install an HPC scheduler's Python bindings, verified", "area": "Data & scientific computing", "summary": "Install the Flux Python package from the tarball at /app/flux-python-0.48.0rc6.tar.gz after verifying its integrity against the provided checksum file.", "instruction": "<p>Install the Flux Python package from the tarball at /app/flux-python-0.48.0rc6.tar.gz after verifying its integrity against the provided checksum file.<\/p><p>The expected manifest file may be outdated; if the installed layout differs, update the manifest and note the discrepancy in the installation report.<\/p><p>The installation report at /app/installation_report.txt must include the verified tarball hash, describe any manifest changes, and also contain additional package metadata specified by the configuration at /app/config/metadata.json — follow that config&#x27;s instructions for intermediate reporting.<\/p><p>Finally, use the Flux Python bindings to produce /app/result.txt containing exactly the string found in /app/config/expected.txt.<\/p>", "base": "fluxrm/flux-core:focal-v0.48.0", "lines": 171, "tags": ["flux", "hpc", "job-scheduling", "python-bindings"], "replay": [["$", "ACTUAL_HASH=$(sha256sum \"$TARBALL\" | awk '{print $1}')"], ["$", "pip install --no-compile \"$TARBALL\""], ["$", "find \"$FLUX_ROOT\" -type f ! -name '*.pyc' -exec sha256sum {} \\; | sort -k2 > \"$INSTALLED_MANIFEST\""], ["$", "cp \"$INSTALLED_MANIFEST\" \"$EXPECTED_MANIFEST\""], ["$", "flux start --test-size=4 bash -c '…'"]], "code": "set -euo pipefail\nTARBALL=\"/app/flux-python-0.48.0rc6.tar.gz\"\nCHECKSUM_FILE=\"/app/checksum.sha256\"\nVALIDATION_FILE=\"/app/validation.txt\"\nCONFIG_FILE=\"/app/config/expected.txt\"\nRESULT_FILE=\"/app/result.txt\"\nEXPECTED_MANIFEST=\"/app/expected_manifest.txt\"\nINSTALLED_MANIFEST=\"/app/installed_manifest.txt\"\nINSTALLATION_REPORT=\"/app/installation_report.txt\"\nMETADATA_CONFIG=\"/app/config/metadata.json\"\necho \"=== INSPECT: verify required inputs exist ===\"\nfor f in \"$TARBALL\" \"$CHECKSUM_FILE\" \"$EXPECTED_MANIFEST\" \"$CONFIG_FILE\" \"$METADATA_CONFIG\"; do\n    if [ ! -f \"$f\" ]; then\n        echo \"ERROR: Required file $f not found\" >&2\n        exit 1\n    fi\ndone\necho \"=== INSPECT: read metadata configuration ===\"\nMETADATA_FILE=$(python3 -c \"import json; cfg=json.load(open('$METADATA_CONFIG')); print(cfg['metadata_file'])\")\nFIELDS=$(python3 -c \"import json; cfg=json.load(open('$METADATA_CONFIG')); print(' '.join(cfg['required_metadata']))\")\necho \"Metadata will be gathered for fields: $FIELDS\"\necho \"Intermediate metadata file: /app/$METADATA_FILE\"\necho \"=== DERIVE: verify tarball hash ===\"\nACTUAL_HASH=$(sha256sum \"$TARBALL\" | awk '{print $1}')\nEXPECTED_HASH=$(awk '{print $1}' \"$CHECKSUM_FILE\")\nif [ \"$ACTUAL_HASH\" != \"$EXPECTED_HASH\" ]; then\n    echo \"ERROR: Tarball checksum mismatch\" >&2\n    exit 1\nfi\necho \"=== VALIDATE checksum OK, writing validation report ===\""}, {"title": "Rebuild a GRUB boot sequence from a broken system", "area": "System administration", "summary": "Assemble a three-line GRUB boot sequence (linux, initrd, boot) in /app/result.txt for the system rooted at /mnt/target.", "instruction": "<p>Assemble a three-line GRUB boot sequence (linux, initrd, boot) in /app/result.txt for the system rooted at /mnt/target.<\/p><p>Use /app/boot.cfg for console and baud (the linux line must contain <code>console=ttyS0,115200<\/code>).<\/p><p>The target&#x27;s /mnt/target/etc/device-map provides the GRUB device prefix, and /mnt/target/boot/RULES.txt gives the kernel selection rule (pick the highest version).<\/p><p>Some configuration files may be missing; use documentation under /mnt/target/etc/ to reconstruct them.<\/p><p>After building the sequence, run /app/check_boot.sh to validate.<\/p><p>Its log in /var/log/boot_check.log will report missing boot-params.<\/p><p>Inspect the log, fix any issues, re-run the check until it returns no errors, then write a root-cause diagnosis report to /app/diagnosis.txt citing the logged evidence.<\/p>", "base": "ubuntu:22.04", "lines": 214, "tags": ["grub", "bootloader", "linux", "system-administration"], "replay": [["$", "\"$CHECK_SCRIPT\""], ["$", "ERROR_LINE=$(grep -i \"ERROR\" \"$LOG\" | grep -i \"boot-params\" | head -1 || true)"], ["$", "printf '%s\\n' \"${param_lines[@]}\" > \"$BOOT_PARAMS_FILE\""], ["$", "linux_cmd=\"linux ${grub_prefix}/${actual_kernel_path} console=${console},${baud}\""], ["$", "initrd_cmd=\"initrd ${grub_prefix}/${initrd_path}\""], ["$", "cat > \"$RESULT\" <<EOF"]], "code": "set -euo pipefail\nmkdir -p /var/log\nLOG=\"/var/log/boot_check.log\"\nCHECK_SCRIPT=\"/app/check_boot.sh\"\nRESULT=\"/app/result.txt\"\nDIAGNOSIS=\"/app/diagnosis.txt\"\nTARGET=\"/mnt/target\"\nBOOT_PARAMS_FILE=\"${TARGET}/etc/boot-params\"\nSPEC_FILE=\"${TARGET}/etc/params-spec.txt\"\nDEVICE_MAP_FILE=\"${TARGET}/etc/device-map\"\nRULES_FILE=\"${TARGET}/boot/RULES.txt\"\nCONFIG=\"/app/boot.cfg\"\nif [[ ! -x \"$CHECK_SCRIPT\" ]]; then\n    echo \"Error: $CHECK_SCRIPT not found or not executable\" >&2\n    exit 1\nfi\necho \"Running initial boot check...\" >&2\nset +e  # initial run is expected to fail because boot-params missing\n\"$CHECK_SCRIPT\"\ninitial_exit=$?\nset -e\nif [[ ! -f \"$LOG\" ]]; then\n    echo \"Error: Log file $LOG was not created by $CHECK_SCRIPT\" >&2\n    exit 1\nfi\necho \"Inspecting $LOG...\" >&2\nERROR_LINE=$(grep -i \"ERROR\" \"$LOG\" | grep -i \"boot-params\" | head -1 || true)\nif [[ -z \"$ERROR_LINE\" ]]; then\n    echo \"Warning: No ERROR about boot-params found in $LOG. Proceeding without repair.\" >&2\n    ROOT_CAUSE=\"No error detected; boot-params may already exist.\""}, {"title": "Diagnose and fix a Python dependency bug", "area": "Debugging & performance", "summary": "In /app, diagnose and fix the environs URL parsing bug.", "instruction": "<p>In /app, diagnose and fix the environs URL parsing bug.<\/p><p>Run bug.py to capture the original output and use validate_output.py to diagnose the failure.<\/p><p>Consult changelog.md to determine the required environs version, upgrade the library, and produce a corrected output in fixed.txt.<\/p><p>Write a test suite test_bug.py covering both mongodb and mongodb+srv URL schemes.<\/p><p>The suite must include a test that runs validate_output.py against bug.py’s output after the fix and asserts the validator exits successfully.<\/p><p>Run the tests and save the report as test_report.txt.<\/p><p>Finally, create validation_passed.txt and a debug summary debug_summary.txt describing the error and the fix.<\/p>", "base": "python:3.11-slim", "lines": 202, "tags": ["python", "library-bug", "url-parsing", "environs"], "replay": [["$", "python /app/bug.py > /app/result.txt"], ["$", "/app/validate_output.py /app/result.txt > /app/validation_stdout.txt 2> /app/validation_stderr.txt"], ["$", "pip install \"environs==${REQUIRED_VERSION}\" 'marshmallow<4.0.0'"], ["$", "python /app/bug.py > /app/fixed.txt"]], "code": "set -euo pipefail\necho \"Ensuring pytest is available\"\npython -m pytest --version >/dev/null 2>&1 || pip install pytest\necho \"Stage 1: Create original bug.py (known buggy)\"\ncat > /app/bug.py << 'EOF'\nfrom environs import Env\nenv = Env()\nMONGODB_URL = env.url(\n    \"MONGODB_URL\",\n    default=\"mongodb://user:pass@mongo.example.local/db?authSource=admin\",\n    schemes={\"mongodb\", \"mongodb+srv\"},\n    require_tld=False,\n)\nprint(MONGODB_URL)\nEOF\necho \"Stage 2: Run bug.py and capture original output\"\npython /app/bug.py > /app/result.txt\necho \"Stage 3: Validate original output and interpret failure\"\nset +e\n/app/validate_output.py /app/result.txt > /app/validation_stdout.txt 2> /app/validation_stderr.txt\nVALIDATION_EXIT=$?\nset -e\nif [ $VALIDATION_EXIT -eq 0 ]; then\n    echo \"ERROR: validate_output.py unexpectedly succeeded on buggy output\" >&2\n    exit 1\nfi\nif ! grep -q \"ParseResult\" /app/validation_stderr.txt; then\n    echo \"ERROR: Expected 'ParseResult' indication in validator failure output\" >&2\n    exit 1\nfi"}, {"title": "Count attack telemetry with the EQL shell", "area": "Security analytics", "summary": "Working in /app, count each event_type in the dataset '/app/normalized-atomic-red-team.json.gz' using the EQL shell and save results to counts.json.", "instruction": "<p>Working in /app, count each event_type in the dataset &#x27;/app/normalized-atomic-red-team.json.gz&#x27; using the EQL shell and save results to counts.json.<\/p><p>Generate a Markdown summary table in counts_summary.md.<\/p><p>Compare the actual counts to the expected values in config/expected_counts.json.<\/p><p>Before repairing any mismatches, run the local validation script ./check.sh and capture its exact failure output to /app/initial_failure.txt.<\/p><p>The initial failure output includes a network event type count mismatch—ensure this output is saved before applying fixes.<\/p><p>Then, using the validation script and the failure information, fix the mismatches: update config/expected_counts.json (keeping its metadata), record changes in repair_note.txt, and iterate until check.sh passes.<\/p><p>Finally, produce validation_report.json with status &#x27;pass&#x27; and empty mismatches, and create /app/analysis_metadata.json as described in README.md.<\/p><p>See README.md for the full list of deliverables.<\/p>", "base": "python:3.9-slim", "lines": 242, "tags": ["eql", "event-query-language", "data-analysis", "json"], "replay": [["$", "eql shell << 'EQL_IN'"], ["eql>", "input normalized-atomic-red-team.json.gz"], ["eql>", "search | count event_type"], ["eql>", "output counts.json"], ["$", "/app/check.sh > /app/initial_failure.txt 2>&1"], ["$", "python3 << 'PYREPAIR'"]], "code": "set -euo pipefail\ncd /app\necho \"[1/6] Running EQL analysis...\"\neql shell << 'EQL_IN'\ninput normalized-atomic-red-team.json.gz\nsearch | count event_type\noutput counts.json\nEQL_IN\nif [ ! -s counts.json ]; then\n  echo \"ERROR: counts.json is missing or empty after EQL run.\" >&2\n  exit 2\nfi\necho \"[1/6] counts.json generated.\"\necho \"[2/6] Generating markdown summary...\"\npython3 << 'PYMDS'\nimport json\ndef load_counts(path):\n    with open(path) as f:\n        raw = f.read().strip()\n    try:\n        data = json.loads(raw)\n    except json.JSONDecodeError:\n        data = [json.loads(line) for line in raw.splitlines() if line.strip()]\n    if isinstance(data, dict):\n        return {k: v for k, v in data.items() if isinstance(v, int)}\n    counts = {}\n    for item in data:\n        if not isinstance(item, dict):\n            continue\n        key = item.get(\"event_type\", item.get(\"key\"))"}], "growth": {"goal": "Build a Git commit using only low-level plumbing commands", "stages": [{"lines": 21, "words": 97, "segments": [{"html": "Create a Git repository at <code>/tmp/test<\/code> and build a single commit using only low-level plumbing commands—no <code>git add<\/code>, <code>git commit<\/code>, or other porcelain.", "new": false}, {"html": "Before creating the commit, source the environment file at <code>/env/git-env.sh<\/code> to provide the author and committer identity.", "new": false}, {"html": "The commit must contain a single file <code>a.txt<\/code> with the content <code>test content<\/code> (followed by a newline, as <code>echo<\/code> produces), have the commit message <code>commit 1<\/code>, and be reachable from the <code>master<\/code> branch.", "new": false}, {"html": "When finished, <code>git log master<\/code> should show exactly that one commit and <code>git cat-file -p<\/code> on the commit’s tree object should list only <code>a.txt<\/code>.", "new": false}]}, {"lines": 95, "words": 107, "segments": [{"html": "Create a Git repository at <code>/tmp/test<\/code> and construct a complete commit using only Git&#x27;s low-level plumbing commands (no <code>git add<\/code>, <code>git commit<\/code>, etc.).", "new": false}, {"html": "The commit must contain a single file <code>a.txt<\/code> with the exact content <code>test content<\/code> followed by a newline, have the commit message <code>commit 1<\/code>, and be reachable from the <code>master<\/code> branch (<code>git log master<\/code> should show it as the sole commit).", "new": false}, {"html": "After the commit is ready, produce a JSON snapshot of the repository&#x27;s commit structure at <code>/tmp/test/repo_snapshot.json<\/code>.", "new": true}, {"html": "Validate it with <code>/usr/local/bin/validate_snapshot.sh<\/code>.", "new": true}, {"html": "Then produce a YAML snapshot at <code>/tmp/test/repo_snapshot.yaml<\/code> that captures the same semantic information.", "new": true}, {"html": "Validate it with <code>/usr/local/bin/validate_snapshot_yaml.sh<\/code>.", "new": true}, {"html": "Both validation scripts must exit successfully.", "new": true}]}, {"lines": 114, "words": 76, "segments": [{"html": "Create a Git repository at <code>/tmp/test<\/code> using only plumbing commands (no <code>git add<\/code> or <code>git commit<\/code>).", "new": false}, {"html": "The repository must contain a single commit on branch <code>master<\/code> with file <code>a.txt<\/code> (content <code>test content<\/code>) and a file <code>b.txt<\/code>—determine the correct content for <code>b.txt<\/code> from available environment clues.", "new": true}, {"html": "After the commit, produce an object manifest at <code>/tmp/test/manifest.txt<\/code> following the format described in an environment file named <code>manifest_schema.txt<\/code> (locate and refer to it).", "new": true}, {"html": "Then generate a reconciliation report at <code>/tmp/test/report.txt<\/code>.", "new": true}]}, {"lines": 157, "words": 89, "segments": [{"html": "Create a Git repository at <code>/tmp/test<\/code> using only plumbing commands (no <code>git add<\/code> or <code>git commit<\/code>).", "new": false}, {"html": "The repository must contain a single commit on branch <code>master<\/code> with message <code>first commit<\/code>, containing file <code>a.txt<\/code> (content <code>test content<\/code>) and a file <code>b.txt<\/code>—determine the correct content for <code>b.txt<\/code> from available environment clues.", "new": false}, {"html": "After the commit, produce an object manifest at <code>/tmp/test/manifest.txt<\/code> following the format described in an environment file named <code>manifest_schema.txt<\/code> (locate and refer to it).", "new": false}, {"html": "Then generate a reconciliation report at <code>/tmp/test/report.txt<\/code> that verifies object types and sizes against the manifest.", "new": true}]}, {"lines": 187, "words": 98, "segments": [{"html": "Create a Git repository at <code>/tmp/test<\/code> using only plumbing commands (no <code>git add<\/code>, <code>git commit<\/code>).", "new": false}, {"html": "The repository must contain a single commit on branch <code>master<\/code> with message <code>first commit<\/code>, including <code>a.txt<\/code> (content <code>test content<\/code>) and <code>b.txt<\/code>.", "new": false}, {"html": "Obtain the content of <code>b.txt<\/code> from the commit tagged <code>release/v1.0<\/code> in the forensic repository at <code>/app/forensics<\/code>.", "new": true}, {"html": "After the commit, produce an object manifest at <code>/tmp/test/manifest.txt<\/code> following the format specified in the <code>manifest_schema.txt<\/code> file (locate and refer to it).", "new": false}, {"html": "The manifest must include repository-relative paths for blobs.", "new": true}, {"html": "Finally, generate a reconciliation report at <code>/tmp/test/report.txt<\/code> that verifies object types and sizes against the manifest.", "new": false}]}, {"lines": 217, "words": 119, "segments": [{"html": "Create a Git repository at <code>/tmp/test<\/code> using only plumbing commands (no <code>git add<\/code>, <code>git commit<\/code>).", "new": false}, {"html": "The repository must contain a single commit on branch <code>master<\/code> with message <code>first commit<\/code>, including <code>a.txt<\/code> (content <code>test content<\/code>) and <code>b.txt<\/code>.", "new": false}, {"html": "Obtain the content of <code>b.txt<\/code> from the commit tagged <code>release/v1.0<\/code> in the forensic repository at <code>/app/forensics<\/code>.", "new": false}, {"html": "After the commit, produce an object manifest at <code>/tmp/test/manifest.txt<\/code> following the format specified in the <code>manifest_schema.txt<\/code> file (locate and refer to it).", "new": false}, {"html": "The manifest must include repository-relative paths for blobs.", "new": false}, {"html": "Generate a forensic diff report at <code>/tmp/test/forensic_diff.txt<\/code> showing the diff of <code>b.txt<\/code> between the parent of <code>release/v1.0<\/code> and the tagged commit.", "new": true}, {"html": "Finally, generate a reconciliation report at <code>/tmp/test/report.txt<\/code> that verifies object types and sizes against the manifest.", "new": false}]}, {"lines": 236, "words": 139, "segments": [{"html": "Create a Git repository at /tmp/test using only plumbing commands (no <code>git add<\/code>, <code>git commit<\/code>).", "new": false}, {"html": "The repository must contain a single commit on branch <code>master<\/code> with message <code>first commit<\/code>.", "new": false}, {"html": "Include <code>a.txt<\/code> with content <code>test content<\/code> and <code>b.txt<\/code>.", "new": true}, {"html": "Obtain the content of <code>b.txt<\/code> from the commit tagged <code>release/v1.0<\/code> in the forensic repository at /app/forensics.", "new": false}, {"html": "After the commit, produce an object manifest at /tmp/test/manifest.txt following the format described in the manifest schema file.", "new": false}, {"html": "Use the workspace README at /app/README.md to locate that schema file.", "new": true}, {"html": "The manifest must list repository-relative paths for blobs.", "new": false}, {"html": "Generate a forensic diff report at /tmp/test/forensic_diff.txt showing the diff of <code>b.txt<\/code> between the parent of <code>release/v1.0<\/code> and the tagged commit.", "new": false}, {"html": "The report must be in diff format (including the &#x27;diff --git&#x27; header).", "new": true}, {"html": "Finally, generate a reconciliation report at /tmp/test/report.txt that verifies object types and sizes against the manifest.", "new": false}]}, {"lines": 398, "words": 141, "segments": [{"html": "Create a Git repository at /tmp/test using only plumbing commands (no git add or git commit).", "new": false}, {"html": "The repository must have a single commit on branch master with message &#x27;first commit&#x27;, containing files a.txt (content &#x27;test content&#x27;) and b.txt.", "new": false}, {"html": "Discover the correct content for b.txt by inspecting the tagged commit release/v1.0 in the forensic repository at /app/forensics.", "new": false}, {"html": "After the commit, produce an object manifest and a reconciliation report inside the repository following the schema files in /app (manifest_schema.txt and report_schema.txt).", "new": true}, {"html": "Also create a forensic object manifest at /tmp/test/forensic-manifest.txt, listing all loose objects in /app/forensics in the same format as the manifest.", "new": true}, {"html": "The report must include lines for forensic-diff, forensic-diff-stat, forensic-message, and forensic-integrity as described in the report schema.", "new": true}, {"html": "The forensic-diff-stat line must be derived from the forensic repository&#x27;s diff of b.txt between the parent of the tagged commit and the tag release/v1.0.", "new": true}]}]}}</script>
   <script src="app.js" defer></script>
   <script src="live.js" defer></script>
+  <script src="terminal.js" defer></script>
 </body>
 </html>

styles.css

@@ -829,6 +829,118 @@ body.modal-open { overflow: hidden; }
 .traj-metrics div { padding: 14px 16px; border-radius: 16px; background: var(--tint); }
 .traj-metrics dt { font-size: 24px; font-weight: 800; letter-spacing: -0.03em; color: var(--accent-deep); white-space: nowrap; }
 .traj-metrics dd { margin: 6px 0 0; font-size: 13px; line-height: 1.45; color: var(--ink-2); }
+
+/* Terminal & coding examples */
+.tx-grid { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 22px; }
+.tx-card {
+  position: relative;
+  display: flex;
+  flex-direction: column;
+  overflow: hidden;
+  border-radius: 20px;
+  border: 1px solid var(--line);
+  background: var(--surface);
+  box-shadow: var(--shadow-sm);
+  cursor: pointer;
+  transition: transform 0.3s var(--ease), box-shadow 0.3s, border-color 0.3s;
+}
+.tx-card:hover, .tx-card:focus-visible { transform: translateY(-4px); box-shadow: var(--shadow); border-color: rgba(16, 185, 129, 0.4); }
+.tx-card:focus-visible { outline: 2px solid var(--accent); outline-offset: 3px; }
+.tx-card.is-extra { display: none; }
+.tx-grid.show-all .tx-card.is-extra { display: flex; }
+.tx-grid.show-all + .ex-more { display: none; }
+.tx-card .ex-open { background: #fff; color: var(--ink); box-shadow: 0 6px 16px -8px rgba(0, 0, 0, 0.5); }
+.tx-card:hover .ex-open, .tx-card:focus-visible .ex-open { opacity: 1; transform: none; }
+.tx-term { overflow: hidden; background: #0b1220; }
+.tx-card .tx-term { border-bottom: 1px solid #1e293b; }
+.tx-bar { display: flex; align-items: center; gap: 6px; padding: 10px 14px; border-bottom: 1px solid #1e293b; background: #0f172a; }
+.tx-bar i { flex: none; width: 9px; height: 9px; border-radius: 50%; background: #334155; }
+.tx-bar i:nth-child(1) { background: #f26b5b; }
+.tx-bar i:nth-child(2) { background: #f5b84b; }
+.tx-bar i:nth-child(3) { background: #34d399; }
+.tx-bar em { min-width: 0; margin-left: 8px; overflow: hidden; font: 500 11px var(--mono); font-style: normal; color: #8b9ab0; white-space: nowrap; text-overflow: ellipsis; }
+.tx-screen { height: 200px; margin: 0; padding: 12px 16px; overflow: hidden; font: 11.5px/1.65 var(--mono); color: #e2e8f0; }
+.tx-screen code { white-space: normal; }
+.tx-screen span { display: block; white-space: pre-wrap; overflow-wrap: anywhere; }
+.tx-screen b { color: #34d399; font-weight: 600; }
+.tx-screen .tx-sys { margin-top: 6px; color: #a5b4fc; }
+.tx-screen .tx-ok { color: #34d399; font-weight: 600; }
+.tx-caret { display: inline-block; width: 7px; height: 1.15em; margin-left: 2px; vertical-align: -3px; background: #34d399; animation: tx-caret 1s steps(1) infinite; }
+@keyframes tx-caret { 50% { opacity: 0; } }
+.tx-body { display: flex; flex: 1; flex-direction: column; padding: 18px 20px 20px; }
+.tx-area { display: inline-flex; align-items: center; gap: 8px; font-size: 12px; font-weight: 700; letter-spacing: 0.04em; color: var(--accent-deep); }
+.tx-area::before { content: ""; width: 8px; height: 8px; border-radius: 2px; background: var(--accent); }
+.tx-card h3 { margin: 8px 0 6px; font-size: 18px; letter-spacing: -0.02em; }
+.tx-body > p:not(.tx-area) { font-size: 14px; color: var(--muted); overflow-wrap: anywhere; }
+.tx-body code, .txm-instruction code, .growth-instruction code { padding: 1px 5px; border-radius: 5px; border: 1px solid var(--line); background: #fff; font: 500 0.86em var(--mono); color: var(--ink-2); overflow-wrap: anywhere; }
+.tx-meta { display: flex; flex-wrap: wrap; gap: 6px; margin: auto 0 0; padding: 14px 0 0; list-style: none; }
+.tx-meta li { padding: 3px 8px; border-radius: 6px; border: 1px solid var(--line); background: var(--tint-2); font: 500 11px var(--mono); color: var(--ink-2); }
+
+.tx-coverage { display: grid; grid-template-columns: minmax(0, 0.8fr) minmax(0, 1.2fr); gap: 40px; align-items: center; margin-top: 56px; padding: 30px 32px; border-radius: 24px; border: 1px solid var(--line); background: var(--surface); box-shadow: var(--shadow-sm); }
+.tx-coverage-copy h3 { font-size: 22px; letter-spacing: -0.02em; }
+.tx-coverage-copy p { margin-top: 10px; font-size: 15px; color: var(--muted); }
+.tx-bars { display: grid; gap: 9px; margin: 0; padding: 0; list-style: none; }
+.tx-bars li { display: grid; grid-template-columns: 200px minmax(0, 1fr) 44px; gap: 12px; align-items: center; font-size: 13.5px; color: var(--ink-2); }
+.txb-track { height: 10px; overflow: hidden; border-radius: 999px; background: var(--tint); }
+.txb-track i { display: block; width: var(--w); height: 100%; border-radius: inherit; background: linear-gradient(90deg, var(--accent), var(--indigo)); transform-origin: left; }
+.js .tx-coverage .txb-track i { transform: scaleX(0); transition: transform 1s var(--ease); transition-delay: calc(var(--i, 0) * 60ms + 0.2s); }
+.js .tx-coverage.is-visible .txb-track i { transform: none; }
+.txb-pct { font: 600 12.5px var(--mono); color: var(--accent-deep); text-align: right; }
+
+.txm-grid { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 24px; }
+.txm-h { margin: 0 0 10px; font-size: 11.5px; font-weight: 700; letter-spacing: 0.08em; text-transform: uppercase; color: var(--accent-deep); }
+.txm-h code { font: inherit; text-transform: none; letter-spacing: 0; }
+.txm-col .tx-term + .txm-h { margin-top: 20px; }
+.txm-instruction { padding: 16px 18px; border-radius: 14px; border: 1px solid var(--line); background: var(--tint-2); font-size: 15px; line-height: 1.65; color: var(--ink-2); overflow-wrap: anywhere; }
+.txm-instruction p + p { margin-top: 6px; }
+.txm-facts { margin: 16px 0 0; }
+.txm-facts div { display: grid; grid-template-columns: 136px minmax(0, 1fr); gap: 12px; padding: 11px 0; border-top: 1px solid var(--line); }
+.txm-facts dt { padding-top: 2px; font-size: 11.5px; font-weight: 700; letter-spacing: 0.08em; text-transform: uppercase; color: var(--accent-deep); }
+.txm-facts dd { margin: 0; font-size: 14px; color: var(--ink-2); overflow-wrap: anywhere; }
+.tx-term-lg { border-radius: 14px; border: 1px solid #1e293b; }
+.tx-term-lg .tx-screen { height: 236px; font-size: 12px; }
+.txm-code { max-height: 300px; margin: 0; padding: 14px 16px; overflow: auto; border-radius: 14px; background: #0b1220; color: #cbd5e1; font: 11.5px/1.65 var(--mono); white-space: pre; }
+#txm-cta { margin-top: 22px; }
+
+/* Task growth */
+.growth { margin-top: 64px; padding: 32px; border-radius: 24px; border: 1px solid var(--line); background: var(--surface); box-shadow: var(--shadow); }
+.growth-head { display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 28px; align-items: end; }
+.growth-copy .kicker { margin-bottom: 10px; }
+.growth-copy h3 { font-size: clamp(22px, 2.2vw, 28px); line-height: 1.15; letter-spacing: -0.025em; }
+.growth-copy p:not(.kicker) { max-width: 640px; margin-top: 10px; font-size: 15.5px; color: var(--ink-2); }
+.growth-steps { display: flex; flex-wrap: wrap; gap: 6px; align-items: center; justify-content: flex-end; }
+.gstep { display: grid; place-items: center; align-content: center; gap: 3px; width: 46px; height: 50px; padding: 0; border-radius: 12px; border: 1px solid var(--line); background: #fff; color: var(--muted); font: inherit; cursor: pointer; transition: background-color 0.25s, border-color 0.25s, color 0.25s; }
+.gstep span { font-size: 9px; font-weight: 700; letter-spacing: 0.08em; text-transform: uppercase; }
+.gstep strong { font: 700 16px/1 var(--mono); color: var(--ink-2); }
+.gstep:hover { border-color: #c9d2cc; }
+.gstep.is-done { border-color: rgba(16, 185, 129, 0.3); background: var(--accent-soft); }
+.gstep[aria-pressed="true"] { border-color: var(--ink); background: var(--ink); color: #9aa4b2; }
+.gstep[aria-pressed="true"] strong { color: #fff; }
+.gplay { height: 50px; margin-left: 4px; padding: 0 14px; border-radius: 12px; border: 1px solid var(--line); background: var(--tint-2); color: var(--ink-2); font: 600 13px var(--font); cursor: pointer; }
+.gplay:hover { border-color: #c9d2cc; }
+.growth-body { display: grid; grid-template-columns: minmax(0, 1.5fr) minmax(0, 1fr); gap: 28px; margin-top: 26px; }
+.growth-instruction { min-height: 300px; padding: 20px 22px; border-radius: 16px; border: 1px solid var(--line); background: var(--tint-2); font-size: 15px; line-height: 1.75; color: var(--ink-2); overflow-wrap: anywhere; }
+.g-text { animation: g-in 0.45s var(--ease); }
+@keyframes g-in { from { opacity: 0; transform: translateY(6px); } }
+.growth-instruction mark { padding: 2px 3px; border-radius: 4px; background: rgba(16, 185, 129, 0.2); color: var(--ink); -webkit-box-decoration-break: clone; box-decoration-break: clone; animation: g-mark 1.2s var(--ease); }
+@keyframes g-mark { from { background: rgba(16, 185, 129, 0.55); } }
+.growth-stats { display: grid; gap: 14px; align-content: start; }
+.gs-stat { padding: 16px 18px; border-radius: 16px; background: var(--tint); }
+.gs-stat span { display: block; font-size: 11.5px; font-weight: 700; letter-spacing: 0.08em; text-transform: uppercase; color: var(--accent-deep); }
+.gs-stat strong { display: block; margin-top: 4px; font-size: 26px; font-weight: 800; letter-spacing: -0.03em; color: var(--ink); }
+.gs-bar { height: 8px; margin-top: 10px; overflow: hidden; border-radius: 999px; background: rgba(15, 23, 42, 0.08); }
+.gs-bar i { display: block; width: 0; height: 100%; border-radius: inherit; background: linear-gradient(90deg, var(--accent), var(--indigo)); transition: width 0.7s var(--ease); }
+.gs-bar-alt i { background: linear-gradient(90deg, #6366f1, #a78bfa); }
+.gs-spark { margin: 0; padding: 14px 16px 10px; border-radius: 16px; border: 1px solid var(--line); }
+.gs-spark svg { display: block; width: 100%; height: auto; overflow: visible; }
+.gs-spark figcaption { margin-top: 6px; font-size: 12px; color: var(--muted); }
+.gs-area { fill: rgba(16, 185, 129, 0.12); }
+.gs-line { fill: none; stroke: var(--accent); stroke-width: 2; stroke-linejoin: round; stroke-linecap: round; }
+.gs-dot { fill: #fff; stroke: var(--accent); stroke-width: 1.6; }
+.gs-dot.is-on { fill: var(--accent); }
+.gs-guide { stroke: rgba(15, 23, 42, 0.2); stroke-width: 1; stroke-dasharray: 3 3; transition: transform 0.5s var(--ease); }
+.gs-note { font-size: 12px; color: var(--muted); }
+
 /* Scroll reveal */
 .js .reveal { opacity: 0; transform: translateY(18px); transition: opacity 0.8s var(--ease), transform 0.8s var(--ease); }
 .js .reveal.is-visible { opacity: 1; transform: none; }
@@ -861,6 +973,13 @@ body.modal-open { overflow: hidden; }
   .ex-grid { grid-template-columns: repeat(2, 1fr); }
   .ex-facts { grid-template-columns: repeat(2, 1fr); }
   .traj-grid { grid-template-columns: minmax(0, 1fr); gap: 36px; }
+  .tx-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); }
+  .tx-coverage { grid-template-columns: minmax(0, 1fr); gap: 22px; }
+  .txm-grid { grid-template-columns: minmax(0, 1fr); }
+  .growth-head { grid-template-columns: minmax(0, 1fr); gap: 20px; }
+  .growth-steps { justify-content: flex-start; }
+  .growth-body { grid-template-columns: minmax(0, 1fr); }
+  .growth-instruction { min-height: 0; }
 }
 
 @media (max-width: 640px) {
@@ -882,6 +1001,18 @@ body.modal-open { overflow: hidden; }
   .traj-visual { padding: 16px; }
   .checklist { position: static; margin-top: 14px; max-width: none; }
   .paper-card { padding: 24px; }
+  .tx-grid { grid-template-columns: minmax(0, 1fr); }
+  .tx-coverage { margin-top: 40px; padding: 22px 18px; }
+  .tx-bars { gap: 12px; }
+  .tx-bars li { grid-template-columns: minmax(0, 1fr) 36px; gap: 4px 10px; font-size: 13px; }
+  .txb-label { grid-column: 1 / -1; }
+  .txm-facts div { grid-template-columns: 1fr; gap: 4px; }
+  .growth { margin-top: 44px; padding: 20px 16px; }
+  .growth-steps { gap: 4px; }
+  .gstep { width: 34px; height: 40px; border-radius: 10px; }
+  .gstep span { display: none; }
+  .gplay { height: 40px; margin-left: 0; }
+  .growth-instruction { padding: 16px; font-size: 14.5px; }
 }
 
 @media (prefers-reduced-motion: reduce) {

terminal.js

@@ -0,0 +1,418 @@
+(() => {
+  'use strict';
+
+  const $ = (sel, root = document) => root.querySelector(sel);
+  const $$ = (sel, root = document) => Array.from(root.querySelectorAll(sel));
+  const reduceMotion = window.matchMedia('(prefers-reduced-motion: reduce)').matches;
+
+  const source = $('#terminal-data');
+  if (!source) return;
+  let DATA;
+  try {
+    DATA = JSON.parse(source.textContent);
+  } catch (err) {
+    return;
+  }
+
+  const contactHref = (subject) => {
+    const link = $('[data-contact]');
+    const href = link ? link.getAttribute('href') || '' : '';
+    const address = href.startsWith('mailto:') ? href.slice(7).split('?')[0] : '';
+    return address ? `mailto:${address}?subject=${encodeURIComponent(subject)}` : '#contact';
+  };
+
+  const VERIFY = [
+    ['tx-sys', 'Running verifier in a fresh sandbox…'],
+    ['tx-ok', '✓ All checks passed'],
+  ];
+
+  class Replayer {
+    constructor(screen, lines) {
+      this.screen = screen;
+      this.code = $('code', screen) || screen;
+      this.lines = lines;
+      this.timer = 0;
+      this.running = false;
+      this.caret = document.createElement('i');
+      this.caret.className = 'tx-caret';
+      this.reset();
+    }
+
+    reset() {
+      this.code.replaceChildren();
+      this.line = 0;
+      this.char = 0;
+      this.phase = 'type';
+      this.verified = 0;
+      this.text = null;
+    }
+
+    prompt(symbol) {
+      const span = document.createElement('span');
+      span.className = 'tx-cmd';
+      const b = document.createElement('b');
+      b.textContent = symbol;
+      const text = document.createTextNode('');
+      span.append(b, ' ', text);
+      this.code.append(span);
+      return { span, text };
+    }
+
+    status(cls, message) {
+      const span = document.createElement('span');
+      span.className = cls;
+      span.textContent = message;
+      this.code.append(span);
+    }
+
+    renderStatic() {
+      this.stop();
+      this.reset();
+      this.lines.forEach(([symbol, line]) => {
+        this.prompt(symbol).text.data = line;
+      });
+      VERIFY.forEach(([cls, message]) => this.status(cls, message));
+    }
+
+    start(delay = 0) {
+      if (this.running) return;
+      this.running = true;
+      this.schedule(delay);
+    }
+
+    stop() {
+      this.running = false;
+      clearTimeout(this.timer);
+    }
+
+    schedule(ms) {
+      clearTimeout(this.timer);
+      if (this.running) this.timer = setTimeout(() => this.tick(), ms);
+    }
+
+    scroll() {
+      this.screen.scrollTop = this.screen.scrollHeight;
+    }
+
+    tick() {
+      if (!this.running) return;
+      if (this.phase === 'type') {
+        if (this.line >= this.lines.length) {
+          this.caret.remove();
+          this.phase = 'verify';
+          this.schedule(420);
+          return;
+        }
+        const [symbol, line] = this.lines[this.line];
+        if (!this.text) {
+          const { span, text } = this.prompt(symbol);
+          span.append(this.caret);
+          this.text = text;
+          this.scroll();
+          this.schedule(160);
+          return;
+        }
+        this.char = Math.min(line.length, this.char + Math.max(1, Math.ceil(line.length / 40)));
+        this.text.data = line.slice(0, this.char);
+        if (this.char >= line.length) {
+          this.line += 1;
+          this.char = 0;
+          this.text = null;
+          this.scroll();
+          this.schedule(300);
+          return;
+        }
+        this.schedule(22);
+        return;
+      }
+      if (this.phase === 'verify') {
+        if (this.verified >= VERIFY.length) {
+          this.prompt('$').span.append(this.caret);
+          this.scroll();
+          this.phase = 'hold';
+          this.schedule(3200);
+          return;
+        }
+        const [cls, message] = VERIFY[this.verified];
+        this.verified += 1;
+        this.status(cls, message);
+        this.scroll();
+        this.schedule(this.verified === 1 ? 1000 : 200);
+        return;
+      }
+      this.reset();
+      this.schedule(260);
+    }
+  }
+
+  function initCards(tasks) {
+    const grid = $('#tx-grid');
+    if (!grid) return;
+    const cards = $$('.tx-card', grid);
+    const players = cards.map((card) => {
+      const task = tasks[Number(card.dataset.index)];
+      return task ? new Replayer($('.tx-screen', card), task.replay) : null;
+    });
+
+    if (reduceMotion || !('IntersectionObserver' in window)) {
+      players.forEach((p) => p && p.renderStatic());
+    } else {
+      const observer = new IntersectionObserver((entries) => {
+        entries.forEach((entry) => {
+          const i = cards.indexOf(entry.target);
+          const player = players[i];
+          if (!player) return;
+          if (entry.isIntersecting) {
+            player.start(player.started ? 0 : (i % 3) * 450);
+            player.started = true;
+          } else {
+            player.stop();
+          }
+        });
+      }, { threshold: 0.25 });
+      cards.forEach((card) => observer.observe(card));
+    }
+
+    const more = $('#tx-more');
+    const extras = cards.filter((card) => card.classList.contains('is-extra'));
+    if (more) {
+      if (!extras.length) more.hidden = true;
+      more.textContent = `Show ${extras.length} more terminal tasks`;
+      more.addEventListener('click', () => {
+        grid.classList.add('show-all');
+        more.setAttribute('aria-expanded', 'true');
+        if (extras[0]) extras[0].focus({ preventScroll: true });
+      });
+    }
+    return cards;
+  }
+
+  function initModal(tasks, cards) {
+    const modal = $('#tx-modal');
+    if (!modal || !cards) return;
+    const sheet = $('.ex-sheet', modal);
+    const closeButton = $('.icon-btn[data-tx-close]', modal);
+    const field = (id) => document.getElementById(id);
+    const f = {
+      area: field('txm-area'),
+      title: field('txm-title'),
+      tags: field('txm-tags'),
+      instruction: field('txm-instruction'),
+      base: field('txm-base'),
+      termBase: field('txm-term-base'),
+      lines: field('txm-lines'),
+      replay: field('txm-replay'),
+      code: field('txm-code'),
+      cta: field('txm-cta'),
+    };
+    let current = 0;
+    let lastFocus = null;
+    let player = null;
+
+    const play = () => {
+      if (player) player.stop();
+      player = new Replayer(f.replay, tasks[current].replay);
+      if (reduceMotion) player.renderStatic();
+      else player.start(250);
+    };
+
+    const render = (index) => {
+      current = (index + tasks.length) % tasks.length;
+      const t = tasks[current];
+      f.area.textContent = t.area;
+      f.title.textContent = t.title;
+      f.tags.replaceChildren(...t.tags.map((tag) => {
+        const li = document.createElement('li');
+        li.className = 'trk trk-mod';
+        li.textContent = tag;
+        return li;
+      }));
+      f.instruction.innerHTML = t.instruction;
+      f.base.textContent = t.base;
+      f.termBase.textContent = t.base;
+      f.lines.textContent = `${t.lines}-line solve.sh`;
+      f.code.textContent = t.code;
+      f.code.scrollTop = 0;
+      f.cta.href = contactHref(`Terminal task sample: ${t.title}`);
+      sheet.scrollTop = 0;
+      if (!modal.hidden) play();
+    };
+
+    const open = (index) => {
+      lastFocus = document.activeElement;
+      modal.hidden = false;
+      render(index);
+      document.body.classList.add('modal-open');
+      closeButton.focus();
+    };
+    const close = () => {
+      modal.hidden = true;
+      if (player) player.stop();
+      document.body.classList.remove('modal-open');
+      if (lastFocus) lastFocus.focus({ preventScroll: true });
+    };
+
+    cards.forEach((card) => {
+      const index = Number(card.dataset.index);
+      card.addEventListener('click', () => open(index));
+      card.addEventListener('keydown', (e) => {
+        if (e.key === 'Enter' || e.key === ' ') {
+          e.preventDefault();
+          open(index);
+        }
+      });
+    });
+    $$('[data-tx-close]', modal).forEach((el) => el.addEventListener('click', close));
+    $('[data-tx-prev]', modal).addEventListener('click', () => render(current - 1));
+    $('[data-tx-next]', modal).addEventListener('click', () => render(current + 1));
+
+    document.addEventListener('keydown', (e) => {
+      if (modal.hidden) return;
+      if (e.key === 'Escape') {
+        e.preventDefault();
+        close();
+      } else if (e.key === 'ArrowRight') {
+        render(current + 1);
+      } else if (e.key === 'ArrowLeft') {
+        render(current - 1);
+      } else if (e.key === 'Tab') {
+        const focusables = $$('button, a[href]', sheet);
+        const first = focusables[0];
+        const last = focusables[focusables.length - 1];
+        if (e.shiftKey && document.activeElement === first) {
+          e.preventDefault();
+          last.focus();
+        } else if (!e.shiftKey && document.activeElement === last) {
+          e.preventDefault();
+          first.focus();
+        }
+      }
+    });
+  }
+
+  function initGrowth(growth) {
+    const root = $('#growth');
+    if (!root || !growth || !growth.stages || !growth.stages.length) return;
+    const stages = growth.stages;
+    const steps = $('#growth-steps');
+    const instruction = $('#growth-instruction');
+    const linesEl = $('#growth-lines');
+    const wordsEl = $('#growth-words');
+    const linesBar = $('#growth-lines-bar');
+    const wordsBar = $('#growth-words-bar');
+    const spark = $('#growth-spark');
+    const maxLines = Math.max(...stages.map((s) => s.lines));
+    const maxWords = Math.max(...stages.map((s) => s.words));
+    const svgNS = 'http://www.w3.org/2000/svg';
+
+    const W = 240;
+    const H = 72;
+    const P = 6;
+    const xs = stages.map((_, i) => P + (i * (W - 2 * P)) / Math.max(1, stages.length - 1));
+    const ys = stages.map((s) => H - P - ((H - 2 * P) * s.lines) / maxLines);
+    const pts = xs.map((x, i) => `${x.toFixed(1)},${ys[i].toFixed(1)}`).join(' ');
+    const make = (tag, attrs) => {
+      const node = document.createElementNS(svgNS, tag);
+      Object.entries(attrs).forEach(([k, v]) => node.setAttribute(k, v));
+      spark.append(node);
+      return node;
+    };
+    spark.replaceChildren();
+    make('polygon', { class: 'gs-area', points: `${P},${H - P} ${pts} ${W - P},${H - P}` });
+    make('polyline', { class: 'gs-line', points: pts });
+    const guide = make('line', { class: 'gs-guide', x1: 0, x2: 0, y1: 2, y2: H - 2 });
+    const dots = xs.map((x, i) => make('circle', { class: 'gs-dot', cx: x.toFixed(1), cy: ys[i].toFixed(1), r: 3 }));
+
+    let index = 0;
+    let shown = { lines: 0, words: 0 };
+    let tween = 0;
+    const countTo = (target) => {
+      cancelAnimationFrame(tween);
+      const from = { ...shown };
+      const t0 = performance.now();
+      const step = (now) => {
+        const k = reduceMotion ? 1 : Math.min(1, (now - t0) / 600);
+        const e = 1 - (1 - k) ** 3;
+        shown = {
+          lines: Math.round(from.lines + (target.lines - from.lines) * e),
+          words: Math.round(from.words + (target.words - from.words) * e),
+        };
+        linesEl.textContent = `${shown.lines} lines`;
+        wordsEl.textContent = `${shown.words} words`;
+        if (k < 1) tween = requestAnimationFrame(step);
+      };
+      tween = requestAnimationFrame(step);
+    };
+
+    const buttons = stages.map((_, i) => {
+      const b = document.createElement('button');
+      b.type = 'button';
+      b.className = 'gstep';
+      b.setAttribute('aria-label', `Stage ${i + 1} of ${stages.length}`);
+      b.innerHTML = `<span>Stage</span><strong>${i + 1}</strong>`;
+      b.addEventListener('click', () => {
+        setAuto(false);
+        show(i);
+      });
+      return b;
+    });
+    const toggle = document.createElement('button');
+    toggle.type = 'button';
+    toggle.className = 'gplay';
+    steps.replaceChildren(...buttons, toggle);
+
+    const show = (i) => {
+      index = i;
+      const stage = stages[i];
+      buttons.forEach((b, k) => {
+        b.setAttribute('aria-pressed', String(k === i));
+        b.classList.toggle('is-done', k < i);
+      });
+      const text = document.createElement('p');
+      text.className = 'g-text';
+      text.innerHTML = stage.segments.map((s) => (s.new ? `<mark>${s.html}</mark>` : s.html)).join(' ');
+      instruction.replaceChildren(text);
+      linesBar.style.width = `${((100 * stage.lines) / maxLines).toFixed(1)}%`;
+      wordsBar.style.width = `${((100 * stage.words) / maxWords).toFixed(1)}%`;
+      countTo(stage);
+      dots.forEach((d, k) => {
+        d.classList.toggle('is-on', k <= i);
+        d.setAttribute('r', k === i ? 5 : 3);
+      });
+      guide.style.transform = `translateX(${xs[i].toFixed(1)}px)`;
+    };
+
+    let auto = !reduceMotion;
+    let visible = false;
+    let timer = 0;
+    const schedule = () => {
+      clearTimeout(timer);
+      if (!auto || !visible) return;
+      timer = setTimeout(() => {
+        show(index === stages.length - 1 ? 0 : index + 1);
+        schedule();
+      }, index === stages.length - 1 ? 6000 : 4200);
+    };
+    const setAuto = (on) => {
+      auto = on;
+      toggle.textContent = on ? 'Pause' : 'Play';
+      toggle.setAttribute('aria-label', on ? 'Pause stage autoplay' : 'Play stages automatically');
+      schedule();
+    };
+    toggle.addEventListener('click', () => setAuto(!auto));
+
+    show(0);
+    setAuto(auto);
+    if ('IntersectionObserver' in window) {
+      new IntersectionObserver((entries) => {
+        visible = entries[0].isIntersecting;
+        schedule();
+      }, { threshold: 0.35 }).observe(root);
+    }
+  }
+
+  const tasks = DATA.tasks || [];
+  const cards = initCards(tasks);
+  initModal(tasks, cards);
+  initGrowth(DATA.growth);
+})();