eyeling 1.24.6 → 1.24.8

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (175) hide show
  1. package/HANDBOOK.md +35 -35
  2. package/dist/browser/eyeling.browser.js +14 -1
  3. package/examples/act-alarm-bit-interoperability.n3 +2 -0
  4. package/examples/act-barley-seed-lineage.n3 +2 -0
  5. package/examples/act-docking-abort.n3 +2 -0
  6. package/examples/act-gravity-mediator-witness.n3 +2 -0
  7. package/examples/act-isolation-breach.n3 +2 -0
  8. package/examples/act-photosynthetic-exciton-transfer.n3 +2 -0
  9. package/examples/act-sensor-memory-reset.n3 +2 -0
  10. package/examples/act-tunnel-junction-wake-switch.n3 +2 -0
  11. package/examples/act-yeast-self-reproduction.n3 +2 -0
  12. package/examples/annotation.n3 +5 -0
  13. package/examples/auroracare.n3 +8 -8
  14. package/examples/backward-recursion.n3 +5 -0
  15. package/examples/barley-seed-becoming.n3 +2 -0
  16. package/examples/bmi.n3 +2 -0
  17. package/examples/builtin-coverage.n3 +5 -0
  18. package/examples/calidor.n3 +3 -3
  19. package/examples/collection.n3 +5 -0
  20. package/examples/complex-matrix-stability.n3 +2 -0
  21. package/examples/context-association.n3 +0 -8
  22. package/examples/control-system.n3 +2 -0
  23. package/examples/deep-taxonomy-10.n3 +2 -0
  24. package/examples/deep-taxonomy-100.n3 +2 -0
  25. package/examples/deep-taxonomy-1000.n3 +2 -0
  26. package/examples/deep-taxonomy-10000.n3 +2 -0
  27. package/examples/deep-taxonomy-100000.n3 +2 -0
  28. package/examples/delfour.n3 +3 -3
  29. package/examples/digital-product-passport.n3 +2 -0
  30. package/examples/dijkstra-risk-path.n3 +1 -2
  31. package/examples/easter.n3 +3 -1
  32. package/examples/eco-route-insight.n3 +1 -2
  33. package/examples/flandor.n3 +3 -3
  34. package/examples/french-cities.n3 +2 -0
  35. package/examples/fundamental-theorem-arithmetic.n3 +2 -0
  36. package/examples/genetic-algorithm-knapsack.n3 +1 -1
  37. package/examples/genetic-algorithm.n3 +1 -1
  38. package/examples/genetic-knapsack-selection.n3 +1 -2
  39. package/examples/gps.n3 +2 -0
  40. package/examples/harborsmr.n3 +2 -0
  41. package/examples/input/rdf-message-flow.trig +10 -10
  42. package/examples/input/rdf-messages.trig +6 -6
  43. package/examples/interop-demo.n3 +3 -1
  44. package/examples/matrix-mechanics.n3 +3 -3
  45. package/examples/medior.n3 +3 -3
  46. package/examples/n3-speaks-for-itself.n3 +5 -0
  47. package/examples/odrl-dpv-ehds-risk-ranked.n3 +1 -1
  48. package/examples/odrl-dpv-healthcare-risk-ranked.n3 +1 -1
  49. package/examples/odrl-dpv-risk-ranked.n3 +1 -1
  50. package/examples/odrl-risk-mitigation.n3 +1 -1
  51. package/examples/odrl-risk.n3 +1 -1
  52. package/examples/output/{act-alarm-bit-interoperability.txt → act-alarm-bit-interoperability.md} +19 -17
  53. package/examples/output/act-barley-seed-lineage.md +27 -0
  54. package/examples/output/{act-docking-abort.txt → act-docking-abort.md} +21 -19
  55. package/examples/output/{act-gravity-mediator-witness.txt → act-gravity-mediator-witness.md} +23 -21
  56. package/examples/output/{act-isolation-breach.txt → act-isolation-breach.md} +26 -24
  57. package/examples/output/{act-photosynthetic-exciton-transfer.txt → act-photosynthetic-exciton-transfer.md} +19 -17
  58. package/examples/output/{act-sensor-memory-reset.txt → act-sensor-memory-reset.md} +19 -17
  59. package/examples/output/{act-tunnel-junction-wake-switch.txt → act-tunnel-junction-wake-switch.md} +20 -18
  60. package/examples/output/{act-yeast-self-reproduction.txt → act-yeast-self-reproduction.md} +22 -20
  61. package/examples/output/annotation.md +1 -0
  62. package/examples/output/auroracare.md +150 -0
  63. package/examples/output/backward-recursion.md +6 -0
  64. package/examples/output/barley-seed-becoming.md +27 -0
  65. package/examples/output/{bmi.txt → bmi.md} +19 -17
  66. package/examples/output/builtin-coverage.md +1 -0
  67. package/examples/output/calidor.md +31 -0
  68. package/examples/output/collection.md +1 -0
  69. package/examples/output/{complex-matrix-stability.txt → complex-matrix-stability.md} +13 -11
  70. package/examples/output/context-association.md +7 -0
  71. package/examples/output/{control-system.txt → control-system.md} +19 -17
  72. package/examples/output/{deep-taxonomy-10.txt → deep-taxonomy-10.md} +14 -12
  73. package/examples/output/{deep-taxonomy-100.txt → deep-taxonomy-100.md} +14 -12
  74. package/examples/output/{deep-taxonomy-1000.txt → deep-taxonomy-1000.md} +14 -12
  75. package/examples/output/{deep-taxonomy-10000.txt → deep-taxonomy-10000.md} +14 -12
  76. package/examples/output/{deep-taxonomy-100000.txt → deep-taxonomy-100000.md} +14 -12
  77. package/examples/output/delfour.md +32 -0
  78. package/examples/output/digital-product-passport.md +3 -0
  79. package/examples/output/dijkstra-risk-path.md +11 -0
  80. package/examples/output/{easter.txt → easter.md} +152 -150
  81. package/examples/output/eco-route-insight.md +20 -0
  82. package/examples/output/flandor.md +33 -0
  83. package/examples/output/{french-cities.txt → french-cities.md} +13 -11
  84. package/examples/output/{fundamental-theorem-arithmetic.txt → fundamental-theorem-arithmetic.md} +14 -12
  85. package/examples/output/genetic-algorithm-knapsack.md +3 -0
  86. package/examples/output/genetic-algorithm.md +3 -0
  87. package/examples/output/genetic-knapsack-selection.md +13 -0
  88. package/examples/output/{gps.txt → gps.md} +14 -12
  89. package/examples/output/harborsmr.md +22 -0
  90. package/examples/output/{interop-demo.txt → interop-demo.md} +3 -1
  91. package/examples/output/matrix-mechanics.md +16 -0
  92. package/examples/output/medior.md +34 -0
  93. package/examples/output/n3-speaks-for-itself.md +54 -0
  94. package/examples/output/{odrl-dpv-ehds-risk-ranked.txt → odrl-dpv-ehds-risk-ranked.md} +16 -15
  95. package/examples/output/{odrl-dpv-healthcare-risk-ranked.txt → odrl-dpv-healthcare-risk-ranked.md} +13 -12
  96. package/examples/output/{odrl-dpv-risk-ranked.txt → odrl-dpv-risk-ranked.md} +17 -16
  97. package/examples/output/{odrl-risk-mitigation.txt → odrl-risk-mitigation.md} +17 -16
  98. package/examples/output/{odrl-risk.txt → odrl-risk.md} +6 -5
  99. package/examples/output/parcellocker.md +22 -0
  100. package/examples/output/pn-junction-tunneling.md +25 -0
  101. package/examples/output/queens.md +23 -0
  102. package/examples/output/{rc-discharge-envelope.txt → rc-discharge-envelope.md} +10 -8
  103. package/examples/output/rdf-dataset.md +7 -0
  104. package/examples/output/rdf-message-flow.md +7 -0
  105. package/examples/output/rdf-messages.md +7 -0
  106. package/examples/output/{resto.txt → resto.md} +19 -17
  107. package/examples/output/school-placement-audit.md +11 -0
  108. package/examples/output/smoke-arithmetic.md +7 -0
  109. package/examples/output/sqrt2-cauchy.md +15 -0
  110. package/examples/output/sqrt2-dedekind.md +33 -0
  111. package/examples/output/{sudoku.txt → sudoku.md} +45 -43
  112. package/examples/output/transcendental-numbers-stretched.md +262 -0
  113. package/examples/output/transistor-switch.md +26 -0
  114. package/examples/output/triple-terms.md +7 -0
  115. package/examples/output/{tunnel-junction-wake-switch-becoming.txt → tunnel-junction-wake-switch-becoming.md} +20 -18
  116. package/examples/output/{wind-turbine.txt → wind-turbine.md} +17 -15
  117. package/examples/parcellocker.n3 +2 -0
  118. package/examples/pn-junction-tunneling.n3 +3 -3
  119. package/examples/queens.n3 +1 -0
  120. package/examples/rc-discharge-envelope.n3 +1 -1
  121. package/examples/rdf-dataset.n3 +5 -0
  122. package/examples/rdf-message-flow.n3 +1 -2
  123. package/examples/rdf-messages.n3 +1 -2
  124. package/examples/resto.n3 +2 -0
  125. package/examples/school-placement-audit.n3 +1 -2
  126. package/examples/smoke-arithmetic.n3 +1 -1
  127. package/examples/sqrt2-cauchy.n3 +2 -0
  128. package/examples/sqrt2-dedekind.n3 +2 -0
  129. package/examples/sudoku.n3 +14 -14
  130. package/examples/transcendental-numbers-stretched.n3 +5 -0
  131. package/examples/transistor-switch.n3 +3 -3
  132. package/examples/triple-terms.n3 +5 -0
  133. package/examples/tunnel-junction-wake-switch-becoming.n3 +2 -0
  134. package/examples/wind-turbine.n3 +2 -0
  135. package/eyeling.js +14 -1
  136. package/lib/explain.js +14 -1
  137. package/package.json +1 -1
  138. package/test/examples.test.js +44 -13
  139. package/test/package.test.js +43 -7
  140. package/examples/output/act-barley-seed-lineage.txt +0 -25
  141. package/examples/output/annotation.n3 +0 -0
  142. package/examples/output/auroracare.txt +0 -149
  143. package/examples/output/backward-recursion.n3 +0 -4
  144. package/examples/output/barley-seed-becoming.txt +0 -25
  145. package/examples/output/builtin-coverage.n3 +0 -0
  146. package/examples/output/calidor.txt +0 -29
  147. package/examples/output/collection.n3 +0 -0
  148. package/examples/output/context-association.n3 +0 -9
  149. package/examples/output/delfour.txt +0 -30
  150. package/examples/output/digital-product-passport.txt +0 -1
  151. package/examples/output/dijkstra-risk-path.n3 +0 -3
  152. package/examples/output/eco-route-insight.n3 +0 -3
  153. package/examples/output/flandor.txt +0 -31
  154. package/examples/output/genetic-algorithm-knapsack.txt +0 -1
  155. package/examples/output/genetic-algorithm.txt +0 -1
  156. package/examples/output/genetic-knapsack-selection.n3 +0 -3
  157. package/examples/output/harborsmr.txt +0 -20
  158. package/examples/output/matrix-mechanics.txt +0 -14
  159. package/examples/output/medior.txt +0 -32
  160. package/examples/output/n3-speaks-for-itself.txt +0 -52
  161. package/examples/output/parcellocker.txt +0 -20
  162. package/examples/output/pn-junction-tunneling.txt +0 -23
  163. package/examples/output/queens.txt +0 -21
  164. package/examples/output/rc-discharge-envelope.n3 +0 -9
  165. package/examples/output/rdf-dataset.n3 +0 -5
  166. package/examples/output/rdf-message-flow.n3 +0 -7
  167. package/examples/output/rdf-messages.n3 +0 -7
  168. package/examples/output/school-placement-audit.n3 +0 -3
  169. package/examples/output/smoke-arithmetic.n3 +0 -5
  170. package/examples/output/smoke-arithmetic.txt +0 -5
  171. package/examples/output/sqrt2-cauchy.txt +0 -13
  172. package/examples/output/sqrt2-dedekind.txt +0 -31
  173. package/examples/output/transcendental-numbers-stretched.txt +0 -260
  174. package/examples/output/transistor-switch.txt +0 -24
  175. package/examples/output/triple-terms.n3 +0 -5
@@ -0,0 +1,32 @@
1
+ # delfour
2
+
3
+ ## Answer
4
+ The scanner is allowed to use a neutral shopping insight and recommends Low-Sugar Tea Biscuits instead of Classic Tea Biscuits.
5
+ case : delfour
6
+ decision : Allowed
7
+ scanned product : Classic Tea Biscuits
8
+ suggested alternative: Low-Sugar Tea Biscuits
9
+
10
+ ## Reason Why
11
+ 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.
12
+ metric : sugar_g_per_serving
13
+ threshold : 10.0
14
+ scope : self-scanner @ pick_up_scanner
15
+ retailer : Delfour
16
+ signature alg : HMAC-SHA256
17
+ banner headline : Track sugar per serving while you scan
18
+ expires at : 2025-10-05T22:33:48.907185+00:00
19
+ reason.txt : Household requires low-sugar guidance (diabetes in POD). A neutral Insight is scoped to device 'self-scanner', event 'pick_up_scanner', retailer 'Delfour', and expires soon; the policy confines use to shopping assistance.
20
+ audit entries : 1
21
+ bus files written : 6
22
+
23
+ ## Check
24
+ signature verifies : yes
25
+ payload hash matches : yes
26
+ minimization strips sensitive terms: yes
27
+ scope complete : yes
28
+ authorization allowed : yes
29
+ high-sugar banner : yes
30
+ alternative lowers sugar : yes
31
+ duty timing consistent : yes
32
+ marketing prohibited : yes
@@ -0,0 +1,3 @@
1
+ # digital-product-passport
2
+
3
+ ACME X1000 SN123 | recycled=13% | lifecycle=52500 gCO2e | CRM=true | hint=http://example.org/dpp#repairFriendly
@@ -0,0 +1,11 @@
1
+ # dijkstra-risk-path
2
+
3
+ ## Answer
4
+ selected path : ClinicA -> DepotB -> LabD -> HubZ
5
+ raw cost : 10.00
6
+ risk sum : 0.55
7
+ risk-adjusted score : 11.10
8
+ edges in selected path : 3
9
+
10
+ ## Explanation
11
+ Each 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.
@@ -1,150 +1,152 @@
1
- Easter — Gregorian computus
2
-
3
- === 2026 ===
4
- Answer
5
- Easter Sunday falls on April 5.
6
-
7
- Reason Why
8
- For year 2026, the computus gives j=12, k=20, q=6, r=12, v=2, and final month/day numbers x=4, z=4. Because the day is z+1, the resulting Easter date is April 5.
9
-
10
- Check
11
- C1 OK - the Golden Number remainder j is inside the 0–18 cycle.
12
- C2 OK - the epact-style remainder r is inside the 0–29 cycle.
13
- C3 OK - the weekday adjustment v is inside the 0–6 cycle.
14
- C4 OK - the final month is a valid Easter month (March or April).
15
- C5 OK - the final date is inside the legal Gregorian Easter window.
16
- Easter Gregorian computus
17
-
18
- === 2027 ===
19
- Answer
20
- Easter Sunday falls on March 28.
21
-
22
- Reason Why
23
- For year 2027, the computus gives j=13, k=20, q=6, r=1, v=5, and final month/day numbers x=3, z=27. Because the day is z+1, the resulting Easter date is March 28.
24
-
25
- Check
26
- C1 OK - the Golden Number remainder j is inside the 0–18 cycle.
27
- C2 OK - the epact-style remainder r is inside the 0–29 cycle.
28
- C3 OK - the weekday adjustment v is inside the 0–6 cycle.
29
- C4 OK - the final month is a valid Easter month (March or April).
30
- C5 OK - the final date is inside the legal Gregorian Easter window.
31
- Easter Gregorian computus
32
-
33
- === 2028 ===
34
- Answer
35
- Easter Sunday falls on April 16.
36
-
37
- Reason Why
38
- For year 2028, the computus gives j=14, k=20, q=6, r=20, v=5, and final month/day numbers x=4, z=15. Because the day is z+1, the resulting Easter date is April 16.
39
-
40
- Check
41
- C1 OK - the Golden Number remainder j is inside the 0–18 cycle.
42
- C2 OK - the epact-style remainder r is inside the 0–29 cycle.
43
- C3 OK - the weekday adjustment v is inside the 0–6 cycle.
44
- C4 OK - the final month is a valid Easter month (March or April).
45
- C5 OK - the final date is inside the legal Gregorian Easter window.
46
- Easter Gregorian computus
47
-
48
- === 2029 ===
49
- Answer
50
- Easter Sunday falls on April 1.
51
-
52
- Reason Why
53
- For year 2029, the computus gives j=15, k=20, q=6, r=9, v=1, and final month/day numbers x=4, z=0. Because the day is z+1, the resulting Easter date is April 1.
54
-
55
- Check
56
- C1 OK - the Golden Number remainder j is inside the 0–18 cycle.
57
- C2 OK - the epact-style remainder r is inside the 0–29 cycle.
58
- C3 OK - the weekday adjustment v is inside the 0–6 cycle.
59
- C4 OK - the final month is a valid Easter month (March or April).
60
- C5 OK - the final date is inside the legal Gregorian Easter window.
61
- Easter Gregorian computus
62
-
63
- === 2030 ===
64
- Answer
65
- Easter Sunday falls on April 21.
66
-
67
- Reason Why
68
- For year 2030, the computus gives j=16, k=20, q=6, r=28, v=2, and final month/day numbers x=4, z=20. Because the day is z+1, the resulting Easter date is April 21.
69
-
70
- Check
71
- C1 OK - the Golden Number remainder j is inside the 0–18 cycle.
72
- C2 OK - the epact-style remainder r is inside the 0–29 cycle.
73
- C3 OK - the weekday adjustment v is inside the 0–6 cycle.
74
- C4 OK - the final month is a valid Easter month (March or April).
75
- C5 OK - the final date is inside the legal Gregorian Easter window.
76
- Easter Gregorian computus
77
-
78
- === 2031 ===
79
- Answer
80
- Easter Sunday falls on April 13.
81
-
82
- Reason Why
83
- For year 2031, the computus gives j=17, k=20, q=6, r=17, v=5, and final month/day numbers x=4, z=12. Because the day is z+1, the resulting Easter date is April 13.
84
-
85
- Check
86
- C1 OK - the Golden Number remainder j is inside the 0–18 cycle.
87
- C2 OK - the epact-style remainder r is inside the 0–29 cycle.
88
- C3 OK - the weekday adjustment v is inside the 0–6 cycle.
89
- C4 OK - the final month is a valid Easter month (March or April).
90
- C5 OK - the final date is inside the legal Gregorian Easter window.
91
- Easter Gregorian computus
92
-
93
- === 2032 ===
94
- Answer
95
- Easter Sunday falls on March 28.
96
-
97
- Reason Why
98
- For year 2032, the computus gives j=18, k=20, q=6, r=6, v=0, and final month/day numbers x=3, z=27. Because the day is z+1, the resulting Easter date is March 28.
99
-
100
- Check
101
- C1 OK - the Golden Number remainder j is inside the 0–18 cycle.
102
- C2 OK - the epact-style remainder r is inside the 0–29 cycle.
103
- C3 OK - the weekday adjustment v is inside the 0–6 cycle.
104
- C4 OK - the final month is a valid Easter month (March or April).
105
- C5 OK - the final date is inside the legal Gregorian Easter window.
106
- Easter Gregorian computus
107
-
108
- === 2033 ===
109
- Answer
110
- Easter Sunday falls on April 17.
111
-
112
- Reason Why
113
- For year 2033, the computus gives j=0, k=20, q=6, r=24, v=2, and final month/day numbers x=4, z=16. Because the day is z+1, the resulting Easter date is April 17.
114
-
115
- Check
116
- C1 OK - the Golden Number remainder j is inside the 0–18 cycle.
117
- C2 OK - the epact-style remainder r is inside the 0–29 cycle.
118
- C3 OK - the weekday adjustment v is inside the 0–6 cycle.
119
- C4 OK - the final month is a valid Easter month (March or April).
120
- C5 OK - the final date is inside the legal Gregorian Easter window.
121
- Easter Gregorian computus
122
-
123
- === 2034 ===
124
- Answer
125
- Easter Sunday falls on April 9.
126
-
127
- Reason Why
128
- For year 2034, the computus gives j=1, k=20, q=6, r=13, v=5, and final month/day numbers x=4, z=8. Because the day is z+1, the resulting Easter date is April 9.
129
-
130
- Check
131
- C1 OK - the Golden Number remainder j is inside the 0–18 cycle.
132
- C2 OK - the epact-style remainder r is inside the 0–29 cycle.
133
- C3 OK - the weekday adjustment v is inside the 0–6 cycle.
134
- C4 OK - the final month is a valid Easter month (March or April).
135
- C5 OK - the final date is inside the legal Gregorian Easter window.
136
- Easter Gregorian computus
137
-
138
- === 2035 ===
139
- Answer
140
- Easter Sunday falls on March 25.
141
-
142
- Reason Why
143
- For year 2035, the computus gives j=2, k=20, q=6, r=2, v=1, and final month/day numbers x=3, z=24. Because the day is z+1, the resulting Easter date is March 25.
144
-
145
- Check
146
- C1 OK - the Golden Number remainder j is inside the 0–18 cycle.
147
- C2 OK - the epact-style remainder r is inside the 0–29 cycle.
148
- C3 OK - the weekday adjustment v is inside the 0–6 cycle.
149
- C4 OK - the final month is a valid Easter month (March or April).
150
- C5 OK - the final date is inside the legal Gregorian Easter window.
1
+ # easter
2
+
3
+ Easter Gregorian computus
4
+
5
+ ## 2026
6
+ Answer
7
+ Easter Sunday falls on April 5.
8
+
9
+ Reason Why
10
+ For year 2026, the computus gives j=12, k=20, q=6, r=12, v=2, and final month/day numbers x=4, z=4. Because the day is z+1, the resulting Easter date is April 5.
11
+
12
+ Check
13
+ C1 OK - the Golden Number remainder j is inside the 0–18 cycle.
14
+ C2 OK - the epact-style remainder r is inside the 0–29 cycle.
15
+ C3 OK - the weekday adjustment v is inside the 0–6 cycle.
16
+ C4 OK - the final month is a valid Easter month (March or April).
17
+ C5 OK - the final date is inside the legal Gregorian Easter window.
18
+ Easter Gregorian computus
19
+
20
+ ## 2027
21
+ Answer
22
+ Easter Sunday falls on March 28.
23
+
24
+ Reason Why
25
+ For year 2027, the computus gives j=13, k=20, q=6, r=1, v=5, and final month/day numbers x=3, z=27. Because the day is z+1, the resulting Easter date is March 28.
26
+
27
+ Check
28
+ C1 OK - the Golden Number remainder j is inside the 0–18 cycle.
29
+ C2 OK - the epact-style remainder r is inside the 0–29 cycle.
30
+ C3 OK - the weekday adjustment v is inside the 0–6 cycle.
31
+ C4 OK - the final month is a valid Easter month (March or April).
32
+ C5 OK - the final date is inside the legal Gregorian Easter window.
33
+ Easter Gregorian computus
34
+
35
+ ## 2028
36
+ Answer
37
+ Easter Sunday falls on April 16.
38
+
39
+ Reason Why
40
+ For year 2028, the computus gives j=14, k=20, q=6, r=20, v=5, and final month/day numbers x=4, z=15. Because the day is z+1, the resulting Easter date is April 16.
41
+
42
+ Check
43
+ C1 OK - the Golden Number remainder j is inside the 0–18 cycle.
44
+ C2 OK - the epact-style remainder r is inside the 0–29 cycle.
45
+ C3 OK - the weekday adjustment v is inside the 0–6 cycle.
46
+ C4 OK - the final month is a valid Easter month (March or April).
47
+ C5 OK - the final date is inside the legal Gregorian Easter window.
48
+ Easter Gregorian computus
49
+
50
+ ## 2029
51
+ Answer
52
+ Easter Sunday falls on April 1.
53
+
54
+ Reason Why
55
+ For year 2029, the computus gives j=15, k=20, q=6, r=9, v=1, and final month/day numbers x=4, z=0. Because the day is z+1, the resulting Easter date is April 1.
56
+
57
+ Check
58
+ C1 OK - the Golden Number remainder j is inside the 0–18 cycle.
59
+ C2 OK - the epact-style remainder r is inside the 0–29 cycle.
60
+ C3 OK - the weekday adjustment v is inside the 0–6 cycle.
61
+ C4 OK - the final month is a valid Easter month (March or April).
62
+ C5 OK - the final date is inside the legal Gregorian Easter window.
63
+ Easter Gregorian computus
64
+
65
+ ## 2030
66
+ Answer
67
+ Easter Sunday falls on April 21.
68
+
69
+ Reason Why
70
+ For year 2030, the computus gives j=16, k=20, q=6, r=28, v=2, and final month/day numbers x=4, z=20. Because the day is z+1, the resulting Easter date is April 21.
71
+
72
+ Check
73
+ C1 OK - the Golden Number remainder j is inside the 0–18 cycle.
74
+ C2 OK - the epact-style remainder r is inside the 0–29 cycle.
75
+ C3 OK - the weekday adjustment v is inside the 0–6 cycle.
76
+ C4 OK - the final month is a valid Easter month (March or April).
77
+ C5 OK - the final date is inside the legal Gregorian Easter window.
78
+ Easter Gregorian computus
79
+
80
+ ## 2031
81
+ Answer
82
+ Easter Sunday falls on April 13.
83
+
84
+ Reason Why
85
+ For year 2031, the computus gives j=17, k=20, q=6, r=17, v=5, and final month/day numbers x=4, z=12. Because the day is z+1, the resulting Easter date is April 13.
86
+
87
+ Check
88
+ C1 OK - the Golden Number remainder j is inside the 0–18 cycle.
89
+ C2 OK - the epact-style remainder r is inside the 0–29 cycle.
90
+ C3 OK - the weekday adjustment v is inside the 0–6 cycle.
91
+ C4 OK - the final month is a valid Easter month (March or April).
92
+ C5 OK - the final date is inside the legal Gregorian Easter window.
93
+ Easter Gregorian computus
94
+
95
+ ## 2032
96
+ Answer
97
+ Easter Sunday falls on March 28.
98
+
99
+ Reason Why
100
+ For year 2032, the computus gives j=18, k=20, q=6, r=6, v=0, and final month/day numbers x=3, z=27. Because the day is z+1, the resulting Easter date is March 28.
101
+
102
+ Check
103
+ C1 OK - the Golden Number remainder j is inside the 0–18 cycle.
104
+ C2 OK - the epact-style remainder r is inside the 0–29 cycle.
105
+ C3 OK - the weekday adjustment v is inside the 0–6 cycle.
106
+ C4 OK - the final month is a valid Easter month (March or April).
107
+ C5 OK - the final date is inside the legal Gregorian Easter window.
108
+ Easter Gregorian computus
109
+
110
+ ## 2033
111
+ Answer
112
+ Easter Sunday falls on April 17.
113
+
114
+ Reason Why
115
+ For year 2033, the computus gives j=0, k=20, q=6, r=24, v=2, and final month/day numbers x=4, z=16. Because the day is z+1, the resulting Easter date is April 17.
116
+
117
+ Check
118
+ C1 OK - the Golden Number remainder j is inside the 0–18 cycle.
119
+ C2 OK - the epact-style remainder r is inside the 0–29 cycle.
120
+ C3 OK - the weekday adjustment v is inside the 0–6 cycle.
121
+ C4 OK - the final month is a valid Easter month (March or April).
122
+ C5 OK - the final date is inside the legal Gregorian Easter window.
123
+ Easter Gregorian computus
124
+
125
+ ## 2034
126
+ Answer
127
+ Easter Sunday falls on April 9.
128
+
129
+ Reason Why
130
+ For year 2034, the computus gives j=1, k=20, q=6, r=13, v=5, and final month/day numbers x=4, z=8. Because the day is z+1, the resulting Easter date is April 9.
131
+
132
+ Check
133
+ C1 OK - the Golden Number remainder j is inside the 0–18 cycle.
134
+ C2 OK - the epact-style remainder r is inside the 0–29 cycle.
135
+ C3 OK - the weekday adjustment v is inside the 0–6 cycle.
136
+ C4 OK - the final month is a valid Easter month (March or April).
137
+ C5 OK - the final date is inside the legal Gregorian Easter window.
138
+ Easter Gregorian computus
139
+
140
+ ## 2035
141
+ Answer
142
+ Easter Sunday falls on March 25.
143
+
144
+ Reason Why
145
+ For year 2035, the computus gives j=2, k=20, q=6, r=2, v=1, and final month/day numbers x=3, z=24. Because the day is z+1, the resulting Easter date is March 25.
146
+
147
+ Check
148
+ C1 OK - the Golden Number remainder j is inside the 0–18 cycle.
149
+ C2 OK - the epact-style remainder r is inside the 0–29 cycle.
150
+ C3 OK - the weekday adjustment v is inside the 0–6 cycle.
151
+ C4 OK - the final month is a valid Easter month (March or April).
152
+ C5 OK - the final date is inside the legal Gregorian Easter window.
@@ -0,0 +1,20 @@
1
+ # eco-route-insight
2
+
3
+ ## Answer
4
+ insight status : issue
5
+ show eco banner : yes
6
+ audience : Depot X
7
+ allowed use : ui.eco.banner
8
+ suggested route : alt-low-fuel
9
+ current fuel index : 120.75
10
+ suggested fuel index : 99.75
11
+ estimated saving : 21.00
12
+ expires at : 2025-01-01T11:00:00Z
13
+ raw data exported : no
14
+ signature algorithm : HMAC-SHA256
15
+ payload digest : 00e19becd91e81d6881749655d23d43002d9ea714bba61e855eafbc8ef9a5135
16
+ signature key : local-demo-key
17
+ signature : 7fFGBN8fyI7xrmRz5VreeAUSf3LC_ywbj32NGk2ovUs
18
+
19
+ ## Explanation
20
+ The current route uses fuel index = distanceKm × (payloadKg / 1000) × gradientFactor. For shipment-1, Current urban route gives 42.00 × 2.50 × 1.15 = 120.75. The policy threshold is 120.00, so a local eco banner is justified. The selected alternative alt-low-fuel gives 38.00 × 2.50 × 1.05 = 99.75, saving 21.00 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.
@@ -0,0 +1,33 @@
1
+ # flandor
2
+
3
+ ## Answer
4
+ Name: Flandor
5
+ Region: Flanders
6
+ Metric: regional_retooling_priority
7
+ Active need count: 3/3
8
+ Recommended package: Flandor Retooling Pulse
9
+ Budget cap: €140M
10
+ Package cost: €120M
11
+ Payload SHA-256: 718f5b17d07ab6a95503bc04a1000ddb132409f600659c03d21def81914b780b
12
+ Envelope HMAC-SHA-256: 955968ca99a191783bc00cba068128ccb9ff40a5e6114fda13a52c74ee27329e
13
+
14
+ ## Reason Why
15
+ Export weakness is active because at least one cluster has exportOrdersIndex < 90 (Antwerp chemicals=84, Ghent manufacturing=87).
16
+ Skills strain is active because technical vacancy rate is 4.6% (threshold > 3.9%).
17
+ Grid stress is active because congestion hours = 19 (threshold > 11).
18
+ The recommendation policy is "lowest_cost_package_covering_all_active_needs", so the cheapest package that covers all active needs within budget is selected.
19
+ Selected package "Flandor Retooling Pulse" covers export=true, skills=true, grid=true, cost=€120M.
20
+ Usage is permitted only for purpose "regional_stabilization" and the envelope expires at 2026-04-08T19:00:00+00:00.
21
+
22
+ ## Check
23
+ - PASS: payload hash matches
24
+ - PASS: hmac matches
25
+ - PASS: threshold reached
26
+ - PASS: scope complete
27
+ - PASS: minimization respected
28
+ - PASS: authorized purpose allowed
29
+ - PASS: deletion duty still on time
30
+ - PASS: surveillance reuse prohibited
31
+ - PASS: package exists within budget
32
+ - PASS: package covers all active needs
33
+ - PASS: lowest-cost eligible package chosen
@@ -1,14 +1,16 @@
1
- French cities — ARC style graph reachability
1
+ # french-cities
2
2
 
3
- Answer
4
- Four cities in this small network can reach Nantes: Paris, Chartres, Le Mans, and Angers.
3
+ French cities — ARC style graph reachability
5
4
 
6
- Reason Why
7
- The original example says that every :oneway link is also a :path, and that :path is transitive. So once Angers can reach Nantes directly, longer routes can be built by chaining earlier links. Angers reaches Nantes directly. Le Mans reaches Nantes through Angers. Chartres reaches Nantes through Le Mans and Angers. Paris reaches Nantes through Chartres, Le Mans, and Angers.
5
+ Answer
6
+ Four cities in this small network can reach Nantes: Paris, Chartres, Le Mans, and Angers.
8
7
 
9
- Check
10
- C1 OK - Angers has a direct one-way connection to Nantes.
11
- C2 OK - Le Mans reaches Nantes by chaining Le Mans → Angers → Nantes.
12
- C3 OK - Chartres reaches Nantes by chaining Chartres → Le Mans → Angers → Nantes.
13
- C4 OK - Paris reaches Nantes by chaining Paris Chartres → Le Mans → Angers → Nantes.
14
- C5 OK - cities without a chain to Nantes are rejected by fail-loud fuse rules.
8
+ Reason Why
9
+ The original example says that every :oneway link is also a :path, and that :path is transitive. So once Angers can reach Nantes directly, longer routes can be built by chaining earlier links. Angers reaches Nantes directly. Le Mans reaches Nantes through Angers. Chartres reaches Nantes through Le Mans and Angers. Paris reaches Nantes through Chartres, Le Mans, and Angers.
10
+
11
+ Check
12
+ C1 OK - Angers has a direct one-way connection to Nantes.
13
+ C2 OK - Le Mans reaches Nantes by chaining Le Mans Angers Nantes.
14
+ C3 OK - Chartres reaches Nantes by chaining Chartres → Le Mans → Angers → Nantes.
15
+ C4 OK - Paris reaches Nantes by chaining Paris → Chartres → Le Mans → Angers → Nantes.
16
+ C5 OK - cities without a chain to Nantes are rejected by fail-loud fuse rules.
@@ -1,15 +1,17 @@
1
- Fundamental Theorem of Arithmetic — ARC-style
1
+ # fundamental-theorem-arithmetic
2
2
 
3
- Answer
4
- For n = 202692987, the prime factors are 3 * 3 * 7 * 829 * 3881, the prime-power form is 3^2 * 7 * 829 * 3881, and the product of these factors is 202692987 with 4 distinct primes.
3
+ Fundamental Theorem of Arithmetic — ARC-style
5
4
 
6
- Reason Why
7
- Existence in this run comes from repeated smallest-divisor decomposition: 202692987 factors as 3 * 3 * 7 * 829 * 3881. Each distinct factor is prime. For uniqueness up to order, the reverse traversal gives 3881 * 829 * 7 * 3 * 3, and both traversals sort to the same multiset of primes. So this concrete case exhibits the Fundamental Theorem of Arithmetic for 202692987: a prime factorization exists and is unique up to order. The extreme prime factors are 3 and 3881.
5
+ Answer
6
+ For n = 202692987, the prime factors are 3 * 3 * 7 * 829 * 3881, the prime-power form is 3^2 * 7 * 829 * 3881, and the product of these factors is 202692987 with 4 distinct primes.
8
7
 
9
- Check
10
- C1 OK - repeated smallest-divisor decomposition produced the expected smallest-first factor list (3 3 7 829 3881).
11
- C2 OK - the product of the computed factors reconstructs n = 202692987.
12
- C3 OK - every distinct factor in the decomposition is prime by trial division.
13
- C4 OK - the prime-power form matches 3^2 * 7 * 829 * 3881.
14
- C5 OK - smallest-first and largest-first traversals have the same multiset of primes, so the factorization agrees up to order.
15
- C6 OK - the smallest and largest prime factors are 3 and 3881.
8
+ Reason Why
9
+ Existence in this run comes from repeated smallest-divisor decomposition: 202692987 factors as 3 * 3 * 7 * 829 * 3881. Each distinct factor is prime. For uniqueness up to order, the reverse traversal gives 3881 * 829 * 7 * 3 * 3, and both traversals sort to the same multiset of primes. So this concrete case exhibits the Fundamental Theorem of Arithmetic for 202692987: a prime factorization exists and is unique up to order. The extreme prime factors are 3 and 3881.
10
+
11
+ Check
12
+ C1 OK - repeated smallest-divisor decomposition produced the expected smallest-first factor list (3 3 7 829 3881).
13
+ C2 OK - the product of the computed factors reconstructs n = 202692987.
14
+ C3 OK - every distinct factor in the decomposition is prime by trial division.
15
+ C4 OK - the prime-power form matches 3^2 * 7 * 829 * 3881.
16
+ C5 OK - smallest-first and largest-first traversals have the same multiset of primes, so the factorization agrees up to order.
17
+ C6 OK - the smallest and largest prime factors are 3 and 3881.
@@ -0,0 +1,3 @@
1
+ # genetic-algorithm-knapsack
2
+
3
+ Knapsack GA best genome 101000000101 (feasible=true): weight=50 value=101 after 4 generations.
@@ -0,0 +1,3 @@
1
+ # genetic-algorithm
2
+
3
+ GA evolved 11111101010 -> 2026 in 8 generations.
@@ -0,0 +1,13 @@
1
+ # genetic-knapsack-selection
2
+
3
+ ## Answer
4
+ final genome : 101000000101
5
+ selected items : item01, item03, item10, item12
6
+ weight : 50 / 50
7
+ value : 101
8
+ fitness : 999899
9
+ generations evaluated : 5
10
+ exhaustive optimum value : 104 at genome 001000011111
11
+
12
+ ## Explanation
13
+ Each genome bit says whether the corresponding item is selected for the knapsack. Feasible candidates get fitness 1000000 minus value, so higher value means lower fitness; overweight candidates are penalized above every feasible candidate. The N3 source records the deterministic local-search result and validates that the final genome respects capacity and has no strictly better one-bit neighbor. For transparency, an exhaustive enumeration also records the global best feasible value, showing this is a local mutation search rather than a global-optimality claim.
@@ -1,15 +1,17 @@
1
- GPS — Goal driven route planning
1
+ # gps
2
2
 
3
- Answer
4
- Take the direct route via Brugge.
5
- Recommended route: Gent → Brugge → Oostende
3
+ GPS — Goal driven route planning
6
4
 
7
- Reason Why
8
- From Gent to Oostende, the planner found two routes in this small map. The direct route (Gent Brugge → Oostende) takes 2400 seconds at cost 0.01, with belief 0.9408 and comfort 0.99. The alternative (Gent → Kortrijk → Brugge → Oostende) takes 4100 seconds at cost 0.018, with belief 0.903168 and comfort 0.9801. So the direct route is faster, cheaper, more reliable, and slightly more comfortable.
5
+ Answer
6
+ Take the direct route via Brugge.
7
+ Recommended route: Gent → Brugge → Oostende
9
8
 
10
- Check
11
- C1 OK - the direct Gent → Brugge → Oostende route was derived.
12
- C2 OK - the alternative Gent → Kortrijk → Brugge → Oostende route was derived.
13
- C3 OK - the recommended route is faster than the alternative.
14
- C4 OK - the recommended route is cheaper than the alternative.
15
- C5 OK - the recommended route has higher belief and comfort scores.
9
+ Reason Why
10
+ From Gent to Oostende, the planner found two routes in this small map. The direct route (Gent → Brugge → Oostende) takes 2400 seconds at cost 0.01, with belief 0.9408 and comfort 0.99. The alternative (Gent → Kortrijk → Brugge → Oostende) takes 4100 seconds at cost 0.018, with belief 0.903168 and comfort 0.9801. So the direct route is faster, cheaper, more reliable, and slightly more comfortable.
11
+
12
+ Check
13
+ C1 OK - the direct Gent Brugge Oostende route was derived.
14
+ C2 OK - the alternative Gent Kortrijk Brugge Oostende route was derived.
15
+ C3 OK - the recommended route is faster than the alternative.
16
+ C4 OK - the recommended route is cheaper than the alternative.
17
+ C5 OK - the recommended route has higher belief and comfort scores.
@@ -0,0 +1,22 @@
1
+ # harborsmr
2
+
3
+ HarborSMR — bounded flexible-export insight for port electrolysis
4
+
5
+ Answer
6
+ PERMIT
7
+ The port hydrogen hub may use the SMR insight to run PEM electrolyzer train 2 at 16 MW from 14:00 to 18:00.
8
+
9
+ Reason Why
10
+ The operator shares only a narrow, expiring insight that a temporary 18 MW flexible-export window is available. The request is for electrolysis dispatch only, the requested 16 MW fits inside the permitted window, safety margins are above threshold, no outage blocks the window, and the policy forbids redistribution for market resale. Raw reactor telemetry stays local.
11
+
12
+ Check
13
+ C1 OK - reserve margin exceeds the dispatch threshold
14
+ C2 OK - cooling margin exceeds the dispatch threshold
15
+ C3 OK - no planned outage blocks the window
16
+ C4 OK - requested MW fits within the export window
17
+ C5 OK - serialized insight omits sensitive telemetry terms
18
+ C6 OK - aggregate excludes core temperature, rod position, neutron flux, and operator IDs
19
+ C7 OK - policy allows use for electrolysis dispatch before expiry
20
+ C8 OK - policy prohibits redistribution for market resale
21
+ C9 OK - scope is explicit: device, event, start, and expiry
22
+ C10 OK - dispatch plan matches the requested load and power
@@ -1 +1,3 @@
1
- ACTION: apply GoldDiscount and send invoice reminder (opt-in confirmed).
1
+ # interop-demo
2
+
3
+ ACTION: apply GoldDiscount and send invoice reminder (opt-in confirmed).
@@ -0,0 +1,16 @@
1
+ # matrix-mechanics
2
+
3
+ ## Answer
4
+ In this toy matrix-mechanics model, the Hamiltonian has two discrete energy levels and does not commute with a second observable.
5
+
6
+ ## Reason Why
7
+ H = [[1,0],[0,2]]
8
+ X = [[0,1],[1,0]]
9
+ HX = [[0,1],[2,0]]
10
+ XH = [[0,2],[1,0]]
11
+ [H,X] = [[0,-1],[1,0]]
12
+
13
+ ## Check
14
+ trace/determinant match energy levels: yes
15
+ X^2 = I : yes
16
+ [H,X] != 0 : yes
@@ -0,0 +1,34 @@
1
+ # medior
2
+
3
+ ## Answer
4
+ Name: Medior
5
+ Region: Flanders
6
+ Metric: post_discharge_coordination_priority
7
+ Active need count: 4/3
8
+ Recommended package: Medior Continuity Pulse
9
+ Budget cap: €5
10
+ Package cost: €4
11
+ Payload SHA-256: b5fec8971d6c5e313a1387f08151f1c3203effce05d6455469c9f63305be05ae
12
+ Envelope HMAC-SHA-256: 072f4c2774ce362e660649d145c9d784e5e95d63d24d4057b119a419c6ba34dc
13
+
14
+ ## Reason Why
15
+ RenalSafetyConcern holds because eGFR = 52 and the threshold is < 60.
16
+ PolypharmacyRisk holds because the active medication count is 9 and the threshold is ≥ 8.
17
+ ReadmissionHistory holds because admissionsLast180Days = 2 and the threshold is ≥ 1.
18
+ RecentDischargeWindow holds because hoursSinceDischarge = 18 and the threshold is ≤ 48.
19
+ The recommendation rule selects the least-cost package that covers every active need and remains within budget.
20
+ The selected package is "Medior Continuity Pulse" with cost €4, touches=3.
21
+ Use is permitted only for purpose "care_coordination" and expires at 2026-04-11T08:00:00+00:00.
22
+
23
+ ## Check
24
+ - PASS: payloadHashMatches
25
+ - PASS: signatureVerifies
26
+ - PASS: thresholdReached
27
+ - PASS: scopeComplete
28
+ - PASS: minimizationRespected
29
+ - PASS: authorizationAllowed
30
+ - PASS: dutyTimely
31
+ - PASS: insurancePricingProhibited
32
+ - PASS: packageWithinBudget
33
+ - PASS: packageCoversAllActiveNeeds
34
+ - PASS: lowestCostEligiblePackageChosen