Files
wadamesh/scripts/lua-harness
SamandClaude Sonnet 4.6 2929467a75 fix(apps): ProTreck 1.2 — address reviewer feedback on PR #648
apps.json: one protreck row, ver=1.2, requires=sdk_ext (no seed: false)

protreck.lua:
- get_heading(): compute from raw compass x/y via atan(c.y,-c.x); remove
  c.hdg (no such field) and GPS course fallback (M9-only)
- tap detection: record press={x,y} on "down", act on "up" only when
  distance <= 12 px — swipes no longer trigger waypoint/chrono/timer/alarm
- alarm clock: use sys.datetime() (local time) instead of now_unix()+decompose()
- wada.timer.after: schedule_alarm() fires alarms while screen sleeps, rescheduled daily
- key events: left/right = tab nav, up/down mirror swipe actions
- canvas capped at 480×480 (Tanmatsu compatibility)

harness.lua:
- timer.after mock added
- protreck_tdeck fixture: h=240→196 (T-Deck actual resolution)
- protreck_chrono / protreck_timer / protreck_compass: send down+up tap pairs
- protreck_compass: compass mock returns raw {x,y,z} (not {hdg})
- protreck_deniv: alt_seq reordered so step 9 (first on_tick sample) is the
  max value, matching the GPS call order through draw_status_bar

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
2026-10-15 19:04:14 +02:00
..
2026-08-25 16:12:24 -04:00

Host harness for Wadamesh Lua apps

Runs a Store app on your desktop, against a mock of the wada.* host, before it ever touches a device. Not part of the firmware build.

scripts/lua-harness/run.sh                                   # gpscompass, all scenarios
scripts/lua-harness/run.sh deploy/apps/wardrive/1.1/wardrive.lua
SCENARIO=declination scripts/lua-harness/run.sh              # one scenario

run.sh compiles luah on first use (and whenever main.c changes) from the Lua sources already vendored in lib/lua/src — no dependency beyond a C compiler.

What makes it worth running

It is built from the same vendored Lua 5.4.7 as the firmware, with the same LUA_32BITS numeric model — 32-bit integers, single-precision floats. That is the point. Maths that behaves in a desktop float64 interpreter can lose catastrophic precision on the device, and this is where that shows up.

The mock mirrors LuaAppHost.cpp rather than being convenient: the same argument type-checks, the same 100k-instruction budget per callback, the same event shapes, and the same store restrictions. That has caught real defects — the device store accepts strings and numbers only, and a boolean flag thrown inside a guarded callback looks exactly like a keypress doing nothing at all.

Device attitude is simulated physically, not faked: a magnetic field of the right magnitude and dip, rotated into the body frame by heading/roll/pitch, plus the hard-iron and zero-g biases measured on a real M9. So calibration, tilt compensation and heading all get exercised for real.

Scenarios

harness.lua holds them all. Board shapes — M9 320x196 landscape, V4/R8 portrait, base-SDK V4 (no extended SDK), Pager, Pager portrait at Jumbo font sizes, Tanmatsu — plus an instruction-cost probe that fails the run if any tick exceeds a quarter of the budget.

Three are about the compass being correct rather than merely working:

  • declination — pulls the generated WMM block straight out of the app file and checks it against NOAA reference values at six sites, including a weak-field one near the pole. Testing the shipped bytes, not a copy, so a bad regeneration fails here rather than on hardware. See scripts/wmm/.
  • bearings_absolute — contacts placed due N/E/S/W and NE of the fix, to check bearings against absolute compass directions. The older marker test compares each drawn dot against the app's own bearing, which stays self-consistent even if east and west are swapped; this one would not. The north-east case is what separates a mirror from a lat/lon transpose (38.3° vs 51.7°).
  • align_nofix — "set north" pressed with no position at all. The offset it stores silently swallows the whole declination, so the app has to give it back when the first fix lands, or the heading is wrong by twice it.

Reading a failure

Scenarios print what they saw before asserting, so a failure usually names the cause. Two conventions worth knowing:

  • The dial centre is read out of the canvas draw order: digits, degree sign, T/M reference, cardinal. Add anything to that sequence and the index offsets in the assertions move with it.
  • APP ERROR: means the app raised inside a guarded callback — the harness keeps going, and the scenario fails later on a symptom. The first APP ERROR line is the real one.