Substrate S9 Phase-1 Step 3: Compose emission entries (post-S3 carrier)

.github/workflows/ci.yml

@@ -236,6 +236,16 @@ jobs:
         run: cargo test -p v3-compiler --test integration --no-run
 
       - name: v3 tests (Stage 2d integration module, 360s cold-compile-safe budget)
+        env:
+          # Bootstrap snapshot fn `bootstrapped_fixture_dag_declarations` in
+          # `bootstrap_generated.rs` is ~66K lines of stack-allocated `Declaration{...}`
+          # struct literals. With the default 8MB main-thread stack, debug-mode
+          # initialization runs the snapshot building right against the limit
+          # and overflows whenever the snapshot grows (PR #2161 hit this after
+          # adding 12 IntW*/UIntW* declarations). 16MB clears the cliff with
+          # headroom; long-term remedy is splitting the snapshot fn — tracked
+          # separately from this CI tune.
+          RUST_MIN_STACK: 16777216
         run: |
           start=$(date +%s)
           cargo test -p v3-compiler --test integration lane2_stage_2d_symbolic_cost_test::
@@ -261,6 +271,9 @@ jobs:
           # ratchet); workflow-level `CARGO_TERM_COLOR=always` would otherwise
           # inject ANSI into cargo's stream.
           CARGO_TERM_COLOR: never
+          # See lane2d step above — bootstrap snapshot fn is at the 8MB stack
+          # cliff; bump to 16MB so future bootstrap growth doesn't gate merges.
+          RUST_MIN_STACK: 16777216
         run: |
           start=$(date +%s)
           RUSTC_BOOTSTRAP=1 cargo test -p v3-compiler -- -Z unstable-options --report-time 2>&1 | tee /tmp/v3-test-timings.log

dsl/std/integer.dag

@@ -61,6 +61,42 @@ type UInt32 = Semiring<Word32>
 type UInt64 = Semiring<Word64>
 type UInt128 = Semiring<Word128>
 
+// S9 Phase-1 step 3 emission entries — parametric `Compose<Algebra, MachineConstraint>`
+// instantiations per Q-MachineConstraint sub-decision 2 RATIFIED at gunbc#828
+// #issuecomment-4385530115 (NOT AlgebraMachineProduct table rows).
+//
+// Authoring posture (additive, not migrating): legacy `Int32..Int128` /
+// `UInt32..UInt128` storage rows above stay on `OrderedRing<Word*>` /
+// `Semiring<Word*>` to preserve P2 facts-flow-forward for downstream Rust-
+// side mirrors (`src/v3/grounding_pilot/src/lib.rs` `dag_type_facts` +
+// `bootstrap_generated.rs` snapshot). These NEW `IntW*` / `UIntW*` aliases
+// land the parametric Compose form alongside; Grounding G2 (#1745) consumer
+// wiring + per-pair lowering rules + emitted-Rust-primitive verification
+// follow in a separate PR per bundled-scope discipline (Director gunbc#1739
+// #issuecomment-4392225548). When G2 + downstream Rust mirrors migrate,
+// legacy fixed-width storage rows can dissolve into these Compose entries.
+//
+// Slot-1 spelling = fully-applied algebraic-concept name (`Int` =
+// `AbelianGroup<GroupCompletion<Nat>>` per #1466 Q6 audit; `UInt` = `Nat`
+// per #1818 / Codex P2 framing) — NOT bare witness shape (Q-MC sub-decision
+// 3 critical correction: witness shape doesn't go in slot-1; the named
+// concept does).
+//
+// Slot-2 spelling = `MachineWidth<Word*N*>` — pre-#2156 (S3 Phase-2 parser-
+// grammar for type-level integer literals), the phantom-bits token slot
+// uses landed `std.bit` Word*N* carriers in lieu of literal `<32>` /
+// `<64>` / `<128>` (structurally analogous to the
+// `MachineWidth<PointerWidth>` precedent on `IntPlatform` / `UIntPlatform`
+// below in this module).
+// Tightens to `MachineWidth<32>` / `MachineWidth<64>` / `MachineWidth<128>`
+// literal-Nat spelling when #2156 lands; named dissolution trigger.
+type IntW32  = Compose<Int,  MachineWidth<Word32>>
+type IntW64  = Compose<Int,  MachineWidth<Word64>>
+type IntW128 = Compose<Int,  MachineWidth<Word128>>
+type UIntW32  = Compose<UInt, MachineWidth<Word32>>
+type UIntW64  = Compose<UInt, MachineWidth<Word64>>
+type UIntW128 = Compose<UInt, MachineWidth<Word128>>
+
 // Default aliases.
 //
 // T-Numeric-Construction Slice 3 alias-pivot.