keiro-dsl-ledger.context.id-admission-domains.txt

keiro-dsl scaffold record v1
spec: keiro-dsl/test/fixtures/id-admission-domains.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 id-admission-domains structural conformance","path":"Generated/IdAdmissionDomains/StructuralConformance.hs"}
module-role {"family":"BehaviorSourceMap","kind":"generated","ownerKind":"context","ownerName":"context id-admission-domains behavior source map","path":"Generated/IdAdmissionDomains/BehaviorSourceMap.hs"}
module-role {"family":"IdentityEnvelope","kind":"generated","ownerKind":"mapped","ownerName":"mapped structural IdentityEnvelope (line 6)","path":"Generated/IdAdmissionDomains/Structural/Shape/IdentityEnvelope.hs"}
module-role {"family":"StructuralProjections","kind":"generated","ownerKind":"context","ownerName":"context id-admission-domains mapped structural facade","path":"Generated/IdAdmissionDomains/StructuralProjections.hs"}
module-role {"family":"Nominals","kind":"generated","ownerKind":"context","ownerName":"context id-admission-domains generated nominal declarations","path":"Generated/IdAdmissionDomains/Nominals.hs"}
module-role {"family":"Internal","kind":"generated","ownerKind":"context","ownerName":"context id-admission-domains generated nominal ID internals","path":"Generated/IdAdmissionDomains/Nominals/Internal.hs"}
module-role {"family":"NominalLeaves","kind":"generated","ownerKind":"context","ownerName":"context id-admission-domains structural nominal leaves","path":"Generated/IdAdmissionDomains/Structural/NominalLeaves.hs"}
module-role {"family":"Bindings","kind":"hole","ownerKind":"consumer","ownerName":"consumer binding skeleton Conformance.IdAdmissionDomains.Bindings","path":"Conformance/IdAdmissionDomains/Bindings.hs"}
module-role {"family":"ReplayAudit","kind":"generated","ownerKind":"context","ownerName":"context id-admission-domains replay-audit assembly","path":"Generated/IdAdmissionDomains/ReplayAudit.hs"}
module-role {"family":"Domain","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate IdentityLedger (line 19)","path":"Generated/IdAdmissionDomains/IdentityLedger/Domain.hs"}
module-role {"family":"Codec","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate IdentityLedger (line 19)","path":"Generated/IdAdmissionDomains/IdentityLedger/Codec.hs"}
module-role {"family":"Transducer","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate IdentityLedger (line 19)","path":"Generated/IdAdmissionDomains/IdentityLedger/Transducer.hs"}
module-role {"family":"BehaviorContract","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate IdentityLedger (line 19)","path":"Generated/IdAdmissionDomains/IdentityLedger/BehaviorContract.hs"}
module-role {"family":"BehaviorHoles","kind":"hole","ownerKind":"aggregate","ownerName":"aggregate behavior witnesses IdentityLedger (line 19)","path":"IdAdmissionDomains/IdentityLedger/BehaviorHoles.hs"}
module-role {"family":"EventStream","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate IdentityLedger (line 19)","path":"Generated/IdAdmissionDomains/IdentityLedger/EventStream.hs"}
module-role {"family":"Projection","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate IdentityLedger (line 19)","path":"Generated/IdAdmissionDomains/IdentityLedger/Projection.hs"}
module-role {"family":"Harness","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate IdentityLedger (line 19)","path":"Generated/IdAdmissionDomains/IdentityLedger/Harness.hs"}
module-role {"family":"Queue","kind":"generated","ownerKind":"workqueue","ownerName":"workqueue identity_work (line 38)","path":"Generated/IdAdmissionDomains/IdentityWork/Queue.hs"}
module-role {"family":"QueuePolicy","kind":"generated","ownerKind":"workqueue","ownerName":"workqueue identity_work (line 38)","path":"Generated/IdAdmissionDomains/IdentityWork/QueuePolicy.hs"}
module-role {"family":"QueueCodec","kind":"generated","ownerKind":"workqueue","ownerName":"workqueue identity_work (line 38)","path":"Generated/IdAdmissionDomains/IdentityWork/QueueCodec.hs"}
module-role {"family":"Contract","kind":"generated","ownerKind":"contract","ownerName":"contract identities (line 56)","path":"Generated/IdAdmissionDomains/Identities/Contract.hs"}
generated Generated/IdAdmissionDomains/StructuralConformance.hs
generated Generated/IdAdmissionDomains/BehaviorSourceMap.hs
generated Generated/IdAdmissionDomains/Structural/Shape/IdentityEnvelope.hs
generated Generated/IdAdmissionDomains/StructuralProjections.hs
generated Generated/IdAdmissionDomains/Nominals.hs
generated Generated/IdAdmissionDomains/Nominals/Internal.hs
generated Generated/IdAdmissionDomains/Structural/NominalLeaves.hs
hole Conformance/IdAdmissionDomains/Bindings.hs
generated Generated/IdAdmissionDomains/ReplayAudit.hs
generated Generated/IdAdmissionDomains/IdentityLedger/Domain.hs
generated Generated/IdAdmissionDomains/IdentityLedger/Codec.hs
generated Generated/IdAdmissionDomains/IdentityLedger/Transducer.hs
generated Generated/IdAdmissionDomains/IdentityLedger/BehaviorContract.hs
hole IdAdmissionDomains/IdentityLedger/BehaviorHoles.hs
generated Generated/IdAdmissionDomains/IdentityLedger/EventStream.hs
generated Generated/IdAdmissionDomains/IdentityLedger/Projection.hs
generated Generated/IdAdmissionDomains/IdentityLedger/Harness.hs
generated Generated/IdAdmissionDomains/IdentityWork/Queue.hs
generated Generated/IdAdmissionDomains/IdentityWork/QueuePolicy.hs
generated Generated/IdAdmissionDomains/IdentityWork/QueueCodec.hs
generated Generated/IdAdmissionDomains/Identities/Contract.hs
mapping {"bindingSymbol":"Conformance.IdAdmissionDomains.Bindings.identityEnvelopeBinding","bindingVersion":"1","canonicalType":"conformance.id-admission-domains.IdentityEnvelope.v1","mode":"structural","module":"Conformance.IdAdmissionDomains.Domain","package":"keiro-dsl","schema":1,"specName":"IdentityEnvelope","type":"IdentityEnvelope"}
id-domain id-domain|name=LegacyId|contract=keiro-dsl/id-domain/typeid-v5-or-v7/1|prefix=legacy|separator=_|json=canonical-json-text
id-domain id-domain|name=contract:identities.IdentityLinked.legacyId|contract=keiro-dsl/id-domain/typeid-v5-or-v7/1|prefix=legacy|separator=_|json=canonical-json-text
nominal-equality nominal-equality|name=LegacyId|contract=keiro-dsl/nominal-equality/2|key=Text|domain=typeid-v5-or-v7-text:legacy:keiro-dsl/id-domain/typeid-v5-or-v7/1|owner=generated
binding {"kind":"binding","mappedName":"IdentityEnvelope","module":"Conformance.IdAdmissionDomains.Bindings","path":"labelsById","schema":1,"signature":"identityEnvelopeBinding.labelsById :: Map LegacyId (Text)","symbol":"identityEnvelopeBinding"}
binding {"kind":"binding","mappedName":"IdentityEnvelope","module":"Conformance.IdAdmissionDomains.Bindings","path":"legacyId","schema":1,"signature":"identityEnvelopeBinding.legacyId :: LegacyId","symbol":"identityEnvelopeBinding"}
binding {"kind":"binding","mappedName":"IdentityEnvelope","module":"Conformance.IdAdmissionDomains.Bindings","path":"previousId","schema":1,"signature":"identityEnvelopeBinding.previousId :: Maybe (LegacyId)","symbol":"identityEnvelopeBinding"}
binding {"kind":"fixtures","mappedName":"IdentityEnvelope","module":"Conformance.IdAdmissionDomains.Bindings","path":null,"schema":1,"signature":"identityEnvelopeFixtures :: FixtureCases Conformance.IdAdmissionDomains.Domain.IdentityEnvelope","symbol":"identityEnvelopeFixtures"}
behavior {"aggregate":"IdentityLedger","command":"ImportLegacyIdentity","evidence":"generated-authoritative","key":"behavior-v1-0bc43a8eaf58f2f2","kind":"replay-transition","outputs":[{"command":"ImportLegacyIdentity","ownership":"generated-command-identity"}],"source":"Open"}
behavior {"aggregate":"IdentityLedger","command":"RecordIdentity","evidence":"generated-authoritative","key":"behavior-v1-54975b0ac4e921b5","kind":"live-transition","outputs":[{"command":"RecordIdentity","ownership":"generated-command-identity"},{"command":"RecordIdentity","ownership":"generated-command-identity"}],"source":"Open"}
behavior {"aggregate":"IdentityLedger","command":"ImportLegacyIdentity","evidence":"generated-authoritative","key":"behavior-v1-5acf27af287654ab","kind":"required-rejection","outputs":[],"source":"Open"}
semantic-impact {"declarations":[{"consequences":[{"consumer":"IdentityLedger","kind":"consumer-build"},{"consumer":"workqueue:identity_work","kind":"consumer-build"},{"aggregate":"IdentityLedger","kind":"private-event-history"},{"kind":"workqueue-history","workqueue":"identity_work"}],"consumerEvidence":[{"consumer":"IdentityLedger","operation":null,"path":"IdentityLedger command ImportLegacyIdentity .envelope : IdentityEnvelope","surface":"aggregate-command"},{"consumer":"IdentityLedger","operation":null,"path":"IdentityLedger command RecordIdentity .envelope : IdentityEnvelope","surface":"aggregate-command"},{"consumer":"IdentityLedger","operation":null,"path":"IdentityLedger event IdentityAudited .envelope : IdentityEnvelope","surface":"private-event-payload"},{"consumer":"IdentityLedger","operation":null,"path":"IdentityLedger event IdentityRecorded .envelope : IdentityEnvelope","surface":"private-event-payload"},{"consumer":"IdentityLedger","operation":null,"path":"IdentityLedger event LegacyIdentityImported .envelope : IdentityEnvelope","surface":"private-event-payload"},{"consumer":"workqueue:identity_work","operation":null,"path":"workqueue identity_work payload .envelope : IdentityEnvelope","surface":"workqueue-payload"}],"consumers":["IdentityLedger","workqueue:identity_work"],"declaration":"IdentityEnvelope","identity":"structural\u001fkeiro-dsl:Conformance.IdAdmissionDomains.Domain:IdentityEnvelope\u001fConformance.IdAdmissionDomains.Bindings.identityEnvelopeBinding\u001f1\u001fconformance.id-admission-domains.IdentityEnvelope.v1\u001fConformance.IdAdmissionDomains.Bindings.identityEnvelopeFixtures\u001f\u001f7a6c7d5fd5f6efc4\u001frecord:IdentityEnvelope:labelsById=labelsById,legacyId=legacyId,previousId=previousId"}],"mappedSurfaceEvidenceVersion":1,"serviceInventory":["IdentityEnvelope"]}