keiro-dsl-ledger.context.structural-conformance.txt

keiro-dsl scaffold record v1
spec: keiro-dsl/test/fixtures/structural-conformance.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 structural-conformance structural conformance","path":"Generated/StructuralConformance/StructuralConformance.hs"}
module-role {"family":"BehaviorSourceMap","kind":"generated","ownerKind":"context","ownerName":"context structural-conformance behavior source map","path":"Generated/StructuralConformance/BehaviorSourceMap.hs"}
module-role {"family":"ArtifactInfo","kind":"generated","ownerKind":"mapped","ownerName":"mapped structural ArtifactInfo (line 4)","path":"Generated/StructuralConformance/Structural/Shape/ArtifactInfo.hs"}
module-role {"family":"ArtifactKind","kind":"generated","ownerKind":"mapped","ownerName":"mapped structural ArtifactKind (line 34)","path":"Generated/StructuralConformance/Structural/Shape/ArtifactKind.hs"}
module-role {"family":"ArtifactLocation","kind":"generated","ownerKind":"mapped","ownerName":"mapped structural ArtifactLocation (line 46)","path":"Generated/StructuralConformance/Structural/Shape/ArtifactLocation.hs"}
module-role {"family":"ArtifactMetadata","kind":"generated","ownerKind":"mapped","ownerName":"mapped structural ArtifactMetadata (line 23)","path":"Generated/StructuralConformance/Structural/Shape/ArtifactMetadata.hs"}
module-role {"family":"StructuralProjections","kind":"generated","ownerKind":"context","ownerName":"context structural-conformance mapped structural facade","path":"Generated/StructuralConformance/StructuralProjections.hs"}
module-role {"family":"Bindings","kind":"hole","ownerKind":"consumer","ownerName":"consumer binding skeleton Conformance.Structural.Bindings","path":"Conformance/Structural/Bindings.hs"}
module-role {"family":"ReplayAudit","kind":"generated","ownerKind":"context","ownerName":"context structural-conformance replay-audit assembly","path":"Generated/StructuralConformance/ReplayAudit.hs"}
module-role {"family":"Domain","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate ArtifactCatalog (line 69)","path":"Generated/StructuralConformance/ArtifactCatalog/Domain.hs"}
module-role {"family":"Codec","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate ArtifactCatalog (line 69)","path":"Generated/StructuralConformance/ArtifactCatalog/Codec.hs"}
module-role {"family":"Transducer","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate ArtifactCatalog (line 69)","path":"Generated/StructuralConformance/ArtifactCatalog/Transducer.hs"}
module-role {"family":"BehaviorContract","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate ArtifactCatalog (line 69)","path":"Generated/StructuralConformance/ArtifactCatalog/BehaviorContract.hs"}
module-role {"family":"BehaviorHoles","kind":"hole","ownerKind":"aggregate","ownerName":"aggregate behavior witnesses ArtifactCatalog (line 69)","path":"StructuralConformance/ArtifactCatalog/BehaviorHoles.hs"}
module-role {"family":"EventStream","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate ArtifactCatalog (line 69)","path":"Generated/StructuralConformance/ArtifactCatalog/EventStream.hs"}
module-role {"family":"Projection","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate ArtifactCatalog (line 69)","path":"Generated/StructuralConformance/ArtifactCatalog/Projection.hs"}
module-role {"family":"Holes","kind":"hole","ownerKind":"aggregate","ownerName":"aggregate ArtifactCatalog (line 69)","path":"StructuralConformance/ArtifactCatalog/Holes.hs"}
module-role {"family":"Harness","kind":"generated","ownerKind":"aggregate","ownerName":"aggregate ArtifactCatalog (line 69)","path":"Generated/StructuralConformance/ArtifactCatalog/Harness.hs"}
generated Generated/StructuralConformance/StructuralConformance.hs
generated Generated/StructuralConformance/BehaviorSourceMap.hs
generated Generated/StructuralConformance/Structural/Shape/ArtifactInfo.hs
generated Generated/StructuralConformance/Structural/Shape/ArtifactKind.hs
generated Generated/StructuralConformance/Structural/Shape/ArtifactLocation.hs
generated Generated/StructuralConformance/Structural/Shape/ArtifactMetadata.hs
generated Generated/StructuralConformance/StructuralProjections.hs
hole Conformance/Structural/Bindings.hs
generated Generated/StructuralConformance/ReplayAudit.hs
generated Generated/StructuralConformance/ArtifactCatalog/Domain.hs
generated Generated/StructuralConformance/ArtifactCatalog/Codec.hs
generated Generated/StructuralConformance/ArtifactCatalog/Transducer.hs
generated Generated/StructuralConformance/ArtifactCatalog/BehaviorContract.hs
hole StructuralConformance/ArtifactCatalog/BehaviorHoles.hs
generated Generated/StructuralConformance/ArtifactCatalog/EventStream.hs
generated Generated/StructuralConformance/ArtifactCatalog/Projection.hs
hole StructuralConformance/ArtifactCatalog/Holes.hs
generated Generated/StructuralConformance/ArtifactCatalog/Harness.hs
mapping {"bindingSymbol":"Conformance.Structural.Bindings.artifactInfoBinding","bindingVersion":"1","canonicalType":"conformance.structural.ArtifactInfo.v1","mode":"structural","module":"Conformance.Structural.Domain","package":"keiro-dsl","schema":1,"specName":"ArtifactInfo","type":"ArtifactInfo"}
mapping {"bindingSymbol":"Conformance.Structural.Bindings.artifactKindBinding","bindingVersion":"1","canonicalType":"conformance.structural.ArtifactKind.v1","mode":"structural","module":"Conformance.Structural.Domain","package":"keiro-dsl","schema":1,"specName":"ArtifactKind","type":"ArtifactKind"}
mapping {"bindingSymbol":"Conformance.Structural.Bindings.artifactLocationBinding","bindingVersion":"1","canonicalType":"conformance.structural.ArtifactLocation.v1","mode":"structural","module":"Conformance.Structural.Domain","package":"keiro-dsl","schema":1,"specName":"ArtifactLocation","type":"ArtifactLocation"}
mapping {"bindingSymbol":"Conformance.Structural.Bindings.artifactMetadataBinding","bindingVersion":"1","canonicalType":"conformance.structural.ArtifactMetadata.v1","mode":"structural","module":"Conformance.Structural.Domain","package":"keiro-dsl","schema":1,"specName":"ArtifactMetadata","type":"ArtifactMetadata"}
mapping {"codecIdentity":"vendor.geometry.json","codecVersion":"3","mode":"opaque","module":"Conformance.Structural.Domain","package":"keiro-dsl","schema":1,"specName":"VendorGeometry","type":"Geometry"}
binding {"kind":"binding","mappedName":"ArtifactInfo","module":"Conformance.Structural.Bindings","path":"active","schema":1,"signature":"artifactInfoBinding.active :: Bool","symbol":"artifactInfoBinding"}
binding {"kind":"binding","mappedName":"ArtifactInfo","module":"Conformance.Structural.Bindings","path":"artifactHash","schema":1,"signature":"artifactInfoBinding.artifactHash :: Maybe (Text)","symbol":"artifactInfoBinding"}
binding {"kind":"binding","mappedName":"ArtifactInfo","module":"Conformance.Structural.Bindings","path":"artifactKey","schema":1,"signature":"artifactInfoBinding.artifactKey :: Text","symbol":"artifactInfoBinding"}
binding {"kind":"binding","mappedName":"ArtifactInfo","module":"Conformance.Structural.Bindings","path":"artifactKind","schema":1,"signature":"artifactInfoBinding.artifactKind :: ArtifactKind","symbol":"artifactInfoBinding"}
binding {"kind":"binding","mappedName":"ArtifactInfo","module":"Conformance.Structural.Bindings","path":"displayName","schema":1,"signature":"artifactInfoBinding.displayName :: Text","symbol":"artifactInfoBinding"}
binding {"kind":"binding","mappedName":"ArtifactInfo","module":"Conformance.Structural.Bindings","path":"location","schema":1,"signature":"artifactInfoBinding.location :: ArtifactLocation","symbol":"artifactInfoBinding"}
binding {"kind":"binding","mappedName":"ArtifactInfo","module":"Conformance.Structural.Bindings","path":"metadata","schema":1,"signature":"artifactInfoBinding.metadata :: ArtifactMetadata","symbol":"artifactInfoBinding"}
binding {"kind":"binding","mappedName":"ArtifactInfo","module":"Conformance.Structural.Bindings","path":"tags","schema":1,"signature":"artifactInfoBinding.tags :: [Text]","symbol":"artifactInfoBinding"}
binding {"kind":"fixtures","mappedName":"ArtifactInfo","module":"Conformance.Structural.Bindings","path":null,"schema":1,"signature":"artifactInfoCases :: FixtureCases Conformance.Structural.Domain.ArtifactInfo","symbol":"artifactInfoCases"}
binding {"kind":"initial-value","mappedName":"ArtifactInfo","module":"Conformance.Structural.Bindings","path":null,"schema":1,"signature":"emptyArtifactInfo :: Conformance.Structural.Domain.ArtifactInfo","symbol":"emptyArtifactInfo"}
binding {"kind":"binding","mappedName":"ArtifactKind","module":"Conformance.Structural.Bindings","path":"Guide","schema":1,"signature":"artifactKindBinding.Guide :: constructor case","symbol":"artifactKindBinding"}
binding {"kind":"binding","mappedName":"ArtifactKind","module":"Conformance.Structural.Bindings","path":"Reference","schema":1,"signature":"artifactKindBinding.Reference :: constructor case","symbol":"artifactKindBinding"}
binding {"kind":"fixtures","mappedName":"ArtifactKind","module":"Conformance.Structural.Bindings","path":null,"schema":1,"signature":"artifactKindCases :: FixtureCases Conformance.Structural.Domain.ArtifactKind","symbol":"artifactKindCases"}
binding {"kind":"binding","mappedName":"ArtifactLocation","module":"Conformance.Structural.Bindings","path":"Canonical","schema":1,"signature":"artifactLocationBinding.Canonical :: constructor case","symbol":"artifactLocationBinding"}
binding {"kind":"binding","mappedName":"ArtifactLocation","module":"Conformance.Structural.Bindings","path":"LocUrl","schema":1,"signature":"artifactLocationBinding.LocUrl :: Text","symbol":"artifactLocationBinding"}
binding {"kind":"binding","mappedName":"ArtifactLocation","module":"Conformance.Structural.Bindings","path":"LocalDir","schema":1,"signature":"artifactLocationBinding.LocalDir :: Text","symbol":"artifactLocationBinding"}
binding {"kind":"binding","mappedName":"ArtifactLocation","module":"Conformance.Structural.Bindings","path":"LocalFile","schema":1,"signature":"artifactLocationBinding.LocalFile :: Text","symbol":"artifactLocationBinding"}
binding {"kind":"binding","mappedName":"ArtifactLocation","module":"Conformance.Structural.Bindings","path":"RepoPath","schema":1,"signature":"artifactLocationBinding.RepoPath :: Text","symbol":"artifactLocationBinding"}
binding {"kind":"fixtures","mappedName":"ArtifactLocation","module":"Conformance.Structural.Bindings","path":null,"schema":1,"signature":"artifactLocationCases :: FixtureCases Conformance.Structural.Domain.ArtifactLocation","symbol":"artifactLocationCases"}
binding {"kind":"binding","mappedName":"ArtifactMetadata","module":"Conformance.Structural.Bindings","path":"note","schema":1,"signature":"artifactMetadataBinding.note :: Maybe (Text)","symbol":"artifactMetadataBinding"}
binding {"kind":"fixtures","mappedName":"ArtifactMetadata","module":"Conformance.Structural.Bindings","path":null,"schema":1,"signature":"artifactMetadataCases :: FixtureCases Conformance.Structural.Domain.ArtifactMetadata","symbol":"artifactMetadataCases"}
behavior {"aggregate":"ArtifactCatalog","command":"ObserveArtifact","evidence":"generated-authoritative","key":"behavior-v1-5ef17e70af0d6ff7","kind":"live-transition","outputs":[{"command":"ObserveArtifact","ownership":"generated-command-identity"},{"obligation":"event-output-v1/ArtifactCatalog/live/Empty/ObserveArtifact/unguarded/currentArtifact:=artifact;currentGeometry:=geometry;acceptedCount:=acceptedCount/ArtifactRecorded,ArtifactAccepted/Observed/2/ArtifactAccepted","ownership":"hand-owned"}],"source":"Empty"}
behavior {"aggregate":"ArtifactCatalog","command":"ObserveArtifact","evidence":"generated-authoritative","key":"behavior-v1-c20f0b92a1f17333","kind":"required-rejection","outputs":[],"source":"Observed"}
semantic-impact {"declarations":[{"consequences":[{"consumer":"ArtifactCatalog","kind":"consumer-build"},{"aggregate":"ArtifactCatalog","kind":"private-event-history"},{"aggregate":"ArtifactCatalog","kind":"snapshot-hydration"}],"consumerEvidence":[{"consumer":"ArtifactCatalog","operation":null,"path":"ArtifactCatalog command ObserveArtifact .artifact : ArtifactInfo","surface":"aggregate-command"},{"consumer":"ArtifactCatalog","operation":null,"path":"ArtifactCatalog event ArtifactRecorded .artifact : ArtifactInfo","surface":"private-event-payload"},{"consumer":"ArtifactCatalog","operation":null,"path":"ArtifactCatalog register currentArtifact : ArtifactInfo","surface":"snapshot-register"}],"consumers":["ArtifactCatalog"],"declaration":"ArtifactInfo","identity":"structural\u001fkeiro-dsl:Conformance.Structural.Domain:ArtifactInfo\u001fConformance.Structural.Bindings.artifactInfoBinding\u001f1\u001fconformance.structural.ArtifactInfo.v1\u001fConformance.Structural.Bindings.artifactInfoCases\u001fConformance.Structural.Bindings.emptyArtifactInfo\u001ff3b9417666fcf445\u001frecord:ArtifactInfo:active=active,artifactHash=artifact_hash,artifactKey=artifact_key,artifactKind=artifact_kind,displayName=display_name,location=location,metadata=metadata,tags=tags"},{"consequences":[{"consumer":"ArtifactCatalog","kind":"consumer-build"},{"aggregate":"ArtifactCatalog","kind":"private-event-history"},{"aggregate":"ArtifactCatalog","kind":"snapshot-hydration"}],"consumerEvidence":[{"consumer":"ArtifactCatalog","operation":null,"path":"ArtifactCatalog command ObserveArtifact .artifact : ArtifactInfo .artifactKind as \"artifact_kind\" : ArtifactKind","surface":"aggregate-command"},{"consumer":"ArtifactCatalog","operation":null,"path":"ArtifactCatalog event ArtifactRecorded .artifact : ArtifactInfo .artifactKind as \"artifact_kind\" : ArtifactKind","surface":"private-event-payload"},{"consumer":"ArtifactCatalog","operation":null,"path":"ArtifactCatalog register currentArtifact : ArtifactInfo .artifactKind as \"artifact_kind\" : ArtifactKind","surface":"snapshot-register"}],"consumers":["ArtifactCatalog"],"declaration":"ArtifactKind","identity":"structural\u001fkeiro-dsl:Conformance.Structural.Domain:ArtifactKind\u001fConformance.Structural.Bindings.artifactKindBinding\u001f1\u001fconformance.structural.ArtifactKind.v1\u001fConformance.Structural.Bindings.artifactKindCases\u001f\u001f510c4c5799951413\u001fenum:Guide=guide,Reference=reference"},{"consequences":[{"consumer":"ArtifactCatalog","kind":"consumer-build"},{"aggregate":"ArtifactCatalog","kind":"private-event-history"},{"aggregate":"ArtifactCatalog","kind":"snapshot-hydration"}],"consumerEvidence":[{"consumer":"ArtifactCatalog","operation":null,"path":"ArtifactCatalog command ObserveArtifact .artifact : ArtifactInfo .location : ArtifactLocation","surface":"aggregate-command"},{"consumer":"ArtifactCatalog","operation":null,"path":"ArtifactCatalog event ArtifactRecorded .artifact : ArtifactInfo .location : ArtifactLocation","surface":"private-event-payload"},{"consumer":"ArtifactCatalog","operation":null,"path":"ArtifactCatalog register currentArtifact : ArtifactInfo .location : ArtifactLocation","surface":"snapshot-register"}],"consumers":["ArtifactCatalog"],"declaration":"ArtifactLocation","identity":"structural\u001fkeiro-dsl:Conformance.Structural.Domain:ArtifactLocation\u001fConformance.Structural.Bindings.artifactLocationBinding\u001f1\u001fconformance.structural.ArtifactLocation.v1\u001fConformance.Structural.Bindings.artifactLocationCases\u001f\u001f6299af5559acf493\u001funion:canonical,local_dir,local_file,repo_path,url"},{"consequences":[{"consumer":"ArtifactCatalog","kind":"consumer-build"},{"aggregate":"ArtifactCatalog","kind":"private-event-history"},{"aggregate":"ArtifactCatalog","kind":"snapshot-hydration"}],"consumerEvidence":[{"consumer":"ArtifactCatalog","operation":null,"path":"ArtifactCatalog command ObserveArtifact .artifact : ArtifactInfo .metadata : ArtifactMetadata","surface":"aggregate-command"},{"consumer":"ArtifactCatalog","operation":null,"path":"ArtifactCatalog event ArtifactRecorded .artifact : ArtifactInfo .metadata : ArtifactMetadata","surface":"private-event-payload"},{"consumer":"ArtifactCatalog","operation":null,"path":"ArtifactCatalog register currentArtifact : ArtifactInfo .metadata : ArtifactMetadata","surface":"snapshot-register"}],"consumers":["ArtifactCatalog"],"declaration":"ArtifactMetadata","identity":"structural\u001fkeiro-dsl:Conformance.Structural.Domain:ArtifactMetadata\u001fConformance.Structural.Bindings.artifactMetadataBinding\u001f1\u001fconformance.structural.ArtifactMetadata.v1\u001fConformance.Structural.Bindings.artifactMetadataCases\u001f\u001ff10533b35dd555c7\u001frecord:ArtifactMetadata:note=note"},{"consequences":[{"consumer":"ArtifactCatalog","kind":"consumer-build"},{"aggregate":"ArtifactCatalog","kind":"private-event-history"},{"aggregate":"ArtifactCatalog","kind":"snapshot-hydration"}],"consumerEvidence":[{"consumer":"ArtifactCatalog","operation":null,"path":"ArtifactCatalog command ObserveArtifact .geometry : VendorGeometry","surface":"aggregate-command"},{"consumer":"ArtifactCatalog","operation":null,"path":"ArtifactCatalog event ArtifactRecorded .geometry : VendorGeometry","surface":"private-event-payload"},{"consumer":"ArtifactCatalog","operation":null,"path":"ArtifactCatalog register currentGeometry : VendorGeometry","surface":"snapshot-register"}],"consumers":["ArtifactCatalog"],"declaration":"VendorGeometry","identity":"opaque\u001fkeiro-dsl:Conformance.Structural.Domain:Geometry\u001fvendor.geometry.json\u001f3\u001fConformance.Structural.Bindings.geometryCases\u001fConformance.Structural.Bindings.emptyGeometry\u001f0555463e4335c898"}],"mappedSurfaceEvidenceVersion":1,"serviceInventory":["ArtifactInfo","ArtifactKind","ArtifactLocation","ArtifactMetadata","VendorGeometry"]}