keiro-dsl-ledger.context.hospital-capacity.txt

keiro-dsl scaffold record v1
spec: keiro-dsl/test/fixtures/hospital-surge.keiro
module-root: (none)
layout: prefixed
source-language {"declaredLanguageVersion":4,"effectiveLanguageVersion":4,"sourceForm":"declared"}
semantic-contract {"languageSupport":"compatibility-only","languageVersion":4,"runtimeSemantics":"keiro-dsl/runtime-semantics/3"}
naming-edition idiomatic-v2
module-role {"family":"BehaviorSourceMap","kind":"generated","ownerKind":"context","ownerName":"context hospital-capacity behavior source map","path":"Generated/HospitalCapacity/BehaviorSourceMap.hs"}
module-role {"family":"Nominals","kind":"generated","ownerKind":"context","ownerName":"context hospital-capacity generated nominal declarations","path":"Generated/HospitalCapacity/Nominals.hs"}
module-role {"family":"Internal","kind":"generated","ownerKind":"context","ownerName":"context hospital-capacity generated nominal ID internals","path":"Generated/HospitalCapacity/Nominals/Internal.hs"}
module-role {"family":"ReplayAudit","kind":"generated","ownerKind":"context","ownerName":"context hospital-capacity replay-audit assembly","path":"Generated/HospitalCapacity/ReplayAudit.hs"}
module-role {"family":"Process","kind":"generated","ownerKind":"process","ownerName":"process HospitalSurge (line 7)","path":"Generated/HospitalCapacity/HospitalSurge/Process.hs"}
module-role {"family":"ProcessHoles","kind":"hole","ownerKind":"process","ownerName":"process HospitalSurge (line 7)","path":"HospitalCapacity/HospitalSurge/ProcessHoles.hs"}
module-role {"family":"ProcessHarness","kind":"generated","ownerKind":"process","ownerName":"process HospitalSurge (line 7)","path":"Generated/HospitalCapacity/HospitalSurge/ProcessHarness.hs"}
module-role {"family":"Domain","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Surge (line 35)","path":"Generated/HospitalCapacity/Surge/Domain.hs"}
module-role {"family":"Codec","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Surge (line 35)","path":"Generated/HospitalCapacity/Surge/Codec.hs"}
module-role {"family":"Transducer","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Surge (line 35)","path":"Generated/HospitalCapacity/Surge/Transducer.hs"}
module-role {"family":"BehaviorContract","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Surge (line 35)","path":"Generated/HospitalCapacity/Surge/BehaviorContract.hs"}
module-role {"family":"BehaviorHoles","kind":"hole","ownerKind":"aggregate","ownerName":"aggregate behavior witnesses Surge (line 35)","path":"HospitalCapacity/Surge/BehaviorHoles.hs"}
module-role {"family":"EventStream","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Surge (line 35)","path":"Generated/HospitalCapacity/Surge/EventStream.hs"}
module-role {"family":"Projection","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Surge (line 35)","path":"Generated/HospitalCapacity/Surge/Projection.hs"}
module-role {"family":"Harness","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Surge (line 35)","path":"Generated/HospitalCapacity/Surge/Harness.hs"}
module-role {"family":"Domain","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Hospital (line 47)","path":"Generated/HospitalCapacity/Hospital/Domain.hs"}
module-role {"family":"Codec","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Hospital (line 47)","path":"Generated/HospitalCapacity/Hospital/Codec.hs"}
module-role {"family":"Transducer","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Hospital (line 47)","path":"Generated/HospitalCapacity/Hospital/Transducer.hs"}
module-role {"family":"BehaviorContract","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Hospital (line 47)","path":"Generated/HospitalCapacity/Hospital/BehaviorContract.hs"}
module-role {"family":"BehaviorHoles","kind":"hole","ownerKind":"aggregate","ownerName":"aggregate behavior witnesses Hospital (line 47)","path":"HospitalCapacity/Hospital/BehaviorHoles.hs"}
module-role {"family":"EventStream","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Hospital (line 47)","path":"Generated/HospitalCapacity/Hospital/EventStream.hs"}
module-role {"family":"Projection","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Hospital (line 47)","path":"Generated/HospitalCapacity/Hospital/Projection.hs"}
module-role {"family":"Harness","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Hospital (line 47)","path":"Generated/HospitalCapacity/Hospital/Harness.hs"}
generated Generated/HospitalCapacity/BehaviorSourceMap.hs
generated Generated/HospitalCapacity/Nominals.hs
generated Generated/HospitalCapacity/Nominals/Internal.hs
generated Generated/HospitalCapacity/ReplayAudit.hs
generated Generated/HospitalCapacity/HospitalSurge/Process.hs
hole HospitalCapacity/HospitalSurge/ProcessHoles.hs
generated Generated/HospitalCapacity/HospitalSurge/ProcessHarness.hs
generated Generated/HospitalCapacity/Surge/Domain.hs
generated Generated/HospitalCapacity/Surge/Codec.hs
generated Generated/HospitalCapacity/Surge/Transducer.hs
generated Generated/HospitalCapacity/Surge/BehaviorContract.hs
hole HospitalCapacity/Surge/BehaviorHoles.hs
generated Generated/HospitalCapacity/Surge/EventStream.hs
generated Generated/HospitalCapacity/Surge/Projection.hs
generated Generated/HospitalCapacity/Surge/Harness.hs
generated Generated/HospitalCapacity/Hospital/Domain.hs
generated Generated/HospitalCapacity/Hospital/Codec.hs
generated Generated/HospitalCapacity/Hospital/Transducer.hs
generated Generated/HospitalCapacity/Hospital/BehaviorContract.hs
hole HospitalCapacity/Hospital/BehaviorHoles.hs
generated Generated/HospitalCapacity/Hospital/EventStream.hs
generated Generated/HospitalCapacity/Hospital/Projection.hs
generated Generated/HospitalCapacity/Hospital/Harness.hs
id-domain id-domain|name=HospitalId|contract=keiro-dsl/id-domain/typeid-v7/1|prefix=hosp|separator=_|json=canonical-json-text
id-domain id-domain|name=CommandId|contract=keiro-dsl/id-domain/typeid-v7/1|prefix=cmd|separator=_|json=canonical-json-text
nominal-equality nominal-equality|name=CommandId|contract=keiro-dsl/nominal-equality/2|key=Text|domain=typeid-v7-text:cmd:keiro-dsl/id-domain/typeid-v7/1|owner=generated
nominal-equality nominal-equality|name=HospitalId|contract=keiro-dsl/nominal-equality/2|key=Text|domain=typeid-v7-text:hosp:keiro-dsl/id-domain/typeid-v7/1|owner=generated
behavior {"aggregate":"Surge","command":"NoteSurgeThreshold","evidence":"generated-authoritative","key":"behavior-v1-5198a253324042e6","kind":"live-transition","outputs":[{"command":"NoteSurgeThreshold","ownership":"generated-command-identity"}],"source":"Idle"}
behavior {"aggregate":"Surge","command":"MarkSurgeTimerFired","evidence":"generated-authoritative","key":"behavior-v1-6721e0b61aa38780","kind":"live-transition","outputs":[{"command":"MarkSurgeTimerFired","ownership":"generated-command-identity"}],"source":"Idle"}
behavior {"aggregate":"Hospital","command":"ActivateSurge","evidence":"generated-authoritative","key":"behavior-v1-69ac3daa8569d350","kind":"live-transition","outputs":[{"command":"ActivateSurge","ownership":"generated-command-identity"}],"source":"Operational"}
semantic-impact {"declarations":[],"mappedSurfaceEvidenceVersion":1,"serviceInventory":[]}