eyeprolog 0.5.3

package/book-assets/iso-state-operator-console.svg

@@ -0,0 +1,33 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="410" viewBox="0 0 900 410" role="img" aria-labelledby="title desc">
+  <title id="title">Dynamic solver state and operator notation</title>
+  <desc id="desc">Initialization feeds an ordered dynamic task queue while an operator declaration changes readable notation that still decomposes to an ordinary reports term.</desc>
+  <defs>
+    <style>
+      .bg{fill:#e9f1ee}.panel{fill:#fffdf7;stroke:#243447;stroke-width:2}.slot{fill:#dcefe8;stroke:#2f6f55;stroke-width:2}
+      .first{fill:#f3dddd;stroke:#8b3a3a;stroke-width:2}.last{fill:#fff0d9;stroke:#9a5b18;stroke-width:2}.blue{fill:#dcebf0;stroke:#526273;stroke-width:2}
+      .title{fill:#8b3a3a;font:bold 23px Georgia,serif}.label{fill:#243447;font:bold 16px Georgia,serif}
+      .code{fill:#172334;font:14px ui-monospace,SFMono-Regular,Consolas,monospace}.prose{fill:#435166;font:15px Georgia,serif}
+      .line{fill:none;stroke:#526273;stroke-width:2.5}.redline{fill:none;stroke:#8b3a3a;stroke-width:2.5}
+    </style>
+    <marker id="a" markerWidth="7" markerHeight="7" refX="6" refY="3.5" orient="auto"><path d="M0 0L7 3.5L0 7Z" fill="#526273"/></marker>
+    <marker id="r" markerWidth="7" markerHeight="7" refX="6" refY="3.5" orient="auto"><path d="M0 0L7 3.5L0 7Z" fill="#8b3a3a"/></marker>
+  </defs>
+  <rect width="900" height="410" class="bg"/><text class="title" x="450" y="34" text-anchor="middle">SOLVER-LOCAL STATE AND READABLE SYNTAX</text>
+
+  <rect class="panel" x="25" y="65" width="500" height="300" rx="12"/><text class="label" x="275" y="96" text-anchor="middle">DYNAMIC task/2 CLAUSE ORDER</text>
+  <rect class="blue" x="50" y="120" width="170" height="54" rx="9"/><text class="code" x="135" y="143" text-anchor="middle">initialization/1</text><text class="prose" x="135" y="163" text-anchor="middle">before queries</text>
+  <path class="redline" marker-end="url(#r)" d="M220 147H270"/>
+  <rect class="first" x="275" y="120" width="220" height="54" rx="9"/><text class="code" x="385" y="152" text-anchor="middle">asserta(check_power)</text>
+  <rect class="slot" x="275" y="194" width="220" height="54" rx="9"/><text class="code" x="385" y="226" text-anchor="middle">task(check_network)</text>
+  <rect class="last" x="275" y="268" width="220" height="54" rx="9"/><text class="code" x="385" y="300" text-anchor="middle">assertz(archive_logs)</text>
+  <path class="line" d="M245 147V295M245 147H270M245 221H270M245 295H270"/>
+  <text class="prose" x="135" y="222" text-anchor="middle">retract removes</text><text class="prose" x="135" y="244" text-anchor="middle">the first match;</text><text class="prose" x="135" y="266" text-anchor="middle">backtracking does</text><text class="prose" x="135" y="288" text-anchor="middle">not undo updates</text>
+
+  <rect class="panel" x="555" y="65" width="320" height="300" rx="12"/><text class="label" x="715" y="96" text-anchor="middle">OPERATOR TABLE</text>
+  <rect class="blue" x="580" y="120" width="270" height="58" rx="9"/><text class="code" x="715" y="145" text-anchor="middle">op(600, xfx, reports)</text><text class="prose" x="715" y="166" text-anchor="middle">parses subsequent text</text>
+  <path class="line" marker-end="url(#a)" d="M715 178V210"/>
+  <rect class="slot" x="580" y="210" width="270" height="55" rx="9"/><text class="code" x="715" y="243" text-anchor="middle">sensor_7 reports temperature</text>
+  <path class="line" marker-end="url(#a)" d="M715 265V295"/>
+  <rect class="last" x="580" y="295" width="270" height="48" rx="9"/><text class="code" x="715" y="325" text-anchor="middle">reports(sensor_7, temperature)</text>
+  <text class="prose" x="450" y="393" text-anchor="middle">State changes clause order; operators change surface form—not the underlying term.</text>
+</svg>

package/book-assets/iso-stream-roundtrip.svg

@@ -0,0 +1,32 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="420" viewBox="0 0 900 420" role="img" aria-labelledby="title desc">
+  <title id="title">A Prolog term round trip through a text stream</title>
+  <desc id="desc">A structured event term is canonically written with a period, stored as text, read back with variable metadata, and followed to the end-of-stream state.</desc>
+  <defs>
+    <style>
+      .bg{fill:#f4efe3}.term{fill:#dcefe8;stroke:#2f6f55;stroke-width:2}.stream{fill:#dcebf0;stroke:#526273;stroke-width:2}
+      .file{fill:#fffdf7;stroke:#243447;stroke-width:2}.eof{fill:#fff0d9;stroke:#9a5b18;stroke-width:2}
+      .title{fill:#8b3a3a;font:bold 23px Georgia,serif}.label{fill:#243447;font:bold 16px Georgia,serif}
+      .code{fill:#172334;font:14px ui-monospace,SFMono-Regular,Consolas,monospace}.prose{fill:#435166;font:15px Georgia,serif}
+      .line{fill:none;stroke:#526273;stroke-width:2.5}.unit{fill:#fffdf7;stroke:#526273;stroke-width:1.5}
+    </style>
+    <marker id="a" markerWidth="7" markerHeight="7" refX="6" refY="3.5" orient="auto"><path d="M0 0L7 3.5L0 7Z" fill="#526273"/></marker>
+  </defs>
+  <rect width="900" height="420" class="bg"/><text class="title" x="450" y="34" text-anchor="middle">TERM → TEXT STREAM → TERM</text>
+  <rect class="term" x="20" y="125" width="190" height="105" rx="12"/><text class="code" x="115" y="156" text-anchor="middle">STRUCTURED TERM</text><text class="code" x="115" y="184" text-anchor="middle">event(sensor_7,</text><text class="code" x="115" y="207" text-anchor="middle">online)</text>
+  <path class="line" marker-end="url(#a)" d="M210 177H258"/>
+
+  <rect class="stream" x="258" y="80" width="382" height="190" rx="14"/><text class="label" x="449" y="112" text-anchor="middle">TEXT STREAM · ordered position</text>
+  <g transform="translate(289 137)">
+    <rect class="unit" x="0" width="40" height="45"/><rect class="unit" x="40" width="40" height="45"/><rect class="unit" x="80" width="40" height="45"/><rect class="unit" x="120" width="40" height="45"/><rect class="unit" x="160" width="40" height="45"/><rect class="unit" x="200" width="40" height="45"/><rect class="unit" x="240" width="40" height="45"/><rect class="unit" x="280" width="40" height="45"/>
+    <text class="code" x="20" y="28" text-anchor="middle">e</text><text class="code" x="60" y="28" text-anchor="middle">v</text><text class="code" x="100" y="28" text-anchor="middle">e</text><text class="code" x="140" y="28" text-anchor="middle">n</text><text class="code" x="180" y="28" text-anchor="middle">t</text><text class="code" x="220" y="28" text-anchor="middle">(</text><text class="code" x="260" y="28" text-anchor="middle">…</text><text class="code" x="300" y="28" text-anchor="middle">.</text>
+  </g>
+  <text class="prose" x="449" y="211" text-anchor="middle">the period terminates one readable term</text>
+  <text class="code" x="449" y="244" text-anchor="middle">open → write → close</text>
+
+  <path class="line" marker-end="url(#a)" d="M640 177H690"/>
+  <rect class="term" x="690" y="80" width="190" height="105" rx="12"/><text class="label" x="785" y="111" text-anchor="middle">READ TERM</text><text class="code" x="785" y="142" text-anchor="middle">event(sensor_7,</text><text class="code" x="785" y="165" text-anchor="middle">online)</text>
+  <rect class="eof" x="690" y="215" width="190" height="70" rx="12"/><text class="label" x="785" y="244" text-anchor="middle">END STATE</text><text class="code" x="785" y="269" text-anchor="middle">end_of_file</text>
+
+  <rect class="file" x="180" y="318" width="540" height="72" rx="10"/><text class="code" x="450" y="342" text-anchor="middle">open → read_term → end_of_file → close</text><text class="prose" x="450" y="367" text-anchor="middle">stream type · alias · position · metadata · EOF are explicit</text>
+  <path class="line" marker-end="url(#a)" d="M785 185V210"/>
+</svg>

package/book-assets/iso-term-prism.svg

@@ -0,0 +1,30 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="400" viewBox="0 0 900 400" role="img" aria-labelledby="title desc">
+  <title id="title">A term viewed through reflective and lexical relations</title>
+  <desc id="desc">The term event sensor seven reading temperature twenty-one is decomposed into functor, arguments, univ list, variables, atom characters, and codes.</desc>
+  <defs>
+    <style>
+      .bg{fill:#f4efe3}.term{fill:#dcefe8;stroke:#2f6f55;stroke-width:2}.card{fill:#fffdf7;stroke:#243447;stroke-width:2}
+      .blue{fill:#dcebf0;stroke:#526273;stroke-width:2}.gold{fill:#fff0d9;stroke:#9a5b18;stroke-width:2}
+      .title{fill:#8b3a3a;font:bold 23px Georgia,serif}.label{fill:#243447;font:bold 16px Georgia,serif}
+      .code{fill:#172334;font:14px ui-monospace,SFMono-Regular,Consolas,monospace}.prose{fill:#435166;font:15px Georgia,serif}
+      .ray{fill:none;stroke:#526273;stroke-width:2.2}
+    </style>
+    <marker id="a" markerWidth="7" markerHeight="7" refX="6" refY="3.5" orient="auto"><path d="M0 0L7 3.5L0 7Z" fill="#526273"/></marker>
+  </defs>
+  <rect width="900" height="400" class="bg"/><text class="title" x="450" y="34" text-anchor="middle">ONE TERM, SEVERAL STANDARD VIEWS</text>
+  <polygon class="term" points="350,95 500,75 555,200 455,285 325,220"/><text class="label" x="440" y="145" text-anchor="middle">TERM</text>
+  <text class="code" x="440" y="174" text-anchor="middle">event(sensor_7,</text><text class="code" x="440" y="197" text-anchor="middle">reading(temp,21))</text>
+  <text class="prose" x="440" y="235" text-anchor="middle">persistent structure</text>
+
+  <rect class="card" x="25" y="72" width="240" height="72" rx="10"/><text class="label" x="145" y="99" text-anchor="middle">functor/3 · arg/3</text><text class="code" x="145" y="124" text-anchor="middle">event / 2 · argument 2</text>
+  <rect class="blue" x="25" y="177" width="240" height="72" rx="10"/><text class="label" x="145" y="201" text-anchor="middle">=../2</text><text class="code" x="145" y="222" text-anchor="middle">[event, sensor_7,</text><text class="code" x="145" y="242" text-anchor="middle">reading(...)]</text>
+  <rect class="gold" x="25" y="282" width="240" height="72" rx="10"/><text class="code" x="145" y="306" text-anchor="middle">copy_term · term_variables</text><text class="prose" x="145" y="328" text-anchor="middle">fresh variables;</text><text class="prose" x="145" y="347" text-anchor="middle">sharing preserved</text>
+
+  <rect class="card" x="625" y="72" width="245" height="72" rx="10"/><text class="label" x="747" y="99" text-anchor="middle">compare/3 · @&lt;/2</text><text class="prose" x="747" y="124" text-anchor="middle">order terms without evaluation</text>
+  <rect class="blue" x="625" y="177" width="245" height="72" rx="10"/><text class="label" x="747" y="204" text-anchor="middle">atom_chars/2</text><text class="code" x="747" y="229" text-anchor="middle">eye ↔ [e,y,e]</text>
+  <rect class="gold" x="625" y="282" width="245" height="72" rx="10"/><text class="code" x="747" y="309" text-anchor="middle">atom_codes · number_chars</text><text class="code" x="747" y="334" text-anchor="middle">'λ' ↔ 955 · 42 ↔ ['4','2']</text>
+
+  <path class="ray" marker-end="url(#a)" d="M345 120L270 108"/><path class="ray" marker-end="url(#a)" d="M330 190L270 213"/><path class="ray" marker-end="url(#a)" d="M365 255L270 318"/>
+  <path class="ray" marker-end="url(#a)" d="M505 112L620 108"/><path class="ray" marker-end="url(#a)" d="M550 190L620 213"/><path class="ray" marker-end="url(#a)" d="M520 255L620 318"/>
+  <text class="prose" x="450" y="382" text-anchor="middle">Reflection exposes structure; conversion exposes a boundary representation.</text>
+</svg>

package/book-assets/knowledge-engineering-workflow.svg

@@ -0,0 +1,16 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="380" viewBox="0 0 900 380" role="img" aria-labelledby="title desc">
+  <title id="title">From observations to an accountable decision</title>
+  <desc id="desc">Sensor readings and records move through normalization, domain concepts, and a decision, with a proof folder retaining the evidence.</desc>
+  <defs><marker id="a" markerWidth="10" markerHeight="10" refX="8" refY="3" orient="auto"><path d="M0 0 L0 6 L9 3Z" fill="#536b78"/></marker></defs>
+  <style>
+    .bg{fill:#eee5d3}.box{fill:#fffdf7;stroke:#243447;stroke-width:2.5}.concept{fill:#dcefe8;stroke:#2f6f55;stroke-width:3}
+    .text{fill:#243447;font:16px ui-monospace,monospace}.title{fill:#713535;font:bold 17px Georgia,serif}
+    .arrow{fill:none;stroke:#536b78;stroke-width:3;marker-end:url(#a)}.proof{fill:#e8c980;stroke:#9a5b18;stroke-width:2}
+  </style>
+  <rect width="900" height="380" class="bg"/>
+  <rect class="box" x="35" y="95" width="165" height="190" rx="8"/><text class="title" x="118" y="125" text-anchor="middle">SOURCE FACTS</text><text class="text" x="55" y="165">sensor(91)</text><text class="text" x="55" y="200">limit(80)</text><text class="text" x="55" y="235">device(b1)</text>
+  <path class="arrow" d="M200 190 H260"/><rect class="box" x="265" y="120" width="165" height="140" rx="8"/><text class="title" x="348" y="150" text-anchor="middle">NORMALIZE</text><text class="text" x="285" y="190">celsius(91)</text><text class="text" x="285" y="225">max_temp(80)</text>
+  <path class="arrow" d="M430 190 H490"/><rect class="concept" x="495" y="120" width="165" height="140" rx="8"/><text class="title" x="578" y="150" text-anchor="middle">CONCEPT</text><text class="text" x="520" y="195">overheated(b1)</text>
+  <path class="arrow" d="M660 190 H720"/><rect class="concept" x="725" y="120" width="145" height="140" rx="8"/><text class="title" x="798" y="150" text-anchor="middle">DECISION</text><text class="text" x="747" y="195">isolate(b1)</text><text class="text" x="755" y="225">cool(b1)</text>
+  <path class="arrow" d="M578 265 C578 315 665 315 715 300"/><path class="proof" d="M715 270 H845 V345 H715Z"/><path d="M715 270 H760 L775 285 H845" fill="#d9b85f" stroke="#9a5b18" stroke-width="2"/><text class="text" x="780" y="318" text-anchor="middle">why/2</text>
+</svg>

package/book-assets/laboratory-progression.svg

@@ -0,0 +1,47 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="470" viewBox="0 0 900 470" role="img" aria-labelledby="title desc">
+  <title id="title">Progression through twelve EyeProlog laboratories</title>
+  <desc id="desc">Five connected stages group laboratories one and two as relational foundations, three and four as finite search, five through seven as mathematical and symbolic methods, eight through eleven as domain reasoning, and twelve as an integrated release-quality service.</desc>
+  <defs>
+    <style>
+      .bg{fill:#f4efe3}.stage{stroke:#526273;stroke-width:2}.s1{fill:#dcefe8}.s2{fill:#c7dfe2}.s3{fill:#fff0d9}.s4{fill:#ead7d7}.s5{fill:#243447;stroke:#172334;stroke-width:3}
+      .line{fill:none;stroke:#526273;stroke-width:4;stroke-linecap:round}.arrow{fill:#526273}.title{fill:#713535;font:bold 24px Georgia,serif}.number{fill:#713535;font:bold 20px Georgia,serif}.label{fill:#172334;font:bold 17px Georgia,serif}.small{fill:#435166;font:15px Georgia,serif}.white{fill:#fffdf7}.thread{fill:#435166;font:italic 16px Georgia,serif}
+    </style>
+  </defs>
+  <rect width="900" height="470" class="bg"/>
+  <text class="title" x="450" y="38" text-anchor="middle">TWELVE LABORATORIES, ONE GROWING DISCIPLINE</text>
+  <path class="line" d="M105 245H790"/><path class="arrow" d="M778 235L796 245L778 255Z"/>
+  <path class="arrow" d="M180 237L194 245L180 253Z"/><path class="arrow" d="M345 237L359 245L345 253Z"/><path class="arrow" d="M525 237L539 245L525 253Z"/><path class="arrow" d="M705 237L719 245L705 253Z"/>
+
+  <rect class="stage s1" x="30" y="105" width="145" height="235" rx="16"/>
+  <text class="number" x="102" y="143" text-anchor="middle">1–2</text>
+  <text class="label" x="102" y="176" text-anchor="middle">RELATIONS</text>
+  <text class="small" x="102" y="207" text-anchor="middle">family</text><text class="small" x="102" y="229" text-anchor="middle">lists</text>
+  <text class="small" x="102" y="290" text-anchor="middle">state meaning</text><text class="small" x="102" y="313" text-anchor="middle">and modes</text>
+
+  <rect class="stage s2" x="195" y="105" width="145" height="235" rx="16"/>
+  <text class="number" x="267" y="143" text-anchor="middle">3–4</text>
+  <text class="label" x="267" y="176" text-anchor="middle">SEARCH</text>
+  <text class="small" x="267" y="207" text-anchor="middle">routes</text><text class="small" x="267" y="229" text-anchor="middle">puzzles</text>
+  <text class="small" x="267" y="290" text-anchor="middle">bound and</text><text class="small" x="267" y="313" text-anchor="middle">measure</text>
+
+  <rect class="stage s3" x="360" y="105" width="160" height="235" rx="16"/>
+  <text class="number" x="440" y="143" text-anchor="middle">5–7</text>
+  <text class="label" x="440" y="176" text-anchor="middle">METHODS</text>
+  <text class="small" x="440" y="207" text-anchor="middle">arithmetic · algebra</text><text class="small" x="440" y="229" text-anchor="middle">symbolic language</text>
+  <text class="small" x="440" y="290" text-anchor="middle">prove, refute,</text><text class="small" x="440" y="313" text-anchor="middle">transform</text>
+
+  <rect class="stage s4" x="540" y="105" width="160" height="235" rx="16"/>
+  <text class="number" x="620" y="143" text-anchor="middle">8–11</text>
+  <text class="label" x="620" y="176" text-anchor="middle">DOMAINS</text>
+  <text class="small" x="620" y="207" text-anchor="middle">analysis · policy</text><text class="small" x="620" y="229" text-anchor="middle">science · RDF</text>
+  <text class="small" x="620" y="290" text-anchor="middle">preserve evidence</text><text class="small" x="620" y="313" text-anchor="middle">and boundaries</text>
+
+  <rect class="stage s5" x="720" y="85" width="150" height="275" rx="18"/>
+  <text class="number white" x="795" y="133" text-anchor="middle">12</text>
+  <text class="label white" x="795" y="169" text-anchor="middle">INTEGRATE</text>
+  <text class="small white" x="795" y="203" text-anchor="middle">embedded service</text><text class="small white" x="795" y="225" text-anchor="middle">release evidence</text>
+  <text class="small white" x="795" y="291" text-anchor="middle">reproducible</text><text class="small white" x="795" y="313" text-anchor="middle">and auditable</text>
+
+  <text class="thread" x="450" y="402" text-anchor="middle">meaning → finite control → evidence → boundary → integration</text>
+  <text class="small" x="450" y="432" text-anchor="middle">Each stage keeps the obligations of the stages before it.</text>
+</svg>

package/book-assets/lists-train.svg

@@ -0,0 +1,17 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="340" viewBox="0 0 900 340" role="img" aria-labelledby="title desc">
+  <title id="title">Lists as railway carriages</title>
+  <desc id="desc">A train of labeled carriages shows a list head, its tail, and two shorter trains joining through append.</desc>
+  <style>
+    .sky{fill:#e9f1ee}.ground{fill:#eee5d3}.rail{stroke:#536b78;stroke-width:5}.tie{stroke:#76553c;stroke-width:3}
+    .car{fill:#fffdf7;stroke:#243447;stroke-width:3}.head{fill:#dcefe8;stroke:#2f6f55;stroke-width:4}
+    .wheel{fill:#536b78;stroke:#243447;stroke-width:2}.text{fill:#243447;font:18px ui-monospace,monospace}.brace{fill:none;stroke:#8b3a3a;stroke-width:3}
+  </style>
+  <rect width="900" height="340" class="sky"/><rect y="230" width="900" height="110" class="ground"/>
+  <line class="rail" x1="40" y1="275" x2="860" y2="275"/><g class="tie"><line x1="70" y1="260" x2="70" y2="290"/><line x1="150" y1="260" x2="150" y2="290"/><line x1="230" y1="260" x2="230" y2="290"/><line x1="310" y1="260" x2="310" y2="290"/><line x1="390" y1="260" x2="390" y2="290"/><line x1="470" y1="260" x2="470" y2="290"/><line x1="550" y1="260" x2="550" y2="290"/><line x1="630" y1="260" x2="630" y2="290"/><line x1="710" y1="260" x2="710" y2="290"/><line x1="790" y1="260" x2="790" y2="290"/></g>
+  <g transform="translate(70 135)"><rect class="head" width="160" height="95" rx="8"/><text class="text" x="80" y="55" text-anchor="middle">red</text><circle class="wheel" cx="40" cy="105" r="14"/><circle class="wheel" cx="120" cy="105" r="14"/></g>
+  <g transform="translate(255 135)"><rect class="car" width="160" height="95" rx="8"/><text class="text" x="80" y="55" text-anchor="middle">green</text><circle class="wheel" cx="40" cy="105" r="14"/><circle class="wheel" cx="120" cy="105" r="14"/></g>
+  <g transform="translate(440 135)"><rect class="car" width="160" height="95" rx="8"/><text class="text" x="80" y="55" text-anchor="middle">blue</text><circle class="wheel" cx="40" cy="105" r="14"/><circle class="wheel" cx="120" cy="105" r="14"/></g>
+  <path class="brace" d="M70 112 Q150 78 230 112"/><text class="text" x="150" y="73" text-anchor="middle">Head</text>
+  <path class="brace" d="M255 112 Q425 45 600 112"/><text class="text" x="425" y="38" text-anchor="middle">Tail</text>
+  <path d="M230 185 H255 M415 185 H440" stroke="#243447" stroke-width="5"/><text class="text" x="685" y="170">[Head | Tail]</text><text class="text" x="685" y="205">append joins trains</text>
+</svg>

package/book-assets/logic-and-control.svg

@@ -0,0 +1,50 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="430" viewBox="0 0 900 430" role="img" aria-labelledby="title desc">
+  <title id="title">The two readings of a logic program</title>
+  <desc id="desc">A rule in the center points left to its logical meaning and right to its operational reading.</desc>
+  <defs>
+    <marker id="arrow" markerWidth="10" markerHeight="10" refX="8" refY="3" orient="auto">
+      <path d="M0,0 L0,6 L9,3 z" fill="#4b5563"/>
+    </marker>
+    <style>
+      .paper{fill:#fffdf7;stroke:#243447;stroke-width:2}
+      .ink{fill:#172334;font:18px Georgia,serif}
+      .small{fill:#435166;font:15px Georgia,serif}
+      .label{fill:#8b3a3a;font:bold 18px Georgia,serif}
+      .code{fill:#172334;font:17px ui-monospace,SFMono-Regular,Consolas,monospace}
+      .line{stroke:#4b5563;stroke-width:2;fill:none;marker-end:url(#arrow)}
+    </style>
+  </defs>
+  <rect width="900" height="430" fill="#f4efe3"/>
+  <rect class="paper" x="318" y="120" width="264" height="180" rx="8"/>
+  <text class="label" x="450" y="155" text-anchor="middle">PROGRAM</text>
+  <text class="code" x="338" y="200">path(X,Y) :-</text>
+  <text class="code" x="352" y="230">edge(X,Z),</text>
+  <text class="code" x="352" y="260">path(Z,Y).</text>
+
+  <rect class="paper" x="35" y="55" width="235" height="305" rx="8"/>
+  <text class="label" x="152" y="92" text-anchor="middle">LOGIC</text>
+  <text class="ink" x="58" y="130">What is true?</text>
+  <path d="M65 172 C95 142,125 202,155 172 S215 202,245 172" fill="none" stroke="#2f6f78" stroke-width="4"/>
+  <circle cx="65" cy="172" r="7" fill="#2f6f78"/>
+  <circle cx="155" cy="172" r="7" fill="#2f6f78"/>
+  <circle cx="245" cy="172" r="7" fill="#2f6f78"/>
+  <text class="small" x="58" y="225">An edge followed by a</text>
+  <text class="small" x="58" y="248">path is itself a path.</text>
+  <text class="small" x="58" y="292">Ground consequences form</text>
+  <text class="small" x="58" y="315">the intended relation.</text>
+
+  <rect class="paper" x="630" y="55" width="235" height="305" rx="8"/>
+  <text class="label" x="747" y="92" text-anchor="middle">CONTROL</text>
+  <text class="ink" x="653" y="130">How is it found?</text>
+  <circle cx="680" cy="170" r="8" fill="#8b3a3a"/>
+  <circle cx="735" cy="215" r="8" fill="#8b3a3a"/>
+  <circle cx="790" cy="260" r="8" fill="#8b3a3a"/>
+  <path d="M686 176 L728 209 M741 221 L783 254" stroke="#8b3a3a" stroke-width="3"/>
+  <text class="small" x="653" y="300">Choose an edge first;</text>
+  <text class="small" x="653" y="323">then solve a smaller or</text>
+  <text class="small" x="653" y="346">reused path question.</text>
+
+  <path class="line" d="M315 175 C295 160,288 150,273 145"/>
+  <path class="line" d="M585 175 C605 160,612 150,627 145"/>
+  <text class="small" x="450" y="390" text-anchor="middle">One set of clauses, read in two complementary ways</text>
+</svg>

package/book-assets/negation-guest-registry.svg

@@ -0,0 +1,17 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="380" viewBox="0 0 900 380" role="img" aria-labelledby="title desc">
+  <title id="title">Negation and a complete guest registry</title>
+  <desc id="desc">A receptionist checks a complete event registry; one invited name is absent from the blocked list, making closed-world negation meaningful.</desc>
+  <style>
+    .wall{fill:#e9f1ee}.desk{fill:#a97852}.book{fill:#fffdf7;stroke:#243447;stroke-width:3}.line{stroke:#536b78;stroke-width:2}
+    .person{fill:#fffdf7;stroke:#243447;stroke-width:2}.coat{fill:#d7e9e2;stroke:#243447;stroke-width:2}
+    .text{fill:#243447;font:15px ui-monospace,monospace}.red{fill:#8b3a3a}.green{fill:#2f6f55}.stamp{fill:none;stroke:#2f6f55;stroke-width:4}
+  </style>
+  <rect width="900" height="380" class="wall"/><rect y="285" width="900" height="95" class="desk"/>
+  <g transform="translate(105 210)"><circle class="person" cx="0" cy="-55" r="24"/><path class="coat" d="M-38-25 Q0-50 38-25 L30 65 H-30Z"/></g>
+  <rect class="book" x="245" y="55" width="545" height="260" rx="8"/><line class="line" x1="515" y1="55" x2="515" y2="315"/>
+  <text class="text" x="380" y="90" text-anchor="middle">COMPLETE GUEST LIST</text><text class="text" x="650" y="90" text-anchor="middle">BLOCKED</text>
+  <text class="text" x="285" y="135">ada</text><circle class="green" cx="470" cy="130" r="8"/><text class="text" x="285" y="180">byron</text><circle class="green" cx="470" cy="175" r="8"/><text class="text" x="285" y="225">clara</text><circle class="green" cx="470" cy="220" r="8"/>
+  <text class="text" x="555" y="135">byron</text><circle class="red" cx="750" cy="130" r="8"/>
+  <circle class="stamp" cx="650" cy="220" r="48"/><path class="stamp" d="M620 220 L641 241 L682 195"/><text class="text" x="650" y="290" text-anchor="middle">not(blocked(clara))</text>
+  <path d="M150 165 C195 130 225 125 270 130" fill="none" stroke="#8b3a3a" stroke-width="3"/>
+</svg>

package/book-assets/part-1-relations.svg

@@ -0,0 +1,39 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="420" viewBox="0 0 900 420" role="img" aria-labelledby="title desc">
+  <title id="title">Relations in an ordinary town</title>
+  <desc id="desc">People, homes, a school, and a bicycle are connected by labeled facts in a small town scene.</desc>
+  <style>
+    .sky{fill:#e9f1ee}.ground{fill:#eee5d3}.road{fill:#c9c1b2}
+    .building{fill:#fffdf7;stroke:#243447;stroke-width:2}.roof{fill:#a55246;stroke:#243447;stroke-width:2}
+    .tree{fill:#6c927d;stroke:#2f6f55;stroke-width:2}.trunk{stroke:#76553c;stroke-width:8}
+    .person{fill:#fffdf7;stroke:#243447;stroke-width:2}.shirt{fill:#d7e9e2;stroke:#243447;stroke-width:2}
+    .relation{fill:none;stroke:#8b3a3a;stroke-width:2.5;stroke-dasharray:7 5}
+    .label{fill:#fffdf7;stroke:#8b3a3a;stroke-width:1.5}.text{fill:#713535;font:14px ui-monospace,monospace}
+    .detail{fill:none;stroke:#243447;stroke-width:3;stroke-linecap:round;stroke-linejoin:round}
+    .bike-frame{fill:none;stroke:#2f6f55;stroke-width:4;stroke-linecap:round;stroke-linejoin:round}
+    .bike-part{fill:none;stroke:#243447;stroke-width:3;stroke-linecap:round;stroke-linejoin:round}
+  </style>
+  <rect width="900" height="265" class="sky"/><rect y="265" width="900" height="155" class="ground"/>
+  <path class="road" d="M0 355 C220 305 390 385 565 335 S770 300 900 325 L900 420 L0 420Z"/>
+  <rect class="building" x="65" y="155" width="190" height="140"/><polygon class="roof" points="45,160 160,75 275,160"/>
+  <rect x="93" y="202" width="45" height="93" fill="#c89062" stroke="#243447" stroke-width="2"/>
+  <rect x="178" y="195" width="47" height="48" fill="#bcd6df" stroke="#243447" stroke-width="2"/>
+  <rect class="building" x="650" y="120" width="180" height="155"/><polygon class="roof" points="625,125 740,48 855,125"/>
+  <rect x="716" y="194" width="50" height="81" fill="#c89062" stroke="#243447" stroke-width="2"/>
+  <text x="740" y="163" text-anchor="middle" fill="#243447" font-family="Georgia,serif" font-size="18">SCHOOL</text>
+  <line class="trunk" x1="570" y1="165" x2="570" y2="282"/><circle class="tree" cx="570" cy="125" r="55"/>
+  <g transform="translate(340 230)"><circle class="person" cx="0" cy="-42" r="19"/><path class="shirt" d="M-30 -15 Q0-35 30-15 L24 48 H-24Z"/><path class="detail" d="M-12 48 L-15 85 M12 48 L16 85"/></g>
+  <g transform="translate(455 245) scale(.82)"><circle class="person" cx="0" cy="-42" r="19"/><path class="shirt" d="M-30 -15 Q0-35 30-15 L24 48 H-24Z"/><path class="detail" d="M-12 48 L-15 85 M12 48 L16 85"/></g>
+  <g transform="translate(790 293)" aria-label="bicycle">
+    <circle class="bike-part" cx="-34" cy="24" r="25"/>
+    <circle class="bike-part" cx="38" cy="24" r="25"/>
+    <!-- A recognizable diamond frame: rear hub, crank, seat tube, and head tube. -->
+    <path class="bike-frame" d="M-34 24L-9-10L8 24L-34 24L-9-10L27-8L38 24L8 24Z"/>
+    <circle cx="8" cy="24" r="5" fill="#fffdf7" stroke="#243447" stroke-width="2"/>
+    <path class="bike-part" d="M-15-13H-2M-9-10L-13-25M-20-25H-6M27-8L23-24L34-29M30-29H40"/>
+    <path class="bike-part" d="M8 24L18 34M8 24L-1 15"/>
+  </g>
+  <path class="relation" d="M340 170 C310 120 245 110 205 145"/><rect class="label" x="240" y="99" width="74" height="25" rx="12"/><text class="text" x="277" y="117" text-anchor="middle">lives_at</text>
+  <path class="relation" d="M363 205 C400 175 425 180 444 214"/><rect class="label" x="365" y="167" width="78" height="25" rx="12"/><text class="text" x="404" y="185" text-anchor="middle">parent_of</text>
+  <path class="relation" d="M475 212 C515 145 625 175 670 205"/><rect class="label" x="535" y="156" width="70" height="25" rx="12"/><text class="text" x="570" y="174" text-anchor="middle">attends</text>
+  <path class="relation" d="M360 300 C470 360 665 370 763 319"/><rect class="label" x="530" y="348" width="60" height="25" rx="12"/><text class="text" x="560" y="366" text-anchor="middle">owns</text>
+</svg>

package/book-assets/part-2-search.svg

@@ -0,0 +1,27 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="420" viewBox="0 0 900 420" role="img" aria-labelledby="title desc">
+  <title id="title">Searching for a route through the hills</title>
+  <desc id="desc">A traveler studies several mountain paths; dead ends and a loop are marked while one green route reaches a cabin.</desc>
+  <style>
+    .sky{fill:#e9f1ee}.hill1{fill:#b7cbbd}.hill2{fill:#819f8c}.snow{fill:#fffdf7}
+    .path{fill:none;stroke:#76553c;stroke-width:7;stroke-linecap:round;stroke-dasharray:9 7}
+    .chosen{fill:none;stroke:#2f6f55;stroke-width:9;stroke-linecap:round}
+    .dead{stroke:#8b3a3a;stroke-width:5}.sign{fill:#fffdf7;stroke:#243447;stroke-width:2}
+    .ink{fill:none;stroke:#243447;stroke-width:3;stroke-linecap:round}.coat{fill:#a55246;stroke:#243447;stroke-width:2}
+  </style>
+  <rect width="900" height="420" class="sky"/>
+  <circle cx="735" cy="85" r="43" fill="#e8c980"/>
+  <polygon class="hill2" points="0,330 165,95 345,330"/><polygon class="snow" points="117,163 165,95 220,172 183,158 160,180 140,155"/>
+  <polygon class="hill1" points="160,350 410,70 680,350"/><polygon class="snow" points="345,143 410,70 482,151 438,135 408,165 382,137"/>
+  <polygon class="hill2" points="520,345 700,125 900,345"/><polygon class="snow" points="654,181 700,125 750,185 720,176 700,198 680,175"/>
+  <path d="M0 320 Q220 275 420 330 T900 305 V420 H0Z" fill="#dcd2bf"/>
+  <path class="path" d="M95 360 C180 290 240 310 290 230 S395 170 480 235"/>
+  <path class="path" d="M290 230 C345 265 335 325 395 342"/>
+  <path class="path" d="M480 235 C565 175 590 100 660 145"/>
+  <path class="chosen" d="M95 360 C180 290 240 310 290 230 S395 170 480 235 C555 290 650 320 790 270"/>
+  <path class="path" d="M480 235 C535 185 565 225 548 268 C530 308 478 282 500 245"/>
+  <line class="dead" x1="380" y1="327" x2="410" y2="357"/><line class="dead" x1="410" y1="327" x2="380" y2="357"/>
+  <line class="dead" x1="647" y1="132" x2="675" y2="158"/><line class="dead" x1="675" y1="132" x2="647" y2="158"/>
+  <g transform="translate(75 315)"><circle cx="0" cy="-35" r="14" class="sign"/><path class="coat" d="M-22-13 Q0-28 22-13 L18 37 H-18Z"/><path class="ink" d="M-8 37 L-12 66 M8 37 L13 66 M18-2 L35 10"/></g>
+  <g transform="translate(760 205)"><rect class="sign" x="0" y="28" width="92" height="62"/><polygon points="-12,30 46,-10 104,30" fill="#a55246" stroke="#243447" stroke-width="2"/><rect x="37" y="58" width="22" height="32" fill="#c89062" stroke="#243447" stroke-width="2"/><path d="M72 0 Q65-25 76-43" class="ink"/></g>
+  <g transform="translate(220 292)"><path class="ink" d="M0 38 V0"/><path class="sign" d="M0 3 L62 3 L52-17 L0-17Z"/><path class="sign" d="M0 28 L-55 28 L-45 8 L0 8Z"/></g>
+</svg>

package/book-assets/part-3-trustworthy-reasoning.svg

@@ -0,0 +1,21 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="420" viewBox="0 0 900 420" role="img" aria-labelledby="title desc">
+  <title id="title">Evidence-backed spacecraft diagnosis</title>
+  <desc id="desc">A spacecraft engineer reviews current, resistance, and temperature evidence whose proof lines converge on a battery warning and safe action.</desc>
+  <style>
+    .wall{fill:#e8ecea}.panel{fill:#fffdf7;stroke:#243447;stroke-width:2}.screen{fill:#d9ebe6;stroke:#2f6f55;stroke-width:2}
+    .console{fill:#536b78}.ink{fill:none;stroke:#243447;stroke-width:3;stroke-linecap:round}
+    .wire{fill:none;stroke:#8b3a3a;stroke-width:2.5}.hot{fill:#a55246}.safe{fill:#2f6f55}
+    .text{fill:#243447;font:16px ui-monospace,monospace}.small{fill:#435166;font:15px Georgia,serif}
+  </style>
+  <rect width="900" height="420" class="wall"/>
+  <circle cx="90" cy="75" r="38" fill="#7895a1"/><path d="M52 75 Q90 42 128 75 Q90 108 52 75" fill="#bcd6df"/>
+  <rect class="console" x="35" y="320" width="830" height="100" rx="8"/>
+  <rect class="panel" x="155" y="45" width="165" height="130" rx="7"/><text class="text" x="238" y="72" text-anchor="middle">CURRENT</text><path class="ink" d="M180 137 L205 122 L230 130 L260 87 L295 108"/><text class="text" x="238" y="160" text-anchor="middle">12.1 A</text>
+  <rect class="panel" x="370" y="45" width="165" height="130" rx="7"/><text class="text" x="452" y="72" text-anchor="middle">RESISTANCE</text><path class="ink" d="M393 119 L410 119 L420 96 L440 142 L460 96 L480 142 L492 119 L512 119"/><text class="text" x="452" y="160" text-anchor="middle">0.42 Ω</text>
+  <rect class="panel" x="585" y="45" width="165" height="130" rx="7"/><text class="text" x="668" y="72" text-anchor="middle">TEMPERATURE</text><rect x="645" y="87" width="18" height="53" rx="9" fill="#fffdf7" stroke="#243447" stroke-width="2"/><rect class="hot" x="650" y="105" width="8" height="30" rx="4"/><circle class="hot" cx="654" cy="140" r="12"/><text class="text" x="700" y="127">91 °C</text>
+  <path class="wire" d="M238 176 C238 235 370 210 425 268"/><path class="wire" d="M452 176 L452 255"/><path class="wire" d="M668 176 C668 235 540 210 485 268"/>
+  <rect class="screen" x="355" y="250" width="195" height="80" rx="10"/><text class="text" x="452" y="280" text-anchor="middle">THERMAL WARNING</text><text class="small" x="452" y="307" text-anchor="middle">three premises</text>
+  <g transform="translate(90 270)"><circle class="panel" cx="0" cy="-42" r="18"/><path d="M-30-15 Q0-35 30-15 L24 50 H-24Z" fill="#d7e9e2" stroke="#243447" stroke-width="2"/><path class="ink" d="M-12 50 L-15 82 M12 50 L16 82 M22 2 L65-18"/></g>
+  <rect x="635" y="255" width="175" height="63" rx="9" fill="#e6f1ec" stroke="#2f6f55" stroke-width="3"/><circle class="safe" cx="666" cy="286" r="15"/><path d="M658 286 L664 293 L676 278" fill="none" stroke="#fffdf7" stroke-width="4"/><text class="text" x="730" y="282" text-anchor="middle">ISOLATE</text><text class="text" x="730" y="303" text-anchor="middle">&amp; COOL</text>
+  <path d="M550 290 L632 287" fill="none" stroke="#2f6f55" stroke-width="4"/>
+</svg>

package/book-assets/part-4-craft.svg

@@ -0,0 +1,25 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="420" viewBox="0 0 900 420" role="img" aria-labelledby="title desc">
+  <title id="title">A logic programmer's workbench</title>
+  <desc id="desc">A programmer moves between domain notes, clause cards, a graph sketch, and tested EyeProlog code at a warm workbench.</desc>
+  <style>
+    .wall{fill:#eee5d3}.desk{fill:#a97852}.paper{fill:#fffdf7;stroke:#243447;stroke-width:2}
+    .screen{fill:#243447;stroke:#172334;stroke-width:5}.code{fill:#dcefe8;font:16px ui-monospace,monospace}
+    .ink{fill:none;stroke:#243447;stroke-width:2.5;stroke-linecap:round}.red{stroke:#8b3a3a}.green{stroke:#2f6f55}
+    .note{fill:#e8c980;stroke:#9a5b18;stroke-width:1.5}.cup{fill:#d7e9e2;stroke:#243447;stroke-width:2}
+  </style>
+  <rect width="900" height="420" class="wall"/><rect y="290" width="900" height="130" class="desk"/>
+  <rect class="paper" x="45" y="45" width="220" height="190" rx="4"/><text x="155" y="76" text-anchor="middle" fill="#713535" font-family="Georgia,serif" font-size="18">DOMAIN SKETCH</text>
+  <circle cx="90" cy="125" r="17" fill="#fffdf7" stroke="#243447" stroke-width="2"/><circle cx="195" cy="115" r="17" fill="#fffdf7" stroke="#243447" stroke-width="2"/><circle cx="145" cy="190" r="17" fill="#fffdf7" stroke="#243447" stroke-width="2"/>
+  <path class="ink green" d="M107 124 L177 116 M102 139 L135 177 M185 131 L156 177"/><text x="144" y="150" fill="#435166" font-family="ui-monospace,monospace" font-size="14">relations</text>
+  <rect class="note" x="280" y="58" width="130" height="74" transform="rotate(-5 345 95)"/><text x="345" y="91" text-anchor="middle" fill="#713535" font-family="ui-monospace,monospace" font-size="15">What does one</text><text x="345" y="111" text-anchor="middle" fill="#713535" font-family="ui-monospace,monospace" font-size="15">fact mean?</text>
+  <rect class="note" x="285" y="152" width="145" height="78" transform="rotate(4 357 191)"/><text x="357" y="187" text-anchor="middle" fill="#713535" font-family="ui-monospace,monospace" font-size="15">Which argument</text><text x="357" y="207" text-anchor="middle" fill="#713535" font-family="ui-monospace,monospace" font-size="15">gets smaller?</text>
+  <rect class="screen" x="470" y="35" width="360" height="235" rx="10"/>
+  <text class="code" x="495" y="75">path(X, Y) :- edge(X, Y).</text>
+  <text class="code" x="495" y="110">path(X, Z) :-</text><text class="code" x="520" y="135">edge(X, Y),</text><text class="code" x="520" y="160">path(Y, Z).</text>
+  <text class="code" x="495" y="205">eyeprolog --goal 'path(a, X)' program.pl</text>
+  <text x="495" y="240" fill="#8fc9a9" font-family="ui-monospace,monospace" font-size="16">✓ answers and proofs agree</text>
+  <path d="M625 270 L675 305 H580Z" fill="#536b78"/>
+  <rect x="545" y="304" width="165" height="12" rx="6" fill="#536b78"/>
+  <g transform="translate(115 285)"><ellipse class="cup" cx="0" cy="45" rx="45" ry="12"/><path class="cup" d="M-45 0 H45 L35 45 H-35Z"/><path class="ink" d="M45 10 Q78 12 65 36 Q58 46 38 38"/><path d="M-15-8 Q-25-35-8-48 M10-8 Q22-32 8-48" fill="none" stroke="#fffdf7" stroke-width="3" opacity=".8"/></g>
+  <rect class="paper" x="230" y="305" width="230" height="90" transform="rotate(-3 345 350)"/><path class="ink red" d="M250 332 L350 328"/><path class="ink green" d="M250 355 L420 347 M250 376 L385 370"/>
+</svg>

package/book-assets/part-5-relational-design.svg

@@ -0,0 +1,53 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="460" viewBox="0 0 900 460" role="img" aria-labelledby="title desc">
+  <title id="title">Advanced relational design as a navigable workshop</title>
+  <desc id="desc">A central relation connects a search tree, a syntax tree, a transformed program, and an auditable decision, with meaning held steady at the center.</desc>
+  <defs>
+    <style>
+      .bg{fill:#f1eadc}.panel{fill:#fffdf7;stroke:#243447;stroke-width:2}.hub{fill:#dcefe8;stroke:#2f6f55;stroke-width:3}
+      .ink{fill:none;stroke:#526273;stroke-width:2.5;stroke-linecap:round}.green{stroke:#2f6f55}.red{stroke:#8b3a3a}.gold{stroke:#9a5b18}
+      .node{fill:#fffdf7;stroke:#243447;stroke-width:2}.ok{fill:#e7f3ee;stroke:#2f6f55;stroke-width:2}
+      .title{fill:#713535;font:bold 24px Georgia,serif}.label{fill:#243447;font:17px Georgia,serif}
+      .code{fill:#243447;font:14px ui-monospace,SFMono-Regular,Consolas,monospace}
+    </style>
+    <marker id="arrow" markerWidth="8" markerHeight="8" refX="7" refY="4" orient="auto"><path d="M0 0L8 4L0 8Z" fill="#526273"/></marker>
+  </defs>
+  <rect width="900" height="460" class="bg"/>
+  <text class="title" x="450" y="35" text-anchor="middle">KEEP THE RELATION VISIBLE</text>
+
+  <rect class="panel" x="35" y="65" width="250" height="145" rx="12"/>
+  <text class="label" x="160" y="91" text-anchor="middle">READ THE SEARCH</text>
+  <path class="ink" d="M160 115L105 155M160 115L215 155M105 155L75 188M105 155L130 188M215 155L190 188M215 155L245 188"/>
+  <circle class="node" cx="160" cy="115" r="12"/><circle class="ok" cx="105" cy="155" r="11"/><circle class="node" cx="215" cy="155" r="11"/>
+  <circle class="node" cx="75" cy="188" r="8"/><circle class="ok" cx="130" cy="188" r="8"/><circle class="node" cx="190" cy="188" r="8"/><circle class="node" cx="245" cy="188" r="8"/>
+
+  <rect class="panel" x="615" y="65" width="250" height="145" rx="12"/>
+  <text class="label" x="740" y="91" text-anchor="middle">REPRESENT SYNTAX</text>
+  <rect class="node" x="692" y="107" width="96" height="30" rx="6"/><text class="code" x="740" y="127" text-anchor="middle">plus/2</text>
+  <path class="ink" d="M720 137L675 168M760 137L805 168"/>
+  <rect class="node" x="630" y="168" width="90" height="28" rx="6"/><text class="code" x="675" y="187" text-anchor="middle">number(2)</text>
+  <rect class="node" x="760" y="168" width="90" height="28" rx="6"/><text class="code" x="805" y="187" text-anchor="middle">times/2</text>
+
+  <rect class="hub" x="320" y="145" width="260" height="155" rx="78"/>
+  <text class="title" x="450" y="205" text-anchor="middle">MEANING</text>
+  <text class="label" x="450" y="235" text-anchor="middle">ground answers</text>
+  <text class="label" x="450" y="258" text-anchor="middle">and their proofs</text>
+  <path class="ink" marker-end="url(#arrow)" d="M285 150C310 165 315 180 325 195"/>
+  <path class="ink" marker-end="url(#arrow)" d="M615 150C590 165 585 180 575 195"/>
+
+  <rect class="panel" x="35" y="265" width="250" height="150" rx="12"/>
+  <text class="label" x="160" y="291" text-anchor="middle">TRANSFORM CONTROL</text>
+  <text class="code" x="55" y="325">before: broad generate</text>
+  <path class="ink red" d="M55 338H257"/>
+  <text class="code" x="55" y="365">after:  bind, then test</text>
+  <path class="ink green" d="M55 379H230"/>
+  <text class="code" x="55" y="402">answers preserved ✓</text>
+  <path class="ink" marker-end="url(#arrow)" d="M285 335C310 320 315 295 335 275"/>
+
+  <rect class="panel" x="615" y="265" width="250" height="150" rx="12"/>
+  <text class="label" x="740" y="291" text-anchor="middle">AUDIT A DECISION</text>
+  <rect class="node" x="638" y="315" width="74" height="30" rx="5"/><text class="code" x="675" y="335" text-anchor="middle">facts</text>
+  <rect class="node" x="728" y="315" width="74" height="30" rx="5"/><text class="code" x="765" y="335" text-anchor="middle">rules</text>
+  <path class="ink gold" d="M675 345L720 377M765 345L720 377"/>
+  <rect class="ok" x="667" y="375" width="106" height="30" rx="5"/><text class="code" x="720" y="395" text-anchor="middle">proof ✓</text>
+  <path class="ink" marker-end="url(#arrow)" d="M615 335C590 320 585 295 565 275"/>
+</svg>

package/book-assets/part-6-mathematics.svg

@@ -0,0 +1,54 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="470" viewBox="0 0 900 470" role="img" aria-labelledby="title desc">
+  <title id="title">Mathematics made executable</title>
+  <desc id="desc">A bridge carries mathematical definitions and proof across symbolic clauses into witnesses, counterexamples, and inspectable derivations.</desc>
+  <defs>
+    <style>
+      .sky{fill:#e9f0ee}.ground{fill:#d9c9a8}.stone{fill:#fffaf0;stroke:#243447;stroke-width:2}
+      .arch{fill:#c89b6d;stroke:#713535;stroke-width:3}.water{fill:#c7dfe2}.ink{fill:none;stroke:#243447;stroke-width:2.5;stroke-linecap:round}
+      .green{stroke:#2f6f55}.red{stroke:#8b3a3a}.gold{stroke:#9a5b18}.title{fill:#713535;font:bold 24px Georgia,serif}
+      .label{fill:#243447;font:18px Georgia,serif}.code{fill:#172334;font:15px ui-monospace,SFMono-Regular,Consolas,monospace}
+    </style>
+    <marker id="arr" markerWidth="8" markerHeight="8" refX="7" refY="4" orient="auto"><path d="M0 0L8 4L0 8Z" fill="#2f6f55"/></marker>
+  </defs>
+  <rect width="900" height="470" class="sky"/><path class="water" d="M0 360Q120 335 240 360T480 360T720 360T960 360V470H0Z"/>
+  <path class="ground" d="M0 300H170L230 340H670L730 300H900V470H0Z" opacity=".55"/>
+  <text class="title" x="450" y="38" text-anchor="middle">FROM DEFINITION TO WITNESS</text>
+
+  <rect class="stone" x="35" y="80" width="205" height="190" rx="10"/>
+  <text class="label" x="137" y="110" text-anchor="middle">MATHEMATICS</text>
+  <text class="code" x="58" y="145">definition</text><path class="ink" d="M58 153H160"/>
+  <text class="code" x="58" y="183">induction</text><path class="ink green" d="M58 191H155"/>
+  <text class="code" x="58" y="221">counterexample</text><path class="ink red" d="M58 229H185"/>
+  <text class="code" x="58" y="253">invariant</text>
+
+  <path class="arch" d="M220 315V185Q450 30 680 185V315H610V210Q450 105 290 210V315Z"/>
+  <path class="ink gold" d="M275 205L450 92L625 205"/>
+  <rect class="stone" x="350" y="170" width="200" height="116" rx="10"/>
+  <text class="label" x="450" y="198" text-anchor="middle">EYEPROLOG CLAUSES</text>
+  <text class="code" x="370" y="229">base(z).</text>
+  <text class="code" x="370" y="254">step(s(N)) :-</text>
+  <text class="code" x="390" y="274">step(N).</text>
+
+  <rect class="stone" x="660" y="80" width="205" height="190" rx="10"/>
+  <text class="label" x="762" y="110" text-anchor="middle">COMPUTATION</text>
+  <circle cx="710" cy="155" r="20" fill="#e7f3ee" stroke="#2f6f55" stroke-width="2"/>
+  <text class="code" x="710" y="160" text-anchor="middle">?</text>
+  <path class="ink green" marker-end="url(#arr)" d="M732 155H797"/>
+  <rect x="797" y="137" width="45" height="36" rx="6" fill="#e7f3ee" stroke="#2f6f55" stroke-width="2"/>
+  <text class="code" x="819" y="160" text-anchor="middle">X</text>
+  <text class="code" x="682" y="207">witness</text>
+  <text class="code" x="682" y="235">proof</text>
+  <text class="code" x="682" y="260">or counterexample</text>
+
+  <g transform="translate(300 335)">
+    <circle cx="0" cy="0" r="27" fill="#fffaf0" stroke="#243447" stroke-width="2"/>
+    <text class="code" x="0" y="5" text-anchor="middle">axiom</text>
+    <path class="ink green" d="M27 0H103"/>
+    <circle cx="130" cy="0" r="27" fill="#fffaf0" stroke="#243447" stroke-width="2"/>
+    <text class="code" x="130" y="5" text-anchor="middle">rule</text>
+    <path class="ink green" d="M157 0H233"/>
+    <circle cx="260" cy="0" r="27" fill="#e7f3ee" stroke="#2f6f55" stroke-width="2"/>
+    <text class="code" x="260" y="5" text-anchor="middle">answer</text>
+  </g>
+  <text class="label" x="450" y="420" text-anchor="middle">certainty whose boundary is visible</text>
+</svg>