keiro-dsl-ledger.context.incident-paging.txt

keiro-dsl scaffold record v1
spec: keiro-dsl/test/fixtures/incident-paging/incident-paging.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 incident-paging behavior source map","path":"Generated/IncidentPaging/BehaviorSourceMap.hs"}
module-role {"family":"ReplayAudit","kind":"generated","ownerKind":"context","ownerName":"context incident-paging replay-audit assembly","path":"Generated/IncidentPaging/ReplayAudit.hs"}
module-role {"family":"ReadModelTable","kind":"generated","ownerKind":"readmodel","ownerName":"readmodel service_oncall (line 4)","path":"Generated/IncidentPaging/ServiceOncall/ReadModelTable.hs"}
module-role {"family":"ReadModel","kind":"generated","ownerKind":"readmodel","ownerName":"readmodel service_oncall (line 4)","path":"Generated/IncidentPaging/ServiceOncall/ReadModel.hs"}
module-role {"family":"ReadModelHoles","kind":"hole","ownerKind":"readmodel","ownerName":"readmodel service_oncall (line 4)","path":"IncidentPaging/ServiceOncall/ReadModelHoles.hs"}
module-role {"family":"ReadModelHarness","kind":"generated","ownerKind":"readmodel","ownerName":"readmodel service_oncall (line 4)","path":"Generated/IncidentPaging/ServiceOncall/ReadModelHarness.hs"}
module-role {"family":"Router","kind":"generated","ownerKind":"router","ownerName":"router PagingRouter (line 18)","path":"Generated/IncidentPaging/PagingRouter/Router.hs"}
module-role {"family":"RouterHoles","kind":"hole","ownerKind":"router","ownerName":"router PagingRouter (line 18)","path":"IncidentPaging/PagingRouter/RouterHoles.hs"}
module-role {"family":"RouterHarness","kind":"generated","ownerKind":"router","ownerName":"router PagingRouter (line 18)","path":"Generated/IncidentPaging/PagingRouter/RouterHarness.hs"}
module-role {"family":"Domain","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Page (line 31)","path":"Generated/IncidentPaging/Page/Domain.hs"}
module-role {"family":"Codec","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Page (line 31)","path":"Generated/IncidentPaging/Page/Codec.hs"}
module-role {"family":"Transducer","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Page (line 31)","path":"Generated/IncidentPaging/Page/Transducer.hs"}
module-role {"family":"BehaviorContract","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Page (line 31)","path":"Generated/IncidentPaging/Page/BehaviorContract.hs"}
module-role {"family":"BehaviorHoles","kind":"hole","ownerKind":"aggregate","ownerName":"aggregate behavior witnesses Page (line 31)","path":"IncidentPaging/Page/BehaviorHoles.hs"}
module-role {"family":"EventStream","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Page (line 31)","path":"Generated/IncidentPaging/Page/EventStream.hs"}
module-role {"family":"Projection","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Page (line 31)","path":"Generated/IncidentPaging/Page/Projection.hs"}
module-role {"family":"Harness","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Page (line 31)","path":"Generated/IncidentPaging/Page/Harness.hs"}
generated Generated/IncidentPaging/BehaviorSourceMap.hs
generated Generated/IncidentPaging/ReplayAudit.hs
generated Generated/IncidentPaging/ServiceOncall/ReadModelTable.hs
generated Generated/IncidentPaging/ServiceOncall/ReadModel.hs
hole IncidentPaging/ServiceOncall/ReadModelHoles.hs
generated Generated/IncidentPaging/ServiceOncall/ReadModelHarness.hs
generated Generated/IncidentPaging/PagingRouter/Router.hs
hole IncidentPaging/PagingRouter/RouterHoles.hs
generated Generated/IncidentPaging/PagingRouter/RouterHarness.hs
generated Generated/IncidentPaging/Page/Domain.hs
generated Generated/IncidentPaging/Page/Codec.hs
generated Generated/IncidentPaging/Page/Transducer.hs
generated Generated/IncidentPaging/Page/BehaviorContract.hs
hole IncidentPaging/Page/BehaviorHoles.hs
generated Generated/IncidentPaging/Page/EventStream.hs
generated Generated/IncidentPaging/Page/Projection.hs
generated Generated/IncidentPaging/Page/Harness.hs
behavior {"aggregate":"Page","command":"SendPage","evidence":"generated-authoritative","key":"behavior-v1-4cc963adc6662c5e","kind":"required-rejection","outputs":[],"source":"Delivered"}
behavior {"aggregate":"Page","command":"SendPage","evidence":"generated-authoritative","key":"behavior-v1-d0a1ec215dcca5f8","kind":"live-transition","outputs":[{"command":"SendPage","ownership":"generated-command-identity"}],"source":"Pending"}
router-selection {"fingerprint":null,"identity":null,"router":"PagingRouter","verification":"custom-unverified","version":null}
semantic-impact {"declarations":[],"mappedSurfaceEvidenceVersion":1,"serviceInventory":[]}