keiro-dsl-ledger.context.process-reactions.txt

keiro-dsl scaffold record v1
spec: keiro-dsl/test/fixtures/process-reactions.keiro
module-root: (none)
layout: prefixed
source-language {"declaredLanguageVersion":6,"effectiveLanguageVersion":6,"sourceForm":"declared"}
semantic-contract {"languageSupport":"candidate","languageVersion":6,"runtimeSemantics":"keiro-dsl/runtime-semantics/5"}
naming-edition idiomatic-v2
module-role {"family":"BehaviorSourceMap","kind":"generated","ownerKind":"context","ownerName":"context process-reactions behavior source map","path":"Generated/ProcessReactions/BehaviorSourceMap.hs"}
module-role {"family":"Nominals","kind":"generated","ownerKind":"context","ownerName":"context process-reactions generated nominal declarations","path":"Generated/ProcessReactions/Nominals.hs"}
module-role {"family":"Internal","kind":"generated","ownerKind":"context","ownerName":"context process-reactions generated nominal ID internals","path":"Generated/ProcessReactions/Nominals/Internal.hs"}
module-role {"family":"ReplayAudit","kind":"generated","ownerKind":"context","ownerName":"context process-reactions replay-audit assembly","path":"Generated/ProcessReactions/ReplayAudit.hs"}
module-role {"family":"Input","kind":"generated","ownerKind":"process","ownerName":"process input IncidentReaction (line 7)","path":"Generated/ProcessReactions/IncidentReaction/Input.hs"}
module-role {"family":"Process","kind":"generated","ownerKind":"process","ownerName":"process reaction IncidentReaction (line 7)","path":"Generated/ProcessReactions/IncidentReaction/Process.hs"}
module-role {"family":"ProcessHoles","kind":"hole","ownerKind":"process","ownerName":"process decoder IncidentReaction (line 7)","path":"ProcessReactions/IncidentReaction/ProcessHoles.hs"}
module-role {"family":"ProcessHarness","kind":"generated","ownerKind":"process","ownerName":"process IncidentReaction (line 7)","path":"Generated/ProcessReactions/IncidentReaction/ProcessHarness.hs"}
module-role {"family":"Input","kind":"generated","ownerKind":"process","ownerName":"process input AuditOnly (line 32)","path":"Generated/ProcessReactions/AuditOnly/Input.hs"}
module-role {"family":"Process","kind":"generated","ownerKind":"process","ownerName":"process reaction AuditOnly (line 32)","path":"Generated/ProcessReactions/AuditOnly/Process.hs"}
module-role {"family":"ProcessHoles","kind":"hole","ownerKind":"process","ownerName":"process decoder AuditOnly (line 32)","path":"ProcessReactions/AuditOnly/ProcessHoles.hs"}
module-role {"family":"ProcessHarness","kind":"generated","ownerKind":"process","ownerName":"process AuditOnly (line 32)","path":"Generated/ProcessReactions/AuditOnly/ProcessHarness.hs"}
module-role {"family":"Input","kind":"generated","ownerKind":"process","ownerName":"process input ScalingReaction (line 46)","path":"Generated/ProcessReactions/ScalingReaction/Input.hs"}
module-role {"family":"Process","kind":"generated","ownerKind":"process","ownerName":"process reaction ScalingReaction (line 46)","path":"Generated/ProcessReactions/ScalingReaction/Process.hs"}
module-role {"family":"ProcessHoles","kind":"hole","ownerKind":"process","ownerName":"process decoder ScalingReaction (line 46)","path":"ProcessReactions/ScalingReaction/ProcessHoles.hs"}
module-role {"family":"ProcessHarness","kind":"generated","ownerKind":"process","ownerName":"process ScalingReaction (line 46)","path":"Generated/ProcessReactions/ScalingReaction/ProcessHarness.hs"}
module-role {"family":"Domain","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate IncidentSaga (line 754)","path":"Generated/ProcessReactions/IncidentSaga/Domain.hs"}
module-role {"family":"Codec","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate IncidentSaga (line 754)","path":"Generated/ProcessReactions/IncidentSaga/Codec.hs"}
module-role {"family":"Transducer","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate IncidentSaga (line 754)","path":"Generated/ProcessReactions/IncidentSaga/Transducer.hs"}
module-role {"family":"BehaviorContract","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate IncidentSaga (line 754)","path":"Generated/ProcessReactions/IncidentSaga/BehaviorContract.hs"}
module-role {"family":"BehaviorHoles","kind":"hole","ownerKind":"aggregate","ownerName":"aggregate behavior witnesses IncidentSaga (line 754)","path":"ProcessReactions/IncidentSaga/BehaviorHoles.hs"}
module-role {"family":"EventStream","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate IncidentSaga (line 754)","path":"Generated/ProcessReactions/IncidentSaga/EventStream.hs"}
module-role {"family":"Projection","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate IncidentSaga (line 754)","path":"Generated/ProcessReactions/IncidentSaga/Projection.hs"}
module-role {"family":"Harness","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate IncidentSaga (line 754)","path":"Generated/ProcessReactions/IncidentSaga/Harness.hs"}
module-role {"family":"Domain","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Incident (line 764)","path":"Generated/ProcessReactions/Incident/Domain.hs"}
module-role {"family":"Codec","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Incident (line 764)","path":"Generated/ProcessReactions/Incident/Codec.hs"}
module-role {"family":"Transducer","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Incident (line 764)","path":"Generated/ProcessReactions/Incident/Transducer.hs"}
module-role {"family":"BehaviorContract","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Incident (line 764)","path":"Generated/ProcessReactions/Incident/BehaviorContract.hs"}
module-role {"family":"BehaviorHoles","kind":"hole","ownerKind":"aggregate","ownerName":"aggregate behavior witnesses Incident (line 764)","path":"ProcessReactions/Incident/BehaviorHoles.hs"}
module-role {"family":"EventStream","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Incident (line 764)","path":"Generated/ProcessReactions/Incident/EventStream.hs"}
module-role {"family":"Projection","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Incident (line 764)","path":"Generated/ProcessReactions/Incident/Projection.hs"}
module-role {"family":"Harness","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate Incident (line 764)","path":"Generated/ProcessReactions/Incident/Harness.hs"}
generated Generated/ProcessReactions/BehaviorSourceMap.hs
generated Generated/ProcessReactions/Nominals.hs
generated Generated/ProcessReactions/Nominals/Internal.hs
generated Generated/ProcessReactions/ReplayAudit.hs
generated Generated/ProcessReactions/IncidentReaction/Input.hs
generated Generated/ProcessReactions/IncidentReaction/Process.hs
hole ProcessReactions/IncidentReaction/ProcessHoles.hs
generated Generated/ProcessReactions/IncidentReaction/ProcessHarness.hs
generated Generated/ProcessReactions/AuditOnly/Input.hs
generated Generated/ProcessReactions/AuditOnly/Process.hs
hole ProcessReactions/AuditOnly/ProcessHoles.hs
generated Generated/ProcessReactions/AuditOnly/ProcessHarness.hs
generated Generated/ProcessReactions/ScalingReaction/Input.hs
generated Generated/ProcessReactions/ScalingReaction/Process.hs
hole ProcessReactions/ScalingReaction/ProcessHoles.hs
generated Generated/ProcessReactions/ScalingReaction/ProcessHarness.hs
generated Generated/ProcessReactions/IncidentSaga/Domain.hs
generated Generated/ProcessReactions/IncidentSaga/Codec.hs
generated Generated/ProcessReactions/IncidentSaga/Transducer.hs
generated Generated/ProcessReactions/IncidentSaga/BehaviorContract.hs
hole ProcessReactions/IncidentSaga/BehaviorHoles.hs
generated Generated/ProcessReactions/IncidentSaga/EventStream.hs
generated Generated/ProcessReactions/IncidentSaga/Projection.hs
generated Generated/ProcessReactions/IncidentSaga/Harness.hs
generated Generated/ProcessReactions/Incident/Domain.hs
generated Generated/ProcessReactions/Incident/Codec.hs
generated Generated/ProcessReactions/Incident/Transducer.hs
generated Generated/ProcessReactions/Incident/BehaviorContract.hs
hole ProcessReactions/Incident/BehaviorHoles.hs
generated Generated/ProcessReactions/Incident/EventStream.hs
generated Generated/ProcessReactions/Incident/Projection.hs
generated Generated/ProcessReactions/Incident/Harness.hs
id-domain id-domain|name=IncidentId|contract=keiro-dsl/id-domain/typeid-v7/1|prefix=inc|separator=_|json=canonical-json-text
nominal-equality nominal-equality|name=IncidentId|contract=keiro-dsl/nominal-equality/2|key=Text|domain=typeid-v7-text:inc:keiro-dsl/id-domain/typeid-v7/1|owner=generated
nominal-equality nominal-equality|name=Severity|contract=keiro-dsl/nominal-equality/1|key=Text|domain=finite-text:sev1,sev2|owner=generated
behavior {"aggregate":"Incident","command":"EscalateIncident","evidence":"generated-authoritative","key":"behavior-v1-4126b087f05aadf6","kind":"live-transition","outputs":[{"command":"EscalateIncident","ownership":"generated-command-identity"}],"source":"Open"}
behavior {"aggregate":"IncidentSaga","command":"RecordCritical","evidence":"generated-authoritative","key":"behavior-v1-6b66722f9f2463d3","kind":"live-transition","outputs":[{"command":"RecordCritical","ownership":"generated-command-identity"}],"source":"Open"}
behavior {"aggregate":"IncidentSaga","command":"RecordRoutine","evidence":"generated-authoritative","key":"behavior-v1-825e6c1709cb63b4","kind":"live-transition","outputs":[{"command":"RecordRoutine","ownership":"generated-command-identity"}],"source":"Open"}
process-reaction {"fingerprint":"dff4a685084373ac102b8fa9591bc4cdbaa358a19bdec488ea157bd038421573","holeObligations":["decodeIncidentReactionInput :: RecordedEvent -> Maybe IncidentReactionInput"],"processName":"incident-reaction","verification":"generated-declarative","version":1}
process-reaction {"fingerprint":"a98c341339b007c1e28edff6a1a89b91a9dd3ac63c83bfe57e6b41479d84af96","holeObligations":["decodeAuditOnlyInput :: RecordedEvent -> Maybe AuditOnlyInput"],"processName":"audit-only","verification":"generated-declarative","version":1}
process-reaction {"fingerprint":"8329eab62dfa1917a468c914b9bbb7cae121b5d353656e69543f6aa95a43a14f","holeObligations":["decodeScalingReactionInput :: RecordedEvent -> Maybe ScalingReactionInput"],"processName":"scaling-reaction","verification":"generated-declarative","version":1}
semantic-impact {"declarations":[],"mappedSurfaceEvidenceVersion":1,"serviceInventory":[]}