Add a compact Presentazione tour of verified algorithms

docs/_includes/header.html

@@ -6,6 +6,7 @@
     </a>
 
     <nav class="site-navigation" aria-label="Primary navigation">
+      <a href="{{ '/presentazione/' | relative_url }}">Presentazione</a>
       <a href="{{ '/pipeline/' | relative_url }}">Pipeline</a>
       <a href="{{ '/worked-example/' | relative_url }}">Worked example</a>
       <a href="{{ '/reference/' | relative_url }}">Reference</a>

docs/_includes/narrative-static.html

@@ -10,6 +10,19 @@
   <figcaption>
     <strong>{{ include.label | escape }}.</strong>
     {{ include.caption | escape }}
+    {% if page.url == '/presentazione/' %}
+    <a class="full-size-image" href="{{ include.image | relative_url }}">Open full-size image</a>
+    <details class="technical-provenance">
+      <summary>Technical provenance</summary>
+      <span class="asset-source">Source contract: <code>{{ include.source | escape }}</code>.</span>
+      {% if include.image contains '/assets/presentazione/search-unsat/' %}
+      <a href="{{ '/assets/presentazione/search-unsat/reference-manifest.json' | relative_url }}">Search-UNSAT trace manifest and SHA-256 identities</a>
+      {% else %}
+      <a href="{{ '/assets/narrative/manifest.json' | relative_url }}">Asset manifest and SHA-256 identities</a>
+      {% endif %}
+    </details>
+    {% else %}
     <span class="asset-source">Source contract: <code>{{ include.source | escape }}</code>.</span>
+    {% endif %}
   </figcaption>
 </figure>

docs/assets/css/site.css

@@ -389,6 +389,40 @@ figure {
   font-size: 0.68rem;
 }
 
+/* The technical tour alone gets wider figures; existing stories retain their layout. */
+body[data-page-kind="presentazione"] .article {
+  width: min(100% - (2 * var(--gutter)), var(--presentation-width));
+}
+
+body[data-page-kind="presentazione"] .article__body {
+  max-width: none;
+}
+
+body[data-page-kind="presentazione"] .article__body > :not(figure),
+body[data-page-kind="presentazione"] .document-return {
+  max-width: var(--reading-width);
+  margin-inline: auto;
+}
+
+body[data-page-kind="presentazione"] .full-size-image {
+  display: block;
+  margin-top: 0.75rem;
+}
+
+body[data-page-kind="presentazione"] .technical-provenance {
+  margin-top: 0.75rem;
+  overflow-wrap: anywhere;
+}
+
+body[data-page-kind="presentazione"] summary {
+  cursor: pointer;
+}
+
+body[data-page-kind="presentazione"] summary:focus-visible {
+  outline: 2px solid var(--accent);
+  outline-offset: 4px;
+}
+
 .article-abstract {
   max-width: 40rem;
   margin: 0;

docs/assets/presentazione/search-unsat/formula-7c2cbd3397a3743be504c419ab793454e96b86050d69d1bc8b1f63b61ae9ead2.json

@@ -0,0 +1,42 @@
+{
+  "schema": "cm13-formula-snapshot-v1",
+  "source": {
+    "name": "pipeline_unsat_search.cm13",
+    "sha256": "ea2b8feb6eb8f4e722f1ec9021445c84858120c8567d42528631bdfb77400a94"
+  },
+  "variable_count": 4,
+  "clauses": [
+    {
+      "clause_id": 0,
+      "variables": [
+        0,
+        0,
+        1
+      ]
+    },
+    {
+      "clause_id": 1,
+      "variables": [
+        0,
+        1,
+        2
+      ]
+    },
+    {
+      "clause_id": 2,
+      "variables": [
+        1,
+        2,
+        2
+      ]
+    },
+    {
+      "clause_id": 3,
+      "variables": [
+        3,
+        3,
+        3
+      ]
+    }
+  ]
+}