fold-identity-baseline.golden

fixture=aggregate-scalar-expressions-v2
aggregate=ScalarAccount
fingerprint=60f4f059f718b2ee2bca06360ea20221
surface-begin
semantic-contract:keiro-dsl/runtime-semantics/2
state:Open|terminal=false
state:Reviewed|terminal=false
state:Closed|terminal=true
reg:balance:Integer=0
reg:reserved:Natural=0
reg:capacity:Natural=5
reg:machine:Int=0
reg:label:Text=""
reg:active:Bool=False
reg:mode:AccountMode=Normal
reg:requestId:RequestId=placeholder
reg:openedAt:Time=(UTCTime (fromGregorian 2026 1 1) (picosecondsToDiffTime 0))
reg:limits:Limits=initial
mapped-register:Limits|wire=4463db782a5b9924|canonical=scalar-expressions.Limits.v1|binding=ScalarExpressions.Bindings.limitsBinding|binding-version=1|initial=ScalarExpressions.Bindings.initialLimits
nominal-equality-use:nominal-equality|name=AccountMode|contract=keiro-dsl/nominal-equality/1|key=Text|domain=finite-text:normal,restricted|owner=generated
nominal-equality-use: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
transition:live|Open|Adjust|implementation=generated|guard=cmd.balance + reg.balance >= -100 && reg.reserved + cmd.requested <= reg.capacity && cmd.observedAt >= reg.openedAt && cmd.limits.minimum >= reg.limits.minimum && cmd.active == false && cmd.mode == reg.mode && cmd.requestId == reg.requestId|writes=balance:=reg.balance + cmd.balance * 2;reserved:=reg.reserved + (cmd.requested - reg.capacity);machine:=-7;label:="adjusted";active:=true;mode:=AccountMode.Restricted;requestId:=RequestId("req_01h455vb4pex5vsknk084sn02q");openedAt:="2026-02-03T04:05:06Z";limits:=cmd.limits|emits=Adjusted|outputs=Adjusted=generated-command-identity:Adjust[balance=balance:Integer,requested=requested:Natural,machine=machine:Int,label=label:Text,active=active:Bool,mode=mode:AccountMode,requestId=requestId:RequestId,observedAt=observedAt:Time,limits=limits:Limits]|goto=Reviewed
transition:live|Reviewed|Close|implementation=hole|guard=|writes=|emits=ClosedEvent|outputs=ClosedEvent=generated-command-identity:Close[balance=balance:Integer]|goto=Closed
surface-end


fixture=nominal-scalars
aggregate=NominalLedger
fingerprint=757ae5b82b33565e6c0c7fe2af1b527c
surface-begin
semantic-contract:keiro-dsl/runtime-semantics/2
state:Empty|terminal=false
state:Recorded|terminal=true
reg:orderId:OrderId=initial
reg:status:OrderStatus=initial
reg:accountNumber:AccountNumber=initial
reg:riskScore:RiskScore=initial
reg:sequenceNumber:SequenceNumber=initial
reg:featureFlag:FeatureFlag=initial
reg:observedAt:ObservedAt=initial
nominal-use:register:orderId|name=OrderId|representation=id:ord|canonical=nominal.OrderId.v1|binding=NominalConformance.Bindings.orderIdBinding|binding-version=1|initial=NominalConformance.Bindings.initialOrderId
nominal-use:register:status|name=OrderStatus|representation=enum:Draft=draft,Submitted=submitted|canonical=nominal.OrderStatus.v1|binding=NominalConformance.Bindings.orderStatusBinding|binding-version=1|initial=NominalConformance.Bindings.initialOrderStatus
nominal-use:register:accountNumber|name=AccountNumber|representation=Text|canonical=nominal.AccountNumber.v1|binding=NominalConformance.Bindings.accountNumberBinding|binding-version=1|initial=NominalConformance.Bindings.initialAccountNumber
nominal-use:register:riskScore|name=RiskScore|representation=Int|canonical=nominal.RiskScore.v1|binding=NominalConformance.Bindings.riskScoreBinding|binding-version=1|initial=NominalConformance.Bindings.initialRiskScore
nominal-use:register:sequenceNumber|name=SequenceNumber|representation=Natural|canonical=nominal.SequenceNumber.v1|binding=NominalConformance.Bindings.sequenceNumberBinding|binding-version=1|initial=NominalConformance.Bindings.initialSequenceNumber
nominal-use:register:featureFlag|name=FeatureFlag|representation=Bool|canonical=nominal.FeatureFlag.v1|binding=NominalConformance.Bindings.featureFlagBinding|binding-version=1|initial=NominalConformance.Bindings.initialFeatureFlag
nominal-use:register:observedAt|name=ObservedAt|representation=Time|canonical=nominal.ObservedAt.v1|binding=NominalConformance.Bindings.observedAtBinding|binding-version=1|initial=NominalConformance.Bindings.initialObservedAt
nominal-use:event:NominalsRecorded.orderId|name=OrderId|representation=id:ord|canonical=nominal.OrderId.v1|binding=NominalConformance.Bindings.orderIdBinding|binding-version=1|initial=NominalConformance.Bindings.initialOrderId
nominal-use:event:NominalsRecorded.status|name=OrderStatus|representation=enum:Draft=draft,Submitted=submitted|canonical=nominal.OrderStatus.v1|binding=NominalConformance.Bindings.orderStatusBinding|binding-version=1|initial=NominalConformance.Bindings.initialOrderStatus
nominal-use:event:NominalsRecorded.accountNumber|name=AccountNumber|representation=Text|canonical=nominal.AccountNumber.v1|binding=NominalConformance.Bindings.accountNumberBinding|binding-version=1|initial=NominalConformance.Bindings.initialAccountNumber
nominal-use:event:NominalsRecorded.riskScore|name=RiskScore|representation=Int|canonical=nominal.RiskScore.v1|binding=NominalConformance.Bindings.riskScoreBinding|binding-version=1|initial=NominalConformance.Bindings.initialRiskScore
nominal-use:event:NominalsRecorded.sequenceNumber|name=SequenceNumber|representation=Natural|canonical=nominal.SequenceNumber.v1|binding=NominalConformance.Bindings.sequenceNumberBinding|binding-version=1|initial=NominalConformance.Bindings.initialSequenceNumber
nominal-use:event:NominalsRecorded.featureFlag|name=FeatureFlag|representation=Bool|canonical=nominal.FeatureFlag.v1|binding=NominalConformance.Bindings.featureFlagBinding|binding-version=1|initial=NominalConformance.Bindings.initialFeatureFlag
nominal-use:event:NominalsRecorded.observedAt|name=ObservedAt|representation=Time|canonical=nominal.ObservedAt.v1|binding=NominalConformance.Bindings.observedAtBinding|binding-version=1|initial=NominalConformance.Bindings.initialObservedAt
nominal-equality-use: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-use: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
transition:live|Empty|RecordNominals|implementation=generated|guard=cmd.orderId == reg.orderId && cmd.status == reg.status|writes=orderId:=cmd.orderId;status:=cmd.status;accountNumber:=cmd.accountNumber;riskScore:=cmd.riskScore;sequenceNumber:=cmd.sequenceNumber;featureFlag:=cmd.featureFlag;observedAt:=cmd.observedAt|emits=NominalsRecorded|outputs=NominalsRecorded=generated-command-identity:RecordNominals[orderId=orderId:OrderId,status=status:OrderStatus,accountNumber=accountNumber:AccountNumber,riskScore=riskScore:RiskScore,sequenceNumber=sequenceNumber:SequenceNumber,featureFlag=featureFlag:FeatureFlag,observedAt=observedAt:ObservedAt]|goto=Recorded
surface-end


fixture=id-domain-migration-v3
aggregate=OrderBook
fingerprint=d169ad9824b76fafe43c6c86bb601ebd
surface-begin
semantic-contract:keiro-dsl/runtime-semantics/2
state:Empty|terminal=false
state:Recorded|terminal=true
reg:orderId:OrderId=placeholder
transition:live|Empty|Record|implementation=generated|guard=|writes=orderId:=cmd.orderId|emits=OrderRecorded|outputs=OrderRecorded=generated-command-identity:Record[orderId=orderId:OrderId]|goto=Recorded
surface-end


fixture=behavior-complete
aggregate=Journey
fingerprint=e85712b75ccd98ea3eebdf59164c4993
surface-begin
semantic-contract:keiro-dsl/runtime-semantics/2
state:Empty|terminal=false
state:Active|terminal=false
state:Closed|terminal=true
reg:lastAmount:Natural=0
transition:live|Empty|Start|implementation=generated|guard=cmd.amount <= 0|writes=lastAmount:=cmd.amount|emits=Started|outputs=Started=generated-command-identity:Start[requestId=requestId:RequestId,observedAt=observedAt:Time,amount=amount:Natural,details=details:StartPayload]|goto=Active
transition:live|Active|Decide|implementation=generated|guard=cmd.amount <= 5|writes=lastAmount:=cmd.amount|emits=DecisionRecorded|outputs=DecisionRecorded=generated-command-identity:Decide[amount=amount:Natural]|goto=Active
transition:replay-only|Empty|Start|implementation=generated|guard=cmd.amount > 0|writes=lastAmount:=cmd.amount|emits=Started|outputs=Started=generated-command-identity:Start[requestId=requestId:RequestId,observedAt=observedAt:Time,amount=amount:Natural,details=details:StartPayload]|goto=Active
transition:live|Active|Decide|implementation=generated|guard=cmd.amount > 5|writes=lastAmount:=cmd.amount|emits=DecisionRecorded|outputs=DecisionRecorded=generated-command-identity:Decide[amount=amount:Natural]|goto=Active
transition:replay-only|Empty|LegacyStart|implementation=generated|guard=|writes=lastAmount:=cmd.amount|emits=LegacyStarted|outputs=LegacyStarted=generated-command-identity:LegacyStart[amount=amount:Natural]|goto=Active
transition:live|Active|Ping|implementation=generated|guard=|writes=|emits=|outputs=|goto=Active
transition:live|Active|Retire|implementation=generated|guard=cmd.amount > 0|writes=lastAmount:=cmd.amount|emits=Retired,RetirementAudited|outputs=Retired=generated-command-identity:Retire[amount=amount:Natural],RetirementAudited=generated-command-identity:Retire[amount=amount:Natural]|goto=Closed
transition:replay-only|Active|Retire|implementation=generated|guard=cmd.amount <= 0|writes=lastAmount:=cmd.amount|emits=Retired,RetirementAudited|outputs=Retired=generated-command-identity:Retire[amount=amount:Natural],RetirementAudited=generated-command-identity:Retire[amount=amount:Natural]|goto=Closed
surface-end


fixture=workspace-nominals
aggregate=ProjectArtifact
fingerprint=a437868e9773ccac1561d3cdef96dbde
surface-begin
semantic-contract:keiro-dsl/runtime-semantics/2
state:Empty|terminal=false
state:Recorded|terminal=true
reg:projectId:ProjectId=placeholder
reg:phase:ProjectPhase=Draft
nominal-equality-use:nominal-equality|name=ProjectId|contract=keiro-dsl/nominal-equality/2|key=Text|domain=typeid-v7-text:proj:keiro-dsl/id-domain/typeid-v7/1|owner=generated
nominal-equality-use:nominal-equality|name=ProjectPhase|contract=keiro-dsl/nominal-equality/1|key=Text|domain=finite-text:draft,active|owner=generated
transition:live|Empty|RecordArtifact|implementation=generated|guard=cmd.projectId == reg.projectId && cmd.phase == reg.phase|writes=projectId:=cmd.projectId;phase:=cmd.phase|emits=ArtifactRecorded|outputs=ArtifactRecorded=generated-command-identity:RecordArtifact[projectId=projectId:ProjectId,phase=phase:ProjectPhase]|goto=Recorded
surface-end


fixture=workspace-nominals
aggregate=Project
fingerprint=45ade9770d9fd050b296ae227bd65aa2
surface-begin
semantic-contract:keiro-dsl/runtime-semantics/2
state:Empty|terminal=false
state:Live|terminal=false
state:Archived|terminal=true
reg:projectId:ProjectId=placeholder
reg:phase:ProjectPhase=Draft
nominal-equality-use:nominal-equality|name=ProjectId|contract=keiro-dsl/nominal-equality/2|key=Text|domain=typeid-v7-text:proj:keiro-dsl/id-domain/typeid-v7/1|owner=generated
nominal-equality-use:nominal-equality|name=ProjectPhase|contract=keiro-dsl/nominal-equality/1|key=Text|domain=finite-text:draft,active|owner=generated
transition:live|Empty|RegisterProject|implementation=generated|guard=cmd.projectId == reg.projectId && cmd.phase == reg.phase|writes=projectId:=cmd.projectId;phase:=cmd.phase|emits=ProjectRegistered|outputs=ProjectRegistered=generated-command-identity:RegisterProject[projectId=projectId:ProjectId,phase=phase:ProjectPhase]|goto=Live
transition:live|Live|ArchiveProject|implementation=generated|guard=cmd.projectId == reg.projectId && cmd.phase == reg.phase|writes=|emits=ArchivalRecorded|outputs=ArchivalRecorded=generated-command-identity:ArchiveProject[projectId=projectId:ProjectId,phase=phase:ProjectPhase]|goto=Archived
surface-end