keiro-dsl-ledger.context.aggregate-scalar-expressions.txt

keiro-dsl scaffold record v1
spec: keiro-dsl/test/fixtures/aggregate-scalar-expressions-v2.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 aggregate-scalar-expressions structural conformance","path":"Generated/AggregateScalarExpressions/StructuralConformance.hs"}
module-role {"family":"BehaviorSourceMap","kind":"generated","ownerKind":"context","ownerName":"context aggregate-scalar-expressions behavior source map","path":"Generated/AggregateScalarExpressions/BehaviorSourceMap.hs"}
module-role {"family":"Limits","kind":"generated","ownerKind":"mapped","ownerName":"mapped structural Limits (line 7)","path":"Generated/AggregateScalarExpressions/Structural/Shape/Limits.hs"}
module-role {"family":"StructuralProjections","kind":"generated","ownerKind":"context","ownerName":"context aggregate-scalar-expressions mapped structural facade","path":"Generated/AggregateScalarExpressions/StructuralProjections.hs"}
module-role {"family":"Nominals","kind":"generated","ownerKind":"context","ownerName":"context aggregate-scalar-expressions generated nominal declarations","path":"Generated/AggregateScalarExpressions/Nominals.hs"}
module-role {"family":"Internal","kind":"generated","ownerKind":"context","ownerName":"context aggregate-scalar-expressions generated nominal ID internals","path":"Generated/AggregateScalarExpressions/Nominals/Internal.hs"}
module-role {"family":"Bindings","kind":"hole","ownerKind":"consumer","ownerName":"consumer binding skeleton ScalarExpressions.Bindings","path":"ScalarExpressions/Bindings.hs"}
module-role {"family":"ReplayAudit","kind":"generated","ownerKind":"context","ownerName":"context aggregate-scalar-expressions replay-audit assembly","path":"Generated/AggregateScalarExpressions/ReplayAudit.hs"}
module-role {"family":"Domain","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate ScalarAccount (line 20)","path":"Generated/AggregateScalarExpressions/ScalarAccount/Domain.hs"}
module-role {"family":"Codec","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate ScalarAccount (line 20)","path":"Generated/AggregateScalarExpressions/ScalarAccount/Codec.hs"}
module-role {"family":"Transducer","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate ScalarAccount (line 20)","path":"Generated/AggregateScalarExpressions/ScalarAccount/Transducer.hs"}
module-role {"family":"BehaviorContract","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate ScalarAccount (line 20)","path":"Generated/AggregateScalarExpressions/ScalarAccount/BehaviorContract.hs"}
module-role {"family":"BehaviorHoles","kind":"hole","ownerKind":"aggregate","ownerName":"aggregate behavior witnesses ScalarAccount (line 20)","path":"AggregateScalarExpressions/ScalarAccount/BehaviorHoles.hs"}
module-role {"family":"EventStream","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate ScalarAccount (line 20)","path":"Generated/AggregateScalarExpressions/ScalarAccount/EventStream.hs"}
module-role {"family":"Projection","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate ScalarAccount (line 20)","path":"Generated/AggregateScalarExpressions/ScalarAccount/Projection.hs"}
module-role {"family":"Holes","kind":"hole","ownerKind":"aggregate","ownerName":"aggregate ScalarAccount (line 20)","path":"AggregateScalarExpressions/ScalarAccount/Holes.hs"}
module-role {"family":"Harness","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate ScalarAccount (line 20)","path":"Generated/AggregateScalarExpressions/ScalarAccount/Harness.hs"}
generated Generated/AggregateScalarExpressions/StructuralConformance.hs
generated Generated/AggregateScalarExpressions/BehaviorSourceMap.hs
generated Generated/AggregateScalarExpressions/Structural/Shape/Limits.hs
generated Generated/AggregateScalarExpressions/StructuralProjections.hs
generated Generated/AggregateScalarExpressions/Nominals.hs
generated Generated/AggregateScalarExpressions/Nominals/Internal.hs
hole ScalarExpressions/Bindings.hs
generated Generated/AggregateScalarExpressions/ReplayAudit.hs
generated Generated/AggregateScalarExpressions/ScalarAccount/Domain.hs
generated Generated/AggregateScalarExpressions/ScalarAccount/Codec.hs
generated Generated/AggregateScalarExpressions/ScalarAccount/Transducer.hs
generated Generated/AggregateScalarExpressions/ScalarAccount/BehaviorContract.hs
hole AggregateScalarExpressions/ScalarAccount/BehaviorHoles.hs
generated Generated/AggregateScalarExpressions/ScalarAccount/EventStream.hs
generated Generated/AggregateScalarExpressions/ScalarAccount/Projection.hs
hole AggregateScalarExpressions/ScalarAccount/Holes.hs
generated Generated/AggregateScalarExpressions/ScalarAccount/Harness.hs
mapping {"bindingSymbol":"ScalarExpressions.Bindings.limitsBinding","bindingVersion":"1","canonicalType":"scalar-expressions.Limits.v1","mode":"structural","module":"ScalarExpressions.Domain","package":"keiro-dsl","schema":1,"specName":"Limits","type":"Limits"}
id-domain id-domain|name=RequestId|contract=keiro-dsl/id-domain/typeid-v7/1|prefix=req|separator=_|json=canonical-json-text
nominal-equality nominal-equality|name=AccountMode|contract=keiro-dsl/nominal-equality/1|key=Text|domain=finite-text:normal,restricted|owner=generated
nominal-equality nominal-equality|name=RequestId|contract=keiro-dsl/nominal-equality/2|key=Text|domain=typeid-v7-text:req:keiro-dsl/id-domain/typeid-v7/1|owner=generated
binding {"kind":"binding","mappedName":"Limits","module":"ScalarExpressions.Bindings","path":"ceiling","schema":1,"signature":"limitsBinding.ceiling :: Natural","symbol":"limitsBinding"}
binding {"kind":"binding","mappedName":"Limits","module":"ScalarExpressions.Bindings","path":"minimum","schema":1,"signature":"limitsBinding.minimum :: Integer","symbol":"limitsBinding"}
binding {"kind":"fixtures","mappedName":"Limits","module":"ScalarExpressions.Bindings","path":null,"schema":1,"signature":"limitsCases :: FixtureCases ScalarExpressions.Domain.Limits","symbol":"limitsCases"}
binding {"kind":"initial-value","mappedName":"Limits","module":"ScalarExpressions.Bindings","path":null,"schema":1,"signature":"initialLimits :: ScalarExpressions.Domain.Limits","symbol":"initialLimits"}
behavior {"aggregate":"ScalarAccount","command":"Close","evidence":"generated-authoritative","key":"behavior-v1-1de91883b9e3f8bc","kind":"required-rejection","outputs":[],"source":"Open"}
behavior {"aggregate":"ScalarAccount","command":"Adjust","evidence":"generated-authoritative","key":"behavior-v1-5c58e0aafeb5f400","kind":"required-rejection","outputs":[],"source":"Reviewed"}
behavior {"aggregate":"ScalarAccount","command":"Adjust","evidence":"generated-authoritative","key":"behavior-v1-a19a8e94d935493f","kind":"required-rejection","outputs":[],"source":"Closed"}
behavior {"aggregate":"ScalarAccount","command":"Close","evidence":"hole-witnessed","key":"behavior-v1-b7db52f28632d8da","kind":"live-transition","outputs":[{"command":"Close","ownership":"generated-command-identity"}],"source":"Reviewed"}
behavior {"aggregate":"ScalarAccount","command":"Close","evidence":"generated-authoritative","key":"behavior-v1-dbf483c868dd6d34","kind":"required-rejection","outputs":[],"source":"Closed"}
behavior {"aggregate":"ScalarAccount","command":"Adjust","evidence":"generated-authoritative","key":"behavior-v1-e9c863d5daf20011","kind":"live-transition","outputs":[{"command":"Adjust","ownership":"generated-command-identity"}],"source":"Open"}
semantic-impact {"declarations":[{"consequences":[{"consumer":"ScalarAccount","kind":"consumer-build"},{"aggregate":"ScalarAccount","kind":"private-event-history"},{"aggregate":"ScalarAccount","kind":"snapshot-hydration"}],"consumerEvidence":[{"consumer":"ScalarAccount","operation":null,"path":"ScalarAccount command Adjust .limits : Limits","surface":"aggregate-command"},{"consumer":"ScalarAccount","operation":null,"path":"ScalarAccount event Adjusted .limits : Limits","surface":"private-event-payload"},{"consumer":"ScalarAccount","operation":null,"path":"ScalarAccount register limits : Limits","surface":"snapshot-register"}],"consumers":["ScalarAccount"],"declaration":"Limits","identity":"structural\u001fkeiro-dsl:ScalarExpressions.Domain:Limits\u001fScalarExpressions.Bindings.limitsBinding\u001f1\u001fscalar-expressions.Limits.v1\u001fScalarExpressions.Bindings.limitsCases\u001fScalarExpressions.Bindings.initialLimits\u001f4463db782a5b9924\u001frecord:Limits:ceiling=ceiling,minimum=minimum"}],"mappedSurfaceEvidenceVersion":1,"serviceInventory":["Limits"]}