keiro-dsl-ledger.context.nominal-scalars.txt

keiro-dsl scaffold record v1
spec: keiro-dsl/test/fixtures/nominal-scalars.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":"BehaviorSourceMap","kind":"generated","ownerKind":"context","ownerName":"context nominal-scalars behavior source map","path":"Generated/NominalScalars/BehaviorSourceMap.hs"}
module-role {"family":"OrderStatus","kind":"generated","ownerKind":"bound","ownerName":"bound nominal enum representation OrderStatus (line 13)","path":"Generated/NominalScalars/Nominal/Shape/OrderStatus.hs"}
module-role {"family":"NominalProjections","kind":"generated","ownerKind":"context","ownerName":"context nominal-scalars nominal scalar projection facade","path":"Generated/NominalScalars/NominalProjections.hs"}
module-role {"family":"Bindings","kind":"hole","ownerKind":"consumer","ownerName":"consumer binding skeleton NominalConformance.Bindings","path":"NominalConformance/Bindings.hs"}
module-role {"family":"ReplayAudit","kind":"generated","ownerKind":"context","ownerName":"context nominal-scalars replay-audit assembly","path":"Generated/NominalScalars/ReplayAudit.hs"}
module-role {"family":"Domain","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate NominalLedger (line 67)","path":"Generated/NominalScalars/NominalLedger/Domain.hs"}
module-role {"family":"Codec","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate NominalLedger (line 67)","path":"Generated/NominalScalars/NominalLedger/Codec.hs"}
module-role {"family":"Transducer","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate NominalLedger (line 67)","path":"Generated/NominalScalars/NominalLedger/Transducer.hs"}
module-role {"family":"BehaviorContract","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate NominalLedger (line 67)","path":"Generated/NominalScalars/NominalLedger/BehaviorContract.hs"}
module-role {"family":"BehaviorHoles","kind":"hole","ownerKind":"aggregate","ownerName":"aggregate behavior witnesses NominalLedger (line 67)","path":"NominalScalars/NominalLedger/BehaviorHoles.hs"}
module-role {"family":"EventStream","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate NominalLedger (line 67)","path":"Generated/NominalScalars/NominalLedger/EventStream.hs"}
module-role {"family":"Projection","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate NominalLedger (line 67)","path":"Generated/NominalScalars/NominalLedger/Projection.hs"}
module-role {"family":"Harness","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate NominalLedger (line 67)","path":"Generated/NominalScalars/NominalLedger/Harness.hs"}
generated Generated/NominalScalars/BehaviorSourceMap.hs
generated Generated/NominalScalars/Nominal/Shape/OrderStatus.hs
generated Generated/NominalScalars/NominalProjections.hs
hole NominalConformance/Bindings.hs
generated Generated/NominalScalars/ReplayAudit.hs
generated Generated/NominalScalars/NominalLedger/Domain.hs
generated Generated/NominalScalars/NominalLedger/Codec.hs
generated Generated/NominalScalars/NominalLedger/Transducer.hs
generated Generated/NominalScalars/NominalLedger/BehaviorContract.hs
hole NominalScalars/NominalLedger/BehaviorHoles.hs
generated Generated/NominalScalars/NominalLedger/EventStream.hs
generated Generated/NominalScalars/NominalLedger/Projection.hs
generated Generated/NominalScalars/NominalLedger/Harness.hs
nominal-mapping {"bindingSymbol":"NominalConformance.Bindings.accountNumberBinding","bindingVersion":"1","canonicalType":"nominal.AccountNumber.v1","category":"scalar","fixtureSymbol":"NominalConformance.Bindings.accountNumberFixtures","initialSymbol":"NominalConformance.Bindings.initialAccountNumber","mode":"nominal","module":"NominalConformance.Domain","package":"nominal-conformance","representation":"Text","schema":1,"specName":"AccountNumber","type":"AccountNumber"}
nominal-mapping {"bindingSymbol":"NominalConformance.Bindings.featureFlagBinding","bindingVersion":"1","canonicalType":"nominal.FeatureFlag.v1","category":"scalar","fixtureSymbol":"NominalConformance.Bindings.featureFlagFixtures","initialSymbol":"NominalConformance.Bindings.initialFeatureFlag","mode":"nominal","module":"NominalConformance.Domain","package":"nominal-conformance","representation":"Bool","schema":1,"specName":"FeatureFlag","type":"FeatureFlag"}
nominal-mapping {"bindingSymbol":"NominalConformance.Bindings.observedAtBinding","bindingVersion":"1","canonicalType":"nominal.ObservedAt.v1","category":"scalar","fixtureSymbol":"NominalConformance.Bindings.observedAtFixtures","initialSymbol":"NominalConformance.Bindings.initialObservedAt","mode":"nominal","module":"NominalConformance.Domain","package":"nominal-conformance","representation":"Time","schema":1,"specName":"ObservedAt","type":"ObservedAt"}
nominal-mapping {"bindingSymbol":"NominalConformance.Bindings.orderIdBinding","bindingVersion":"1","canonicalType":"nominal.OrderId.v1","category":"id","fixtureSymbol":"NominalConformance.Bindings.orderIdFixtures","initialSymbol":"NominalConformance.Bindings.initialOrderId","mode":"nominal","module":"NominalConformance.Domain","package":"nominal-conformance","representation":"KindID:ord","schema":1,"specName":"OrderId","type":"OrderId"}
nominal-mapping {"bindingSymbol":"NominalConformance.Bindings.orderStatusBinding","bindingVersion":"1","canonicalType":"nominal.OrderStatus.v1","category":"enum","fixtureSymbol":"NominalConformance.Bindings.orderStatusFixtures","initialSymbol":"NominalConformance.Bindings.initialOrderStatus","mode":"nominal","module":"NominalConformance.Domain","package":"nominal-conformance","representation":"enum:Draft=draft,Submitted=submitted","schema":1,"specName":"OrderStatus","type":"OrderStatus"}
nominal-mapping {"bindingSymbol":"NominalConformance.Bindings.riskScoreBinding","bindingVersion":"1","canonicalType":"nominal.RiskScore.v1","category":"scalar","fixtureSymbol":"NominalConformance.Bindings.riskScoreFixtures","initialSymbol":"NominalConformance.Bindings.initialRiskScore","mode":"nominal","module":"NominalConformance.Domain","package":"nominal-conformance","representation":"Int","schema":1,"specName":"RiskScore","type":"RiskScore"}
nominal-mapping {"bindingSymbol":"NominalConformance.Bindings.sequenceNumberBinding","bindingVersion":"1","canonicalType":"nominal.SequenceNumber.v1","category":"scalar","fixtureSymbol":"NominalConformance.Bindings.sequenceNumberFixtures","initialSymbol":"NominalConformance.Bindings.initialSequenceNumber","mode":"nominal","module":"NominalConformance.Domain","package":"nominal-conformance","representation":"Natural","schema":1,"specName":"SequenceNumber","type":"SequenceNumber"}
id-domain id-domain|name=OrderId|contract=keiro-dsl/id-domain/typeid-v7/1|prefix=ord|separator=_|json=canonical-json-text
nominal-equality nominal-equality|name=OrderId|contract=keiro-dsl/nominal-equality/2|key=Text|domain=typeid-v7-text:ord:keiro-dsl/id-domain/typeid-v7/1|owner=consumer;canonical=nominal.OrderId.v1;binding=NominalConformance.Bindings.orderIdBinding;binding-version=1
nominal-equality nominal-equality|name=OrderStatus|contract=keiro-dsl/nominal-equality/1|key=Text|domain=finite-text:draft,submitted|owner=consumer;canonical=nominal.OrderStatus.v1;binding=NominalConformance.Bindings.orderStatusBinding;binding-version=1
binding {"kind":"binding","mappedName":"AccountNumber","module":"NominalConformance.Bindings","path":null,"schema":1,"signature":"accountNumberBinding :: NominalBinding NominalConformance.Domain.AccountNumber Text","symbol":"accountNumberBinding"}
binding {"kind":"fixtures","mappedName":"AccountNumber","module":"NominalConformance.Bindings","path":null,"schema":1,"signature":"accountNumberFixtures :: NominalFixtureCases NominalConformance.Domain.AccountNumber","symbol":"accountNumberFixtures"}
binding {"kind":"initial-value","mappedName":"AccountNumber","module":"NominalConformance.Bindings","path":null,"schema":1,"signature":"initialAccountNumber :: NominalConformance.Domain.AccountNumber","symbol":"initialAccountNumber"}
binding {"kind":"binding","mappedName":"FeatureFlag","module":"NominalConformance.Bindings","path":null,"schema":1,"signature":"featureFlagBinding :: NominalBinding NominalConformance.Domain.FeatureFlag Bool","symbol":"featureFlagBinding"}
binding {"kind":"fixtures","mappedName":"FeatureFlag","module":"NominalConformance.Bindings","path":null,"schema":1,"signature":"featureFlagFixtures :: NominalFixtureCases NominalConformance.Domain.FeatureFlag","symbol":"featureFlagFixtures"}
binding {"kind":"initial-value","mappedName":"FeatureFlag","module":"NominalConformance.Bindings","path":null,"schema":1,"signature":"initialFeatureFlag :: NominalConformance.Domain.FeatureFlag","symbol":"initialFeatureFlag"}
binding {"kind":"binding","mappedName":"ObservedAt","module":"NominalConformance.Bindings","path":null,"schema":1,"signature":"observedAtBinding :: NominalBinding NominalConformance.Domain.ObservedAt UTCTime","symbol":"observedAtBinding"}
binding {"kind":"fixtures","mappedName":"ObservedAt","module":"NominalConformance.Bindings","path":null,"schema":1,"signature":"observedAtFixtures :: NominalFixtureCases NominalConformance.Domain.ObservedAt","symbol":"observedAtFixtures"}
binding {"kind":"initial-value","mappedName":"ObservedAt","module":"NominalConformance.Bindings","path":null,"schema":1,"signature":"initialObservedAt :: NominalConformance.Domain.ObservedAt","symbol":"initialObservedAt"}
binding {"kind":"binding","mappedName":"OrderId","module":"NominalConformance.Bindings","path":null,"schema":1,"signature":"orderIdBinding :: NominalBinding NominalConformance.Domain.OrderId (KindID \"ord\")","symbol":"orderIdBinding"}
binding {"kind":"fixtures","mappedName":"OrderId","module":"NominalConformance.Bindings","path":null,"schema":1,"signature":"orderIdFixtures :: NominalFixtureCases NominalConformance.Domain.OrderId","symbol":"orderIdFixtures"}
binding {"kind":"initial-value","mappedName":"OrderId","module":"NominalConformance.Bindings","path":null,"schema":1,"signature":"initialOrderId :: NominalConformance.Domain.OrderId","symbol":"initialOrderId"}
binding {"kind":"binding","mappedName":"OrderStatus","module":"NominalConformance.Bindings","path":null,"schema":1,"signature":"orderStatusBinding :: NominalBinding NominalConformance.Domain.OrderStatus Generated.NominalScalars.Nominal.Shape.OrderStatus.OrderStatusRepresentation","symbol":"orderStatusBinding"}
binding {"kind":"fixtures","mappedName":"OrderStatus","module":"NominalConformance.Bindings","path":null,"schema":1,"signature":"orderStatusFixtures :: NominalFixtureCases NominalConformance.Domain.OrderStatus","symbol":"orderStatusFixtures"}
binding {"kind":"initial-value","mappedName":"OrderStatus","module":"NominalConformance.Bindings","path":null,"schema":1,"signature":"initialOrderStatus :: NominalConformance.Domain.OrderStatus","symbol":"initialOrderStatus"}
binding {"kind":"binding","mappedName":"RiskScore","module":"NominalConformance.Bindings","path":null,"schema":1,"signature":"riskScoreBinding :: NominalBinding NominalConformance.Domain.RiskScore Int","symbol":"riskScoreBinding"}
binding {"kind":"fixtures","mappedName":"RiskScore","module":"NominalConformance.Bindings","path":null,"schema":1,"signature":"riskScoreFixtures :: NominalFixtureCases NominalConformance.Domain.RiskScore","symbol":"riskScoreFixtures"}
binding {"kind":"initial-value","mappedName":"RiskScore","module":"NominalConformance.Bindings","path":null,"schema":1,"signature":"initialRiskScore :: NominalConformance.Domain.RiskScore","symbol":"initialRiskScore"}
binding {"kind":"binding","mappedName":"SequenceNumber","module":"NominalConformance.Bindings","path":null,"schema":1,"signature":"sequenceNumberBinding :: NominalBinding NominalConformance.Domain.SequenceNumber Natural","symbol":"sequenceNumberBinding"}
binding {"kind":"fixtures","mappedName":"SequenceNumber","module":"NominalConformance.Bindings","path":null,"schema":1,"signature":"sequenceNumberFixtures :: NominalFixtureCases NominalConformance.Domain.SequenceNumber","symbol":"sequenceNumberFixtures"}
binding {"kind":"initial-value","mappedName":"SequenceNumber","module":"NominalConformance.Bindings","path":null,"schema":1,"signature":"initialSequenceNumber :: NominalConformance.Domain.SequenceNumber","symbol":"initialSequenceNumber"}
behavior {"aggregate":"NominalLedger","command":"RecordNominals","evidence":"generated-authoritative","key":"behavior-v1-274eaf83d346048a","kind":"live-transition","outputs":[{"command":"RecordNominals","ownership":"generated-command-identity"}],"source":"Empty"}
behavior {"aggregate":"NominalLedger","command":"RecordNominals","evidence":"generated-authoritative","key":"behavior-v1-971c0c80ffdfe018","kind":"required-rejection","outputs":[],"source":"Recorded"}
semantic-impact {"declarations":[],"mappedSurfaceEvidenceVersion":1,"serviceInventory":[]}