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":4,"effectiveLanguageVersion":4,"path":"domain/project-artifact.keiro","sourceForm":"declared"}
source-language {"declaredLanguageVersion":4,"effectiveLanguageVersion":4,"path":"domain/project.keiro","sourceForm":"declared"}
source-language {"declaredLanguageVersion":4,"effectiveLanguageVersion":4,"path":"domain/shared.keiro","sourceForm":"declared"}
semantic-contract {"languageSupport":"compatibility-only","languageVersion":4,"runtimeSemantics":"keiro-dsl/runtime-semantics/3"}
module {"kind":"generated","path":"Generated/WorkspaceNominalProof/BehaviorSourceMap.hs","roleFamily":"BehaviorSourceMap","roleOwnerKind":"context","roleOwnerName":"context workspace-nominal-proof behavior source map"}
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/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 4)"}
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 4)"}
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 4)"}
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 4)"}
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 4)"}
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 4)"}
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 4)"}
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 4)"}
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 24)"}
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 24)"}
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 24)"}
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 24)"}
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 24)"}
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 24)"}
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 24)"}
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 24)"}
id-domain id-domain|name=ProjectId|contract=keiro-dsl/id-domain/typeid-v7/1|prefix=proj|separator=_|json=canonical-json-text
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
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-3ef04b25c79aa821","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-44c09c629d21fd17","kind":"required-rejection","outputs":[],"owner":"domain/project.keiro","source":"Archived"}
behavior {"aggregate":"Project","command":"RegisterProject","evidence":"generated-authoritative","key":"behavior-v1-6134478c9aaa78cb","kind":"required-rejection","outputs":[],"owner":"domain/project.keiro","source":"Live"}
behavior {"aggregate":"Project","command":"ArchiveProject","evidence":"generated-authoritative","key":"behavior-v1-c4b406a5be4a0d0b","kind":"required-rejection","outputs":[],"owner":"domain/project.keiro","source":"Empty"}
behavior {"aggregate":"ProjectArtifact","command":"RecordArtifact","evidence":"generated-authoritative","key":"behavior-v1-c6d79387e567590e","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-ea703ecdfbda1e70","kind":"live-transition","outputs":[{"command":"ArchiveProject","ownership":"generated-command-identity"}],"owner":"domain/project.keiro","source":"Live"}
semantic-impact {"declarations":[],"mappedSurfaceEvidenceVersion":1,"serviceInventory":[]}
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"}