Verification evidence
Verification evidence
Section titled “Verification evidence”Current release candidate: 0.1.0 on 2026-08-02.
Machine-readable release evidence is stored in:
docs/releases/0.0.1.ymldocs/releases/0.1.0.yml
Complete release gate
Section titled “Complete release gate”make ci
spec: validated 10 documents, 17 requirements, and 13 use casesrelease: version=0.1.0 tag=v0.1.0 metadata=okBUILD SUCCESSFUL in 39s192 actionable tasksThe same tree passes git diff --check.
suites: 8tests: 21failures: 0errors: 0skipped: 0Covered behavior includes:
- natural filename and disc/track sorting;
- pCloud file/folder identity and accepted regional hosts;
- atomic queue replacement, play-next, append, reorder, removal, and selection;
- recursive folder traversal, omissions, and previous-queue preservation;
- progress completion and smart rewind;
- deterministic demo folders and generated valid WAV media;
- DataStore queue/progress round trips without signed-link persistence;
- compact Compose navigation, library rendering, and OAuth settings controls.
Android lint completes with:
errors: 0warnings: 0informational: NewerVersionAvailable: 1 OldTargetApi: 1The informational target notice is intentional: current AndroidX is compiled against API 37 while runtime behavior remains targeted to stable API 36 until the Android 17 compatibility matrix is completed.
Toolchain
Section titled “Toolchain”Java: Eclipse Temurin 21Gradle: 9.6.1Android_Gradle_Plugin: 9.3.1compile_sdk: 37target_sdk: 36build_tools: 37.0.0toolchain_image_id: sha256:93420ccd18a67c7e3a72868111b7dcc24cd51e5dafb0a8003b41b10fe0d7d43aGradle_wrapper_sha256: 497c8c2a7e5031f6aa847f88104aa80a93532ec32ee17bdb8d1d2f67a194a9c7Android_tools_sha256: 4e4c464f145a7512b57d088ac6c278c03c9eea610886b35a5e0804e74eedf583Robolectric_runtime_sha256: 16f1f751643d1d3d5592008846bbdfc1e57cff15e6ec303d26584de3b6ac25ecpath: app/build/outputs/apk/debug/app-debug.apkpackage: dev.properpcloud.appversion_code: 1000version_name: 0.1.0minimum_sdk: 26compile_sdk: 37target_sdk: 36size_bytes: 23822451sha256: c24832c85b9e0c57f7579a0ed4a46e28ee5e403b8a3bf6b54dddd66ba1440558signing: Android debug keyHonest external gates
Section titled “Honest external gates”The deterministic demo source is fully validated in public CI. The following cannot be inferred without maintainer-provided devices/accounts and remain explicit external gates:
- live pCloud OAuth for US and EU accounts;
- large private folder traversal and provider-specific codecs;
- expired-link renewal against real pCloud capabilities;
- account revocation and restoration;
- physical-device TalkBack/large-font review;
- Android 17 runtime compatibility;
- production signing and store distribution.
The checklist is in docs/pcloud-setup.md. Release language must preserve this
distinction rather than claiming live-provider validation from fakes.
