keiro-dsl-ledger.context.calendar-days.txt

keiro-dsl scaffold record v1
spec: keiro-dsl/test/fixtures/calendar-days.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 calendar-days structural conformance","path":"Generated/CalendarDays/StructuralConformance.hs"}
module-role {"family":"BehaviorSourceMap","kind":"generated","ownerKind":"context","ownerName":"context calendar-days behavior source map","path":"Generated/CalendarDays/BehaviorSourceMap.hs"}
module-role {"family":"CalendarEnvelope","kind":"generated","ownerKind":"mapped","ownerName":"mapped structural CalendarEnvelope (line 23)","path":"Generated/CalendarDays/Structural/Shape/CalendarEnvelope.hs"}
module-role {"family":"LocalDay","kind":"generated","ownerKind":"mapped","ownerName":"mapped structural LocalDay (line 4)","path":"Generated/CalendarDays/Structural/Shape/LocalDay.hs"}
module-role {"family":"MaybeLocalDay","kind":"generated","ownerKind":"mapped","ownerName":"mapped structural MaybeLocalDay (line 14)","path":"Generated/CalendarDays/Structural/Shape/MaybeLocalDay.hs"}
module-role {"family":"Bindings","kind":"hole","ownerKind":"consumer","ownerName":"consumer binding skeleton Conformance.CalendarDays.Bindings","path":"Conformance/CalendarDays/Bindings.hs"}
module-role {"family":"ReplayAudit","kind":"generated","ownerKind":"context","ownerName":"context calendar-days replay-audit assembly","path":"Generated/CalendarDays/ReplayAudit.hs"}
module-role {"family":"ProjectionCatalog","kind":"generated","ownerKind":"projection-catalog","ownerName":"projection-catalog calendar-days","path":"Generated/CalendarDays/ProjectionCatalog.hs"}
module-role {"family":"ProjectionCatalogHoles","kind":"hole","ownerKind":"projection-catalog","ownerName":"projection-catalog calendar-days","path":"CalendarDays/ProjectionCatalog/ProjectionCatalogHoles.hs"}
module-role {"family":"Domain","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate CalendarStore (line 38)","path":"Generated/CalendarDays/CalendarStore/Domain.hs"}
module-role {"family":"Codec","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate CalendarStore (line 38)","path":"Generated/CalendarDays/CalendarStore/Codec.hs"}
module-role {"family":"Transducer","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate CalendarStore (line 38)","path":"Generated/CalendarDays/CalendarStore/Transducer.hs"}
module-role {"family":"BehaviorContract","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate CalendarStore (line 38)","path":"Generated/CalendarDays/CalendarStore/BehaviorContract.hs"}
module-role {"family":"BehaviorHoles","kind":"hole","ownerKind":"aggregate","ownerName":"aggregate behavior witnesses CalendarStore (line 38)","path":"CalendarDays/CalendarStore/BehaviorHoles.hs"}
module-role {"family":"EventStream","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate CalendarStore (line 38)","path":"Generated/CalendarDays/CalendarStore/EventStream.hs"}
module-role {"family":"Projection","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate CalendarStore (line 38)","path":"Generated/CalendarDays/CalendarStore/Projection.hs"}
module-role {"family":"Harness","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate CalendarStore (line 38)","path":"Generated/CalendarDays/CalendarStore/Harness.hs"}
module-role {"family":"Queue","kind":"generated","ownerKind":"workqueue","ownerName":"workqueue calendar_jobs (line 57)","path":"Generated/CalendarDays/CalendarJobs/Queue.hs"}
module-role {"family":"QueuePolicy","kind":"generated","ownerKind":"workqueue","ownerName":"workqueue calendar_jobs (line 57)","path":"Generated/CalendarDays/CalendarJobs/QueuePolicy.hs"}
module-role {"family":"QueueCodec","kind":"generated","ownerKind":"workqueue","ownerName":"workqueue calendar_jobs (line 57)","path":"Generated/CalendarDays/CalendarJobs/QueueCodec.hs"}
module-role {"family":"ReadModelTable","kind":"generated","ownerKind":"readmodel","ownerName":"readmodel calendar_lookup (line 99)","path":"Generated/CalendarDays/CalendarLookup/ReadModelTable.hs"}
module-role {"family":"QueryContract","kind":"generated","ownerKind":"readmodel","ownerName":"readmodel calendar_lookup (line 99)","path":"Generated/CalendarDays/CalendarLookup/QueryContract.hs"}
module-role {"family":"ReadModel","kind":"generated","ownerKind":"readmodel","ownerName":"readmodel calendar_lookup (line 99)","path":"Generated/CalendarDays/CalendarLookup/ReadModel.hs"}
module-role {"family":"ReadModelHoles","kind":"hole","ownerKind":"readmodel","ownerName":"readmodel calendar_lookup (line 99)","path":"CalendarDays/CalendarLookup/ReadModelHoles.hs"}
module-role {"family":"ReadModelHarness","kind":"generated","ownerKind":"readmodel","ownerName":"readmodel calendar_lookup (line 99)","path":"Generated/CalendarDays/CalendarLookup/ReadModelHarness.hs"}
generated Generated/CalendarDays/StructuralConformance.hs
generated Generated/CalendarDays/BehaviorSourceMap.hs
generated Generated/CalendarDays/Structural/Shape/CalendarEnvelope.hs
generated Generated/CalendarDays/Structural/Shape/LocalDay.hs
generated Generated/CalendarDays/Structural/Shape/MaybeLocalDay.hs
hole Conformance/CalendarDays/Bindings.hs
generated Generated/CalendarDays/ReplayAudit.hs
generated Generated/CalendarDays/ProjectionCatalog.hs
hole CalendarDays/ProjectionCatalog/ProjectionCatalogHoles.hs
generated Generated/CalendarDays/CalendarStore/Domain.hs
generated Generated/CalendarDays/CalendarStore/Codec.hs
generated Generated/CalendarDays/CalendarStore/Transducer.hs
generated Generated/CalendarDays/CalendarStore/BehaviorContract.hs
hole CalendarDays/CalendarStore/BehaviorHoles.hs
generated Generated/CalendarDays/CalendarStore/EventStream.hs
generated Generated/CalendarDays/CalendarStore/Projection.hs
generated Generated/CalendarDays/CalendarStore/Harness.hs
generated Generated/CalendarDays/CalendarJobs/Queue.hs
generated Generated/CalendarDays/CalendarJobs/QueuePolicy.hs
generated Generated/CalendarDays/CalendarJobs/QueueCodec.hs
generated Generated/CalendarDays/CalendarLookup/ReadModelTable.hs
generated Generated/CalendarDays/CalendarLookup/QueryContract.hs
generated Generated/CalendarDays/CalendarLookup/ReadModel.hs
hole CalendarDays/CalendarLookup/ReadModelHoles.hs
generated Generated/CalendarDays/CalendarLookup/ReadModelHarness.hs
mapping {"bindingSymbol":"Conformance.CalendarDays.Bindings.calendarEnvelopeBinding","bindingVersion":"1","canonicalType":"conformance.calendar-days.CalendarEnvelope.v1","mode":"structural","module":"Conformance.CalendarDays.Domain","package":"keiro-dsl","schema":1,"specName":"CalendarEnvelope","type":"CalendarEnvelope"}
mapping {"bindingSymbol":"Conformance.CalendarDays.Bindings.localDayBinding","bindingVersion":"1","canonicalType":"conformance.calendar-days.LocalDay.v1","mode":"structural","module":"Conformance.CalendarDays.Domain","package":"keiro-dsl","schema":1,"specName":"LocalDay","type":"LocalDay"}
mapping {"bindingSymbol":"Conformance.CalendarDays.Bindings.maybeLocalDayBinding","bindingVersion":"1","canonicalType":"conformance.calendar-days.MaybeLocalDay.v1","mode":"structural","module":"Conformance.CalendarDays.Domain","package":"keiro-dsl","schema":1,"specName":"MaybeLocalDay","type":"MaybeLocalDay"}
binding {"kind":"binding","mappedName":"CalendarEnvelope","module":"Conformance.CalendarDays.Bindings","path":"labelled","schema":1,"signature":"calendarEnvelopeBinding.labelled :: Map Text (Day)","symbol":"calendarEnvelopeBinding"}
binding {"kind":"binding","mappedName":"CalendarEnvelope","module":"Conformance.CalendarDays.Bindings","path":"namedOptional","schema":1,"signature":"calendarEnvelopeBinding.namedOptional :: MaybeLocalDay","symbol":"calendarEnvelopeBinding"}
binding {"kind":"binding","mappedName":"CalendarEnvelope","module":"Conformance.CalendarDays.Bindings","path":"optionalDay","schema":1,"signature":"calendarEnvelopeBinding.optionalDay :: Maybe (Day)","symbol":"calendarEnvelopeBinding"}
binding {"kind":"binding","mappedName":"CalendarEnvelope","module":"Conformance.CalendarDays.Bindings","path":"primary","schema":1,"signature":"calendarEnvelopeBinding.primary :: Day","symbol":"calendarEnvelopeBinding"}
binding {"kind":"binding","mappedName":"CalendarEnvelope","module":"Conformance.CalendarDays.Bindings","path":"sequence","schema":1,"signature":"calendarEnvelopeBinding.sequence :: [Day]","symbol":"calendarEnvelopeBinding"}
binding {"kind":"fixtures","mappedName":"CalendarEnvelope","module":"Conformance.CalendarDays.Bindings","path":null,"schema":1,"signature":"calendarEnvelopeFixtures :: FixtureCases Conformance.CalendarDays.Domain.CalendarEnvelope","symbol":"calendarEnvelopeFixtures"}
binding {"kind":"binding","mappedName":"LocalDay","module":"Conformance.CalendarDays.Bindings","path":"value","schema":1,"signature":"localDayBinding.value :: Day","symbol":"localDayBinding"}
binding {"kind":"fixtures","mappedName":"LocalDay","module":"Conformance.CalendarDays.Bindings","path":null,"schema":1,"signature":"localDayFixtures :: FixtureCases Conformance.CalendarDays.Domain.LocalDay","symbol":"localDayFixtures"}
binding {"kind":"initial-value","mappedName":"LocalDay","module":"Conformance.CalendarDays.Bindings","path":null,"schema":1,"signature":"initialLocalDay :: Conformance.CalendarDays.Domain.LocalDay","symbol":"initialLocalDay"}
binding {"kind":"binding","mappedName":"MaybeLocalDay","module":"Conformance.CalendarDays.Bindings","path":"value","schema":1,"signature":"maybeLocalDayBinding.value :: Maybe (Day)","symbol":"maybeLocalDayBinding"}
binding {"kind":"fixtures","mappedName":"MaybeLocalDay","module":"Conformance.CalendarDays.Bindings","path":null,"schema":1,"signature":"maybeLocalDayFixtures :: FixtureCases Conformance.CalendarDays.Domain.MaybeLocalDay","symbol":"maybeLocalDayFixtures"}
behavior {"aggregate":"CalendarStore","command":"StoreDate","evidence":"generated-authoritative","key":"behavior-v1-81c1074e5cad73be","kind":"required-rejection","outputs":[],"source":"Stored"}
behavior {"aggregate":"CalendarStore","command":"StoreDate","evidence":"generated-authoritative","key":"behavior-v1-8a6ce5ac60391741","kind":"live-transition","outputs":[{"command":"StoreDate","ownership":"generated-command-identity"},{"command":"StoreDate","ownership":"generated-command-identity"}],"source":"Empty"}
projection-catalog-fact cursor|calendar_lookup|calendar-writer|99
projection-catalog-fact delivery|calendar_writer|subscription|87
projection-catalog-fact freshness|calendar_lookup|wait-for-head:entire-log|99
projection-catalog-fact group|calendar_rebuild|calendar_table|calendar_table|82
projection-catalog-fact owner|calendar_writer|all|calendar_rebuild|calendar_table|10|calendar-writer|calendar-writer-v1|from-beginning|explicit|87
projection-catalog-fact query|calendar_lookup|calendar_rebuild|calendar_table|calendar_table|99
projection-catalog-fact supply|calendar_lookup|calendar_writer|calendar_rebuild|calendar_table|99|87
projection-catalog-fact target|calendar_table|public|calendar_values|clear||76
query-contract-baseline v1
query-contract {"mappedDependencies":["MaybeLocalDay"],"position":"input","readModel":"calendar_lookup","typeExpression":"MaybeLocalDay"}
query-contract {"mappedDependencies":["CalendarEnvelope","MaybeLocalDay"],"position":"result","readModel":"calendar_lookup","typeExpression":"CalendarEnvelope"}
semantic-impact {"declarations":[{"consequences":[{"consumer":"CalendarStore","kind":"consumer-build"},{"consumer":"workqueue:calendar_jobs","kind":"consumer-build"},{"consumer":"read-model-query:calendar_lookup:result","kind":"consumer-build"},{"aggregate":"CalendarStore","kind":"private-event-history"},{"kind":"workqueue-history","workqueue":"calendar_jobs"},{"kind":"query-api","position":"result","readModel":"calendar_lookup"}],"consumerEvidence":[{"consumer":"CalendarStore","operation":null,"path":"CalendarStore command StoreDate .envelope : CalendarEnvelope","surface":"aggregate-command"},{"consumer":"CalendarStore","operation":null,"path":"CalendarStore event DateAudited .envelope : CalendarEnvelope","surface":"private-event-payload"},{"consumer":"CalendarStore","operation":null,"path":"CalendarStore event DateStored .envelope : CalendarEnvelope","surface":"private-event-payload"},{"consumer":"workqueue:calendar_jobs","operation":null,"path":"workqueue calendar_jobs payload .envelope : CalendarEnvelope","surface":"workqueue-payload"},{"consumer":"read-model-query:calendar_lookup:result","operation":null,"path":"readmodel calendar_lookup query result : CalendarEnvelope","surface":"read-model-query-result"}],"consumers":["CalendarStore","workqueue:calendar_jobs","read-model-query:calendar_lookup:result"],"declaration":"CalendarEnvelope","identity":"structural\u001fkeiro-dsl:Conformance.CalendarDays.Domain:CalendarEnvelope\u001fConformance.CalendarDays.Bindings.calendarEnvelopeBinding\u001f1\u001fconformance.calendar-days.CalendarEnvelope.v1\u001fConformance.CalendarDays.Bindings.calendarEnvelopeFixtures\u001f\u001fe73efd6bd0ecfd9b\u001frecord:CalendarEnvelope:labelled=labelled,namedOptional=namedOptional,optionalDay=optionalDay,primary=primary,sequence=sequence"},{"consequences":[{"consumer":"CalendarStore","kind":"consumer-build"},{"consumer":"workqueue:calendar_jobs","kind":"consumer-build"},{"aggregate":"CalendarStore","kind":"private-event-history"},{"aggregate":"CalendarStore","kind":"snapshot-hydration"},{"kind":"workqueue-history","workqueue":"calendar_jobs"}],"consumerEvidence":[{"consumer":"CalendarStore","operation":null,"path":"CalendarStore command StoreDate .day : LocalDay","surface":"aggregate-command"},{"consumer":"CalendarStore","operation":null,"path":"CalendarStore event DateAudited .day : LocalDay","surface":"private-event-payload"},{"consumer":"CalendarStore","operation":null,"path":"CalendarStore event DateStored .day : LocalDay","surface":"private-event-payload"},{"consumer":"CalendarStore","operation":null,"path":"CalendarStore register current : LocalDay","surface":"snapshot-register"},{"consumer":"workqueue:calendar_jobs","operation":null,"path":"workqueue calendar_jobs payload .day : LocalDay","surface":"workqueue-payload"}],"consumers":["CalendarStore","workqueue:calendar_jobs"],"declaration":"LocalDay","identity":"structural\u001fkeiro-dsl:Conformance.CalendarDays.Domain:LocalDay\u001fConformance.CalendarDays.Bindings.localDayBinding\u001f1\u001fconformance.calendar-days.LocalDay.v1\u001fConformance.CalendarDays.Bindings.localDayFixtures\u001fConformance.CalendarDays.Bindings.initialLocalDay\u001f4500842d290242c3\u001fvalue:Day"},{"consequences":[{"consumer":"CalendarStore","kind":"consumer-build"},{"consumer":"workqueue:calendar_jobs","kind":"consumer-build"},{"consumer":"read-model-query:calendar_lookup:input","kind":"consumer-build"},{"consumer":"read-model-query:calendar_lookup:result","kind":"consumer-build"},{"aggregate":"CalendarStore","kind":"private-event-history"},{"kind":"workqueue-history","workqueue":"calendar_jobs"},{"kind":"query-api","position":"input","readModel":"calendar_lookup"},{"kind":"query-api","position":"result","readModel":"calendar_lookup"}],"consumerEvidence":[{"consumer":"CalendarStore","operation":null,"path":"CalendarStore command StoreDate .envelope : CalendarEnvelope .namedOptional : MaybeLocalDay","surface":"aggregate-command"},{"consumer":"CalendarStore","operation":null,"path":"CalendarStore command StoreDate .optionalDay : MaybeLocalDay","surface":"aggregate-command"},{"consumer":"CalendarStore","operation":null,"path":"CalendarStore event DateAudited .envelope : CalendarEnvelope .namedOptional : MaybeLocalDay","surface":"private-event-payload"},{"consumer":"CalendarStore","operation":null,"path":"CalendarStore event DateAudited .optionalDay : MaybeLocalDay","surface":"private-event-payload"},{"consumer":"CalendarStore","operation":null,"path":"CalendarStore event DateStored .envelope : CalendarEnvelope .namedOptional : MaybeLocalDay","surface":"private-event-payload"},{"consumer":"CalendarStore","operation":null,"path":"CalendarStore event DateStored .optionalDay : MaybeLocalDay","surface":"private-event-payload"},{"consumer":"workqueue:calendar_jobs","operation":null,"path":"workqueue calendar_jobs payload .envelope : CalendarEnvelope .namedOptional : MaybeLocalDay","surface":"workqueue-payload"},{"consumer":"workqueue:calendar_jobs","operation":null,"path":"workqueue calendar_jobs payload .optionalDay : MaybeLocalDay","surface":"workqueue-payload"},{"consumer":"read-model-query:calendar_lookup:input","operation":null,"path":"readmodel calendar_lookup query input : MaybeLocalDay","surface":"read-model-query-input"},{"consumer":"read-model-query:calendar_lookup:result","operation":null,"path":"readmodel calendar_lookup query result : CalendarEnvelope .namedOptional : MaybeLocalDay","surface":"read-model-query-result"}],"consumers":["CalendarStore","workqueue:calendar_jobs","read-model-query:calendar_lookup:input","read-model-query:calendar_lookup:result"],"declaration":"MaybeLocalDay","identity":"structural\u001fkeiro-dsl:Conformance.CalendarDays.Domain:MaybeLocalDay\u001fConformance.CalendarDays.Bindings.maybeLocalDayBinding\u001f1\u001fconformance.calendar-days.MaybeLocalDay.v1\u001fConformance.CalendarDays.Bindings.maybeLocalDayFixtures\u001f\u001fc28177c9398266fc\u001fvalue:Optional(Day)"}],"mappedSurfaceEvidenceVersion":1,"serviceInventory":["CalendarEnvelope","LocalDay","MaybeLocalDay"]}