keiro-dsl-ledger.workspace.workspace-nominal-proof.txt

keiro-dsl workspace scaffold record v1
service: workspace-nominal-proof
manifest: service.keiro-workspace
context: workspace-nominal-proof
module-root: (none)
layout: prefixed
naming-edition idiomatic-v2
member domain/project-artifact.keiro
member domain/project.keiro
member domain/shared.keiro
source-language {"declaredLanguageVersion":6,"effectiveLanguageVersion":6,"path":"domain/project-artifact.keiro","sourceForm":"declared"}
source-language {"declaredLanguageVersion":6,"effectiveLanguageVersion":6,"path":"domain/project.keiro","sourceForm":"declared"}
source-language {"declaredLanguageVersion":6,"effectiveLanguageVersion":6,"path":"domain/shared.keiro","sourceForm":"declared"}
semantic-contract {"languageSupport":"candidate","languageVersion":6,"runtimeSemantics":"keiro-dsl/runtime-semantics/5"}
module {"kind":"generated","path":"Generated/WorkspaceNominalProof/StructuralConformance.hs","roleFamily":"StructuralConformance","roleOwnerKind":"context","roleOwnerName":"context workspace-nominal-proof structural conformance"}
module {"kind":"generated","path":"Generated/WorkspaceNominalProof/BehaviorSourceMap.hs","roleFamily":"BehaviorSourceMap","roleOwnerKind":"context","roleOwnerName":"context workspace-nominal-proof behavior source map"}
module {"kind":"generated","owner":"domain/project-artifact.keiro","path":"Generated/WorkspaceNominalProof/Structural/Shape/ArtifactClaim.hs","roleFamily":"ArtifactClaim","roleOwnerKind":"domain/project-artifact.keiro:","roleOwnerName":"domain/project-artifact.keiro: mapped structural ArtifactClaim (line 4)"}
module {"kind":"generated","owner":"domain/project.keiro","path":"Generated/WorkspaceNominalProof/Structural/Shape/ProjectClaim.hs","roleFamily":"ProjectClaim","roleOwnerKind":"domain/project.keiro:","roleOwnerName":"domain/project.keiro: mapped structural ProjectClaim (line 35)"}
module {"kind":"generated","path":"Generated/WorkspaceNominalProof/StructuralProjections.hs","roleFamily":"StructuralProjections","roleOwnerKind":"context","roleOwnerName":"context workspace-nominal-proof mapped structural facade"}
module {"kind":"generated","path":"Generated/WorkspaceNominalProof/Nominals.hs","roleFamily":"Nominals","roleOwnerKind":"context","roleOwnerName":"context workspace-nominal-proof generated nominal declarations"}
module {"kind":"generated","path":"Generated/WorkspaceNominalProof/Nominals/Internal.hs","roleFamily":"Internal","roleOwnerKind":"context","roleOwnerName":"context workspace-nominal-proof generated nominal ID internals"}
module {"kind":"generated","path":"Generated/WorkspaceNominalProof/Structural/NominalLeaves.hs","roleFamily":"NominalLeaves","roleOwnerKind":"context","roleOwnerName":"context workspace-nominal-proof structural nominal leaves"}
module {"kind":"hole","path":"WorkspaceNominalProof/Bindings.hs","roleFamily":"Bindings","roleOwnerKind":"consumer","roleOwnerName":"consumer binding skeleton WorkspaceNominalProof.Bindings"}
module {"kind":"generated","path":"Generated/WorkspaceNominalProof/ReplayAudit.hs","roleFamily":"ReplayAudit","roleOwnerKind":"context","roleOwnerName":"context workspace-nominal-proof replay-audit assembly"}
module {"kind":"generated","owner":"domain/project-artifact.keiro","path":"Generated/WorkspaceNominalProof/ProjectArtifact/Domain.hs","roleFamily":"Domain","roleOwnerKind":"domain/project-artifact.keiro:","roleOwnerName":"domain/project-artifact.keiro: aggregate ProjectArtifact (line 15)"}
module {"kind":"generated","owner":"domain/project-artifact.keiro","path":"Generated/WorkspaceNominalProof/ProjectArtifact/Codec.hs","roleFamily":"Codec","roleOwnerKind":"domain/project-artifact.keiro:","roleOwnerName":"domain/project-artifact.keiro: aggregate ProjectArtifact (line 15)"}
module {"kind":"generated","owner":"domain/project-artifact.keiro","path":"Generated/WorkspaceNominalProof/ProjectArtifact/Transducer.hs","roleFamily":"Transducer","roleOwnerKind":"domain/project-artifact.keiro:","roleOwnerName":"domain/project-artifact.keiro: aggregate ProjectArtifact (line 15)"}
module {"kind":"generated","owner":"domain/project-artifact.keiro","path":"Generated/WorkspaceNominalProof/ProjectArtifact/BehaviorContract.hs","roleFamily":"BehaviorContract","roleOwnerKind":"domain/project-artifact.keiro:","roleOwnerName":"domain/project-artifact.keiro: aggregate ProjectArtifact (line 15)"}
module {"kind":"hole","owner":"domain/project-artifact.keiro","path":"WorkspaceNominalProof/ProjectArtifact/BehaviorHoles.hs","roleFamily":"BehaviorHoles","roleOwnerKind":"domain/project-artifact.keiro:","roleOwnerName":"domain/project-artifact.keiro: aggregate behavior witnesses ProjectArtifact (line 15)"}
module {"kind":"generated","owner":"domain/project-artifact.keiro","path":"Generated/WorkspaceNominalProof/ProjectArtifact/EventStream.hs","roleFamily":"EventStream","roleOwnerKind":"domain/project-artifact.keiro:","roleOwnerName":"domain/project-artifact.keiro: aggregate ProjectArtifact (line 15)"}
module {"kind":"generated","owner":"domain/project-artifact.keiro","path":"Generated/WorkspaceNominalProof/ProjectArtifact/Projection.hs","roleFamily":"Projection","roleOwnerKind":"domain/project-artifact.keiro:","roleOwnerName":"domain/project-artifact.keiro: aggregate ProjectArtifact (line 15)"}
module {"kind":"generated","owner":"domain/project-artifact.keiro","path":"Generated/WorkspaceNominalProof/ProjectArtifact/Harness.hs","roleFamily":"Harness","roleOwnerKind":"domain/project-artifact.keiro:","roleOwnerName":"domain/project-artifact.keiro: aggregate ProjectArtifact (line 15)"}
module {"kind":"generated","owner":"domain/project.keiro","path":"Generated/WorkspaceNominalProof/Project/Domain.hs","roleFamily":"Domain","roleOwnerKind":"domain/project.keiro:","roleOwnerName":"domain/project.keiro: aggregate Project (line 46)"}
module {"kind":"generated","owner":"domain/project.keiro","path":"Generated/WorkspaceNominalProof/Project/Codec.hs","roleFamily":"Codec","roleOwnerKind":"domain/project.keiro:","roleOwnerName":"domain/project.keiro: aggregate Project (line 46)"}
module {"kind":"generated","owner":"domain/project.keiro","path":"Generated/WorkspaceNominalProof/Project/Transducer.hs","roleFamily":"Transducer","roleOwnerKind":"domain/project.keiro:","roleOwnerName":"domain/project.keiro: aggregate Project (line 46)"}
module {"kind":"generated","owner":"domain/project.keiro","path":"Generated/WorkspaceNominalProof/Project/BehaviorContract.hs","roleFamily":"BehaviorContract","roleOwnerKind":"domain/project.keiro:","roleOwnerName":"domain/project.keiro: aggregate Project (line 46)"}
module {"kind":"hole","owner":"domain/project.keiro","path":"WorkspaceNominalProof/Project/BehaviorHoles.hs","roleFamily":"BehaviorHoles","roleOwnerKind":"domain/project.keiro:","roleOwnerName":"domain/project.keiro: aggregate behavior witnesses Project (line 46)"}
module {"kind":"generated","owner":"domain/project.keiro","path":"Generated/WorkspaceNominalProof/Project/EventStream.hs","roleFamily":"EventStream","roleOwnerKind":"domain/project.keiro:","roleOwnerName":"domain/project.keiro: aggregate Project (line 46)"}
module {"kind":"generated","owner":"domain/project.keiro","path":"Generated/WorkspaceNominalProof/Project/Projection.hs","roleFamily":"Projection","roleOwnerKind":"domain/project.keiro:","roleOwnerName":"domain/project.keiro: aggregate Project (line 46)"}
module {"kind":"generated","owner":"domain/project.keiro","path":"Generated/WorkspaceNominalProof/Project/Harness.hs","roleFamily":"Harness","roleOwnerKind":"domain/project.keiro:","roleOwnerName":"domain/project.keiro: aggregate Project (line 46)"}
mapping {"bindingSymbol":"WorkspaceNominalProof.Bindings.artifactClaimBinding","bindingVersion":"1","canonicalType":"workspace-nominal-proof.ArtifactClaim.v1","mode":"structural","module":"WorkspaceNominalProof.Domain","package":"keiro-dsl","schema":1,"specName":"ArtifactClaim","type":"ArtifactClaim"}
nominal-mapping {"bindingSymbol":"WorkspaceNominalProof.Bindings.claimIdBinding","bindingVersion":"1","canonicalType":"workspace-nominal-proof.ClaimId.v1","category":"id","fixtureSymbol":"WorkspaceNominalProof.Bindings.claimIdFixtures","initialSymbol":null,"mode":"nominal","module":"WorkspaceNominalProof.Domain","package":"keiro-dsl","representation":"KindID:claim","schema":1,"specName":"ClaimId","type":"ClaimId"}
mapping {"bindingSymbol":"WorkspaceNominalProof.Bindings.projectClaimBinding","bindingVersion":"1","canonicalType":"workspace-nominal-proof.ProjectClaim.v1","mode":"structural","module":"WorkspaceNominalProof.Domain","package":"keiro-dsl","schema":1,"specName":"ProjectClaim","type":"ProjectClaim"}
id-domain id-domain|name=ProjectId|contract=keiro-dsl/id-domain/typeid-v7/1|prefix=proj|separator=_|json=canonical-json-text
id-domain id-domain|name=ClaimId|contract=keiro-dsl/id-domain/typeid-v7/1|prefix=claim|separator=_|json=canonical-json-text
nominal-equality nominal-equality|name=ClaimId|contract=keiro-dsl/nominal-equality/2|key=Text|domain=typeid-v7-text:claim:keiro-dsl/id-domain/typeid-v7/1|owner=consumer;canonical=workspace-nominal-proof.ClaimId.v1;binding=WorkspaceNominalProof.Bindings.claimIdBinding;binding-version=1
nominal-equality 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 nominal-equality|name=ProjectPhase|contract=keiro-dsl/nominal-equality/1|key=Text|domain=finite-text:draft,active|owner=generated
nominal-equality nominal-equality|name=UnusedNominal|contract=keiro-dsl/nominal-equality/1|key=Text|domain=finite-text:present,absent|owner=generated
binding {"kind":"binding","mappedName":"ArtifactClaim","module":"WorkspaceNominalProof.Bindings","path":"claimId","schema":1,"signature":"artifactClaimBinding.claimId :: ClaimId","symbol":"artifactClaimBinding"}
binding {"kind":"fixtures","mappedName":"ArtifactClaim","module":"WorkspaceNominalProof.Bindings","path":null,"schema":1,"signature":"artifactClaimFixtures :: FixtureCases WorkspaceNominalProof.Domain.ArtifactClaim","symbol":"artifactClaimFixtures"}
binding {"kind":"binding","mappedName":"ClaimId","module":"WorkspaceNominalProof.Bindings","path":null,"schema":1,"signature":"claimIdBinding :: NominalBinding WorkspaceNominalProof.Domain.ClaimId (KindID \"claim\")","symbol":"claimIdBinding"}
binding {"kind":"fixtures","mappedName":"ClaimId","module":"WorkspaceNominalProof.Bindings","path":null,"schema":1,"signature":"claimIdFixtures :: NominalFixtureCases WorkspaceNominalProof.Domain.ClaimId","symbol":"claimIdFixtures"}
binding {"kind":"binding","mappedName":"ProjectClaim","module":"WorkspaceNominalProof.Bindings","path":"claimId","schema":1,"signature":"projectClaimBinding.claimId :: ClaimId","symbol":"projectClaimBinding"}
binding {"kind":"fixtures","mappedName":"ProjectClaim","module":"WorkspaceNominalProof.Bindings","path":null,"schema":1,"signature":"projectClaimFixtures :: FixtureCases WorkspaceNominalProof.Domain.ProjectClaim","symbol":"projectClaimFixtures"}
behavior {"aggregate":"ProjectArtifact","command":"RecordArtifact","evidence":"generated-authoritative","key":"behavior-v1-11da0fd14ad66aa0","kind":"required-rejection","outputs":[],"owner":"domain/project-artifact.keiro","source":"Recorded"}
behavior {"aggregate":"Project","command":"ArchiveProject","evidence":"generated-authoritative","key":"behavior-v1-3de05f6aced1fbd8","kind":"required-rejection","outputs":[],"owner":"domain/project.keiro","source":"Archived"}
behavior {"aggregate":"Project","command":"RegisterProject","evidence":"generated-authoritative","key":"behavior-v1-44c09c629d21fd17","kind":"required-rejection","outputs":[],"owner":"domain/project.keiro","source":"Archived"}
behavior {"aggregate":"Project","command":"RegisterProject","evidence":"generated-authoritative","key":"behavior-v1-54e47cf9e813f9d7","kind":"live-transition","outputs":[{"command":"RegisterProject","ownership":"generated-command-identity"}],"owner":"domain/project.keiro","source":"Empty"}
behavior {"aggregate":"Project","command":"RegisterProject","evidence":"generated-authoritative","key":"behavior-v1-6134478c9aaa78cb","kind":"required-rejection","outputs":[],"owner":"domain/project.keiro","source":"Live"}
behavior {"aggregate":"ProjectArtifact","command":"RecordArtifact","evidence":"generated-authoritative","key":"behavior-v1-656b424f346ccdfd","kind":"live-transition","outputs":[{"command":"RecordArtifact","ownership":"generated-command-identity"}],"owner":"domain/project-artifact.keiro","source":"Empty"}
behavior {"aggregate":"Project","command":"ArchiveProject","evidence":"generated-authoritative","key":"behavior-v1-c4b406a5be4a0d0b","kind":"required-rejection","outputs":[],"owner":"domain/project.keiro","source":"Empty"}
behavior {"aggregate":"Project","command":"ArchiveProject","evidence":"generated-authoritative","key":"behavior-v1-ea703ecdfbda1e70","kind":"live-transition","outputs":[{"command":"ArchiveProject","ownership":"generated-command-identity"}],"owner":"domain/project.keiro","source":"Live"}
semantic-impact {"declarations":[{"consequences":[{"consumer":"ProjectArtifact","kind":"consumer-build"},{"aggregate":"ProjectArtifact","kind":"private-event-history"}],"consumerEvidence":[{"consumer":"ProjectArtifact","operation":null,"path":"ProjectArtifact command RecordArtifact .claim : ArtifactClaim","surface":"aggregate-command"},{"consumer":"ProjectArtifact","operation":null,"path":"ProjectArtifact event ArtifactRecorded .claim : ArtifactClaim","surface":"private-event-payload"}],"consumers":["ProjectArtifact"],"declaration":"ArtifactClaim","identity":"structural\u001fkeiro-dsl:WorkspaceNominalProof.Domain:ArtifactClaim\u001fWorkspaceNominalProof.Bindings.artifactClaimBinding\u001f1\u001fworkspace-nominal-proof.ArtifactClaim.v1\u001fWorkspaceNominalProof.Bindings.artifactClaimFixtures\u001f\u001f3d0a2ccf2e30cacd\u001frecord:ArtifactClaim:claimId=claimId"},{"consequences":[{"consumer":"Project","kind":"consumer-build"},{"aggregate":"Project","kind":"private-event-history"}],"consumerEvidence":[{"consumer":"Project","operation":null,"path":"Project command RegisterProject .claim : ProjectClaim","surface":"aggregate-command"},{"consumer":"Project","operation":null,"path":"Project event ProjectRegistered .claim : ProjectClaim","surface":"private-event-payload"}],"consumers":["Project"],"declaration":"ProjectClaim","identity":"structural\u001fkeiro-dsl:WorkspaceNominalProof.Domain:ProjectClaim\u001fWorkspaceNominalProof.Bindings.projectClaimBinding\u001f1\u001fworkspace-nominal-proof.ProjectClaim.v1\u001fWorkspaceNominalProof.Bindings.projectClaimFixtures\u001f\u001f3d0a2ccf2e30cacd\u001frecord:ProjectClaim:claimId=claimId"}],"mappedSurfaceEvidenceVersion":1,"serviceInventory":["ArtifactClaim","ProjectClaim"]}
adopted {"evidence":"banner","path":"Generated/WorkspaceNominalProof/Nominals.hs"}
adopted {"evidence":"banner","path":"Generated/WorkspaceNominalProof/ProjectArtifact/Domain.hs"}
adopted {"evidence":"banner","path":"Generated/WorkspaceNominalProof/ProjectArtifact/Codec.hs"}
adopted {"evidence":"banner","path":"Generated/WorkspaceNominalProof/Project/Domain.hs"}
adopted {"evidence":"banner","path":"Generated/WorkspaceNominalProof/Project/Codec.hs"}