eyeling 1.32.0 → 1.33.0

package/examples/eyelang/output/bayes-diagnosis.pl

@@ -0,0 +1,13 @@
+evidenceTotal(case, 0.0016436300000000003).
+result(case, result(covid19)).
+result(case, result(influenza)).
+result(case, result(allergicRhinitis)).
+result(case, result(bacterialPneumonia)).
+disease(result(covid19), covid19).
+disease(result(influenza), influenza).
+disease(result(allergicRhinitis), allergicRhinitis).
+disease(result(bacterialPneumonia), bacterialPneumonia).
+unnormalized(result(covid19), 0.0015470000000000002).
+unnormalized(result(influenza), 0.000048000000000000015).
+unnormalized(result(allergicRhinitis), 7.499999999999999e-7).
+unnormalized(result(bacterialPneumonia), 0.000047879999999999996).

package/examples/eyelang/output/bayes-therapy.pl

@@ -0,0 +1,23 @@
+utility(paxlovid, 3.5851740117076503).
+utility(oseltamivir, 2.6114101258814744).
+utility(antihistamine, 0.91268919364852963).
+utility(antibiotic, 0.89952579796093612).
+utility(supportiveCare, 2.8851195397013814).
+scores(case, [0.0092820000000000021, 0.008208, 0.00012824999999999997, 0.00156408]).
+evidenceTotal(case, 0.019182330000000004).
+posteriors(case, [0.48388282341092037, 0.42789379600913957, 0.0066858405626428041, 0.081537540017297155]).
+posterior(covid19, 0.48388282341092037).
+posterior(influenza, 0.42789379600913957).
+posterior(allergicRhinitis, 0.0066858405626428041).
+posterior(bacterialPneumonia, 0.081537540017297155).
+expectedSuccess(paxlovid, 0.388517401170765).
+expectedSuccess(oseltamivir, 0.28514101258814745).
+expectedSuccess(antihistamine, 0.10026891936485297).
+expectedSuccess(antibiotic, 0.1109525797960936).
+expectedSuccess(supportiveCare, 0.29151195397013813).
+expectedAdverse(paxlovid, 0.10).
+expectedAdverse(oseltamivir, 0.08).
+expectedAdverse(antihistamine, 0.03).
+expectedAdverse(antibiotic, 0.07).
+expectedAdverse(supportiveCare, 0.01).
+recommendedTherapy(case, paxlovid).

package/examples/eyelang/output/beam-deflection.pl

@@ -0,0 +1,5 @@
+type(beam1, cantilever_beam).
+tipDeflection_m(beam1, 0.00390625).
+tipDeflection_mm(beam1, 3.90625).
+limit_mm(beam1, 5.0).
+status(beam1, within_deflection_limit).

package/examples/eyelang/output/blocks-world-planning.pl

@@ -0,0 +1,4 @@
+status(blocks_world, planned).
+plan(blocks_world, [move(e, d, table), move(d, c, table), move(c, b, table), move(d, table, c), move(e, table, d)]).
+finalState(blocks_world, [on(a, table), on(b, a), on(c, table), on(d, c), on(e, d)]).
+blockCount(blocks_world, 5).

package/examples/eyelang/output/bmi.pl

@@ -0,0 +1,32 @@
+weightKg(case, 72.0).
+heightM(case, 1.78).
+units(reason, "Inputs were already metric, so kilograms stay kilograms and centimeters are divided by 100 to obtain meters.").
+heightSquared(case, 3.1684000000000001).
+bmi(case, 22.724403484408533).
+bmi(answer, 22.72).
+bmiRoundedInt(case, 2272).
+healthyMinKg(case, 58.615400000000001).
+healthyMinKg(answer, 58.6).
+healthyMaxKg(case, 78.893159999999995).
+healthyMaxKg(answer, 78.9).
+healthyMinKgRoundedInt(case, 586).
+healthyMaxKgRoundedInt(case, 789).
+category(decision, "Normal").
+category(answer, "Normal").
+heightCm(answer, 178).
+heightCm(report, 178).
+formula(reason, "BMI is defined as weight in kilograms divided by height in meters squared.").
+calculation(reason, "The normalized weight and height were used to compute BMI, then the result was mapped to the WHO adult category table.").
+categoryRule(reason, "Normal").
+unitsExplanation(reason, "Inputs were already metric, so kilograms stay kilograms and centimeters are divided by 100 to obtain meters.").
+c1(check, "OK - the input was normalized into positive SI values.").
+c2(check, "OK - height squared was reconstructed from the normalized height.").
+c3(check, "OK - the BMI value matches the BMI = kg / m² formula.").
+c4(check, "OK - a BMI of 18.49 stays below the normal-weight threshold.").
+c5(check, "OK - the lower boundary is half-open: BMI 18.5 is classified as Normal.").
+c6(check, "OK - BMI 25.0 starts the Overweight category.").
+c7(check, "OK - BMI 30.0 starts the Obesity I category.").
+c8(check, "OK - classification behavior is monotonic across representative BMI values.").
+c9(check, "OK - the healthy-weight band was reconstructed from BMI 18.5 to 24.9 at the same height.").
+result(report, bmi(22.72, "Normal")).
+healthyWeightRangeKg(report, range(58.6, 78.9)).

package/examples/eyelang/output/braking-safety-worlds.pl

@@ -0,0 +1,18 @@
+safeInWorld(city_dry, w0).
+safeInWorld(city_dry, w1).
+safeInWorld(city_dry, w2).
+safeInWorld(city_dry, w3).
+safeInWorld(highway_dry_short_gap, w1).
+safeInWorld(highway_dry_short_gap, w2).
+safeInWorld(city_wet, w0).
+safeInWorld(city_wet, w1).
+safeInWorld(city_wet, w2).
+safeInWorld(city_ice, w2).
+riskyInWorld(highway_dry_short_gap, w0).
+riskyInWorld(highway_dry_short_gap, w3).
+riskyInWorld(city_wet, w3).
+riskyInWorld(city_ice, w0).
+riskyInWorld(city_ice, w1).
+riskyInWorld(city_ice, w3).
+status(braking_safety_worlds, expected_world_pattern).
+reason(braking_safety_worlds, "simplified and naive worlds can be optimistic while the cautious world tightens the reference model").

package/examples/eyelang/output/buck-converter-design.pl

@@ -0,0 +1,6 @@
+dutyCycle(regulator1, 0.20833333333333334).
+inductorRipple_A(regulator1, 0.35984848484848486).
+rippleRatio(regulator1, 0.17992424242424243).
+capacitorRipple_V(regulator1, 0.0019140876853642812).
+status(regulator1, stable_ripple_design).
+reason(regulator1, "inductor-current and output-voltage ripple are below design limits").

package/examples/eyelang/output/cache-performance.pl

@@ -0,0 +1,4 @@
+hitRate(api_cache, 0.85999999999999999).
+averageLatency_ms(api_cache, 15.5).
+status(api_cache, cache_effective).
+reason(api_cache, "hit rate is above target and average latency is below limit").

package/examples/eyelang/output/canary-release.pl

@@ -0,0 +1,5 @@
+errorRate(canary42, 0.014999999999999999).
+p95Latency_ms(canary42, 180.0).
+latencyCheck(canary42, ok).
+status(canary42, rollback_recommended).
+reason(canary42, "canary error rate exceeds the allowed budget").

package/examples/eyelang/output/cat-koko.pl

@@ -0,0 +1,3 @@
+type(sk_0, cat).
+type(sk_1, british_short_hair).
+is(test, true).

package/examples/eyelang/output/clinical-trial-screening.pl

@@ -0,0 +1,9 @@
+type(p001, trial_candidate).
+status(p001, eligible).
+status(p002, screen_fail).
+status(p003, screen_fail).
+status(p004, screen_fail).
+reason(p001, "meets inclusion criteria and no listed exclusion").
+reason(p002, "eGFR below renal safety threshold").
+reason(p003, "pregnancy exclusion applies").
+reason(p004, "HbA1c is outside protocol range").