eyeling 1.24.8 → 1.24.9

package/examples/sudoku.n3

@@ -112,7 +112,7 @@
     ?givens ?blanks ?forced ?guessed ?nodes ?backtracks ?moveSummary ) string:format ?reasonText .
 }
     => {
-         :01-answer log:outputString "# sudoku\n\n## Answer\n" ;
+         :01-answer log:outputString "# sudoku\n\n## Source files\n\n- [N3 rules](../sudoku.n3)\n\n## Answer\n" ;
                     log:outputString ?answerText .
          :01a-answer log:outputString "case              : sudoku\n" ;
                      log:outputString "default puzzle    : classic\n\n" ;
@@ -144,7 +144,7 @@
     ?givens ?blanks ?forced ?guessed ?nodes ?backtracks ?moveSummary ) string:format ?reasonText .
 }
     => {
-         :01-answer log:outputString "# sudoku\n\n## Answer\n" ;
+         :01-answer log:outputString "# sudoku\n\n## Source files\n\n- [N3 rules](../sudoku.n3)\n\n## Answer\n" ;
                     log:outputString ?answerText .
          :01a-answer log:outputString "case              : sudoku\n" ;
                      log:outputString "default puzzle    : classic\n\n" ;
@@ -164,7 +164,7 @@
   :case :error ?error .
 }
     => {
-         :01-answer log:outputString "# sudoku\n\n## Answer\n" ;
+         :01-answer log:outputString "# sudoku\n\n## Source files\n\n- [N3 rules](../sudoku.n3)\n\n## Answer\n" ;
                     log:outputString "The supplied puzzle is not well formed and cannot be parsed as a 9×9 Sudoku.\n" ;
                     log:outputString "case              : sudoku\n\n" .
          :02-reason log:outputString "## Reason Why\n" ;
@@ -178,7 +178,7 @@
         :error ?error .
 }
     => {
-         :01-answer log:outputString "# sudoku\n\n## Answer\n" ;
+         :01-answer log:outputString "# sudoku\n\n## Source files\n\n- [N3 rules](../sudoku.n3)\n\n## Answer\n" ;
                     log:outputString "The puzzle is invalid and cannot be solved as a standard Sudoku.\n" ;
                     log:outputString "case              : sudoku\n\n" ;
                     log:outputString "Puzzle\n" ;
@@ -200,7 +200,7 @@
     ?nodes ?backtracks ) string:format ?reasonText .
 }
     => {
-         :01-answer log:outputString "# sudoku\n\n## Answer\n" ;
+         :01-answer log:outputString "# sudoku\n\n## Source files\n\n- [N3 rules](../sudoku.n3)\n\n## Answer\n" ;
                     log:outputString "No valid Sudoku solution exists for the supplied puzzle.\n" ;
                     log:outputString "case                         : sudoku\n" ;
                     log:outputString "default puzzle               : classic\n" ;

package/examples/transcendental-numbers-stretched.n3

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

package/examples/transistor-switch.n3

@@ -193,7 +193,7 @@
   ( "on-state load current            : %s\n\n" ?onCurrentText ) string:format ?onCurrentLine .
 }
     => {
-         :01-answer-1 log:outputString "# transistor-switch\n\n## Answer\n" .
+         :01-answer-1 log:outputString "# transistor-switch\n\n## Source files\n\n- [N3 rules](../transistor-switch.n3)\n\n## Answer\n" .
          :01-answer-2 log:outputString "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.\n" .
          :01-answer-3 log:outputString "case                             : transistor-switch\n" .
          :01-answer-4 log:outputString ?lowStateLine .

package/examples/triple-terms.n3

@@ -21,5 +21,5 @@ VERSION "1.2"
 
 
 # Markdown rendering via log:outputString.
-:__md_output :text "# triple-terms\n\nVERSION \"1.2\"\n\n@prefix : <https://eyereasoner.github.io/eyeling/examples/triple_terms#> .\n\n:observation :entails <<( :sensor :needs :inspection )>> .\n" .
+:__md_output :text "# triple-terms\n\n## Source files\n\n- [N3 rules](../triple-terms.n3)\n- [Input TriG](../input/triple-terms.trig)\n\nVERSION \"1.2\"\n\n@prefix : <https://eyereasoner.github.io/eyeling/examples/triple_terms#> .\n\n:observation :entails <<( :sensor :needs :inspection )>> .\n" .
 { :__md_output :text ?text } log:query { :__md_output log:outputString ?text } .

package/examples/tunnel-junction-wake-switch-becoming.n3

@@ -18,7 +18,7 @@
 @prefix arc: <https://example.org/arc#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
 
-:000_md_title log:outputString "# tunnel-junction-wake-switch-becoming\n\n" .
+:000_md_title log:outputString "# tunnel-junction-wake-switch-becoming\n\n## Source files\n\n- [N3 rules](../tunnel-junction-wake-switch-becoming.n3)\n\n" .
 
 :case a arc:Case ;
   arc:question "Can a tunnel-junction wake switch become a low-bias wake-triggering state in a regime where a conventional PN junction cannot?" .
@@ -195,14 +195,14 @@
 {
   :out log:outputString """tunnel-junction wake switch — becoming
 
-Answer
+## Answer
 YES for the tunnel junction.
 NO for the conventional low-bias PN junction in the same wake-switch regime.
 
-Reason Why
+## 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
+## 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

package/examples/wind-turbine.n3

@@ -15,7 +15,7 @@
 @prefix string: <http://www.w3.org/2000/10/swap/string#> .
 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
 
-:000_md_title log:outputString "# wind-turbine\n\n" .
+:000_md_title log:outputString "# wind-turbine\n\n## Source files\n\n- [N3 rules](../wind-turbine.n3)\n\n" .
 
 # --- Sensor data ---
 :turbine1
@@ -99,13 +99,13 @@
   :check :c1 ?C1; :c2 ?C2; :c3 ?C3; :c4 ?C4; :c5 ?C5; :c6 ?C6; :c7 ?C7; :c8 ?C8; :c9 ?C9.
   (
     "Wind turbine — Predictive maintenance\n\n"
-    "Answer\n"
+    "## Answer\n"
     ?Outcome "\n\n"
-    "Reason Why\n"
+    "## Reason Why\n"
     ?Label " reports vibration " ?V " against a threshold of " ?VT ", temperature " ?Temp
     " against a threshold of " ?TT ", and rotor speed " ?RPM " against a critical limit of " ?RT ". "
     ?Reason "\n\n"
-    "Check\n"
+    "## Check\n"
     "C1 " ?C1 "\n"
     "C2 " ?C2 "\n"
     "C3 " ?C3 "\n"

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyeling",
-  "version": "1.24.8",
+  "version": "1.24.9",
   "description": "A minimal Notation3 (N3) reasoner in JavaScript.",
   "main": "./index.js",
   "keywords": [