16 lines
1.4 KiB
Markdown
16 lines
1.4 KiB
Markdown
# Repair conversation acceptance notes
|
|
|
|
Revision: lesson-1. Linked from `sa_conversation` by `repair_test_evidence`, relation Verifies, fragment `acceptance`.
|
|
|
|
## Acceptance
|
|
|
|
This is a reproducible teaching check, not field-test evidence for a real valve.
|
|
|
|
- The Control room calls the Field technician across the operational channel; the correlated Reply reverses the actual Call pair.
|
|
- The SA conversation uses the selected service boundary and explicit Standard client/provider ports. A synchronous operation interface and its Requires/Provides links describe the contract.
|
|
- Both request and report functional exchanges are allocated through matching function/component ports and the boundary exchange.
|
|
- The example carries input/output pressure values `420.0` and `320.0` against the declared 0..600 real type. Values and unit text are descriptive model data; no hydraulic simulation has run.
|
|
- The remote reset and field-repair alternatives join before pressure confirmation. The field procedure and scenario conversation are reused through identities and explicit bindings.
|
|
|
|
Run `cargo test --locked -p oa-core --test release1_teaching` from the repository root to reproduce the core/source oracles. The intentionally unfinished threshold-audit function remains a located coverage warning. Actual equipment safety assessment, executable control validation and field measurements are separate engineering work.
|