Codex
e2ecfea69b
Rust checks / check (ubuntu-latest) (push) Canceled after 0s
Rust checks / check (windows-latest) (push) Canceled after 0s
Preserve current core, source, REST, desktop, recovery, documentation and validation work, including AGENTS.md and the development summary. This is a work-in-progress checkpoint: the new compact palette has outstanding compilation errors and native acceptance; earlier passing gates retain their documented scope.
34 lines
1.9 KiB
Plaintext
34 lines
1.9 KiB
Plaintext
arcadia 7;
|
|
project pressure_restoration "Restore safe water pressure — release 1 walkthrough" id "2786d72f-5763-5f33-a57f-2773a4ca1a6c" {
|
|
description "A controller either resets a valve remotely or requests field repair. Compare the operational need with the explicitly chosen coordination-service boundary. Start with README.md beside project.arcadia. Units and guards are descriptive; this model does not simulate a real water network.";
|
|
include "oa/activities/activity_oa_restore_work.arcadia";
|
|
include "oa/behavior/process_oa_assessment_procedure.arcadia";
|
|
include "oa/behavior/process_oa_field_procedure.arcadia";
|
|
include "oa/behavior/process_oa_response.arcadia";
|
|
include "oa/behavior/scenario_oa_conversation.arcadia";
|
|
include "oa/behavior/scenario_oa_full_scenario.arcadia";
|
|
include "oa/behavior/state_machine_oa_monitor.arcadia";
|
|
include "oa/capabilities.arcadia";
|
|
include "oa/model.arcadia";
|
|
include "oa/participants.arcadia";
|
|
include "oa/types.arcadia";
|
|
include "sa/behavior/process_sa_assessment_procedure.arcadia";
|
|
include "sa/behavior/process_sa_field_procedure.arcadia";
|
|
include "sa/behavior/process_sa_response.arcadia";
|
|
include "sa/behavior/scenario_sa_conversation.arcadia";
|
|
include "sa/behavior/scenario_sa_full_scenario.arcadia";
|
|
include "sa/behavior/state_machine_sa_monitor.arcadia";
|
|
include "sa/capabilities.arcadia";
|
|
include "sa/functions/function_sa_audit_thresholds.arcadia";
|
|
include "sa/functions/function_sa_restore_work.arcadia";
|
|
include "sa/model.arcadia";
|
|
include "sa/participants.arcadia";
|
|
include "sa/types.arcadia";
|
|
include "traceability.arcadia";
|
|
include "views/diagram_oa_allocation_view.arcadia";
|
|
include "views/diagram_sa_allocation_view.arcadia";
|
|
include "views/diagram_sa_capability_view.arcadia";
|
|
include "views/diagram_sa_service_view.arcadia";
|
|
include "views/diagram_sa_state_view.arcadia";
|
|
}
|