eyeling 1.24.7 → 1.24.9

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## Source files\n\n- [N3 rules](../act-alarm-bit-interoperability.n3)\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?" .
 
@@ -158,14 +160,14 @@
 {
   :out log:outputString """ACT harbor alarm bit interoperability
 
-Answer
+## Answer
 YES for the classical alarm bit.
 NO for universal cloning and unrestricted fan-out of the quantum-like token.
 
-Reason Why
+## Reason Why
 The alarm state is modeled as an abstract bit carried by two unlike classical substrates. Because both the optical beacon and the relay register are information media for the same variable, local permutation and copying in both directions are possible. By contrast, the quantum-like token is treated as a superinformation medium, so universal cloning of all of its states is impossible, and unrestricted classical-style fan-out is blocked as well.
 
-Check
+## Check
 C1  OK - the optical beacon is an information medium
 C2  OK - the relay register is an information medium
 C3  OK - both substrates encode the same abstract variable: AlarmBit

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## Source files\n\n- [N3 rules](../act-barley-seed-lineage.n3)\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?" .
 
@@ -538,14 +540,14 @@
 {
   :out log:outputString """ACT barley seed lineage — can and can't
 
-Answer
+## Answer
 YES for the viable barley lineage.
 NO for the contrast lineages when digital heredity, repair, protected dormancy, or heritable variation are missing.
 
-Reason Why
+## Reason Why
 The main lineage can achieve genome copying under no-design laws because its hereditary information is digitally instantiated. It can also pass through protected dormancy, germinate, produce propagules, reproduce accurately, close its life cycle, and adaptively persist under saline selection. But the contrast lineages show the "can't" side: non-digital heredity blocks accurate genome copying under no-design laws, lack of repair blocks accurate self-reproduction, lack of dormancy protection blocks lineage closure through a protected seed phase, and lack of heritable variation blocks adaptive evolution and thus blocks evolvability.
 
-Check
+## Check
 C1  OK - no-design laws are assumed
 C2  OK - the viable genome can be copied under no-design laws
 C3  OK - the viable seed can achieve protected dormancy

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## Source files\n\n- [N3 rules](../act-docking-abort.n3)\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?" .
 
@@ -261,14 +263,14 @@
 {
   :out log:outputString """ACT docking abort token — constructor-theory coverage case
 
-Answer
+## Answer
 YES for the classical abort token.
 NO for universal cloning and unrestricted audit fan-out of the quantum seal.
 
-Reason Why
+## Reason Why
 The docking-abort token is treated as an abstract information variable carried by unlike classical media: lamp state, PLC register, radio frame, and audit display. Because those substrates are information media for the same variable, the token can be permuted locally, cloned locally, copied across media, measured into an output record, and embedded in serial and parallel task networks. By contrast, the quantum authenticity seal is treated as a superinformation medium, so cloning all of its states is impossible and unrestricted audit fan-out is blocked.
 
-Check
+## Check
 C1  OK - the abort lamp is a computation medium
 C2  OK - the abort lamp distinguishes the abort bit
 C3  OK - permutation of the abort bit is possible on the abort lamp

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## Source files\n\n- [N3 rules](../act-gravity-mediator-witness.n3)\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?" .
 
@@ -209,14 +211,14 @@
 {
   :out log:outputString """ACT gravity mediator witness
 
-Answer
+## Answer
 YES for the mediator-only witness run.
 NO for a purely classical mediator model under the same mediator-only conditions.
 
-Reason Why
+## Reason Why
 The positive run assumes locality and interoperability, excludes direct coupling between the two quantum systems, and records an entanglement witness after interaction through the mediator alone. Under those constructor-theoretic conditions, the mediator must be non-classical, so the run rules out a purely classical mediator model. The contrast run keeps the same locality, interoperability, and mediator-only structure but assigns the mediator a purely classical model. In that case the mediator-only entanglement witness is blocked, so the run cannot support the same non-classicality conclusion.
 
-Check
+## Check
 C1  OK - locality is assumed in the positive run
 C2  OK - interoperability is assumed in the positive run
 C3  OK - direct coupling between the two quantum systems is excluded

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## Source files\n\n- [N3 rules](../act-isolation-breach.n3)\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?" .
 
@@ -325,14 +327,14 @@
 {
   :out log:outputString """ACT isolation-breach token — broad constructor-theory coverage case
 
-Answer
+## Answer
 YES for the classical isolation-breach token.
 NO for universal cloning and unrestricted fan-out of the quantum provenance seal.
 
-Reason Why
+## Reason Why
 The isolation-breach token is treated as an abstract information variable carried by unlike classical media: a door beacon, a containment PLC, a nurse pager, and an incident board. Because those substrates are information media for the same variable, the token can be prepared, permuted, reversed, cloned locally, copied across media, measured into an output record, and composed into serial and parallel task networks. By contrast, the specimen seal is treated as a superinformation medium, so cloning all of its states is impossible and unrestricted parallel fan-out is blocked.
 
-Check
+## Check
 C1  OK - the door beacon is an information medium
 C2  OK - the containment PLC is an information medium
 C3  OK - the nurse pager is an information medium

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## Source files\n\n- [N3 rules](../act-photosynthetic-exciton-transfer.n3)\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?" .
 
@@ -223,14 +225,14 @@
 {
   :out log:outputString """ACT photosynthetic exciton transfer
 
-Answer
+## Answer
 YES for the tuned antenna complex.
 NO for the detuned, strongly decohered contrast complex.
 
-Reason Why
+## Reason Why
 The tuned complex can sample exciton pathways coherently, use vibronically assisted transfer, and exploit short-lived quantum assistance along a downhill route to the reaction center. That makes efficient exciton transfer and reaction-center delivery possible in this case. The detuned contrast complex lacks the same alignment: coherent pathway sampling is blocked, vibronic assistance is unavailable, and the energy landscape is mismatched, so efficient reaction-center delivery is not possible in the same operating picture.
 
-Check
+## Check
 C1  OK - the tuned complex can sample exciton pathways coherently
 C2  OK - the tuned complex can use vibronically assisted transfer
 C3  OK - short-lived quantum assistance is enough in the tuned downhill regime

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## Source files\n\n- [N3 rules](../act-sensor-memory-reset.n3)\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?" .
 
@@ -168,14 +170,14 @@
 {
   :out log:outputString """ACT sensor memory reset
 
-Answer
+## Answer
 YES with the battery pack.
 NO with the ambient heat bath alone.
 
-Reason Why
+## Reason Why
 The alarm latch is a one-bit memory that must be reset to its standard clear state before the radiation sensor can be reused. In this case, the charged battery pack is treated as a work medium, so it can drive a controlled reset and prepare the latch in its reusable standard state. The ambient bath is treated as a heat medium, so by itself it cannot perform the same reliable directed reset. The example also shows an irreversibility pattern: useful work can be degraded into dissipated heat during reset, but the ambient heat bath alone cannot reconstruct the charged work resource.
 
-Check
+## Check
 C1  OK - the battery pack can drive a controlled reset
 C2  OK - the alarm latch can be reliably reset from work
 C3  OK - the latch can be prepared in its standard reusable state

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## Source files\n\n- [N3 rules](../act-tunnel-junction-wake-switch.n3)\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?" .
 
@@ -202,14 +204,14 @@
 {
   :out log:outputString """ACT tunnel-junction wake switch
 
-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 is modeled as a heavily doped narrow PN junction with overlapping states, so quantum barrier transfer is possible. That makes sub-threshold current possible in the low-forward-bias regime, which in turn makes ultra-low-bias switching possible for the wake circuit. Because the device is also scanned through a peak-to-valley window, a negative differential response is possible as well. By contrast, the conventional junction lacks the structural conditions for the same transfer mode, so it cannot deliver the same low-bias switching task in this case.
 
-Check
+## Check
 C1  OK - the tunnel junction can support quantum barrier transfer
 C2  OK - the tunnel junction is classified as tunneling-dominant
 C3  OK - the tunnel junction can deliver sub-threshold current

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## Source files\n\n- [N3 rules](../act-yeast-self-reproduction.n3)\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?" .
 
@@ -223,14 +225,14 @@
 {
   :out log:outputString """ACT yeast self-reproduction
 
-Answer
+## Answer
 YES for the viable starter culture.
 NO for accurate self-reproduction in the non-digital contrast lineage.
 
-Reason Why
+## Reason Why
 The starter genome is treated as a replicator storing digital hereditary information, while the cell machinery is treated as the vehicle that enables metabolism and copying support. Under no-design laws, digital information makes accurate genome copying possible. Because the replicator is accurate and paired with a vehicle, the whole starter cell qualifies as a self-reproducer. With a variation source and a selection environment, natural selection also becomes possible. By contrast, the non-digital lineage cannot support accurate genome copying under the same no-design-laws assumption, so it cannot sustain the same accurate self-reproduction or natural-selection story.
 
-Check
+## Check
 C1  OK - no-design laws are assumed
 C2  OK - digital information is physically instantiated for the viable lineage
 C3  OK - a viable replicator is present

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\n## Source files\n\n- [N3 rules](../annotation.n3)\n- [Input TriG](../input/annotation.trig)\n\n" .
+{ :__md_output :text ?text } log:query { :__md_output log:outputString ?text } .

package/examples/auroracare.n3

@@ -350,19 +350,19 @@
 # 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\n## Source files\n\n- [N3 rules](../auroracare.n3)\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
+## Answer
 PERMIT
 
-Reason Why
+## Reason Why
 Permitted: clinician in the patient's care team, and the primary-care policy matched.
 
-Check
+## Check
 C1 SKIPPED - not a prohibited purpose
 C2 OK - clinician
 C3 OK - care-team linked
@@ -378,16 +378,16 @@ 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
+## Answer
 PERMIT
 
-Reason Why
+## Reason Why
 Permitted: ODRL/DPV policy matched for secondary use.
 
-Check
+## Check
 C1 SKIPPED - not a prohibited purpose
 C2 SKIPPED
 C3 SKIPPED
@@ -403,16 +403,16 @@ 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
+## Answer
 DENY
 
-Reason Why
+## Reason Why
 Denied: no policy matched (purpose, environment, TOMs, or categories out of scope).
 
-Check
+## Check
 C1 SKIPPED - not a prohibited purpose
 C2 SKIPPED
 C3 SKIPPED
@@ -428,16 +428,16 @@ 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
+## Answer
 DENY
 
-Reason Why
+## Reason Why
 Denied: the requested purpose (insurance management) is prohibited by policy.
 
-Check
+## Check
 C1 OK - denied prohibited purpose
 C2 SKIPPED
 C3 SKIPPED
@@ -453,16 +453,16 @@ 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
+## Answer
 PERMIT
 
-Reason Why
+## Reason Why
 Permitted: clinician in the patient's care team, and the primary-care policy matched.
 
-Check
+## Check
 C1 SKIPPED - not a prohibited purpose
 C2 OK - clinician
 C3 OK - care-team linked
@@ -478,16 +478,16 @@ 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
+## Answer
 PERMIT
 
-Reason Why
+## Reason Why
 Permitted: subject opted in and an ODRL/DPV policy matched (anonymised dataset in secure environment).
 
-Check
+## Check
 C1 SKIPPED - not a prohibited purpose
 C2 SKIPPED
 C3 SKIPPED
@@ -503,16 +503,16 @@ 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
+## Answer
 DENY
 
-Reason Why
+## Reason Why
 Denied: you opted out of your data being used to train AI systems.
 
-Check
+## Check
 C1 SKIPPED - not a prohibited purpose
 C2 SKIPPED
 C3 SKIPPED

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## Source files\n\n- [N3 rules](../backward-recursion.n3)\n- [Input TriG](../input/backward-recursion.trig)\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## Source files\n\n- [N3 rules](../barley-seed-becoming.n3)\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?" .
 
@@ -470,14 +472,14 @@
 {
   :out log:outputString """Barley seed lineage — becoming
 
-Answer
+## Answer
 YES for the viable barley lineage.
 NO for the contrast lineages when digital heredity, repair, protected dormancy, or heritable variation are missing.
 
-Reason Why
+## Reason Why
 The main lineage can be read as a becoming: a protected dormant seed can germinate, an adult plant can become a next seed stage, and the lineage can therefore become a self-renewing cycle. Because its hereditary information is digitally instantiated and repair is available, it can also become an accurately reproduced next generation under no-design laws. And because heritable variation is present under a matching selection environment, it can become an adaptively persistent lineage. The contrast lineages mark blocked becomings: non-digital heredity blocks accurate copying, lack of repair blocks reliable renewal, lack of dormancy protection blocks closure through the seed phase, and lack of heritable variation blocks adaptive becoming.
 
-Check
+## Check
 B1  OK - no-design laws are assumed
 B2  OK - the viable genome can become accurately copied
 B3  OK - the viable seed can become a protected dormant phase

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## Source files\n\n- [N3 rules](../bmi.n3)\n\n" .
+
 # --------------
 # Editable input
 # --------------
@@ -196,15 +198,15 @@
   :Check :c9 ?C9.
   (
     "BMI — ARC-style Body Mass Index example\n\n"
-    "Answer\n"
+    "## Answer\n"
     "BMI = " ?BmiRounded "\n"
     "Category = " ?Category "\n"
     "At height " ?CmRounded " cm, a healthy-weight range is about " ?HealthyMinRounded "–" ?HealthyMaxRounded " kg (BMI 18.5–24.9).\n\n"
-    "Reason Why\n"
+    "## Reason Why\n"
     "BMI is defined as weight in kilograms divided by height in meters squared. "
     "This program first normalizes the input to SI units, computes BMI, and then applies WHO adult categories as half-open intervals. "
     "The healthy-weight band is the weight range at the same height that corresponds to BMI 18.5 through 24.9.\n\n"
-    "Check\n"
+    "## Check\n"
     "C1 " ?C1 "\n"
     "C2 " ?C2 "\n"
     "C3 " ?C3 "\n"

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\n## Source files\n\n- [N3 rules](../builtin-coverage.n3)\n- [Input TriG](../input/builtin-coverage.trig)\n\n" .
+{ :__md_output :text ?text } log:query { :__md_output log:outputString ?text } .