Dylan
0bc42b2e5a
The port runs on Android and iOS and is feature-complete; the native Android app is superseded but kept, since it is still the only version that has recorded real rides. rippr-flutter-1.0-debug.apk is package com.rippr.port, deliberately different from the native com.rippr so both install side by side. Recording the same ride on both at once is the strongest available check that the port is faithful. Added INSTALL.md covering both platforms. Android is a one-line adb install; iOS has no APK equivalent and must be built and signed through Xcode with a free Apple ID, which gives a 7-day profile. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
61 lines
2.5 KiB
Bash
Executable File
61 lines
2.5 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
# Cross-language parity harness (T07).
|
|
#
|
|
# Drives the SAME fixtures through the native Kotlin implementation and the Dart port,
|
|
# and diffs the output. This is the port's strongest correctness guarantee: it proved the
|
|
# elevation accumulator is bit-identical across both languages.
|
|
#
|
|
# Requires: kotlinc (brew install kotlin) and a JDK 17-21.
|
|
#
|
|
# NOTE: never redirect the build to /dev/null. A v2 sweep once returned four identical
|
|
# results because a quoting bug corrupted the source while the compile error hid behind
|
|
# a redirect. If every value looks suspiciously equal, suspect the harness first.
|
|
set -euo pipefail
|
|
|
|
HERE="$(cd "$(dirname "$0")" && pwd)"
|
|
NATIVE="${RIPPR_NATIVE:-$HOME/dojo/rippr}"
|
|
WORK="$(mktemp -d)"
|
|
trap 'rm -rf "$WORK"' EXIT
|
|
|
|
if [ ! -d "$NATIVE" ]; then
|
|
echo "Native repo not found at $NATIVE. Set RIPPR_NATIVE." >&2
|
|
exit 1
|
|
fi
|
|
|
|
# The files actually under test are copied verbatim from the native repo — never
|
|
# reimplemented. Only the Room-annotated holders and one Telemetry constant are stubbed,
|
|
# so the algorithm files compile without androidx or org.json on the classpath.
|
|
cp "$NATIVE/app/src/main/java/com/rippr/geo/Geo.kt" "$WORK/"
|
|
cp "$NATIVE/app/src/main/java/com/rippr/stats/RideStatistics.kt" "$WORK/"
|
|
cp "$NATIVE/app/src/main/java/com/rippr/export/RideExport.kt" "$WORK/"
|
|
cp "$HERE/stubs.kt" "$HERE/telemetry_stub.kt" "$HERE/main.kt" "$WORK/"
|
|
|
|
echo "== compiling Kotlin oracle =="
|
|
( cd "$WORK" && kotlinc Geo.kt RideStatistics.kt RideExport.kt stubs.kt \
|
|
telemetry_stub.kt main.kt -include-runtime -d parity.jar 2>&1 \
|
|
| grep -v '^warning:' || true )
|
|
|
|
# A missing jar means compilation failed. Never let that pass as a green run -- a v2
|
|
# sweep hid exactly this behind a redirect and reported four identical results.
|
|
if [ ! -f "$WORK/parity.jar" ]; then
|
|
echo "Kotlin oracle failed to compile (see errors above)." >&2
|
|
exit 1
|
|
fi
|
|
|
|
JAVA_BIN="${JAVA_HOME:+$JAVA_HOME/bin/}java"
|
|
"$JAVA_BIN" -jar "$WORK/parity.jar" | grep '=' | sort > "$WORK/kotlin.txt"
|
|
|
|
echo "== running Dart side =="
|
|
( cd "$HERE/../.." && dart run tool/parity/probe.dart ) | grep '=' | sort > "$WORK/dart.txt"
|
|
|
|
echo "== diff =="
|
|
if diff -u "$WORK/kotlin.txt" "$WORK/dart.txt"; then
|
|
echo "PARITY OK - byte-identical on every key"
|
|
else
|
|
echo
|
|
echo "Differences above. Expected and accepted: run_avg_speed and any other"
|
|
echo "speed-derived value, where Kotlin's 32-bit Float widens to double with"
|
|
echo "artefacts Dart's uniform binary64 does not reproduce. Anything else is a bug."
|
|
exit 1
|
|
fi
|