eyeprolog 0.5.3

package/book-assets/part-7-laboratory.svg

@@ -0,0 +1,51 @@
+<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">The reasoning laboratory</title>
+  <desc id="desc">A theory on a laboratory bench moves through prediction, tests, search statistics, proof inspection, and a controlled revision loop.</desc>
+  <defs>
+    <style>
+      .bg{fill:#eee5d3}.bench{fill:#a97852}.paper{fill:#fffdf7;stroke:#243447;stroke-width:2}
+      .screen{fill:#243447;stroke:#172334;stroke-width:4}.green{fill:#dcefe8;stroke:#2f6f55;stroke-width:2}
+      .gold{fill:#fff0d9;stroke:#9a5b18;stroke-width:2}.red{fill:#f4dddd;stroke:#8b3a3a;stroke-width:2}
+      .line{fill:none;stroke:#526273;stroke-width:2.5}.title{fill:#713535;font:bold 24px Georgia,serif}
+      .label{fill:#243447;font:17px Georgia,serif}.code{fill:#dcefe8;font:15px ui-monospace,SFMono-Regular,Consolas,monospace}
+      .darkcode{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="470" class="bg"/><rect y="350" width="900" height="120" class="bench"/>
+  <text class="title" x="450" y="35" text-anchor="middle">THE REASONING LABORATORY</text>
+  <rect class="screen" x="315" y="72" width="270" height="190" rx="12"/>
+  <text class="code" x="340" y="108">theory.pl</text>
+  <text class="code" x="340" y="143">answer(X) :-</text><text class="code" x="365" y="166">evidence(X),</text><text class="code" x="365" y="189">within_limit(X).</text>
+  <text class="code" x="340" y="225">eyeprolog --goal 'answer(X)' program.pl</text>
+  <path d="M415 262L450 300L485 262Z" fill="#526273"/><rect x="380" y="298" width="140" height="12" rx="6" fill="#526273"/>
+
+  <rect class="paper" x="38" y="75" width="210" height="110" rx="8"/>
+  <text class="label" x="143" y="103" text-anchor="middle">1 · PREDICT</text>
+  <text class="darkcode" x="58" y="133">expected: answer(a)</text>
+  <text class="darkcode" x="58" y="158">forbidden: answer(d)</text>
+  <path class="line" marker-end="url(#arrow)" d="M248 132H308"/>
+
+  <rect class="green" x="650" y="75" width="210" height="110" rx="8"/>
+  <text class="label" x="755" y="103" text-anchor="middle">2 · TEST</text>
+  <text class="darkcode" x="675" y="135">positive ✓</text>
+  <text class="darkcode" x="675" y="159">boundary ✓</text>
+  <path class="line" marker-end="url(#arrow)" d="M585 132H643"/>
+
+  <rect class="gold" x="650" y="230" width="210" height="110" rx="8"/>
+  <text class="label" x="755" y="258" text-anchor="middle">3 · INSPECT</text>
+  <text class="darkcode" x="675" y="289">search: 42 calls</text>
+  <text class="darkcode" x="675" y="313">proof: facts → rule</text>
+  <path class="line" marker-end="url(#arrow)" d="M755 185V222"/>
+
+  <rect class="red" x="38" y="230" width="210" height="110" rx="8"/>
+  <text class="label" x="143" y="258" text-anchor="middle">4 · REVISE</text>
+  <text class="darkcode" x="62" y="289">one assumption</text>
+  <text class="darkcode" x="62" y="313">one controlled change</text>
+  <path class="line" marker-end="url(#arrow)" d="M650 285C530 390 360 390 248 285"/>
+  <path class="line" marker-end="url(#arrow)" d="M143 230V193"/>
+
+  <rect class="paper" x="285" y="375" width="330" height="60" rx="8"/>
+  <text class="label" x="450" y="400" text-anchor="middle">LEAVE A TRACE</text>
+  <text class="darkcode" x="450" y="422" text-anchor="middle">case · invariant · proof · reason</text>
+</svg>

package/book-assets/part-8-standard-prolog.svg

@@ -0,0 +1,55 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="440" viewBox="0 0 900 440" role="img" aria-labelledby="title desc">
+  <title id="title">A standards workbench for practical Prolog</title>
+  <desc id="desc">A programmer at a workbench connects an ISO Prolog manual to control, term, state, operator, and stream instruments.</desc>
+  <defs>
+    <style>
+      .wall{fill:#e9f1ee}.floor{fill:#eee5d3}.bench{fill:#a97852;stroke:#76553c;stroke-width:3}
+      .paper{fill:#fffdf7;stroke:#243447;stroke-width:2}.screen{fill:#172334;stroke:#243447;stroke-width:3}
+      .green{fill:#dcefe8;stroke:#2f6f55;stroke-width:2}.gold{fill:#fff0d9;stroke:#9a5b18;stroke-width:2}
+      .red{fill:#f3dddd;stroke:#8b3a3a;stroke-width:2}.blue{fill:#dcebf0;stroke:#526273;stroke-width:2}
+      .ink{fill:#243447;font:16px Georgia,serif}.label{fill:#243447;font:bold 15px Georgia,serif}
+      .code{fill:#dcefe8;font:14px ui-monospace,SFMono-Regular,Consolas,monospace}
+      .screen-code{fill:#dcefe8;font:12px ui-monospace,SFMono-Regular,Consolas,monospace}
+      .small-label{fill:#243447;font:bold 14px Georgia,serif}.small-ink{fill:#243447;font:14px Georgia,serif}
+      .line{fill:none;stroke:#526273;stroke-width:2.5;stroke-linecap:round}.wire{fill:none;stroke:#8b3a3a;stroke-width:3}
+    </style>
+    <marker id="arrow" 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="300" class="wall"/><rect y="300" width="900" height="140" class="floor"/>
+  <rect class="bench" x="55" y="270" width="790" height="42" rx="5"/><rect class="bench" x="100" y="310" width="24" height="110"/><rect class="bench" x="776" y="310" width="24" height="110"/>
+
+  <g transform="translate(82 68)">
+    <path class="paper" d="M0 20Q60 0 120 20V170Q60 150 0 170Z"/><path class="paper" d="M120 20Q180 0 240 20V170Q180 150 120 170Z"/>
+    <line x1="120" y1="20" x2="120" y2="170" stroke="#243447" stroke-width="2"/>
+    <text class="label" x="120" y="48" text-anchor="middle">ISO PROLOG</text>
+    <text class="ink" x="120" y="76" text-anchor="middle">control · terms</text><text class="ink" x="120" y="100" text-anchor="middle">state · operators</text><text class="ink" x="120" y="124" text-anchor="middle">streams · errors</text>
+  </g>
+
+  <g transform="translate(360 62)">
+    <rect class="screen" width="300" height="185" rx="10"/>
+    <text class="screen-code" x="24" y="38">?- catch(call(G), E, recover(E)).</text>
+    <text class="screen-code" x="24" y="70">Term =.. [Name | Args].</text>
+    <text class="screen-code" x="24" y="102">assertz(task(verify)).</text>
+    <text class="screen-code" x="24" y="134">read_term(Stream, Term, Options).</text>
+    <text class="screen-code" x="24" y="166">Result = standard_practice.</text>
+    <path d="M105 185L90 215H210L195 185Z" fill="#526273" stroke="#243447" stroke-width="2"/>
+  </g>
+
+  <g transform="translate(690 62)">
+    <rect class="red" width="145" height="58" rx="9"/><text class="label" x="72" y="25" text-anchor="middle">CONTROL</text><text class="ink" x="72" y="47" text-anchor="middle">choice / error</text>
+    <rect class="green" y="72" width="145" height="58" rx="9"/><text class="label" x="72" y="97" text-anchor="middle">TERMS</text><text class="ink" x="72" y="119" text-anchor="middle">inspect / build</text>
+    <rect class="gold" y="144" width="145" height="58" rx="9"/><text class="label" x="72" y="169" text-anchor="middle">STATE + I/O</text><text class="ink" x="72" y="191" text-anchor="middle">ordered effects</text>
+  </g>
+
+  <path class="wire" marker-end="url(#arrow)" d="M325 150C340 150 345 150 355 150"/>
+  <path class="wire" marker-end="url(#arrow)" d="M665 150C675 150 678 150 686 150"/>
+
+  <g transform="translate(270 325)">
+    <circle cx="0" cy="-28" r="18" fill="#fffdf7" stroke="#243447" stroke-width="2"/>
+    <path d="M-28 0Q0-25 28 0L22 72H-22Z" fill="#d7e9e2" stroke="#243447" stroke-width="2"/>
+    <path class="line" d="M-12 72L-15 105M12 72L15 105M-22 15L-70-10M22 15L72-8"/>
+  </g>
+  <rect class="blue" x="350" y="337" width="400" height="66" rx="10"/>
+  <text class="small-label" x="550" y="363" text-anchor="middle">ONE STANDARD, FOUR PRACTICES</text>
+  <text class="small-ink" x="550" y="389" text-anchor="middle">relate where possible · delimit effects explicitly</text>
+</svg>

package/book-assets/pattern-selection-map.svg

@@ -0,0 +1,18 @@
+<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">Choose a reasoning pattern by the problem that needs solving</title>
+  <desc id="desc">A central design question branches by symptom: drifting meaning, infinite search, unsafe absence, repeated subproblems, opaque decisions, or representational duplicates, each pointing to a named pattern.</desc>
+  <defs><style>
+    .bg{fill:#f4efe3}.core{fill:#536b78;stroke:#243447;stroke-width:3}.box{fill:#fffdf7;stroke:#243447;stroke-width:2}.green{fill:#dcefe8;stroke:#2f6f55;stroke-width:2}.gold{fill:#fff0d9;stroke:#9a5b18;stroke-width:2}.rose{fill:#f1dfdf;stroke:#8b3a3a;stroke-width:2}.blue{fill:#dcebf0;stroke:#526273;stroke-width:2}
+    .title{fill:#8b3a3a;font:bold 24px Georgia,serif}.label{fill:#243447;font:bold 13px Georgia,serif}.light{fill:#fffdf7;font:bold 16px Georgia,serif}.prose{fill:#435166;font:13px Georgia,serif}.line{fill:none;stroke:#526273;stroke-width:2.5}
+  </style></defs>
+  <rect class="bg" width="900" height="460"/><text class="title" x="450" y="38" text-anchor="middle">A PATTERN STARTS WITH A NAMED DESIGN PROBLEM</text>
+  <rect class="core" x="335" y="175" width="230" height="100" rx="18"/><text class="light" x="450" y="211" text-anchor="middle">WHAT IS GOING WRONG?</text><text class="light" x="450" y="243" text-anchor="middle">choose by consequence</text>
+  <path class="line" d="M335 195L245 130M450 175V120M565 195L655 130M335 255L245 335M450 275V345M565 255L655 335"/>
+  <rect class="green" x="25" y="75" width="245" height="100" rx="10"/><text class="prose" x="147" y="104" text-anchor="middle">meaning or argument roles drift</text><text class="label" x="147" y="140" text-anchor="middle">GROUND SENTENCE FIRST</text>
+  <rect class="blue" x="325" y="65" width="250" height="85" rx="10"/><text class="prose" x="450" y="94" text-anchor="middle">recursive work repeats</text><text class="label" x="450" y="126" text-anchor="middle">TABLED CLOSURE</text>
+  <rect class="gold" x="630" y="75" width="245" height="100" rx="10"/><text class="prose" x="752" y="104" text-anchor="middle">absence is being inferred</text><text class="label" x="752" y="140" text-anchor="middle">CLOSED BOUNDARY</text>
+  <rect class="rose" x="25" y="305" width="245" height="100" rx="10"/><text class="prose" x="147" y="334" text-anchor="middle">search is unbounded</text><text class="label" x="147" y="365" text-anchor="middle">FINITE GENERATOR</text><text class="label" x="147" y="385" text-anchor="middle">+ DECREASING MEASURE</text>
+  <rect class="green" x="325" y="330" width="250" height="85" rx="10"/><text class="prose" x="450" y="359" text-anchor="middle">a decision is opaque</text><text class="label" x="450" y="391" text-anchor="middle">PROOF-CARRYING ANSWER</text>
+  <rect class="blue" x="630" y="305" width="245" height="100" rx="10"/><text class="prose" x="752" y="334" text-anchor="middle">equivalent forms duplicate work</text><text class="label" x="752" y="365" text-anchor="middle">CANONICAL</text><text class="label" x="752" y="385" text-anchor="middle">REPRESENTATION</text>
+  <text class="prose" x="450" y="445" text-anchor="middle">Patterns are reviewable tradeoffs among meaning, representation, modes, and control.</text>
+</svg>

package/book-assets/program-construction-loop.svg

@@ -0,0 +1,19 @@
+<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">Constructing a relational program from examples and invariants</title>
+  <desc id="desc">A ground sentence leads to examples and near misses, then a representation and invariant, clauses, and checked answers; surprising answers loop back to refine meaning.</desc>
+  <defs><style>
+    .bg{fill:#f4efe3}.box{fill:#fffdf7;stroke:#243447;stroke-width:2}.green{fill:#dcefe8;stroke:#2f6f55;stroke-width:2}.gold{fill:#fff0d9;stroke:#9a5b18;stroke-width:2}.rose{fill:#f1dfdf;stroke:#8b3a3a;stroke-width:2}
+    .title{fill:#8b3a3a;font:bold 24px Georgia,serif}.label{fill:#243447;font:bold 14px Georgia,serif}.code{fill:#172334;font:13px ui-monospace,monospace}.prose{fill:#435166;font:14px Georgia,serif}.line{fill:none;stroke:#526273;stroke-width:3}
+  </style><marker id="a" markerWidth="8" markerHeight="8" refX="7" refY="4" orient="auto"><path d="M0 0L8 4L0 8Z" fill="#526273"/></marker></defs>
+  <rect class="bg" width="900" height="460"/><text class="title" x="450" y="38" text-anchor="middle">CONSTRUCT THE RELATION FROM MEANING</text>
+  <rect class="green" x="35" y="105" width="175" height="115" rx="10"/><text class="label" x="122" y="137" text-anchor="middle">GROUND SENTENCE</text><text class="code" x="122" y="177" text-anchor="middle">routeable(p7,north)</text><text class="prose" x="122" y="203" text-anchor="middle">read it aloud</text>
+  <rect class="box" x="255" y="105" width="175" height="115" rx="10"/><text class="label" x="342" y="137" text-anchor="middle">EXAMPLES</text><text class="prose" x="342" y="172" text-anchor="middle">small positive</text><text class="prose" x="342" y="196" text-anchor="middle">next + near miss</text>
+  <rect class="gold" x="475" y="105" width="175" height="115" rx="10"/><text class="label" x="562" y="137" text-anchor="middle">REPRESENTATION</text><text class="prose" x="562" y="172" text-anchor="middle">operations expose</text><text class="prose" x="562" y="196" text-anchor="middle">the right structure</text>
+  <rect class="box" x="695" y="105" width="170" height="115" rx="10"/><text class="label" x="780" y="137" text-anchor="middle">INVARIANT</text><text class="prose" x="780" y="172" text-anchor="middle">what is preserved?</text><text class="code" x="780" y="198" text-anchor="middle">measure ↓</text>
+  <path class="line" marker-end="url(#a)" d="M210 162H247M430 162H467M650 162H687"/>
+  <rect class="box" x="195" y="300" width="210" height="100" rx="10"/><text class="label" x="300" y="332" text-anchor="middle">CLAUSES + MODES</text><text class="prose" x="300" y="365" text-anchor="middle">generate · test · describe</text>
+  <rect class="green" x="495" y="300" width="210" height="100" rx="10"/><text class="label" x="600" y="332" text-anchor="middle">ANSWERS + PROOFS</text><text class="prose" x="600" y="365" text-anchor="middle">check the intended sentence</text>
+  <path class="line" marker-end="url(#a)" d="M780 220C780 265 650 275 600 292M495 350H413"/>
+  <path class="line" marker-end="url(#a)" d="M195 350C75 350 65 245 115 228"/><text class="prose" x="105" y="330" text-anchor="middle">surprise?</text>
+  <text class="prose" x="450" y="438" text-anchor="middle">Revision returns to meaning, examples, or representation—not merely to clause order.</text>
+</svg>

package/book-assets/program-transformation-workbench.svg

@@ -0,0 +1,51 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="500" viewBox="0 0 900 500" role="img" aria-labelledby="title desc">
+  <title id="title">A workbench for transforming logic programs</title>
+  <desc id="desc">A source relation can be unfolded, folded, specialized, or given an accumulator, but each transformed program must be checked for answers, modes, termination, proof shape, and search cost.</desc>
+  <defs>
+    <style>
+      .paper{fill:#fffdf7;stroke:#243447;stroke-width:2}.source{fill:#243447;stroke:#172334;stroke-width:3}
+      .green{fill:#dcefe8;stroke:#2f6f55;stroke-width:2}.gold{fill:#fff0d9;stroke:#9a5b18;stroke-width:2}
+      .rose{fill:#f1dfdf;stroke:#8b3a3a;stroke-width:2}.blue{fill:#dcebf0;stroke:#526273;stroke-width:2}
+      .title{fill:#8b3a3a;font:bold 24px Georgia,serif}.label{fill:#243447;font:bold 17px Georgia,serif}
+      .prose{fill:#435166;font:15px Georgia,serif}.code{fill:#172334;font:14px ui-monospace,SFMono-Regular,Consolas,monospace}
+      .light{fill:#dcefe8;font:15px ui-monospace,SFMono-Regular,Consolas,monospace}.line{fill:none;stroke:#526273;stroke-width:2.5}
+    </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="500" fill="#f4efe3"/>
+  <text class="title" x="450" y="35" text-anchor="middle">THE TRANSFORMATION WORKBENCH</text>
+  <rect class="source" x="315" y="75" width="270" height="115" rx="12"/>
+  <text class="light" x="450" y="108" text-anchor="middle">original relation</text>
+  <text class="light" x="450" y="140" text-anchor="middle">meaning + supported modes</text>
+  <text class="light" x="450" y="168" text-anchor="middle">answers · proofs · control</text>
+  <path class="line" marker-end="url(#arrow)" d="M365 190C320 205 240 210 150 228"/>
+  <path class="line" marker-end="url(#arrow)" d="M420 190C405 205 385 212 360 228"/>
+  <path class="line" marker-end="url(#arrow)" d="M480 190C500 205 535 212 560 228"/>
+  <path class="line" marker-end="url(#arrow)" d="M535 190C600 205 700 210 762 228"/>
+
+  <rect class="green" x="45" y="235" width="210" height="115" rx="10"/>
+  <text class="label" x="150" y="267" text-anchor="middle">UNFOLD</text>
+  <text class="prose" x="150" y="297" text-anchor="middle">replace a call</text>
+  <text class="prose" x="150" y="320" text-anchor="middle">with defining bodies</text>
+  <rect class="gold" x="270" y="235" width="180" height="115" rx="10"/>
+  <text class="label" x="360" y="267" text-anchor="middle">FOLD</text>
+  <text class="prose" x="360" y="297" text-anchor="middle">name a repeated</text>
+  <text class="prose" x="360" y="320" text-anchor="middle">shared conjunction</text>
+  <rect class="blue" x="465" y="235" width="190" height="115" rx="10"/>
+  <text class="label" x="560" y="267" text-anchor="middle">SPECIALIZE</text>
+  <text class="prose" x="560" y="297" text-anchor="middle">fix known arguments;</text>
+  <text class="prose" x="560" y="320" text-anchor="middle">remove irrelevant paths</text>
+  <rect class="rose" x="670" y="235" width="185" height="115" rx="10"/>
+  <text class="label" x="762" y="267" text-anchor="middle">ACCUMULATE</text>
+  <text class="prose" x="762" y="297" text-anchor="middle">carry a partial result</text>
+  <text class="prose" x="762" y="320" text-anchor="middle">through recursion</text>
+
+  <path class="line" marker-end="url(#arrow)" d="M150 350C205 378 275 382 335 393"/>
+  <path class="line" marker-end="url(#arrow)" d="M360 350L400 393"/>
+  <path class="line" marker-end="url(#arrow)" d="M560 350L505 393"/>
+  <path class="line" marker-end="url(#arrow)" d="M762 350C700 378 625 382 565 393"/>
+  <rect class="paper" x="200" y="400" width="500" height="67" rx="10"/>
+  <text class="label" x="450" y="427" text-anchor="middle">COMPARE THE CONTRACT</text>
+  <text class="code" x="450" y="453" text-anchor="middle">answers · modes · termination · order · proofs · cost</text>
+  <text class="prose" x="450" y="490" text-anchor="middle">A faster clause is only equivalent inside a stated observational boundary.</text>
+</svg>

package/book-assets/proof-and-search.svg

@@ -0,0 +1,56 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="500" viewBox="0 0 900 500" role="img" aria-labelledby="title desc">
+  <title id="title">A proof tree compared with a search tree</title>
+  <desc id="desc">The proof tree contains the successful derivation, while the search tree additionally contains failed alternatives and repeated work.</desc>
+  <defs>
+    <style>
+      .paper{fill:#fffdf7;stroke:#243447;stroke-width:2}
+      .goal{fill:#e7f3ee;stroke:#2f6f55;stroke-width:2}
+      .fail{fill:#f8e3e3;stroke:#8b3a3a;stroke-width:2}
+      .repeat{fill:#fff0d9;stroke:#9a5b18;stroke-width:2}
+      .title{fill:#8b3a3a;font:bold 23px Georgia,serif}
+      .text{fill:#172334;font:14px ui-monospace,SFMono-Regular,Consolas,monospace}
+      .prose{fill:#435166;font:17px Georgia,serif}
+      .line{stroke:#526273;stroke-width:2}
+    </style>
+  </defs>
+  <rect width="900" height="500" fill="#f4efe3"/>
+  <rect class="paper" x="25" y="40" width="390" height="410" rx="10"/>
+  <text class="title" x="220" y="78" text-anchor="middle">PROOF TREE</text>
+  <text class="prose" x="220" y="103" text-anchor="middle">only the successful support for one answer</text>
+  <line class="line" x1="220" y1="165" x2="125" y2="245"/>
+  <line class="line" x1="220" y1="165" x2="315" y2="245"/>
+  <rect class="goal" x="130" y="125" width="180" height="48" rx="8"/>
+  <text class="text" x="220" y="154" text-anchor="middle">ancestor(pat,emma)</text>
+  <rect class="goal" x="55" y="235" width="140" height="48" rx="8"/>
+  <text class="text" x="125" y="264" text-anchor="middle">parent(pat,jan)</text>
+  <rect class="goal" x="238" y="235" width="154" height="48" rx="8"/>
+  <text class="text" x="315" y="264" text-anchor="middle">ancestor(jan,emma)</text>
+  <line class="line" x1="315" y1="283" x2="315" y2="345"/>
+  <rect class="goal" x="245" y="345" width="140" height="48" rx="8"/>
+  <text class="text" x="315" y="374" text-anchor="middle">parent(jan,emma)</text>
+
+  <rect class="paper" x="445" y="40" width="430" height="410" rx="10"/>
+  <text class="title" x="660" y="78" text-anchor="middle">SEARCH TREE</text>
+  <text class="prose" x="660" y="103" text-anchor="middle">successful, failed, and repeated alternatives</text>
+  <rect class="goal" x="565" y="125" width="190" height="48" rx="8"/>
+  <text class="text" x="660" y="154" text-anchor="middle">ancestor(pat,emma)</text>
+  <line class="line" x1="660" y1="173" x2="505" y2="235"/>
+  <line class="line" x1="660" y1="173" x2="610" y2="235"/>
+  <line class="line" x1="660" y1="173" x2="765" y2="235"/>
+  <rect class="fail" x="462" y="235" width="86" height="45" rx="8"/>
+  <text class="text" x="505" y="263" text-anchor="middle">direct ✕</text>
+  <rect class="goal" x="565" y="235" width="90" height="45" rx="8"/>
+  <text class="text" x="610" y="263" text-anchor="middle">via jan</text>
+  <rect class="repeat" x="712" y="235" width="106" height="45" rx="8"/>
+  <text class="text" x="765" y="263" text-anchor="middle">via cycle ↻</text>
+  <line class="line" x1="610" y1="280" x2="570" y2="345"/>
+  <line class="line" x1="610" y1="280" x2="665" y2="345"/>
+  <line class="line" x1="765" y1="280" x2="790" y2="345"/>
+  <rect class="fail" x="520" y="345" width="100" height="45" rx="8"/>
+  <text class="text" x="570" y="373" text-anchor="middle">bad edge ✕</text>
+  <rect class="goal" x="630" y="345" width="70" height="45" rx="8"/>
+  <text class="text" x="665" y="373" text-anchor="middle">success</text>
+  <rect class="repeat" x="738" y="345" width="104" height="45" rx="8"/>
+  <text class="text" x="790" y="373" text-anchor="middle">repeated ↻</text>
+  <text class="prose" x="450" y="480" text-anchor="middle">Schematic comparison—not a complete runtime trace.</text>
+</svg>

package/book-assets/proof-as-computation.svg

@@ -0,0 +1,14 @@
+<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">Proof search computes a witness for an existential claim</title>
+  <desc id="desc">An existential question enters a small theory. Unification and search produce a ground answer together with a derivation tree, separating witness discovery from proof evidence.</desc>
+  <defs><style>
+    .bg{fill:#f4efe3}.paper{fill:#fffdf7;stroke:#243447;stroke-width:2}.green{fill:#dcefe8;stroke:#2f6f55;stroke-width:2}.gold{fill:#fff0d9;stroke:#9a5b18;stroke-width:2}.dark{fill:#536b78;stroke:#243447;stroke-width:3}
+    .title{fill:#8b3a3a;font:bold 24px Georgia,serif}.label{fill:#243447;font:bold 17px Georgia,serif}.code{fill:#172334;font:14px ui-monospace,monospace}.light{fill:#fffdf7;font:14px ui-monospace,monospace}.prose{fill:#435166;font:15px Georgia,serif}.line{fill:none;stroke:#526273;stroke-width:3}
+  </style><marker id="a" markerWidth="8" markerHeight="8" refX="7" refY="4" orient="auto"><path d="M0 0L8 4L0 8Z" fill="#526273"/></marker></defs>
+  <rect class="bg" width="900" height="430"/><text class="title" x="450" y="38" text-anchor="middle">A SUCCESSFUL QUERY RETURNS TWO KINDS OF WITNESS</text>
+  <rect class="paper" x="30" y="115" width="220" height="135" rx="10"/><text class="label" x="140" y="148" text-anchor="middle">QUESTION</text><text class="code" x="140" y="188" text-anchor="middle">∃ X . mortal(X)</text><text class="prose" x="140" y="222" text-anchor="middle">does someone satisfy it?</text>
+  <path class="line" marker-end="url(#a)" d="M250 182H322"/><rect class="dark" x="330" y="90" width="240" height="185" rx="12"/><text class="light" x="450" y="126" text-anchor="middle">THEORY + SEARCH</text><text class="light" x="450" y="164" text-anchor="middle">man(socrates)</text><text class="light" x="450" y="194" text-anchor="middle">mortal(X) :- man(X)</text><text class="light" x="450" y="235" text-anchor="middle">unify · reduce · derive</text>
+  <path class="line" marker-end="url(#a)" d="M570 150H642"/><rect class="green" x="650" y="85" width="220" height="120" rx="10"/><text class="label" x="760" y="118" text-anchor="middle">OBJECT WITNESS</text><text class="code" x="760" y="158" text-anchor="middle">X = socrates</text><text class="prose" x="760" y="184" text-anchor="middle">answers the existential</text>
+  <path class="line" marker-end="url(#a)" d="M570 220C610 230 610 292 642 300"/><rect class="gold" x="650" y="245" width="220" height="120" rx="10"/><text class="label" x="760" y="278" text-anchor="middle">PROOF WITNESS</text><text class="code" x="760" y="318" text-anchor="middle">rule ← fact</text><text class="prose" x="760" y="344" text-anchor="middle">shows why it follows</text>
+  <text class="prose" x="450" y="407" text-anchor="middle">Computation discovers a term; explanation preserves the derivation that licenses it.</text>
+</svg>

package/book-assets/rdf-adapter-pipeline.svg

@@ -0,0 +1,14 @@
+<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">RDF data passing through the EyeProlog adapter</title>
+  <desc id="desc">Documents and named graphs enter an adapter, become rdf facts for EyeProlog rules, and leave as derived N-Quads.</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:#e9f1ee}.paper{fill:#fffdf7;stroke:#243447;stroke-width:2}.adapter{fill:#dcefe8;stroke:#2f6f55;stroke-width:4}
+    .text{fill:#243447;font:15px ui-monospace,monospace}.title{fill:#713535;font:bold 19px Georgia,serif}
+    .flow{fill:none;stroke:#536b78;stroke-width:4;marker-end:url(#a)}.graph{fill:none;stroke:#8b3a3a;stroke-width:3}
+  </style>
+  <rect width="900" height="380" class="bg"/>
+  <g transform="translate(35 65)"><rect class="paper" width="190" height="240" rx="6"/><text class="title" x="95" y="35" text-anchor="middle">RDF SOURCES</text><circle cx="52" cy="90" r="13" fill="#a55246"/><circle cx="135" cy="75" r="13" fill="#2f6f55"/><circle cx="115" cy="145" r="13" fill="#d9b85f"/><path class="graph" d="M65 87 L122 78 M128 88 L119 132 M62 99 L105 139"/><text class="text" x="95" y="195" text-anchor="middle">Turtle · TriG</text><text class="text" x="95" y="220" text-anchor="middle">JSON-LD · RDF/XML</text></g>
+  <path class="flow" d="M230 185 H295"/><rect class="adapter" x="305" y="92" width="290" height="186" rx="16"/><text class="title" x="450" y="125" text-anchor="middle">EXPLICIT ADAPTER</text><text class="text" x="330" y="165">rdf(Subject,</text><text class="text" x="365" y="190">Predicate,</text><text class="text" x="365" y="215">Object, Graph)</text><text class="text" x="330" y="250">+ EyeProlog rules</text>
+  <path class="flow" d="M595 185 H660"/><g transform="translate(670 65)"><rect class="paper" width="195" height="240" rx="6"/><text class="title" x="98" y="35" text-anchor="middle">DERIVED RDF</text><text class="text" x="20" y="82">&lt;s&gt; &lt;ancestor&gt; &lt;o&gt;</text><text class="text" x="20" y="110">&lt;s&gt; &lt;status&gt; "safe"</text><text class="text" x="20" y="160">RDF 1.2 N-Quads</text><text class="text" x="20" y="195">named graphs and</text><text class="text" x="20" y="220">triple terms retained</text></g>
+</svg>

package/book-assets/recursion-induction-ladder.svg

@@ -0,0 +1,47 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="520" viewBox="0 0 900 520" role="img" aria-labelledby="title desc">
+  <title id="title">Recursion and induction share a structural ladder</title>
+  <desc id="desc">A base clause aligns with an induction base case, the recursive call aligns with the induction hypothesis, and the rule head aligns with the conclusion, while termination is established independently by a decreasing measure.</desc>
+  <defs>
+    <style>
+      .paper{fill:#fffdf7;stroke:#243447;stroke-width:2}.green{fill:#dcefe8;stroke:#2f6f55;stroke-width:2}
+      .gold{fill:#fff0d9;stroke:#9a5b18;stroke-width:2}.blue{fill:#dcebf0;stroke:#526273;stroke-width:2}
+      .title{fill:#8b3a3a;font:bold 24px Georgia,serif}.label{fill:#243447;font:bold 18px Georgia,serif}
+      .prose{fill:#435166;font:16px Georgia,serif}.code{fill:#172334;font:15px ui-monospace,SFMono-Regular,Consolas,monospace}
+      .line{fill:none;stroke:#526273;stroke-width:2.5}.rung{stroke:#9a5b18;stroke-width:4}
+    </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="520" fill="#f4efe3"/>
+  <text class="title" x="450" y="35" text-anchor="middle">RECURSION IS INDUCTION IN MOTION</text>
+  <text class="label" x="210" y="74" text-anchor="middle">PROGRAM</text>
+  <text class="label" x="690" y="74" text-anchor="middle">PROOF</text>
+  <rect class="green" x="45" y="95" width="330" height="75" rx="10"/>
+  <text class="label" x="210" y="122" text-anchor="middle">BASE CLAUSE</text>
+  <text class="code" x="210" y="150" text-anchor="middle">plus(z, Y, Y).</text>
+  <rect class="green" x="525" y="95" width="330" height="75" rx="10"/>
+  <text class="label" x="690" y="122" text-anchor="middle">BASE CASE</text>
+  <text class="prose" x="690" y="150" text-anchor="middle">the property holds at z</text>
+  <line class="rung" x1="375" y1="132" x2="525" y2="132"/>
+
+  <rect class="gold" x="45" y="205" width="330" height="85" rx="10"/>
+  <text class="label" x="210" y="232" text-anchor="middle">RECURSIVE CALL</text>
+  <text class="code" x="210" y="260" text-anchor="middle">plus(X, Y, Z)</text>
+  <rect class="gold" x="525" y="205" width="330" height="85" rx="10"/>
+  <text class="label" x="690" y="232" text-anchor="middle">INDUCTION HYPOTHESIS</text>
+  <text class="prose" x="690" y="260" text-anchor="middle">assume the property for X</text>
+  <line class="rung" x1="375" y1="247" x2="525" y2="247"/>
+
+  <rect class="blue" x="45" y="325" width="330" height="85" rx="10"/>
+  <text class="label" x="210" y="352" text-anchor="middle">RULE HEAD</text>
+  <text class="code" x="210" y="380" text-anchor="middle">plus(s(X), Y, s(Z))</text>
+  <rect class="blue" x="525" y="325" width="330" height="85" rx="10"/>
+  <text class="label" x="690" y="352" text-anchor="middle">PRESERVED CONCLUSION</text>
+  <text class="prose" x="690" y="380" text-anchor="middle">therefore it holds for s(X)</text>
+  <line class="rung" x1="375" y1="367" x2="525" y2="367"/>
+  <path class="line" marker-end="url(#arrow)" d="M210 170V198M210 290V318"/>
+  <path class="line" marker-end="url(#arrow)" d="M690 170V198M690 290V318"/>
+
+  <rect class="paper" x="140" y="442" width="620" height="55" rx="10"/>
+  <text class="label" x="450" y="466" text-anchor="middle">INDEPENDENT TERMINATION ARGUMENT</text>
+  <text class="code" x="450" y="487" text-anchor="middle">measure: size of first argument · s(X) → X · strictly decreases</text>
+</svg>

package/book-assets/recursion-tabling-railway.svg

@@ -0,0 +1,18 @@
+<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">Recursion and tabling on a railway map</title>
+  <desc id="desc">A railway network contains a cycle; a route ledger records reached stations so recurring questions reuse known answers.</desc>
+  <style>
+    .map{fill:#e9f1ee}.land{fill:#eee5d3}.rail{fill:none;stroke:#536b78;stroke-width:8}.tie{fill:none;stroke:#fffdf7;stroke-width:2;stroke-dasharray:4 8}
+    .station{fill:#fffdf7;stroke:#243447;stroke-width:3}.known{fill:#dcefe8;stroke:#2f6f55;stroke-width:4}
+    .text{fill:#243447;font:16px ui-monospace,monospace}.ledger{fill:#fffdf7;stroke:#243447;stroke-width:2}.check{fill:#2f6f55}
+  </style>
+  <rect width="900" height="380" class="map"/><path class="land" d="M0 270 Q170 210 330 280 T650 245 T900 275 V380 H0Z"/>
+  <circle class="known" cx="48" cy="42" r="10"/><text class="text" x="68" y="48">answer already tabled</text>
+  <path class="rail" d="M75 250 C180 130 290 115 390 190 S580 300 700 190 S800 105 845 145"/>
+  <path class="tie" d="M75 250 C180 130 290 115 390 190 S580 300 700 190 S800 105 845 145"/>
+  <path class="rail" d="M390 190 C445 75 590 75 620 180 C650 285 500 300 450 235"/>
+  <path class="tie" d="M390 190 C445 75 590 75 620 180 C650 285 500 300 450 235"/>
+  <circle class="known" cx="75" cy="250" r="20"/><circle class="known" cx="250" cy="130" r="20"/><circle class="known" cx="390" cy="190" r="20"/><circle class="station" cx="535" cy="100" r="20"/><circle class="known" cx="620" cy="180" r="20"/><circle class="station" cx="700" cy="190" r="20"/><circle class="station" cx="845" cy="145" r="20"/>
+  <rect class="ledger" x="650" y="245" width="205" height="112" rx="7"/><text class="text" x="752" y="272" text-anchor="middle">ROUTE TABLE</text>
+  <circle class="check" cx="675" cy="295" r="7"/><text class="text" x="692" y="300">a → b</text><circle class="check" cx="675" cy="323" r="7"/><text class="text" x="692" y="328">a → c</text><text class="text" x="770" y="328">reuse ↻</text>
+</svg>

package/book-assets/reference-navigation.svg

@@ -0,0 +1,52 @@
+<svg xmlns="http://www.w3.org/2000/svg" width="900" height="500" viewBox="0 0 900 500" role="img" aria-labelledby="title desc">
+  <title id="title">Task-driven navigation through the EyeProlog reference</title>
+  <desc id="desc">A reader question branches to language in Chapter 38, predicates in Chapter 39, or execution in Chapter 40. These lead to study paths in Chapter 41, boundaries in Chapter 42, and vocabulary in Chapter 43.</desc>
+  <defs>
+    <style>
+      .bg{fill:#f4efe3}.question{fill:#243447;stroke:#172334;stroke-width:3}.card{stroke:#526273;stroke-width:2}.practice{fill:#dcefe8}.guide{fill:#fff0d9}
+      .line{fill:none;stroke:#526273;stroke-width:3;stroke-linecap:round}.arrow{fill:#526273}.title{fill:#713535;font:bold 24px Georgia,serif}
+      .q{fill:#fffdf7;font:bold 19px Georgia,serif}.qsmall{fill:#fffdf7;font:15px Georgia,serif}.chapter{fill:#172334;font:bold 18px Georgia,serif}.small{fill:#435166;font:15px Georgia,serif}.caption{fill:#435166;font:italic 16px Georgia,serif}
+    </style>
+  </defs>
+  <rect width="900" height="500" class="bg"/>
+  <text class="title" x="450" y="36" text-anchor="middle">ENTER THE REFERENCE THROUGH A QUESTION</text>
+
+  <rect class="question" x="300" y="60" width="300" height="62" rx="18"/>
+  <text class="q" x="450" y="88" text-anchor="middle">What do I need to do?</text>
+  <text class="qsmall" x="450" y="109" text-anchor="middle">read · choose · run</text>
+
+  <path class="line" d="M450 122V145M170 145H730M170 145V167M450 145V167M730 145V167"/>
+  <path class="arrow" d="M164 160L176 160L170 170Z"/><path class="arrow" d="M444 160L456 160L450 170Z"/><path class="arrow" d="M724 160L736 160L730 170Z"/>
+
+  <rect class="card practice" x="45" y="170" width="250" height="104" rx="12"/>
+  <text class="chapter" x="170" y="202" text-anchor="middle">38 · READ SOURCE</text>
+  <text class="small" x="170" y="230" text-anchor="middle">syntax · declarations</text>
+  <text class="small" x="170" y="252" text-anchor="middle">execution profile</text>
+
+  <rect class="card practice" x="325" y="170" width="250" height="104" rx="12"/>
+  <text class="chapter" x="450" y="202" text-anchor="middle">39 · CHOOSE A TOOL</text>
+  <text class="small" x="450" y="230" text-anchor="middle">predicates grouped</text>
+  <text class="small" x="450" y="252" text-anchor="middle">by programming role</text>
+
+  <rect class="card practice" x="605" y="170" width="250" height="104" rx="12"/>
+  <text class="chapter" x="730" y="202" text-anchor="middle">40 · RUN &amp; OBSERVE</text>
+  <text class="small" x="730" y="230" text-anchor="middle">CLI · channels</text>
+  <text class="small" x="730" y="252" text-anchor="middle">executable corpus</text>
+
+  <path class="line" d="M170 274V310M450 274V310M730 274V337M170 310H730M170 310V337M450 310V337"/>
+  <path class="arrow" d="M164 330L176 330L170 340Z"/><path class="arrow" d="M444 330L456 330L450 340Z"/><path class="arrow" d="M724 330L736 330L730 340Z"/>
+
+  <rect class="card guide" x="45" y="340" width="250" height="88" rx="12"/>
+  <text class="chapter" x="170" y="372" text-anchor="middle">41 · PLACE THE WORK</text>
+  <text class="small" x="170" y="400" text-anchor="middle">routes · examples · courses</text>
+
+  <rect class="card guide" x="325" y="340" width="250" height="88" rx="12"/>
+  <text class="chapter" x="450" y="372" text-anchor="middle">42 · TEST THE EDGE</text>
+  <text class="small" x="450" y="400" text-anchor="middle">standards · limits · security</text>
+
+  <rect class="card guide" x="605" y="340" width="250" height="88" rx="12"/>
+  <text class="chapter" x="730" y="372" text-anchor="middle">43 · NAME IT</text>
+  <text class="small" x="730" y="400" text-anchor="middle">terms · history · sources</text>
+
+  <text class="caption" x="450" y="470" text-anchor="middle">Search locally; return to construction with a precise answer.</text>
+</svg>

package/book-assets/relational-test-spectrum.svg

@@ -0,0 +1,18 @@
+<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">A relational theory needs more than single input-output tests</title>
+  <desc id="desc">A public relation sits at the center of a test spectrum covering meaning, modes, finite properties, metamorphic changes, proof provenance, integrity, and scale.</desc>
+  <defs><style>
+    .bg{fill:#f4efe3}.core{fill:#536b78;stroke:#243447;stroke-width:3}.box{fill:#fffdf7;stroke:#243447;stroke-width:2}.green{fill:#dcefe8;stroke:#2f6f55;stroke-width:2}.gold{fill:#fff0d9;stroke:#9a5b18;stroke-width:2}.rose{fill:#f1dfdf;stroke:#8b3a3a;stroke-width:2}.blue{fill:#dcebf0;stroke:#526273;stroke-width:2}
+    .title{fill:#8b3a3a;font:bold 24px Georgia,serif}.label{fill:#243447;font:bold 13px Georgia,serif}.light{fill:#fffdf7;font:bold 16px Georgia,serif}.prose{fill:#435166;font:13px Georgia,serif}.line{fill:none;stroke:#526273;stroke-width:2.5}
+  </style></defs>
+  <rect class="bg" width="900" height="460"/><text class="title" x="450" y="38" text-anchor="middle">TEST THE RELATION, NOT JUST ONE CALL</text>
+  <rect class="core" x="340" y="170" width="220" height="105" rx="18"/><text class="light" x="450" y="207" text-anchor="middle">PUBLIC RELATION</text><text class="light" x="450" y="241" text-anchor="middle">path/2 contract</text>
+  <path class="line" d="M340 190L230 125M450 170V105M560 190L670 125M340 250L230 335M450 275V355M560 250L670 335"/>
+  <rect class="green" x="35" y="70" width="220" height="100" rx="10"/><text class="label" x="145" y="100" text-anchor="middle">MEANING CASES</text><text class="prose" x="145" y="130" text-anchor="middle">positive · absent · boundary</text><text class="prose" x="145" y="152" text-anchor="middle">cycle · disputed reflexivity</text>
+  <rect class="blue" x="340" y="60" width="220" height="80" rx="10"/><text class="label" x="450" y="91" text-anchor="middle">SUPPORTED MODES</text><text class="prose" x="450" y="119" text-anchor="middle">construct · enumerate · check</text>
+  <rect class="gold" x="645" y="70" width="220" height="100" rx="10"/><text class="label" x="755" y="100" text-anchor="middle">FINITE PROPERTIES</text><text class="prose" x="755" y="130" text-anchor="middle">round trip · invariant</text><text class="prose" x="755" y="152" text-anchor="middle">reference agreement</text>
+  <rect class="box" x="35" y="305" width="220" height="100" rx="10"/><text class="label" x="145" y="335" text-anchor="middle">METAMORPHIC CHANGE</text><text class="prose" x="145" y="365" text-anchor="middle">transform input; predict</text><text class="prose" x="145" y="387" text-anchor="middle">the relation between runs</text>
+  <rect class="rose" x="340" y="325" width="220" height="80" rx="10"/><text class="label" x="450" y="356" text-anchor="middle">INTEGRITY + FAILURE</text><text class="prose" x="450" y="384" text-anchor="middle">no answer ≠ invalid input ≠ warning</text>
+  <rect class="green" x="645" y="305" width="220" height="100" rx="10"/><text class="label" x="755" y="335" text-anchor="middle">PROOF + SCALE</text><text class="prose" x="755" y="365" text-anchor="middle">premises remain intended;</text><text class="prose" x="755" y="387" text-anchor="middle">finite behavior remains usable</text>
+  <text class="prose" x="450" y="445" text-anchor="middle">Different observers protect different promises; no single golden covers the whole relation.</text>
+</svg>

package/book-assets/review-lenses.svg

@@ -0,0 +1,31 @@
+<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">Five lenses for reviewing an EyeProlog program</title>
+  <desc id="desc">Meaning, logic, control, evidence, and boundary surround one program artifact. A lower loop says predict, run, explain, and revise.</desc>
+  <defs>
+    <style>
+      .bg{fill:#f4efe3}.artifact{fill:#243447;stroke:#172334;stroke-width:3}.lens{stroke-width:2}.meaning{fill:#dcefe8;stroke:#2f6f55}.logic{fill:#c7dfe2;stroke:#376e75}.control{fill:#fff0d9;stroke:#9a5b18}.evidence{fill:#ead7d7;stroke:#8b3a3a}.boundary{fill:#e6e0ef;stroke:#625080}
+      .line{fill:none;stroke:#526273;stroke-width:2.5}.cycle{fill:none;stroke:#713535;stroke-width:3;stroke-linecap:round}.arrow{fill:#713535}.title{fill:#713535;font:bold 24px Georgia,serif}.label{fill:#172334;font:bold 17px Georgia,serif}.small{fill:#435166;font:15px Georgia,serif}.code{fill:#fffdf7;font:17px ui-monospace,SFMono-Regular,Consolas,monospace}.verb{fill:#713535;font:bold 15px Georgia,serif}
+    </style>
+  </defs>
+  <rect width="900" height="470" class="bg"/>
+  <text class="title" x="450" y="36" text-anchor="middle">REVIEW ONE ARTIFACT THROUGH FIVE LENSES</text>
+
+  <path class="line" d="M450 206L450 105M365 215L190 130M535 215L710 130M370 270L205 320M530 270L695 320"/>
+  <rect class="artifact" x="340" y="190" width="220" height="105" rx="18"/>
+  <text class="code" x="450" y="230" text-anchor="middle">program.pl</text>
+  <text class="code" x="450" y="262" text-anchor="middle">+ evidence</text>
+
+  <rect class="lens meaning" x="345" y="60" width="210" height="78" rx="39"/>
+  <text class="label" x="450" y="89" text-anchor="middle">MEANING</text><text class="small" x="450" y="114" text-anchor="middle">What does it claim?</text>
+  <rect class="lens logic" x="60" y="75" width="230" height="78" rx="39"/>
+  <text class="label" x="175" y="104" text-anchor="middle">LOGIC</text><text class="small" x="175" y="129" text-anchor="middle">Are answers intended?</text>
+  <rect class="lens control" x="610" y="75" width="230" height="78" rx="39"/>
+  <text class="label" x="725" y="104" text-anchor="middle">CONTROL</text><text class="small" x="725" y="129" text-anchor="middle">Why does it terminate?</text>
+  <rect class="lens evidence" x="55" y="290" width="250" height="78" rx="39"/>
+  <text class="label" x="180" y="319" text-anchor="middle">EVIDENCE</text><text class="small" x="180" y="344" text-anchor="middle">What can be reproduced?</text>
+  <rect class="lens boundary" x="595" y="290" width="250" height="78" rx="39"/>
+  <text class="label" x="720" y="319" text-anchor="middle">BOUNDARY</text><text class="small" x="720" y="344" text-anchor="middle">What remains assumed?</text>
+
+  <path class="cycle" d="M295 410C365 376 535 376 605 410"/><path class="arrow" d="M592 397L611 413L586 415Z"/>
+  <text class="verb" x="300" y="438" text-anchor="middle">PREDICT</text><text class="verb" x="400" y="438" text-anchor="middle">RUN</text><text class="verb" x="500" y="438" text-anchor="middle">EXPLAIN</text><text class="verb" x="610" y="438" text-anchor="middle">REVISE</text>
+</svg>

package/book-assets/sockets-providers.svg

@@ -0,0 +1,21 @@
+<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">Interchangeable knowledge providers connecting through a socket</title>
+  <desc id="desc">A file, database, and AI extractor offer parent facts through one declared predicate contract to the same ancestor rules.</desc>
+  <style>
+    .bg{fill:#eee5d3}.provider{fill:#fffdf7;stroke:#243447;stroke-width:2}.socket{fill:#dcefe8;stroke:#2f6f55;stroke-width:4}
+    .engine{fill:#536b78;stroke:#243447;stroke-width:3}.text{fill:#243447;font:16px ui-monospace,monospace}.small{fill:#435166;font:13px ui-monospace,monospace}.claim-text{fill:#713535;font:11px ui-monospace,monospace}.light{fill:#fffdf7;font:16px ui-monospace,monospace}
+    .cable{fill:none;stroke:#8b3a3a;stroke-width:4;stroke-linecap:round}.claim{fill:#fffdf7;stroke:#8b3a3a;stroke-width:2}.pin{fill:#243447}
+  </style>
+  <rect width="900" height="380" class="bg"/>
+  <rect class="provider" x="35" y="40" width="190" height="80" rx="8"/><text class="text" x="130" y="73" text-anchor="middle">family.pl</text><text class="text" x="130" y="99" text-anchor="middle">facts</text>
+  <rect class="provider" x="35" y="150" width="190" height="80" rx="8"/><text class="text" x="130" y="183" text-anchor="middle">database</text><text class="text" x="130" y="209" text-anchor="middle">adapter</text>
+  <rect class="provider" x="35" y="260" width="190" height="80" rx="8"/><text class="text" x="130" y="293" text-anchor="middle">AI document</text><text class="text" x="130" y="319" text-anchor="middle">extractor</text>
+  <path class="cable" d="M225 80 C300 80 300 170 365 170 M225 190 H365 M225 300 C300 300 300 210 365 210"/>
+  <text class="small" x="286" y="24" text-anchor="middle">interchangeable providers</text>
+  <rect class="socket" x="365" y="105" width="245" height="170" rx="25"/><text class="text" x="488" y="138" text-anchor="middle">STABLE SOCKET</text><text class="small" x="488" y="161" text-anchor="middle">family_source</text><text class="text" x="488" y="196" text-anchor="middle">provides(</text><text class="text" x="488" y="221" text-anchor="middle">predicate(parent,2))</text><text class="small" x="488" y="250" text-anchor="middle">validate once at the boundary</text>
+  <circle class="pin" cx="385" cy="170" r="7"/><circle class="pin" cx="385" cy="190" r="7"/><circle class="pin" cx="385" cy="210" r="7"/>
+  <path class="cable" d="M610 190H680"/>
+  <rect class="claim" x="616" y="157" width="60" height="66" rx="6"/><text class="claim-text" x="646" y="181" text-anchor="middle">parent</text><text class="claim-text" x="646" y="202" text-anchor="middle">(a,b)</text>
+  <rect class="engine" x="680" y="95" width="185" height="190" rx="10"/><text class="light" x="772" y="130" text-anchor="middle">unchanged rules</text><text class="light" x="772" y="168" text-anchor="middle">ancestor(X,Y)</text><text class="light" x="772" y="204" text-anchor="middle">Answer + Proof</text><text class="light" x="772" y="236" text-anchor="middle">cites parent(a,b)</text><text class="light" x="772" y="266" text-anchor="middle">same contract</text>
+  <text class="small" x="450" y="366" text-anchor="middle">Providers change. Terms, rules, and the evidence visible in a proof do not.</text>
+</svg>