keiro-dsl-ledger.context.surge-demo.txt

keiro-dsl scaffold record v1
spec: keiro-dsl/test/fixtures/surge-service.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 surge-demo behavior source map","path":"Generated/SurgeDemo/BehaviorSourceMap.hs"}
module-role {"family":"Nominals","kind":"generated","ownerKind":"context","ownerName":"context surge-demo generated nominal declarations","path":"Generated/SurgeDemo/Nominals.hs"}
module-role {"family":"Internal","kind":"generated","ownerKind":"context","ownerName":"context surge-demo generated nominal ID internals","path":"Generated/SurgeDemo/Nominals/Internal.hs"}
module-role {"family":"ReplayAudit","kind":"generated","ownerKind":"context","ownerName":"context surge-demo replay-audit assembly","path":"Generated/SurgeDemo/ReplayAudit.hs"}
module-role {"family":"Process","kind":"generated","ownerKind":"process","ownerName":"process SurgeFlow (line 6)","path":"Generated/SurgeDemo/SurgeFlow/Process.hs"}
module-role {"family":"ProcessHoles","kind":"hole","ownerKind":"process","ownerName":"process SurgeFlow (line 6)","path":"SurgeDemo/SurgeFlow/ProcessHoles.hs"}
module-role {"family":"ProcessHarness","kind":"generated","ownerKind":"process","ownerName":"process SurgeFlow (line 6)","path":"Generated/SurgeDemo/SurgeFlow/ProcessHarness.hs"}
module-role {"family":"Domain","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Surge (line 34)","path":"Generated/SurgeDemo/Surge/Domain.hs"}
module-role {"family":"Codec","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Surge (line 34)","path":"Generated/SurgeDemo/Surge/Codec.hs"}
module-role {"family":"Transducer","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Surge (line 34)","path":"Generated/SurgeDemo/Surge/Transducer.hs"}
module-role {"family":"BehaviorContract","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Surge (line 34)","path":"Generated/SurgeDemo/Surge/BehaviorContract.hs"}
module-role {"family":"BehaviorHoles","kind":"hole","ownerKind":"aggregate","ownerName":"aggregate behavior witnesses Surge (line 34)","path":"SurgeDemo/Surge/BehaviorHoles.hs"}
module-role {"family":"EventStream","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Surge (line 34)","path":"Generated/SurgeDemo/Surge/EventStream.hs"}
module-role {"family":"Projection","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Surge (line 34)","path":"Generated/SurgeDemo/Surge/Projection.hs"}
module-role {"family":"Holes","kind":"hole","ownerKind":"aggregate","ownerName":"aggregate Surge (line 34)","path":"SurgeDemo/Surge/Holes.hs"}
module-role {"family":"Harness","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Surge (line 34)","path":"Generated/SurgeDemo/Surge/Harness.hs"}
module-role {"family":"Domain","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Hospital (line 50)","path":"Generated/SurgeDemo/Hospital/Domain.hs"}
module-role {"family":"Codec","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Hospital (line 50)","path":"Generated/SurgeDemo/Hospital/Codec.hs"}
module-role {"family":"Transducer","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Hospital (line 50)","path":"Generated/SurgeDemo/Hospital/Transducer.hs"}
module-role {"family":"BehaviorContract","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Hospital (line 50)","path":"Generated/SurgeDemo/Hospital/BehaviorContract.hs"}
module-role {"family":"BehaviorHoles","kind":"hole","ownerKind":"aggregate","ownerName":"aggregate behavior witnesses Hospital (line 50)","path":"SurgeDemo/Hospital/BehaviorHoles.hs"}
module-role {"family":"EventStream","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Hospital (line 50)","path":"Generated/SurgeDemo/Hospital/EventStream.hs"}
module-role {"family":"Projection","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Hospital (line 50)","path":"Generated/SurgeDemo/Hospital/Projection.hs"}
module-role {"family":"Holes","kind":"hole","ownerKind":"aggregate","ownerName":"aggregate Hospital (line 50)","path":"SurgeDemo/Hospital/Holes.hs"}
module-role {"family":"Harness","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Hospital (line 50)","path":"Generated/SurgeDemo/Hospital/Harness.hs"}
generated Generated/SurgeDemo/BehaviorSourceMap.hs
generated Generated/SurgeDemo/Nominals.hs
generated Generated/SurgeDemo/Nominals/Internal.hs
generated Generated/SurgeDemo/ReplayAudit.hs
generated Generated/SurgeDemo/SurgeFlow/Process.hs
hole SurgeDemo/SurgeFlow/ProcessHoles.hs
generated Generated/SurgeDemo/SurgeFlow/ProcessHarness.hs
generated Generated/SurgeDemo/Surge/Domain.hs
generated Generated/SurgeDemo/Surge/Codec.hs
generated Generated/SurgeDemo/Surge/Transducer.hs
generated Generated/SurgeDemo/Surge/BehaviorContract.hs
hole SurgeDemo/Surge/BehaviorHoles.hs
generated Generated/SurgeDemo/Surge/EventStream.hs
generated Generated/SurgeDemo/Surge/Projection.hs
hole SurgeDemo/Surge/Holes.hs
generated Generated/SurgeDemo/Surge/Harness.hs
generated Generated/SurgeDemo/Hospital/Domain.hs
generated Generated/SurgeDemo/Hospital/Codec.hs
generated Generated/SurgeDemo/Hospital/Transducer.hs
generated Generated/SurgeDemo/Hospital/BehaviorContract.hs
hole SurgeDemo/Hospital/BehaviorHoles.hs
generated Generated/SurgeDemo/Hospital/EventStream.hs
generated Generated/SurgeDemo/Hospital/Projection.hs
hole SurgeDemo/Hospital/Holes.hs
generated Generated/SurgeDemo/Hospital/Harness.hs
id-domain id-domain|name=HospitalId|contract=keiro-dsl/id-domain/typeid-v7/1|prefix=hosp|separator=_|json=canonical-json-text
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":"MarkSurgeTimerFired","evidence":"generated-authoritative","key":"behavior-v1-364cc8c97a1dccd7","kind":"required-rejection","outputs":[],"source":"Fired"}
behavior {"aggregate":"Hospital","command":"ActivateSurge","evidence":"generated-authoritative","key":"behavior-v1-4738b03b129c9778","kind":"live-transition","outputs":[{"command":"ActivateSurge","ownership":"generated-command-identity"}],"source":"Idle"}
behavior {"aggregate":"Surge","command":"NoteSurgeThreshold","evidence":"generated-authoritative","key":"behavior-v1-7bd417bb60f14aea","kind":"live-transition","outputs":[{"command":"NoteSurgeThreshold","ownership":"generated-command-identity"}],"source":"Watching"}
behavior {"aggregate":"Surge","command":"MarkSurgeTimerFired","evidence":"generated-authoritative","key":"behavior-v1-8303777877a78d98","kind":"required-rejection","outputs":[],"source":"Watching"}
behavior {"aggregate":"Hospital","command":"ActivateSurge","evidence":"generated-authoritative","key":"behavior-v1-8cc737e3759c26c7","kind":"required-rejection","outputs":[],"source":"Surging"}
behavior {"aggregate":"Surge","command":"NoteSurgeThreshold","evidence":"generated-authoritative","key":"behavior-v1-9d1377f4e60cd45a","kind":"required-rejection","outputs":[],"source":"Fired"}
behavior {"aggregate":"Surge","command":"NoteSurgeThreshold","evidence":"generated-authoritative","key":"behavior-v1-c7783d8bb46678fe","kind":"required-rejection","outputs":[],"source":"Noted"}
behavior {"aggregate":"Surge","command":"MarkSurgeTimerFired","evidence":"generated-authoritative","key":"behavior-v1-db2fec76864e5867","kind":"live-transition","outputs":[{"command":"MarkSurgeTimerFired","ownership":"generated-command-identity"}],"source":"Noted"}
semantic-impact {"declarations":[],"mappedSurfaceEvidenceVersion":1,"serviceInventory":[]}