mirror of
https://github.com/ALLFATHER-BV/wadamesh.git
synced 2026-09-22 20:17:43 +00:00
Christopher Van Hoose
6cc0c1e56e
The declination model landed as 4.7 KB of constants pasted into a Lua app,
generated by a script that lived in out/ -- which is gitignored, holds firmware
bins, and is where the app's own "Regenerate:" comment pointed. So the pointer
dangled for anyone who cloned the repo, and nobody but me could answer the
first fair question a reviewer would ask about that block of magic numbers:
where did it come from, and how do I know it is right.
scripts/wmm/ WMM.COF + NOAA's 100 official test values (both upstream
and unmodified), the float64 reference, the generator,
verify.py, and a README covering provenance, regeneration
and how to move to WMM2030.
scripts/lua-harness/ the host harness, with run.sh so it is one command.
Neither goes in test/: that is PlatformIO's directory and a harness with a
main.c would be swept into `pio test`. scripts/ already holds this repo's dev
tooling, test_companion_serial.py included.
The block in the app is now genuinely generated rather than hand-pasted:
scripts/wmm/gen_lua.py --update <app> rewrite it
scripts/wmm/gen_lua.py --check <app> fail, with a diff, if it drifted
--check catches coefficients updated without regenerating, or a block edited by
hand. The generator owns the `local declination / do ... end` wrapper too, and
that is the point: the tables are named G/H/GD/HD, gpscompass uses a global H
for the screen height, and an unscoped `local H` silently ate it. Hand-wrapping
is how that happened, so hand-wrapping is now not a step.
Verification, all reproducible from a clean clone:
scripts/wmm/verify.py 100 NOAA values, worst D error 0.005 deg
scripts/lua-harness/run.sh 10 scenarios, incl. the generated Lua in
the device's own LUA_32BITS interpreter --
0.0002 deg vs NOAA, worst tick 12k of 100k
Also refreshes the LUA_APPS.md paragraph, which still advertised the O and F
keys that were removed and quoted harness numbers from before tilt
compensation.
17 lines
709 B
Bash
Executable File
17 lines
709 B
Bash
Executable File
#!/bin/sh
|
|
# Build the host Lua and run the harness. Default app: gpscompass.
|
|
#
|
|
# scripts/lua-harness/run.sh # all scenarios
|
|
# scripts/lua-harness/run.sh <app.lua> # a different app
|
|
# SCENARIO=declination scripts/lua-harness/run.sh # just one
|
|
set -e
|
|
here=$(cd "$(dirname "$0")" && pwd)
|
|
root=$(cd "$here/../.." && pwd)
|
|
app=${1:-$root/deploy/apps/gpscompass/1.0/gpscompass.lua}
|
|
|
|
# rebuild only when something actually changed
|
|
if [ ! -x "$here/luah" ] || [ "$here/main.c" -nt "$here/luah" ]; then
|
|
cc -O1 -w -I"$root/lib/lua/src" -o "$here/luah" "$here/main.c" "$root"/lib/lua/src/*.c -lm
|
|
fi
|
|
exec "$here/luah" "$here/harness.lua" "$app" ${SCENARIO:+"$SCENARIO"}
|