dogfood: test checkmate with checkmate (#4)

.github/workflows/test.yml

···
     runs-on: ubuntu-latest
     steps:
       - uses: cachix/install-nix-action@v30
-      - run: nix flake check -L github:$GITHUB_REPOSITORY/$GITHUB_SHA?dir=${{matrix.checker}} --override-input target github:$GITHUB_REPOSITORY/$GITHUB_SHA?dir=${{matrix.target}}
+      - run: nix flake check -L github:$GITHUB_REPOSITORY/$GITHUB_SHA?dir=${{matrix.checker}} --override-input target github:$GITHUB_REPOSITORY/$GITHUB_SHA?dir=${{matrix.target}} --override-input checkmate github:$GITHUB_REPOSITORY/$GITHUB_SHA

flake.lock

···
 {
   "nodes": {
+    "checkmate": {
+      "inputs": {
+        "den": [
+          "den"
+        ],
+        "flake-aspects": [
+          "flake-aspects"
+        ],
+        "flake-file": [
+          "flake-file"
+        ],
+        "flake-parts": [
+          "flake-parts"
+        ],
+        "import-tree": [
+          "import-tree"
+        ],
+        "nix-unit": [
+          "nix-unit"
+        ],
+        "nixpkgs": [
+          "nixpkgs"
+        ],
+        "nixpkgs-lib": [
+          "nixpkgs"
+        ],
+        "systems": [
+          "systems"
+        ],
+        "target": [
+          "target"
+        ],
+        "treefmt-nix": [
+          "treefmt-nix"
+        ]
+      },
+      "locked": {
+        "lastModified": 1763688964,
+        "narHash": "sha256-xJ3g37BgPgIKNrUT9wo/QCDXpo5P/KZA3wjT9ETmc8o=",
+        "owner": "vic",
+        "repo": "checkmate",
+        "rev": "7add32917422eb14bf09560f9686d19232745ae1",
+        "type": "github"
+      },
+      "original": {
+        "owner": "vic",
+        "repo": "checkmate",
+        "type": "github"
+      }
+    },
     "den": {
       "locked": {
-        "lastModified": 1762754264,
-        "narHash": "sha256-XS4kabx8lv/b+yzB8qIPSphPoaStm0qF7aQGNMQGnA8=",
+        "lastModified": 1763683549,
+        "narHash": "sha256-4RFihudu6lyfJh7fGZ7VwtrFC8rIguePbRVuOA8xLOs=",
         "owner": "vic",
         "repo": "den",
-        "rev": "8843a561848d3b60e7a7bf132482f349bccf0607",
+        "rev": "61ce6a5ecfabf1ef67fad45f4da59b0355eb43c0",
         "type": "github"
       },
       "original": {
···
     },
     "flake-aspects": {
       "locked": {
-        "lastModified": 1762465224,
-        "narHash": "sha256-jfXLTwngKXwFOCVfCupHGcCw/OIpgy5lMYIF8KPfMN8=",
+        "lastModified": 1763685186,
+        "narHash": "sha256-q/5od9d1N6oErILS4CkShhUuO/ncifsqmNaSoWZTLQ4=",
         "owner": "vic",
         "repo": "flake-aspects",
-        "rev": "4cbae79bc642311f45c211f9c20d20226544b6f9",
+        "rev": "9efdc39329e43289925636c50d5a909527aad347",
         "type": "github"
       },
       "original": {
···
     },
     "flake-file": {
       "locked": {
-        "lastModified": 1762732765,
-        "narHash": "sha256-sVxN4q4V8jhIAF44aPSMULIJMJ5eG5HtzcQgbr2UEBg=",
+        "lastModified": 1763673987,
+        "narHash": "sha256-BrRq6F321rwBPEC9yU2ZSV6At2TQ/0l/j9QrnXXAVWI=",
         "owner": "vic",
         "repo": "flake-file",
-        "rev": "7b037ae446102d3ccc5e23d3c52d5ada8e0fc4f3",
+        "rev": "fc92a095cd57b5d971a9d30fd24490101e588c28",
         "type": "github"
       },
       "original": {
···
         ]
       },
       "locked": {
-        "lastModified": 1762440070,
-        "narHash": "sha256-xxdepIcb39UJ94+YydGP221rjnpkDZUlykKuF54PsqI=",
+        "lastModified": 1762980239,
+        "narHash": "sha256-8oNVE8TrD19ulHinjaqONf9QWCKK+w4url56cdStMpM=",
         "owner": "hercules-ci",
         "repo": "flake-parts",
-        "rev": "26d05891e14c88eb4a5d5bee659c0db5afb609d8",
+        "rev": "52a2caecc898d0b46b2b905f058ccc5081f842da",
         "type": "github"
       },
       "original": {
···
     },
     "import-tree": {
       "locked": {
-        "lastModified": 1762327901,
-        "narHash": "sha256-AJ96FNj50DU0bTyIzAPkPOjCZTHqjURVjok8qoXvmqM=",
+        "lastModified": 1763673815,
+        "narHash": "sha256-vlkLsqaTqSVuIKA9xLPGmemXNekU3OVhpXs5HF1Nv14=",
         "owner": "vic",
         "repo": "import-tree",
-        "rev": "90fa129798be99cde036b78658e89475710966a1",
+        "rev": "6cef16391ec216f50847a5923100ee5ebc709c00",
         "type": "github"
       },
       "original": {
···
     },
     "nixpkgs": {
       "locked": {
-        "lastModified": 1762482733,
-        "narHash": "sha256-g/da4FzvckvbiZT075Sb1/YDNDr+tGQgh4N8i5ceYMg=",
+        "lastModified": 1763618868,
+        "narHash": "sha256-v5afmLjn/uyD9EQuPBn7nZuaZVV9r+JerayK/4wvdWA=",
         "owner": "nixos",
         "repo": "nixpkgs",
-        "rev": "e1ebeec86b771e9d387dd02d82ffdc77ac753abc",
+        "rev": "a8d610af3f1a5fb71e23e08434d8d61a466fc942",
         "type": "github"
       },
       "original": {
···
     },
     "root": {
       "inputs": {
+        "checkmate": "checkmate",
         "den": "den",
         "flake-aspects": "flake-aspects",
         "flake-file": "flake-file",
···
     },
     "target": {
       "locked": {
-        "lastModified": 1762800004,
-        "narHash": "sha256-VO8KzRYOgpVx36ZrJgyhKBIqs/LCSt75RVaCYxQv9TY=",
+        "dir": "templates/success",
+        "lastModified": 1763688964,
+        "narHash": "sha256-xJ3g37BgPgIKNrUT9wo/QCDXpo5P/KZA3wjT9ETmc8o=",
         "owner": "vic",
-        "repo": "empty-flake",
-        "rev": "d4e905be37fc824f49a14577a26e6121f59e4f9d",
+        "repo": "checkmate",
+        "rev": "7add32917422eb14bf09560f9686d19232745ae1",
         "type": "github"
       },
       "original": {
+        "dir": "templates/success",
         "owner": "vic",
-        "repo": "empty-flake",
+        "repo": "checkmate",
         "type": "github"
       }
     },
···
         ]
       },
       "locked": {
-        "lastModified": 1762410071,
-        "narHash": "sha256-aF5fvoZeoXNPxT0bejFUBXeUjXfHLSL7g+mjR/p5TEg=",
+        "lastModified": 1762938485,
+        "narHash": "sha256-AlEObg0syDl+Spi4LsZIBrjw+snSVU4T8MOeuZJUJjM=",
         "owner": "numtide",
         "repo": "treefmt-nix",
-        "rev": "97a30861b13c3731a84e09405414398fbf3e109f",
+        "rev": "5b4ee75aeefd1e2d5a1cc43cf6ba65eba75e83e4",
         "type": "github"
       },
       "original": {

flake.nix

···
   outputs = inputs: inputs.flake-parts.lib.mkFlake { inherit inputs; } (inputs.import-tree ./modules);
 
   inputs = {
-    den = {
-      url = "github:vic/den";
-    };
-    flake-aspects = {
-      url = "github:vic/flake-aspects";
-    };
-    flake-file = {
-      url = "github:vic/flake-file";
-    };
-    flake-parts = {
+    checkmate = {
       inputs = {
-        nixpkgs-lib = {
-          follows = "nixpkgs-lib";
-        };
+        den.follows = "den";
+        flake-aspects.follows = "flake-aspects";
+        flake-file.follows = "flake-file";
+        flake-parts.follows = "flake-parts";
+        import-tree.follows = "import-tree";
+        nix-unit.follows = "nix-unit";
+        nixpkgs.follows = "nixpkgs";
+        nixpkgs-lib.follows = "nixpkgs";
+        systems.follows = "systems";
+        target.follows = "target";
+        treefmt-nix.follows = "treefmt-nix";
       };
-      url = "github:hercules-ci/flake-parts";
+      url = "github:vic/checkmate";
     };
-    import-tree = {
-      url = "github:vic/import-tree";
+    den.url = "github:vic/den";
+    flake-aspects.url = "github:vic/flake-aspects";
+    flake-file.url = "github:vic/flake-file";
+    flake-parts = {
+      inputs.nixpkgs-lib.follows = "nixpkgs-lib";
+      url = "github:hercules-ci/flake-parts";
     };
+    import-tree.url = "github:vic/import-tree";
     nix-unit = {
       inputs = {
-        flake-parts = {
-          follows = "flake-parts";
-        };
-        nixpkgs = {
-          follows = "nixpkgs";
-        };
+        flake-parts.follows = "flake-parts";
+        nixpkgs.follows = "nixpkgs";
       };
       url = "github:nix-community/nix-unit";
     };
-    nixpkgs = {
-      url = "github:nixos/nixpkgs/nixpkgs-unstable";
-    };
-    nixpkgs-lib = {
-      follows = "nixpkgs";
-    };
-    systems = {
-      url = "github:nix-systems/default";
-    };
-    target = {
-      url = "github:vic/empty-flake";
-    };
+    nixpkgs.url = "github:nixos/nixpkgs/nixpkgs-unstable";
+    nixpkgs-lib.follows = "nixpkgs";
+    systems.url = "github:nix-systems/default";
+    target.url = "github:vic/checkmate?dir=templates/success";
     treefmt-nix = {
-      inputs = {
-        nixpkgs = {
-          follows = "nixpkgs";
-        };
-      };
+      inputs.nixpkgs.follows = "nixpkgs";
       url = "github:numtide/treefmt-nix";
     };
   };

modules/checkmate/checkmate.nix

···
+{ lib, ... }:
+{
+  flake-file.inputs.checkmate = {
+    url = lib.mkDefault "github:vic/checkmate";
+    inputs = {
+      den.follows = "den";
+      flake-aspects.follows = "flake-aspects";
+      flake-file.follows = "flake-file";
+      flake-parts.follows = "flake-parts";
+      import-tree.follows = "import-tree";
+      nix-unit.follows = "nix-unit";
+      nixpkgs.follows = "nixpkgs";
+      nixpkgs-lib.follows = "nixpkgs";
+      systems.follows = "systems";
+      target.follows = "target";
+      treefmt-nix.follows = "treefmt-nix";
+    };
+  };
+}

modules/checkmate/dendritic.nix

···
+{ inputs, lib, ... }:
+{
+  flake-file.inputs.flake-file.url = lib.mkDefault "github:vic/flake-file";
+  imports = [
+    (inputs.flake-file.flakeModules.dendritic or { })
+  ];
+}

modules/checkmate/imports.nix modules/imports.nix

···
 { inputs, ... }:
 let
-
   im =
     sub:
     let
       path = "${inputs.target}/${sub}";
     in
     if builtins.pathExists path then inputs.import-tree path else { };
-
 in
 {
   imports = [

modules/checkmate/inputs.nix

···
-{
-  inputs,
-  lib,
-  ...
-}:
-{
-
-  flake-file.inputs = {
-    flake-file.url = lib.mkDefault "github:vic/flake-file";
-
-    nix-unit = {
-      url = lib.mkDefault "github:nix-community/nix-unit";
-      inputs.nixpkgs.follows = lib.mkDefault "nixpkgs";
-      inputs.flake-parts.follows = lib.mkDefault "flake-parts";
-    };
-
-    treefmt-nix = {
-      url = lib.mkDefault "github:numtide/treefmt-nix";
-      inputs.nixpkgs.follows = lib.mkDefault "nixpkgs";
-    };
-  };
-
-  imports = [
-    (inputs.flake-file.flakeModules.dendritic or { })
-    (inputs.nix-unit.modules.flake.default or { })
-    (inputs.treefmt-nix.flakeModule or { })
-  ];
-
-}

modules/checkmate/nix-unit.nix

···
 { inputs, lib, ... }:
 {
-  perSystem.nix-unit = {
-    allowNetwork = lib.mkDefault true;
-    inputs = lib.mkDefault inputs;
+  flake-file.inputs.nix-unit = {
+    url = lib.mkDefault "github:nix-community/nix-unit";
+    inputs.nixpkgs.follows = lib.mkDefault "nixpkgs";
+    inputs.flake-parts.follows = lib.mkDefault "flake-parts";
   };
+
+  imports = [
+    (inputs.nix-unit.modules.flake.default or { })
+  ];
+
+  perSystem =
+    { lib, ... }:
+    {
+      nix-unit = {
+        allowNetwork = lib.mkDefault true;
+        inputs = lib.mkDefault inputs;
+      };
+    };
 }

modules/checkmate/target.nix

···
+{ lib, ... }:
+{
+  flake-file.inputs.target.url = lib.mkDefault "github:vic/checkmate?dir=templates/success";
+}

modules/checkmate/treefmt.nix

···
-{ inputs, ... }:
+{ inputs, lib, ... }:
 {
+
+  flake-file.inputs.treefmt-nix = {
+    url = lib.mkDefault "github:numtide/treefmt-nix";
+    inputs.nixpkgs.follows = lib.mkDefault "nixpkgs";
+  };
+
+  imports = [
+    (inputs.treefmt-nix.flakeModule or { })
+  ];
+
   perSystem =
     { self', lib, ... }:
     {

modules/outputs.nix

···
-{ ... }:
 {
-  flake-file.inputs.target.url = "github:vic/empty-flake";
   flake.templates.default = {
-    description = "Success flake";
+    description = "Success";
     path = ../templates/success;
   };
+  flake.templates.dendritic = {
+    description = "Dendritic";
+    path = ../templates/dendritic;
+  };
+  flake.flakeModule =
+    { inputs, ... }:
+    {
+      imports = [
+        (inputs.import-tree ./checkmate)
+      ];
+    };
 }

templates/dendritic/checkmate/flake.lock

···
 {
   "nodes": {
-    "checkmate-modules": {
-      "flake": false,
+    "checkmate": {
+      "inputs": {
+        "den": [
+          "den"
+        ],
+        "flake-aspects": [
+          "flake-aspects"
+        ],
+        "flake-file": [
+          "flake-file"
+        ],
+        "flake-parts": [
+          "flake-parts"
+        ],
+        "import-tree": [
+          "import-tree"
+        ],
+        "nix-unit": [
+          "nix-unit"
+        ],
+        "nixpkgs": [
+          "nixpkgs"
+        ],
+        "nixpkgs-lib": [
+          "nixpkgs"
+        ],
+        "systems": [
+          "systems"
+        ],
+        "target": [
+          "target"
+        ],
+        "treefmt-nix": [
+          "treefmt-nix"
+        ]
+      },
       "locked": {
-        "dir": "modules/checkmate",
-        "lastModified": 1763688069,
-        "narHash": "sha256-1mK38cB+dTFh6gieuqWswqbWAbV/cGrqiR+r6ONSL5s=",
+        "lastModified": 1763688964,
+        "narHash": "sha256-xJ3g37BgPgIKNrUT9wo/QCDXpo5P/KZA3wjT9ETmc8o=",
         "owner": "vic",
         "repo": "checkmate",
-        "rev": "52665a9ad341f0b11620aabbd8ede55af6638c06",
+        "rev": "7add32917422eb14bf09560f9686d19232745ae1",
         "type": "github"
       },
       "original": {
-        "dir": "modules/checkmate",
         "owner": "vic",
         "repo": "checkmate",
         "type": "github"
···
         "type": "github"
       }
     },
+    "nix-github-actions": {
+      "inputs": {
+        "nixpkgs": [
+          "nix-unit",
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1737420293,
+        "narHash": "sha256-F1G5ifvqTpJq7fdkT34e/Jy9VCyzd5XfJ9TO8fHhJWE=",
+        "owner": "nix-community",
+        "repo": "nix-github-actions",
+        "rev": "f4158fa080ef4503c8f4c820967d946c2af31ec9",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nix-community",
+        "repo": "nix-github-actions",
+        "type": "github"
+      }
+    },
+    "nix-unit": {
+      "inputs": {
+        "flake-parts": [
+          "flake-parts"
+        ],
+        "nix-github-actions": "nix-github-actions",
+        "nixpkgs": [
+          "nixpkgs"
+        ],
+        "treefmt-nix": "treefmt-nix"
+      },
+      "locked": {
+        "lastModified": 1762774186,
+        "narHash": "sha256-hRADkHjNt41+JUHw2EiSkMaL4owL83g5ZppjYUdF/Dc=",
+        "owner": "nix-community",
+        "repo": "nix-unit",
+        "rev": "1c9ab50554eed0b768f9e5b6f646d63c9673f0f7",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nix-community",
+        "repo": "nix-unit",
+        "type": "github"
+      }
+    },
     "nixpkgs": {
       "locked": {
         "lastModified": 1763618868,
···
     },
     "root": {
       "inputs": {
-        "checkmate-modules": "checkmate-modules",
+        "checkmate": "checkmate",
         "den": "den",
         "flake-aspects": "flake-aspects",
         "flake-file": "flake-file",
         "flake-parts": "flake-parts",
         "import-tree": "import-tree",
+        "nix-unit": "nix-unit",
         "nixpkgs": "nixpkgs",
         "nixpkgs-lib": [
           "nixpkgs"
         ],
         "systems": "systems",
-        "target": "target"
+        "target": "target",
+        "treefmt-nix": "treefmt-nix_2"
       }
     },
     "systems": {
···
     "target": {
       "locked": {
         "dir": "templates/dendritic",
-        "lastModified": 1763688069,
-        "narHash": "sha256-1mK38cB+dTFh6gieuqWswqbWAbV/cGrqiR+r6ONSL5s=",
+        "lastModified": 1763688964,
+        "narHash": "sha256-xJ3g37BgPgIKNrUT9wo/QCDXpo5P/KZA3wjT9ETmc8o=",
         "owner": "vic",
         "repo": "checkmate",
-        "rev": "52665a9ad341f0b11620aabbd8ede55af6638c06",
+        "rev": "7add32917422eb14bf09560f9686d19232745ae1",
         "type": "github"
       },
       "original": {
         "dir": "templates/dendritic",
         "owner": "vic",
         "repo": "checkmate",
+        "type": "github"
+      }
+    },
+    "treefmt-nix": {
+      "inputs": {
+        "nixpkgs": [
+          "nix-unit",
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1762410071,
+        "narHash": "sha256-aF5fvoZeoXNPxT0bejFUBXeUjXfHLSL7g+mjR/p5TEg=",
+        "owner": "numtide",
+        "repo": "treefmt-nix",
+        "rev": "97a30861b13c3731a84e09405414398fbf3e109f",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "treefmt-nix",
+        "type": "github"
+      }
+    },
+    "treefmt-nix_2": {
+      "inputs": {
+        "nixpkgs": [
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1762938485,
+        "narHash": "sha256-AlEObg0syDl+Spi4LsZIBrjw+snSVU4T8MOeuZJUJjM=",
+        "owner": "numtide",
+        "repo": "treefmt-nix",
+        "rev": "5b4ee75aeefd1e2d5a1cc43cf6ba65eba75e83e4",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "treefmt-nix",
         "type": "github"
       }
     }

templates/dendritic/checkmate/flake.nix

···
   outputs = inputs: inputs.flake-parts.lib.mkFlake { inherit inputs; } (inputs.import-tree ./modules);
 
   inputs = {
-    checkmate-modules = {
-      flake = false;
-      url = "github:vic/checkmate?dir=modules/checkmate";
+    checkmate = {
+      inputs = {
+        den.follows = "den";
+        flake-aspects.follows = "flake-aspects";
+        flake-file.follows = "flake-file";
+        flake-parts.follows = "flake-parts";
+        import-tree.follows = "import-tree";
+        nix-unit.follows = "nix-unit";
+        nixpkgs.follows = "nixpkgs";
+        nixpkgs-lib.follows = "nixpkgs";
+        systems.follows = "systems";
+        target.follows = "target";
+        treefmt-nix.follows = "treefmt-nix";
+      };
+      url = "github:vic/checkmate";
     };
     den.url = "github:vic/den";
     flake-aspects.url = "github:vic/flake-aspects";
···
       url = "github:hercules-ci/flake-parts";
     };
     import-tree.url = "github:vic/import-tree";
+    nix-unit = {
+      inputs = {
+        flake-parts.follows = "flake-parts";
+        nixpkgs.follows = "nixpkgs";
+      };
+      url = "github:nix-community/nix-unit";
+    };
     nixpkgs.url = "github:nixos/nixpkgs/nixpkgs-unstable";
     nixpkgs-lib.follows = "nixpkgs";
     systems.url = "github:nix-systems/default";
     target.url = "github:vic/checkmate?dir=templates/dendritic";
+    treefmt-nix = {
+      inputs.nixpkgs.follows = "nixpkgs";
+      url = "github:numtide/treefmt-nix";
+    };
   };
 
 }

templates/dendritic/checkmate/modules/checkmate.nix

···
+{ inputs, lib, ... }:
+{
+  flake-file.inputs.checkmate.url = lib.mkDefault "github:vic/checkmate";
+  imports = [ (inputs.checkmate.flakeModule or { }) ];
+}

templates/dendritic/checkmate/modules/target.nix

···
 {
-  flake-file.inputs = {
-    target.url = "github:vic/checkmate?dir=templates/dendritic";
-    checkmate-modules.url = "github:vic/checkmate?dir=modules/checkmate";
-    checkmate-modules.flake = false;
-  };
+  flake-file.inputs.target.url = "github:vic/checkmate?dir=templates/dendritic";
 }

templates/dendritic/checkmate/modules/test.nix

···
 {
-  flake.tests."universe works" = {
+  flake.tests."test universe works" = {
     expr = 2 * 2;
     expected = 4;
   };