keiro-dsl-scaffold-record.my-service.txt

keiro-dsl scaffold record v1
spec: /dev/stdin
module-root: SkelAggregate
layout: prefixed
source-language {"declaredLanguageVersion":1,"effectiveLanguageVersion":1,"sourceForm":"declared"}
generated SkelAggregate/Generated/MyService/Nominals.hs
generated SkelAggregate/Generated/MyService/ReplayAudit.hs
generated SkelAggregate/Generated/MyService/Thing/Domain.hs
generated SkelAggregate/Generated/MyService/Thing/Codec.hs
generated SkelAggregate/Generated/MyService/Thing/EventStream.hs
generated SkelAggregate/Generated/MyService/Thing/Projection.hs
hole SkelAggregate/MyService/Thing/Holes.hs
generated SkelAggregate/Generated/MyService/Thing/Harness.hs
behavior {"aggregate":"Thing","command":"DoThing","evidence":"legacy-runtime-witness","key":"behavior-v1-0cb7aebe444315b5","kind":"live-transition","outputs":[{"obligation":"event-output-v1/Thing/live/Pending/DoThing/unguarded/state:=Done/ThingCompleted/Done/1/ThingCompleted","ownership":"hand-owned"}],"source":"Pending"}
behavior {"aggregate":"Thing","command":"DoThing","evidence":"legacy-runtime-witness","key":"behavior-v1-9879aa7cdadb6004","kind":"required-rejection","outputs":[],"source":"Done"}