keiro-dsl-ledger.context.bare-containers.txt

keiro-dsl scaffold record v1
spec: keiro-dsl/test/fixtures/bare-containers.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 bare-containers structural conformance","path":"Generated/BareContainers/StructuralConformance.hs"}
module-role {"family":"BehaviorSourceMap","kind":"generated","ownerKind":"context","ownerName":"context bare-containers behavior source map","path":"Generated/BareContainers/BehaviorSourceMap.hs"}
module-role {"family":"BareEnvelope","kind":"generated","ownerKind":"mapped","ownerName":"mapped structural BareEnvelope (line 43)","path":"Generated/BareContainers/Structural/Shape/BareEnvelope.hs"}
module-role {"family":"MaybeText","kind":"generated","ownerKind":"mapped","ownerName":"mapped structural MaybeText (line 6)","path":"Generated/BareContainers/Structural/Shape/MaybeText.hs"}
module-role {"family":"NestedIds","kind":"generated","ownerKind":"mapped","ownerName":"mapped structural NestedIds (line 34)","path":"Generated/BareContainers/Structural/Shape/NestedIds.hs"}
module-role {"family":"TextList","kind":"generated","ownerKind":"mapped","ownerName":"mapped structural TextList (line 16)","path":"Generated/BareContainers/Structural/Shape/TextList.hs"}
module-role {"family":"TextMap","kind":"generated","ownerKind":"mapped","ownerName":"mapped structural TextMap (line 25)","path":"Generated/BareContainers/Structural/Shape/TextMap.hs"}
module-role {"family":"Nominals","kind":"generated","ownerKind":"context","ownerName":"context bare-containers generated nominal declarations","path":"Generated/BareContainers/Nominals.hs"}
module-role {"family":"Internal","kind":"generated","ownerKind":"context","ownerName":"context bare-containers generated nominal ID internals","path":"Generated/BareContainers/Nominals/Internal.hs"}
module-role {"family":"NominalLeaves","kind":"generated","ownerKind":"context","ownerName":"context bare-containers structural nominal leaves","path":"Generated/BareContainers/Structural/NominalLeaves.hs"}
module-role {"family":"Bindings","kind":"hole","ownerKind":"consumer","ownerName":"consumer binding skeleton Conformance.BareContainers.Bindings","path":"Conformance/BareContainers/Bindings.hs"}
module-role {"family":"ReplayAudit","kind":"generated","ownerKind":"context","ownerName":"context bare-containers replay-audit assembly","path":"Generated/BareContainers/ReplayAudit.hs"}
module-role {"family":"ProjectionCatalog","kind":"generated","ownerKind":"projection-catalog","ownerName":"projection-catalog bare-containers","path":"Generated/BareContainers/ProjectionCatalog.hs"}
module-role {"family":"ProjectionCatalogHoles","kind":"hole","ownerKind":"projection-catalog","ownerName":"projection-catalog bare-containers","path":"BareContainers/ProjectionCatalog/ProjectionCatalogHoles.hs"}
module-role {"family":"Domain","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate BareStore (line 57)","path":"Generated/BareContainers/BareStore/Domain.hs"}
module-role {"family":"Codec","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate BareStore (line 57)","path":"Generated/BareContainers/BareStore/Codec.hs"}
module-role {"family":"Transducer","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate BareStore (line 57)","path":"Generated/BareContainers/BareStore/Transducer.hs"}
module-role {"family":"BehaviorContract","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate BareStore (line 57)","path":"Generated/BareContainers/BareStore/BehaviorContract.hs"}
module-role {"family":"BehaviorHoles","kind":"hole","ownerKind":"aggregate","ownerName":"aggregate behavior witnesses BareStore (line 57)","path":"BareContainers/BareStore/BehaviorHoles.hs"}
module-role {"family":"EventStream","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate BareStore (line 57)","path":"Generated/BareContainers/BareStore/EventStream.hs"}
module-role {"family":"Projection","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate BareStore (line 57)","path":"Generated/BareContainers/BareStore/Projection.hs"}
module-role {"family":"Harness","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate BareStore (line 57)","path":"Generated/BareContainers/BareStore/Harness.hs"}
module-role {"family":"Queue","kind":"generated","ownerKind":"workqueue","ownerName":"workqueue bare_jobs (line 74)","path":"Generated/BareContainers/BareJobs/Queue.hs"}
module-role {"family":"QueuePolicy","kind":"generated","ownerKind":"workqueue","ownerName":"workqueue bare_jobs (line 74)","path":"Generated/BareContainers/BareJobs/QueuePolicy.hs"}
module-role {"family":"QueueCodec","kind":"generated","ownerKind":"workqueue","ownerName":"workqueue bare_jobs (line 74)","path":"Generated/BareContainers/BareJobs/QueueCodec.hs"}
module-role {"family":"ReadModelTable","kind":"generated","ownerKind":"readmodel","ownerName":"readmodel bare_lookup (line 115)","path":"Generated/BareContainers/BareLookup/ReadModelTable.hs"}
module-role {"family":"QueryContract","kind":"generated","ownerKind":"readmodel","ownerName":"readmodel bare_lookup (line 115)","path":"Generated/BareContainers/BareLookup/QueryContract.hs"}
module-role {"family":"ReadModel","kind":"generated","ownerKind":"readmodel","ownerName":"readmodel bare_lookup (line 115)","path":"Generated/BareContainers/BareLookup/ReadModel.hs"}
module-role {"family":"ReadModelHoles","kind":"hole","ownerKind":"readmodel","ownerName":"readmodel bare_lookup (line 115)","path":"BareContainers/BareLookup/ReadModelHoles.hs"}
module-role {"family":"ReadModelHarness","kind":"generated","ownerKind":"readmodel","ownerName":"readmodel bare_lookup (line 115)","path":"Generated/BareContainers/BareLookup/ReadModelHarness.hs"}
generated Generated/BareContainers/StructuralConformance.hs
generated Generated/BareContainers/BehaviorSourceMap.hs
generated Generated/BareContainers/Structural/Shape/BareEnvelope.hs
generated Generated/BareContainers/Structural/Shape/MaybeText.hs
generated Generated/BareContainers/Structural/Shape/NestedIds.hs
generated Generated/BareContainers/Structural/Shape/TextList.hs
generated Generated/BareContainers/Structural/Shape/TextMap.hs
generated Generated/BareContainers/Nominals.hs
generated Generated/BareContainers/Nominals/Internal.hs
generated Generated/BareContainers/Structural/NominalLeaves.hs
hole Conformance/BareContainers/Bindings.hs
generated Generated/BareContainers/ReplayAudit.hs
generated Generated/BareContainers/ProjectionCatalog.hs
hole BareContainers/ProjectionCatalog/ProjectionCatalogHoles.hs
generated Generated/BareContainers/BareStore/Domain.hs
generated Generated/BareContainers/BareStore/Codec.hs
generated Generated/BareContainers/BareStore/Transducer.hs
generated Generated/BareContainers/BareStore/BehaviorContract.hs
hole BareContainers/BareStore/BehaviorHoles.hs
generated Generated/BareContainers/BareStore/EventStream.hs
generated Generated/BareContainers/BareStore/Projection.hs
generated Generated/BareContainers/BareStore/Harness.hs
generated Generated/BareContainers/BareJobs/Queue.hs
generated Generated/BareContainers/BareJobs/QueuePolicy.hs
generated Generated/BareContainers/BareJobs/QueueCodec.hs
generated Generated/BareContainers/BareLookup/ReadModelTable.hs
generated Generated/BareContainers/BareLookup/QueryContract.hs
generated Generated/BareContainers/BareLookup/ReadModel.hs
hole BareContainers/BareLookup/ReadModelHoles.hs
generated Generated/BareContainers/BareLookup/ReadModelHarness.hs
mapping {"bindingSymbol":"Conformance.BareContainers.Bindings.bareEnvelopeBinding","bindingVersion":"1","canonicalType":"conformance.bare-containers.BareEnvelope.v1","mode":"structural","module":"Conformance.BareContainers.Domain","package":"keiro-dsl","schema":1,"specName":"BareEnvelope","type":"BareEnvelope"}
mapping {"bindingSymbol":"Conformance.BareContainers.Bindings.maybeTextBinding","bindingVersion":"1","canonicalType":"conformance.bare-containers.MaybeText.v1","mode":"structural","module":"Conformance.BareContainers.Domain","package":"keiro-dsl","schema":1,"specName":"MaybeText","type":"MaybeText"}
mapping {"bindingSymbol":"Conformance.BareContainers.Bindings.nestedIdsBinding","bindingVersion":"1","canonicalType":"conformance.bare-containers.NestedIds.v1","mode":"structural","module":"Conformance.BareContainers.Domain","package":"keiro-dsl","schema":1,"specName":"NestedIds","type":"NestedIds"}
mapping {"bindingSymbol":"Conformance.BareContainers.Bindings.textListBinding","bindingVersion":"1","canonicalType":"conformance.bare-containers.TextList.v1","mode":"structural","module":"Conformance.BareContainers.Domain","package":"keiro-dsl","schema":1,"specName":"TextList","type":"TextList"}
mapping {"bindingSymbol":"Conformance.BareContainers.Bindings.textMapBinding","bindingVersion":"1","canonicalType":"conformance.bare-containers.TextMap.v1","mode":"structural","module":"Conformance.BareContainers.Domain","package":"keiro-dsl","schema":1,"specName":"TextMap","type":"TextMap"}
id-domain id-domain|name=ItemId|contract=keiro-dsl/id-domain/typeid-v7/1|prefix=item|separator=_|json=canonical-json-text
nominal-equality nominal-equality|name=ItemId|contract=keiro-dsl/nominal-equality/2|key=Text|domain=typeid-v7-text:item:keiro-dsl/id-domain/typeid-v7/1|owner=generated
binding {"kind":"binding","mappedName":"BareEnvelope","module":"Conformance.BareContainers.Bindings","path":"attributes","schema":1,"signature":"bareEnvelopeBinding.attributes :: TextMap","symbol":"bareEnvelopeBinding"}
binding {"kind":"binding","mappedName":"BareEnvelope","module":"Conformance.BareContainers.Bindings","path":"labels","schema":1,"signature":"bareEnvelopeBinding.labels :: TextList","symbol":"bareEnvelopeBinding"}
binding {"kind":"binding","mappedName":"BareEnvelope","module":"Conformance.BareContainers.Bindings","path":"nestedIds","schema":1,"signature":"bareEnvelopeBinding.nestedIds :: NestedIds","symbol":"bareEnvelopeBinding"}
binding {"kind":"binding","mappedName":"BareEnvelope","module":"Conformance.BareContainers.Bindings","path":"optionalLabel","schema":1,"signature":"bareEnvelopeBinding.optionalLabel :: MaybeText","symbol":"bareEnvelopeBinding"}
binding {"kind":"fixtures","mappedName":"BareEnvelope","module":"Conformance.BareContainers.Bindings","path":null,"schema":1,"signature":"bareEnvelopeFixtures :: FixtureCases Conformance.BareContainers.Domain.BareEnvelope","symbol":"bareEnvelopeFixtures"}
binding {"kind":"binding","mappedName":"MaybeText","module":"Conformance.BareContainers.Bindings","path":"value","schema":1,"signature":"maybeTextBinding.value :: Maybe (Text)","symbol":"maybeTextBinding"}
binding {"kind":"fixtures","mappedName":"MaybeText","module":"Conformance.BareContainers.Bindings","path":null,"schema":1,"signature":"maybeTextFixtures :: FixtureCases Conformance.BareContainers.Domain.MaybeText","symbol":"maybeTextFixtures"}
binding {"kind":"initial-value","mappedName":"MaybeText","module":"Conformance.BareContainers.Bindings","path":null,"schema":1,"signature":"initialMaybeText :: Conformance.BareContainers.Domain.MaybeText","symbol":"initialMaybeText"}
binding {"kind":"binding","mappedName":"NestedIds","module":"Conformance.BareContainers.Bindings","path":"value","schema":1,"signature":"nestedIdsBinding.value :: [Maybe (ItemId)]","symbol":"nestedIdsBinding"}
binding {"kind":"fixtures","mappedName":"NestedIds","module":"Conformance.BareContainers.Bindings","path":null,"schema":1,"signature":"nestedIdsFixtures :: FixtureCases Conformance.BareContainers.Domain.NestedIds","symbol":"nestedIdsFixtures"}
binding {"kind":"binding","mappedName":"TextList","module":"Conformance.BareContainers.Bindings","path":"value","schema":1,"signature":"textListBinding.value :: [Text]","symbol":"textListBinding"}
binding {"kind":"fixtures","mappedName":"TextList","module":"Conformance.BareContainers.Bindings","path":null,"schema":1,"signature":"textListFixtures :: FixtureCases Conformance.BareContainers.Domain.TextList","symbol":"textListFixtures"}
binding {"kind":"binding","mappedName":"TextMap","module":"Conformance.BareContainers.Bindings","path":"value","schema":1,"signature":"textMapBinding.value :: Map Text (Text)","symbol":"textMapBinding"}
binding {"kind":"fixtures","mappedName":"TextMap","module":"Conformance.BareContainers.Bindings","path":null,"schema":1,"signature":"textMapFixtures :: FixtureCases Conformance.BareContainers.Domain.TextMap","symbol":"textMapFixtures"}
behavior {"aggregate":"BareStore","command":"Store","evidence":"generated-authoritative","key":"behavior-v1-b3fa753a88b62d6d","kind":"live-transition","outputs":[{"command":"Store","ownership":"generated-command-identity"}],"source":"Empty"}
behavior {"aggregate":"BareStore","command":"Store","evidence":"generated-authoritative","key":"behavior-v1-b728b85baa41bc71","kind":"required-rejection","outputs":[],"source":"Stored"}
projection-catalog-fact cursor|bare_lookup|bare-writer|115
projection-catalog-fact delivery|bare_writer|subscription|103
projection-catalog-fact freshness|bare_lookup|wait-for-head:entire-log|115
projection-catalog-fact group|bare_rebuild|bare_table|bare_table|98
projection-catalog-fact owner|bare_writer|all|bare_rebuild|bare_table|10|bare-writer|bare-writer-v1|from-beginning|explicit|103
projection-catalog-fact query|bare_lookup|bare_rebuild|bare_table|bare_table|115
projection-catalog-fact supply|bare_lookup|bare_writer|bare_rebuild|bare_table|115|103
projection-catalog-fact target|bare_table|public|bare_values|clear||92
query-contract-baseline v1
query-contract {"mappedDependencies":["MaybeText"],"position":"input","readModel":"bare_lookup","typeExpression":"MaybeText"}
query-contract {"mappedDependencies":["TextList"],"position":"result","readModel":"bare_lookup","typeExpression":"List TextList"}
semantic-impact {"declarations":[{"consequences":[{"consumer":"BareStore","kind":"consumer-build"},{"aggregate":"BareStore","kind":"private-event-history"}],"consumerEvidence":[{"consumer":"BareStore","operation":null,"path":"BareStore command Store .envelope : BareEnvelope","surface":"aggregate-command"},{"consumer":"BareStore","operation":null,"path":"BareStore event StoredValue .envelope : BareEnvelope","surface":"private-event-payload"}],"consumers":["BareStore"],"declaration":"BareEnvelope","identity":"structural\u001fkeiro-dsl:Conformance.BareContainers.Domain:BareEnvelope\u001fConformance.BareContainers.Bindings.bareEnvelopeBinding\u001f1\u001fconformance.bare-containers.BareEnvelope.v1\u001fConformance.BareContainers.Bindings.bareEnvelopeFixtures\u001f\u001fb421af79f12c9602\u001frecord:BareEnvelope:attributes=attributes,labels=labels,nestedIds=nestedIds,optionalLabel=optionalLabel"},{"consequences":[{"consumer":"BareStore","kind":"consumer-build"},{"consumer":"workqueue:bare_jobs","kind":"consumer-build"},{"consumer":"read-model-query:bare_lookup:input","kind":"consumer-build"},{"aggregate":"BareStore","kind":"private-event-history"},{"aggregate":"BareStore","kind":"snapshot-hydration"},{"kind":"workqueue-history","workqueue":"bare_jobs"},{"kind":"query-api","position":"input","readModel":"bare_lookup"}],"consumerEvidence":[{"consumer":"BareStore","operation":null,"path":"BareStore command Store .envelope : BareEnvelope .optionalLabel : MaybeText","surface":"aggregate-command"},{"consumer":"BareStore","operation":null,"path":"BareStore command Store .optionalLabel : MaybeText","surface":"aggregate-command"},{"consumer":"BareStore","operation":null,"path":"BareStore event StoredValue .envelope : BareEnvelope .optionalLabel : MaybeText","surface":"private-event-payload"},{"consumer":"BareStore","operation":null,"path":"BareStore event StoredValue .optionalLabel : MaybeText","surface":"private-event-payload"},{"consumer":"BareStore","operation":null,"path":"BareStore register current : MaybeText","surface":"snapshot-register"},{"consumer":"workqueue:bare_jobs","operation":null,"path":"workqueue bare_jobs payload .optionalLabel : MaybeText","surface":"workqueue-payload"},{"consumer":"read-model-query:bare_lookup:input","operation":null,"path":"readmodel bare_lookup query input : MaybeText","surface":"read-model-query-input"}],"consumers":["BareStore","workqueue:bare_jobs","read-model-query:bare_lookup:input"],"declaration":"MaybeText","identity":"structural\u001fkeiro-dsl:Conformance.BareContainers.Domain:MaybeText\u001fConformance.BareContainers.Bindings.maybeTextBinding\u001f1\u001fconformance.bare-containers.MaybeText.v1\u001fConformance.BareContainers.Bindings.maybeTextFixtures\u001fConformance.BareContainers.Bindings.initialMaybeText\u001fc289b01d5d2741d7\u001fvalue:Optional(Text)"},{"consequences":[{"consumer":"BareStore","kind":"consumer-build"},{"aggregate":"BareStore","kind":"private-event-history"}],"consumerEvidence":[{"consumer":"BareStore","operation":null,"path":"BareStore command Store .envelope : BareEnvelope .nestedIds : NestedIds","surface":"aggregate-command"},{"consumer":"BareStore","operation":null,"path":"BareStore event StoredValue .envelope : BareEnvelope .nestedIds : NestedIds","surface":"private-event-payload"}],"consumers":["BareStore"],"declaration":"NestedIds","identity":"structural\u001fkeiro-dsl:Conformance.BareContainers.Domain:NestedIds\u001fConformance.BareContainers.Bindings.nestedIdsBinding\u001f1\u001fconformance.bare-containers.NestedIds.v1\u001fConformance.BareContainers.Bindings.nestedIdsFixtures\u001f\u001fe77f742023c9baac\u001fvalue:List(Optional(Nominal(ItemId)))"},{"consequences":[{"consumer":"BareStore","kind":"consumer-build"},{"consumer":"workqueue:bare_jobs","kind":"consumer-build"},{"consumer":"read-model-query:bare_lookup:result","kind":"consumer-build"},{"aggregate":"BareStore","kind":"private-event-history"},{"kind":"workqueue-history","workqueue":"bare_jobs"},{"kind":"query-api","position":"result","readModel":"bare_lookup"}],"consumerEvidence":[{"consumer":"BareStore","operation":null,"path":"BareStore command Store .envelope : BareEnvelope .labels : TextList","surface":"aggregate-command"},{"consumer":"BareStore","operation":null,"path":"BareStore command Store .labels : TextList","surface":"aggregate-command"},{"consumer":"BareStore","operation":null,"path":"BareStore event StoredValue .envelope : BareEnvelope .labels : TextList","surface":"private-event-payload"},{"consumer":"BareStore","operation":null,"path":"BareStore event StoredValue .labels : TextList","surface":"private-event-payload"},{"consumer":"workqueue:bare_jobs","operation":null,"path":"workqueue bare_jobs payload .labels : TextList","surface":"workqueue-payload"},{"consumer":"read-model-query:bare_lookup:result","operation":null,"path":"readmodel bare_lookup query result : TextList []","surface":"read-model-query-result"}],"consumers":["BareStore","workqueue:bare_jobs","read-model-query:bare_lookup:result"],"declaration":"TextList","identity":"structural\u001fkeiro-dsl:Conformance.BareContainers.Domain:TextList\u001fConformance.BareContainers.Bindings.textListBinding\u001f1\u001fconformance.bare-containers.TextList.v1\u001fConformance.BareContainers.Bindings.textListFixtures\u001f\u001fab685a6d705cec6f\u001fvalue:List(Text)"},{"consequences":[{"consumer":"BareStore","kind":"consumer-build"},{"aggregate":"BareStore","kind":"private-event-history"}],"consumerEvidence":[{"consumer":"BareStore","operation":null,"path":"BareStore command Store .attributes : TextMap","surface":"aggregate-command"},{"consumer":"BareStore","operation":null,"path":"BareStore command Store .envelope : BareEnvelope .attributes : TextMap","surface":"aggregate-command"},{"consumer":"BareStore","operation":null,"path":"BareStore event StoredValue .attributes : TextMap","surface":"private-event-payload"},{"consumer":"BareStore","operation":null,"path":"BareStore event StoredValue .envelope : BareEnvelope .attributes : TextMap","surface":"private-event-payload"}],"consumers":["BareStore"],"declaration":"TextMap","identity":"structural\u001fkeiro-dsl:Conformance.BareContainers.Domain:TextMap\u001fConformance.BareContainers.Bindings.textMapBinding\u001f1\u001fconformance.bare-containers.TextMap.v1\u001fConformance.BareContainers.Bindings.textMapFixtures\u001f\u001fd0faf271bc72da1f\u001fvalue:Map(Text)"}],"mappedSurfaceEvidenceVersion":1,"serviceInventory":["BareEnvelope","MaybeText","NestedIds","TextList","TextMap"]}