Restore resolveLanguage alongside resolveLiteral

[lucksus]

based on #842

Why

That branch's resolveLanguage → resolveLiteral refactor (073cfd4) collapsed two distinct concepts into one boolean and removed resolveLanguage as a public API. That's a breaking change for dev: existing @Property({ resolveLanguage: "..." }) user code silently stops working, and the general ability to resolve a property's value through an arbitrary language (not just literal) was lost — values could only be stored as deterministic literals or as signed envelopes on the literal language.

This PR brings resolveLanguage back as the first-class, general mechanism it is in dev, while keeping resolveLiteral as the literal-only storage optimization it was introduced to be. Both coexist.

Model

• resolveLanguage?: string (default "literal") — the general selector. A custom language address routes values through expression_create on that language, producing signed-envelope URIs ({author, timestamp, data, proof}). This is the dev behavior, unchanged.
• resolveLiteral?: boolean (default true) — optimization for the literal language only: true stores deterministic literal:* IRIs (POS-index friendly); false routes the literal value through expression_create. Ignored when resolveLanguage is a custom address.

Write precedence: custom language → expression_create(lang); literal + resolveLiteral: false → expression_create("literal"); otherwise → deterministic literal: IRI.

A custom resolveLanguage is never treated as deterministic-literal storage, so WHERE matching correctly uses FILTER(STR(?v)=…) on decoded values rather than a typed-literal VALUES clause.

Changes (one commit per layer)

• Rust data model + transport — resolve_language re-added to ShapeProperty / PropertyShape; SHACL writer emits both ad4m://resolveLanguage and ad4m://resolveLiteral; shape.rs loaders populate both (and derive resolve_literal from a legacy resolveLanguage when the explicit flag is
  absent).
• Rust write path — get_resolve_language_from_shacl restored; resolve_property_value implements the unified precedence.
• Rust read/query path — new ShapeProperty::is_deterministic_literal() drives WHERE building (sparql_builder, projection) and resolve_language_transforms, which again fetches+transforms any non-deterministic-literal property (custom language or resolveLiteral: false).
• Rust MCP — ShaclProperty.resolve_language + resolve_property_resolve_language restored beside the literal equivalents.
• TS core (decorators, types, sdna, shacl-gen, json-schema, SHACLShape, Ad4mModel, query-sparql, query-utils, PerspectiveProxy) — resolveLanguage is a @Property option again; SDNA emits property_resolve_language with the actual language; write path + query builders apply the same
  unified precedence as Rust.

Backward compatibility

• Old persisted perspectives carrying only ad4m://resolveLanguage still load: "literal" → resolveLiteral: true, any other language → false. Handled on both TS and Rust read paths.
• An explicit empty-string resolveLanguage is preserved verbatim (Some("")), matching dev — not coerced to None.

Tests

• Rust: 640 passed / 0 failed. New round-trip tests for resolve_literal true/false, custom resolve_language, and empty-string preservation, asserting is_deterministic_literal() classification.
• Core TS: 260 passed / 0 failed; tsc --noEmit clean. New SHACLShape round-trip tests for resolveLanguage (via toJSON/fromJSON and toLinks/fromLinks) and the resolveLanguage + resolveLiteral pairing.

Review notes — two design calls

1. resolveLiteral is meaningful only when resolveLanguage is "literal"/unset; a custom language always produces envelopes regardless of the flag.
2. Empty-string resolveLanguage is preserved rather than dropped (pinned by round_trip_preserves_empty_resolve_language).

🤖 Generated with Claude Code

[coderabbitai]

Important

Review skipped

Auto reviews are disabled on base/target branches other than the default branch.

Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Pro

Run ID: 376afe90-8b00-4689-8f99-a14235fe4c80

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

• 🔍 Trigger review

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch feat/restore-resolve-language-with-resolve-literal

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands and usage tips.}