Reports
Development and milestone reports
Progress recorded under the project honesty rule. Every entry is either a stated fact, traceable to a build or a file, or marked as pending. Confirmed items are proven; pending items are declared, not asserted.
Scope. This page currently lists reports as static, publicly readable entries. It is not yet connected to a live submission backend, and it is not yet placed behind certified access. Both are planned; see /certified.
2026-09-15 · Aether Certify · native on-device compiler (mobile)
confirmed
Compiler runs natively on-device
The Aether compiler is built as a native
arm64 library and called through JNI from the Android app Aether Certify. Source compiles to a certification manifest on the handset itself, offline.confirmed
Full certification battery on device
The native path invokes the full driver (
compile_full), with the energy gate measured on-device. A real compile produced an EMITTED manifest on a physical Google Pixel 2 XL.confirmed
Operator console
Source editor with built-in samples, file open and save, copy-to-clipboard report, print with a Save-as-PDF option, and manifest download. The compile button is colour-coded: blue when edited, green when certified, amber when declined, red on error.
confirmed
Per-parameter pragma selectors
A dropdown for each certification parameter — identity, memory, stack, WCET, power, interrupt, timing, verification, energy, operator and attestation — assembles editable pragma lines and inserts them into the source. What compiles is always the visible source.
confirmed
Help and walkthrough
A full in-app reference covering every certification gate, every verdict, and every control, plus an eight-step guided walkthrough for a first-time operator.
confirmed
Honest recording
Each result carries the engine banner, an on-device compile-time-only note, and a disclaimer that a declined row is the compiler refusing to assert what it cannot ground.
pending
Accredited certification
The manifest is a compile-time record produced on-device. It is not an accredited third-party certificate. Stated as a limit, not a claim.
pending
Certified authorization
Authorized use via a keyed daily-code system at /certified is designed, not yet built.
Proof · verified this session
Gradle :app -> BUILD SUCCESSFUL Install -> finished, Google Pixel 2 XL (arm64) Native compile-> EMITTED, full certification manifest Engine -> full battery, energy gate measured on-device