eyeling 1.34.5 → 2.34.7

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

@@ -1,13 +0,0 @@
-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

@@ -1,23 +0,0 @@
-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

@@ -1,5 +0,0 @@
-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

@@ -1,4 +0,0 @@
-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

@@ -1,32 +0,0 @@
-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

@@ -1,18 +0,0 @@
-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

@@ -1,6 +0,0 @@
-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

@@ -1,4 +0,0 @@
-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

@@ -1,5 +0,0 @@
-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

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

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

@@ -1,9 +0,0 @@
-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").

package/examples/eyelang/output/combinatorics-findall-sort.pl

@@ -1,2 +0,0 @@
-combinations(combinations_5_choose_3, [[1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 5], [2, 3, 4], [2, 3, 5], [2, 4, 5], [3, 4, 5]]).
-count(combinations_5_choose_3, 10).

package/examples/eyelang/output/competitive-enzyme-kinetics.pl

@@ -1,6 +0,0 @@
-effectiveKm_uM(assay1, 90.0).
-uninhibitedRate_uM_s(assay1, 75.0).
-inhibitedRate_uM_s(assay1, 42.857142857142854).
-inhibitionFraction(assay1, 0.4285714285714286).
-status(assay1, significant_inhibition).
-reason(assay1, "competitive inhibitor raises effective Km and lowers reaction rate").

package/examples/eyelang/output/complex.pl

@@ -1 +0,0 @@
-is(test, (complex_exponentiation(input(exponentiation, [-1, 0], [0.5, 0]), [6.123233995736766e-17, 1.0]), complex_exponentiation(input(exponentiation, [2.718281828459045, 0], [0, 3.141592653589793]), [-1.0, 1.2246467991473532e-16]), complex_exponentiation(input(exponentiation, [0, 1], [0, 1]), [0.20787957635076193, 0.0]), complex_exponentiation(input(exponentiation, [2.718281828459045, 0], [-1.57079632679, 0]), [0.20787957635177984, 0.0]), complex_asin(input(asin, [2, 0]), [1.5707963267948966, 1.3169578969248166]), complex_acos(input(acos, [2, 0]), [0.0, -1.3169578969248166]))).

package/examples/eyelang/output/composition-of-injective-functions-is-injective.pl

@@ -1,2 +0,0 @@
-sameInputByCompositeInjectivity(h, a, b).
-sameInputByCompositeInjectivity(h, b, a).

package/examples/eyelang/output/context-association.pl

@@ -1,3 +0,0 @@
-dataGraph(association, skolem_g0).
-signatureGraph(association, skolem_g1).
-metadataGraph(association, g3).

package/examples/eyelang/output/context-schema-audit.pl

@@ -1,12 +0,0 @@
-context_shape(msg_ok, heartbeat, 0).
-context_shape(msg_ok, source, 1).
-context_shape(msg_ok, temperature, 2).
-context_shape(msg_ok, gps, 3).
-context_shape(msg_ok, signature, 4).
-context_shape(msg_bad, heartbeat, 0).
-context_shape(msg_bad, source, 1).
-context_shape(msg_bad, temperature, 2).
-context_shape(msg_bad, gps, 2).
-context_shape(msg_bad, tampered, 1).
-schema_violation(msg_bad, gps, 2).
-schema_violation(msg_bad, tampered, 1).

package/examples/eyelang/output/control-system.pl

@@ -1,6 +0,0 @@
-log10(disturbance1, 4.5534703722131207).
-controlSignal(actuator1, 39.273461986782763).
-controlSignal(actuator2, 26.079999999999998).
-status(actuator1, active).
-status(actuator2, active).
-normalizedMeasurement(input1, 2.2360679774997898).

package/examples/eyelang/output/cyclic-path.pl

@@ -1,16 +0,0 @@
-path(a, b).
-path(b, c).
-path(c, d).
-path(d, a).
-path(a, c).
-path(a, d).
-path(a, a).
-path(b, d).
-path(b, a).
-path(b, b).
-path(c, a).
-path(c, b).
-path(c, c).
-path(d, b).
-path(d, c).
-path(d, d).

package/examples/eyelang/output/d3-group.pl

@@ -1,2 +0,0 @@
-subgroups(d3_group, [[identity], [identity, reflection_a], [identity, reflection_a, reflection_b, reflection_c, rotation_120, rotation_240], [identity, reflection_b], [identity, reflection_c], [identity, rotation_120, rotation_240]]).
-subgroupCount(d3_group, 6).

package/examples/eyelang/output/dairy-energy-balance.pl

@@ -1,13 +0,0 @@
-status(early_lactation, negative_energy_balance).
-status(grazing, negative_energy_balance).
-status(mid_lactation, near_neutral_energy_balance).
-status(late_lactation, positive_energy_balance).
-energyBalance_Mcal(early_lactation, -101.19999999999999).
-energyBalance_Mcal(mid_lactation, 0.19999999999998863).
-energyBalance_Mcal(late_lactation, 41.099999999999994).
-energyBalance_Mcal(grazing, -11.399999999999991).
-rationSupportedMilk_kg(early_lactation, 17.760000000000002).
-rationSupportedMilk_kg(mid_lactation, 24.039999999999999).
-rationSupportedMilk_kg(late_lactation, 24.219999999999999).
-rationSupportedMilk_kg(grazing, 15.719999999999999).
-strongestDeficit(dairy_energy_balance, early_lactation).

package/examples/eyelang/output/data-negotiation.pl

@@ -1 +0,0 @@
-negotiate(agent1, [agent2, data4]).

package/examples/eyelang/output/deep-taxonomy-10.pl

@@ -1,16 +0,0 @@
-is(test, true).
-arc(check1, "C1 OK - the starting classification n0 is present.").
-arc(check2, "C2 OK - the first expansion produced n1 together with side labels i1 and j1.").
-arc(check3, "C3 OK - the chain reaches the midpoint n5 and still carries both side-label branches.").
-arc(check4, "C4 OK - the final taxonomy step from n9 to n10 was completed.").
-arc(check5, "C5 OK - once n10 is reached, the terminal class a2 is derived.").
-arc(check6, "C6 OK - the success flag is raised only after the terminal class a2 is present.").
-answer(report, "The test succeeds: starting from one individual classified as n0, the rules eventually classify it as n10 and then as a2.").
-reason(report, "The adjacent rules mirror the Eyeling N3 deep-taxonomy-10 chain. Redundant checkpoint rules are included only as proof accelerators: each shortcut is entailed by the adjacent chain, and once/1 prevents backtracking into the long adjacent-only proof after a check has succeeded.").
-checkPassed(report, check1).
-checkPassed(report, check2).
-checkPassed(report, check3).
-checkPassed(report, check4).
-checkPassed(report, check5).
-checkPassed(report, check6).
-result(report, success).

package/examples/eyelang/output/deep-taxonomy-100.pl

@@ -1,16 +0,0 @@
-is(test, true).
-arc(check1, "C1 OK - the starting classification n0 is present.").
-arc(check2, "C2 OK - the first expansion produced n1 together with side labels i1 and j1.").
-arc(check3, "C3 OK - the chain reaches the midpoint n50 and still carries both side-label branches.").
-arc(check4, "C4 OK - the final taxonomy step from n99 to n100 was completed.").
-arc(check5, "C5 OK - once n100 is reached, the terminal class a2 is derived.").
-arc(check6, "C6 OK - the success flag is raised only after the terminal class a2 is present.").
-answer(report, "The test succeeds: starting from one individual classified as n0, the rules eventually classify it as n100 and then as a2.").
-reason(report, "The adjacent rules mirror the Eyeling N3 deep-taxonomy-100 chain. Redundant checkpoint rules are included only as proof accelerators: each shortcut is entailed by the adjacent chain, and once/1 prevents backtracking into the long adjacent-only proof after a check has succeeded.").
-checkPassed(report, check1).
-checkPassed(report, check2).
-checkPassed(report, check3).
-checkPassed(report, check4).
-checkPassed(report, check5).
-checkPassed(report, check6).
-result(report, success).

package/examples/eyelang/output/deep-taxonomy-1000.pl

@@ -1,16 +0,0 @@
-is(test, true).
-arc(check1, "C1 OK - the starting classification n0 is present.").
-arc(check2, "C2 OK - the first expansion produced n1 together with side labels i1 and j1.").
-arc(check3, "C3 OK - the chain reaches the midpoint n500 and still carries both side-label branches.").
-arc(check4, "C4 OK - the final taxonomy step from n999 to n1000 was completed.").
-arc(check5, "C5 OK - once n1000 is reached, the terminal class a2 is derived.").
-arc(check6, "C6 OK - the success flag is raised only after the terminal class a2 is present.").
-answer(report, "The test succeeds: starting from one individual classified as n0, the rules eventually classify it as n1000 and then as a2.").
-reason(report, "The adjacent rules mirror the Eyeling N3 deep-taxonomy-1000 chain. Redundant checkpoint rules are included only as proof accelerators: each shortcut is entailed by the adjacent chain, and once/1 prevents backtracking into the long adjacent-only proof after a check has succeeded.").
-checkPassed(report, check1).
-checkPassed(report, check2).
-checkPassed(report, check3).
-checkPassed(report, check4).
-checkPassed(report, check5).
-checkPassed(report, check6).
-result(report, success).

package/examples/eyelang/output/deep-taxonomy-10000.pl

@@ -1,16 +0,0 @@
-is(test, true).
-arc(check1, "C1 OK - the starting classification n0 is present.").
-arc(check2, "C2 OK - the first expansion produced n1 together with side labels i1 and j1.").
-arc(check3, "C3 OK - the chain reaches the midpoint n5000 and still carries both side-label branches.").
-arc(check4, "C4 OK - the final taxonomy step from n9999 to n10000 was completed.").
-arc(check5, "C5 OK - once n10000 is reached, the terminal class a2 is derived.").
-arc(check6, "C6 OK - the success flag is raised only after the terminal class a2 is present.").
-answer(report, "The test succeeds: starting from one individual classified as n0, the rules eventually classify it as n10000 and then as a2.").
-reason(report, "The adjacent rules mirror the Eyeling N3 deep-taxonomy-10000 chain. Redundant checkpoint rules are included only as proof accelerators: each shortcut is entailed by the adjacent chain, and once/1 prevents backtracking into the long adjacent-only proof after a check has succeeded.").
-checkPassed(report, check1).
-checkPassed(report, check2).
-checkPassed(report, check3).
-checkPassed(report, check4).
-checkPassed(report, check5).
-checkPassed(report, check6).
-result(report, success).

package/examples/eyelang/output/deep-taxonomy-100000.pl

@@ -1,16 +0,0 @@
-is(test, true).
-arc(check1, "C1 OK - the starting classification n0 is present.").
-arc(check2, "C2 OK - the first expansion produced n1 together with side labels i1 and j1.").
-arc(check3, "C3 OK - the chain reaches the midpoint n50000 and still carries both side-label branches.").
-arc(check4, "C4 OK - the final taxonomy step from n99999 to n100000 was completed.").
-arc(check5, "C5 OK - once n100000 is reached, the terminal class a2 is derived.").
-arc(check6, "C6 OK - the success flag is raised only after the terminal class a2 is present.").
-answer(report, "The test succeeds: starting from one individual classified as n0, the rules eventually classify it as n100000 and then as a2.").
-reason(report, "The adjacent rules mirror the Eyeling N3 deep-taxonomy-100000 chain. Redundant checkpoint rules are included only as proof accelerators: each shortcut is entailed by the adjacent chain, and once/1 prevents backtracking into the long adjacent-only proof after a check has succeeded.").
-checkPassed(report, check1).
-checkPassed(report, check2).
-checkPassed(report, check3).
-checkPassed(report, check4).
-checkPassed(report, check5).
-checkPassed(report, check6).
-result(report, success).

package/examples/eyelang/output/delfour.pl

@@ -1,31 +0,0 @@
-metric(insight, "sugar_g_per_serving").
-retailer(insight, "Delfour").
-caseName(case, "delfour").
-needsLowSugar(case, true).
-derivedFromNeed(insight, "low_sugar").
-outcome(decision, "Allowed").
-target(decision, insight).
-scannedProduct(scan, "Classic Tea Biscuits").
-suggestedAlternative(case, "Low-Sugar Tea Biscuits").
-suggestedAlternative(banner, "Low-Sugar Tea Biscuits").
-threshold(insight, "10.0").
-scope(insight, "self-scanner @ pick_up_scanner").
-expiresAt(insight, "2025-10-05T22:33:48.907185+00:00").
-reason(why, "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.").
-headline(banner, "Track sugar per serving while you scan").
-note(banner, "High sugar").
-value(reasonText, "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.").
-alg(signature, "HMAC-SHA256").
-auditEntries(case, 1).
-filesWritten(case, 6).
-allChecksPass(result, true).
-signatureVerifies(check, true).
-payloadHashMatches(check, true).
-minimizationStripsSensitiveTerms(check, true).
-scopeComplete(check, true).
-authorizationAllowed(check, true).
-bannerFlagsHighSugar(check, true).
-alternativeIsLowerSugar(check, true).
-dutyTimingConsistent(check, true).
-marketingProhibited(check, true).
-filesWrittenExpected(check, true).

package/examples/eyelang/output/deontic-logic.pl

@@ -1,4 +0,0 @@
-violation(alice, missed_obligation(obtain_consent)).
-violation(alice, prohibited_action(share_record)).
-compensation(alice, compensation(share_record, notify_dpo)).
-status(alice, requires_review).

package/examples/eyelang/output/derived-backward-rule.pl

@@ -1,3 +0,0 @@
-log_impliedBy(childOf(var(x), var(y)), parentOf(var(y), var(x))).
-childOf(bob, alice).
-hasParent(bob, alice).

package/examples/eyelang/output/derived-rule.pl

@@ -1,2 +0,0 @@
-log_implies(type(var(y), dog), is(test, true)).
-is(test, true).

package/examples/eyelang/output/diamond-property.pl

@@ -1,4 +0,0 @@
-holdsFor(diamondProperty, r).
-holdsFor(diamondProperty, re).
-commonSuccessor(diamondProperty, d).
-preservedUnderReflexiveClosure(diamondProperty, true).

package/examples/eyelang/output/dijkstra-findall-sort.pl

@@ -1,2 +0,0 @@
-shortestPath(dijkstra_findall_sort, [a, c, b, d, e, f]).
-cost(dijkstra_findall_sort, 13).

package/examples/eyelang/output/dijkstra-risk-path.pl

@@ -1,29 +0,0 @@
-route(pathB, [depotA, depotB, labD]).
-route(pathC, [depotA, depotC, labD]).
-route(pathRelay, [depotA, relay, labD]).
-route(pathDirectC, [depotA, labD]).
-route(pathViaC, [depotA, depotC, depotB, labD]).
-rawCost(pathB, 8.0).
-rawCost(pathC, 9.0).
-rawCost(pathRelay, 10.0).
-rawCost(pathDirectC, 14.0).
-rawCost(pathViaC, 7.5).
-riskSum(pathB, 0.5).
-riskSum(pathC, 1.2).
-riskSum(pathRelay, 0.40000000000000002).
-riskSum(pathDirectC, 0.050000000000000003).
-riskSum(pathViaC, 1.7000000000000002).
-score(pathB, 13.0).
-score(pathC, 21.0).
-score(pathRelay, 14.0).
-score(pathDirectC, 14.5).
-score(pathViaC, 24.5).
-edgeCount(pathB, 2).
-edgeCount(pathC, 2).
-edgeCount(pathRelay, 2).
-edgeCount(pathDirectC, 1).
-edgeCount(pathViaC, 3).
-selectedPath(case, pathB).
-trustGate(case, noEnumeratedPathIsLower).
-notes(case, riskCanOutweighRawCost).
-selects(dijkstraRiskPath, pathB).

package/examples/eyelang/output/dijkstra.pl

@@ -1,16 +0,0 @@
-edge([b, a], 4).
-edge([c, a], 2).
-edge([c, b], 1).
-edge([d, b], 5).
-edge([d, c], 8).
-edge([e, c], 10).
-edge([e, d], 2).
-edge([f, d], 6).
-edge([f, e], 3).
-path([a, f], [[a, b, d, e, f], 14]).
-path([a, f], [[a, b, d, f], 15]).
-path([a, f], [[a, c, d, e, f], 15]).
-path([a, f], [[a, c, d, f], 16]).
-path([a, f], [[a, c, e, f], 15]).
-path([a, f], [[a, c, b, d, e, f], 13]).
-path([a, f], [[a, c, b, d, f], 14]).