eyeling 1.24.7 → 1.24.9

package/examples/output/transcendental-numbers-stretched.md

@@ -0,0 +1,266 @@
+# transcendental-numbers-stretched  
+
+## Source files  
+
+- [N3 rules](../transcendental-numbers-stretched.n3)  
+
+@prefix : <https://example.org/transcendental#> .  
+
+:report :concerns :prod_e_pi .  
+:report :concerns :sum_e_pi .  
+:report :headline :quadraticTrick .  
+:report :irrational :e .  
+:report :irrational :e_div_2 .  
+:report :irrational :e_plus_1 .  
+:report :irrational :e_plus_2 .  
+:report :irrational :exp_minus_pi_over_2 .  
+:report :irrational :exp_sqrt2 .  
+:report :irrational :half_times_e .  
+:report :irrational :half_times_pi .  
+:report :irrational :pi .  
+:report :irrational :pi_div_2 .  
+:report :irrational :pi_plus_1 .  
+:report :irrational :pi_plus_sqrt2 .  
+:report :irrational :pow_2_sqrt2 .  
+:report :irrational :pow_e_pi .  
+:report :irrational :pow_i_i .  
+:report :irrational :pow_minus1_minusI .  
+:report :irrational :pow2sqrt2_div_2 .  
+:report :irrational :pow2sqrt2_plus_1 .  
+:report :irrational :two_times_e .  
+:report :irrational :two_times_pi .  
+:report :irrational :two_times_pow2sqrt2 .  
+:report :notConstructible :e .  
+:report :notConstructible :e_div_2 .  
+:report :notConstructible :e_plus_1 .  
+:report :notConstructible :e_plus_2 .  
+:report :notConstructible :exp_minus_pi_over_2 .  
+:report :notConstructible :exp_sqrt2 .  
+:report :notConstructible :half_times_e .  
+:report :notConstructible :half_times_pi .  
+:report :notConstructible :pi .  
+:report :notConstructible :pi_div_2 .  
+:report :notConstructible :pi_plus_1 .  
+:report :notConstructible :pi_plus_sqrt2 .  
+:report :notConstructible :pow_2_sqrt2 .  
+:report :notConstructible :pow_e_pi .  
+:report :notConstructible :pow_i_i .  
+:report :notConstructible :pow_minus1_minusI .  
+:report :notConstructible :pow2sqrt2_div_2 .  
+:report :notConstructible :pow2sqrt2_plus_1 .  
+:report :notConstructible :two_times_e .  
+:report :notConstructible :two_times_pi .  
+:report :notConstructible :two_times_pow2sqrt2 .  
+:report :proof {  
+    :e :provedBy :Hermite1873 .  
+} .  
+:report :proof {  
+    :e :provedBy :TransImpliesIrrational .  
+} .  
+:report :proof {  
+    :e :provedBy :TransImpliesNotConstructible .  
+} .  
+:report :proof {  
+    :e_div_2 :provedBy :TransDivAlg .  
+} .  
+:report :proof {  
+    :e_div_2 :provedBy :TransImpliesIrrational .  
+} .  
+:report :proof {  
+    :e_div_2 :provedBy :TransImpliesNotConstructible .  
+} .  
+:report :proof {  
+    :e_plus_1 :provedBy :TransImpliesIrrational .  
+} .  
+:report :proof {  
+    :e_plus_1 :provedBy :TransImpliesNotConstructible .  
+} .  
+:report :proof {  
+    :e_plus_1 :provedBy :TransPlusAlg .  
+} .  
+:report :proof {  
+    :e_plus_2 :provedBy :TransImpliesIrrational .  
+} .  
+:report :proof {  
+    :e_plus_2 :provedBy :TransImpliesNotConstructible .  
+} .  
+:report :proof {  
+    :e_plus_2 :provedBy :TransPlusAlg .  
+} .  
+:report :proof {  
+    :exp_minus_pi_over_2 :provedBy :GelfondSchneider .  
+} .  
+:report :proof {  
+    :exp_minus_pi_over_2 :provedBy :TransImpliesIrrational .  
+} .  
+:report :proof {  
+    :exp_minus_pi_over_2 :provedBy :TransImpliesNotConstructible .  
+} .  
+:report :proof {  
+    :exp_sqrt2 :provedBy :LindemannWeierstrass .  
+} .  
+:report :proof {  
+    :exp_sqrt2 :provedBy :TransImpliesIrrational .  
+} .  
+:report :proof {  
+    :exp_sqrt2 :provedBy :TransImpliesNotConstructible .  
+} .  
+:report :proof {  
+    :half_times_e :provedBy :TransImpliesIrrational .  
+} .  
+:report :proof {  
+    :half_times_e :provedBy :TransImpliesNotConstructible .  
+} .  
+:report :proof {  
+    :half_times_e :provedBy :TransTimesAlg .  
+} .  
+:report :proof {  
+    :half_times_pi :provedBy :TransImpliesIrrational .  
+} .  
+:report :proof {  
+    :half_times_pi :provedBy :TransImpliesNotConstructible .  
+} .  
+:report :proof {  
+    :half_times_pi :provedBy :TransTimesAlg .  
+} .  
+:report :proof {  
+    :pi :provedBy :Lindemann1882 .  
+} .  
+:report :proof {  
+    :pi :provedBy :TransImpliesIrrational .  
+} .  
+:report :proof {  
+    :pi :provedBy :TransImpliesNotConstructible .  
+} .  
+:report :proof {  
+    :pi_div_2 :provedBy :TransDivAlg .  
+} .  
+:report :proof {  
+    :pi_div_2 :provedBy :TransImpliesIrrational .  
+} .  
+:report :proof {  
+    :pi_div_2 :provedBy :TransImpliesNotConstructible .  
+} .  
+:report :proof {  
+    :pi_plus_1 :provedBy :TransImpliesIrrational .  
+} .  
+:report :proof {  
+    :pi_plus_1 :provedBy :TransImpliesNotConstructible .  
+} .  
+:report :proof {  
+    :pi_plus_1 :provedBy :TransPlusAlg .  
+} .  
+:report :proof {  
+    :pi_plus_sqrt2 :provedBy :TransImpliesIrrational .  
+} .  
+:report :proof {  
+    :pi_plus_sqrt2 :provedBy :TransImpliesNotConstructible .  
+} .  
+:report :proof {  
+    :pi_plus_sqrt2 :provedBy :TransPlusAlg .  
+} .  
+:report :proof {  
+    :pow_2_sqrt2 :provedBy :GelfondSchneider .  
+} .  
+:report :proof {  
+    :pow_2_sqrt2 :provedBy :TransImpliesIrrational .  
+} .  
+:report :proof {  
+    :pow_2_sqrt2 :provedBy :TransImpliesNotConstructible .  
+} .  
+:report :proof {  
+    :pow_e_pi :provedBy :GelfondSchneider .  
+} .  
+:report :proof {  
+    :pow_e_pi :provedBy :TransImpliesIrrational .  
+} .  
+:report :proof {  
+    :pow_e_pi :provedBy :TransImpliesNotConstructible .  
+} .  
+:report :proof {  
+    :pow_i_i :provedBy :GelfondSchneider .  
+} .  
+:report :proof {  
+    :pow_i_i :provedBy :TransImpliesIrrational .  
+} .  
+:report :proof {  
+    :pow_i_i :provedBy :TransImpliesNotConstructible .  
+} .  
+:report :proof {  
+    :pow_minus1_minusI :provedBy :GelfondSchneider .  
+} .  
+:report :proof {  
+    :pow_minus1_minusI :provedBy :TransImpliesIrrational .  
+} .  
+:report :proof {  
+    :pow_minus1_minusI :provedBy :TransImpliesNotConstructible .  
+} .  
+:report :proof {  
+    :pow2sqrt2_div_2 :provedBy :TransDivAlg .  
+} .  
+:report :proof {  
+    :pow2sqrt2_div_2 :provedBy :TransImpliesIrrational .  
+} .  
+:report :proof {  
+    :pow2sqrt2_div_2 :provedBy :TransImpliesNotConstructible .  
+} .  
+:report :proof {  
+    :pow2sqrt2_plus_1 :provedBy :TransImpliesIrrational .  
+} .  
+:report :proof {  
+    :pow2sqrt2_plus_1 :provedBy :TransImpliesNotConstructible .  
+} .  
+:report :proof {  
+    :pow2sqrt2_plus_1 :provedBy :TransPlusAlg .  
+} .  
+:report :proof {  
+    :two_times_e :provedBy :TransImpliesIrrational .  
+} .  
+:report :proof {  
+    :two_times_e :provedBy :TransImpliesNotConstructible .  
+} .  
+:report :proof {  
+    :two_times_e :provedBy :TransTimesAlg .  
+} .  
+:report :proof {  
+    :two_times_pi :provedBy :TransImpliesIrrational .  
+} .  
+:report :proof {  
+    :two_times_pi :provedBy :TransImpliesNotConstructible .  
+} .  
+:report :proof {  
+    :two_times_pi :provedBy :TransTimesAlg .  
+} .  
+:report :proof {  
+    :two_times_pow2sqrt2 :provedBy :TransImpliesIrrational .  
+} .  
+:report :proof {  
+    :two_times_pow2sqrt2 :provedBy :TransImpliesNotConstructible .  
+} .  
+:report :proof {  
+    :two_times_pow2sqrt2 :provedBy :TransTimesAlg .  
+} .  
+:report :transcendental :e .  
+:report :transcendental :e_div_2 .  
+:report :transcendental :e_plus_1 .  
+:report :transcendental :e_plus_2 .  
+:report :transcendental :exp_minus_pi_over_2 .  
+:report :transcendental :exp_sqrt2 .  
+:report :transcendental :half_times_e .  
+:report :transcendental :half_times_pi .  
+:report :transcendental :pi .  
+:report :transcendental :pi_div_2 .  
+:report :transcendental :pi_plus_1 .  
+:report :transcendental :pi_plus_sqrt2 .  
+:report :transcendental :pow_2_sqrt2 .  
+:report :transcendental :pow_e_pi .  
+:report :transcendental :pow_i_i .  
+:report :transcendental :pow_minus1_minusI .  
+:report :transcendental :pow2sqrt2_div_2 .  
+:report :transcendental :pow2sqrt2_plus_1 .  
+:report :transcendental :two_times_e .  
+:report :transcendental :two_times_pi .  
+:report :transcendental :two_times_pow2sqrt2 .  
+:report :unknown :pow_pi_e .  
+:report :unknown :prod_e_pi .  
+:report :unknown :sum_e_pi .  

package/examples/output/transistor-switch.md

@@ -0,0 +1,30 @@
+# transistor-switch  
+
+## Source files  
+
+- [N3 rules](../transistor-switch.n3)  
+
+## Answer  
+In this toy transistor-switch model, a low input leaves the transistor in cutoff (OFF) and a high input drives it into saturation (ON), so the load behaves like an on/off branch rather than a linear amplifier.  
+case                             : transistor-switch  
+low input state                  : cutoff / OFF  
+high input state                 : saturation / ON  
+on-state load current            : 4.80 mA  
+
+## Reason Why  
+We model an NPN low-side switch with exact millivolt and microamp arithmetic. The base current comes from (Vin - Vbe,on)/Rb when the base-emitter junction is forward biased, and the collector current is the smaller of beta * Ib and the load-limited current (Vcc - Vce,sat)/Rl.  
+supply voltage                   : 5.00 V  
+base resistor                    : 10000 ohms  
+load resistor                    : 1000 ohms  
+transistor beta proxy            : 100  
+low input                        : Vin=0.00 V -> Ib=0.00 mA, Ic=0.00 mA, Vce=5.00 V, state=cutoff / OFF  
+high input                       : Vin=5.00 V -> Ib=0.43 mA, Ic=4.80 mA, Vce=0.20 V, state=saturation / ON  
+high-input gain limit            : 43.00 mA  
+high-input load limit            : 4.80 mA  
+
+## Check  
+low input stays in cutoff        : yes  
+high input reaches saturation    : yes  
+switching states differ          : yes  
+on-state current is load-limited : yes  
+load voltage matches resistor drop : yes  

package/examples/output/triple-terms.md

@@ -0,0 +1,12 @@
+# triple-terms  
+
+## Source files  
+
+- [N3 rules](../triple-terms.n3)  
+- [Input TriG](../input/triple-terms.trig)  
+
+VERSION "1.2"  
+
+@prefix : <https://eyereasoner.github.io/eyeling/examples/triple_terms#> .  
+
+:observation :entails <<( :sensor :needs :inspection )>> .  

package/examples/output/{tunnel-junction-wake-switch-becoming.txt → tunnel-junction-wake-switch-becoming.md}

@@ -1,21 +1,27 @@
-tunnel-junction wake switch — becoming
+# tunnel-junction-wake-switch-becoming  
 
-Answer
-YES for the tunnel junction.
-NO for the conventional low-bias PN junction in the same wake-switch regime.
+## Source files  
 
-Reason Why
-The tunnel junction can be read as a becoming under low forward bias. Because it is modeled as a heavily doped narrow PN junction with overlapping states, it can become a quantum-transfer state. In that regime it can become a sub-threshold current state, and under peak-to-valley scanning it can also become a negative differential response state. As a wake-switch device, that lets it become an ultra-low-bias switching state and finally a leak-alarm wake-serving state. By contrast, the conventional junction lacks the structural conditions needed for the same transition into quantum transfer, so the later wake-serving becoming is blocked as well.
+- [N3 rules](../tunnel-junction-wake-switch-becoming.n3)  
 
-Check
-B1  OK - the tunnel junction can become a quantum-transfer state
-B2  OK - the tunnel junction is classified as tunneling-dominant
-B3  OK - the tunnel junction can become a sub-threshold current state
-B4  OK - the tunnel junction can become a negative differential response state
-B5  OK - the tunnel junction can become an ultra-low-bias switching state
-B6  OK - the tunnel junction can become a leak-alarm wake-serving state
-B7  OK - the conventional junction cannot become a quantum-transfer state
-B8  OK - the conventional junction cannot become a sub-threshold current state
-B9  OK - the conventional junction cannot become the tunnel-style negative differential state
-B10 OK - the conventional junction cannot become an ultra-low-bias switching state here
-B11 OK - the conventional junction cannot become a leak-alarm wake-serving state in this case
+tunnel-junction wake switch — becoming  
+
+## Answer  
+YES for the tunnel junction.  
+NO for the conventional low-bias PN junction in the same wake-switch regime.  
+
+## Reason Why  
+The tunnel junction can be read as a becoming under low forward bias. Because it is modeled as a heavily doped narrow PN junction with overlapping states, it can become a quantum-transfer state. In that regime it can become a sub-threshold current state, and under peak-to-valley scanning it can also become a negative differential response state. As a wake-switch device, that lets it become an ultra-low-bias switching state and finally a leak-alarm wake-serving state. By contrast, the conventional junction lacks the structural conditions needed for the same transition into quantum transfer, so the later wake-serving becoming is blocked as well.  
+
+## Check  
+B1  OK - the tunnel junction can become a quantum-transfer state  
+B2  OK - the tunnel junction is classified as tunneling-dominant  
+B3  OK - the tunnel junction can become a sub-threshold current state  
+B4  OK - the tunnel junction can become a negative differential response state  
+B5  OK - the tunnel junction can become an ultra-low-bias switching state  
+B6  OK - the tunnel junction can become a leak-alarm wake-serving state  
+B7  OK - the conventional junction cannot become a quantum-transfer state  
+B8  OK - the conventional junction cannot become a sub-threshold current state  
+B9  OK - the conventional junction cannot become the tunnel-style negative differential state  
+B10 OK - the conventional junction cannot become an ultra-low-bias switching state here  
+B11 OK - the conventional junction cannot become a leak-alarm wake-serving state in this case  

package/examples/output/{wind-turbine.txt → wind-turbine.md}

@@ -1,18 +1,24 @@
-Wind turbine — Predictive maintenance
+# wind-turbine  
 
-Answer
-Act now: schedule an urgent inspection and gearbox maintenance.
+## Source files  
 
-Reason Why
-North field turbine reports vibration 0.42 against a threshold of 0.35, temperature 78 against a threshold of 75, and rotor speed 1650 against a critical limit of 1800. Both vibration and temperature are above their safety thresholds, so the turbine shows a combined warning pattern. The gearbox is also degraded, so maintenance is needed even though the rotor speed is still below the critical RPM limit.
+- [N3 rules](../wind-turbine.n3)  
 
-Check
-C1 OK - measured vibration is above the vibration threshold.
-C2 OK - measured temperature is above the temperature threshold.
-C3 OK - a high-vibration anomaly was inferred from the readings.
-C4 OK - a high-temperature anomaly was inferred from the readings.
-C5 OK - urgent inspection follows from the combination of both anomalies.
-C6 OK - the gearbox is marked as degraded.
-C7 OK - degraded gearbox status triggered gearbox maintenance.
-C8 OK - rotor speed is below the critical RPM threshold, so the urgent action is not based on overspeed.
-C9 OK - two separate actions were derived: inspection and maintenance.
+Wind turbine — Predictive maintenance  
+
+## Answer  
+Act now: schedule an urgent inspection and gearbox maintenance.  
+
+## Reason Why  
+North field turbine reports vibration 0.42 against a threshold of 0.35, temperature 78 against a threshold of 75, and rotor speed 1650 against a critical limit of 1800. Both vibration and temperature are above their safety thresholds, so the turbine shows a combined warning pattern. The gearbox is also degraded, so maintenance is needed even though the rotor speed is still below the critical RPM limit.  
+
+## Check  
+C1 OK - measured vibration is above the vibration threshold.  
+C2 OK - measured temperature is above the temperature threshold.  
+C3 OK - a high-vibration anomaly was inferred from the readings.  
+C4 OK - a high-temperature anomaly was inferred from the readings.  
+C5 OK - urgent inspection follows from the combination of both anomalies.  
+C6 OK - the gearbox is marked as degraded.  
+C7 OK - degraded gearbox status triggered gearbox maintenance.  
+C8 OK - rotor speed is below the critical RPM threshold, so the urgent action is not based on overspeed.  
+C9 OK - two separate actions were derived: inspection and maintenance.  

package/examples/parcellocker.n3

@@ -11,6 +11,8 @@
 @prefix : <https://example.org/parcellocker#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
 
+:000_md_title log:outputString "# parcellocker\n\n## Source files\n\n- [N3 rules](../parcellocker.n3)\n\n" .
+
 # -----
 # Facts
 # -----
@@ -101,7 +103,7 @@
 
 { :case :decision :Permit . }
     => {
-        :out log:outputString "ParcelLocker — One-time parcel pickup by a friend\n\nAnswer\nPERMIT\nNoah may collect Maya's parcel from locker B17.\n\nReason Why\nMaya created a one-time authorization for Noah only, for this parcel only, at this locker only, and for pickup only. The token is active, the parcel is ready, and the same authorization does not reveal billing details or allow redirection.\n\nCheck\nC1  OK - requester matches the named delegate\nC2  OK - requested parcel matches the authorized parcel\nC3  OK - requested locker matches the authorized locker\nC4  OK - requested action is parcel collection\nC5  OK - requested purpose is pickup only\nC6  OK - authorization is active\nC7  OK - authorization is single-use\nC8  OK - parcel is ready for pickup\nC9  OK - billing details stay hidden\nC10 OK - parcel redirection is not allowed\n" .
+        :out log:outputString "ParcelLocker — One-time parcel pickup by a friend\n\n## Answer\nPERMIT\nNoah may collect Maya's parcel from locker B17.\n\n## Reason Why\nMaya created a one-time authorization for Noah only, for this parcel only, at this locker only, and for pickup only. The token is active, the parcel is ready, and the same authorization does not reveal billing details or allow redirection.\n\n## Check\nC1  OK - requester matches the named delegate\nC2  OK - requested parcel matches the authorized parcel\nC3  OK - requested locker matches the authorized locker\nC4  OK - requested action is parcel collection\nC5  OK - requested purpose is pickup only\nC6  OK - authorization is active\nC7  OK - authorization is single-use\nC8  OK - parcel is ready for pickup\nC9  OK - billing details stay hidden\nC10 OK - parcel redirection is not allowed\n" .
     } .
 
 # ----------------

package/examples/pn-junction-tunneling.n3

@@ -136,7 +136,7 @@
   ( "peak current proxy            : %s\n" ?peakCurrent ) string:format ?peakCurrentLine .
 }
     => {
-         :01-answer-1 log:outputString "=== Answer ===\n" .
+         :01-answer-1 log:outputString "# pn-junction-tunneling\n\n## Source files\n\n- [N3 rules](../pn-junction-tunneling.n3)\n\n## Answer\n" .
          :01-answer-2 log:outputString "In this toy PN-junction tunneling model, heavy doping narrows the depletion region enough for a tunneling window that rises to a peak and then falls, producing a negative-differential region.\n" .
          :01-answer-3 log:outputString "case                          : pn-junction-tunneling\n" .
          :01-answer-4 log:outputString ?peakBiasLine .
@@ -167,7 +167,7 @@
   ( "high-bias point               : %s -> %s\n" ?valleyBias ?valleyCurrent ) string:format ?valleyLine .
 }
     => {
-         :02-why-1 log:outputString "=== Reason Why ===\n" .
+         :02-why-1 log:outputString "## Reason Why\n" .
          :02-why-2 log:outputString "We model tunneling current as an exact overlap count between filled N-side states and empty P-side states while forward bias shifts the bands. Heavy doping is represented by a much narrower depletion region.\n" .
          :02-why-3 log:outputString ?ordinaryLine .
          :02-why-4 log:outputString ?tunnelLine .
@@ -187,7 +187,7 @@
   :case :peakMatchesFullOverlap true .
 }
     => {
-         :03-check-1 log:outputString "=== Check ===\n" .
+         :03-check-1 log:outputString "## Check\n" .
          :03-check-2 log:outputString "heavily doped barrier is narrower : yes\n" .
          :03-check-3 log:outputString "peak occurs before overlap closes : yes\n" .
          :03-check-4 log:outputString "negative differential region present : yes\n" .

package/examples/queens.n3

@@ -16,5 +16,6 @@
   :run :n ?N; :maxPrint ?MaxPrint.
   (?N ?MaxPrint) :render ?Report.
 } log:query {
+  :000_md_title log:outputString "# queens\n\n## Source files\n\n- [N3 rules](../queens.n3)\n\n" .
   :answer log:outputString ?Report.
 }.

package/examples/rc-discharge-envelope.n3

@@ -44,5 +44,5 @@
 {
   :case :exactDecaySymbol ?Symbol; :decayLower ?Lower; :decayUpper ?Upper; :firstBelowToleranceStep ?Step.
   ?Step :index ?Index; :timeSeconds ?Time; :upperVoltage ?Voltage.
-  ("=== Answer ===\nexact decay symbol : %s\ncertified decay interval : [%.10f, %.10f]\nfirst below tolerance step : %d\nfirst below tolerance time : %.3f s\nupper voltage at step %d : %.6f V\n\n=== Explanation ===\nThe physical decay factor is exp(-1/4), but the example uses a finite double interval as the certificate. Because the interval lies strictly between 0 and 1, the capacitor voltage envelope contracts each sample. The upper envelope is the safety-relevant bound: once it falls below 1.0 V, every compatible exact trajectory is below tolerance." ?Symbol ?Lower ?Upper ?Index ?Time ?Index ?Voltage) string:format ?Block.
+  ("# rc-discharge-envelope\n\n## Source files\n\n- [N3 rules](../rc-discharge-envelope.n3)\n- [Input TriG](../input/rc-discharge-envelope.trig)\n\n## Answer\nexact decay symbol : %s\ncertified decay interval : [%.10f, %.10f]\nfirst below tolerance step : %d\nfirst below tolerance time : %.3f s\nupper voltage at step %d : %.6f V\n\n## Explanation\nThe physical decay factor is exp(-1/4), but the example uses a finite double interval as the certificate. Because the interval lies strictly between 0 and 1, the capacitor voltage envelope contracts each sample. The upper envelope is the safety-relevant bound: once it falls below 1.0 V, every compatible exact trajectory is below tolerance." ?Symbol ?Lower ?Upper ?Index ?Time ?Index ?Voltage) string:format ?Block.
 } => { :report log:outputString ?Block. }.

package/examples/rdf-dataset.n3

@@ -23,3 +23,8 @@ VERSION "1.2"
 } log:query {
   :workOrder :entails <<( ?device :needs ?action )>> .
 } .
+
+
+# Markdown rendering via log:outputString.
+:__md_output :text "# rdf-dataset\n\n## Source files\n\n- [N3 rules](../rdf-dataset.n3)\n- [Input TriG](../input/rdf-dataset.trig)\n\nVERSION \"1.2\"\n\n@prefix : <https://eyereasoner.github.io/eyeling/examples/rdf-dataset#> .\n\n:workOrder :entails <<( :sensor :needs :inspection )>> .\n" .
+{ :__md_output :text ?text } log:query { :__md_output log:outputString ?text } .

package/examples/rdf-message-flow.n3

@@ -134,10 +134,9 @@
   :m005 :atStage :sink;
     msg:payloadResult ?FifthResult;
     :route :alertSink.
-  ("=== Answer ===\nContinuous RDF Message flow accepted: %d ordered messages moved through the ingest → validate → interpret → route → sink pipeline. The threshold was %d, so results %s and %s were archived, the heartbeat kept the stream alive, and results %s and %s were emitted as alerts.\n\n=== Explanation ===\nThe N3 source starts only :m001 at ingress. Each message must reach :sink before the continuous-flow rule releases its msg:nextMessage. Observation payloads are inspected with log:includes inside each message formula, while the empty heartbeat uses the same envelope and routing stages without a payload. This models messages flowing through a live stream while preserving message boundaries." ?Count ?Threshold ?FirstResult ?SecondResult ?FourthResult ?FifthResult) string:format ?Block.
+  ("# rdf-message-flow\n\n## Source files\n\n- [N3 rules](../rdf-message-flow.n3)\n- [Input TriG](../input/rdf-message-flow.trig)\n\n## Answer\nContinuous RDF Message flow accepted: %d ordered messages moved through the ingest → validate → interpret → route → sink pipeline. The threshold was %d, so results %s and %s were archived, the heartbeat kept the stream alive, and results %s and %s were emitted as alerts.\n\n## Explanation\nThe N3 source starts only :m001 at ingress. Each message must reach :sink before the continuous-flow rule releases its msg:nextMessage. Observation payloads are inspected with log:includes inside each message formula, while the empty heartbeat uses the same envelope and routing stages without a payload. This models messages flowing through a live stream while preserving message boundaries." ?Count ?Threshold ?FirstResult ?SecondResult ?FourthResult ?FifthResult) string:format ?Block.
 } => {
   :rdfMessageFlowExample log:outputString ?Block.
   :rdfMessageFlowExample :demonstrates :ContinuousFlow, :BackPressureRelease, :AtomicMessageContext, :HeartbeatInFlow, :ThresholdRouting.
 }.
 
-{ :rdfMessageFlowExample :demonstrates ?Feature } log:query { :rdfMessageFlowExample :demonstrates ?Feature }.

package/examples/rdf-messages.n3

@@ -97,10 +97,9 @@
   :BlankNodeScope :reusedLabel ?Label;
     :isPerMessage true.
   :MessageContext :differentObservationsStayContextual true.
-  ("=== Answer ===\nRDF Message log accepted: %d explicit message boundaries are preserved. Message :m002 is an empty heartbeat, and the local blank-node label %s is safely reused in separate messages.\n\n=== Explanation ===\nThe N3 source models an RDF Message Log as an ordered sequence of RDF Messages. Each non-empty message has a formula-valued payload that is inspected with log:includes, so the observation data stays inside the message boundary instead of being treated as one global graph. The two temperature results, %s and %s, are different observations from the same stream but are contextualized by their message boundaries." ?Count ?Label ?FirstResult ?SecondResult) string:format ?Block.
+  ("# rdf-messages\n\n## Source files\n\n- [N3 rules](../rdf-messages.n3)\n- [Input TriG](../input/rdf-messages.trig)\n\n## Answer\nRDF Message log accepted: %d explicit message boundaries are preserved. Message :m002 is an empty heartbeat, and the local blank-node label %s is safely reused in separate messages.\n\n## Explanation\nThe N3 source models an RDF Message Log as an ordered sequence of RDF Messages. Each non-empty message has a formula-valued payload that is inspected with log:includes, so the observation data stays inside the message boundary instead of being treated as one global graph. The two temperature results, %s and %s, are different observations from the same stream but are contextualized by their message boundaries." ?Count ?Label ?FirstResult ?SecondResult) string:format ?Block.
 } => {
   :rdfMessagesExample log:outputString ?Block.
   :rdfMessagesExample :demonstrates :ExplicitBoundaries, :AtomicMessageContext, :EmptyHeartbeat, :MessageScopedBlankNodes, :ReplayableMessageLog.
 }.
 
-{ :rdfMessagesExample :demonstrates ?Feature } log:query { :rdfMessagesExample :demonstrates ?Feature }.

package/examples/resto.n3

@@ -22,6 +22,8 @@
 @prefix string: <http://www.w3.org/2000/10/swap/string#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 
+:000_md_title log:outputString "# resto\n\n## Source files\n\n- [N3 rules](../resto.n3)\n\n" .
+
 # ----------------
 # Initial question
 # ----------------
@@ -288,15 +290,15 @@
   :Check :c8 ?C8.
   (
     "RESTdesc — Restaurant finder\n\n"
-    "Answer\n"
+    "## Answer\n"
     ?Outcome "\n"
     "Restaurant: " ?RestaurantName "\n"
     "Date: " ?Date "\n"
     "Seating: " ?Seating "\n\n"
-    "Reason Why\n"
+    "## Reason Why\n"
     "The plan resolved the person's address, turned it into a map point, checked the local weather, selected a suitable restaurant, and then created a reservation. "
     "Because the weather came back mild and stable (22 C and 1016 mbar), the chosen seating stayed outdoors.\n\n"
-    "Check\n"
+    "## Check\n"
     "C1 " ?C1 "\n"
     "C2 " ?C2 "\n"
     "C3 " ?C3 "\n"

package/examples/school-placement-audit.n3

@@ -42,10 +42,9 @@
 
 {
   :Audit :result ?Result; :affectedChildren ?Affected; :largestHiddenDetour ?Detour; :recommendedAssignments ?Assignments.
-  ("=== Answer ===\naudit result : %s\nchildren affected by straight-line rule : %s\nlargest hidden detour : %s\nrecommended assignments : %s\nexplanation requested : yes\n\n=== Explanation ===\nThe support-tool rule chooses the school with the smallest straight-line distance, using preference rank only as a tie-breaker. The independent audit recomputes each candidate with walking-route distance plus 600 m per preference step. Any provisional assignment that is not the audited best, or that requires more than 2500 m of walking, is flagged. Ada and Björn look close to Centrum on a map, but their walking routes cross barriers and exceed the walking limit; Davi is also better served by the first-preference Haga route. This illustrates why a decision-support label is not enough: route geometry, preferences, and audit records must be inspectable." ?Result ?Affected ?Detour ?Assignments) string:format ?Block.
+  ("# school-placement-audit\n\n## Source files\n\n- [N3 rules](../school-placement-audit.n3)\n- [Input TriG](../input/school-placement-audit.trig)\n\n## Answer\naudit result : %s\nchildren affected by straight-line rule : %s\nlargest hidden detour : %s\nrecommended assignments : %s\nexplanation requested : yes\n\n## Explanation\nThe support-tool rule chooses the school with the smallest straight-line distance, using preference rank only as a tie-breaker. The independent audit recomputes each candidate with walking-route distance plus 600 m per preference step. Any provisional assignment that is not the audited best, or that requires more than 2500 m of walking, is flagged. Ada and Björn look close to Centrum on a map, but their walking routes cross barriers and exceed the walking limit; Davi is also better served by the first-preference Haga route. This illustrates why a decision-support label is not enough: route geometry, preferences, and audit records must be inspectable." ?Result ?Affected ?Detour ?Assignments) string:format ?Block.
 } => {
   :schoolPlacementAudit log:outputString ?Block.
   :schoolPlacementAudit :reports :Audit.
 }.
 
-{ :schoolPlacementAudit :reports ?Audit } log:query { :schoolPlacementAudit :reports ?Audit }.

package/examples/smoke-arithmetic.n3

@@ -16,5 +16,5 @@
 } .
 
 { :Case :product ?Product.
-  ("=== Answer ===\nproduct = %s\n\n=== Explanation ===\nThe compiled rule multiplies :x and :y using math:product." ?Product) string:format ?Block.
+  ("# smoke-arithmetic\n\n## Source files\n\n- [N3 rules](../smoke-arithmetic.n3)\n- [Input TriG](../input/smoke-arithmetic.trig)\n\n## Answer\nproduct = %s\n\n## Explanation\nThe compiled rule multiplies :x and :y using math:product." ?Product) string:format ?Block.
 } => { :out01 log:outputString ?Block. } .

package/examples/sqrt2-cauchy.n3

@@ -13,6 +13,8 @@
 @prefix log:   <http://www.w3.org/2000/10/swap/log#>.
 @prefix string:<http://www.w3.org/2000/10/swap/string#>.
 
+:000_md_title log:outputString "# sqrt2-cauchy\n\n## Source files\n\n- [N3 rules](../sqrt2-cauchy.n3)\n\n" .
+
 :sqrt2Real a :Real;
   :representedBy :sqrt2Seq.
 

package/examples/sqrt2-dedekind.n3

@@ -9,6 +9,8 @@
 @prefix log:    <http://www.w3.org/2000/10/swap/log#>.
 @prefix string: <http://www.w3.org/2000/10/swap/string#>.
 
+:000_md_title log:outputString "# sqrt2-dedekind\n\n## Source files\n\n- [N3 rules](../sqrt2-dedekind.n3)\n\n" .
+
 # -----------------------------------------------------------------
 # Data: a finite sample of rationals (decimal tokens are rationals)
 # -----------------------------------------------------------------