keiro-dsl-ledger.context.mapped-structural-enum-equality.txt

keiro-dsl scaffold record v1
spec: keiro-dsl/test/fixtures/mapped-structural-enum-equality.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":"StructuralConformance","kind":"generated","ownerKind":"context","ownerName":"context mapped-structural-enum-equality structural conformance","path":"Generated/MappedStructuralEnumEquality/StructuralConformance.hs"}
module-role {"family":"BehaviorSourceMap","kind":"generated","ownerKind":"context","ownerName":"context mapped-structural-enum-equality behavior source map","path":"Generated/MappedStructuralEnumEquality/BehaviorSourceMap.hs"}
module-role {"family":"Request","kind":"generated","ownerKind":"mapped","ownerName":"mapped structural Request (line 14)","path":"Generated/MappedStructuralEnumEquality/Structural/Shape/Request.hs"}
module-role {"family":"RequiredScope","kind":"generated","ownerKind":"mapped","ownerName":"mapped structural RequiredScope (line 4)","path":"Generated/MappedStructuralEnumEquality/Structural/Shape/RequiredScope.hs"}
module-role {"family":"StructuralProjections","kind":"generated","ownerKind":"context","ownerName":"context mapped-structural-enum-equality mapped structural facade","path":"Generated/MappedStructuralEnumEquality/StructuralProjections.hs"}
module-role {"family":"Bindings","kind":"hole","ownerKind":"consumer","ownerName":"consumer binding skeleton Conformance.MappedStructuralEnumEquality.Bindings","path":"Conformance/MappedStructuralEnumEquality/Bindings.hs"}
module-role {"family":"ReplayAudit","kind":"generated","ownerKind":"context","ownerName":"context mapped-structural-enum-equality replay-audit assembly","path":"Generated/MappedStructuralEnumEquality/ReplayAudit.hs"}
module-role {"family":"Domain","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate ScopeGate (line 25)","path":"Generated/MappedStructuralEnumEquality/ScopeGate/Domain.hs"}
module-role {"family":"Codec","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate ScopeGate (line 25)","path":"Generated/MappedStructuralEnumEquality/ScopeGate/Codec.hs"}
module-role {"family":"Transducer","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate ScopeGate (line 25)","path":"Generated/MappedStructuralEnumEquality/ScopeGate/Transducer.hs"}
module-role {"family":"BehaviorContract","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate ScopeGate (line 25)","path":"Generated/MappedStructuralEnumEquality/ScopeGate/BehaviorContract.hs"}
module-role {"family":"BehaviorHoles","kind":"hole","ownerKind":"aggregate","ownerName":"aggregate behavior witnesses ScopeGate (line 25)","path":"MappedStructuralEnumEquality/ScopeGate/BehaviorHoles.hs"}
module-role {"family":"EventStream","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate ScopeGate (line 25)","path":"Generated/MappedStructuralEnumEquality/ScopeGate/EventStream.hs"}
module-role {"family":"Projection","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate ScopeGate (line 25)","path":"Generated/MappedStructuralEnumEquality/ScopeGate/Projection.hs"}
module-role {"family":"Harness","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate ScopeGate (line 25)","path":"Generated/MappedStructuralEnumEquality/ScopeGate/Harness.hs"}
generated Generated/MappedStructuralEnumEquality/StructuralConformance.hs
generated Generated/MappedStructuralEnumEquality/BehaviorSourceMap.hs
generated Generated/MappedStructuralEnumEquality/Structural/Shape/Request.hs
generated Generated/MappedStructuralEnumEquality/Structural/Shape/RequiredScope.hs
generated Generated/MappedStructuralEnumEquality/StructuralProjections.hs
hole Conformance/MappedStructuralEnumEquality/Bindings.hs
generated Generated/MappedStructuralEnumEquality/ReplayAudit.hs
generated Generated/MappedStructuralEnumEquality/ScopeGate/Domain.hs
generated Generated/MappedStructuralEnumEquality/ScopeGate/Codec.hs
generated Generated/MappedStructuralEnumEquality/ScopeGate/Transducer.hs
generated Generated/MappedStructuralEnumEquality/ScopeGate/BehaviorContract.hs
hole MappedStructuralEnumEquality/ScopeGate/BehaviorHoles.hs
generated Generated/MappedStructuralEnumEquality/ScopeGate/EventStream.hs
generated Generated/MappedStructuralEnumEquality/ScopeGate/Projection.hs
generated Generated/MappedStructuralEnumEquality/ScopeGate/Harness.hs
mapping {"bindingSymbol":"Conformance.MappedStructuralEnumEquality.Bindings.requestBinding","bindingVersion":"1","canonicalType":"conformance.Request.v1","mode":"structural","module":"Conformance.MappedStructuralEnumEquality.Domain","package":"keiro-dsl","schema":1,"specName":"Request","type":"Request"}
mapping {"bindingSymbol":"Conformance.MappedStructuralEnumEquality.Bindings.requiredScopeBinding","bindingVersion":"1","canonicalType":"conformance.RequiredScope.v1","mode":"structural","module":"Conformance.MappedStructuralEnumEquality.Domain","package":"keiro-dsl","schema":1,"specName":"RequiredScope","type":"RequiredScope"}
structural-enum-equality keiro-dsl/structural-enum-equality/1:["RequiredScope","keiro-dsl","Conformance.MappedStructuralEnumEquality.Domain","RequiredScope","Conformance.MappedStructuralEnumEquality.Bindings.requiredScopeBinding","1","conformance.RequiredScope.v1","[[\"DiagnosticScope\",\"diagnostic\"],[\"PipelineScope\",\"pipeline\"]]"]
binding {"kind":"binding","mappedName":"Request","module":"Conformance.MappedStructuralEnumEquality.Bindings","path":"requiredScope","schema":1,"signature":"requestBinding.requiredScope :: RequiredScope","symbol":"requestBinding"}
binding {"kind":"fixtures","mappedName":"Request","module":"Conformance.MappedStructuralEnumEquality.Bindings","path":null,"schema":1,"signature":"requestFixtures :: FixtureCases Conformance.MappedStructuralEnumEquality.Domain.Request","symbol":"requestFixtures"}
binding {"kind":"binding","mappedName":"RequiredScope","module":"Conformance.MappedStructuralEnumEquality.Bindings","path":"DiagnosticScope","schema":1,"signature":"requiredScopeBinding.DiagnosticScope :: constructor case","symbol":"requiredScopeBinding"}
binding {"kind":"binding","mappedName":"RequiredScope","module":"Conformance.MappedStructuralEnumEquality.Bindings","path":"PipelineScope","schema":1,"signature":"requiredScopeBinding.PipelineScope :: constructor case","symbol":"requiredScopeBinding"}
binding {"kind":"fixtures","mappedName":"RequiredScope","module":"Conformance.MappedStructuralEnumEquality.Bindings","path":null,"schema":1,"signature":"requiredScopeFixtures :: FixtureCases Conformance.MappedStructuralEnumEquality.Domain.RequiredScope","symbol":"requiredScopeFixtures"}
binding {"kind":"initial-value","mappedName":"RequiredScope","module":"Conformance.MappedStructuralEnumEquality.Bindings","path":null,"schema":1,"signature":"initialScope :: Conformance.MappedStructuralEnumEquality.Domain.RequiredScope","symbol":"initialScope"}
behavior {"aggregate":"ScopeGate","command":"EqRight","evidence":"generated-authoritative","key":"behavior-v1-070772cfee379456","kind":"required-rejection","outputs":[],"source":"Done"}
behavior {"aggregate":"ScopeGate","command":"NeLeft","evidence":"generated-authoritative","key":"behavior-v1-1cdfb1b7e2088a1a","kind":"required-rejection","outputs":[],"source":"Done"}
behavior {"aggregate":"ScopeGate","command":"NeRight","evidence":"generated-authoritative","key":"behavior-v1-2609ef2ca7eca507","kind":"required-rejection","outputs":[],"source":"Done"}
behavior {"aggregate":"ScopeGate","command":"Differ","evidence":"generated-authoritative","key":"behavior-v1-373ac328a7acad82","kind":"required-rejection","outputs":[],"source":"Done"}
behavior {"aggregate":"ScopeGate","command":"NeRight","evidence":"generated-authoritative","key":"behavior-v1-3bd69ca93310ff6c","kind":"live-transition","outputs":[{"command":"NeRight","ownership":"generated-command-identity"}],"source":"Ready"}
behavior {"aggregate":"ScopeGate","command":"Differ","evidence":"generated-authoritative","key":"behavior-v1-677f2db2c9c2a230","kind":"live-transition","outputs":[{"command":"Differ","ownership":"generated-command-identity"}],"source":"Ready"}
behavior {"aggregate":"ScopeGate","command":"Self","evidence":"generated-authoritative","key":"behavior-v1-734985bac0c81864","kind":"required-rejection","outputs":[],"source":"Done"}
behavior {"aggregate":"ScopeGate","command":"NeLeft","evidence":"generated-authoritative","key":"behavior-v1-aad7a9b25d6c4dff","kind":"live-transition","outputs":[{"command":"NeLeft","ownership":"generated-command-identity"}],"source":"Ready"}
behavior {"aggregate":"ScopeGate","command":"Match","evidence":"generated-authoritative","key":"behavior-v1-ab778d2eeb34cd73","kind":"required-rejection","outputs":[],"source":"Done"}
behavior {"aggregate":"ScopeGate","command":"EqRight","evidence":"generated-authoritative","key":"behavior-v1-b44fa84cbf45f2dc","kind":"live-transition","outputs":[{"command":"EqRight","ownership":"generated-command-identity"}],"source":"Ready"}
behavior {"aggregate":"ScopeGate","command":"EqLeft","evidence":"generated-authoritative","key":"behavior-v1-c8ec15a0f293621d","kind":"required-rejection","outputs":[],"source":"Done"}
behavior {"aggregate":"ScopeGate","command":"EqLeft","evidence":"generated-authoritative","key":"behavior-v1-ee7fcaed44a911f9","kind":"live-transition","outputs":[{"command":"EqLeft","ownership":"generated-command-identity"}],"source":"Ready"}
behavior {"aggregate":"ScopeGate","command":"Self","evidence":"generated-authoritative","key":"behavior-v1-f136428bd6a3061f","kind":"live-transition","outputs":[{"command":"Self","ownership":"generated-command-identity"}],"source":"Ready"}
behavior {"aggregate":"ScopeGate","command":"Match","evidence":"generated-authoritative","key":"behavior-v1-fbe937c9ea4bf8c9","kind":"live-transition","outputs":[{"command":"Match","ownership":"generated-command-identity"}],"source":"Ready"}
semantic-impact {"declarations":[{"consequences":[{"consumer":"ScopeGate","kind":"consumer-build"},{"aggregate":"ScopeGate","kind":"private-event-history"}],"consumerEvidence":[{"consumer":"ScopeGate","operation":null,"path":"ScopeGate command Differ .request : Request","surface":"aggregate-command"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate command EqLeft .request : Request","surface":"aggregate-command"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate command EqRight .request : Request","surface":"aggregate-command"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate command Match .request : Request","surface":"aggregate-command"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate command NeLeft .request : Request","surface":"aggregate-command"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate command NeRight .request : Request","surface":"aggregate-command"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate command Self .request : Request","surface":"aggregate-command"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate event Differed .request : Request","surface":"private-event-payload"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate event EqLeftAccepted .request : Request","surface":"private-event-payload"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate event EqRightAccepted .request : Request","surface":"private-event-payload"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate event Matched .request : Request","surface":"private-event-payload"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate event NeLeftAccepted .request : Request","surface":"private-event-payload"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate event NeRightAccepted .request : Request","surface":"private-event-payload"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate event SelfAccepted .request : Request","surface":"private-event-payload"}],"consumers":["ScopeGate"],"declaration":"Request","identity":"structural\u001fkeiro-dsl:Conformance.MappedStructuralEnumEquality.Domain:Request\u001fConformance.MappedStructuralEnumEquality.Bindings.requestBinding\u001f1\u001fconformance.Request.v1\u001fConformance.MappedStructuralEnumEquality.Bindings.requestFixtures\u001f\u001f0937ea60012cd4a9\u001frecord:Request:requiredScope=requiredScope"},{"consequences":[{"consumer":"ScopeGate","kind":"consumer-build"},{"aggregate":"ScopeGate","kind":"private-event-history"},{"aggregate":"ScopeGate","kind":"snapshot-hydration"}],"consumerEvidence":[{"consumer":"ScopeGate","operation":null,"path":"ScopeGate command Differ .request : Request .requiredScope : RequiredScope","surface":"aggregate-command"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate command Differ .requiredScope : RequiredScope","surface":"aggregate-command"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate command EqLeft .request : Request .requiredScope : RequiredScope","surface":"aggregate-command"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate command EqLeft .requiredScope : RequiredScope","surface":"aggregate-command"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate command EqRight .request : Request .requiredScope : RequiredScope","surface":"aggregate-command"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate command EqRight .requiredScope : RequiredScope","surface":"aggregate-command"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate command Match .request : Request .requiredScope : RequiredScope","surface":"aggregate-command"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate command Match .requiredScope : RequiredScope","surface":"aggregate-command"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate command NeLeft .request : Request .requiredScope : RequiredScope","surface":"aggregate-command"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate command NeLeft .requiredScope : RequiredScope","surface":"aggregate-command"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate command NeRight .request : Request .requiredScope : RequiredScope","surface":"aggregate-command"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate command NeRight .requiredScope : RequiredScope","surface":"aggregate-command"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate command Self .request : Request .requiredScope : RequiredScope","surface":"aggregate-command"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate command Self .requiredScope : RequiredScope","surface":"aggregate-command"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate event Differed .request : Request .requiredScope : RequiredScope","surface":"private-event-payload"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate event Differed .requiredScope : RequiredScope","surface":"private-event-payload"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate event EqLeftAccepted .request : Request .requiredScope : RequiredScope","surface":"private-event-payload"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate event EqLeftAccepted .requiredScope : RequiredScope","surface":"private-event-payload"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate event EqRightAccepted .request : Request .requiredScope : RequiredScope","surface":"private-event-payload"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate event EqRightAccepted .requiredScope : RequiredScope","surface":"private-event-payload"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate event Matched .request : Request .requiredScope : RequiredScope","surface":"private-event-payload"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate event Matched .requiredScope : RequiredScope","surface":"private-event-payload"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate event NeLeftAccepted .request : Request .requiredScope : RequiredScope","surface":"private-event-payload"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate event NeLeftAccepted .requiredScope : RequiredScope","surface":"private-event-payload"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate event NeRightAccepted .request : Request .requiredScope : RequiredScope","surface":"private-event-payload"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate event NeRightAccepted .requiredScope : RequiredScope","surface":"private-event-payload"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate event SelfAccepted .request : Request .requiredScope : RequiredScope","surface":"private-event-payload"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate event SelfAccepted .requiredScope : RequiredScope","surface":"private-event-payload"},{"consumer":"ScopeGate","operation":null,"path":"ScopeGate register requiredScope : RequiredScope","surface":"snapshot-register"}],"consumers":["ScopeGate"],"declaration":"RequiredScope","identity":"structural\u001fkeiro-dsl:Conformance.MappedStructuralEnumEquality.Domain:RequiredScope\u001fConformance.MappedStructuralEnumEquality.Bindings.requiredScopeBinding\u001f1\u001fconformance.RequiredScope.v1\u001fConformance.MappedStructuralEnumEquality.Bindings.requiredScopeFixtures\u001fConformance.MappedStructuralEnumEquality.Bindings.initialScope\u001f0b2821aba8872fd3\u001fenum:DiagnosticScope=diagnostic,PipelineScope=pipeline"}],"mappedSurfaceEvidenceVersion":1,"serviceInventory":["Request","RequiredScope"]}