Implement IR generation and validation

.github/workflows/ci.yml

@@ -29,10 +29,12 @@ jobs:
       - name: Run coverage
         run: cargo tarpaulin --out lcov
       - name: Upload coverage data to CodeScene
-        if: ${{ secrets.CS_ACCESS_TOKEN }}
-        uses: leynos/shared-actions/.github/actions/upload-codescene-coverage@v1.1.0
+        env:
+          CS_ACCESS_TOKEN: ${{ secrets.CS_ACCESS_TOKEN }}
+        if: ${{ env.CS_ACCESS_TOKEN != '' }}
+        uses: leynos/shared-actions/.github/actions/upload-codescene-coverage@v1.2.1
         with:
           format: lcov
-          access-token: ${{ secrets.CS_ACCESS_TOKEN }}
+          access-token: ${{ env.CS_ACCESS_TOKEN }}
           installer-checksum: ${{ vars.CODESCENE_CLI_SHA256 }}
 

Cargo.toml

@@ -9,6 +9,8 @@ serde = { version = "1", features = ["derive"] }
 serde_yml = "0.0.12"
 semver = { version = "1", features = ["serde"] }
 anyhow = "1"
+thiserror = "1"
+sha2 = "0.10"
 
 [lints.clippy]
 pedantic = { level = "warn", priority = -1 }

docs/netsuke-design.md

@@ -1056,6 +1056,14 @@ action identifier and carries the `phony` and `always` flags verbatim from the
 manifest. No Ninja specific placeholders are stored in the IR to keep the
 representation portable.
 
+- Actions are deduplicated using a SHA-256 hash of their recipe and metadata.
+  Identical commands therefore share the same identifier which keeps the IR
+  deterministic for snapshot tests.
+- Multiple rule references in a single target are not yet supported. The IR
+  generator reports `IrGenError::MultipleRules` when encountered.
+- Duplicate output files are rejected. Attempting to define the same output
+  path twice results in `IrGenError::DuplicateOutput`.
+
 ## Section 6: Process Management and Secure Execution
 
 The final stage of a Netsuke build involves executing commands. While Netsuke

docs/roadmap.md

@@ -40,14 +40,15 @@ compilation pipeline from parsing to execution.
   - [x] Define the IR data structures (BuildGraph, Action, BuildEdge) in
     `src/ir.rs`, keeping it backend-agnostic as per the design. *(done)*
 
-  - [ ] Implement the ir::from_manifest transformation logic to convert the
-    AST into the BuildGraph IR.
+  - [x] Implement the ir::from_manifest transformation logic to convert the
+    AST into the BuildGraph IR. *(done)*
 
-  - [ ] During transformation, consolidate and deduplicate rules into ir::Action
-    structs based on a hash of their properties.
+  - [x] During transformation, consolidate and deduplicate rules into ir::Action
+    structs based on a hash of their properties. *(done)*
 
-  - [ ] Implement validation to ensure that every rule, command, or script
+  - [x] Implement validation to ensure that every rule, command, or script
     referenced by a target is valid and that they are mutually exclusive.
+    *(done)*
 
   - [ ] Implement a cycle detection algorithm (e.g., depth-first search) to fail
     compilation if a circular dependency is found in the target graph.