6.9 KiB
Chanora Verification Master Plan
Document status: DV meeting baseline candidate
Date: 2026-05-29
Applies to: Chanora 0.2.0-beta.1 workspace / v1.0.0-rc.1 release-candidate evidence
Primary upstream documents: docs/sysrs.md, docs/sysdes.md, docs/srs.md, docs/architecture/sad.md, docs/architecture/sdd.md, docs/implementation-status-2026-05-28.md
1. Purpose
This plan defines the verification evidence Chanora must present at the DV meeting. It does not approve release by itself. It gives reviewers a single route from requirements and design baselines to available tests, demos, audits, waivers, and release gates.
The DV meeting may approve the verification posture for continued internal candidate work if the open gates are accepted as explicit waivers. Public or store release remains blocked until the release-readiness record reaches Go.
2. Verification Lifecycle Mapping
| Lifecycle level | Plan | Primary input | Verification focus |
|---|---|---|---|
| SWE.4 | docs/verification/swe4-unit-verification-plan.md |
docs/architecture/sdd.md module behavior plus current crate and Flutter tests |
Unit behavior of reducers, protocol mappers, audio processors, storage, diagnostics, UI services, and utility logic |
| SWE.5 | docs/verification/swe5-software-integration-verification-plan.md |
docs/architecture/sad.md component interfaces and docs/architecture/sdd.md module integration hooks |
Integration across Flutter, bridge, Rust core, protocol, audio, storage, diagnostics, resolver, and packaging boundaries |
| SWE.6 | docs/verification/swe6-software-verification-plan.md |
docs/srs.md |
Integrated software verification against SRS, especially SRS-128 MVP acceptance |
| SYS.4 | docs/verification/sys4-system-integration-verification-plan.md |
docs/sysdes.md and external environment assumptions |
System integration with compatible servers, OS services, hardware, network, app stores, diagnostics, and release operations |
3. Verification Policy
Verification evidence shall be recorded as one of these states:
| State | Meaning | DV handling |
|---|---|---|
| Passed | Evidence exists and satisfies the stated criterion | Accept as supporting evidence |
| Passed with limitation | Evidence exists, but scope is narrower than final release scope | Accept only with documented limitation |
| Not run | Criterion is defined but no run is recorded for the candidate | Requires waiver or follow-up action |
| Failed | Evidence exists and does not satisfy the criterion | Blocks the covered release scope unless waived by the release owner |
| Deferred | Requirement is intentionally outside current candidate scope | Requires requirement stage or waiver reference |
| Blocked | External decision, platform access, legal sign-off, or environment prevents completion | Requires owner and unblock condition |
No document in this pack may convert an implementation gap into a pass. Gaps must be represented as Not run, Deferred, or Blocked.
4. Current Evidence Sources
| Evidence source | Current content | DV use |
|---|---|---|
.github/workflows/ci.yml |
Rust workspace check/test, advisory clippy, cargo-deny, cargo-about inventory check, Flutter analyze/test, unsigned iOS release build | Build, unit, static-analysis, supply-chain, Flutter test, and iOS unsigned build evidence |
.github/workflows/bench-advisory.yml |
Advisory-only realtime audio benchmark workflow for PR/push events | Performance trend evidence, not a hard quality gate |
docs/implementation-status-2026-05-28.md |
Current implementation status, blockers, partial areas, and P1/P2 gaps | Primary readiness and waiver input |
apps/chanora_flutter/test/ |
Flutter widget/service/e2e-labeled tests | SWE.4/SWE.5/SWE.6 evidence depending on test type |
| Rust crate tests and benches | Workspace tests plus audio benchmark harnesses | SWE.4/SWE.5 performance and component evidence |
tools/windows-smoke.md |
Windows source-build smoke procedure | SYS.4/SWE.5 manual platform evidence when executed |
docs/release/ios-build.md |
Unsigned iOS verification build note | Release and platform build evidence |
5. Entry Criteria for DV Review
| Criterion | Status | Evidence |
|---|---|---|
| SysRS baseline available | Met | docs/sysrs.md |
| SysDes baseline available | Met | docs/sysdes.md |
| SRS baseline available | Met | docs/srs.md |
| SAD baseline available | Met | docs/architecture/sad.md |
| SDD baseline available | Met | docs/architecture/sdd.md |
| Verification plans available | Met by this pack | docs/verification/ |
| Traceability summary available | Met by this pack | docs/governance/traceability-matrix.md |
| Release decision record available | Met by this pack | docs/release/release-readiness-go-nogo-record.md |
| Open gates represented as waivers or blockers | Met by this pack | docs/release/dv-waiver-register.md |
6. Exit Criteria for DV Meeting
The DV meeting can pass the documentation baseline if reviewers agree that:
| Exit criterion | Required result |
|---|---|
| Requirements-to-verification route is reviewable | SysRS/SysDes/SRS items map to verification plans and acceptance evidence |
| MVP acceptance criteria are explicit | SysRS-241 through SysRS-257 appear in SWE.6 with evidence status |
| Verification scope is honest | Known gaps are not marked as passed |
| Waivers are explicit | Each release-affecting gap has owner, impact, mitigation, and unblock condition |
| Release recommendation is clear | Current candidate is not represented as public-release-ready while DEC-012 and other gates remain open |
7. Open Gates Affecting Release
| Gate | Status | Release impact | Owning document |
|---|---|---|---|
| DEC-012 legal/trademark/OSS sign-off | Blocked / open | Blocks public or store release | docs/legal/trademark-and-attribution-review.md, docs/release/dv-waiver-register.md |
| Android Keystore-backed DEK | Deferred to v1.1 | Blocks claim that Android secrets use hardware-backed DEK protection | docs/release/dv-waiver-register.md |
| Full state reducer test suite | Partial | Blocks full claim for SysRS-235/SysDes-103/SRS-059 through SRS-061 | docs/release/dv-waiver-register.md |
| Desktop and iOS release artifacts | Source-buildable / unsigned only | Blocks broad binary distribution claims | docs/release/release-readiness-go-nogo-record.md |
| Store signing and notarization | Not complete for candidate | Blocks production release | docs/release/release-readiness-go-nogo-record.md |
8. DV Recommendation
Recommended DV outcome: Pass documentation baseline with release waivers recorded.
This means the project has enough document structure to conduct DV review and continue internal candidate validation, but it does not mean the candidate is approved for public release. The release decision remains No-Go for public/store release until legal, signing, platform, and evidence gates are closed or formally waived by the accountable owners.