eyeling 1.24.6 → 1.24.8

package/HANDBOOK.md

@@ -3310,54 +3310,54 @@ The following examples are especially useful if you want to see Eyeling files th
 
 #### Insight Economy and governed-data cases
 
-- [`examples/auroracare.n3`](examples/auroracare.n3) · [`examples/output/auroracare.txt`](examples/output/auroracare.txt) — purpose-based medical data exchange with explicit allow/deny reasoning and checks around role, purpose, and conditions.
-- [`examples/calidor.n3`](examples/calidor.n3) · [`examples/output/calidor.txt`](examples/output/calidor.txt) — heatwave-response case where private household signals become a narrow, expiring cooling-support insight.
-- [`examples/delfour.n3`](examples/delfour.n3) · [`examples/output/delfour.txt`](examples/output/delfour.txt) — shopping-assistance case where a private condition becomes a bounded “prefer lower-sugar products” insight.
-- [`examples/flandor.n3`](examples/flandor.n3) · [`examples/output/flandor.txt`](examples/output/flandor.txt) — macro-economic coordination case for Flanders that turns sensitive local signals into a regional retooling insight.
-- [`examples/medior.n3`](examples/medior.n3) · [`examples/output/medior.txt`](examples/output/medior.txt) — post-discharge care-coordination case that derives a minimal continuity-bundle insight without sharing the full record.
-- [`examples/parcellocker.n3`](examples/parcellocker.n3) · [`examples/output/parcellocker.txt`](examples/output/parcellocker.txt) — one-time parcel pickup authorization with a clear permit decision, justification, and misuse checks.
-- [`examples/harborsmr.n3`](examples/harborsmr.n3) · [`examples/output/harborsmr.txt`](examples/output/harborsmr.txt) — SMR flexibility case where private plant telemetry becomes a narrow, expiring electrolysis-dispatch insight with policy and safety checks.
+- [`examples/auroracare.n3`](examples/auroracare.n3) · [`examples/output/auroracare.md`](examples/output/auroracare.md) — purpose-based medical data exchange with explicit allow/deny reasoning and checks around role, purpose, and conditions.
+- [`examples/calidor.n3`](examples/calidor.n3) · [`examples/output/calidor.md`](examples/output/calidor.md) — heatwave-response case where private household signals become a narrow, expiring cooling-support insight.
+- [`examples/delfour.n3`](examples/delfour.n3) · [`examples/output/delfour.md`](examples/output/delfour.md) — shopping-assistance case where a private condition becomes a bounded “prefer lower-sugar products” insight.
+- [`examples/flandor.n3`](examples/flandor.n3) · [`examples/output/flandor.md`](examples/output/flandor.md) — macro-economic coordination case for Flanders that turns sensitive local signals into a regional retooling insight.
+- [`examples/medior.n3`](examples/medior.n3) · [`examples/output/medior.md`](examples/output/medior.md) — post-discharge care-coordination case that derives a minimal continuity-bundle insight without sharing the full record.
+- [`examples/parcellocker.n3`](examples/parcellocker.n3) · [`examples/output/parcellocker.md`](examples/output/parcellocker.md) — one-time parcel pickup authorization with a clear permit decision, justification, and misuse checks.
+- [`examples/harborsmr.n3`](examples/harborsmr.n3) · [`examples/output/harborsmr.md`](examples/output/harborsmr.md) — SMR flexibility case where private plant telemetry becomes a narrow, expiring electrolysis-dispatch insight with policy and safety checks.
 
-- [`examples/transistor-switch.n3`](examples/transistor-switch.n3) · [`examples/output/transistor-switch.txt`](examples/output/transistor-switch.txt) — NPN low-side switch model with exact arithmetic and cutoff-versus-saturation checks.
+- [`examples/transistor-switch.n3`](examples/transistor-switch.n3) · [`examples/output/transistor-switch.md`](examples/output/transistor-switch.md) — NPN low-side switch model with exact arithmetic and cutoff-versus-saturation checks.
 
 #### Core ARC-style walkthroughs
 
-- [`examples/bmi.n3`](examples/bmi.n3) · [`examples/output/bmi.txt`](examples/output/bmi.txt) — Body Mass Index calculation with normalization, WHO category assignment, and boundary checks.
-- [`examples/control-system.n3`](examples/control-system.n3) · [`examples/output/control-system.txt`](examples/output/control-system.txt) — small control-system example that derives actuator commands and explains feedforward and feedback contributions.
-- [`examples/easter.n3`](examples/easter.n3) · [`examples/output/easter.txt`](examples/output/easter.txt) — Gregorian Easter computus with a readable explanation and date-window checks.
-- [`examples/french-cities.n3`](examples/french-cities.n3) · [`examples/output/french-cities.txt`](examples/output/french-cities.txt) — graph reachability over French cities with explicit path reasoning.
-- [`examples/gps.n3`](examples/gps.n3) · [`examples/output/gps.txt`](examples/output/gps.txt) — tiny route-planning example for western Belgium with route comparison and metric checks.
-- [`examples/resto.n3`](examples/resto.n3) · [`examples/output/resto.txt`](examples/output/resto.txt) — RESTdesc-style service composition from person and date to a concrete restaurant reservation.
-- [`examples/sudoku.n3`](examples/sudoku.n3) · [`examples/output/sudoku.txt`](examples/output/sudoku.txt) — Sudoku solver and report generator with consistency checks over the solved grid.
-- [`examples/wind-turbine.n3`](examples/wind-turbine.n3) · [`examples/output/wind-turbine.txt`](examples/output/wind-turbine.txt) — predictive-maintenance example that turns sensor readings into an auditable inspection decision.
+- [`examples/bmi.n3`](examples/bmi.n3) · [`examples/output/bmi.md`](examples/output/bmi.md) — Body Mass Index calculation with normalization, WHO category assignment, and boundary checks.
+- [`examples/control-system.n3`](examples/control-system.n3) · [`examples/output/control-system.md`](examples/output/control-system.md) — small control-system example that derives actuator commands and explains feedforward and feedback contributions.
+- [`examples/easter.n3`](examples/easter.n3) · [`examples/output/easter.md`](examples/output/easter.md) — Gregorian Easter computus with a readable explanation and date-window checks.
+- [`examples/french-cities.n3`](examples/french-cities.n3) · [`examples/output/french-cities.md`](examples/output/french-cities.md) — graph reachability over French cities with explicit path reasoning.
+- [`examples/gps.n3`](examples/gps.n3) · [`examples/output/gps.md`](examples/output/gps.md) — tiny route-planning example for western Belgium with route comparison and metric checks.
+- [`examples/resto.n3`](examples/resto.n3) · [`examples/output/resto.md`](examples/output/resto.md) — RESTdesc-style service composition from person and date to a concrete restaurant reservation.
+- [`examples/sudoku.n3`](examples/sudoku.n3) · [`examples/output/sudoku.md`](examples/output/sudoku.md) — Sudoku solver and report generator with consistency checks over the solved grid.
+- [`examples/wind-turbine.n3`](examples/wind-turbine.n3) · [`examples/output/wind-turbine.md`](examples/output/wind-turbine.md) — predictive-maintenance example that turns sensor readings into an auditable inspection decision.
 
 #### Technical and scientific ARC demos
 
-- [`examples/fundamental-theorem-arithmetic.n3`](examples/fundamental-theorem-arithmetic.n3) · [`examples/output/fundamental-theorem-arithmetic.txt`](examples/output/fundamental-theorem-arithmetic.txt) — smallest-divisor prime factorization of 202692987 with ARC-style existence, uniqueness-up-to-order, and primality checks.
-- [`examples/complex-matrix-stability.n3`](examples/complex-matrix-stability.n3) · [`examples/output/complex-matrix-stability.txt`](examples/output/complex-matrix-stability.txt) — discrete-time stability classification for three diagonal complex 2×2 matrices via spectral radius and ARC-style checks.
-- [`examples/matrix-mechanics.n3`](examples/matrix-mechanics.n3) · [`examples/output/matrix-mechanics.txt`](examples/output/matrix-mechanics.txt) — small 2×2 matrix example deriving trace, determinant, products, and a non-zero commutator.
-- [`examples/pn-junction-tunneling.n3`](examples/pn-junction-tunneling.n3) · [`examples/output/pn-junction-tunneling.txt`](examples/output/pn-junction-tunneling.txt) — semiconductor toy model that explains current-proxy behavior across bias points.
-- [`examples/transistor-switch.n3`](examples/transistor-switch.n3) · [`examples/output/transistor-switch.txt`](examples/output/transistor-switch.txt) — NPN low-side switch model with exact arithmetic and cutoff-versus-saturation checks.
+- [`examples/fundamental-theorem-arithmetic.n3`](examples/fundamental-theorem-arithmetic.n3) · [`examples/output/fundamental-theorem-arithmetic.md`](examples/output/fundamental-theorem-arithmetic.md) — smallest-divisor prime factorization of 202692987 with ARC-style existence, uniqueness-up-to-order, and primality checks.
+- [`examples/complex-matrix-stability.n3`](examples/complex-matrix-stability.n3) · [`examples/output/complex-matrix-stability.md`](examples/output/complex-matrix-stability.md) — discrete-time stability classification for three diagonal complex 2×2 matrices via spectral radius and ARC-style checks.
+- [`examples/matrix-mechanics.n3`](examples/matrix-mechanics.n3) · [`examples/output/matrix-mechanics.md`](examples/output/matrix-mechanics.md) — small 2×2 matrix example deriving trace, determinant, products, and a non-zero commutator.
+- [`examples/pn-junction-tunneling.n3`](examples/pn-junction-tunneling.n3) · [`examples/output/pn-junction-tunneling.md`](examples/output/pn-junction-tunneling.md) — semiconductor toy model that explains current-proxy behavior across bias points.
+- [`examples/transistor-switch.n3`](examples/transistor-switch.n3) · [`examples/output/transistor-switch.md`](examples/output/transistor-switch.md) — NPN low-side switch model with exact arithmetic and cutoff-versus-saturation checks.
 
 #### Applied Constructor-Theory ARC examples
 
-- [`examples/act-alarm-bit-interoperability.n3`](examples/act-alarm-bit-interoperability.n3) · [`examples/output/act-alarm-bit-interoperability.txt`](examples/output/act-alarm-bit-interoperability.txt) — applied constructor-theory information example showing interoperability of an alarm bit across unlike media together with a no-cloning contrast for a quantum token.
-- [`examples/act-docking-abort.n3`](examples/act-docking-abort.n3) · [`examples/output/act-docking-abort.txt`](examples/output/act-docking-abort.txt) — applied constructor-theory ARC case for a spacecraft docking-abort token covering permutation, copying, measurement, serial and parallel composition, and the impossibility of cloning a quantum seal.
-- [`examples/act-isolation-breach.n3`](examples/act-isolation-breach.n3) · [`examples/output/act-isolation-breach.txt`](examples/output/act-isolation-breach.txt) — applied constructor-theory ARC case for a biosafety isolation-breach token covering preparation, distinguishability, reversible permutation, copying, measurement, composition, and no-cloning.
-- [`examples/act-gravity-mediator-witness.n3`](examples/act-gravity-mediator-witness.n3) · [`examples/output/act-gravity-mediator-witness.txt`](examples/output/act-gravity-mediator-witness.txt) — applied constructor-theory witness showing that, under locality and interoperability, entanglement mediated only by gravity implies a non-classical gravitational mediator.
-- ['examples/act-yeast-self-reproduction.n3'](examples/act-yeast-self-reproduction.n3) · ['examples/output/act-yeast-self-reproduction.txt'](examples/output/act-yeast-self-reproduction.txt) — applied constructor-theory example of a yeast starter culture showing replicator, vehicle, self-reproduction, heritable variation, and natural selection under no-design laws.
-- ['examples/act-barley-seed-lineage.n3'](examples/act-barley-seed-lineage.n3) · ['examples/output/act-barley-seed-lineage.txt'](examples/output/act-barley-seed-lineage.txt) — applied constructor-theory ARC case showing both possible and impossible lineage tasks under no-design laws, including blocked reproduction, dormancy, and evolvability when key ingredients are missing.
-- ['examples/act-tunnel-junction-wake-switch.n3'](examples/act-tunnel-junction-wake-switch.n3) · ['examples/output/act-tunnel-junction-wake-switch.txt'](examples/output/act-tunnel-junction-wake-switch.txt) — applied constructor-theory ARC case comparing a tunnel-junction wake switch with a conventional PN junction via explicit can/cannot rules for tunneling, sub-threshold current, negative differential response, and low-bias switching.
-- ['examples/act-photosynthetic-exciton-transfer.n3'](examples/act-photosynthetic-exciton-transfer.n3) · ['examples/output/act-photosynthetic-exciton-transfer.txt'](examples/output/act-photosynthetic-exciton-transfer.txt) — applied constructor-theory ARC case for quantum-assisted exciton transfer in a photosynthetic antenna, contrasting a tuned complex with a detuned one via explicit can/cannot rules.
-- ['examples/act-sensor-memory-reset.n3'](examples/act-sensor-memory-reset.n3) · ['examples/output/act-sensor-memory-reset.txt'](examples/output/act-sensor-memory-reset.txt) — applied constructor-theory ARC case showing that a sensor memory reset is possible with a work medium but not with heat alone, highlighting work/heat distinction and irreversibility.
+- [`examples/act-alarm-bit-interoperability.n3`](examples/act-alarm-bit-interoperability.n3) · [`examples/output/act-alarm-bit-interoperability.md`](examples/output/act-alarm-bit-interoperability.md) — applied constructor-theory information example showing interoperability of an alarm bit across unlike media together with a no-cloning contrast for a quantum token.
+- [`examples/act-docking-abort.n3`](examples/act-docking-abort.n3) · [`examples/output/act-docking-abort.md`](examples/output/act-docking-abort.md) — applied constructor-theory ARC case for a spacecraft docking-abort token covering permutation, copying, measurement, serial and parallel composition, and the impossibility of cloning a quantum seal.
+- [`examples/act-isolation-breach.n3`](examples/act-isolation-breach.n3) · [`examples/output/act-isolation-breach.md`](examples/output/act-isolation-breach.md) — applied constructor-theory ARC case for a biosafety isolation-breach token covering preparation, distinguishability, reversible permutation, copying, measurement, composition, and no-cloning.
+- [`examples/act-gravity-mediator-witness.n3`](examples/act-gravity-mediator-witness.n3) · [`examples/output/act-gravity-mediator-witness.md`](examples/output/act-gravity-mediator-witness.md) — applied constructor-theory witness showing that, under locality and interoperability, entanglement mediated only by gravity implies a non-classical gravitational mediator.
+- ['examples/act-yeast-self-reproduction.n3'](examples/act-yeast-self-reproduction.n3) · ['examples/output/act-yeast-self-reproduction.md'](examples/output/act-yeast-self-reproduction.md) — applied constructor-theory example of a yeast starter culture showing replicator, vehicle, self-reproduction, heritable variation, and natural selection under no-design laws.
+- ['examples/act-barley-seed-lineage.n3'](examples/act-barley-seed-lineage.n3) · ['examples/output/act-barley-seed-lineage.md'](examples/output/act-barley-seed-lineage.md) — applied constructor-theory ARC case showing both possible and impossible lineage tasks under no-design laws, including blocked reproduction, dormancy, and evolvability when key ingredients are missing.
+- ['examples/act-tunnel-junction-wake-switch.n3'](examples/act-tunnel-junction-wake-switch.n3) · ['examples/output/act-tunnel-junction-wake-switch.md'](examples/output/act-tunnel-junction-wake-switch.md) — applied constructor-theory ARC case comparing a tunnel-junction wake switch with a conventional PN junction via explicit can/cannot rules for tunneling, sub-threshold current, negative differential response, and low-bias switching.
+- ['examples/act-photosynthetic-exciton-transfer.n3'](examples/act-photosynthetic-exciton-transfer.n3) · ['examples/output/act-photosynthetic-exciton-transfer.md'](examples/output/act-photosynthetic-exciton-transfer.md) — applied constructor-theory ARC case for quantum-assisted exciton transfer in a photosynthetic antenna, contrasting a tuned complex with a detuned one via explicit can/cannot rules.
+- ['examples/act-sensor-memory-reset.n3'](examples/act-sensor-memory-reset.n3) · ['examples/output/act-sensor-memory-reset.md'](examples/output/act-sensor-memory-reset.md) — applied constructor-theory ARC case showing that a sensor memory reset is possible with a work medium but not with heat alone, highlighting work/heat distinction and irreversibility.
 
 #### Deep-classification stress tests
 
-- [`examples/deep-taxonomy-10.n3`](examples/deep-taxonomy-10.n3) · [`examples/output/deep-taxonomy-10.txt`](examples/output/deep-taxonomy-10.txt) — ARC-style deep-taxonomy benchmark at depth 10.
-- [`examples/deep-taxonomy-100.n3`](examples/deep-taxonomy-100.n3) · [`examples/output/deep-taxonomy-100.txt`](examples/output/deep-taxonomy-100.txt) — ARC-style deep-taxonomy benchmark at depth 100.
-- [`examples/deep-taxonomy-1000.n3`](examples/deep-taxonomy-1000.n3) · [`examples/output/deep-taxonomy-1000.txt`](examples/output/deep-taxonomy-1000.txt) — ARC-style deep-taxonomy benchmark at depth 1000.
-- [`examples/deep-taxonomy-10000.n3`](examples/deep-taxonomy-10000.n3) · [`examples/output/deep-taxonomy-10000.txt`](examples/output/deep-taxonomy-10000.txt) — ARC-style deep-taxonomy benchmark at depth 10000.
-- [`examples/deep-taxonomy-100000.n3`](examples/deep-taxonomy-100000.n3) · [`examples/output/deep-taxonomy-100000.txt`](examples/output/deep-taxonomy-100000.txt) — ARC-style deep-taxonomy benchmark at depth 100000.
+- [`examples/deep-taxonomy-10.n3`](examples/deep-taxonomy-10.n3) · [`examples/output/deep-taxonomy-10.md`](examples/output/deep-taxonomy-10.md) — ARC-style deep-taxonomy benchmark at depth 10.
+- [`examples/deep-taxonomy-100.n3`](examples/deep-taxonomy-100.n3) · [`examples/output/deep-taxonomy-100.md`](examples/output/deep-taxonomy-100.md) — ARC-style deep-taxonomy benchmark at depth 100.
+- [`examples/deep-taxonomy-1000.n3`](examples/deep-taxonomy-1000.n3) · [`examples/output/deep-taxonomy-1000.md`](examples/output/deep-taxonomy-1000.md) — ARC-style deep-taxonomy benchmark at depth 1000.
+- [`examples/deep-taxonomy-10000.n3`](examples/deep-taxonomy-10000.n3) · [`examples/output/deep-taxonomy-10000.md`](examples/output/deep-taxonomy-10000.md) — ARC-style deep-taxonomy benchmark at depth 10000.
+- [`examples/deep-taxonomy-100000.n3`](examples/deep-taxonomy-100000.n3) · [`examples/output/deep-taxonomy-100000.md`](examples/output/deep-taxonomy-100000.md) — ARC-style deep-taxonomy benchmark at depth 100000.
 
 These files fit together because they all present reasoning in a recognizably ARC-like way: they derive an answer, make the reason visible in a compact report, and include checks that are meant to catch real mistakes. Some are classical logic or numeric examples; others show how Eyeling can express policy-aware, insight-oriented decision flows without collapsing everything into opaque application code.
 

package/dist/browser/eyeling.browser.js

@@ -9209,6 +9209,19 @@ function makeExplain(deps) {
     return 0;
   }
 
+  function addMarkdownHardBreaks(text) {
+    const normalized = String(text).replace(/\r\n/g, '\n').replace(/\r/g, '\n');
+    if (!normalized.startsWith('# ')) return text;
+
+    return normalized
+      .split('\n')
+      .map((line) => {
+        if (line.length === 0) return line;
+        return line.replace(/[ \t]+$/g, '') + '  ';
+      })
+      .join('\n');
+  }
+
   function collectOutputStringsFromFacts(facts, prefixes) {
     // Gather all (key, string) pairs from the saturated fact store.
     const pairs = [];
@@ -9229,7 +9242,7 @@ function makeExplain(deps) {
       return a.idx - b.idx; // stable tie-breaker
     });
 
-    return pairs.map((p) => p.text).join('');
+    return addMarkdownHardBreaks(pairs.map((p) => p.text).join(''));
   }
 
   return { printExplanation, collectOutputStringsFromFacts };

package/examples/act-alarm-bit-interoperability.n3

@@ -15,6 +15,8 @@
 @prefix arc: <https://example.org/arc#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
 
+:000_md_title log:outputString "# act-alarm-bit-interoperability\n\n" .
+
 :case a arc:Case ;
   arc:question "Can the harbor alarm bit be copied between an optical beacon and a relay register, and what exactly can't be done for a quantum-like token?" .
 

package/examples/act-barley-seed-lineage.n3

@@ -22,6 +22,8 @@
 @prefix arc: <https://example.org/arc#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
 
+:000_md_title log:outputString "# act-barley-seed-lineage\n\n" .
+
 :case a arc:Case ;
   arc:question "Can a barley seed lineage achieve accurate self-reproduction, dormancy, development, and adaptive persistence under no-design laws — and what exactly can't happen when key ingredients are missing?" .
 

package/examples/act-docking-abort.n3

@@ -16,6 +16,8 @@
 @prefix arc: <https://example.org/arc#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
 
+:000_md_title log:outputString "# act-docking-abort\n\n" .
+
 :case a arc:Case ;
   arc:question "Can a docking-abort token be propagated, permuted, measured and audited across unlike classical media, and what exactly can't be done with the quantum authenticity seal?" .
 

package/examples/act-gravity-mediator-witness.n3

@@ -16,6 +16,8 @@
 @prefix arc: <https://example.org/arc#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
 
+:000_md_title log:outputString "# act-gravity-mediator-witness\n\n" .
+
 :case a arc:Case ;
   arc:question "If two quantum sensors become entangled only through a gravitational mediator, while locality and interoperability hold, what can be concluded, and what can't a purely classical mediator model do?" .
 

package/examples/act-isolation-breach.n3

@@ -17,6 +17,8 @@
 @prefix arc: <https://example.org/arc#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
 
+:000_md_title log:outputString "# act-isolation-breach\n\n" .
+
 :case a arc:Case ;
   arc:question "Can an isolation-breach token be prepared, permuted, copied, measured, and audited across unlike classical media, and what exactly can't be done with the quantum provenance seal?" .
 

package/examples/act-photosynthetic-exciton-transfer.n3

@@ -22,6 +22,8 @@
 @prefix arc: <https://example.org/arc#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
 
+:000_md_title log:outputString "# act-photosynthetic-exciton-transfer\n\n" .
+
 :case a arc:Case ;
   arc:question "Can a tuned photosynthetic antenna deliver excitation efficiently to a reaction center by short-lived quantum-assisted transfer, while a detuned contrast complex cannot?" .
 

package/examples/act-sensor-memory-reset.n3

@@ -19,6 +19,8 @@
 @prefix arc: <https://example.org/arc#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
 
+:000_md_title log:outputString "# act-sensor-memory-reset\n\n" .
+
 :case a arc:Case ;
   arc:question "Can a radiation sensor's alarm memory be reliably reset with a battery pack, and can the same reset be done using only an ambient heat bath?" .
 

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

@@ -18,6 +18,8 @@
 @prefix arc: <https://example.org/arc#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
 
+:000_md_title log:outputString "# act-tunnel-junction-wake-switch\n\n" .
+
 :case a arc:Case ;
   arc:question "Can a tunnel-junction wake switch trigger a low-bias leak alarm in a regime where a conventional PN junction cannot?" .
 

package/examples/act-yeast-self-reproduction.n3

@@ -19,6 +19,8 @@
 @prefix arc: <https://example.org/arc#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
 
+:000_md_title log:outputString "# act-yeast-self-reproduction\n\n" .
+
 :case a arc:Case ;
   arc:question "Can a yeast starter culture self-reproduce accurately under no-design laws, and what exactly can't happen for a non-digital contrast lineage?" .
 

package/examples/annotation.n3

@@ -5,3 +5,8 @@
 :t log:nameOf { :a :name "Alice" . } .
 :t :statedBy :bob .
 :t :recorded "2021-07-07"^^xsd:date .
+
+
+# Markdown rendering via log:outputString.
+:__md_output :text "# annotation\n" .
+{ :__md_output :text ?text } log:query { :__md_output log:outputString ?text } .

package/examples/auroracare.n3

@@ -350,10 +350,10 @@
 # Emit one complete output block per scenario to avoid ordering issues between
 # separately derived log:outputString facts.
 
-:out_000_intro log:outputString "AuroraCare — Purpose-based Medical Data Exchange\n\n" .
+:out_000_intro log:outputString "# auroracare\n\nAuroraCare — Purpose-based Medical Data Exchange\n\n" .
 
 { :scenario_A :decision "PERMIT" . } => {
-  :out_010_A log:outputString """=== A – Primary care visit ===
+  :out_010_A log:outputString """## A – Primary care visit
 Clinician in the patient's care team accessing the patient summary for primary care management.
 
 Answer
@@ -378,7 +378,7 @@ C10 INFO - matched policy: urn:policy:primary-care-001
 } .
 
 { :scenario_B :decision "PERMIT" . } => {
-  :out_020_B log:outputString """=== B – Quality improvement (in scope) ===
+  :out_020_B log:outputString """## B – Quality improvement (in scope)
 QI analyst using lab results + summary in a secure environment.
 
 Answer
@@ -403,7 +403,7 @@ C10 INFO - matched policy: urn:policy:qi-2025-aurora
 } .
 
 { :scenario_C :decision "DENY" . } => {
-  :out_030_C log:outputString """=== C – Quality improvement (out of scope) ===
+  :out_030_C log:outputString """## C – Quality improvement (out of scope)
 QI analyst with only lab results; policy expects labs + summary.
 
 Answer
@@ -428,7 +428,7 @@ C10 SKIPPED - no matched policy
 } .
 
 { :scenario_D :decision "DENY" . } => {
-  :out_040_D log:outputString """=== D – Insurance management ===
+  :out_040_D log:outputString """## D – Insurance management
 Insurance bot attempting to use health data for insurance management (prohibited purpose).
 
 Answer
@@ -453,7 +453,7 @@ C10 SKIPPED - no matched policy
 } .
 
 { :scenario_E :decision "PERMIT" . } => {
-  :out_050_E log:outputString """=== E – GP checks labs ===
+  :out_050_E log:outputString """## E – GP checks labs
 GP for the same patient checking lab results via the API gateway.
 
 Answer
@@ -478,7 +478,7 @@ C10 INFO - matched policy: urn:policy:primary-care-001
 } .
 
 { :scenario_F :decision "PERMIT" . } => {
-  :out_060_F log:outputString """=== F – Research on anonymised dataset ===
+  :out_060_F log:outputString """## F – Research on anonymised dataset
 Researcher using anonymised labs + summary in a secure environment, with opt-in.
 
 Answer
@@ -503,7 +503,7 @@ C10 INFO - matched policy: urn:policy:research-aurora-diabetes
 } .
 
 { :scenario_G :decision "DENY" . } => {
-  :out_070_G log:outputString """=== G – AI training (opt-out) ===
+  :out_070_G log:outputString """## G – AI training (opt-out)
 Data user wants to train AI, but the subject opted out of AI training.
 
 Answer

package/examples/backward-recursion.n3

@@ -8,3 +8,8 @@
 
 { :a :ancestor ?who } => { :a :reaches ?who }.
 { :a :reaches ?who } log:query { :a :reaches ?who }.
+
+
+# Markdown rendering via log:outputString.
+:__md_output :text "# backward-recursion\n\n@prefix : <urn:example#> .\n\n:a :reaches :b .\n:a :reaches :c .\n" .
+{ :__md_output :text ?text } log:query { :__md_output log:outputString ?text } .

package/examples/barley-seed-becoming.n3

@@ -21,6 +21,8 @@
 @prefix arc: <https://example.org/arc#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
 
+:000_md_title log:outputString "# barley-seed-becoming\n\n" .
+
 :case a arc:Case ;
   arc:question "Can a barley seed lineage become a self-renewing and adaptively persistent cycle under no-design laws — and what blocks that becoming when digital heredity, repair, protected dormancy, or variation are missing?" .
 

package/examples/bmi.n3

@@ -15,6 +15,8 @@
 @prefix math: <http://www.w3.org/2000/10/swap/math#> .
 @prefix string: <http://www.w3.org/2000/10/swap/string#> .
 
+:000_md_title log:outputString "# bmi\n\n" .
+
 # --------------
 # Editable input
 # --------------

package/examples/builtin-coverage.n3

@@ -66,3 +66,8 @@
 }.
 
 { :assurance ?p ?o } log:query { :assurance ?p ?o }.
+
+
+# Markdown rendering via log:outputString.
+:__md_output :text "# builtin-coverage\n" .
+{ :__md_output :text ?text } log:query { :__md_output log:outputString ?text } .

package/examples/calidor.n3

@@ -419,7 +419,7 @@
 # ARC rendering through log:outputString
 # --------------------------------------
 
-:out01 log:outputString "=== Answer ===\n" .
+:out01 log:outputString "# calidor\n\n## Answer\n" .
 
 {
     :case :recommendedPackage ?pkg .
@@ -441,7 +441,7 @@
     :out06 log:outputString ?line .
 } .
 
-:out07 log:outputString "\n=== Reason Why ===\n" .
+:out07 log:outputString "\n## Reason Why\n" .
 :out08 log:outputString "The gateway desensitizes local heat, vulnerability, and prepaid-energy stress into an expiring municipal support insight, and the city consumes that envelope only for heatwave response.\n" .
 :out09 log:outputString "metric               : active_need_count\n" .
 
@@ -485,7 +485,7 @@
     :out17 log:outputString ?line .
 } .
 
-:out18 log:outputString "\n=== Check ===\n" .
+:out18 log:outputString "\n## Check\n" .
 
 { :check :signatureVerifies true . } => { :out19 log:outputString "signature verifies              : yes\n" . } .
 { :check :payloadHashMatches true . } => { :out20 log:outputString "payload hash matches            : yes\n" . } .

package/examples/collection.n3

@@ -1,3 +1,8 @@
 @prefix : <https://eyereasoner.github.io/eyeling/examples/collection#>.
 (1 _:b2 (2)) :p2 :q2 .
 _:b2 :p :q .
+
+
+# Markdown rendering via log:outputString.
+:__md_output :text "# collection\n" .
+{ :__md_output :text ?text } log:query { :__md_output log:outputString ?text } .

package/examples/complex-matrix-stability.n3

@@ -17,6 +17,8 @@
 @prefix math: <http://www.w3.org/2000/10/swap/math#> .
 @prefix string: <http://www.w3.org/2000/10/swap/string#> .
 
+:000_md_title log:outputString "# complex-matrix-stability\n\n" .
+
 # --------------
 # Editable input
 # --------------

package/examples/context-association.n3

@@ -49,11 +49,3 @@
   :report log:outputString "# Context association\n\n## Entailment\nThe RDF dataset associates Bob's data graph with a Data Integrity proof graph and a second metadata proof graph.\n\n## Explanation\nThe input TriG names three graph contexts. The data graph states Bob's name. The signature graph links to that data graph with a proof and records an ecdsa-rdfc-2019 Data Integrity proof from the university issuer. The metadata graph then signs the signature graph itself, giving a chained context association.".
 }.
 
-# query
-{
-  :association ?P ?O.
-}
-log:query
-{
-  :association ?P ?O.
-}.

package/examples/control-system.n3

@@ -13,6 +13,8 @@
 @prefix string: <http://www.w3.org/2000/10/swap/string#>.
 @prefix : <https://example.org/control-system#>.
 
+:000_md_title log:outputString "# control-system\n\n" .
+
 # -----
 # Facts
 # -----

package/examples/deep-taxonomy-10.n3

@@ -31,6 +31,8 @@
 
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 
+:000_md_title log:outputString "# deep-taxonomy-10\n\n" .
+
 # ARC checks
 { :ind a :N0. }
     => { :arc :check1 "C1 OK - the starting classification N0 is present." . } .

package/examples/deep-taxonomy-100.n3

@@ -121,6 +121,8 @@
 
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 
+:000_md_title log:outputString "# deep-taxonomy-100\n\n" .
+
 # ARC checks
 { :ind a :N0. }
     => { :arc :check1 "C1 OK - the starting classification N0 is present." . } .

package/examples/deep-taxonomy-1000.n3

@@ -1021,6 +1021,8 @@
 
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 
+:000_md_title log:outputString "# deep-taxonomy-1000\n\n" .
+
 # ARC checks
 { :ind a :N0. }
     => { :arc :check1 "C1 OK - the starting classification N0 is present." . } .

package/examples/deep-taxonomy-10000.n3

@@ -10021,6 +10021,8 @@
 
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 
+:000_md_title log:outputString "# deep-taxonomy-10000\n\n" .
+
 # ARC checks
 { :ind a :N0. }
     => { :arc :check1 "C1 OK - the starting classification N0 is present." . } .

package/examples/deep-taxonomy-100000.n3

@@ -100022,6 +100022,8 @@
 
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 
+:000_md_title log:outputString "# deep-taxonomy-100000\n\n" .
+
 # ARC checks
 { :ind a :N0. }
     => { :arc :check1 "C1 OK - the starting classification N0 is present." . } .

package/examples/delfour.n3

@@ -331,7 +331,7 @@
 # ARC rendering through log:outputString
 # --------------------------------------
 
-:out01 log:outputString "=== Answer ===\n" .
+:out01 log:outputString "# delfour\n\n## Answer\n" .
 :out02 log:outputString "The scanner is allowed to use a neutral shopping insight and recommends Low-Sugar Tea Biscuits instead of Classic Tea Biscuits.\n" .
 :out03 log:outputString "case                 : delfour\n" .
 :out04 log:outputString "decision             : Allowed\n" .
@@ -345,7 +345,7 @@
     :out06 log:outputString ?line .
 } .
 
-:out07 log:outputString "\n=== Reason Why ===\n" .
+:out07 log:outputString "\n## Reason Why\n" .
 :out08 log:outputString "The phone desensitizes a diabetes-related household condition into a scoped low-sugar need, wraps it in an expiring Insight + Policy envelope, signs it, and the scanner consumes that envelope for shopping assistance.\n" .
 :out09 log:outputString "metric               : sugar_g_per_serving\n" .
 
@@ -396,7 +396,7 @@
     :out18 log:outputString ?line .
 } .
 
-:out19 log:outputString "\n=== Check ===\n" .
+:out19 log:outputString "\n## Check\n" .
 
 { :check :signatureVerifies true . } => { :out20 log:outputString "signature verifies              : yes\n" . } .
 { :check :payloadHashMatches true . } => { :out21 log:outputString "payload hash matches            : yes\n" . } .

package/examples/digital-product-passport.n3

@@ -17,6 +17,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 "# digital-product-passport\n\n" .
+
 # --------------------
 # 1) Actors and places
 # --------------------

package/examples/dijkstra-risk-path.n3

@@ -43,10 +43,9 @@
 {
   :Case :selectedPath :pathB; :trustGate :noEnumeratedPathIsLower; :notes :riskCanOutweighRawCost.
   :pathB :routeText ?Route; :rawCost ?Raw; :riskSum ?Risk; :score ?Score; :edgeCount ?Edges.
-  ("=== Answer ===\nselected path : %s\nraw cost : %.2f\nrisk sum : %.2f\nrisk-adjusted score : %.2f\nedges in selected path : %d\n\n=== Explanation ===\nEach edge contributes its delivery cost plus the configured risk penalty. The N3 source enumerates the small graph's simple route candidates and compares the selected route against each alternative score. The selected route balances cost and risk through DepotB and LabD, while the apparently cheaper DepotC path is rejected once risk is priced in." ?Route ?Raw ?Risk ?Score ?Edges) string:format ?Block.
+  ("# dijkstra-risk-path\n\n## Answer\nselected path : %s\nraw cost : %.2f\nrisk sum : %.2f\nrisk-adjusted score : %.2f\nedges in selected path : %d\n\n## Explanation\nEach edge contributes its delivery cost plus the configured risk penalty. The N3 source enumerates the small graph's simple route candidates and compares the selected route against each alternative score. The selected route balances cost and risk through DepotB and LabD, while the apparently cheaper DepotC path is rejected once risk is priced in." ?Route ?Raw ?Risk ?Score ?Edges) string:format ?Block.
 } => {
   :dijkstraRiskPath log:outputString ?Block.
   :dijkstraRiskPath :selects :pathB.
 }.
 
-{ :dijkstraRiskPath :selects ?Path } log:query { :dijkstraRiskPath :selects ?Path }.

package/examples/easter.n3

@@ -15,6 +15,8 @@
 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
 
+:000_md_title log:outputString "# easter\n\n" .
+
 <> rdfs:comment """This ARC-style version keeps the Gregorian computus from the original example and reports, for each sample year, an Answer, a Reason Why, and a set of independent Checks.""" .
 
 :y2026 a :Case; :year 2026 .
@@ -194,7 +196,7 @@
         :check1 ?C1; :check2 ?C2; :check3 ?C3; :check4 ?C4; :check5 ?C5.
   (
     "Easter — Gregorian computus\n\n"
-    "=== " ?Y " ===\n"
+    "## " ?Y "\n"
     "Answer\n"
     "Easter Sunday falls on " ?Month " " ?Day ".\n\n"
     "Reason Why\n"

package/examples/eco-route-insight.n3

@@ -34,10 +34,9 @@
   :Shipment :id ?ShipmentId; :payloadTons ?PayloadTons.
   :Envelope :rawDataExported ?Raw; :payloadDigest ?Digest; :signatureKey ?Key; :signature ?Signature.
   :Policy :fuelIndexThreshold ?Threshold; :signatureAlgorithm ?Algorithm.
-  ("=== Answer ===\ninsight status : issue\nshow eco banner : %s\naudience : %s\nallowed use : %s\nsuggested route : %s\ncurrent fuel index : %.2f\nsuggested fuel index : %.2f\nestimated saving : %.2f\nexpires at : %s\nraw data exported : %s\nsignature algorithm : %s\npayload digest : %s\nsignature key : %s\nsignature : %s\n\n=== Explanation ===\nThe current route uses fuel index = distanceKm × (payloadKg / 1000) × gradientFactor. For %s, Current urban route gives %.2f × %.2f × %.2f = %.2f. The policy threshold is %.2f, so a local eco banner is justified. The selected alternative %s gives %.2f × %.2f × %.2f = %.2f, saving %.2f while staying within the ETA delay limit. The signed envelope exposes audience, use, expiry, route suggestion, and compact fuel indices, but not raw payload, GPS trace, driver behavior, or raw telemetry." ?Show ?Audience ?Use ?AltId ?CurrentIndex ?AltIndex ?Saving ?Expiry ?Raw ?Algorithm ?Digest ?Key ?Signature ?ShipmentId ?CurrentDistance ?PayloadTons ?CurrentGradient ?CurrentIndex ?Threshold ?AltId ?AltDistance ?PayloadTons ?AltGradient ?AltIndex ?Saving) string:format ?Block.
+  ("# eco-route-insight\n\n## Answer\ninsight status : issue\nshow eco banner : %s\naudience : %s\nallowed use : %s\nsuggested route : %s\ncurrent fuel index : %.2f\nsuggested fuel index : %.2f\nestimated saving : %.2f\nexpires at : %s\nraw data exported : %s\nsignature algorithm : %s\npayload digest : %s\nsignature key : %s\nsignature : %s\n\n## Explanation\nThe current route uses fuel index = distanceKm × (payloadKg / 1000) × gradientFactor. For %s, Current urban route gives %.2f × %.2f × %.2f = %.2f. The policy threshold is %.2f, so a local eco banner is justified. The selected alternative %s gives %.2f × %.2f × %.2f = %.2f, saving %.2f while staying within the ETA delay limit. The signed envelope exposes audience, use, expiry, route suggestion, and compact fuel indices, but not raw payload, GPS trace, driver behavior, or raw telemetry." ?Show ?Audience ?Use ?AltId ?CurrentIndex ?AltIndex ?Saving ?Expiry ?Raw ?Algorithm ?Digest ?Key ?Signature ?ShipmentId ?CurrentDistance ?PayloadTons ?CurrentGradient ?CurrentIndex ?Threshold ?AltId ?AltDistance ?PayloadTons ?AltGradient ?AltIndex ?Saving) string:format ?Block.
 } => {
   :ecoRouteInsight log:outputString ?Block.
   :ecoRouteInsight :issues :Insight.
 }.
 
-{ :ecoRouteInsight :issues ?Insight } log:query { :ecoRouteInsight :issues ?Insight }.

package/examples/flandor.n3

@@ -371,7 +371,7 @@
 # ARC rendering through log:outputString
 # --------------------------------------
 
-:out01 log:outputString "=== Answer ===\n" .
+:out01 log:outputString "# flandor\n\n## Answer\n" .
 :out02 log:outputString "Name: Flandor\n" .
 :out03 log:outputString "Region: Flanders\n" .
 :out04 log:outputString "Metric: regional_retooling_priority\n" .
@@ -392,7 +392,7 @@
   ("Envelope HMAC-SHA-256: %s\n" ?sig) string:format ?line .
 } => { :out10 log:outputString ?line . } .
 
-:out11 log:outputString "\n=== Reason Why ===\n" .
+:out11 log:outputString "\n## Reason Why\n" .
 :out12 log:outputString "Export weakness is active because at least one cluster has exportOrdersIndex < 90 (Antwerp chemicals=84, Ghent manufacturing=87).\n" .
 :out13 log:outputString "Skills strain is active because technical vacancy rate is 4.6% (threshold > 3.9%).\n" .
 :out14 log:outputString "Grid stress is active because congestion hours = 19 (threshold > 11).\n" .
@@ -400,7 +400,7 @@
 :out16 log:outputString "Selected package \"Flandor Retooling Pulse\" covers export=true, skills=true, grid=true, cost=€120M.\n" .
 :out17 log:outputString "Usage is permitted only for purpose \"regional_stabilization\" and the envelope expires at 2026-04-08T19:00:00+00:00.\n" .
 
-:out18 log:outputString "\n=== Check ===\n" .
+:out18 log:outputString "\n## Check\n" .
 { :check :payloadHashMatches true . }
   => { :out19 log:outputString "- PASS: payload hash matches\n" . } .
 { :check :hmacMatches true . }

package/examples/french-cities.n3

@@ -14,6 +14,8 @@
 @prefix string: <http://www.w3.org/2000/10/swap/string#>.
 @prefix : <https://example.org/french-cities#>.
 
+:000_md_title log:outputString "# french-cities\n\n" .
+
 # ---------------------------------------------------------------------------
 # Facts
 # ---------------------------------------------------------------------------

package/examples/fundamental-theorem-arithmetic.n3

@@ -17,6 +17,8 @@
 @prefix list: <http://www.w3.org/2000/10/swap/list#> .
 @prefix string: <http://www.w3.org/2000/10/swap/string#> .
 
+:000_md_title log:outputString "# fundamental-theorem-arithmetic\n\n" .
+
 # --------------
 # Editable input
 # --------------

package/examples/genetic-algorithm-knapsack.n3

@@ -257,4 +257,4 @@
     ?Best ?Ok ?W ?V ?Gen ) string:format ?Line
 }
 log:query
-{ 1 log:outputString ?Line }.
+{ 0 log:outputString "# genetic-algorithm-knapsack\n\n". 1 log:outputString ?Line }.