leonard_native 0.2.2

A pure-Dart Leonard contract extension that perceives and drives a native mobile app over the OS accessibility tree (via Appium/XCUITest): a stateful, self-watching extension projecting the a11y tree [...]

leonard_native

A pure-Dart Leonard contract extension that lets the target-agnostic Leonard driver perceive and drive a native mobile app (iOS first) over the unchanged ext.leonard.* surface — by observing the OS accessibility tree (via Appium/XCUITest) instead of a Flutter widget tree or a tmux server.

This is the native analogue of leonard_tmux:

tmux	native
TmuxExtension	NativeExtension
TmuxObservation	NativeSnapshot
TmuxPerception	NativePerception
TmuxClient seam	NativeBackend seam
ProcessTmuxExecutor	XcuiTestBackend

NativeExtension exposes four tools — native.tap, native.enter_text, native.press, native.swipe — and projects the a11y tree into the extensions.native observation fragment. The fragment uses the same canonical per-node record schema as the Flutter semantics fragment ({id, role, rect, label?, value?, state?, actions?, scroll?}).

Running the host

The host runner serves the native extension over the VM service. It expects an already-running Appium server and an already-booted iOS simulator (it does NOT boot either):

dart run --enable-vm-service=0 --disable-service-auth-codes \
  bin/leonard_native_host.dart \
  --udid <booted-sim-udid> --app /path/to/Runner.app

It prints LEONARD_HOST_READY once installed; point a LeonardSession (or leonard_cli / leonard_drive) at the printed VM-service ws URI.

Args:

• --server <url> — Appium server (default http://127.0.0.1:4723)
• --udid <udid> — booted simulator udid (required)
• --app <path> — path to the .app bundle (required)
• --platform ios — target platform (default ios)

Mutation-testing pilot

Mutation score is this pilot's primary test-quality metric: it measures the share of generated behavior changes detected by assertions. Line coverage is used only to skip instrumented lines with zero hits.

From the workspace root, size the run before spending the full mutation cost:

./tool/run_mutation_pilot.sh dry

The measured mutant count is recorded in artifacts/mutation/leonard_native/dry/console.txt. Then run the calibration:

./tool/run_mutation_pilot.sh full

If artifacts/coverage/leonard_native.lcov exists, the runner supplies a package-relative copy to mutation_test; if it is absent, all candidate lines remain eligible. The human report is artifacts/mutation/leonard_native/full/mutation-test-report.html. The stable machine-readable score and survivor data are in artifacts/mutation/leonard_native/full/mutation-test-report.xml; JUnit, XUnit, and Markdown reports are emitted beside it.

This pilot is informational. It defines no score threshold and is not a pull request gate. Future pull-request experiments may pass changed production Dart files as positional inputs, while a fuller sweep rotates separately. Parsing the XML into the external tg-5drf.2 ledger projection is owned by that metrics work and is outside this pilot.

leonard_native is pure Dart. An arbitrary test command can be configured in XML, but flutter test compatibility has not been verified, so this result does not establish mutation testing for Flutter packages. The deferred lenny-mab flake is outside this package and does not corrupt this baseline; it must be cleared before mutation expands to leonard_devtools.