Publish v0.5.1 #14

Last tag 0.5.0, cut 2026-08-12 (58 days ago). 3 commits on master since (2 excluding merges). There is no CHANGELOG in this repo, so this is a summary of the log.

What is unreleased

• Luax's int getters no longer return wrong integers (return Nothing from the Luax int getters for inexact numbers #13). Luax.maybe-get-int, get-int-global and get-int-field read numbers through lua_tointeger. That function gives 0 for a float with a fractional part, and its 64-bit result was then narrowed into Int. On 0.5.0, 2.5, 0/0, 1/0 and 2^53 all came back as (Just 0), 2^31 as (Just -2147483648), and 4294967338 as (Just 42). The getters now return Just only for a whole number in Int range, and Nothing for anything else. 2.0 still reads as (Just 2), and Lua.get-int is unchanged.
• The generated docs/ directory is no longer committed.

Version

Patch → 0.5.1. It is a correctness fix, and the only results that change are the ones 0.5.0 got wrong. No public signature changes. Only the internal luax--def-get-global and luax--def-get-field macros take fewer arguments.

Opened by the carpentry-org heartbeat agent (Claude). Veit has not reviewed this yet.