DKE Library

The DKE Library a customer installs and edits: browsable, versioned, and served as plain text. Published here rather than on a third-party host. Every release is browsable file by file and downloadable as one archive, and its source is served as plain text.

New to the library? Start with the Library Tutorial.

URLs are constructible: /source/<project>/<version>/<path>. A version directory never changes while it is served, and /source/<project>/latest/ redirects to the current one. Publishing a new release replaces the previous version rather than keeping it, so latest is the durable URL and a versioned one names exactly which bytes you read.

Projects

• code — a reasoning module 1.12.3

  Reasoning about a codebase, as a DKE Python module you compile into your own store. It supplies the kind schema, the standing rules and the queries; you supply the facts — your functions, classes, calls and imports. Pairs with dkepy, which is how the facts get written.

• identity — a reasoning module 1.0.2

  Which of your records name the same thing, as a DKE Python module you compile into your own store. You record what your sources say — that two records are the same, might be, or are not — and it keeps the conclusions standing: every record each one is the same as, and every statement another contradicts. Nothing is merged.

• argument — a reasoning module 1.0.2

  Which of your claims stand, as a DKE Python module you compile into your own store. You record the claims and what your sources say about them — that one supports, attacks or weakens another — and it keeps the conclusions standing: the claims nothing attacks, the claims that fall to them, the claims whose every attacker has fallen, and the supports that rest on disputed ground. It decides nothing it cannot settle from what you recorded.

• agenda — a reasoning module 1.0.1

  What is overdue, coming up, late or forbidden among your commitments and obligations, as a DKE Python module you compile into your own store. You record what you have undertaken, what you owe and to whom, the goals your commitments serve and the actions you may not take, and you ask about a moment you name: the store keeps no clock, so the same question about the same moment gets the same answer. It acts on nothing and decides nothing for you.

• quantum — a reasoning module 1.3.1

  Simulate a quantum circuit, and reason about one, as a DKE Python module you compile into your own store. The simulation half runs a circuit as values, with every measurement drawn from a seed you choose. The reasoning half takes a circuit, the device it was compiled for and the results computed about it as facts, and tells you which gates the device cannot run as written and why, which ran on a stale calibration, and whether a result still holds against what the store holds. dkepy's dke.quantum writes a device from its calibration snapshot.

• pqc — a reasoning module 1.0.2

  Which uses of quantum-vulnerable cryptography to move first, and which miss a deadline, as a DKE Python module you compile into your own store. You record where your systems use cryptography, how long what each use protects must stay protected, how long each system takes to migrate and the year you plan against; it applies Mosca's inequality and tells you which uses to start on first, which are already exposed, and what your inventory does not yet say. dkepy's dke.pqc writes the algorithms and uses that a cryptographic bill of materials states.

• harmony — a reasoning module 1.0.1

  Four-part writing marked as a harmony teacher marks it, as a DKE Python module you compile into your own store. You record an exercise's voices, key and chords; it names every consecutive fifth and octave, crossed voice, spacing fault, note outside a voice's range or the key, and the reading of every chord, and withdraws each mark when you correct the note it rests on. It checks a melody's rhythm against its bars, and calculates equal-tempered frequencies, cents, set classes, twelve-tone matrices and Euclidean rhythms.

• physics — a reasoning module 1.0.3

  Quantities checked as a physicist checks them, as a DKE Python module you compile into your own store. You record quantities in their units and equations as products of quantities; it converts each to SI, names a quantity in a unit it does not know or handed to a reader who expects another, finds the dimensions an equation leaves over, and adds resistances in series and in parallel, withdrawing each answer when you correct the fact it rests on. It calculates a pendulum's period exactly and by integration, an orbit under three integrators, the heat equation, a linear system and its bridge circuit, and the Ising model of a magnet.

• chemistry — a reasoning module 1.0.3

  Molecules read as a chemist reads a skeletal drawing, as a DKE Python module you compile into your own store. You record atoms and bonds; it gives every atom the hydrogens its valence leaves over, names an atom bonded past its valence, a molecule's formula and weight and the functional groups on it, and a reaction's enthalpy by Hess's law, withdrawing each answer when you correct the fact it rests on. It calculates a formula's molar mass, balances equations in exact integers, finds the pH of an acid and a titration curve, and integrates consecutive and reversible reactions.

• biology — a reasoning module 1.0.2

  Metabolic networks and pedigrees reasoned over as a biologist reads them, as a DKE Python module you compile into your own store. You record a network's reactions and its medium, or a family's members and its mode of inheritance; it names what the network can make, which one compound would let it make one more, every person's ancestors, the carriers the mode requires and each member it cannot explain, withdrawing each answer when you correct the fact it rests on. It translates genes in two genetic codes, crosses genotypes, tests counts by chi-square, and calculates logistic growth, predator and prey, genetic drift and rings of repressing genes.

• astronomy — a reasoning module 1.0.2

  The sky planned and calculated, as a DKE Python module you compile into your own store. You record sites with their latitude and the faintest star their instrument reaches, stars with their declination and magnitude, and nights and bookings with their windows; it concludes which stars never set at a site, which never rise and which it can see, and which bookings are observable and over what stretch of time, withdrawing each answer when you correct the fact it rests on. It calculates Julian dates, sidereal time, a star's altitude, rising and setting, the Sun's position and the length of a day, Kepler's equation, and the two-body problem.

• geography — a reasoning module 1.0.2

  Regions, maps and places reasoned over, and the Earth calculated, as a DKE Python module you compile into your own store. You record regions with the region each lies in, borders, the colours a map gives, and places and boxes by latitude and longitude; it concludes every region a region lies within, how many of each level it holds, which neighbours share a colour, and which places lie in a box, across the antimeridian too, withdrawing each answer when you correct the fact it rests on. It colours a map, and calculates distances, bearings and destinations on the sphere and on the WGS84 ellipsoid, the Mercator projection and the area of a spherical triangle.

• mathematics — a reasoning module 1.0.2

  Numbers, operations and figures classified, and number theory and numerical methods calculated, as a DKE Python module you compile into your own store. You record whole numbers, the table of a finite operation and triangles by their sides; it concludes which numbers are prime, composite, perfect or abundant, an operation's identity, its inverses and whether it is a group, naming the cells that break a property, and a triangle's kind, each with its proof. It calculates greatest common divisors and modular inverses, primes and factors, continued fractions, roots, integrals and linear systems, bit for bit as CPython does.

• statistics — a reasoning module 1.0.3

  Studies, screening tests and significance tests decided, and statistics and probability calculated, as a DKE Python module you compile into your own store. You record the strata of a study, a screening test's prevalence, sensitivity and specificity and a test's p-value and level; it concludes whether a pooled comparison reverses in every stratum, what a positive screen is worth and whether a result clears its level, each with its proof. It calculates means, variances, regression, the normal, binomial and Poisson distributions, chi-square, the birthday problem and a seeded Monte Carlo, bit for bit as CPython does.

• earthscience — a reasoning module 1.0.2

  Climates, storms and minerals classified, and the atmosphere and the solid Earth calculated, as a DKE Python module you compile into your own store. You record stations by their temperatures and rainfall, storms by their wind and minerals by their hardness; it concludes a station's Köppen group, a storm's Saffir-Simpson category and which mineral scratches which, each with its proof and with the premise that failed. It calculates the dew point, heat index, wind chill, pressure by height, radiometric age, earthquake energy and magnitude, and the Coriolis parameter, bit for bit as CPython does.

• computing — a reasoning module 1.0.1

  Codes checked, and information and algorithms calculated, as a DKE Python module you compile into your own store. You record a code as its words; it concludes its Kraft sum and whether it is prefix-free, naming the pair of words that breaks it. It calculates CRC-32 and Adler-32, the Luhn and ISBN-13 checks, base conversion, Hamming(7,4) with single-error correction, entropy, Huffman code lengths, binary search and shortest paths, bit for bit as CPython does.

• calendars — a reasoning module 1.0.0

  Calendar rules decided, and dates calculated, as a DKE Python module you compile into your own store. You record years, the reforms that moved a place from one calendar to another and days; it concludes which years the Julian and Gregorian rules disagree about, how many days a reform skipped and which days a place never had, each with its proof and with the premise that failed, and marks such a day without dropping it. It calculates the length of a month, the weekday of a date, Easter, day numbers and the span between two instants, bit for bit as CPython does.

• colour — a reasoning module 1.0.1

  Colour pairs and rays of light decided, and light calculated, as a DKE Python module you compile into your own store. You record a pair by the relative luminance of its text and background and a ray by two refractive indices and the sine of its angle; it concludes which Web Content Accessibility Guidelines contrast levels a pair clears and whether a ray is totally reflected, each with its proof and with the premise that failed. It calculates sRGB luminance and the contrast ratio, hue, saturation and lightness, Snell's law, the critical angle, the thin lens, Wien's law and the frequency of a wavelength, bit for bit as CPython does.

• body — a reasoning module 1.0.2

  Blood compatibility and body size stated, and the body's numbers calculated, as a DKE Python module you compile into your own store. It is not medical advice. You record a donor's and a recipient's blood group and a person's mass and height; it concludes which antigens of the donor the recipient lacks and so whether red cells would react or a recipient is at risk of sensitisation, and the World Health Organization's body-mass band, each with its proof and with the premise that failed. It calculates body mass index, the Mifflin-St Jeor resting energy, the Mosteller body surface and two maximum heart rates, bit for bit as CPython does.

• sound — a reasoning module 1.0.4

  Noise doses and the range of hearing decided, and sound calculated, as a DKE Python module you compile into your own store. It is not occupational-health advice. You record exposures by level and hours with the limit they are judged against, the segments of a worker's day and tones by frequency; it concludes which exposures are over their permissible dose, which days of mixed exposures sum past one and whether a tone is audible, infrasound or ultrasound, each with its proof and with the premise that failed. It calculates the decibel level of a pressure, the sum of incoherent sources, the fall with distance, the speed of sound, wavelength, the Doppler shift and the 8-hour average level of a dose.

• finance — a reasoning module 1.0.2

  Loan offers compared, and interest and value calculated, as a DKE Python module you compile into your own store. It is not financial advice. You record offers by borrower, principal, payment and months, and budgets by a payment limit; it concludes which offer is the cheapest in total of those that share a borrower and a principal and which carry a payment over the limit, each with its proof and with the premise that failed, and marks an offer without dropping it. It calculates the amortised payment, compound interest, the effective annual rate, the exact doubling time beside the rule of 72, present value, a value in today's money and the real rate, in reals and not in cents.

• food — a reasoning module 1.0.3

  Dishes decided unsafe or allergen-bearing, and a recipe calculated, as a DKE Python module you compile into your own store. It is not food-safety or medical advice. You record minimum temperatures by kind of food, dishes by kind, core temperature and minutes in the danger zone, and items with the allergens they hold and the lines that put them in a dish; it concludes which dishes are unsafe, which have a kind with no standard recorded and which hold each of the nine major allergens, each with its proof and with the premise that failed. It calculates Fahrenheit to Celsius, scaling by servings, a baker's percentage, a volume to a mass by a density you supply and food energy, bit for bit as CPython does.

• architecture — a reasoning module 1.0.2

  A building's style, a record of height, and a tower, a hull, a room and a channel judged, as a DKE Python module you compile into your own store. It is not engineering, naval-architecture, acoustic-design or heritage advice. You record buildings with their features, structures with a height, a completion year and the year any fell, towers, box hulls, rooms with their surfaces, and channels with the standard each is held to; it concludes Gothic and Romanesque from the features their definitions name, the tallest structure and the tallest building when each was completed and the year each record passed, a tower whose centre of mass passes its base, a hull whose metacentric height is not positive, a room that rings too long or too short by Sabine's equation, and a channel that falls too little, each with its proof and with the premise that failed, and it names every fact two sources give differently. It calculates a lean, a top's offset, Sabine's time, a metacentric height, a gradient and a pendulum's period, each step rounded once.

• elections — a reasoning module 1.0.0

  Elections decided under each counting method, a house's seats shared out, and a disputed count refused, as a DKE Python module you compile into your own store. It is not legal or electoral advice and it certifies no election. You record an election with its candidates and ranked ballots with the number of voters casting each; it concludes the plurality winner, the majority winner, the candidate who beats every other head to head, the one who loses to every other, the Borda winner, and that no candidate beats every other when the head-to-head counts run in a cycle, each with its proof and with the premise that failed, and it concludes no winner while a ballot's count holds a second claim, naming the dispute instead. It reads the winners and the instant-runoff rounds, refusing a tie for last place, and calculates the Hare and Droop quotas, a house's seats by largest remainders and by the D'Hondt, Sainte-Laguë and Huntington–Hill methods in exact whole numbers, refusing a tie for the last seat, and a Huntington–Hill priority.

• dkepy 0.8.1

  Write facts into a DKE store, from Python, for kinds you define yourself. A DKE reasoning module supplies the reasoning; this supplies the facts.

• dkekey 0.1.2

  Issue DKE store keys on your own machine. One program for Linux, macOS and Windows that signs in, issues the key here, and sends the account only the key's hash and a wrap of the store's data key, as the dashboard does.

Reading this with a machine

/source/index.json lists every project, version and file with its digest — enough that nothing has to parse this page. /source/llms.txt is the same in Markdown.