keiro-dsl-ledger.workspace.checked-mapping-replay.txt

keiro-dsl workspace scaffold record v1
service: checked-mapping-replay
manifest: service.keiro-workspace
context: checked-mapping-replay
module-root: (none)
layout: prefixed
naming-edition idiomatic-v2
member domain/service.keiro
member domain/values.keiro
source-language {"declaredLanguageVersion":6,"effectiveLanguageVersion":6,"path":"domain/service.keiro","sourceForm":"declared"}
source-language {"declaredLanguageVersion":6,"effectiveLanguageVersion":6,"path":"domain/values.keiro","sourceForm":"declared"}
semantic-contract {"languageSupport":"candidate","languageVersion":6,"runtimeSemantics":"keiro-dsl/runtime-semantics/5"}
module {"kind":"generated","path":"Generated/CheckedMappingReplay/StructuralConformance.hs","roleFamily":"StructuralConformance","roleOwnerKind":"context","roleOwnerName":"context checked-mapping-replay structural conformance"}
module {"kind":"generated","path":"Generated/CheckedMappingReplay/BehaviorSourceMap.hs","roleFamily":"BehaviorSourceMap","roleOwnerKind":"context","roleOwnerName":"context checked-mapping-replay behavior source map"}
module {"kind":"generated","owner":"domain/values.keiro","path":"Generated/CheckedMappingReplay/Structural/Shape/ContentHash.hs","roleFamily":"ContentHash","roleOwnerKind":"domain/values.keiro:","roleOwnerName":"domain/values.keiro: mapped structural ContentHash (line 149)"}
module {"kind":"generated","owner":"domain/values.keiro","path":"Generated/CheckedMappingReplay/Structural/Shape/ImportantDays.hs","roleFamily":"ImportantDays","roleOwnerKind":"domain/values.keiro:","roleOwnerName":"domain/values.keiro: mapped structural ImportantDays (line 131)"}
module {"kind":"generated","owner":"domain/values.keiro","path":"Generated/CheckedMappingReplay/Structural/Shape/MaybeContentHash.hs","roleFamily":"MaybeContentHash","roleOwnerKind":"domain/values.keiro:","roleOwnerName":"domain/values.keiro: mapped structural MaybeContentHash (line 158)"}
module {"kind":"generated","owner":"domain/values.keiro","path":"Generated/CheckedMappingReplay/Structural/Shape/MaybeLabel.hs","roleFamily":"MaybeLabel","roleOwnerKind":"domain/values.keiro:","roleOwnerName":"domain/values.keiro: mapped structural MaybeLabel (line 122)"}
module {"kind":"generated","owner":"domain/values.keiro","path":"Generated/CheckedMappingReplay/Structural/Shape/ReplayEnvelope.hs","roleFamily":"ReplayEnvelope","roleOwnerKind":"domain/values.keiro:","roleOwnerName":"domain/values.keiro: mapped structural ReplayEnvelope (line 167)"}
module {"kind":"generated","owner":"domain/values.keiro","path":"Generated/CheckedMappingReplay/Structural/Shape/TextLabels.hs","roleFamily":"TextLabels","roleOwnerKind":"domain/values.keiro:","roleOwnerName":"domain/values.keiro: mapped structural TextLabels (line 140)"}
module {"kind":"generated","path":"Generated/CheckedMappingReplay/StructuralProjections.hs","roleFamily":"StructuralProjections","roleOwnerKind":"context","roleOwnerName":"context checked-mapping-replay mapped structural facade"}
module {"kind":"generated","path":"Generated/CheckedMappingReplay/Nominals.hs","roleFamily":"Nominals","roleOwnerKind":"context","roleOwnerName":"context checked-mapping-replay generated nominal declarations"}
module {"kind":"generated","path":"Generated/CheckedMappingReplay/Nominals/Internal.hs","roleFamily":"Internal","roleOwnerKind":"context","roleOwnerName":"context checked-mapping-replay generated nominal ID internals"}
module {"kind":"generated","path":"Generated/CheckedMappingReplay/Structural/NominalLeaves.hs","roleFamily":"NominalLeaves","roleOwnerKind":"context","roleOwnerName":"context checked-mapping-replay structural nominal leaves"}
module {"kind":"hole","owner":"domain/values.keiro","path":"Conformance/CheckedMappingReplay/Bindings.hs","roleFamily":"Bindings","roleOwnerKind":"domain/values.keiro:","roleOwnerName":"domain/values.keiro: consumer binding skeleton Conformance.CheckedMappingReplay.Bindings"}
module {"kind":"generated","path":"Generated/CheckedMappingReplay/ReplayAudit.hs","roleFamily":"ReplayAudit","roleOwnerKind":"context","roleOwnerName":"context checked-mapping-replay replay-audit assembly"}
module {"kind":"generated","path":"Generated/CheckedMappingReplay/ProjectionCatalog.hs","roleFamily":"ProjectionCatalog","roleOwnerKind":"projection-catalog","roleOwnerName":"projection-catalog checked-mapping-replay"}
module {"kind":"hole","path":"CheckedMappingReplay/ProjectionCatalog/ProjectionCatalogHoles.hs","roleFamily":"ProjectionCatalogHoles","roleOwnerKind":"projection-catalog","roleOwnerName":"projection-catalog checked-mapping-replay"}
module {"kind":"generated","owner":"domain/service.keiro","path":"Generated/CheckedMappingReplay/ReplayLedger/Domain.hs","roleFamily":"Domain","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: aggregate ReplayLedger (line 4)"}
module {"kind":"generated","owner":"domain/service.keiro","path":"Generated/CheckedMappingReplay/ReplayLedger/Codec.hs","roleFamily":"Codec","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: aggregate ReplayLedger (line 4)"}
module {"kind":"generated","owner":"domain/service.keiro","path":"Generated/CheckedMappingReplay/ReplayLedger/Transducer.hs","roleFamily":"Transducer","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: aggregate ReplayLedger (line 4)"}
module {"kind":"generated","owner":"domain/service.keiro","path":"Generated/CheckedMappingReplay/ReplayLedger/BehaviorContract.hs","roleFamily":"BehaviorContract","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: aggregate ReplayLedger (line 4)"}
module {"kind":"hole","owner":"domain/service.keiro","path":"CheckedMappingReplay/ReplayLedger/BehaviorHoles.hs","roleFamily":"BehaviorHoles","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: aggregate behavior witnesses ReplayLedger (line 4)"}
module {"kind":"generated","owner":"domain/service.keiro","path":"Generated/CheckedMappingReplay/ReplayLedger/EventStream.hs","roleFamily":"EventStream","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: aggregate ReplayLedger (line 4)"}
module {"kind":"generated","owner":"domain/service.keiro","path":"Generated/CheckedMappingReplay/ReplayLedger/Projection.hs","roleFamily":"Projection","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: aggregate ReplayLedger (line 4)"}
module {"kind":"generated","owner":"domain/service.keiro","path":"Generated/CheckedMappingReplay/ReplayLedger/Harness.hs","roleFamily":"Harness","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: aggregate ReplayLedger (line 4)"}
module {"kind":"generated","owner":"domain/service.keiro","path":"Generated/CheckedMappingReplay/ReplayTarget/Domain.hs","roleFamily":"Domain","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: aggregate ReplayTarget (line 33)"}
module {"kind":"generated","owner":"domain/service.keiro","path":"Generated/CheckedMappingReplay/ReplayTarget/Codec.hs","roleFamily":"Codec","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: aggregate ReplayTarget (line 33)"}
module {"kind":"generated","owner":"domain/service.keiro","path":"Generated/CheckedMappingReplay/ReplayTarget/Transducer.hs","roleFamily":"Transducer","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: aggregate ReplayTarget (line 33)"}
module {"kind":"generated","owner":"domain/service.keiro","path":"Generated/CheckedMappingReplay/ReplayTarget/BehaviorContract.hs","roleFamily":"BehaviorContract","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: aggregate ReplayTarget (line 33)"}
module {"kind":"hole","owner":"domain/service.keiro","path":"CheckedMappingReplay/ReplayTarget/BehaviorHoles.hs","roleFamily":"BehaviorHoles","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: aggregate behavior witnesses ReplayTarget (line 33)"}
module {"kind":"generated","owner":"domain/service.keiro","path":"Generated/CheckedMappingReplay/ReplayTarget/EventStream.hs","roleFamily":"EventStream","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: aggregate ReplayTarget (line 33)"}
module {"kind":"generated","owner":"domain/service.keiro","path":"Generated/CheckedMappingReplay/ReplayTarget/Projection.hs","roleFamily":"Projection","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: aggregate ReplayTarget (line 33)"}
module {"kind":"generated","owner":"domain/service.keiro","path":"Generated/CheckedMappingReplay/ReplayTarget/Harness.hs","roleFamily":"Harness","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: aggregate ReplayTarget (line 33)"}
module {"kind":"generated","owner":"domain/service.keiro","path":"Generated/CheckedMappingReplay/ReplayReaction/Input.hs","roleFamily":"Input","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: process input ReplayReaction (line 41)"}
module {"kind":"generated","owner":"domain/service.keiro","path":"Generated/CheckedMappingReplay/ReplayReaction/Process.hs","roleFamily":"Process","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: process reaction ReplayReaction (line 41)"}
module {"kind":"hole","owner":"domain/service.keiro","path":"CheckedMappingReplay/ReplayReaction/ProcessHoles.hs","roleFamily":"ProcessHoles","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: process decoder ReplayReaction (line 41)"}
module {"kind":"generated","owner":"domain/service.keiro","path":"Generated/CheckedMappingReplay/ReplayReaction/ProcessHarness.hs","roleFamily":"ProcessHarness","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: process ReplayReaction (line 41)"}
module {"kind":"generated","owner":"domain/service.keiro","path":"Generated/CheckedMappingReplay/ReplayJobs/Queue.hs","roleFamily":"Queue","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: workqueue replay_jobs (line 57)"}
module {"kind":"generated","owner":"domain/service.keiro","path":"Generated/CheckedMappingReplay/ReplayJobs/QueuePolicy.hs","roleFamily":"QueuePolicy","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: workqueue replay_jobs (line 57)"}
module {"kind":"generated","owner":"domain/service.keiro","path":"Generated/CheckedMappingReplay/ReplayJobs/QueueCodec.hs","roleFamily":"QueueCodec","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: workqueue replay_jobs (line 57)"}
module {"kind":"generated","owner":"domain/service.keiro","path":"Generated/CheckedMappingReplay/ReplayLookup/ReadModelTable.hs","roleFamily":"ReadModelTable","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: readmodel replay_lookup (line 98)"}
module {"kind":"generated","owner":"domain/service.keiro","path":"Generated/CheckedMappingReplay/ReplayLookup/QueryContract.hs","roleFamily":"QueryContract","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: readmodel replay_lookup (line 98)"}
module {"kind":"generated","owner":"domain/service.keiro","path":"Generated/CheckedMappingReplay/ReplayLookup/ReadModel.hs","roleFamily":"ReadModel","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: readmodel replay_lookup (line 98)"}
module {"kind":"hole","owner":"domain/service.keiro","path":"CheckedMappingReplay/ReplayLookup/ReadModelHoles.hs","roleFamily":"ReadModelHoles","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: readmodel replay_lookup (line 98)"}
module {"kind":"generated","owner":"domain/service.keiro","path":"Generated/CheckedMappingReplay/ReplayLookup/ReadModelHarness.hs","roleFamily":"ReadModelHarness","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: readmodel replay_lookup (line 98)"}
module {"kind":"generated","owner":"domain/service.keiro","path":"Generated/CheckedMappingReplay/ReplayEvents/Contract.hs","roleFamily":"Contract","roleOwnerKind":"domain/service.keiro:","roleOwnerName":"domain/service.keiro: contract replay_events (line 109)"}
mapping {"bindingSymbol":"Conformance.CheckedMappingReplay.Bindings.contentHashBinding","bindingVersion":"1","canonicalType":"conformance.checked-mapping-replay.ContentHash.v1","mode":"structural","module":"Conformance.CheckedMappingReplay.Domain","package":"keiro-dsl","schema":1,"specName":"ContentHash","type":"ContentHash"}
mapping {"bindingSymbol":"Conformance.CheckedMappingReplay.Bindings.importantDaysBinding","bindingVersion":"1","canonicalType":"conformance.checked-mapping-replay.ImportantDays.v1","mode":"structural","module":"Conformance.CheckedMappingReplay.Domain","package":"keiro-dsl","schema":1,"specName":"ImportantDays","type":"ImportantDays"}
mapping {"bindingSymbol":"Conformance.CheckedMappingReplay.Bindings.maybeContentHashBinding","bindingVersion":"1","canonicalType":"conformance.checked-mapping-replay.MaybeContentHash.v1","mode":"structural","module":"Conformance.CheckedMappingReplay.Domain","package":"keiro-dsl","schema":1,"specName":"MaybeContentHash","type":"MaybeContentHash"}
mapping {"bindingSymbol":"Conformance.CheckedMappingReplay.Bindings.maybeLabelBinding","bindingVersion":"1","canonicalType":"conformance.checked-mapping-replay.MaybeLabel.v1","mode":"structural","module":"Conformance.CheckedMappingReplay.Domain","package":"keiro-dsl","schema":1,"specName":"MaybeLabel","type":"MaybeLabel"}
mapping {"bindingSymbol":"Conformance.CheckedMappingReplay.Bindings.replayEnvelopeBinding","bindingVersion":"1","canonicalType":"conformance.checked-mapping-replay.ReplayEnvelope.v1","mode":"structural","module":"Conformance.CheckedMappingReplay.Domain","package":"keiro-dsl","schema":1,"specName":"ReplayEnvelope","type":"ReplayEnvelope"}
mapping {"bindingSymbol":"Conformance.CheckedMappingReplay.Bindings.textLabelsBinding","bindingVersion":"1","canonicalType":"conformance.checked-mapping-replay.TextLabels.v1","mode":"structural","module":"Conformance.CheckedMappingReplay.Domain","package":"keiro-dsl","schema":1,"specName":"TextLabels","type":"TextLabels"}
id-domain id-domain|name=RetainedId|contract=keiro-dsl/id-domain/typeid-v5-or-v7/1|prefix=retained|separator=_|json=canonical-json-text
id-domain id-domain|name=contract:replay_events.ReplayLinked.retainedId|contract=keiro-dsl/id-domain/typeid-v5-or-v7/1|prefix=retained|separator=_|json=canonical-json-text
nominal-equality nominal-equality|name=RetainedId|contract=keiro-dsl/nominal-equality/2|key=Text|domain=typeid-v5-or-v7-text:retained:keiro-dsl/id-domain/typeid-v5-or-v7/1|owner=generated
binding {"kind":"binding","mappedName":"ContentHash","module":"Conformance.CheckedMappingReplay.Bindings","path":"value","schema":1,"signature":"contentHashBinding.value :: ByteString","symbol":"contentHashBinding"}
binding {"kind":"fixtures","mappedName":"ContentHash","module":"Conformance.CheckedMappingReplay.Bindings","path":null,"schema":1,"signature":"contentHashFixtures :: FixtureCases Conformance.CheckedMappingReplay.Domain.ContentHash","symbol":"contentHashFixtures"}
binding {"kind":"binding","mappedName":"ImportantDays","module":"Conformance.CheckedMappingReplay.Bindings","path":"value","schema":1,"signature":"importantDaysBinding.value :: [Day]","symbol":"importantDaysBinding"}
binding {"kind":"fixtures","mappedName":"ImportantDays","module":"Conformance.CheckedMappingReplay.Bindings","path":null,"schema":1,"signature":"importantDaysFixtures :: FixtureCases Conformance.CheckedMappingReplay.Domain.ImportantDays","symbol":"importantDaysFixtures"}
binding {"kind":"binding","mappedName":"MaybeContentHash","module":"Conformance.CheckedMappingReplay.Bindings","path":"value","schema":1,"signature":"maybeContentHashBinding.value :: Maybe (ContentHash)","symbol":"maybeContentHashBinding"}
binding {"kind":"fixtures","mappedName":"MaybeContentHash","module":"Conformance.CheckedMappingReplay.Bindings","path":null,"schema":1,"signature":"maybeContentHashFixtures :: FixtureCases Conformance.CheckedMappingReplay.Domain.MaybeContentHash","symbol":"maybeContentHashFixtures"}
binding {"kind":"binding","mappedName":"MaybeLabel","module":"Conformance.CheckedMappingReplay.Bindings","path":"value","schema":1,"signature":"maybeLabelBinding.value :: Maybe (Text)","symbol":"maybeLabelBinding"}
binding {"kind":"fixtures","mappedName":"MaybeLabel","module":"Conformance.CheckedMappingReplay.Bindings","path":null,"schema":1,"signature":"maybeLabelFixtures :: FixtureCases Conformance.CheckedMappingReplay.Domain.MaybeLabel","symbol":"maybeLabelFixtures"}
binding {"kind":"binding","mappedName":"ReplayEnvelope","module":"Conformance.CheckedMappingReplay.Bindings","path":"contentHash","schema":1,"signature":"replayEnvelopeBinding.contentHash :: MaybeContentHash","symbol":"replayEnvelopeBinding"}
binding {"kind":"binding","mappedName":"ReplayEnvelope","module":"Conformance.CheckedMappingReplay.Bindings","path":"days","schema":1,"signature":"replayEnvelopeBinding.days :: ImportantDays","symbol":"replayEnvelopeBinding"}
binding {"kind":"binding","mappedName":"ReplayEnvelope","module":"Conformance.CheckedMappingReplay.Bindings","path":"identities","schema":1,"signature":"replayEnvelopeBinding.identities :: Map RetainedId (Text)","symbol":"replayEnvelopeBinding"}
binding {"kind":"binding","mappedName":"ReplayEnvelope","module":"Conformance.CheckedMappingReplay.Bindings","path":"label","schema":1,"signature":"replayEnvelopeBinding.label :: MaybeLabel","symbol":"replayEnvelopeBinding"}
binding {"kind":"binding","mappedName":"ReplayEnvelope","module":"Conformance.CheckedMappingReplay.Bindings","path":"labels","schema":1,"signature":"replayEnvelopeBinding.labels :: TextLabels","symbol":"replayEnvelopeBinding"}
binding {"kind":"binding","mappedName":"ReplayEnvelope","module":"Conformance.CheckedMappingReplay.Bindings","path":"optionalLabels","schema":1,"signature":"replayEnvelopeBinding.optionalLabels :: Maybe (Set Text)","symbol":"replayEnvelopeBinding"}
binding {"kind":"binding","mappedName":"ReplayEnvelope","module":"Conformance.CheckedMappingReplay.Bindings","path":"primary","schema":1,"signature":"replayEnvelopeBinding.primary :: RetainedId","symbol":"replayEnvelopeBinding"}
binding {"kind":"fixtures","mappedName":"ReplayEnvelope","module":"Conformance.CheckedMappingReplay.Bindings","path":null,"schema":1,"signature":"replayEnvelopeFixtures :: FixtureCases Conformance.CheckedMappingReplay.Domain.ReplayEnvelope","symbol":"replayEnvelopeFixtures"}
binding {"kind":"initial-value","mappedName":"ReplayEnvelope","module":"Conformance.CheckedMappingReplay.Bindings","path":null,"schema":1,"signature":"initialReplayEnvelope :: Conformance.CheckedMappingReplay.Domain.ReplayEnvelope","symbol":"initialReplayEnvelope"}
binding {"kind":"binding","mappedName":"TextLabels","module":"Conformance.CheckedMappingReplay.Bindings","path":"value","schema":1,"signature":"textLabelsBinding.value :: Set Text","symbol":"textLabelsBinding"}
binding {"kind":"fixtures","mappedName":"TextLabels","module":"Conformance.CheckedMappingReplay.Bindings","path":null,"schema":1,"signature":"textLabelsFixtures :: FixtureCases Conformance.CheckedMappingReplay.Domain.TextLabels","symbol":"textLabelsFixtures"}
behavior {"aggregate":"ReplayLedger","command":"ImportLegacy","evidence":"generated-authoritative","key":"behavior-v1-00d5b6d8d0fc6ef2","kind":"replay-transition","outputs":[{"command":"ImportLegacy","ownership":"generated-command-identity"}],"owner":"domain/service.keiro","source":"Empty"}
behavior {"aggregate":"ReplayTarget","command":"Store","evidence":"generated-authoritative","key":"behavior-v1-756d75346570c343","kind":"live-transition","outputs":[{"command":"Store","ownership":"generated-command-identity"}],"owner":"domain/service.keiro","source":"Ready"}
behavior {"aggregate":"ReplayLedger","command":"ImportLegacy","evidence":"generated-authoritative","key":"behavior-v1-9846660db9e83048","kind":"required-rejection","outputs":[],"owner":"domain/service.keiro","source":"Empty"}
behavior {"aggregate":"ReplayLedger","command":"Record","evidence":"generated-authoritative","key":"behavior-v1-cf9c72cd877a5085","kind":"live-transition","outputs":[{"command":"Record","ownership":"generated-command-identity"},{"command":"Record","ownership":"generated-command-identity"}],"owner":"domain/service.keiro","source":"Empty"}
behavior {"aggregate":"ReplayLedger","command":"Record","evidence":"generated-authoritative","key":"behavior-v1-e88b4f5c37ef8bf2","kind":"required-rejection","outputs":[],"owner":"domain/service.keiro","source":"Recorded"}
behavior {"aggregate":"ReplayLedger","command":"ImportLegacy","evidence":"generated-authoritative","key":"behavior-v1-efa5614712549991","kind":"required-rejection","outputs":[],"owner":"domain/service.keiro","source":"Recorded"}
projection-catalog-fact cursor|replay_lookup|checked-mapping-replay-writer|98
projection-catalog-fact delivery|replay_writer|subscription|86
projection-catalog-fact freshness|replay_lookup|wait-for-head:entire-log|98
projection-catalog-fact group|replay_rebuild|replay_table|replay_table|81
projection-catalog-fact owner|replay_writer|all|replay_rebuild|replay_table|10|checked-mapping-replay-writer|checked-mapping-replay-writer-v1|from-beginning|explicit|86
projection-catalog-fact query|replay_lookup|replay_rebuild|replay_table|replay_table|98
projection-catalog-fact supply|replay_lookup|replay_writer|replay_rebuild|replay_table|98|86
projection-catalog-fact target|replay_table|public|checked_mapping_replay|clear||75
query-contract-baseline v1
query-contract {"mappedDependencies":["ContentHash","ImportantDays","MaybeContentHash","MaybeLabel","ReplayEnvelope","TextLabels"],"position":"input","readModel":"replay_lookup","typeExpression":"ReplayEnvelope"}
query-contract {"mappedDependencies":["ContentHash","ImportantDays","MaybeContentHash","MaybeLabel","ReplayEnvelope","TextLabels"],"position":"result","readModel":"replay_lookup","typeExpression":"List ReplayEnvelope"}
semantic-impact {"declarations":[{"consequences":[{"consumer":"ReplayLedger","kind":"consumer-build"},{"consumer":"ReplayTarget","kind":"consumer-build"},{"consumer":"workqueue:replay_jobs","kind":"consumer-build"},{"consumer":"read-model-query:replay_lookup:input","kind":"consumer-build"},{"consumer":"read-model-query:replay_lookup:result","kind":"consumer-build"},{"aggregate":"ReplayLedger","kind":"private-event-history"},{"aggregate":"ReplayTarget","kind":"private-event-history"},{"aggregate":"ReplayLedger","kind":"snapshot-hydration"},{"aggregate":"ReplayTarget","kind":"snapshot-hydration"},{"kind":"workqueue-history","workqueue":"replay_jobs"},{"kind":"query-api","position":"input","readModel":"replay_lookup"},{"kind":"query-api","position":"result","readModel":"replay_lookup"}],"consumerEvidence":[{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger command ImportLegacy .envelope : ReplayEnvelope .contentHash : MaybeContentHash optional : ContentHash","surface":"aggregate-command"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger command Record .envelope : ReplayEnvelope .contentHash : MaybeContentHash optional : ContentHash","surface":"aggregate-command"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger event LegacyMappingImported .envelope : ReplayEnvelope .contentHash : MaybeContentHash optional : ContentHash","surface":"private-event-payload"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger event MappingAudited .envelope : ReplayEnvelope .contentHash : MaybeContentHash optional : ContentHash","surface":"private-event-payload"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger event MappingRecorded .envelope : ReplayEnvelope .contentHash : MaybeContentHash optional : ContentHash","surface":"private-event-payload"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger register current : ReplayEnvelope .contentHash : MaybeContentHash optional : ContentHash","surface":"snapshot-register"},{"consumer":"ReplayTarget","operation":null,"path":"ReplayTarget command Store .envelope : ReplayEnvelope .contentHash : MaybeContentHash optional : ContentHash","surface":"aggregate-command"},{"consumer":"ReplayTarget","operation":null,"path":"ReplayTarget event Stored .envelope : ReplayEnvelope .contentHash : MaybeContentHash optional : ContentHash","surface":"private-event-payload"},{"consumer":"ReplayTarget","operation":null,"path":"ReplayTarget register latest : ReplayEnvelope .contentHash : MaybeContentHash optional : ContentHash","surface":"snapshot-register"},{"consumer":"workqueue:replay_jobs","operation":null,"path":"workqueue replay_jobs payload .envelope : ReplayEnvelope .contentHash : MaybeContentHash optional : ContentHash","surface":"workqueue-payload"},{"consumer":"read-model-query:replay_lookup:input","operation":null,"path":"readmodel replay_lookup query input : ReplayEnvelope .contentHash : MaybeContentHash optional : ContentHash","surface":"read-model-query-input"},{"consumer":"read-model-query:replay_lookup:result","operation":null,"path":"readmodel replay_lookup query result : ReplayEnvelope [] .contentHash : MaybeContentHash optional : ContentHash","surface":"read-model-query-result"}],"consumers":["ReplayLedger","ReplayTarget","workqueue:replay_jobs","read-model-query:replay_lookup:input","read-model-query:replay_lookup:result"],"declaration":"ContentHash","identity":"structural\u001fkeiro-dsl:Conformance.CheckedMappingReplay.Domain:ContentHash\u001fConformance.CheckedMappingReplay.Bindings.contentHashBinding\u001f1\u001fconformance.checked-mapping-replay.ContentHash.v1\u001fConformance.CheckedMappingReplay.Bindings.contentHashFixtures\u001f\u001f9a76d13837d002d3\u001frefined:base16-bytes-v1"},{"consequences":[{"consumer":"ReplayLedger","kind":"consumer-build"},{"consumer":"ReplayTarget","kind":"consumer-build"},{"consumer":"workqueue:replay_jobs","kind":"consumer-build"},{"consumer":"read-model-query:replay_lookup:input","kind":"consumer-build"},{"consumer":"read-model-query:replay_lookup:result","kind":"consumer-build"},{"aggregate":"ReplayLedger","kind":"private-event-history"},{"aggregate":"ReplayTarget","kind":"private-event-history"},{"aggregate":"ReplayLedger","kind":"snapshot-hydration"},{"aggregate":"ReplayTarget","kind":"snapshot-hydration"},{"kind":"workqueue-history","workqueue":"replay_jobs"},{"kind":"query-api","position":"input","readModel":"replay_lookup"},{"kind":"query-api","position":"result","readModel":"replay_lookup"}],"consumerEvidence":[{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger command ImportLegacy .envelope : ReplayEnvelope .days : ImportantDays","surface":"aggregate-command"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger command Record .envelope : ReplayEnvelope .days : ImportantDays","surface":"aggregate-command"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger event LegacyMappingImported .envelope : ReplayEnvelope .days : ImportantDays","surface":"private-event-payload"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger event MappingAudited .envelope : ReplayEnvelope .days : ImportantDays","surface":"private-event-payload"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger event MappingRecorded .envelope : ReplayEnvelope .days : ImportantDays","surface":"private-event-payload"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger register current : ReplayEnvelope .days : ImportantDays","surface":"snapshot-register"},{"consumer":"ReplayTarget","operation":null,"path":"ReplayTarget command Store .envelope : ReplayEnvelope .days : ImportantDays","surface":"aggregate-command"},{"consumer":"ReplayTarget","operation":null,"path":"ReplayTarget event Stored .envelope : ReplayEnvelope .days : ImportantDays","surface":"private-event-payload"},{"consumer":"ReplayTarget","operation":null,"path":"ReplayTarget register latest : ReplayEnvelope .days : ImportantDays","surface":"snapshot-register"},{"consumer":"workqueue:replay_jobs","operation":null,"path":"workqueue replay_jobs payload .envelope : ReplayEnvelope .days : ImportantDays","surface":"workqueue-payload"},{"consumer":"read-model-query:replay_lookup:input","operation":null,"path":"readmodel replay_lookup query input : ReplayEnvelope .days : ImportantDays","surface":"read-model-query-input"},{"consumer":"read-model-query:replay_lookup:result","operation":null,"path":"readmodel replay_lookup query result : ReplayEnvelope [] .days : ImportantDays","surface":"read-model-query-result"}],"consumers":["ReplayLedger","ReplayTarget","workqueue:replay_jobs","read-model-query:replay_lookup:input","read-model-query:replay_lookup:result"],"declaration":"ImportantDays","identity":"structural\u001fkeiro-dsl:Conformance.CheckedMappingReplay.Domain:ImportantDays\u001fConformance.CheckedMappingReplay.Bindings.importantDaysBinding\u001f1\u001fconformance.checked-mapping-replay.ImportantDays.v1\u001fConformance.CheckedMappingReplay.Bindings.importantDaysFixtures\u001f\u001f53109dc5617f1504\u001fvalue:List(Day)"},{"consequences":[{"consumer":"ReplayLedger","kind":"consumer-build"},{"consumer":"ReplayTarget","kind":"consumer-build"},{"consumer":"workqueue:replay_jobs","kind":"consumer-build"},{"consumer":"read-model-query:replay_lookup:input","kind":"consumer-build"},{"consumer":"read-model-query:replay_lookup:result","kind":"consumer-build"},{"aggregate":"ReplayLedger","kind":"private-event-history"},{"aggregate":"ReplayTarget","kind":"private-event-history"},{"aggregate":"ReplayLedger","kind":"snapshot-hydration"},{"aggregate":"ReplayTarget","kind":"snapshot-hydration"},{"kind":"workqueue-history","workqueue":"replay_jobs"},{"kind":"query-api","position":"input","readModel":"replay_lookup"},{"kind":"query-api","position":"result","readModel":"replay_lookup"}],"consumerEvidence":[{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger command ImportLegacy .envelope : ReplayEnvelope .contentHash : MaybeContentHash","surface":"aggregate-command"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger command Record .envelope : ReplayEnvelope .contentHash : MaybeContentHash","surface":"aggregate-command"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger event LegacyMappingImported .envelope : ReplayEnvelope .contentHash : MaybeContentHash","surface":"private-event-payload"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger event MappingAudited .envelope : ReplayEnvelope .contentHash : MaybeContentHash","surface":"private-event-payload"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger event MappingRecorded .envelope : ReplayEnvelope .contentHash : MaybeContentHash","surface":"private-event-payload"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger register current : ReplayEnvelope .contentHash : MaybeContentHash","surface":"snapshot-register"},{"consumer":"ReplayTarget","operation":null,"path":"ReplayTarget command Store .envelope : ReplayEnvelope .contentHash : MaybeContentHash","surface":"aggregate-command"},{"consumer":"ReplayTarget","operation":null,"path":"ReplayTarget event Stored .envelope : ReplayEnvelope .contentHash : MaybeContentHash","surface":"private-event-payload"},{"consumer":"ReplayTarget","operation":null,"path":"ReplayTarget register latest : ReplayEnvelope .contentHash : MaybeContentHash","surface":"snapshot-register"},{"consumer":"workqueue:replay_jobs","operation":null,"path":"workqueue replay_jobs payload .envelope : ReplayEnvelope .contentHash : MaybeContentHash","surface":"workqueue-payload"},{"consumer":"read-model-query:replay_lookup:input","operation":null,"path":"readmodel replay_lookup query input : ReplayEnvelope .contentHash : MaybeContentHash","surface":"read-model-query-input"},{"consumer":"read-model-query:replay_lookup:result","operation":null,"path":"readmodel replay_lookup query result : ReplayEnvelope [] .contentHash : MaybeContentHash","surface":"read-model-query-result"}],"consumers":["ReplayLedger","ReplayTarget","workqueue:replay_jobs","read-model-query:replay_lookup:input","read-model-query:replay_lookup:result"],"declaration":"MaybeContentHash","identity":"structural\u001fkeiro-dsl:Conformance.CheckedMappingReplay.Domain:MaybeContentHash\u001fConformance.CheckedMappingReplay.Bindings.maybeContentHashBinding\u001f1\u001fconformance.checked-mapping-replay.MaybeContentHash.v1\u001fConformance.CheckedMappingReplay.Bindings.maybeContentHashFixtures\u001f\u001fb30e54ecc09e6b84\u001fvalue:Optional(Ref(ContentHash))"},{"consequences":[{"consumer":"ReplayLedger","kind":"consumer-build"},{"consumer":"ReplayTarget","kind":"consumer-build"},{"consumer":"workqueue:replay_jobs","kind":"consumer-build"},{"consumer":"read-model-query:replay_lookup:input","kind":"consumer-build"},{"consumer":"read-model-query:replay_lookup:result","kind":"consumer-build"},{"aggregate":"ReplayLedger","kind":"private-event-history"},{"aggregate":"ReplayTarget","kind":"private-event-history"},{"aggregate":"ReplayLedger","kind":"snapshot-hydration"},{"aggregate":"ReplayTarget","kind":"snapshot-hydration"},{"kind":"workqueue-history","workqueue":"replay_jobs"},{"kind":"query-api","position":"input","readModel":"replay_lookup"},{"kind":"query-api","position":"result","readModel":"replay_lookup"}],"consumerEvidence":[{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger command ImportLegacy .envelope : ReplayEnvelope .label : MaybeLabel","surface":"aggregate-command"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger command Record .envelope : ReplayEnvelope .label : MaybeLabel","surface":"aggregate-command"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger event LegacyMappingImported .envelope : ReplayEnvelope .label : MaybeLabel","surface":"private-event-payload"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger event MappingAudited .envelope : ReplayEnvelope .label : MaybeLabel","surface":"private-event-payload"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger event MappingRecorded .envelope : ReplayEnvelope .label : MaybeLabel","surface":"private-event-payload"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger register current : ReplayEnvelope .label : MaybeLabel","surface":"snapshot-register"},{"consumer":"ReplayTarget","operation":null,"path":"ReplayTarget command Store .envelope : ReplayEnvelope .label : MaybeLabel","surface":"aggregate-command"},{"consumer":"ReplayTarget","operation":null,"path":"ReplayTarget event Stored .envelope : ReplayEnvelope .label : MaybeLabel","surface":"private-event-payload"},{"consumer":"ReplayTarget","operation":null,"path":"ReplayTarget register latest : ReplayEnvelope .label : MaybeLabel","surface":"snapshot-register"},{"consumer":"workqueue:replay_jobs","operation":null,"path":"workqueue replay_jobs payload .envelope : ReplayEnvelope .label : MaybeLabel","surface":"workqueue-payload"},{"consumer":"read-model-query:replay_lookup:input","operation":null,"path":"readmodel replay_lookup query input : ReplayEnvelope .label : MaybeLabel","surface":"read-model-query-input"},{"consumer":"read-model-query:replay_lookup:result","operation":null,"path":"readmodel replay_lookup query result : ReplayEnvelope [] .label : MaybeLabel","surface":"read-model-query-result"}],"consumers":["ReplayLedger","ReplayTarget","workqueue:replay_jobs","read-model-query:replay_lookup:input","read-model-query:replay_lookup:result"],"declaration":"MaybeLabel","identity":"structural\u001fkeiro-dsl:Conformance.CheckedMappingReplay.Domain:MaybeLabel\u001fConformance.CheckedMappingReplay.Bindings.maybeLabelBinding\u001f1\u001fconformance.checked-mapping-replay.MaybeLabel.v1\u001fConformance.CheckedMappingReplay.Bindings.maybeLabelFixtures\u001f\u001fc289b01d5d2741d7\u001fvalue:Optional(Text)"},{"consequences":[{"consumer":"ReplayLedger","kind":"consumer-build"},{"consumer":"ReplayTarget","kind":"consumer-build"},{"consumer":"workqueue:replay_jobs","kind":"consumer-build"},{"consumer":"read-model-query:replay_lookup:input","kind":"consumer-build"},{"consumer":"read-model-query:replay_lookup:result","kind":"consumer-build"},{"aggregate":"ReplayLedger","kind":"private-event-history"},{"aggregate":"ReplayTarget","kind":"private-event-history"},{"aggregate":"ReplayLedger","kind":"snapshot-hydration"},{"aggregate":"ReplayTarget","kind":"snapshot-hydration"},{"kind":"workqueue-history","workqueue":"replay_jobs"},{"kind":"query-api","position":"input","readModel":"replay_lookup"},{"kind":"query-api","position":"result","readModel":"replay_lookup"}],"consumerEvidence":[{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger command ImportLegacy .envelope : ReplayEnvelope","surface":"aggregate-command"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger command Record .envelope : ReplayEnvelope","surface":"aggregate-command"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger event LegacyMappingImported .envelope : ReplayEnvelope","surface":"private-event-payload"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger event MappingAudited .envelope : ReplayEnvelope","surface":"private-event-payload"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger event MappingRecorded .envelope : ReplayEnvelope","surface":"private-event-payload"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger register current : ReplayEnvelope","surface":"snapshot-register"},{"consumer":"ReplayTarget","operation":null,"path":"ReplayTarget command Store .envelope : ReplayEnvelope","surface":"aggregate-command"},{"consumer":"ReplayTarget","operation":null,"path":"ReplayTarget event Stored .envelope : ReplayEnvelope","surface":"private-event-payload"},{"consumer":"ReplayTarget","operation":null,"path":"ReplayTarget register latest : ReplayEnvelope","surface":"snapshot-register"},{"consumer":"workqueue:replay_jobs","operation":null,"path":"workqueue replay_jobs payload .envelope : ReplayEnvelope","surface":"workqueue-payload"},{"consumer":"read-model-query:replay_lookup:input","operation":null,"path":"readmodel replay_lookup query input : ReplayEnvelope","surface":"read-model-query-input"},{"consumer":"read-model-query:replay_lookup:result","operation":null,"path":"readmodel replay_lookup query result : ReplayEnvelope []","surface":"read-model-query-result"}],"consumers":["ReplayLedger","ReplayTarget","workqueue:replay_jobs","read-model-query:replay_lookup:input","read-model-query:replay_lookup:result"],"declaration":"ReplayEnvelope","identity":"structural\u001fkeiro-dsl:Conformance.CheckedMappingReplay.Domain:ReplayEnvelope\u001fConformance.CheckedMappingReplay.Bindings.replayEnvelopeBinding\u001f1\u001fconformance.checked-mapping-replay.ReplayEnvelope.v1\u001fConformance.CheckedMappingReplay.Bindings.replayEnvelopeFixtures\u001fConformance.CheckedMappingReplay.Bindings.initialReplayEnvelope\u001fa4462543d6941d76\u001frecord:ReplayEnvelope:contentHash=contentHash,days=days,identities=identities,label=label,labels=labels,optionalLabels=optionalLabels,primary=primary"},{"consequences":[{"consumer":"ReplayLedger","kind":"consumer-build"},{"consumer":"ReplayTarget","kind":"consumer-build"},{"consumer":"workqueue:replay_jobs","kind":"consumer-build"},{"consumer":"read-model-query:replay_lookup:input","kind":"consumer-build"},{"consumer":"read-model-query:replay_lookup:result","kind":"consumer-build"},{"aggregate":"ReplayLedger","kind":"private-event-history"},{"aggregate":"ReplayTarget","kind":"private-event-history"},{"aggregate":"ReplayLedger","kind":"snapshot-hydration"},{"aggregate":"ReplayTarget","kind":"snapshot-hydration"},{"kind":"workqueue-history","workqueue":"replay_jobs"},{"kind":"query-api","position":"input","readModel":"replay_lookup"},{"kind":"query-api","position":"result","readModel":"replay_lookup"}],"consumerEvidence":[{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger command ImportLegacy .envelope : ReplayEnvelope .labels : TextLabels","surface":"aggregate-command"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger command Record .envelope : ReplayEnvelope .labels : TextLabels","surface":"aggregate-command"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger event LegacyMappingImported .envelope : ReplayEnvelope .labels : TextLabels","surface":"private-event-payload"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger event MappingAudited .envelope : ReplayEnvelope .labels : TextLabels","surface":"private-event-payload"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger event MappingRecorded .envelope : ReplayEnvelope .labels : TextLabels","surface":"private-event-payload"},{"consumer":"ReplayLedger","operation":null,"path":"ReplayLedger register current : ReplayEnvelope .labels : TextLabels","surface":"snapshot-register"},{"consumer":"ReplayTarget","operation":null,"path":"ReplayTarget command Store .envelope : ReplayEnvelope .labels : TextLabels","surface":"aggregate-command"},{"consumer":"ReplayTarget","operation":null,"path":"ReplayTarget event Stored .envelope : ReplayEnvelope .labels : TextLabels","surface":"private-event-payload"},{"consumer":"ReplayTarget","operation":null,"path":"ReplayTarget register latest : ReplayEnvelope .labels : TextLabels","surface":"snapshot-register"},{"consumer":"workqueue:replay_jobs","operation":null,"path":"workqueue replay_jobs payload .envelope : ReplayEnvelope .labels : TextLabels","surface":"workqueue-payload"},{"consumer":"read-model-query:replay_lookup:input","operation":null,"path":"readmodel replay_lookup query input : ReplayEnvelope .labels : TextLabels","surface":"read-model-query-input"},{"consumer":"read-model-query:replay_lookup:result","operation":null,"path":"readmodel replay_lookup query result : ReplayEnvelope [] .labels : TextLabels","surface":"read-model-query-result"}],"consumers":["ReplayLedger","ReplayTarget","workqueue:replay_jobs","read-model-query:replay_lookup:input","read-model-query:replay_lookup:result"],"declaration":"TextLabels","identity":"structural\u001fkeiro-dsl:Conformance.CheckedMappingReplay.Domain:TextLabels\u001fConformance.CheckedMappingReplay.Bindings.textLabelsBinding\u001f1\u001fconformance.checked-mapping-replay.TextLabels.v1\u001fConformance.CheckedMappingReplay.Bindings.textLabelsFixtures\u001f\u001f68498398eaf249eb\u001fvalue:Set(Text)"}],"mappedSurfaceEvidenceVersion":1,"serviceInventory":["ContentHash","ImportantDays","MaybeContentHash","MaybeLabel","ReplayEnvelope","TextLabels"]}