feat(ir): revisit v4 name canonicalization and initialism encoding

.beads/issues.jsonl

@@ -274,3 +274,8 @@
 {"_type":"issue","id":"morphir-go-1e2.8","title":"Update example morphir.toml with workspace members","description":"Update examples/morphir.toml to document workspace member configuration:\n- Add commented [workspace.members] example\n- Add example [project] section\n- Document member discovery behavior\n- Show example directory structure in comments","status":"closed","priority":3,"issue_type":"task","created_at":"2026-01-02T20:03:01Z","created_by":"damian","updated_at":"2026-01-02T20:40:46Z","closed_at":"2026-01-02T20:40:46Z","close_reason":"Implementation complete with LoadedWorkspace, Project types, and example documentation","dependency_count":0,"dependent_count":0,"comment_count":0}
 {"_type":"issue","id":"morphir-d5xs","title":"kb sync push: export target does not check symlinked subdirectories","description":"sync push writes to resolve(target, path) where target is a user-named export directory, normally the upstream checkout. A symlinked subdirectory there would be followed. Same class as the mirror containment bugs fixed in #108, but deliberately left alone: the export target is not the mirror, and real upstream checkouts legitimately contain symlinks, so tightening it risks refusing valid exports. Decision (Damian, 2026-08-28): not hardening this now. Revisit if push ever writes somewhere less trusted than a checkout the user named, or if we grow a case where an export target is attacker-influenced.","status":"open","priority":4,"issue_type":"task","owner":"957246+DamianReeves@users.noreply.github.com","created_at":"2026-08-28T19:52:26Z","created_by":"Damian Reeves","updated_at":"2026-08-28T19:52:26Z","dependency_count":0,"dependent_count":0,"comment_count":0}
 {"_type":"issue","id":"morphir-8mgj","title":"test-resolution-probe","status":"closed","priority":4,"issue_type":"task","owner":"957246+DamianReeves@users.noreply.github.com","created_at":"2026-08-28T15:26:43Z","created_by":"Damian Reeves","updated_at":"2026-08-28T15:26:56Z","closed_at":"2026-08-28T15:26:56Z","close_reason":"resolution probe, not real work","dependency_count":0,"dependent_count":0,"comment_count":0}
+{"_type":"issue","id":"morphir-j442","title":"v4 schema has diverged from the published v4 examples","description":"mise run examples:validate fails on both v4 examples (books-and-records-example.json, complete-example.json). Pre-existing: they fail identically against the committed schema. Two distinct causes found so far. (1) AccessControlled accepted only {Public:...} or {access,value}, not the flattened {access, TypeAliasDefinition} form that docs/spec/ir/schemas/v4/document-tree-files.md documents and every example uses. Fixed by adding a branch and switching oneOf to anyOf. (2) Still failing: OpaqueTypeSpecification is {} in the examples but the schema expects an array at /distribution/Library/dependencies/morphir-SDK/modules/basics/types/int/OpaqueTypeSpecification. Needs a decision on which side is canonical for each divergence, then align schema and examples. Not naming related.","status":"open","priority":2,"issue_type":"bug","owner":"957246+DamianReeves@users.noreply.github.com","created_at":"2026-08-30T10:04:38Z","created_by":"Damian Reeves","updated_at":"2026-08-30T10:04:38Z","dependency_count":0,"dependent_count":0,"comment_count":0}
+{"_type":"issue","id":"morphir-xihy","title":"Implement classic-to-v4 IR converter","description":"The morphir ir migrate step in morphir-rust crates/morphir-tests/tests/acceptance.rs is a stub returning an error unconditionally, and morphir-core's converter module is disabled pending update to non-generic V4 types. 11 scenarios in migration.feature are tagged @pending and skipped. Remove the tag with the implementation.","status":"open","priority":2,"issue_type":"feature","owner":"957246+DamianReeves@users.noreply.github.com","created_at":"2026-08-30T10:01:38Z","created_by":"Damian Reeves","updated_at":"2026-08-30T10:01:38Z","dependency_count":0,"dependent_count":0,"comment_count":0}
+{"_type":"issue","id":"morphir-6uvn","title":"Model the v4 naming codec in Morphir","description":"Express encode/decode/escape/unescape/render for v4 names as a Morphir model in finos/morphir, per kb decision 0003 (Proposed). SDK surface verified sufficient: Char.isUpper/isLower/isDigit/toUpper/toLower and String.toList/fromList/split/join/uncons/foldl/any/all. A host-language bootstrap remains necessary because the model compiles to IR serialized by the rules it defines. Unresolved: where the model lives, whether morphir-elm can emit v4 IR.","status":"open","priority":2,"issue_type":"feature","owner":"957246+DamianReeves@users.noreply.github.com","created_at":"2026-08-30T10:01:27Z","created_by":"Damian Reeves","updated_at":"2026-08-30T10:01:27Z","dependency_count":0,"dependent_count":0,"comment_count":0}
+{"_type":"issue","id":"morphir-32c0","title":"Support loading v1 and v2 IR distributions","description":"load_distribution in morphir-rust crates/morphir-common/src/loader.rs recognizes V4 and Classic v3 only. real_v1.json and real_v2.json parse as neither, so those rows moved to a @pending scenario outline in legacy_loading.feature. The feature states the intent: load V1, V2 and V3 without immediate migration. Fold the rows back into the main outline when supported.","status":"open","priority":3,"issue_type":"feature","owner":"957246+DamianReeves@users.noreply.github.com","created_at":"2026-08-30T10:01:39Z","created_by":"Damian Reeves","updated_at":"2026-08-30T10:01:39Z","dependency_count":0,"dependent_count":0,"comment_count":0}
+{"_type":"issue","id":"morphir-7ypn","title":"Add a hashing primitive (SHA-256) to the Morphir SDK","description":"The v4 name path-length truncation rule suffixes a stem with the first 8 hex digits of a SHA-256 digest. The Morphir SDK has no hashing primitive, so that step cannot be modelled and stays native in each host, and the conformance corpus marks truncation cases host-verified. A hash is useful well beyond naming, so the surface belongs to the SDK. Morphir.SDK.UUID is the nearest precedent. Blocks full coverage for kb decision 0003.","status":"open","priority":3,"issue_type":"feature","owner":"957246+DamianReeves@users.noreply.github.com","created_at":"2026-08-30T10:01:38Z","created_by":"Damian Reeves","updated_at":"2026-08-30T10:01:38Z","dependency_count":0,"dependent_count":0,"comment_count":0}

.config/mise/config.toml

@@ -86,7 +86,31 @@ run = "jsonschema lint website/static/schemas/*.yaml website/static/schemas/*.js
 # ===== Validation Tasks =====
 [tasks."schema:validate"]
 description = "Validate schemas against metaschema"
-run = "jsonschema metaschema website/static/schemas/*.yaml"
+# The glob is expanded by the script rather than by the shell: the default
+# Windows shell does not expand "*.yaml", and bash is not a portable fallback
+# because a Windows box may carry only the WSL launcher.
+run = "bun run tools/validate-schemas.ts"
+
+# The generator imports only node: builtins, so bun runs it without an install.
+# Only `tools:typecheck` needs tools/node_modules.
+[tasks."fixtures:naming-corpus"]
+description = "Generate the IR v4 name-encoding conformance corpus"
+run = "bun run tools/gen-naming-corpus.ts"
+
+[tasks."fixtures:naming-corpus-check"]
+description = "Verify the name-encoding conformance corpus and its vendored copy are up to date"
+run = "bun run tools/gen-naming-corpus.ts --check"
+
+[tasks."tools:install"]
+description = "Install dependencies for the Bun specification tooling"
+run = "bun install"
+dir = "tools"
+
+[tasks."tools:typecheck"]
+description = "Type check the Bun specification tooling"
+run = "bun run typecheck"
+dir = "tools"
+depends = ["tools:install"]
 
 [tasks.check]
 description = "Run all checks"
@@ -95,6 +119,7 @@ depends = [
     "lint",
     "examples:validate",
     "fixtures:validate",
+    "fixtures:naming-corpus-check",
     "schema:validate",
 ]
 

docs/design/draft/ir/naming.md

@@ -8,6 +8,16 @@ sidebar_position: 2
 
 The naming module uses **newtype wrappers** for type safety, **smart constructors** for validation, and a **canonical string format** for serialization.
 
+:::caution Superseded
+The parenthesis abbreviation format described below has been replaced. Its stated rationale, "URL-safe", rested on
+the claim that URLs are case-insensitive; RFC 3986 makes the path component case-sensitive.
+
+An initialism is now an uppercase segment (`value-in-USD`), and names project onto the document tree through a
+defined escape. The current specification is [Naming](../../../spec/draft/names.md); the rationale and schema patches
+are in [IR v4 name canonicalization and initialism encoding](../../proposals/ir-v4-name-encoding.md). This page has
+not yet been rewritten.
+:::
+
 ## Design Decisions
 
 | Decision | Choice | Rationale |

docs/design/proposals/index.md

@@ -13,6 +13,7 @@ This section contains design proposals for new Morphir features and capabilities
 Active proposals:
 
 - [CLI-managed Desktop acquisition and launch](./desktop-acquisition-and-launch.md)
+- [IR v4 name canonicalization and initialism encoding](./ir-v4-name-encoding.md)
 
 ## Contributing