eyeling 1.24.7 → 1.24.8

package/examples/output/flandor.txt

@@ -1,31 +0,0 @@
-=== Answer ===
-Name: Flandor
-Region: Flanders
-Metric: regional_retooling_priority
-Active need count: 3/3
-Recommended package: Flandor Retooling Pulse
-Budget cap: €140M
-Package cost: €120M
-Payload SHA-256: 718f5b17d07ab6a95503bc04a1000ddb132409f600659c03d21def81914b780b
-Envelope HMAC-SHA-256: 955968ca99a191783bc00cba068128ccb9ff40a5e6114fda13a52c74ee27329e
-
-=== Reason Why ===
-Export weakness is active because at least one cluster has exportOrdersIndex < 90 (Antwerp chemicals=84, Ghent manufacturing=87).
-Skills strain is active because technical vacancy rate is 4.6% (threshold > 3.9%).
-Grid stress is active because congestion hours = 19 (threshold > 11).
-The recommendation policy is "lowest_cost_package_covering_all_active_needs", so the cheapest package that covers all active needs within budget is selected.
-Selected package "Flandor Retooling Pulse" covers export=true, skills=true, grid=true, cost=€120M.
-Usage is permitted only for purpose "regional_stabilization" and the envelope expires at 2026-04-08T19:00:00+00:00.
-
-=== Check ===
-- PASS: payload hash matches
-- PASS: hmac matches
-- PASS: threshold reached
-- PASS: scope complete
-- PASS: minimization respected
-- PASS: authorized purpose allowed
-- PASS: deletion duty still on time
-- PASS: surveillance reuse prohibited
-- PASS: package exists within budget
-- PASS: package covers all active needs
-- PASS: lowest-cost eligible package chosen

package/examples/output/genetic-algorithm-knapsack.txt

@@ -1 +0,0 @@
-Knapsack GA best genome 101000000101 (feasible=true): weight=50 value=101 after 4 generations.

package/examples/output/genetic-algorithm.txt

@@ -1 +0,0 @@
-GA evolved 11111101010 -> 2026 in 8 generations.

package/examples/output/genetic-knapsack-selection.n3

@@ -1,3 +0,0 @@
-@prefix : <https://eyereasoner.github.io/eyeling/examples/genetic-knapsack-selection#> .
-
-:geneticKnapsackSelection :selects :FinalLocal .

package/examples/output/harborsmr.txt

@@ -1,20 +0,0 @@
-HarborSMR — bounded flexible-export insight for port electrolysis
-
-Answer
-PERMIT
-The port hydrogen hub may use the SMR insight to run PEM electrolyzer train 2 at 16 MW from 14:00 to 18:00.
-
-Reason Why
-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.
-
-Check
-C1  OK - reserve margin exceeds the dispatch threshold
-C2  OK - cooling margin exceeds the dispatch threshold
-C3  OK - no planned outage blocks the window
-C4  OK - requested MW fits within the export window
-C5  OK - serialized insight omits sensitive telemetry terms
-C6  OK - aggregate excludes core temperature, rod position, neutron flux, and operator IDs
-C7  OK - policy allows use for electrolysis dispatch before expiry
-C8  OK - policy prohibits redistribution for market resale
-C9  OK - scope is explicit: device, event, start, and expiry
-C10 OK - dispatch plan matches the requested load and power

package/examples/output/matrix-mechanics.txt

@@ -1,14 +0,0 @@
-=== Answer ===
-In this toy matrix-mechanics model, the Hamiltonian has two discrete energy levels and does not commute with a second observable.
-
-=== Reason Why ===
-H = [[1,0],[0,2]]
-X = [[0,1],[1,0]]
-HX = [[0,1],[2,0]]
-XH = [[0,2],[1,0]]
-[H,X] = [[0,-1],[1,0]]
-
-=== Check ===
-trace/determinant match energy levels: yes
-X^2 = I : yes
-[H,X] != 0 : yes

package/examples/output/medior.txt

@@ -1,32 +0,0 @@
-=== Answer ===
-Name: Medior
-Region: Flanders
-Metric: post_discharge_coordination_priority
-Active need count: 4/3
-Recommended package: Medior Continuity Pulse
-Budget cap: €5
-Package cost: €4
-Payload SHA-256: b5fec8971d6c5e313a1387f08151f1c3203effce05d6455469c9f63305be05ae
-Envelope HMAC-SHA-256: 072f4c2774ce362e660649d145c9d784e5e95d63d24d4057b119a419c6ba34dc
-
-=== Reason Why ===
-RenalSafetyConcern holds because eGFR = 52 and the threshold is < 60.
-PolypharmacyRisk holds because the active medication count is 9 and the threshold is ≥ 8.
-ReadmissionHistory holds because admissionsLast180Days = 2 and the threshold is ≥ 1.
-RecentDischargeWindow holds because hoursSinceDischarge = 18 and the threshold is ≤ 48.
-The recommendation rule selects the least-cost package that covers every active need and remains within budget.
-The selected package is "Medior Continuity Pulse" with cost €4, touches=3.
-Use is permitted only for purpose "care_coordination" and expires at 2026-04-11T08:00:00+00:00.
-
-=== Check ===
-- PASS: payloadHashMatches
-- PASS: signatureVerifies
-- PASS: thresholdReached
-- PASS: scopeComplete
-- PASS: minimizationRespected
-- PASS: authorizationAllowed
-- PASS: dutyTimely
-- PASS: insurancePricingProhibited
-- PASS: packageWithinBudget
-- PASS: packageCoversAllActiveNeeds
-- PASS: lowestCostEligiblePackageChosen

package/examples/output/n3-speaks-for-itself.txt

@@ -1,52 +0,0 @@
-@prefix : <https://example.org/n3-speaks#> .
-@prefix foaf: <http://xmlns.com/foaf/0.1/> .
-@prefix id: <https://example.org/id/> .
-
-:report :aliceReaches id:bob .
-:report :aliceReaches id:carol .
-:report :aliceReaches id:dave .
-:report :believes {
-    id:alice foaf:knows id:bob .
-} .
-:report :believes {
-    id:alice foaf:name "Alice" .
-} .
-:report :believes {
-    id:bob foaf:knows id:carol .
-} .
-:report :believes {
-    id:bob foaf:name "Bob" .
-} .
-:report :believes {
-    id:carol foaf:knows id:dave .
-} .
-:report :believes {
-    id:carol foaf:name "Carol" .
-} .
-:report :believes {
-    id:dave foaf:name "Dave" .
-} .
-:report :trusts <https://alice.example/profile.n3> .
-:report :trusts <https://bob.example/profile.n3> .
-:report :trusts <https://carol.example/profile.n3> .
-{
-    id:alice foaf:knows id:bob .
-} :believedFromDoc <https://alice.example/profile.n3> .
-{
-    id:alice foaf:name "Alice" .
-} :believedFromDoc <https://alice.example/profile.n3> .
-{
-    id:bob foaf:knows id:carol .
-} :believedFromDoc <https://bob.example/profile.n3> .
-{
-    id:bob foaf:name "Bob" .
-} :believedFromDoc <https://bob.example/profile.n3> .
-{
-    id:carol foaf:knows id:dave .
-} :believedFromDoc <https://carol.example/profile.n3> .
-{
-    id:carol foaf:name "Carol" .
-} :believedFromDoc <https://carol.example/profile.n3> .
-{
-    id:dave foaf:name "Dave" .
-} :believedFromDoc <https://carol.example/profile.n3> .

package/examples/output/parcellocker.txt

@@ -1,20 +0,0 @@
-ParcelLocker — One-time parcel pickup by a friend
-
-Answer
-PERMIT
-Noah may collect Maya's parcel from locker B17.
-
-Reason Why
-Maya created a one-time authorization for Noah only, for this parcel only, at this locker only, and for pickup only. The token is active, the parcel is ready, and the same authorization does not reveal billing details or allow redirection.
-
-Check
-C1  OK - requester matches the named delegate
-C2  OK - requested parcel matches the authorized parcel
-C3  OK - requested locker matches the authorized locker
-C4  OK - requested action is parcel collection
-C5  OK - requested purpose is pickup only
-C6  OK - authorization is active
-C7  OK - authorization is single-use
-C8  OK - parcel is ready for pickup
-C9  OK - billing details stay hidden
-C10 OK - parcel redirection is not allowed

package/examples/output/pn-junction-tunneling.txt

@@ -1,23 +0,0 @@
-=== Answer ===
-In this toy PN-junction tunneling model, heavy doping narrows the depletion region enough for a tunneling window that rises to a peak and then falls, producing a negative-differential region.
-case                          : pn-junction-tunneling
-peak bias                     : 2
-peak current proxy            : 4
-negative differential region  : yes
-
-=== Reason Why ===
-We model tunneling current as an exact overlap count between filled N-side states and empty P-side states while forward bias shifts the bands. Heavy doping is represented by a much narrower depletion region.
-ordinary depletion width (nm) : 8
-tunnel depletion width (nm)   : 1
-filled N-side states          : [1, 2, 3, 4]
-empty P-side states at 0 bias : [3, 4, 5, 6]
-bias -> overlap current proxy : 0->2, 1->3, 2->4, 3->3, 4->2, 5->1, 6->0
-peak point                    : 2 -> 4
-high-bias point               : 6 -> 0
-
-=== Check ===
-heavily doped barrier is narrower : yes
-peak occurs before overlap closes : yes
-negative differential region present : yes
-high-bias overlap closes           : yes
-peak equals full four-state overlap: yes

package/examples/output/queens.txt

@@ -1,21 +0,0 @@
-Solving 14-Queens...
-Printing at most 1 solution(s).
-
-Solution 1:
-Q . . . . . . . . . . . . .
-. . Q . . . . . . . . . . .
-. . . . Q . . . . . . . . .
-. . . . . . Q . . . . . . .
-. . . . . . . . . . . Q . .
-. . . . . . . . . Q . . . .
-. . . . . . . . . . . . Q .
-. . . Q . . . . . . . . . .
-. . . . . . . . . . . . . Q
-. . . . . . . . Q . . . . .
-. Q . . . . . . . . . . . .
-. . . . . Q . . . . . . . .
-. . . . . . . Q . . . . . .
-. . . . . . . . . . Q . . .
-As column positions by row: [1, 3, 5, 7, 12, 10, 13, 4, 14, 9, 2, 6, 8, 11]
-
-Total solutions for 14-Queens: 365596

package/examples/output/rc-discharge-envelope.n3

@@ -1,9 +0,0 @@
-=== Answer ===
-exact decay symbol : exp(-1/4)
-certified decay interval : [0.7788007830, 0.7788007831]
-first below tolerance step : 13
-first below tolerance time : 0.325 s
-upper voltage at step 13 : 0.930581 V
-
-=== Explanation ===
-The physical decay factor is exp(-1/4), but the example uses a finite double interval as the certificate. Because the interval lies strictly between 0 and 1, the capacitor voltage envelope contracts each sample. The upper envelope is the safety-relevant bound: once it falls below 1.0 V, every compatible exact trajectory is below tolerance.

package/examples/output/rdf-dataset.n3

@@ -1,5 +0,0 @@
-VERSION "1.2"
-
-@prefix : <https://eyereasoner.github.io/eyeling/examples/rdf-dataset#> .
-
-:workOrder :entails <<( :sensor :needs :inspection )>> .

package/examples/output/rdf-message-flow.n3

@@ -1,7 +0,0 @@
-@prefix : <https://eyereasoner.github.io/eyeling/examples/rdf-message-flow#> .
-
-:rdfMessageFlowExample :demonstrates :ContinuousFlow .
-:rdfMessageFlowExample :demonstrates :BackPressureRelease .
-:rdfMessageFlowExample :demonstrates :AtomicMessageContext .
-:rdfMessageFlowExample :demonstrates :HeartbeatInFlow .
-:rdfMessageFlowExample :demonstrates :ThresholdRouting .

package/examples/output/rdf-messages.n3

@@ -1,7 +0,0 @@
-@prefix : <https://eyereasoner.github.io/eyeling/examples/rdf-messages#> .
-
-:rdfMessagesExample :demonstrates :ExplicitBoundaries .
-:rdfMessagesExample :demonstrates :AtomicMessageContext .
-:rdfMessagesExample :demonstrates :EmptyHeartbeat .
-:rdfMessagesExample :demonstrates :MessageScopedBlankNodes .
-:rdfMessagesExample :demonstrates :ReplayableMessageLog .

package/examples/output/school-placement-audit.n3

@@ -1,3 +0,0 @@
-@prefix : <https://eyereasoner.github.io/eyeling/examples/school-placement-audit#> .
-
-:schoolPlacementAudit :reports :Audit .

package/examples/output/smoke-arithmetic.n3

@@ -1,5 +0,0 @@
-=== Answer ===
-product = 42
-
-=== Explanation ===
-The compiled rule multiplies :x and :y using math:product.

package/examples/output/smoke-arithmetic.txt

@@ -1,5 +0,0 @@
-=== Answer ===
-product = 42
-
-=== Explanation ===
-The compiled rule multiplies :x and :y using math:product.

package/examples/output/sqrt2-cauchy.txt

@@ -1,13 +0,0 @@
-Approximation (at limit): sqrt2 ≈ 1.414213562373095
-n=0  x=1.0  delta=seed  err=1
-n=1  x=1.5  delta=0.5  err=0.25
-n=2  x=1.4166666666666665  delta=0.08333333333333348  err=0.006944444444444198
-n=3  x=1.4142156862745097  delta=0.002450980392156854  err=0.000006007304882427178
-n=4  x=1.4142135623746899  delta=0.0000021238998197947723  err=4.510614104447086e-12
-n=5  x=1.414213562373095  delta=1.5949463971764999e-12  err=4.440892098500626e-16
-n=6  x=1.414213562373095  delta=0  err=4.440892098500626e-16
-n=7  x=1.414213562373095  delta=0  err=4.440892098500626e-16
-n=8  x=1.414213562373095  delta=0  err=4.440892098500626e-16
-n=9  x=1.414213562373095  delta=0  err=4.440892098500626e-16
-n=10  x=1.414213562373095  delta=0  err=4.440892098500626e-16
-Tail check: for i,j in (4..10), all |x_i - x_j| < 0.0001 (finite check)

package/examples/output/sqrt2-dedekind.txt

@@ -1,31 +0,0 @@
-q=-2  q^2=4  => LEFT (q<0 OR q^2<2)
-q=-1  q^2=1  => LEFT (q<0 OR q^2<2)
-q=-0.5  q^2=0.25  => LEFT (q<0 OR q^2<2)
-q=-0.1  q^2=0.010000000000000002  => LEFT (q<0 OR q^2<2)
-q=0  q^2=0  => LEFT (q<0 OR q^2<2)
-q=0.5  q^2=0.25  => LEFT (q<0 OR q^2<2)
-q=1  q^2=1  => LEFT (q<0 OR q^2<2)
-q=1.3  q^2=1.6900000000000002  => LEFT (q<0 OR q^2<2)
-q=1.4  q^2=1.9599999999999997  => LEFT (q<0 OR q^2<2)
-q=1.41  q^2=1.9880999999999998  => LEFT (q<0 OR q^2<2)
-q=1.414  q^2=1.9993959999999997  => LEFT (q<0 OR q^2<2)
-q=1.4142  q^2=1.9999616399999998  => LEFT (q<0 OR q^2<2)
-q=1.4143  q^2=2.0002444899999996  => RIGHT (q>=0 AND q^2>=2)
-q=1.42  q^2=2.0164  => RIGHT (q>=0 AND q^2>=2)
-q=1.5  q^2=2.25  => RIGHT (q>=0 AND q^2>=2)
-q=2  q^2=4  => RIGHT (q>=0 AND q^2>=2)
-successor: from -2 to -1   (s^2=1)
-successor: from -1 to -0.5   (s^2=0.25)
-successor: from -0.5 to -0.25   (s^2=0.0625)
-successor: from -0.1 to -0.05   (s^2=0.0025000000000000005)
-successor: from 0 to 1   (s^2=1)
-successor: from 0.5 to 1.2   (s^2=1.44)
-successor: from 1 to 1.3333333333333333   (s^2=1.7777777777777777)
-successor: from 1.3 to 1.393939393939394   (s^2=1.9430670339761251)
-successor: from 1.4 to 1.411764705882353   (s^2=1.9930795847750868)
-successor: from 1.41 to 1.4134897360703813   (s^2=1.9979532339763162)
-successor: from 1.414 to 1.4141769185705917   (s^2=1.9998963570178139)
-successor: from 1.4142 to 1.4142112354285044   (s^2=1.9999934184122166)
-Check: cut is proper on the sample (has LEFT and RIGHT witnesses)
-Check: downward-closed on the sample (finite for-all test)
-Check: no maximal element witnessed for all LEFT seed members (constructive successors)

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

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

package/examples/output/transistor-switch.txt

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

package/examples/output/triple-terms.n3

@@ -1,5 +0,0 @@
-VERSION "1.2"
-
-@prefix : <https://eyereasoner.github.io/eyeling/examples/triple_terms#> .
-
-:observation :entails <<( :sensor :needs :inspection )>> .