Add Commander-governed native constraint core

.github/workflows/native-core.yml

@@ -0,0 +1,52 @@
+name: Native core gate
+
+on:
+  push:
+    branches:
+      - 'chatgpt/**'
+    paths:
+      - Cargo.toml
+      - Cargo.lock
+      - l64-native/**
+      - LOCUS64_*_RAIL.athens
+      - LOCUS64_*_CHANGE_CHAIN.athens
+      - .github/workflows/native-core.yml
+  pull_request:
+    branches:
+      - main
+    paths:
+      - Cargo.toml
+      - Cargo.lock
+      - l64-native/**
+      - LOCUS64_*_RAIL.athens
+      - LOCUS64_*_CHANGE_CHAIN.athens
+      - .github/workflows/native-core.yml
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  verify:
+    if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      - name: Install stable Rust
+        uses: dtolnay/rust-toolchain@stable
+        with:
+          components: rustfmt, clippy
+
+      - name: Cache Cargo
+        uses: Swatinem/rust-cache@v2
+
+      - name: Check formatting
+        run: cargo fmt --all --check
+
+      - name: Test workspace
+        run: cargo test -q
+
+      - name: Lint native core
+        run: cargo clippy -p l64-native --all-targets -- -D warnings

Cargo.toml

@@ -1,5 +1,6 @@
 [workspace]
 members = [
+    "l64-native",
     "l64-core",
     "l64-locus",
     "l64-research",

LOCUS64_CONSTRAINT_CORE_CHANGE_CHAIN.athens

@@ -0,0 +1,39 @@
+ATHENS_DEVELOPMENT_RAIL v1
+field=key=projection_authority;value=non_authoritative
+field=key=rail_version;value=6
+field=key=schema_version;value=1
+gate=id=constraint-core-closure-green
+gate=id=context-consistency-green
+gate=id=dimension-algebra-green
+gate=id=guarded-obligation-green
+gate=id=native-surface-green
+stage=id=dimension-algebra
+stage_field=stage=dimension-algebra;key=required_gates;value=dimension-algebra-green
+stage_field=stage=dimension-algebra;key=status;value=complete
+stage=id=context-consistency
+stage_field=stage=context-consistency;key=depends_on;value=dimension-algebra
+stage_field=stage=context-consistency;key=required_gates;value=context-consistency-green
+stage_field=stage=context-consistency;key=status;value=complete
+stage=id=guarded-obligation
+stage_field=stage=guarded-obligation;key=depends_on;value=context-consistency
+stage_field=stage=guarded-obligation;key=required_gates;value=guarded-obligation-green
+stage_field=stage=guarded-obligation;key=status;value=complete
+stage=id=native-surface
+stage_field=stage=native-surface;key=depends_on;value=guarded-obligation
+stage_field=stage=native-surface;key=required_gates;value=native-surface-green
+stage_field=stage=native-surface;key=status;value=complete
+stage=id=constraint-core-closure
+stage_field=stage=constraint-core-closure;key=depends_on;value=native-surface
+stage_field=stage=constraint-core-closure;key=required_gates;value=constraint-core-closure-green
+stage_field=stage=constraint-core-closure;key=status;value=complete
+history=from_status=current;gates=dimension-algebra-green;mode=linear_advance;stage_id=dimension-algebra;to_status=complete
+history=evidence=local%3A22-tests%2Bclippy%3Bdimension-law%2Bdecoder-recheck;kind=dogfood_promotion_receipt;stage_id=dimension-algebra
+history=from_status=current;gates=context-consistency-green;mode=linear_advance;stage_id=context-consistency;to_status=complete
+history=evidence=local%3A24-tests%2Bclippy%3Bcontradiction-atomic%2Bdecode-recheck;kind=dogfood_promotion_receipt;stage_id=context-consistency
+history=from_status=current;gates=guarded-obligation-green;mode=linear_advance;stage_id=guarded-obligation;to_status=complete
+history=evidence=local%3A28-tests%2Bclippy%3Bsqrt-witness%7Cobligation%7Crejection%2Bforgery-refusal;kind=dogfood_promotion_receipt;stage_id=guarded-obligation
+history=from_status=current;gates=native-surface-green;mode=linear_advance;stage_id=native-surface;to_status=complete
+history=evidence=local%3A32-tests%2Bclippy%3Bconstraint-rna-dna-fixed-point%2Binvalid-refusal;kind=dogfood_promotion_receipt;stage_id=native-surface
+history=from_status=current;gates=constraint-core-closure-green;mode=linear_advance;stage_id=constraint-core-closure;to_status=complete
+history=evidence=github-cbcbfe5d9c4f34baf0ca54306c77a85ac970bd26-run-29990484222;kind=dogfood_promotion_receipt;stage_id=constraint-core-closure
+END

LOCUS64_EXECUTION_COHERENCE_RAIL.athens

@@ -0,0 +1,33 @@
+ATHENS_DEVELOPMENT_RAIL v1
+field=key=current_stage;value=proof-producing-congruence
+field=key=next_stage;value=incremental-closure
+field=key=projection_authority;value=non_authoritative
+field=key=rail_version;value=2
+field=key=schema_version;value=1
+gate=id=incremental-closure-green
+gate=id=legacy-authority-quarantine-green
+gate=id=native-constraint-core-green
+gate=id=native-upper-projection-green
+gate=id=proof-producing-congruence-green
+stage=id=native-constraint-core
+stage_field=stage=native-constraint-core;key=required_gates;value=native-constraint-core-green
+stage_field=stage=native-constraint-core;key=status;value=complete
+stage=id=proof-producing-congruence
+stage_field=stage=proof-producing-congruence;key=depends_on;value=native-constraint-core
+stage_field=stage=proof-producing-congruence;key=required_gates;value=proof-producing-congruence-green
+stage_field=stage=proof-producing-congruence;key=status;value=current
+stage=id=incremental-closure
+stage_field=stage=incremental-closure;key=depends_on;value=proof-producing-congruence
+stage_field=stage=incremental-closure;key=required_gates;value=incremental-closure-green
+stage_field=stage=incremental-closure;key=status;value=next
+stage=id=native-upper-projection
+stage_field=stage=native-upper-projection;key=depends_on;value=incremental-closure
+stage_field=stage=native-upper-projection;key=required_gates;value=native-upper-projection-green
+stage_field=stage=native-upper-projection;key=status;value=planned
+stage=id=legacy-authority-quarantine
+stage_field=stage=legacy-authority-quarantine;key=depends_on;value=native-upper-projection
+stage_field=stage=legacy-authority-quarantine;key=required_gates;value=legacy-authority-quarantine-green
+stage_field=stage=legacy-authority-quarantine;key=status;value=planned
+history=from_status=current;gates=native-constraint-core-green;mode=linear_advance;stage_id=native-constraint-core;to_status=complete
+history=evidence=github-cbcbfe5d9c4f34baf0ca54306c77a85ac970bd26-run-29990484222;kind=dogfood_promotion_receipt;stage_id=native-constraint-core
+END

LOCUS64_NATIVE_RAIL.athens

@@ -0,0 +1,25 @@
+ATHENS_DEVELOPMENT_RAIL v1
+field=key=projection_authority;value=non_authoritative
+field=key=rail_version;value=8
+field=key=schema_version;value=1
+gate=id=legacy-demotion-green
+gate=id=native-cli-membrane-green
+gate=id=native-rna-pilot-green
+stage=id=native-rna-pilot
+stage_field=stage=native-rna-pilot;key=required_gates;value=native-rna-pilot-green
+stage_field=stage=native-rna-pilot;key=status;value=complete
+stage=id=native-cli-membrane
+stage_field=stage=native-cli-membrane;key=depends_on;value=native-rna-pilot
+stage_field=stage=native-cli-membrane;key=required_gates;value=native-cli-membrane-green
+stage_field=stage=native-cli-membrane;key=status;value=complete
+stage=id=legacy-demotion
+stage_field=stage=legacy-demotion;key=depends_on;value=native-cli-membrane
+stage_field=stage=legacy-demotion;key=required_gates;value=legacy-demotion-green
+stage_field=stage=legacy-demotion;key=status;value=complete
+history=from_status=current;gates=native-rna-pilot-green;mode=linear_advance;stage_id=native-rna-pilot;to_status=complete
+history=evidence=github-ad80a8c344a92a857170994ac0dd0f52a41abfc5-run-29982693189;kind=dogfood_promotion_receipt;stage_id=native-rna-pilot
+history=from_status=current;gates=native-cli-membrane-green;mode=linear_advance;stage_id=native-cli-membrane;to_status=complete
+history=evidence=github-4c2a5fcaa50400e08e421c4a16ee55b662728fd4-run-29983336925;kind=dogfood_promotion_receipt;stage_id=native-cli-membrane
+history=from_status=current;gates=legacy-demotion-green;mode=linear_advance;stage_id=legacy-demotion;to_status=complete
+history=evidence=github-ce1dd6a3713d0dfaa3daf27b20e99116ebcc67aa-run-29983720943;kind=dogfood_promotion_receipt;stage_id=legacy-demotion
+END

l64-cli/Cargo.toml

@@ -2,6 +2,11 @@
 name = "l64-cli"
 version = "0.1.0"
 edition = "2024"
+autobins = false
+
+[[bin]]
+name = "l64-cli"
+path = "src/native_main.rs"
 
 [dependencies]
 anyhow = { workspace = true }
@@ -19,6 +24,7 @@ l64-atlas = { path = "../l64-atlas" }
 l64-cert = { path = "../l64-cert" }
 l64-bundle = { path = "../l64-bundle" }
 l64-policy = { path = "../l64-policy" }
+l64-native = { path = "../l64-native" }
 serde_json = { workspace = true }
 bincode = { workspace = true }
 hex = { workspace = true }

l64-cli/src/native_main.rs

@@ -0,0 +1,28 @@
+mod native_membrane;
+
+mod legacy {
+    include!("main.rs");
+
+    pub(super) fn run() -> anyhow::Result<()> {
+        main()
+    }
+}
+
+fn main() -> anyhow::Result<()> {
+    if native_membrane::is_legacy_child() {
+        native_membrane::announce_explicit_legacy();
+        return legacy::run();
+    }
+    if let Some(code) = native_membrane::run_explicit_legacy().map_err(anyhow::Error::msg)? {
+        if code == 0 {
+            return Ok(());
+        }
+        std::process::exit(code);
+    }
+    if native_membrane::run_env().map_err(anyhow::Error::msg)? {
+        Ok(())
+    } else {
+        native_membrane::warn_ambient_legacy_contact();
+        legacy::run()
+    }
+}