20 lines
3.4 KiB
Markdown
20 lines
3.4 KiB
Markdown
# V2 acceptance audit — 0.2.0
|
|
|
|
The delivered target is an independent Arcadia-inspired Operational Analysis and System Analysis prototype. The normative [language and editing contract](language.rst) defines its exact profile; [scope.md](scope.md) states its boundaries. This audit does not imply full Capella or SysML conformance.
|
|
|
|
| Requirement | Acceptance evidence |
|
|
|---|---|
|
|
| Rust/Iced Windows and Linux | Optimized native desktop/server builds, formatting and strict Clippy pass. Current 93 tests covered on both platforms (one final Windows suite; Linux full baseline plus focused desktop refresh). Both final staged native executables launched and inspected. |
|
|
| OA and SA semantics | 27 typed element kinds, 15 relation kinds, System/external actors, decomposition/leaf allocation/roles, capabilities/missions, sequences, data/interfaces/ports, states/modes and constraints. Core semantic/history/identity/migration tests and actual graphical workflows pass. |
|
|
| Graphical/text equivalence | One typed model/validator; persistent records and fields available in properties and canonical source. Exact strings, aliases, UUID/reference maintenance and undo verified. Native shared-perspective, placement, identity and artifact controls exercised. |
|
|
| First-class text | Syntax highlighting/live lint; invalid drafts retained; explicit Apply and separate text/model histories. Lead/reviewer operated located errors, rejected Apply, Revert and declaration navigation. |
|
|
| Nested views | Shared decomposition/allocation projection feeds canvas, Fit and SVG. Final native inspection confirms readable parent/child headers at 150%; drag/relocation and independent architecture placement behavior verified. |
|
|
| Behavioral views | Repeated occurrences, lifelines/messages/actions and explicit fragments/branches; states/regions/modes with selectable numbered transition routes/details. Native graphical creation, selection and save/reopen exercised. |
|
|
| Bidirectional transitions | Create/link/reviewed update, explicit scope and boundary choices, current/proposed conflicts, Keep/Take/merged values, stable baselines and atomic undo. Native forward/reverse creation, manual link, merge typing, retarget invalidation and reverse reuse verified. |
|
|
| Artifacts and REST | Arbitrary URI/revision/fragment/model-owner metadata; conditional transactions/query/source/transition APIs. Actual HTTP/storage tests, process/restart/auth checks and source→REST→desktop transfer pass. |
|
|
| File safety | Validated atomic saves, exact-byte external conflict detection and dirty/draft guards. Native save refusal preserved externally changed bytes; saved Windows fixtures reopened successfully in Linux. |
|
|
| Independent review | Requirements, correctness, UI/runtime and maintainability reviews completed. Valid material findings fixed and reverified; no unresolved blocking/high-impact finding. |
|
|
| Reproducibility | README build/run/test instructions, locked dependencies and CI matrix; warning-free rendered reST; equal V2 examples; Windows/Linux bundles with recorded hashes and contents. |
|
|
|
|
Detailed observed evidence is in [validation.md](validation.md), [current state](../harness/STATE.md), and the final review/native/Linux/package reports under harness. Remote CI, actual Rust 1.90, Docker/remote installation, broad GPU coverage, accessibility certification and production-scale performance remain untested; those limits are not presented as completed checks.
|