keiro-dsl-ledger.context.structural-nominal-leaves.txt

keiro-dsl scaffold record v1
spec: keiro-dsl/test/fixtures/structural-nominal-leaves.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-nominal-leaves structural conformance","path":"Generated/StructuralNominalLeaves/StructuralConformance.hs"}
module-role {"family":"BehaviorSourceMap","kind":"generated","ownerKind":"context","ownerName":"context structural-nominal-leaves behavior source map","path":"Generated/StructuralNominalLeaves/BehaviorSourceMap.hs"}
module-role {"family":"TemplateBook","kind":"generated","ownerKind":"mapped","ownerName":"mapped structural TemplateBook (line 62)","path":"Generated/StructuralNominalLeaves/Structural/Shape/TemplateBook.hs"}
module-role {"family":"TemplateLookupInput","kind":"generated","ownerKind":"mapped","ownerName":"mapped structural TemplateLookupInput (line 78)","path":"Generated/StructuralNominalLeaves/Structural/Shape/TemplateLookupInput.hs"}
module-role {"family":"TemplateLookupRow","kind":"generated","ownerKind":"mapped","ownerName":"mapped structural TemplateLookupRow (line 89)","path":"Generated/StructuralNominalLeaves/Structural/Shape/TemplateLookupRow.hs"}
module-role {"family":"TemplateRef","kind":"generated","ownerKind":"mapped","ownerName":"mapped structural TemplateRef (line 48)","path":"Generated/StructuralNominalLeaves/Structural/Shape/TemplateRef.hs"}
module-role {"family":"TemplateState","kind":"generated","ownerKind":"mapped","ownerName":"mapped structural TemplateState (line 32)","path":"Generated/StructuralNominalLeaves/Structural/Shape/TemplateState.hs"}
module-role {"family":"StructuralProjections","kind":"generated","ownerKind":"context","ownerName":"context structural-nominal-leaves mapped structural facade","path":"Generated/StructuralNominalLeaves/StructuralProjections.hs"}
module-role {"family":"Nominals","kind":"generated","ownerKind":"context","ownerName":"context structural-nominal-leaves generated nominal declarations","path":"Generated/StructuralNominalLeaves/Nominals.hs"}
module-role {"family":"Internal","kind":"generated","ownerKind":"context","ownerName":"context structural-nominal-leaves generated nominal ID internals","path":"Generated/StructuralNominalLeaves/Nominals/Internal.hs"}
module-role {"family":"NominalLeaves","kind":"generated","ownerKind":"context","ownerName":"context structural-nominal-leaves structural nominal leaves","path":"Generated/StructuralNominalLeaves/Structural/NominalLeaves.hs"}
module-role {"family":"Channel","kind":"generated","ownerKind":"bound","ownerName":"bound nominal enum representation Channel (line 16)","path":"Generated/StructuralNominalLeaves/Nominal/Shape/Channel.hs"}
module-role {"family":"NominalProjections","kind":"generated","ownerKind":"context","ownerName":"context structural-nominal-leaves nominal scalar projection facade","path":"Generated/StructuralNominalLeaves/NominalProjections.hs"}
module-role {"family":"Bindings","kind":"hole","ownerKind":"consumer","ownerName":"consumer binding skeleton Conformance.StructuralNominals.Bindings","path":"Conformance/StructuralNominals/Bindings.hs"}
module-role {"family":"ReplayAudit","kind":"generated","ownerKind":"context","ownerName":"context structural-nominal-leaves replay-audit assembly","path":"Generated/StructuralNominalLeaves/ReplayAudit.hs"}
module-role {"family":"ProjectionCatalog","kind":"generated","ownerKind":"projection-catalog","ownerName":"projection-catalog structural-nominal-leaves","path":"Generated/StructuralNominalLeaves/ProjectionCatalog.hs"}
module-role {"family":"ProjectionCatalogHoles","kind":"hole","ownerKind":"projection-catalog","ownerName":"projection-catalog structural-nominal-leaves","path":"StructuralNominalLeaves/ProjectionCatalog/ProjectionCatalogHoles.hs"}
module-role {"family":"Domain","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate TemplateCatalog (line 101)","path":"Generated/StructuralNominalLeaves/TemplateCatalog/Domain.hs"}
module-role {"family":"Codec","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate TemplateCatalog (line 101)","path":"Generated/StructuralNominalLeaves/TemplateCatalog/Codec.hs"}
module-role {"family":"Transducer","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate TemplateCatalog (line 101)","path":"Generated/StructuralNominalLeaves/TemplateCatalog/Transducer.hs"}
module-role {"family":"BehaviorContract","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate TemplateCatalog (line 101)","path":"Generated/StructuralNominalLeaves/TemplateCatalog/BehaviorContract.hs"}
module-role {"family":"BehaviorHoles","kind":"hole","ownerKind":"aggregate","ownerName":"aggregate behavior witnesses TemplateCatalog (line 101)","path":"StructuralNominalLeaves/TemplateCatalog/BehaviorHoles.hs"}
module-role {"family":"EventStream","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate TemplateCatalog (line 101)","path":"Generated/StructuralNominalLeaves/TemplateCatalog/EventStream.hs"}
module-role {"family":"Projection","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate TemplateCatalog (line 101)","path":"Generated/StructuralNominalLeaves/TemplateCatalog/Projection.hs"}
module-role {"family":"Harness","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate TemplateCatalog (line 101)","path":"Generated/StructuralNominalLeaves/TemplateCatalog/Harness.hs"}
module-role {"family":"Queue","kind":"generated","ownerKind":"workqueue","ownerName":"workqueue template_work (line 126)","path":"Generated/StructuralNominalLeaves/TemplateWork/Queue.hs"}
module-role {"family":"QueuePolicy","kind":"generated","ownerKind":"workqueue","ownerName":"workqueue template_work (line 126)","path":"Generated/StructuralNominalLeaves/TemplateWork/QueuePolicy.hs"}
module-role {"family":"QueueCodec","kind":"generated","ownerKind":"workqueue","ownerName":"workqueue template_work (line 126)","path":"Generated/StructuralNominalLeaves/TemplateWork/QueueCodec.hs"}
module-role {"family":"ReadModelTable","kind":"generated","ownerKind":"readmodel","ownerName":"readmodel template_lookup (line 167)","path":"Generated/StructuralNominalLeaves/TemplateLookup/ReadModelTable.hs"}
module-role {"family":"QueryContract","kind":"generated","ownerKind":"readmodel","ownerName":"readmodel template_lookup (line 167)","path":"Generated/StructuralNominalLeaves/TemplateLookup/QueryContract.hs"}
module-role {"family":"ReadModel","kind":"generated","ownerKind":"readmodel","ownerName":"readmodel template_lookup (line 167)","path":"Generated/StructuralNominalLeaves/TemplateLookup/ReadModel.hs"}
module-role {"family":"ReadModelHoles","kind":"hole","ownerKind":"readmodel","ownerName":"readmodel template_lookup (line 167)","path":"StructuralNominalLeaves/TemplateLookup/ReadModelHoles.hs"}
module-role {"family":"ReadModelHarness","kind":"generated","ownerKind":"readmodel","ownerName":"readmodel template_lookup (line 167)","path":"Generated/StructuralNominalLeaves/TemplateLookup/ReadModelHarness.hs"}
module-role {"family":"Router","kind":"generated","ownerKind":"router","ownerName":"router TemplateDeliveryRouter (line 178)","path":"Generated/StructuralNominalLeaves/TemplateDeliveryRouter/Router.hs"}
module-role {"family":"RouterHarness","kind":"generated","ownerKind":"router","ownerName":"router TemplateDeliveryRouter (line 178)","path":"Generated/StructuralNominalLeaves/TemplateDeliveryRouter/RouterHarness.hs"}
generated Generated/StructuralNominalLeaves/StructuralConformance.hs
generated Generated/StructuralNominalLeaves/BehaviorSourceMap.hs
generated Generated/StructuralNominalLeaves/Structural/Shape/TemplateBook.hs
generated Generated/StructuralNominalLeaves/Structural/Shape/TemplateLookupInput.hs
generated Generated/StructuralNominalLeaves/Structural/Shape/TemplateLookupRow.hs
generated Generated/StructuralNominalLeaves/Structural/Shape/TemplateRef.hs
generated Generated/StructuralNominalLeaves/Structural/Shape/TemplateState.hs
generated Generated/StructuralNominalLeaves/StructuralProjections.hs
generated Generated/StructuralNominalLeaves/Nominals.hs
generated Generated/StructuralNominalLeaves/Nominals/Internal.hs
generated Generated/StructuralNominalLeaves/Structural/NominalLeaves.hs
generated Generated/StructuralNominalLeaves/Nominal/Shape/Channel.hs
generated Generated/StructuralNominalLeaves/NominalProjections.hs
hole Conformance/StructuralNominals/Bindings.hs
generated Generated/StructuralNominalLeaves/ReplayAudit.hs
generated Generated/StructuralNominalLeaves/ProjectionCatalog.hs
hole StructuralNominalLeaves/ProjectionCatalog/ProjectionCatalogHoles.hs
generated Generated/StructuralNominalLeaves/TemplateCatalog/Domain.hs
generated Generated/StructuralNominalLeaves/TemplateCatalog/Codec.hs
generated Generated/StructuralNominalLeaves/TemplateCatalog/Transducer.hs
generated Generated/StructuralNominalLeaves/TemplateCatalog/BehaviorContract.hs
hole StructuralNominalLeaves/TemplateCatalog/BehaviorHoles.hs
generated Generated/StructuralNominalLeaves/TemplateCatalog/EventStream.hs
generated Generated/StructuralNominalLeaves/TemplateCatalog/Projection.hs
generated Generated/StructuralNominalLeaves/TemplateCatalog/Harness.hs
generated Generated/StructuralNominalLeaves/TemplateWork/Queue.hs
generated Generated/StructuralNominalLeaves/TemplateWork/QueuePolicy.hs
generated Generated/StructuralNominalLeaves/TemplateWork/QueueCodec.hs
generated Generated/StructuralNominalLeaves/TemplateLookup/ReadModelTable.hs
generated Generated/StructuralNominalLeaves/TemplateLookup/QueryContract.hs
generated Generated/StructuralNominalLeaves/TemplateLookup/ReadModel.hs
hole StructuralNominalLeaves/TemplateLookup/ReadModelHoles.hs
generated Generated/StructuralNominalLeaves/TemplateLookup/ReadModelHarness.hs
generated Generated/StructuralNominalLeaves/TemplateDeliveryRouter/Router.hs
generated Generated/StructuralNominalLeaves/TemplateDeliveryRouter/RouterHarness.hs
nominal-mapping {"bindingSymbol":"Conformance.StructuralNominals.Bindings.accountNumberBinding","bindingVersion":"1","canonicalType":"conformance.structural-nominals.AccountNumber.v1","category":"scalar","fixtureSymbol":"Conformance.StructuralNominals.Bindings.accountNumberFixtures","initialSymbol":null,"mode":"nominal","module":"Conformance.StructuralNominals.Domain","package":"keiro-dsl","representation":"Text","schema":1,"specName":"AccountNumber","type":"AccountNumber"}
nominal-mapping {"bindingSymbol":"Conformance.StructuralNominals.Bindings.channelBinding","bindingVersion":"1","canonicalType":"conformance.structural-nominals.Channel.v1","category":"enum","fixtureSymbol":"Conformance.StructuralNominals.Bindings.channelFixtures","initialSymbol":null,"mode":"nominal","module":"Conformance.StructuralNominals.Domain","package":"keiro-dsl","representation":"enum:Email=email,Sms=sms","schema":1,"specName":"Channel","type":"Channel"}
nominal-mapping {"bindingSymbol":"Conformance.StructuralNominals.Bindings.claimIdBinding","bindingVersion":"1","canonicalType":"conformance.structural-nominals.ClaimId.v1","category":"id","fixtureSymbol":"Conformance.StructuralNominals.Bindings.claimIdFixtures","initialSymbol":null,"mode":"nominal","module":"Conformance.StructuralNominals.Domain","package":"keiro-dsl","representation":"KindID:claim","schema":1,"specName":"ClaimId","type":"ClaimId"}
mapping {"bindingSymbol":"Conformance.StructuralNominals.Bindings.templateBookBinding","bindingVersion":"1","canonicalType":"conformance.structural-nominals.TemplateBook.v1","mode":"structural","module":"Conformance.StructuralNominals.Domain","package":"keiro-dsl","schema":1,"specName":"TemplateBook","type":"TemplateBook"}
mapping {"bindingSymbol":"Conformance.StructuralNominals.Bindings.templateLookupInputBinding","bindingVersion":"1","canonicalType":"conformance.structural-nominals.TemplateLookupInput.v1","mode":"structural","module":"Conformance.StructuralNominals.Domain","package":"keiro-dsl","schema":1,"specName":"TemplateLookupInput","type":"TemplateLookupInput"}
mapping {"bindingSymbol":"Conformance.StructuralNominals.Bindings.templateLookupRowBinding","bindingVersion":"1","canonicalType":"conformance.structural-nominals.TemplateLookupRow.v1","mode":"structural","module":"Conformance.StructuralNominals.Domain","package":"keiro-dsl","schema":1,"specName":"TemplateLookupRow","type":"TemplateLookupRow"}
mapping {"bindingSymbol":"Conformance.StructuralNominals.Bindings.templateRefBinding","bindingVersion":"1","canonicalType":"conformance.structural-nominals.TemplateRef.v1","mode":"structural","module":"Conformance.StructuralNominals.Domain","package":"keiro-dsl","schema":1,"specName":"TemplateRef","type":"TemplateRef"}
mapping {"bindingSymbol":"Conformance.StructuralNominals.Bindings.templateStateBinding","bindingVersion":"1","canonicalType":"conformance.structural-nominals.TemplateState.v1","mode":"structural","module":"Conformance.StructuralNominals.Domain","package":"keiro-dsl","schema":1,"specName":"TemplateState","type":"TemplateState"}
id-domain id-domain|name=TemplateId|contract=keiro-dsl/id-domain/typeid-v7/1|prefix=template|separator=_|json=canonical-json-text
id-domain id-domain|name=ClaimId|contract=keiro-dsl/id-domain/typeid-v7/1|prefix=claim|separator=_|json=canonical-json-text
nominal-equality nominal-equality|name=Channel|contract=keiro-dsl/nominal-equality/1|key=Text|domain=finite-text:email,sms|owner=consumer;canonical=conformance.structural-nominals.Channel.v1;binding=Conformance.StructuralNominals.Bindings.channelBinding;binding-version=1
nominal-equality nominal-equality|name=ClaimId|contract=keiro-dsl/nominal-equality/2|key=Text|domain=typeid-v7-text:claim:keiro-dsl/id-domain/typeid-v7/1|owner=consumer;canonical=conformance.structural-nominals.ClaimId.v1;binding=Conformance.StructuralNominals.Bindings.claimIdBinding;binding-version=1
nominal-equality nominal-equality|name=TemplateId|contract=keiro-dsl/nominal-equality/2|key=Text|domain=typeid-v7-text:template:keiro-dsl/id-domain/typeid-v7/1|owner=generated
nominal-equality nominal-equality|name=TemplateKind|contract=keiro-dsl/nominal-equality/1|key=Text|domain=finite-text:draft,published|owner=generated
binding {"kind":"binding","mappedName":"AccountNumber","module":"Conformance.StructuralNominals.Bindings","path":null,"schema":1,"signature":"accountNumberBinding :: NominalBinding Conformance.StructuralNominals.Domain.AccountNumber Text","symbol":"accountNumberBinding"}
binding {"kind":"fixtures","mappedName":"AccountNumber","module":"Conformance.StructuralNominals.Bindings","path":null,"schema":1,"signature":"accountNumberFixtures :: NominalFixtureCases Conformance.StructuralNominals.Domain.AccountNumber","symbol":"accountNumberFixtures"}
binding {"kind":"binding","mappedName":"Channel","module":"Conformance.StructuralNominals.Bindings","path":null,"schema":1,"signature":"channelBinding :: NominalBinding Conformance.StructuralNominals.Domain.Channel Generated.StructuralNominalLeaves.Nominal.Shape.Channel.ChannelRepresentation","symbol":"channelBinding"}
binding {"kind":"fixtures","mappedName":"Channel","module":"Conformance.StructuralNominals.Bindings","path":null,"schema":1,"signature":"channelFixtures :: NominalFixtureCases Conformance.StructuralNominals.Domain.Channel","symbol":"channelFixtures"}
binding {"kind":"binding","mappedName":"ClaimId","module":"Conformance.StructuralNominals.Bindings","path":null,"schema":1,"signature":"claimIdBinding :: NominalBinding Conformance.StructuralNominals.Domain.ClaimId (KindID \"claim\")","symbol":"claimIdBinding"}
binding {"kind":"fixtures","mappedName":"ClaimId","module":"Conformance.StructuralNominals.Bindings","path":null,"schema":1,"signature":"claimIdFixtures :: NominalFixtureCases Conformance.StructuralNominals.Domain.ClaimId","symbol":"claimIdFixtures"}
binding {"kind":"binding","mappedName":"TemplateBook","module":"Conformance.StructuralNominals.Bindings","path":"byKey","schema":1,"signature":"templateBookBinding.byKey :: Map Text (TemplateId)","symbol":"templateBookBinding"}
binding {"kind":"binding","mappedName":"TemplateBook","module":"Conformance.StructuralNominals.Bindings","path":"byTemplate","schema":1,"signature":"templateBookBinding.byTemplate :: Map TemplateId (Text)","symbol":"templateBookBinding"}
binding {"kind":"binding","mappedName":"TemplateBook","module":"Conformance.StructuralNominals.Bindings","path":"claims","schema":1,"signature":"templateBookBinding.claims :: Map ClaimId (TemplateState)","symbol":"templateBookBinding"}
binding {"kind":"binding","mappedName":"TemplateBook","module":"Conformance.StructuralNominals.Bindings","path":"holders","schema":1,"signature":"templateBookBinding.holders :: [Maybe (ClaimId)]","symbol":"templateBookBinding"}
binding {"kind":"binding","mappedName":"TemplateBook","module":"Conformance.StructuralNominals.Bindings","path":"templates","schema":1,"signature":"templateBookBinding.templates :: [TemplateState]","symbol":"templateBookBinding"}
binding {"kind":"fixtures","mappedName":"TemplateBook","module":"Conformance.StructuralNominals.Bindings","path":null,"schema":1,"signature":"templateBookFixtures :: FixtureCases Conformance.StructuralNominals.Domain.TemplateBook","symbol":"templateBookFixtures"}
binding {"kind":"initial-value","mappedName":"TemplateBook","module":"Conformance.StructuralNominals.Bindings","path":null,"schema":1,"signature":"initialTemplateBook :: Conformance.StructuralNominals.Domain.TemplateBook","symbol":"initialTemplateBook"}
binding {"kind":"binding","mappedName":"TemplateLookupInput","module":"Conformance.StructuralNominals.Bindings","path":"claimId","schema":1,"signature":"templateLookupInputBinding.claimId :: ClaimId","symbol":"templateLookupInputBinding"}
binding {"kind":"fixtures","mappedName":"TemplateLookupInput","module":"Conformance.StructuralNominals.Bindings","path":null,"schema":1,"signature":"templateLookupInputFixtures :: FixtureCases Conformance.StructuralNominals.Domain.TemplateLookupInput","symbol":"templateLookupInputFixtures"}
binding {"kind":"binding","mappedName":"TemplateLookupRow","module":"Conformance.StructuralNominals.Bindings","path":"claimId","schema":1,"signature":"templateLookupRowBinding.claimId :: ClaimId","symbol":"templateLookupRowBinding"}
binding {"kind":"binding","mappedName":"TemplateLookupRow","module":"Conformance.StructuralNominals.Bindings","path":"templateId","schema":1,"signature":"templateLookupRowBinding.templateId :: TemplateId","symbol":"templateLookupRowBinding"}
binding {"kind":"fixtures","mappedName":"TemplateLookupRow","module":"Conformance.StructuralNominals.Bindings","path":null,"schema":1,"signature":"templateLookupRowFixtures :: FixtureCases Conformance.StructuralNominals.Domain.TemplateLookupRow","symbol":"templateLookupRowFixtures"}
binding {"kind":"binding","mappedName":"TemplateRef","module":"Conformance.StructuralNominals.Bindings","path":"ByAccount","schema":1,"signature":"templateRefBinding.ByAccount :: AccountNumber","symbol":"templateRefBinding"}
binding {"kind":"binding","mappedName":"TemplateRef","module":"Conformance.StructuralNominals.Bindings","path":"ByChannel","schema":1,"signature":"templateRefBinding.ByChannel :: Channel","symbol":"templateRefBinding"}
binding {"kind":"binding","mappedName":"TemplateRef","module":"Conformance.StructuralNominals.Bindings","path":"ById","schema":1,"signature":"templateRefBinding.ById :: TemplateId","symbol":"templateRefBinding"}
binding {"kind":"binding","mappedName":"TemplateRef","module":"Conformance.StructuralNominals.Bindings","path":"Unknown","schema":1,"signature":"templateRefBinding.Unknown :: constructor case","symbol":"templateRefBinding"}
binding {"kind":"fixtures","mappedName":"TemplateRef","module":"Conformance.StructuralNominals.Bindings","path":null,"schema":1,"signature":"templateRefFixtures :: FixtureCases Conformance.StructuralNominals.Domain.TemplateRef","symbol":"templateRefFixtures"}
binding {"kind":"binding","mappedName":"TemplateState","module":"Conformance.StructuralNominals.Bindings","path":"account","schema":1,"signature":"templateStateBinding.account :: AccountNumber","symbol":"templateStateBinding"}
binding {"kind":"binding","mappedName":"TemplateState","module":"Conformance.StructuralNominals.Bindings","path":"channel","schema":1,"signature":"templateStateBinding.channel :: Channel","symbol":"templateStateBinding"}
binding {"kind":"binding","mappedName":"TemplateState","module":"Conformance.StructuralNominals.Bindings","path":"fallbackChannel","schema":1,"signature":"templateStateBinding.fallbackChannel :: Channel","symbol":"templateStateBinding"}
binding {"kind":"binding","mappedName":"TemplateState","module":"Conformance.StructuralNominals.Bindings","path":"holder","schema":1,"signature":"templateStateBinding.holder :: Maybe (ClaimId)","symbol":"templateStateBinding"}
binding {"kind":"binding","mappedName":"TemplateState","module":"Conformance.StructuralNominals.Bindings","path":"kind","schema":1,"signature":"templateStateBinding.kind :: TemplateKind","symbol":"templateStateBinding"}
binding {"kind":"binding","mappedName":"TemplateState","module":"Conformance.StructuralNominals.Bindings","path":"templateId","schema":1,"signature":"templateStateBinding.templateId :: TemplateId","symbol":"templateStateBinding"}
binding {"kind":"fixtures","mappedName":"TemplateState","module":"Conformance.StructuralNominals.Bindings","path":null,"schema":1,"signature":"templateStateFixtures :: FixtureCases Conformance.StructuralNominals.Domain.TemplateState","symbol":"templateStateFixtures"}
behavior {"aggregate":"TemplateCatalog","command":"RecordTemplate","evidence":"generated-authoritative","key":"behavior-v1-01b677e97ee382b5","kind":"required-rejection","outputs":[],"source":"Routed"}
behavior {"aggregate":"TemplateCatalog","command":"RouteTemplate","evidence":"generated-authoritative","key":"behavior-v1-26fa1ba9ca514f81","kind":"required-rejection","outputs":[],"source":"Routed"}
behavior {"aggregate":"TemplateCatalog","command":"RouteTemplate","evidence":"generated-authoritative","key":"behavior-v1-5dbbc70789956424","kind":"live-transition","outputs":[{"command":"RouteTemplate","ownership":"generated-command-identity"}],"source":"Recorded"}
behavior {"aggregate":"TemplateCatalog","command":"RecordTemplate","evidence":"generated-authoritative","key":"behavior-v1-6cb89110a4e5d4bc","kind":"required-rejection","outputs":[],"source":"Recorded"}
behavior {"aggregate":"TemplateCatalog","command":"RecordTemplate","evidence":"generated-authoritative","key":"behavior-v1-83a3e25d3520f959","kind":"live-transition","outputs":[{"command":"RecordTemplate","ownership":"generated-command-identity"}],"source":"Empty"}
behavior {"aggregate":"TemplateCatalog","command":"RouteTemplate","evidence":"generated-authoritative","key":"behavior-v1-d8388e1ef8008039","kind":"required-rejection","outputs":[],"source":"Empty"}
projection-catalog-fact cursor|template_lookup|template-writer|167
projection-catalog-fact delivery|template_writer|subscription|155
projection-catalog-fact freshness|template_lookup|wait-for-head:entire-log|167
projection-catalog-fact group|template_rebuild|template_table|template_table|150
projection-catalog-fact owner|template_writer|all|template_rebuild|template_table|10|template-writer|template-writer-v1|from-beginning|explicit|155
projection-catalog-fact query|template_lookup|template_rebuild|template_table|template_table|167
projection-catalog-fact supply|template_lookup|template_writer|template_rebuild|template_table|167|155
projection-catalog-fact target|template_table|public|templates|clear||144
query-contract-baseline v1
query-contract {"mappedDependencies":["TemplateLookupInput"],"position":"input","readModel":"template_lookup","typeExpression":"TemplateLookupInput"}
query-contract {"mappedDependencies":["TemplateLookupRow"],"position":"result","readModel":"template_lookup","typeExpression":"List TemplateLookupRow"}
router-selection {"fingerprint":"ebf9d308e0fc1f40291e800d9d0ca3e75eaf3cf2d3a4fc1ec56e8f5971366488","identity":"template-nominal-selection","router":"TemplateDeliveryRouter","verification":"declarative-verified","version":1}
semantic-impact {"declarations":[{"consequences":[{"consumer":"TemplateCatalog","kind":"consumer-build"},{"aggregate":"TemplateCatalog","kind":"private-event-history"},{"aggregate":"TemplateCatalog","kind":"snapshot-hydration"}],"consumerEvidence":[{"consumer":"TemplateCatalog","operation":null,"path":"TemplateCatalog command RecordTemplate .book : TemplateBook","surface":"aggregate-command"},{"consumer":"TemplateCatalog","operation":null,"path":"TemplateCatalog event TemplateRecorded .book : TemplateBook","surface":"private-event-payload"},{"consumer":"TemplateCatalog","operation":null,"path":"TemplateCatalog register book : TemplateBook","surface":"snapshot-register"}],"consumers":["TemplateCatalog"],"declaration":"TemplateBook","identity":"structural\u001fkeiro-dsl:Conformance.StructuralNominals.Domain:TemplateBook\u001fConformance.StructuralNominals.Bindings.templateBookBinding\u001f1\u001fconformance.structural-nominals.TemplateBook.v1\u001fConformance.StructuralNominals.Bindings.templateBookFixtures\u001fConformance.StructuralNominals.Bindings.initialTemplateBook\u001f0b5557e0751ab27e\u001frecord:TemplateBook:byKey=byKey,byTemplate=by_template,claims=claims,holders=holders,templates=templates"},{"consequences":[{"consumer":"read-model-query:template_lookup:input","kind":"consumer-build"},{"consumer":"router-selection:TemplateDeliveryRouter:query-input","kind":"consumer-build"},{"consumer":"router-selection:TemplateDeliveryRouter:predicate","kind":"consumer-build"},{"kind":"query-api","position":"input","readModel":"template_lookup"},{"kind":"router-selection-build","router":"TemplateDeliveryRouter"},{"kind":"router-selection-coordination-review","router":"TemplateDeliveryRouter"}],"consumerEvidence":[{"consumer":"read-model-query:template_lookup:input","operation":null,"path":"readmodel template_lookup query input : TemplateLookupInput","surface":"read-model-query-input"},{"consumer":"router-selection:TemplateDeliveryRouter:query-input","operation":null,"path":"router TemplateDeliveryRouter selection query input","surface":"router-selection-query-input"},{"consumer":"router-selection:TemplateDeliveryRouter:predicate","operation":null,"path":"router TemplateDeliveryRouter selection predicate input.claimId","surface":"router-selection-predicate"}],"consumers":["read-model-query:template_lookup:input","router-selection:TemplateDeliveryRouter:query-input","router-selection:TemplateDeliveryRouter:predicate"],"declaration":"TemplateLookupInput","identity":"structural\u001fkeiro-dsl:Conformance.StructuralNominals.Domain:TemplateLookupInput\u001fConformance.StructuralNominals.Bindings.templateLookupInputBinding\u001f1\u001fconformance.structural-nominals.TemplateLookupInput.v1\u001fConformance.StructuralNominals.Bindings.templateLookupInputFixtures\u001f\u001f3d0a2ccf2e30cacd\u001frecord:TemplateLookupInput:claimId=claimId"},{"consequences":[{"consumer":"read-model-query:template_lookup:result","kind":"consumer-build"},{"consumer":"router-selection:TemplateDeliveryRouter:predicate","kind":"consumer-build"},{"consumer":"router-selection:TemplateDeliveryRouter:recipient","kind":"consumer-build"},{"consumer":"router-selection:TemplateDeliveryRouter:command-field:claimId","kind":"consumer-build"},{"consumer":"router-selection:TemplateDeliveryRouter:command-field:templateId","kind":"consumer-build"},{"kind":"query-api","position":"result","readModel":"template_lookup"},{"kind":"router-selection-build","router":"TemplateDeliveryRouter"},{"kind":"router-selection-coordination-review","router":"TemplateDeliveryRouter"}],"consumerEvidence":[{"consumer":"read-model-query:template_lookup:result","operation":null,"path":"readmodel template_lookup query result : TemplateLookupRow []","surface":"read-model-query-result"},{"consumer":"router-selection:TemplateDeliveryRouter:predicate","operation":null,"path":"router TemplateDeliveryRouter selection predicate row.claimId","surface":"router-selection-predicate"},{"consumer":"router-selection:TemplateDeliveryRouter:predicate","operation":null,"path":"router TemplateDeliveryRouter selection predicate row.templateId","surface":"router-selection-predicate"},{"consumer":"router-selection:TemplateDeliveryRouter:recipient","operation":null,"path":"router TemplateDeliveryRouter selection recipient row.templateId","surface":"router-selection-recipient"},{"consumer":"router-selection:TemplateDeliveryRouter:command-field:claimId","operation":null,"path":"router TemplateDeliveryRouter selection command field claimId row.claimId","surface":"router-selection-command-field"},{"consumer":"router-selection:TemplateDeliveryRouter:command-field:templateId","operation":null,"path":"router TemplateDeliveryRouter selection command field templateId row.templateId","surface":"router-selection-command-field"}],"consumers":["read-model-query:template_lookup:result","router-selection:TemplateDeliveryRouter:predicate","router-selection:TemplateDeliveryRouter:recipient","router-selection:TemplateDeliveryRouter:command-field:claimId","router-selection:TemplateDeliveryRouter:command-field:templateId"],"declaration":"TemplateLookupRow","identity":"structural\u001fkeiro-dsl:Conformance.StructuralNominals.Domain:TemplateLookupRow\u001fConformance.StructuralNominals.Bindings.templateLookupRowBinding\u001f1\u001fconformance.structural-nominals.TemplateLookupRow.v1\u001fConformance.StructuralNominals.Bindings.templateLookupRowFixtures\u001f\u001f06bfb32cf767eecc\u001frecord:TemplateLookupRow:claimId=claimId,templateId=templateId"},{"consequences":[{"consumer":"TemplateCatalog","kind":"consumer-build"},{"aggregate":"TemplateCatalog","kind":"private-event-history"}],"consumerEvidence":[{"consumer":"TemplateCatalog","operation":null,"path":"TemplateCatalog command RecordTemplate .reference : TemplateRef","surface":"aggregate-command"},{"consumer":"TemplateCatalog","operation":null,"path":"TemplateCatalog event TemplateRecorded .reference : TemplateRef","surface":"private-event-payload"}],"consumers":["TemplateCatalog"],"declaration":"TemplateRef","identity":"structural\u001fkeiro-dsl:Conformance.StructuralNominals.Domain:TemplateRef\u001fConformance.StructuralNominals.Bindings.templateRefBinding\u001f1\u001fconformance.structural-nominals.TemplateRef.v1\u001fConformance.StructuralNominals.Bindings.templateRefFixtures\u001f\u001f1c7dc16efe5114eb\u001funion:by_account,by_channel,by_id,unknown"},{"consequences":[{"consumer":"TemplateCatalog","kind":"consumer-build"},{"aggregate":"TemplateCatalog","kind":"private-event-history"},{"aggregate":"TemplateCatalog","kind":"snapshot-hydration"}],"consumerEvidence":[{"consumer":"TemplateCatalog","operation":null,"path":"TemplateCatalog command RecordTemplate .book : TemplateBook .claims {} : TemplateState","surface":"aggregate-command"},{"consumer":"TemplateCatalog","operation":null,"path":"TemplateCatalog command RecordTemplate .book : TemplateBook .templates [] : TemplateState","surface":"aggregate-command"},{"consumer":"TemplateCatalog","operation":null,"path":"TemplateCatalog command RecordTemplate .state : TemplateState","surface":"aggregate-command"},{"consumer":"TemplateCatalog","operation":null,"path":"TemplateCatalog event TemplateRecorded .book : TemplateBook .claims {} : TemplateState","surface":"private-event-payload"},{"consumer":"TemplateCatalog","operation":null,"path":"TemplateCatalog event TemplateRecorded .book : TemplateBook .templates [] : TemplateState","surface":"private-event-payload"},{"consumer":"TemplateCatalog","operation":null,"path":"TemplateCatalog event TemplateRecorded .state : TemplateState","surface":"private-event-payload"},{"consumer":"TemplateCatalog","operation":null,"path":"TemplateCatalog register book : TemplateBook .claims {} : TemplateState","surface":"snapshot-register"},{"consumer":"TemplateCatalog","operation":null,"path":"TemplateCatalog register book : TemplateBook .templates [] : TemplateState","surface":"snapshot-register"}],"consumers":["TemplateCatalog"],"declaration":"TemplateState","identity":"structural\u001fkeiro-dsl:Conformance.StructuralNominals.Domain:TemplateState\u001fConformance.StructuralNominals.Bindings.templateStateBinding\u001f1\u001fconformance.structural-nominals.TemplateState.v1\u001fConformance.StructuralNominals.Bindings.templateStateFixtures\u001f\u001fecd3e1365fd5975c\u001frecord:TemplateState:account=account,channel=channel,fallbackChannel=fallbackChannel,holder=holder,kind=kind,templateId=templateId"}],"mappedSurfaceEvidenceVersion":1,"serviceInventory":["TemplateBook","TemplateLookupInput","TemplateLookupRow","TemplateRef","TemplateState"]}