feat(v3): totalize Int division with Result carrier

dsl/std/algebra.dag

@@ -86,6 +86,8 @@
 
 module std.algebra
 
+import std.error_primitives { DivError, Result }
+
 // =========================================================================
 // Unary structures (single operation)
 // =========================================================================
@@ -179,7 +181,7 @@ type OrderedRing<T> {
   zero: T
   negate: fn(T) -> T
   mul: fn(T, T) -> T
-  div: fn(T, T) -> T
+  div: fn(T, T) -> Result<T, DivError>
   one: T
   compare: fn(T, T) -> Ordering
   quotient: fn(T, T) -> T

dsl/std/error_primitives.dag

@@ -0,0 +1,18 @@
+// std/error_primitives.dag — minimal error carriers with **no** dependency on
+// `Int` / `String` / other `std.types` surface, so this module can load in the
+// v3 std bootstrap seed *before* `algebra.dag` (which needs `Result` / `DivError`
+// for `OrderedRing.div`).
+
+module std.error_primitives
+
+// 🟡 STRUCTURAL-CARRIER: algebraic Result sum for fallible std operations
+// (e.g. `OrderedRing.div` totality). It is substrate-owned until target
+// realizations can consume this declaration directly instead of filtering it
+// from emitted std surfaces and reintroducing per-target carriers.
+type Result<ok, err> = Ok { value: ok } | Err { value: err }
+
+// 🟡 STRUCTURAL-CARRIER: signed integer division (`Int / Int`) failure modes
+// (C-8): zero divisor vs MIN / -1 signed overflow. The target preludes mirror
+// this declaration until `std.error_primitives` is emitted through the normal
+// filtered-type path.
+type DivError = DivideByZero | Overflow

src/v2/compiler_tests_rust.dag

@@ -213,6 +213,7 @@ fn ct_gist_sources() -> String {
     "            \"dsl/extdeps/github/github.dag\",\n",
     "            \"dsl/gunbc/auth/credentials.dag\",\n",
     "            \"dsl/gunbc/tools/gist.dag\",\n",
+    "            \"dsl/std/error_primitives.dag\",\n",
     "            \"dsl/std/algebra.dag\",\n",
     "            \"dsl/std/encoding.dag\",\n",
     "            \"dsl/std/errors.dag\",\n",

src/v2/stage0/src/compiler_tests.rs

@@ -188,6 +188,7 @@ mod compiler_tests {
             "dsl/extdeps/github/github.dag",
             "dsl/gunbc/auth/credentials.dag",
             "dsl/gunbc/tools/gist.dag",
+            "dsl/std/error_primitives.dag",
             "dsl/std/algebra.dag",
             "dsl/std/encoding.dag",
             "dsl/std/errors.dag",

src/v2/stage0/src/lib.rs

@@ -30,6 +30,7 @@ pub mod std_algebra;
 pub mod std_coercion;
 pub mod std_computation;
 pub mod std_effects;
+pub mod std_error_primitives;
 pub mod std_graph;
 pub mod std_http_path;
 pub mod std_induction;

src/v2/stage0/src/std_algebra.rs

@@ -1,6 +1,9 @@
 // Generated by v2 compiler -- do not edit.
 // Source module: std.algebra
 
+use crate::std_error_primitives::DivError::*;
+use crate::std_error_primitives::Result::*;
+pub use crate::std_error_primitives::{DivError, Result};
 use crate::v2_rt;
 use crate::NonEmptyBTreeSet;
 use crate::NonEmptyVec;
@@ -73,7 +76,7 @@ pub struct OrderedRing<T> {
     pub zero: Box<T>,
     pub negate: Rc<dyn Fn(T) -> T>,
     pub mul: Rc<dyn Fn(T, T) -> T>,
-    pub div: Rc<dyn Fn(T, T) -> T>,
+    pub div: Rc<dyn Fn(T, T) -> Rc<Result<T, DivError>>>,
     pub one: Box<T>,
     pub compare: Rc<dyn Fn(T, T) -> Ordering>,
     pub quotient: Rc<dyn Fn(T, T) -> T>,

src/v2/stage0/src/std_error_primitives.rs

@@ -0,0 +1,26 @@
+// Generated by v2 compiler -- do not edit.
+// Source module: std.error_primitives
+
+#![allow(non_camel_case_types)]
+
+use self::DivError::*;
+use self::Result::*;
+use crate::v2_rt;
+use crate::NonEmptyBTreeSet;
+use crate::NonEmptyVec;
+use std::collections::HashMap;
+use std::rc::Rc;
+
+#[derive(Debug, Clone, PartialEq, serde::Serialize, serde::Deserialize)]
+#[serde(tag = "_variant")]
+pub enum Result<ok, err> {
+    Ok { value: Box<ok> },
+    Err { value: Box<err> },
+}
+
+#[derive(Debug, Clone, Copy, PartialEq, serde::Serialize, serde::Deserialize)]
+#[serde(tag = "_variant")]
+pub enum DivError {
+    DivideByZero,
+    Overflow,
+}

src/v2/stage0/src/v2_compiler_compiler_tests_rust.rs

@@ -45,7 +45,7 @@ pub fn ct_self_compile_sources() -> String {
 }
 
 pub fn ct_gist_sources() -> String {
-    v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat("    /// Build the gist pipeline source closure.\n".to_string(), "    fn gist_sources() -> Vec<std::rc::Rc<crate::v2_compiler_compile::SourceFile>> {\n".to_string()), "        let gist_deps = &[\n".to_string()), "            \"dsl/extdeps/cloud/cloud.dag\",\n".to_string()), "            \"dsl/extdeps/cloud/gcp/gcp.dag\",\n".to_string()), "            \"dsl/extdeps/git.dag\",\n".to_string()), "            \"dsl/extdeps/github/auth.dag\",\n".to_string()), "            \"dsl/extdeps/github/gists.dag\",\n".to_string()), "            \"dsl/extdeps/github/github.dag\",\n".to_string()), "            \"dsl/gunbc/auth/credentials.dag\",\n".to_string()), "            \"dsl/gunbc/tools/gist.dag\",\n".to_string()), "            \"dsl/std/algebra.dag\",\n".to_string()), "            \"dsl/std/encoding.dag\",\n".to_string()), "            \"dsl/std/errors.dag\",\n".to_string()), "            \"dsl/std/filesystem.dag\",\n".to_string()), "            \"dsl/std/resources.dag\",\n".to_string()), "            \"dsl/std/serialization.dag\",\n".to_string()), "            \"dsl/std/types.dag\",\n".to_string()), "        ];\n".to_string()), "        let root = workspace_root();\n".to_string()), "        gist_deps\n".to_string()), "            .iter()\n".to_string()), "            .map(|p| {\n".to_string()), "                let full = root.join(p);\n".to_string()), "                let content = std::fs::read_to_string(&full)\n".to_string()), "                    .unwrap_or_else(|e| panic!(\"failed to read {}: {}\", full.display(), e));\n".to_string()), "                std::rc::Rc::new(crate::v2_compiler_compile::SourceFile {\n".to_string()), "                    path: p.to_string(),\n".to_string()), "                    content,\n".to_string()), "                })\n".to_string()), "            })\n".to_string()), "            .collect()\n".to_string()), "    }\n\n".to_string())
+    v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat(v2_rt::concat("    /// Build the gist pipeline source closure.\n".to_string(), "    fn gist_sources() -> Vec<std::rc::Rc<crate::v2_compiler_compile::SourceFile>> {\n".to_string()), "        let gist_deps = &[\n".to_string()), "            \"dsl/extdeps/cloud/cloud.dag\",\n".to_string()), "            \"dsl/extdeps/cloud/gcp/gcp.dag\",\n".to_string()), "            \"dsl/extdeps/git.dag\",\n".to_string()), "            \"dsl/extdeps/github/auth.dag\",\n".to_string()), "            \"dsl/extdeps/github/gists.dag\",\n".to_string()), "            \"dsl/extdeps/github/github.dag\",\n".to_string()), "            \"dsl/gunbc/auth/credentials.dag\",\n".to_string()), "            \"dsl/gunbc/tools/gist.dag\",\n".to_string()), "            \"dsl/std/error_primitives.dag\",\n".to_string()), "            \"dsl/std/algebra.dag\",\n".to_string()), "            \"dsl/std/encoding.dag\",\n".to_string()), "            \"dsl/std/errors.dag\",\n".to_string()), "            \"dsl/std/filesystem.dag\",\n".to_string()), "            \"dsl/std/resources.dag\",\n".to_string()), "            \"dsl/std/serialization.dag\",\n".to_string()), "            \"dsl/std/types.dag\",\n".to_string()), "        ];\n".to_string()), "        let root = workspace_root();\n".to_string()), "        gist_deps\n".to_string()), "            .iter()\n".to_string()), "            .map(|p| {\n".to_string()), "                let full = root.join(p);\n".to_string()), "                let content = std::fs::read_to_string(&full)\n".to_string()), "                    .unwrap_or_else(|e| panic!(\"failed to read {}: {}\", full.display(), e));\n".to_string()), "                std::rc::Rc::new(crate::v2_compiler_compile::SourceFile {\n".to_string()), "                    path: p.to_string(),\n".to_string()), "                    content,\n".to_string()), "                })\n".to_string()), "            })\n".to_string()), "            .collect()\n".to_string()), "    }\n\n".to_string())
 }
 
 pub fn ct_tokenizer_tests() -> String {

src/v2/stage0/src/v2_compiler_emit_rust.rs

@@ -1143,7 +1143,7 @@ pub fn emit_module_full(
             {
                 __result.push(v2_rt::concat(
                     v2_rt::concat(
-                        "use ".to_string(),
+                        "use self::".to_string(),
                         authored_name(scope.type_env.clone(), item.clone()),
                     ),
                     "::*;".to_string(),
@@ -1194,6 +1194,13 @@ pub fn emit_module_full(
         } else {
             raw_filename.clone()
         };
+        let module_inner_attrs = if authored_name(scope.type_env.clone(), m.clone()).as_str()
+            == "std.error_primitives".to_string().as_str()
+        {
+            "\n\n#![allow(non_camel_case_types)]\n\n".to_string()
+        } else {
+            "\n\n".to_string()
+        };
         let content = v2_rt::concat(
             v2_rt::concat(
                 v2_rt::concat(
@@ -1210,7 +1217,7 @@ pub fn emit_module_full(
                                             ),
                                             authored_name(scope.type_env.clone(), m.clone()),
                                         ),
-                                        "\n\n".to_string(),
+                                        module_inner_attrs,
                                     ),
                                     prelude,
                                 ),

src/v2/stage0/src/v2_compiler_resolve.rs

@@ -552,7 +552,9 @@ pub fn topological_sort(
                                 __found
                             };
                             if (((m_name.clone().as_str() != "std.types".to_string().as_str())
-                                && (m_name.clone().as_str() != "std.algebra".to_string().as_str()))
+                                && (m_name.clone().as_str() != "std.algebra".to_string().as_str())
+                                && (m_name.clone().as_str()
+                                    != "std.error_primitives".to_string().as_str()))
                                 && (imports_std_types.clone() == false))
                             {
                                 Rc::new(vec![Rc::new(DepEdge {
@@ -599,7 +601,8 @@ pub fn topological_sort(
                 };
                 let implicit_std_types_in_degree = if (((has_std_types.clone()
                     && (m_name.clone().as_str() != "std.types".to_string().as_str()))
-                    && (m_name.clone().as_str() != "std.algebra".to_string().as_str()))
+                    && (m_name.clone().as_str() != "std.algebra".to_string().as_str())
+                    && (m_name.clone().as_str() != "std.error_primitives".to_string().as_str()))
                     && (imports_std_types.clone() == false))
                 {
                     1

src/v2/tests/src/bootstrap.rs

@@ -510,6 +510,7 @@ fn bootstrap_fixed_point() {
 fn gist_full_pipeline() {
     let gist_files = [
         "dsl/std/types.dag",
+        "dsl/std/error_primitives.dag",
         "dsl/std/errors.dag",
         "dsl/std/resources.dag",
         "dsl/extdeps/cloud/cloud.dag",

src/v2/tests/src/parse.rs

@@ -673,6 +673,7 @@ fn parse_fn_lambda_in_call_arg() {
 fn gist_transitive_closure_parse() {
     let files = [
         "dsl/std/types.dag",
+        "dsl/std/error_primitives.dag",
         "dsl/std/errors.dag",
         "dsl/std/resources.dag",
         "dsl/extdeps/cloud/cloud.dag",

src/v3/compiler/build.rs

@@ -295,6 +295,7 @@ fn main() {
     let compiler_dir = manifest_path.clone();
     let extdeps_dir = repo_root.join("dsl").join("extdeps");
     let gunbc_dir = repo_root.join("dsl").join("gunbc");
+    let dsl_std_dir = repo_root.join("dsl").join("std");
 
     // Tell Cargo to re-run the script if any staged std/spec/compiler file
     // changes. Without this, adding a new file wouldn't trigger a
@@ -304,6 +305,7 @@ fn main() {
     println!("cargo:rerun-if-changed={}", compiler_dir.display());
     println!("cargo:rerun-if-changed={}", extdeps_dir.display());
     println!("cargo:rerun-if-changed={}", gunbc_dir.display());
+    println!("cargo:rerun-if-changed={}", dsl_std_dir.display());
 
     // Structural-recursion termination analysis walks a recursing
     // argument back to its declared Disj connective (see

src/v3/compiler/src/bootstrap_regen_fresh.rs

@@ -23,6 +23,7 @@ use std::collections::HashMap;
 
 const LOGIC_DAG: &str = include_str!("../../../../dsl/std/logic.dag");
 const BIT_DAG: &str = include_str!("../../../../dsl/std/bit.dag");
+const ERROR_PRIMITIVES_DAG: &str = include_str!("../../../../dsl/std/error_primitives.dag");
 const ALGEBRA_DAG: &str = include_str!("../../../../dsl/std/algebra.dag");
 const INTEGER_DAG: &str = include_str!("../../../../dsl/std/integer.dag");
 const FLOAT_DAG: &str = include_str!("../../../../dsl/std/float.dag");
@@ -117,6 +118,7 @@ fn std_fixtures() -> &'static [(&'static str, &'static str)] {
     &[
         ("dsl/std/logic.dag", LOGIC_DAG),
         ("dsl/std/bit.dag", BIT_DAG),
+        ("dsl/std/error_primitives.dag", ERROR_PRIMITIVES_DAG),
         ("dsl/std/algebra.dag", ALGEBRA_DAG),
         ("dsl/std/integer.dag", INTEGER_DAG),
         ("dsl/std/float.dag", FLOAT_DAG),