Current phase
Architecture and prototype
The control model is defined. Engineering validation and integration work are still in progress.
Micrantha laboratory · active development
Digitalis is a security architecture and implementation program for attesting mobile application environments, applying deterministic backend policy, and releasing protected configuration only when the required trust conditions are satisfied.
Current phase
The control model is defined. Engineering validation and integration work are still in progress.
Public boundary
This repository is the public publication boundary, not the authoritative private implementation source.
Target deployment
The backend is intended to remain deployable as a Cloudflare Worker with customer-managed options.
Current status
Public language deliberately separates architecture, active prototype work, planned integrations, and production claims. The private engineering repository remains authoritative for implementation state.
Attest, verify, authorize, deliver, install, and refresh through explicit allow, degrade, retry, and deny outcomes.
Implementation is being consolidated around a Cloudflare Worker service boundary and provider-specific verification adapters.
Existing Cloudflare Play Integrity work is being assessed for reuse, alignment, and migration into Digitalis.
The provider abstraction accounts for Apple and Google assurance differences; complete public parity is not yet claimed.
Versioned client packages, provenance metadata, compatibility guarantees, and public release evidence remain roadmap work.
Architecture
The client collects provider evidence and executes an authorized result. The backend owns verification, freshness, policy, and release decisions. Protected behavior remains disabled until the full startup contract succeeds.
Gather platform evidence and bind it to a fresh server challenge.
Validate provider artifacts server-side without flattening assurance semantics.
Apply deterministic policy to produce an explicit operational outcome.
Return signed, versioned, and optionally encrypted configuration after authorization.
Persist approved material using the strongest available platform storage boundary.
Expire trust and re-evaluate posture rather than treating one success as permanent.
Engineering principles
Protected capabilities stay unavailable when evidence, policy, configuration, or storage cannot be verified.
A common contract does not erase meaningful differences between App Attest and Play Integrity assurances.
Freshness, nonces, expiry, and refresh reduce the useful lifetime of captured or previously valid state.
Attestation complements signing, secure storage, anti-rollback, obfuscation, telemetry, and backend authorization.
The architecture should support both a managed service and independently operated backend deployments.
Production readiness requires reproducible releases, test evidence, provenance, operational guidance, and demonstrated integrations.
Near-term roadmap
Keep implementation authority private while publishing reviewed documentation, releases, and provenance through this repository.
Absorb or replace earlier Themis-era and Play Integrity-specific work behind the Digitalis service contract.
Validate end-to-end Google Play Integrity and Apple App Attest flows with deterministic failure and degradation behavior.
Add versioned packages, compatibility matrices, signed artifacts, SBOMs, provenance, and deployment documentation.
Public project boundary
It does not contain the authoritative backend implementation, private threat analysis, secrets, raw attestation evidence, or unreviewed exploit detail.