Research explicit StarLang logic backend selection #119

Merged

lost-rob0t merged 2 commits from agent/starlang-backend-selection-research into main

2026-08-15 17:55:24 +00:00

lost-rob0t commented

2026-08-15 17:52:18 +00:00

(Migrated from github.com)

What changed

adds STAR-LANG-RESEARCH-026 Explicit Logic Backend Selection in REVIEW
makes (pragma :backend ...) the single researched source-level compiler-directive model for :auto, :lisa, :swi-prolog, and :n-prolog
defines lexical policy inheritance across compiler/project defaults, module/file, actor, expert-system, and reason scopes
treats specificity as a requested-policy precedence rule, not permission to cross stateful semantic boundaries
defines deterministic :auto, immutable materialized selection evidence, diagnostics, and portability categories
reconciles authority so 022 remains runtime/adapter/capability authority, 026 owns source backend-selection syntax, and 023 remains under review and otherwise unchanged
updates STAR-LANG-INDEX-000 to index the new research node and preserved invariant

Key semantic rule

Backend selection may never weaken or approximate program meaning. Explicit pins and :auto candidates are filtered by exact semantic profiles first; incompatible or unsafe overrides compile-fail rather than translating approximately or switching engines.

Validation

The connected environment cannot run the repository's local validation sequence because gh is not installed and outbound GitHub DNS is unavailable to the container. The branch diff was connector-verified as exactly two intended Org files. This PR relies on the repository's canonical PR Pages workflow for sync, changed-document validation, full Org-roam generation, and link checks before merge.

## What changed - adds `STAR-LANG-RESEARCH-026 Explicit Logic Backend Selection` in `REVIEW` - makes `(pragma :backend ...)` the single researched source-level compiler-directive model for `:auto`, `:lisa`, `:swi-prolog`, and `:n-prolog` - defines lexical policy inheritance across compiler/project defaults, module/file, actor, expert-system, and `reason` scopes - treats specificity as a requested-policy precedence rule, not permission to cross stateful semantic boundaries - defines deterministic `:auto`, immutable materialized selection evidence, diagnostics, and portability categories - reconciles authority so 022 remains runtime/adapter/capability authority, 026 owns source backend-selection syntax, and 023 remains under review and otherwise unchanged - updates `STAR-LANG-INDEX-000` to index the new research node and preserved invariant ## Key semantic rule Backend selection may never weaken or approximate program meaning. Explicit pins and `:auto` candidates are filtered by exact semantic profiles first; incompatible or unsafe overrides compile-fail rather than translating approximately or switching engines. ## Validation The connected environment cannot run the repository's local validation sequence because `gh` is not installed and outbound GitHub DNS is unavailable to the container. The branch diff was connector-verified as exactly two intended Org files. This PR relies on the repository's canonical PR Pages workflow for sync, changed-document validation, full Org-roam generation, and link checks before merge.