field_ios

In-the-field app for Radroots on iOS
git clone https://radroots.dev/git/field_ios.git
Log | Files | Refs | README | LICENSE

README.md (1254B)

      1 # TeraFFI
      2 
      3 The native artifact boundary builds `tera_ffi` and runs `tera_bindgen` from the
      4 single Tera Rust workspace. Shared foundation packages remain exact Git inputs
      5 in `radroots.lib.source-lock.v1.toml`; no separate Lib checkout is a build input.
      6 
      7 Run `make ffi-bootstrap` from the repository root to build, verify and install
      8 the owned candidate. Stage declared producer inputs first. Rust 1.97.1 and its
      9 `llvm-tools` component, Xcode, SwiftFormat and the locked Python verifier are
     10 required. The producer contract declares device, simulator and host targets,
     11 features, release profile, deployment target and path-remapping flags.
     12 
     13 `make ffi-candidate-build ffi-candidate-check` builds and verifies only the
     14 external candidate. `make artifact-check` verifies installed source records and
     15 all installed artifact hashes without building, generating or fetching inputs.
     16 Xcode runs the same read-only preflight. Missing, stale, mixed or unproven
     17 installations fail closed.
     18 
     19 The generated `source.lock` and `provenance.json` distinguish the Tera input tree
     20 from the exact foundation revision. Installed bindings, framework and API
     21 snapshot derive from the same candidate. This local evidence does not qualify
     22 a release or establish remote reachability.