eyeling 1.32.1 → 1.33.0

package/examples/eyelang/output/eyeling-string-builtins.n3

@@ -0,0 +1,4 @@
+rdf(iri("https://eyereasoner.github.io/ns#msg"), iri("https://eyereasoner.github.io/ns#mentionsEye"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).
+rdf(iri("https://eyereasoner.github.io/ns#msg"), iri("https://eyereasoner.github.io/ns#length"), literal("13", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
+rdf(iri("https://eyereasoner.github.io/ns#msg"), iri("https://eyereasoner.github.io/ns#label"), literal("N3 + RDF 1.2", iri("http://www.w3.org/2001/XMLSchema#string"), "", "")).
+rdf(iri("https://eyereasoner.github.io/ns#msg"), iri("https://eyereasoner.github.io/ns#scrapedTail"), literal("lang", iri("http://www.w3.org/2001/XMLSchema#string"), "", "")).

package/examples/eyelang/output/eyeling-time-builtins.n3

@@ -0,0 +1,4 @@
+rdf(iri("https://eyereasoner.github.io/ns#event"), iri("https://eyereasoner.github.io/ns#year"), literal("2026", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
+rdf(iri("https://eyereasoner.github.io/ns#event"), iri("https://eyereasoner.github.io/ns#month"), literal("6", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
+rdf(iri("https://eyereasoner.github.io/ns#event"), iri("https://eyereasoner.github.io/ns#day"), literal("15", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
+rdf(iri("https://eyereasoner.github.io/ns#event"), iri("https://eyereasoner.github.io/ns#hour"), literal("10", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).

package/examples/eyelang/output/eyeling-time-components-extra.n3

@@ -0,0 +1,5 @@
+rdf(iri("https://eyereasoner.github.io/eyeling/examples/time-extra#event"), iri("https://eyereasoner.github.io/eyeling/examples/time-extra#year"), literal("2026", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
+rdf(iri("https://eyereasoner.github.io/eyeling/examples/time-extra#event"), iri("https://eyereasoner.github.io/eyeling/examples/time-extra#month"), literal("6", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
+rdf(iri("https://eyereasoner.github.io/eyeling/examples/time-extra#event"), iri("https://eyereasoner.github.io/eyeling/examples/time-extra#day"), literal("15", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
+rdf(iri("https://eyereasoner.github.io/eyeling/examples/time-extra#event"), iri("https://eyereasoner.github.io/eyeling/examples/time-extra#hour"), literal("10", iri("http://www.w3.org/2001/XMLSchema#integer"), "", "")).
+rdf(iri("https://eyereasoner.github.io/eyeling/examples/time-extra#event"), iri("https://eyereasoner.github.io/eyeling/examples/time-extra#dateCheck"), literal("true", iri("http://www.w3.org/2001/XMLSchema#boolean"), "", "")).

package/examples/eyelang/output/eyeling-witch.n3

@@ -0,0 +1,2 @@
+rdf(iri("https://eyereasoner.github.io/eye/reasoning/witch#elsie"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eye/reasoning/witch#WITCH")).
+rdf(iri("https://eyereasoner.github.io/eye/reasoning/witch#elsie"), iri("http://www.w3.org/1999/02/22-rdf-syntax-ns#type"), iri("https://eyereasoner.github.io/eye/reasoning/witch#WEIGHS_THE_SAME_AS_A_DUCK")).

package/examples/eyelang/output/family-cousins.n3

@@ -0,0 +1,8 @@
+rdf(iri("http://example.org/family#Dave"), iri("http://example.org/family#cousin"), iri("http://example.org/family#Frank")).
+rdf(iri("http://example.org/family#Dave"), iri("http://example.org/family#cousin"), iri("http://example.org/family#Grace")).
+rdf(iri("http://example.org/family#Eve"), iri("http://example.org/family#cousin"), iri("http://example.org/family#Frank")).
+rdf(iri("http://example.org/family#Eve"), iri("http://example.org/family#cousin"), iri("http://example.org/family#Grace")).
+rdf(iri("http://example.org/family#Frank"), iri("http://example.org/family#cousin"), iri("http://example.org/family#Dave")).
+rdf(iri("http://example.org/family#Frank"), iri("http://example.org/family#cousin"), iri("http://example.org/family#Eve")).
+rdf(iri("http://example.org/family#Grace"), iri("http://example.org/family#cousin"), iri("http://example.org/family#Dave")).
+rdf(iri("http://example.org/family#Grace"), iri("http://example.org/family#cousin"), iri("http://example.org/family#Eve")).

package/examples/eyelang/output/family-cousins.pl

@@ -0,0 +1,28 @@
+branch(dave, b).
+branch(eve, b).
+branch(frank, c).
+branch(grace, c).
+branch(heidi, b).
+branch(ivan, b).
+branch(judy, c).
+generation(bob, 1).
+generation(carol, 1).
+generation(dave, 2).
+generation(eve, 2).
+generation(frank, 2).
+generation(grace, 2).
+generation(heidi, 3).
+generation(ivan, 3).
+generation(judy, 3).
+cousin(dave, frank).
+cousin(dave, grace).
+cousin(eve, frank).
+cousin(eve, grace).
+cousin(frank, dave).
+cousin(frank, eve).
+cousin(grace, dave).
+cousin(grace, eve).
+cousin(heidi, judy).
+cousin(ivan, judy).
+cousin(judy, heidi).
+cousin(judy, ivan).

package/examples/eyelang/output/fastpow.pl

@@ -0,0 +1,6 @@
+pow([2, 10], 1024).
+powSlow([2, 10], 1024).
+powMod1e6([2, 10000], 709376).
+powMod1e6([3, 10000], 200001).
+tower([2, 4], 65536).
+towerMod1e6([2, 5], 156736).

package/examples/eyelang/output/fft8-numeric.pl

@@ -0,0 +1,4 @@
+fft(ramp8, [c(28, 0.0), c(-4.0, 9.6568542494923797), c(-4.0, 4.0), c(-4.0, 1.6568542494923806), c(-4, 0.0), c(-4.0, -1.6568542494923806), c(-4.0, -4.0), c(-4.0, -9.6568542494923797)]).
+fft(alternating8, [c(0, 0.0), c(0.0, 0.0), c(0.0, 0.0), c(0.0, 0.0), c(8, 0.0), c(0.0, 0.0), c(0.0, 0.0), c(0.0, 0.0)]).
+dcComponent(ramp8, c(28, 0.0)).
+dcComponent(alternating8, c(0, 0.0)).

package/examples/eyelang/output/fibonacci.pl

@@ -0,0 +1,6 @@
+fibonacci(0, 0).
+fibonacci(1, 1).
+fibonacci(10, 55).
+fibonacci(100, 354224848179261915075).
+fibonacci(1000, 43466557686937456435688527675040625802564660517371780402481729089536555417949051890403879840079255169295922593080322634775209689623239873322471161642996440906533187938298969649928516003704476137795166849228875).
+fibonacci(10000, 33644764876431783266621612005107543310302148460680063906564769974680081442166662368155595513633734025582065332680836159373734790483865268263040892463056431887354544369559827491606602099884183933864652731300088830269235673613135117579297437854413752130520504347701602264758318906527890855154366159582987279682987510631200575428783453215515103870818298969791613127856265033195487140214287532698187962046936097879900350962302291026368131493195275630227837628441540360584402572114334961180023091208287046088923962328835461505776583271252546093591128203925285393434620904245248929403901706233888991085841065183173360437470737908552631764325733993712871937587746897479926305837065742830161637408969178426378624212835258112820516370298089332099905707920064367426202389783111470054074998459250360633560933883831923386783056136435351892133279732908133732642652633989763922723407882928177953580570993691049175470808931841056146322338217465637321248226383092103297701648054726243842374862411453093812206564914032751086643394517512161526545361333111314042436854805106765843493523836959653428071768775328348234345557366719731392746273629108210679280784718035329131176778924659089938635459327894523777674406192240337638674004021330343297496902028328145933418826817683893072003634795623117103101291953169794607632737589253530772552375943788434504067715555779056450443016640119462580972216729758615026968443146952034614932291105970676243268515992834709891284706740862008587135016260312071903172086094081298321581077282076353186624611278245537208532365305775956430072517744315051539600905168603220349163222640885248852433158051534849622434848299380905070483482449327453732624567755879089187190803662058009594743150052402532709746995318770724376825907419939632265984147498193609285223945039707165443156421328157688908058783183404917434556270520223564846495196112460268313970975069382648706613264507665074611512677522748621598642530711298441182622661057163515069260029861704945425047491378115154139941550671256271197133252763631939606902895650288268608362241082050562430701794976171121233066073310059947366875).

package/examples/eyelang/output/field-nitrogen-balance.pl

@@ -0,0 +1,21 @@
+status(low_input, under_supplied).
+status(balanced_loam, balanced).
+status(sandy_high, over_supplied).
+status(clay_surplus, over_supplied).
+availableN_kg_ha(low_input, 58.5).
+availableN_kg_ha(balanced_loam, 110.0).
+availableN_kg_ha(sandy_high, 117.0).
+availableN_kg_ha(clay_surplus, 147.20000000000002).
+deficitN_kg_ha(low_input, 51.5).
+deficitN_kg_ha(balanced_loam, 0.0).
+deficitN_kg_ha(sandy_high, 0.0).
+deficitN_kg_ha(clay_surplus, 0.0).
+surplusN_kg_ha(sandy_high, 12.0).
+surplusN_kg_ha(clay_surplus, 27.200000000000017).
+surplusN_kg_ha(low_input, 0.0).
+surplusN_kg_ha(balanced_loam, 0.0).
+leachingIndex(sandy_high, 4.1999999999999993).
+leachingIndex(clay_surplus, 2.1760000000000015).
+leachingIndex(low_input, 0.0).
+leachingIndex(balanced_loam, 0.0).
+highestLeachingRisk(field_nitrogen_balance, sandy_high).

package/examples/eyelang/output/flandor.pl

@@ -0,0 +1,43 @@
+caseName(case, "flandor").
+regionName(flanders, "Flanders").
+metric(macroInsight, "regional_retooling_priority").
+alg(signature, "HMAC-SHA256").
+payloadHashSHA256(signature, "718f5b17d07ab6a95503bc04a1000ddb132409f600659c03d21def81914b780b").
+signatureHMAC(signature, "955968ca99a191783bc00cba068128ccb9ff40a5e6114fda13a52c74ee27329e").
+auditEntries(case, 1).
+filesWritten(case, 6).
+exportWeakness(case, true).
+skillsStrain(case, true).
+gridStress(case, true).
+needsRetoolingPulse(case, true).
+derivedFromNeed(case, "regional_retooling_and_flexibility").
+activeNeedCount(answer, 3).
+activeNeedThreshold(answer, 3).
+recommendedPackageName(answer, "Flandor Retooling Pulse").
+budgetCapMEUR(answer, 140).
+packageCostMEUR(answer, 120).
+envelopeExpiresAt(answer, "2026-04-08T19:00:00+00:00").
+workerCoverage(why, 1200).
+gridReliefMW(why, 85).
+outcome(decision, "Allowed").
+target(decision, macroInsight).
+allChecksPass(result, true).
+signatureVerifies(check, true).
+payloadHashMatches(check, true).
+hmacMatches(check, true).
+minimizationStripsSensitiveTerms(check, true).
+scopeComplete(check, true).
+authorizationAllowed(check, true).
+thresholdReached(check, true).
+packageWithinBudget(check, true).
+packageCoversAllNeeds(check, true).
+dutyTimingConsistent(check, true).
+surveillanceReuseProhibited(check, true).
+filesWrittenExpected(check, true).
+lowestCostEligiblePackageChosen(check, true).
+reason(whyExportWeakness, "Export weakness is active because at least one cluster has exportOrdersIndex < 90 (Antwerp chemicals=84, Ghent manufacturing=87).").
+reason(whySkillsStrain, "Skills strain is active because technical vacancy rate is 4.6% (threshold > 3.9%).").
+reason(whyGridStress, "Grid stress is active because congestion hours = 19 (threshold > 11).").
+reason(whyRecommendationPolicy, "The recommendation policy is \"lowest_cost_package_covering_all_active_needs\", so the cheapest package that covers all active needs within budget is selected.").
+reason(whySelectedPackage, "Selected package \"Flandor Retooling Pulse\" covers export=true, skills=true, grid=true, cost=€120M.").
+reason(whyUsage, "Usage is permitted only for purpose \"regional_stabilization\" and the envelope expires at 2026-04-08T19:00:00+00:00.").

package/examples/eyelang/output/floating-point.pl

@@ -0,0 +1,9 @@
+value(sum, 3.75).
+value(difference, 6.875).
+value(product, 10.0).
+value(quotient, 3.75).
+value(sqrtByPower, 3.0).
+value(mathSum, 1.0).
+value(mathProduct, 3.0).
+value(comfortable, true).
+than(warmer, targetC).

package/examples/eyelang/output/four-color-map.pl

@@ -0,0 +1,3 @@
+color(map_eu, [[belgium, yellow], [netherlands, green], [luxemburg, green], [france, blue], [germany, red], [italy, red], [denmark, green], [ireland, red], [greece, red], [spain, green], [portugal, red], [austria, yellow], [sweden, green], [finland, red], [cyprus, red], [malta, red], [poland, blue], [hungary, blue], [czech_republic, green], [slovakia, red], [slovenia, green], [estonia, red], [latvia, green], [lithuania, red], [bulgaria, green], [romania, red], [croatia, red]]).
+status(map_eu, valid_four_colour_assignment).
+reason(map_eu, "no neighbouring countries share a colour").

package/examples/eyelang/output/fundamental-theorem-arithmetic.pl

@@ -0,0 +1,9 @@
+product(case, 202692987).
+n(case, 202692987).
+factorsSmallest(case, [3, 3, 7, 829, 3881]).
+factorsLargest(case, [3881, 829, 7, 3, 3]).
+expectedFactorsMatched(case, true).
+productReconstructsInput(case, true).
+distinctPrimeCount(case, 4).
+smallestPrimeFactor(case, 3).
+largestPrimeFactor(case, 3881).

package/examples/eyelang/output/gcd-bezout-identity.pl

@@ -0,0 +1,36 @@
+gcd(c1, 6).
+gcd(c2, 1).
+gcd(c3, 5).
+gcd(c4, 6).
+gcd(c5, 9).
+gcd(c6, 6).
+bezoutCoefficients(c1, [-1, 3]).
+bezoutCoefficients(c2, [215, -47]).
+bezoutCoefficients(c3, [0, 1]).
+bezoutCoefficients(c4, [5, -7]).
+bezoutCoefficients(c5, [1, 1]).
+bezoutCoefficients(c6, [-649, 10155]).
+check(c1, bezout_identity).
+check(c2, bezout_identity).
+check(c3, bezout_identity).
+check(c4, bezout_identity).
+check(c5, bezout_identity).
+check(c6, bezout_identity).
+check(c1, divides_inputs).
+check(c2, divides_inputs).
+check(c3, divides_inputs).
+check(c4, divides_inputs).
+check(c5, divides_inputs).
+check(c6, divides_inputs).
+check(c1, nonnegative_gcd).
+check(c2, nonnegative_gcd).
+check(c3, nonnegative_gcd).
+check(c4, nonnegative_gcd).
+check(c5, nonnegative_gcd).
+check(c6, nonnegative_gcd).
+status(c1, done).
+status(c2, done).
+status(c3, done).
+status(c4, done).
+status(c5, done).
+status(c6, done).

package/examples/eyelang/output/gd-step-certified.pl

@@ -0,0 +1,79 @@
+width(0, 2.0).
+width(1, 2.7999999999999998).
+width(2, 3.9199999999999999).
+width(3, 5.4879999999999995).
+width(4, 7.6831999999999994).
+width(5, 10.75648).
+width(6, 15.059072).
+width(7, 21.082700800000001).
+width(8, 29.51578112).
+width(9, 41.322093568).
+width(10, 57.850930995200002).
+width(result, width(0, 2.0)).
+width(result, width(1, 2.7999999999999998)).
+width(result, width(2, 3.9199999999999999)).
+width(result, width(3, 5.4879999999999995)).
+width(result, width(4, 7.6831999999999994)).
+width(result, width(5, 10.75648)).
+width(result, width(6, 15.059072)).
+width(result, width(7, 21.082700800000001)).
+width(result, width(8, 29.51578112)).
+width(result, width(9, 41.322093568)).
+width(result, width(10, 57.850930995200002)).
+eta(result, 0.20000000000000001).
+etaLeHalf(result, true).
+xBounds(result, bounds(0, 0.0, 2.0)).
+xBounds(result, bounds(1, -0.40000000000000002, 2.3999999999999999)).
+xBounds(result, bounds(2, -0.95999999999999996, 2.96)).
+xBounds(result, bounds(3, -1.744, 3.7439999999999998)).
+xBounds(result, bounds(4, -2.8415999999999997, 4.8415999999999997)).
+xBounds(result, bounds(5, -4.3782399999999999, 6.3782399999999999)).
+xBounds(result, bounds(6, -6.5295360000000002, 8.5295360000000002)).
+xBounds(result, bounds(7, -9.5413504000000007, 11.541350400000001)).
+xBounds(result, bounds(8, -13.75789056, 15.75789056)).
+xBounds(result, bounds(9, -19.661046784, 21.661046784)).
+xBounds(result, bounds(10, -27.925465497600001, 29.925465497600001)).
+midpoint(result, midpoint(0, 1.0, 1.0)).
+midpoint(result, midpoint(1, 1.0, 1.3999999999999999)).
+midpoint(result, midpoint(2, 1.0, 1.96)).
+midpoint(result, midpoint(3, 0.99999999999999989, 2.7439999999999998)).
+midpoint(result, midpoint(4, 1.0, 3.8415999999999997)).
+midpoint(result, midpoint(5, 1.0, 5.3782399999999999)).
+midpoint(result, midpoint(6, 1.0, 7.5295360000000002)).
+midpoint(result, midpoint(7, 1.0, 10.541350400000001)).
+midpoint(result, midpoint(8, 1.0, 14.75789056)).
+midpoint(result, midpoint(9, 1.0, 20.661046784)).
+midpoint(result, midpoint(10, 1.0, 28.925465497600001)).
+gradientBounds(result, gradient(0, -2.0, 2.0)).
+gradientBounds(result, gradient(1, -2.7999999999999998, 2.7999999999999998)).
+gradientBounds(result, gradient(2, -3.9199999999999999, 3.9199999999999999)).
+gradientBounds(result, gradient(3, -5.4879999999999995, 5.4879999999999995)).
+gradientBounds(result, gradient(4, -7.6831999999999994, 7.6831999999999994)).
+gradientBounds(result, gradient(5, -10.75648, 10.75648)).
+gradientBounds(result, gradient(6, -15.059072, 15.059072)).
+gradientBounds(result, gradient(7, -21.082700800000001, 21.082700800000001)).
+gradientBounds(result, gradient(8, -29.51578112, 29.51578112)).
+gradientBounds(result, gradient(9, -41.322093568, 41.322093568)).
+gradientBounds(result, gradient(10, -57.850930995200002, 57.850930995200002)).
+stepBounds(result, step(0, -0.40000000000000002, 0.40000000000000002)).
+stepBounds(result, step(1, -0.55999999999999994, 0.55999999999999994)).
+stepBounds(result, step(2, -0.78400000000000003, 0.78400000000000003)).
+stepBounds(result, step(3, -1.0975999999999999, 1.0975999999999999)).
+stepBounds(result, step(4, -1.53664, 1.53664)).
+stepBounds(result, step(5, -2.1512959999999999, 2.1512959999999999)).
+stepBounds(result, step(6, -3.0118144000000004, 3.0118144000000004)).
+stepBounds(result, step(7, -4.2165401600000001, 4.2165401600000001)).
+stepBounds(result, step(8, -5.903156224, 5.903156224)).
+stepBounds(result, step(9, -8.2644187135999996, 8.2644187135999996)).
+stepBounds(result, step(10, -11.570186199040002, 11.570186199040002)).
+objectiveBounds(result, f(0, 0.0, 1.0)).
+objectiveBounds(result, f(1, 0.0, 1.9599999999999997)).
+objectiveBounds(result, f(2, 0.0, 3.8415999999999997)).
+objectiveBounds(result, f(3, 0.0, 7.5295359999999985)).
+objectiveBounds(result, f(4, 0.0, 14.757890559999998)).
+objectiveBounds(result, f(5, 0.0, 28.925465497599998)).
+objectiveBounds(result, f(6, 0.0, 56.693912375296001)).
+objectiveBounds(result, f(7, 0.0, 111.12006825558018)).
+objectiveBounds(result, f(8, 0.0, 217.79533378093711)).
+objectiveBounds(result, f(9, 0.0, 426.87885421063675)).
+objectiveBounds(result, f(10, 0.0, 836.68255425284804)).

package/examples/eyelang/output/gdpr-compliance.pl

@@ -0,0 +1,6 @@
+status(case_alpha, gdpr_compliant).
+status(case_beta, gdpr_noncompliant).
+reason(case_beta, missing_legal_basis).
+reason(case_beta, not_minimized).
+reason(case_beta, missing_access_logging).
+reason(case_beta, transfer_without_adequacy).