keiro-dsl-ledger.context.structural-text-sets.txt

keiro-dsl scaffold record v1
spec: keiro-dsl/test/fixtures/structural-text-sets.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 structural-text-sets structural conformance","path":"Generated/StructuralTextSets/StructuralConformance.hs"}
module-role {"family":"BehaviorSourceMap","kind":"generated","ownerKind":"context","ownerName":"context structural-text-sets behavior source map","path":"Generated/StructuralTextSets/BehaviorSourceMap.hs"}
module-role {"family":"LabelEnvelope","kind":"generated","ownerKind":"mapped","ownerName":"mapped structural LabelEnvelope (line 23)","path":"Generated/StructuralTextSets/Structural/Shape/LabelEnvelope.hs"}
module-role {"family":"MaybeTextLabels","kind":"generated","ownerKind":"mapped","ownerName":"mapped structural MaybeTextLabels (line 14)","path":"Generated/StructuralTextSets/Structural/Shape/MaybeTextLabels.hs"}
module-role {"family":"TextLabels","kind":"generated","ownerKind":"mapped","ownerName":"mapped structural TextLabels (line 4)","path":"Generated/StructuralTextSets/Structural/Shape/TextLabels.hs"}
module-role {"family":"Bindings","kind":"hole","ownerKind":"consumer","ownerName":"consumer binding skeleton Conformance.StructuralTextSets.Bindings","path":"Conformance/StructuralTextSets/Bindings.hs"}
module-role {"family":"ReplayAudit","kind":"generated","ownerKind":"context","ownerName":"context structural-text-sets replay-audit assembly","path":"Generated/StructuralTextSets/ReplayAudit.hs"}
module-role {"family":"ProjectionCatalog","kind":"generated","ownerKind":"projection-catalog","ownerName":"projection-catalog structural-text-sets","path":"Generated/StructuralTextSets/ProjectionCatalog.hs"}
module-role {"family":"ProjectionCatalogHoles","kind":"hole","ownerKind":"projection-catalog","ownerName":"projection-catalog structural-text-sets","path":"StructuralTextSets/ProjectionCatalog/ProjectionCatalogHoles.hs"}
module-role {"family":"Domain","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate LabelStore (line 38)","path":"Generated/StructuralTextSets/LabelStore/Domain.hs"}
module-role {"family":"Codec","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate LabelStore (line 38)","path":"Generated/StructuralTextSets/LabelStore/Codec.hs"}
module-role {"family":"Transducer","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate LabelStore (line 38)","path":"Generated/StructuralTextSets/LabelStore/Transducer.hs"}
module-role {"family":"BehaviorContract","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate LabelStore (line 38)","path":"Generated/StructuralTextSets/LabelStore/BehaviorContract.hs"}
module-role {"family":"BehaviorHoles","kind":"hole","ownerKind":"aggregate","ownerName":"aggregate behavior witnesses LabelStore (line 38)","path":"StructuralTextSets/LabelStore/BehaviorHoles.hs"}
module-role {"family":"EventStream","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate LabelStore (line 38)","path":"Generated/StructuralTextSets/LabelStore/EventStream.hs"}
module-role {"family":"Projection","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate LabelStore (line 38)","path":"Generated/StructuralTextSets/LabelStore/Projection.hs"}
module-role {"family":"Harness","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate LabelStore (line 38)","path":"Generated/StructuralTextSets/LabelStore/Harness.hs"}
module-role {"family":"Queue","kind":"generated","ownerKind":"workqueue","ownerName":"workqueue label_jobs (line 64)","path":"Generated/StructuralTextSets/LabelJobs/Queue.hs"}
module-role {"family":"QueuePolicy","kind":"generated","ownerKind":"workqueue","ownerName":"workqueue label_jobs (line 64)","path":"Generated/StructuralTextSets/LabelJobs/QueuePolicy.hs"}
module-role {"family":"QueueCodec","kind":"generated","ownerKind":"workqueue","ownerName":"workqueue label_jobs (line 64)","path":"Generated/StructuralTextSets/LabelJobs/QueueCodec.hs"}
module-role {"family":"ReadModelTable","kind":"generated","ownerKind":"readmodel","ownerName":"readmodel label_lookup (line 106)","path":"Generated/StructuralTextSets/LabelLookup/ReadModelTable.hs"}
module-role {"family":"QueryContract","kind":"generated","ownerKind":"readmodel","ownerName":"readmodel label_lookup (line 106)","path":"Generated/StructuralTextSets/LabelLookup/QueryContract.hs"}
module-role {"family":"ReadModel","kind":"generated","ownerKind":"readmodel","ownerName":"readmodel label_lookup (line 106)","path":"Generated/StructuralTextSets/LabelLookup/ReadModel.hs"}
module-role {"family":"ReadModelHoles","kind":"hole","ownerKind":"readmodel","ownerName":"readmodel label_lookup (line 106)","path":"StructuralTextSets/LabelLookup/ReadModelHoles.hs"}
module-role {"family":"ReadModelHarness","kind":"generated","ownerKind":"readmodel","ownerName":"readmodel label_lookup (line 106)","path":"Generated/StructuralTextSets/LabelLookup/ReadModelHarness.hs"}
generated Generated/StructuralTextSets/StructuralConformance.hs
generated Generated/StructuralTextSets/BehaviorSourceMap.hs
generated Generated/StructuralTextSets/Structural/Shape/LabelEnvelope.hs
generated Generated/StructuralTextSets/Structural/Shape/MaybeTextLabels.hs
generated Generated/StructuralTextSets/Structural/Shape/TextLabels.hs
hole Conformance/StructuralTextSets/Bindings.hs
generated Generated/StructuralTextSets/ReplayAudit.hs
generated Generated/StructuralTextSets/ProjectionCatalog.hs
hole StructuralTextSets/ProjectionCatalog/ProjectionCatalogHoles.hs
generated Generated/StructuralTextSets/LabelStore/Domain.hs
generated Generated/StructuralTextSets/LabelStore/Codec.hs
generated Generated/StructuralTextSets/LabelStore/Transducer.hs
generated Generated/StructuralTextSets/LabelStore/BehaviorContract.hs
hole StructuralTextSets/LabelStore/BehaviorHoles.hs
generated Generated/StructuralTextSets/LabelStore/EventStream.hs
generated Generated/StructuralTextSets/LabelStore/Projection.hs
generated Generated/StructuralTextSets/LabelStore/Harness.hs
generated Generated/StructuralTextSets/LabelJobs/Queue.hs
generated Generated/StructuralTextSets/LabelJobs/QueuePolicy.hs
generated Generated/StructuralTextSets/LabelJobs/QueueCodec.hs
generated Generated/StructuralTextSets/LabelLookup/ReadModelTable.hs
generated Generated/StructuralTextSets/LabelLookup/QueryContract.hs
generated Generated/StructuralTextSets/LabelLookup/ReadModel.hs
hole StructuralTextSets/LabelLookup/ReadModelHoles.hs
generated Generated/StructuralTextSets/LabelLookup/ReadModelHarness.hs
mapping {"bindingSymbol":"Conformance.StructuralTextSets.Bindings.labelEnvelopeBinding","bindingVersion":"1","canonicalType":"conformance.structural-text-sets.LabelEnvelope.v1","mode":"structural","module":"Conformance.StructuralTextSets.Domain","package":"keiro-dsl","schema":1,"specName":"LabelEnvelope","type":"LabelEnvelope"}
mapping {"bindingSymbol":"Conformance.StructuralTextSets.Bindings.maybeTextLabelsBinding","bindingVersion":"1","canonicalType":"conformance.structural-text-sets.MaybeTextLabels.v1","mode":"structural","module":"Conformance.StructuralTextSets.Domain","package":"keiro-dsl","schema":1,"specName":"MaybeTextLabels","type":"MaybeTextLabels"}
mapping {"bindingSymbol":"Conformance.StructuralTextSets.Bindings.textLabelsBinding","bindingVersion":"1","canonicalType":"conformance.structural-text-sets.TextLabels.v1","mode":"structural","module":"Conformance.StructuralTextSets.Domain","package":"keiro-dsl","schema":1,"specName":"TextLabels","type":"TextLabels"}
binding {"kind":"binding","mappedName":"LabelEnvelope","module":"Conformance.StructuralTextSets.Bindings","path":"labelled","schema":1,"signature":"labelEnvelopeBinding.labelled :: Map Text (Set Text)","symbol":"labelEnvelopeBinding"}
binding {"kind":"binding","mappedName":"LabelEnvelope","module":"Conformance.StructuralTextSets.Bindings","path":"namedOptional","schema":1,"signature":"labelEnvelopeBinding.namedOptional :: MaybeTextLabels","symbol":"labelEnvelopeBinding"}
binding {"kind":"binding","mappedName":"LabelEnvelope","module":"Conformance.StructuralTextSets.Bindings","path":"optionalLabels","schema":1,"signature":"labelEnvelopeBinding.optionalLabels :: Maybe (Set Text)","symbol":"labelEnvelopeBinding"}
binding {"kind":"binding","mappedName":"LabelEnvelope","module":"Conformance.StructuralTextSets.Bindings","path":"primary","schema":1,"signature":"labelEnvelopeBinding.primary :: Set Text","symbol":"labelEnvelopeBinding"}
binding {"kind":"binding","mappedName":"LabelEnvelope","module":"Conformance.StructuralTextSets.Bindings","path":"sequence","schema":1,"signature":"labelEnvelopeBinding.sequence :: [Set Text]","symbol":"labelEnvelopeBinding"}
binding {"kind":"fixtures","mappedName":"LabelEnvelope","module":"Conformance.StructuralTextSets.Bindings","path":null,"schema":1,"signature":"labelEnvelopeFixtures :: FixtureCases Conformance.StructuralTextSets.Domain.LabelEnvelope","symbol":"labelEnvelopeFixtures"}
binding {"kind":"binding","mappedName":"MaybeTextLabels","module":"Conformance.StructuralTextSets.Bindings","path":"value","schema":1,"signature":"maybeTextLabelsBinding.value :: Maybe (Set Text)","symbol":"maybeTextLabelsBinding"}
binding {"kind":"fixtures","mappedName":"MaybeTextLabels","module":"Conformance.StructuralTextSets.Bindings","path":null,"schema":1,"signature":"maybeTextLabelsFixtures :: FixtureCases Conformance.StructuralTextSets.Domain.MaybeTextLabels","symbol":"maybeTextLabelsFixtures"}
binding {"kind":"binding","mappedName":"TextLabels","module":"Conformance.StructuralTextSets.Bindings","path":"value","schema":1,"signature":"textLabelsBinding.value :: Set Text","symbol":"textLabelsBinding"}
binding {"kind":"fixtures","mappedName":"TextLabels","module":"Conformance.StructuralTextSets.Bindings","path":null,"schema":1,"signature":"textLabelsFixtures :: FixtureCases Conformance.StructuralTextSets.Domain.TextLabels","symbol":"textLabelsFixtures"}
binding {"kind":"initial-value","mappedName":"TextLabels","module":"Conformance.StructuralTextSets.Bindings","path":null,"schema":1,"signature":"initialTextLabels :: Conformance.StructuralTextSets.Domain.TextLabels","symbol":"initialTextLabels"}
behavior {"aggregate":"LabelStore","command":"ImportLegacyLabels","evidence":"generated-authoritative","key":"behavior-v1-21ff727d241ecd71","kind":"replay-transition","outputs":[{"command":"ImportLegacyLabels","ownership":"generated-command-identity"}],"source":"Empty"}
behavior {"aggregate":"LabelStore","command":"ImportLegacyLabels","evidence":"generated-authoritative","key":"behavior-v1-3fe9a1bf4f7fe73f","kind":"required-rejection","outputs":[],"source":"Stored"}
behavior {"aggregate":"LabelStore","command":"ImportLegacyLabels","evidence":"generated-authoritative","key":"behavior-v1-7f54aab10d4d248f","kind":"required-rejection","outputs":[],"source":"Empty"}
behavior {"aggregate":"LabelStore","command":"StoreLabels","evidence":"generated-authoritative","key":"behavior-v1-bf90d9e010468fdc","kind":"live-transition","outputs":[{"command":"StoreLabels","ownership":"generated-command-identity"},{"command":"StoreLabels","ownership":"generated-command-identity"}],"source":"Empty"}
behavior {"aggregate":"LabelStore","command":"StoreLabels","evidence":"generated-authoritative","key":"behavior-v1-c15c80eb55d3be38","kind":"required-rejection","outputs":[],"source":"Stored"}
projection-catalog-fact cursor|label_lookup|label-writer|106
projection-catalog-fact delivery|label_writer|subscription|94
projection-catalog-fact freshness|label_lookup|wait-for-head:entire-log|106
projection-catalog-fact group|label_rebuild|label_table|label_table|89
projection-catalog-fact owner|label_writer|all|label_rebuild|label_table|10|label-writer|label-writer-v1|from-beginning|explicit|94
projection-catalog-fact query|label_lookup|label_rebuild|label_table|label_table|106
projection-catalog-fact supply|label_lookup|label_writer|label_rebuild|label_table|106|94
projection-catalog-fact target|label_table|public|label_values|clear||83
query-contract-baseline v1
query-contract {"mappedDependencies":["MaybeTextLabels"],"position":"input","readModel":"label_lookup","typeExpression":"MaybeTextLabels"}
query-contract {"mappedDependencies":["LabelEnvelope","MaybeTextLabels"],"position":"result","readModel":"label_lookup","typeExpression":"LabelEnvelope"}
semantic-impact {"declarations":[{"consequences":[{"consumer":"LabelStore","kind":"consumer-build"},{"consumer":"workqueue:label_jobs","kind":"consumer-build"},{"consumer":"read-model-query:label_lookup:result","kind":"consumer-build"},{"aggregate":"LabelStore","kind":"private-event-history"},{"kind":"workqueue-history","workqueue":"label_jobs"},{"kind":"query-api","position":"result","readModel":"label_lookup"}],"consumerEvidence":[{"consumer":"LabelStore","operation":null,"path":"LabelStore command ImportLegacyLabels .envelope : LabelEnvelope","surface":"aggregate-command"},{"consumer":"LabelStore","operation":null,"path":"LabelStore command StoreLabels .envelope : LabelEnvelope","surface":"aggregate-command"},{"consumer":"LabelStore","operation":null,"path":"LabelStore event LabelsAudited .envelope : LabelEnvelope","surface":"private-event-payload"},{"consumer":"LabelStore","operation":null,"path":"LabelStore event LabelsStored .envelope : LabelEnvelope","surface":"private-event-payload"},{"consumer":"LabelStore","operation":null,"path":"LabelStore event LegacyLabelsImported .envelope : LabelEnvelope","surface":"private-event-payload"},{"consumer":"workqueue:label_jobs","operation":null,"path":"workqueue label_jobs payload .envelope : LabelEnvelope","surface":"workqueue-payload"},{"consumer":"read-model-query:label_lookup:result","operation":null,"path":"readmodel label_lookup query result : LabelEnvelope","surface":"read-model-query-result"}],"consumers":["LabelStore","workqueue:label_jobs","read-model-query:label_lookup:result"],"declaration":"LabelEnvelope","identity":"structural\u001fkeiro-dsl:Conformance.StructuralTextSets.Domain:LabelEnvelope\u001fConformance.StructuralTextSets.Bindings.labelEnvelopeBinding\u001f1\u001fconformance.structural-text-sets.LabelEnvelope.v1\u001fConformance.StructuralTextSets.Bindings.labelEnvelopeFixtures\u001f\u001f78d1994bf9d1b15c\u001frecord:LabelEnvelope:labelled=labelled,namedOptional=namedOptional,optionalLabels=optionalLabels,primary=primary,sequence=sequence"},{"consequences":[{"consumer":"LabelStore","kind":"consumer-build"},{"consumer":"workqueue:label_jobs","kind":"consumer-build"},{"consumer":"read-model-query:label_lookup:input","kind":"consumer-build"},{"consumer":"read-model-query:label_lookup:result","kind":"consumer-build"},{"aggregate":"LabelStore","kind":"private-event-history"},{"kind":"workqueue-history","workqueue":"label_jobs"},{"kind":"query-api","position":"input","readModel":"label_lookup"},{"kind":"query-api","position":"result","readModel":"label_lookup"}],"consumerEvidence":[{"consumer":"LabelStore","operation":null,"path":"LabelStore command ImportLegacyLabels .envelope : LabelEnvelope .namedOptional : MaybeTextLabels","surface":"aggregate-command"},{"consumer":"LabelStore","operation":null,"path":"LabelStore command ImportLegacyLabels .optionalLabels : MaybeTextLabels","surface":"aggregate-command"},{"consumer":"LabelStore","operation":null,"path":"LabelStore command StoreLabels .envelope : LabelEnvelope .namedOptional : MaybeTextLabels","surface":"aggregate-command"},{"consumer":"LabelStore","operation":null,"path":"LabelStore command StoreLabels .optionalLabels : MaybeTextLabels","surface":"aggregate-command"},{"consumer":"LabelStore","operation":null,"path":"LabelStore event LabelsAudited .envelope : LabelEnvelope .namedOptional : MaybeTextLabels","surface":"private-event-payload"},{"consumer":"LabelStore","operation":null,"path":"LabelStore event LabelsAudited .optionalLabels : MaybeTextLabels","surface":"private-event-payload"},{"consumer":"LabelStore","operation":null,"path":"LabelStore event LabelsStored .envelope : LabelEnvelope .namedOptional : MaybeTextLabels","surface":"private-event-payload"},{"consumer":"LabelStore","operation":null,"path":"LabelStore event LabelsStored .optionalLabels : MaybeTextLabels","surface":"private-event-payload"},{"consumer":"LabelStore","operation":null,"path":"LabelStore event LegacyLabelsImported .envelope : LabelEnvelope .namedOptional : MaybeTextLabels","surface":"private-event-payload"},{"consumer":"LabelStore","operation":null,"path":"LabelStore event LegacyLabelsImported .optionalLabels : MaybeTextLabels","surface":"private-event-payload"},{"consumer":"workqueue:label_jobs","operation":null,"path":"workqueue label_jobs payload .envelope : LabelEnvelope .namedOptional : MaybeTextLabels","surface":"workqueue-payload"},{"consumer":"workqueue:label_jobs","operation":null,"path":"workqueue label_jobs payload .optionalLabels : MaybeTextLabels","surface":"workqueue-payload"},{"consumer":"read-model-query:label_lookup:input","operation":null,"path":"readmodel label_lookup query input : MaybeTextLabels","surface":"read-model-query-input"},{"consumer":"read-model-query:label_lookup:result","operation":null,"path":"readmodel label_lookup query result : LabelEnvelope .namedOptional : MaybeTextLabels","surface":"read-model-query-result"}],"consumers":["LabelStore","workqueue:label_jobs","read-model-query:label_lookup:input","read-model-query:label_lookup:result"],"declaration":"MaybeTextLabels","identity":"structural\u001fkeiro-dsl:Conformance.StructuralTextSets.Domain:MaybeTextLabels\u001fConformance.StructuralTextSets.Bindings.maybeTextLabelsBinding\u001f1\u001fconformance.structural-text-sets.MaybeTextLabels.v1\u001fConformance.StructuralTextSets.Bindings.maybeTextLabelsFixtures\u001f\u001fc3f0c4d157c0892c\u001fvalue:Optional(Set(Text))"},{"consequences":[{"consumer":"LabelStore","kind":"consumer-build"},{"consumer":"workqueue:label_jobs","kind":"consumer-build"},{"aggregate":"LabelStore","kind":"private-event-history"},{"aggregate":"LabelStore","kind":"snapshot-hydration"},{"kind":"workqueue-history","workqueue":"label_jobs"}],"consumerEvidence":[{"consumer":"LabelStore","operation":null,"path":"LabelStore command ImportLegacyLabels .labels : TextLabels","surface":"aggregate-command"},{"consumer":"LabelStore","operation":null,"path":"LabelStore command StoreLabels .labels : TextLabels","surface":"aggregate-command"},{"consumer":"LabelStore","operation":null,"path":"LabelStore event LabelsAudited .labels : TextLabels","surface":"private-event-payload"},{"consumer":"LabelStore","operation":null,"path":"LabelStore event LabelsStored .labels : TextLabels","surface":"private-event-payload"},{"consumer":"LabelStore","operation":null,"path":"LabelStore event LegacyLabelsImported .labels : TextLabels","surface":"private-event-payload"},{"consumer":"LabelStore","operation":null,"path":"LabelStore register current : TextLabels","surface":"snapshot-register"},{"consumer":"workqueue:label_jobs","operation":null,"path":"workqueue label_jobs payload .labels : TextLabels","surface":"workqueue-payload"}],"consumers":["LabelStore","workqueue:label_jobs"],"declaration":"TextLabels","identity":"structural\u001fkeiro-dsl:Conformance.StructuralTextSets.Domain:TextLabels\u001fConformance.StructuralTextSets.Bindings.textLabelsBinding\u001f1\u001fconformance.structural-text-sets.TextLabels.v1\u001fConformance.StructuralTextSets.Bindings.textLabelsFixtures\u001fConformance.StructuralTextSets.Bindings.initialTextLabels\u001f68498398eaf249eb\u001fvalue:Set(Text)"}],"mappedSurfaceEvidenceVersion":1,"serviceInventory":["LabelEnvelope","MaybeTextLabels","TextLabels"]}