release-manifest.json

{
  "schema": "keiro.checked-mapping-release/v1",
  "initiative": "docs/masterplans/44-add-checked-value-mappings-while-preserving-stream-and-workflow-replay-across-refactors.md",
  "verifiedAt": "2026-09-20",
  "repositoryEvidence": {
    "compatibilityPlan": "docs/plans/289-gate-mapping-evolution-with-serialized-and-cross-version-replay-evidence.md",
    "featurePlans": [
      "docs/plans/290-support-named-bare-container-structural-mappings-with-transitive-nullability.md",
      "docs/plans/291-add-calendar-day-mappings-with-a-frozen-lossless-codec-contract.md",
      "docs/plans/292-add-structural-text-sets-with-explicit-canonical-wire-semantics.md",
      "docs/plans/293-add-declarative-base16-byte-refinements-with-total-consumer-bindings.md",
      "docs/plans/294-add-explicit-versioned-uuid-admission-domains-with-sound-keiki-evidence.md"
    ],
    "integratedPlan": "docs/plans/295-rehearse-checked-mapping-adoption-against-historical-streams-and-workflow-journals.md",
    "integratedFixture": "keiro-dsl/test/conformance-checked-mapping-replay/fixtures/retained/mapping-recorded-v1.json",
    "milestones": {
      "integratedCorpus": true,
      "evolutionMatrix": true,
      "consumerHistory": true,
      "retirementRehearsal": true
    },
    "consumerHistoryEvidence": {
      "consumer": "mori://shinzui/rei",
      "consumerPlan": "mori://shinzui/rei/plans/239-prove-the-keiro-adoption-on-restored-history-and-close-the-practice-audits",
      "archiveSourceRevision": "825117f620ba2d474e00b0546960caa7c8d73794",
      "archiveSha256": "4d63da93222516dba418ffbc251a24f738fb5d0e9d0a759a693eaec711c94c9a",
      "baselineBinarySha256": "ae9664e50f066dd6813cf952dad7465d9e3a1de75dc54c03cc28f4a9885ff6a2",
      "candidateBaseRevision": "06556c0aa7265126a5afedd83700db7e00403635",
      "candidatePatchSha256": "38a8ec9e1227e55bf2ef7ebe94cf6b668ae6f6d2b7027a70506e9eb816f4be2f",
      "candidateBinarySha256": "6c777caed8953d28783da4c22d72e82810f3d9aaf58f5c9a07ee4e4eb55e15a0",
      "processHarnessBinarySha256": "073c6c6ae14a9b291bded7798ba77729a87294523a2d8674ab7a9e53a83b85bb",
      "baselineCandidateReportSha256": "863d98c9624e9ecca5226de6de57f4c801189cc5018f3a1908158cb1d4e72a8c",
      "privatePayloadsCommitted": false,
      "streamReplay": {
        "storeStreams": 10318,
        "selectedStreams": 10061,
        "outsideRegisteredCategories": 257,
        "declaredExcludedStreams": 13,
        "declaredExcludedEvents": 89,
        "unexpectedFailures": 0,
        "baselineCandidateReportsIdentical": true
      },
      "retainedValueInventory": {
        "actionIds": {"total": 3958, "uuidV5": 1594, "uuidV7": 2364},
        "base16Hashes": {"total": 1214, "rejectedSpellings": 0},
        "calendarDays": {"total": 3521, "rejectedSpellings": 0},
        "textSets": {"total": 666, "acceptedNonCanonicalSpellings": 12},
        "taskCompletedOptionalActor": {"total": 67, "missingKey": 28, "explicitNull": 39}
      },
      "processContinuation": {
        "sourceSubscription": "rei-note-task-propagation",
        "checkpointBefore": 33237,
        "checkpointRewoundTo": 28879,
        "checkpointAfter": 33237,
        "processStreams": 506,
        "processStreamVersions": 2323,
        "targetStreams": 53,
        "targetStreamVersions": 281,
        "eventCountBeforeAfter": 33717,
        "eventDigestBeforeAfter": "13da9a50ba218e1202e1c2fd47870c6d",
        "streamLinkCountBeforeAfter": 67434,
        "streamLinkDigestBeforeAfter": "cc8fd398862d0d03e5cc579785e20ee9",
        "timerCountBeforeAfter": 3917,
        "timerDigestBeforeAfter": "99b91d4ed4c5a692617c95711dd438c5",
        "deadLettersBeforeAfter": 0,
        "outboundEffectsEnabled": false,
        "workerShape": {"asyncProjections": 0, "processManagers": 1, "timerWorkers": 0}
      },
      "workflowInventory": {
        "registeredWorkflows": 0,
        "instances": 0,
        "steps": 0,
        "children": 0,
        "result": "not-applicable-empty-history"
      }
    },
    "retirementEvidence": {
      "consumer": "mori://shinzui/rei",
      "authoringPath": "mori://shinzui/rei with project-relative domain/shared.keiro (artifact-level URI pending)",
      "removedPath": "ActionId mapped opaque rei.disruption.ActionId.json@1",
      "replacement": "checked id ActionId prefix=action domain=typeid-v5-or-v7 using",
      "removedMappedSurfaceExpectations": 40,
      "candidatePatchSha256": "38a8ec9e1227e55bf2ef7ebe94cf6b668ae6f6d2b7027a70506e9eb816f4be2f",
      "oldHistoryPassed": true,
      "processContinuationPassed": true,
      "requiredReaderNegativeMutationPassed": true,
      "genericOpaqueSupportRetained": true
    }
  },
  "wirePolicies": [
    {
      "identity": "keiro-calendar-day-v1",
      "status": "frozen",
      "vectors": ["keiro-dsl/test/conformance-calendar-days/Main.hs"],
      "goldens": ["keiro-dsl/test/conformance-calendar-days/fixtures/codec-compare/historical-plus-year.json"]
    },
    {
      "identity": "keiro-text-set-v1",
      "status": "frozen",
      "vectors": ["keiro-dsl/test/conformance-structural-text-sets/Main.hs"],
      "goldens": ["keiro-dsl/test/conformance-checked-mapping-replay/fixtures/retained/mapping-recorded-v1.json"]
    },
    {
      "identity": "keiro-base16-bytes-v1",
      "status": "frozen",
      "vectors": ["keiro-dsl/test/conformance-refined-base16/Main.hs"],
      "goldens": ["keiro-dsl/test/conformance-refined-base16/fixtures/codec-compare/uppercase-leading-zero.json"]
    },
    {
      "identity": "keiro-typeid-v5-or-v7-v1",
      "status": "frozen",
      "vectors": ["keiro-dsl/test/conformance-id-admission-domains/Main.hs"],
      "goldens": ["keiro-dsl/test/conformance-checked-mapping-replay/fixtures/retained/mapping-recorded-v1.json"]
    }
  ],
  "retainedImplementations": [
    {
      "role": "calendar-day historical reader",
      "path": "keiro-core/src/Keiro/Codec/CalendarDay.hs",
      "anchor": "parseCalendarDayText :: Text -> Either Text Day"
    },
    {
      "role": "text-set historical reader",
      "path": "keiro-core/src/Keiro/Codec/TextSet.hs",
      "anchor": "parseTextSet :: Value -> Parser (Set Text)"
    },
    {
      "role": "base16 historical reader",
      "path": "keiro-core/src/Keiro/Codec/Base16Bytes.hs",
      "anchor": "parseBase16Bytes :: Value -> Parser ByteString"
    },
    {
      "role": "admitted-id legacy decoder",
      "path": "keiro-dsl/test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/Nominals/Internal.hs",
      "anchor": "unsafeRetainedIdFromLegacyText :: Text -> RetainedId"
    },
    {
      "role": "retired-event replay-only edge",
      "path": "keiro-dsl/test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayLedger/Transducer.hs",
      "anchor": "B.replayOnly"
    },
    {
      "role": "workflow stored-result decoder",
      "path": "keiro/src/Keiro/Workflow.hs",
      "anchor": "decodeStored :: (Aeson.FromJSON a) => Text -> Aeson.Value -> Eff es a"
    },
    {
      "role": "pre-UTF-8 deterministic identity probe",
      "path": "keiro/src/Keiro/DeterministicId.hs",
      "anchor": "deterministicIdProbes :: Text -> NonEmpty UUID"
    },
    {
      "role": "positional process-manager identity",
      "path": "keiro/src/Keiro/ProcessManager.hs",
      "anchor": "legacyDeterministicCommandId :: Text -> Text -> EventId -> Int -> EventId"
    }
  ],
  "gates": {
    "package-release": {
      "result": "eligible",
      "action": "not-performed",
      "basis": "All policy vectors, frozen goldens, feature plans, and the repository replay gate are present. This is eligibility evidence, not a package publication."
    },
    "language-publication": {
      "result": "eligible",
      "action": "not-performed",
      "basis": "The five feature plans and Plan 289 are complete, and Plan 295 repository Milestones 1 and 2 pass. Publication remains a separately authorized atomic action."
    },
    "consumer-adoption": {
      "result": "eligible",
      "action": "not-performed",
      "consumer": "mori://shinzui/rei",
      "basis": "Identical immutable restores produced byte-identical baseline/candidate replay reports over 10,061 selected streams; retained value inventories are complete for the five adopted declarations, process redelivery was effect-isolated and state-neutral, and the workflow inventory is an explicit successful empty-history result. Consumer source edits and deployment remain separately authorized."
    },
    "implementation-retirement": {
      "result": "eligible",
      "action": "not-performed",
      "legacyReadersRetained": true,
      "basis": "The isolated consumer patch replaces exactly the obsolete ActionId mapped-opaque authoring declaration with the checked v5-or-v7 nominal contract and removes its 40 obsolete mapped-surface expectations while old-history replay and process continuation stay green. Generic mapped-opaque support and every historical reader, replay-only edge, workflow branch, and identity family remain retained; an actual consumer change is not performed here."
    }
  }
}