keiro-dsl-ledger.context.import-planning-collisions.txt

keiro-dsl scaffold record v1
spec: keiro-dsl/test/fixtures/import-planning-collisions.keiro
module-root: (none)
layout: prefixed
source-language {"declaredLanguageVersion":4,"effectiveLanguageVersion":4,"sourceForm":"declared"}
semantic-contract {"languageSupport":"compatibility-only","languageVersion":4,"runtimeSemantics":"keiro-dsl/runtime-semantics/3"}
naming-edition idiomatic-v2
module-role {"family":"StructuralConformance","kind":"generated","ownerKind":"context","ownerName":"context import-planning-collisions structural conformance","path":"Generated/ImportPlanningCollisions/StructuralConformance.hs"}
module-role {"family":"BehaviorSourceMap","kind":"generated","ownerKind":"context","ownerName":"context import-planning-collisions behavior source map","path":"Generated/ImportPlanningCollisions/BehaviorSourceMap.hs"}
module-role {"family":"Details","kind":"generated","ownerKind":"mapped","ownerName":"mapped structural Details (line 28)","path":"Generated/ImportPlanningCollisions/Structural/Shape/Details.hs"}
module-role {"family":"StructuralProjections","kind":"generated","ownerKind":"context","ownerName":"context import-planning-collisions mapped structural facade","path":"Generated/ImportPlanningCollisions/StructuralProjections.hs"}
module-role {"family":"NominalProjections","kind":"generated","ownerKind":"context","ownerName":"context import-planning-collisions nominal scalar projection facade","path":"Generated/ImportPlanningCollisions/NominalProjections.hs"}
module-role {"family":"Bindings","kind":"hole","ownerKind":"consumer","ownerName":"consumer binding skeleton ImportPlanning.Bindings","path":"ImportPlanning/Bindings.hs"}
module-role {"family":"ReplayAudit","kind":"generated","ownerKind":"context","ownerName":"context import-planning-collisions replay-audit assembly","path":"Generated/ImportPlanningCollisions/ReplayAudit.hs"}
module-role {"family":"Domain","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate CollisionLedger (line 39)","path":"Generated/ImportPlanningCollisions/CollisionLedger/Domain.hs"}
module-role {"family":"Codec","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate CollisionLedger (line 39)","path":"Generated/ImportPlanningCollisions/CollisionLedger/Codec.hs"}
module-role {"family":"Transducer","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate CollisionLedger (line 39)","path":"Generated/ImportPlanningCollisions/CollisionLedger/Transducer.hs"}
module-role {"family":"BehaviorContract","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate CollisionLedger (line 39)","path":"Generated/ImportPlanningCollisions/CollisionLedger/BehaviorContract.hs"}
module-role {"family":"BehaviorHoles","kind":"hole","ownerKind":"aggregate","ownerName":"aggregate behavior witnesses CollisionLedger (line 39)","path":"ImportPlanningCollisions/CollisionLedger/BehaviorHoles.hs"}
module-role {"family":"EventStream","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate CollisionLedger (line 39)","path":"Generated/ImportPlanningCollisions/CollisionLedger/EventStream.hs"}
module-role {"family":"Projection","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate CollisionLedger (line 39)","path":"Generated/ImportPlanningCollisions/CollisionLedger/Projection.hs"}
module-role {"family":"Harness","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate CollisionLedger (line 39)","path":"Generated/ImportPlanningCollisions/CollisionLedger/Harness.hs"}
generated Generated/ImportPlanningCollisions/StructuralConformance.hs
generated Generated/ImportPlanningCollisions/BehaviorSourceMap.hs
generated Generated/ImportPlanningCollisions/Structural/Shape/Details.hs
generated Generated/ImportPlanningCollisions/StructuralProjections.hs
generated Generated/ImportPlanningCollisions/NominalProjections.hs
hole ImportPlanning/Bindings.hs
generated Generated/ImportPlanningCollisions/ReplayAudit.hs
generated Generated/ImportPlanningCollisions/CollisionLedger/Domain.hs
generated Generated/ImportPlanningCollisions/CollisionLedger/Codec.hs
generated Generated/ImportPlanningCollisions/CollisionLedger/Transducer.hs
generated Generated/ImportPlanningCollisions/CollisionLedger/BehaviorContract.hs
hole ImportPlanningCollisions/CollisionLedger/BehaviorHoles.hs
generated Generated/ImportPlanningCollisions/CollisionLedger/EventStream.hs
generated Generated/ImportPlanningCollisions/CollisionLedger/Projection.hs
generated Generated/ImportPlanningCollisions/CollisionLedger/Harness.hs
mapping {"bindingSymbol":"ImportPlanning.Bindings.detailsBinding","bindingVersion":"1","canonicalType":"import-planning.Details.v1","mode":"structural","module":"ImportPlanning.Consumer.Shared.Types","package":"keiro-dsl","schema":1,"specName":"Details","type":"Details"}
nominal-mapping {"bindingSymbol":"ImportPlanning.Bindings.invoiceStatusBinding","bindingVersion":"1","canonicalType":"import-planning.InvoiceStatus.v1","category":"scalar","fixtureSymbol":"ImportPlanning.Bindings.invoiceStatusFixtures","initialSymbol":null,"mode":"nominal","module":"ImportPlanning.Consumer.Invoice.Types","package":"keiro-dsl","representation":"Text","schema":1,"specName":"InvoiceStatus","type":"Status"}
nominal-mapping {"bindingSymbol":"ImportPlanning.Bindings.localCollisionBinding","bindingVersion":"1","canonicalType":"import-planning.LocalCollision.v1","category":"scalar","fixtureSymbol":"ImportPlanning.Bindings.localCollisionFixtures","initialSymbol":null,"mode":"nominal","module":"ImportPlanning.Consumer.Domain","package":"keiro-dsl","representation":"Text","schema":1,"specName":"LocalCollision","type":"CollisionLedgerCommand"}
nominal-mapping {"bindingSymbol":"ImportPlanning.Bindings.orderStatusBinding","bindingVersion":"1","canonicalType":"import-planning.OrderStatus.v1","category":"scalar","fixtureSymbol":"ImportPlanning.Bindings.orderStatusFixtures","initialSymbol":null,"mode":"nominal","module":"ImportPlanning.Consumer.Order.Types","package":"keiro-dsl","representation":"Text","schema":1,"specName":"OrderStatus","type":"Status"}
binding {"kind":"binding","mappedName":"Details","module":"ImportPlanning.Bindings","path":"label","schema":1,"signature":"detailsBinding.label :: Text","symbol":"detailsBinding"}
binding {"kind":"fixtures","mappedName":"Details","module":"ImportPlanning.Bindings","path":null,"schema":1,"signature":"detailsFixtures :: FixtureCases ImportPlanning.Consumer.Shared.Types.Details","symbol":"detailsFixtures"}
binding {"kind":"binding","mappedName":"InvoiceStatus","module":"ImportPlanning.Bindings","path":null,"schema":1,"signature":"invoiceStatusBinding :: NominalBinding ImportPlanning.Consumer.Invoice.Types.Status Text","symbol":"invoiceStatusBinding"}
binding {"kind":"fixtures","mappedName":"InvoiceStatus","module":"ImportPlanning.Bindings","path":null,"schema":1,"signature":"invoiceStatusFixtures :: NominalFixtureCases ImportPlanning.Consumer.Invoice.Types.Status","symbol":"invoiceStatusFixtures"}
binding {"kind":"binding","mappedName":"LocalCollision","module":"ImportPlanning.Bindings","path":null,"schema":1,"signature":"localCollisionBinding :: NominalBinding ImportPlanning.Consumer.Domain.CollisionLedgerCommand Text","symbol":"localCollisionBinding"}
binding {"kind":"fixtures","mappedName":"LocalCollision","module":"ImportPlanning.Bindings","path":null,"schema":1,"signature":"localCollisionFixtures :: NominalFixtureCases ImportPlanning.Consumer.Domain.CollisionLedgerCommand","symbol":"localCollisionFixtures"}
binding {"kind":"binding","mappedName":"OrderStatus","module":"ImportPlanning.Bindings","path":null,"schema":1,"signature":"orderStatusBinding :: NominalBinding ImportPlanning.Consumer.Order.Types.Status Text","symbol":"orderStatusBinding"}
binding {"kind":"fixtures","mappedName":"OrderStatus","module":"ImportPlanning.Bindings","path":null,"schema":1,"signature":"orderStatusFixtures :: NominalFixtureCases ImportPlanning.Consumer.Order.Types.Status","symbol":"orderStatusFixtures"}
behavior {"aggregate":"CollisionLedger","command":"Record","evidence":"generated-authoritative","key":"behavior-v1-2134fce4a19c59d7","kind":"live-transition","outputs":[{"command":"Record","ownership":"generated-command-identity"}],"source":"Empty"}
behavior {"aggregate":"CollisionLedger","command":"Record","evidence":"generated-authoritative","key":"behavior-v1-995f9bf710ce7c6c","kind":"required-rejection","outputs":[],"source":"Recorded"}
semantic-impact {"declarations":[{"consequences":[{"consumer":"CollisionLedger","kind":"consumer-build"},{"aggregate":"CollisionLedger","kind":"private-event-history"}],"consumerEvidence":[{"consumer":"CollisionLedger","operation":null,"path":"CollisionLedger command Record .details : Details","surface":"aggregate-command"},{"consumer":"CollisionLedger","operation":null,"path":"CollisionLedger event RecordedValues .details : Details","surface":"private-event-payload"}],"consumers":["CollisionLedger"],"declaration":"Details","identity":"structural\u001fkeiro-dsl:ImportPlanning.Consumer.Shared.Types:Details\u001fImportPlanning.Bindings.detailsBinding\u001f1\u001fimport-planning.Details.v1\u001fImportPlanning.Bindings.detailsFixtures\u001f\u001f7b2032febfe42f05\u001frecord:Details:label=label"}],"mappedSurfaceEvidenceVersion":1,"serviceInventory":["Details"]}