From 2fa0bd1c8890ae62f4d78239961c3a916a9bf0ea Mon Sep 17 00:00:00 2001 From: suzuki Date: Sat, 13 Dec 2025 23:29:29 +0000 Subject: [PATCH 1/3] build: update npm packages --- package-lock.json | 300 ++++++++++++++++++++++++++++++++-------------- package.json | 7 +- 2 files changed, 217 insertions(+), 90 deletions(-) diff --git a/package-lock.json b/package-lock.json index 302fd80..90feec6 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,16 +1,16 @@ { - "name": "lean-project", + "name": "lean-prject", "lockfileVersion": 3, "requires": true, "packages": { "": { - "name": "lean-project", + "name": "lean-prject", "devDependencies": { - "@commitlint/cli": "20.1.0", - "@commitlint/config-conventional": "20.0.0", + "@commitlint/cli": "20.2.0", + "@commitlint/config-conventional": "20.2.0", "commitizen": "4.3.1", "cz-conventional-changelog": "3.3.0", - "lefthook": "2.0.4" + "lefthook": "2.0.11" } }, "node_modules/@babel/code-frame": { @@ -39,17 +39,17 @@ } }, "node_modules/@commitlint/cli": { - "version": "20.1.0", - "resolved": "https://registry.npmjs.org/@commitlint/cli/-/cli-20.1.0.tgz", - "integrity": "sha512-pW5ujjrOovhq5RcYv5xCpb4GkZxkO2+GtOdBW2/qrr0Ll9tl3PX0aBBobGQl3mdZUbOBgwAexEQLeH6uxL0VYg==", + "version": "20.2.0", + "resolved": "https://registry.npmjs.org/@commitlint/cli/-/cli-20.2.0.tgz", + "integrity": "sha512-l37HkrPZ2DZy26rKiTUvdq/LZtlMcxz+PeLv9dzK9NzoFGuJdOQyYU7IEkEQj0pO++uYue89wzOpZ0hcTtoqUA==", "dev": true, "license": "MIT", "dependencies": { - "@commitlint/format": "^20.0.0", - "@commitlint/lint": "^20.0.0", - "@commitlint/load": "^20.1.0", - "@commitlint/read": "^20.0.0", - "@commitlint/types": "^20.0.0", + "@commitlint/format": "^20.2.0", + "@commitlint/lint": "^20.2.0", + "@commitlint/load": "^20.2.0", + "@commitlint/read": "^20.2.0", + "@commitlint/types": "^20.2.0", "tinyexec": "^1.0.0", "yargs": "^17.0.0" }, @@ -61,13 +61,13 @@ } }, "node_modules/@commitlint/config-conventional": { - "version": "20.0.0", - "resolved": "https://registry.npmjs.org/@commitlint/config-conventional/-/config-conventional-20.0.0.tgz", - "integrity": "sha512-q7JroPIkDBtyOkVe9Bca0p7kAUYxZMxkrBArCfuD3yN4KjRAenP9PmYwnn7rsw8Q+hHq1QB2BRmBh0/Z19ZoJw==", + "version": "20.2.0", + "resolved": "https://registry.npmjs.org/@commitlint/config-conventional/-/config-conventional-20.2.0.tgz", + "integrity": "sha512-MsRac+yNIbTB4Q/psstKK4/ciVzACHicSwz+04Sxve+4DW+PiJeTjU0JnS4m/oOnulrXYN+yBPlKaBSGemRfgQ==", "dev": true, "license": "MIT", "dependencies": { - "@commitlint/types": "^20.0.0", + "@commitlint/types": "^20.2.0", "conventional-changelog-conventionalcommits": "^7.0.2" }, "engines": { @@ -75,13 +75,13 @@ } }, "node_modules/@commitlint/config-validator": { - "version": "20.0.0", - "resolved": "https://registry.npmjs.org/@commitlint/config-validator/-/config-validator-20.0.0.tgz", - "integrity": "sha512-BeyLMaRIJDdroJuYM2EGhDMGwVBMZna9UiIqV9hxj+J551Ctc6yoGuGSmghOy/qPhBSuhA6oMtbEiTmxECafsg==", + "version": "20.2.0", + "resolved": "https://registry.npmjs.org/@commitlint/config-validator/-/config-validator-20.2.0.tgz", + "integrity": "sha512-SQCBGsL9MFk8utWNSthdxd9iOD1pIVZSHxGBwYIGfd67RTjxqzFOSAYeQVXOu3IxRC3YrTOH37ThnTLjUlyF2w==", "dev": true, "license": "MIT", "dependencies": { - "@commitlint/types": "^20.0.0", + "@commitlint/types": "^20.2.0", "ajv": "^8.11.0" }, "engines": { @@ -89,13 +89,13 @@ } }, "node_modules/@commitlint/ensure": { - "version": "20.0.0", - "resolved": "https://registry.npmjs.org/@commitlint/ensure/-/ensure-20.0.0.tgz", - "integrity": "sha512-WBV47Fffvabe68n+13HJNFBqiMH5U1Ryls4W3ieGwPC0C7kJqp3OVQQzG2GXqOALmzrgAB+7GXmyy8N9ct8/Fg==", + "version": "20.2.0", + "resolved": "https://registry.npmjs.org/@commitlint/ensure/-/ensure-20.2.0.tgz", + "integrity": "sha512-+8TgIGv89rOWyt3eC6lcR1H7hqChAKkpawytlq9P1i/HYugFRVqgoKJ8dhd89fMnlrQTLjA5E97/4sF09QwdoA==", "dev": true, "license": "MIT", "dependencies": { - "@commitlint/types": "^20.0.0", + "@commitlint/types": "^20.2.0", "lodash.camelcase": "^4.3.0", "lodash.kebabcase": "^4.1.1", "lodash.snakecase": "^4.1.1", @@ -117,13 +117,13 @@ } }, "node_modules/@commitlint/format": { - "version": "20.0.0", - "resolved": "https://registry.npmjs.org/@commitlint/format/-/format-20.0.0.tgz", - "integrity": "sha512-zrZQXUcSDmQ4eGGrd+gFESiX0Rw+WFJk7nW4VFOmxub4mAATNKBQ4vNw5FgMCVehLUKG2OT2LjOqD0Hk8HvcRg==", + "version": "20.2.0", + "resolved": "https://registry.npmjs.org/@commitlint/format/-/format-20.2.0.tgz", + "integrity": "sha512-PhNoLNhxpfIBlW/i90uZ3yG3hwSSYx7n4d9Yc+2FAorAHS0D9btYRK4ZZXX+Gm3W5tDtu911ow/eWRfcRVgNWg==", "dev": true, "license": "MIT", "dependencies": { - "@commitlint/types": "^20.0.0", + "@commitlint/types": "^20.2.0", "chalk": "^5.3.0" }, "engines": { @@ -131,13 +131,13 @@ } }, "node_modules/@commitlint/is-ignored": { - "version": "20.0.0", - "resolved": "https://registry.npmjs.org/@commitlint/is-ignored/-/is-ignored-20.0.0.tgz", - "integrity": "sha512-ayPLicsqqGAphYIQwh9LdAYOVAQ9Oe5QCgTNTj+BfxZb9b/JW222V5taPoIBzYnAP0z9EfUtljgBk+0BN4T4Cw==", + "version": "20.2.0", + "resolved": "https://registry.npmjs.org/@commitlint/is-ignored/-/is-ignored-20.2.0.tgz", + "integrity": "sha512-Lz0OGeZCo/QHUDLx5LmZc0EocwanneYJUM8z0bfWexArk62HKMLfLIodwXuKTO5y0s6ddXaTexrYHs7v96EOmw==", "dev": true, "license": "MIT", "dependencies": { - "@commitlint/types": "^20.0.0", + "@commitlint/types": "^20.2.0", "semver": "^7.6.0" }, "engines": { @@ -145,32 +145,32 @@ } }, "node_modules/@commitlint/lint": { - "version": "20.0.0", - "resolved": "https://registry.npmjs.org/@commitlint/lint/-/lint-20.0.0.tgz", - "integrity": "sha512-kWrX8SfWk4+4nCexfLaQT3f3EcNjJwJBsSZ5rMBw6JCd6OzXufFHgel2Curos4LKIxwec9WSvs2YUD87rXlxNQ==", + "version": "20.2.0", + "resolved": "https://registry.npmjs.org/@commitlint/lint/-/lint-20.2.0.tgz", + "integrity": "sha512-cQEEB+jlmyQbyiji/kmh8pUJSDeUmPiWq23kFV0EtW3eM+uAaMLMuoTMajbrtWYWQpPzOMDjYltQ8jxHeHgITg==", "dev": true, "license": "MIT", "dependencies": { - "@commitlint/is-ignored": "^20.0.0", - "@commitlint/parse": "^20.0.0", - "@commitlint/rules": "^20.0.0", - "@commitlint/types": "^20.0.0" + "@commitlint/is-ignored": "^20.2.0", + "@commitlint/parse": "^20.2.0", + "@commitlint/rules": "^20.2.0", + "@commitlint/types": "^20.2.0" }, "engines": { "node": ">=v18" } }, "node_modules/@commitlint/load": { - "version": "20.1.0", - "resolved": "https://registry.npmjs.org/@commitlint/load/-/load-20.1.0.tgz", - "integrity": "sha512-qo9ER0XiAimATQR5QhvvzePfeDfApi/AFlC1G+YN+ZAY8/Ua6IRrDrxRvQAr+YXUKAxUsTDSp9KXeXLBPsNRWg==", + "version": "20.2.0", + "resolved": "https://registry.npmjs.org/@commitlint/load/-/load-20.2.0.tgz", + "integrity": "sha512-iAK2GaBM8sPFTSwtagI67HrLKHIUxQc2BgpgNc/UMNme6LfmtHpIxQoN1TbP+X1iz58jq32HL1GbrFTCzcMi6g==", "dev": true, "license": "MIT", "dependencies": { - "@commitlint/config-validator": "^20.0.0", + "@commitlint/config-validator": "^20.2.0", "@commitlint/execute-rule": "^20.0.0", - "@commitlint/resolve-extends": "^20.1.0", - "@commitlint/types": "^20.0.0", + "@commitlint/resolve-extends": "^20.2.0", + "@commitlint/types": "^20.2.0", "chalk": "^5.3.0", "cosmiconfig": "^9.0.0", "cosmiconfig-typescript-loader": "^6.1.0", @@ -193,13 +193,13 @@ } }, "node_modules/@commitlint/parse": { - "version": "20.0.0", - "resolved": "https://registry.npmjs.org/@commitlint/parse/-/parse-20.0.0.tgz", - "integrity": "sha512-j/PHCDX2bGM5xGcWObOvpOc54cXjn9g6xScXzAeOLwTsScaL4Y+qd0pFC6HBwTtrH92NvJQc+2Lx9HFkVi48cg==", + "version": "20.2.0", + "resolved": "https://registry.npmjs.org/@commitlint/parse/-/parse-20.2.0.tgz", + "integrity": "sha512-LXStagGU1ivh07X7sM+hnEr4BvzFYn1iBJ6DRg2QsIN8lBfSzyvkUcVCDwok9Ia4PWiEgei5HQjju6xfJ1YaSQ==", "dev": true, "license": "MIT", "dependencies": { - "@commitlint/types": "^20.0.0", + "@commitlint/types": "^20.2.0", "conventional-changelog-angular": "^7.0.0", "conventional-commits-parser": "^5.0.0" }, @@ -208,14 +208,14 @@ } }, "node_modules/@commitlint/read": { - "version": "20.0.0", - "resolved": "https://registry.npmjs.org/@commitlint/read/-/read-20.0.0.tgz", - "integrity": "sha512-Ti7Y7aEgxsM1nkwA4ZIJczkTFRX/+USMjNrL9NXwWQHqNqrBX2iMi+zfuzZXqfZ327WXBjdkRaytJ+z5vNqTOA==", + "version": "20.2.0", + "resolved": "https://registry.npmjs.org/@commitlint/read/-/read-20.2.0.tgz", + "integrity": "sha512-+SjF9mxm5JCbe+8grOpXCXMMRzAnE0WWijhhtasdrpJoAFJYd5UgRTj/oCq5W3HJTwbvTOsijEJ0SUGImECD7Q==", "dev": true, "license": "MIT", "dependencies": { "@commitlint/top-level": "^20.0.0", - "@commitlint/types": "^20.0.0", + "@commitlint/types": "^20.2.0", "git-raw-commits": "^4.0.0", "minimist": "^1.2.8", "tinyexec": "^1.0.0" @@ -225,14 +225,14 @@ } }, "node_modules/@commitlint/resolve-extends": { - "version": "20.1.0", - "resolved": "https://registry.npmjs.org/@commitlint/resolve-extends/-/resolve-extends-20.1.0.tgz", - "integrity": "sha512-cxKXQrqHjZT3o+XPdqDCwOWVFQiae++uwd9dUBC7f2MdV58ons3uUvASdW7m55eat5sRiQ6xUHyMWMRm6atZWw==", + "version": "20.2.0", + "resolved": "https://registry.npmjs.org/@commitlint/resolve-extends/-/resolve-extends-20.2.0.tgz", + "integrity": "sha512-KVoLDi9BEuqeq+G0wRABn4azLRiCC22/YHR2aCquwx6bzCHAIN8hMt3Nuf1VFxq/c8ai6s8qBxE8+ZD4HeFTlQ==", "dev": true, "license": "MIT", "dependencies": { - "@commitlint/config-validator": "^20.0.0", - "@commitlint/types": "^20.0.0", + "@commitlint/config-validator": "^20.2.0", + "@commitlint/types": "^20.2.0", "global-directory": "^4.0.1", "import-meta-resolve": "^4.0.0", "lodash.mergewith": "^4.6.2", @@ -243,16 +243,16 @@ } }, "node_modules/@commitlint/rules": { - "version": "20.0.0", - "resolved": "https://registry.npmjs.org/@commitlint/rules/-/rules-20.0.0.tgz", - "integrity": "sha512-gvg2k10I/RfvHn5I5sxvVZKM1fl72Sqrv2YY/BnM7lMHcYqO0E2jnRWoYguvBfEcZ39t+rbATlciggVe77E4zA==", + "version": "20.2.0", + "resolved": "https://registry.npmjs.org/@commitlint/rules/-/rules-20.2.0.tgz", + "integrity": "sha512-27rHGpeAjnYl/A+qUUiYDa7Yn1WIjof/dFJjYW4gA1Ug+LUGa1P0AexzGZ5NBxTbAlmDgaxSZkLLxtLVqtg8PQ==", "dev": true, "license": "MIT", "dependencies": { - "@commitlint/ensure": "^20.0.0", + "@commitlint/ensure": "^20.2.0", "@commitlint/message": "^20.0.0", "@commitlint/to-lines": "^20.0.0", - "@commitlint/types": "^20.0.0" + "@commitlint/types": "^20.2.0" }, "engines": { "node": ">=v18" @@ -282,9 +282,9 @@ } }, "node_modules/@commitlint/types": { - "version": "20.0.0", - "resolved": "https://registry.npmjs.org/@commitlint/types/-/types-20.0.0.tgz", - "integrity": "sha512-bVUNBqG6aznYcYjTjnc3+Cat/iBgbgpflxbIBTnsHTX0YVpnmINPEkSRWymT2Q8aSH3Y7aKnEbunilkYe8TybA==", + "version": "20.2.0", + "resolved": "https://registry.npmjs.org/@commitlint/types/-/types-20.2.0.tgz", + "integrity": "sha512-KTy0OqRDLR5y/zZMnizyx09z/rPlPC/zKhYgH8o/q6PuAjoQAKlRfY4zzv0M64yybQ//6//4H1n14pxaLZfUnA==", "dev": true, "license": "MIT", "dependencies": { @@ -306,9 +306,9 @@ } }, "node_modules/@types/node": { - "version": "24.10.1", - "resolved": "https://registry.npmjs.org/@types/node/-/node-24.10.1.tgz", - "integrity": "sha512-GNWcUTRBgIRJD5zj+Tq0fKOJ5XZajIiBroOF0yvj2bSU1WvNdYS/dn9UxwsujGW4JX06dnHyjV2y9rRaybH0iQ==", + "version": "25.0.1", + "resolved": "https://registry.npmjs.org/@types/node/-/node-25.0.1.tgz", + "integrity": "sha512-czWPzKIAXucn9PtsttxmumiQ9N0ok9FrBwgRWrwmVLlp86BrMExzvXRLFYRJ+Ex3g6yqj+KuaxfX1JTgV2lpfg==", "dev": true, "license": "MIT", "dependencies": { @@ -1607,9 +1607,9 @@ } }, "node_modules/lefthook": { - "version": "2.0.4", - "resolved": "https://registry.npmjs.org/lefthook/-/lefthook-2.0.4.tgz", - "integrity": "sha512-GNCU2vQWM/UWjiEF23601aILi1aMbPke6viortH7wIO/oVGOCW0H6FdLez4XZDyqnHL9XkTnd0BBVrBbYVMLpA==", + "version": "2.0.11", + "resolved": "https://registry.npmjs.org/lefthook/-/lefthook-2.0.11.tgz", + "integrity": "sha512-/91k4dt9MRNkzeSr1iMjNi/z8dNuh+XvNfXrWA6PV+M1ZxiNY6uN6bGnr13n+j7N89f4h7YWBhCqhzhK33M5cA==", "dev": true, "hasInstallScript": true, "license": "MIT", @@ -1617,22 +1617,92 @@ "lefthook": "bin/index.js" }, "optionalDependencies": { - "lefthook-darwin-arm64": "2.0.4", - "lefthook-darwin-x64": "2.0.4", - "lefthook-freebsd-arm64": "2.0.4", - "lefthook-freebsd-x64": "2.0.4", - "lefthook-linux-arm64": "2.0.4", - "lefthook-linux-x64": "2.0.4", - "lefthook-openbsd-arm64": "2.0.4", - "lefthook-openbsd-x64": "2.0.4", - "lefthook-windows-arm64": "2.0.4", - "lefthook-windows-x64": "2.0.4" - } + "lefthook-darwin-arm64": "2.0.11", + "lefthook-darwin-x64": "2.0.11", + "lefthook-freebsd-arm64": "2.0.11", + "lefthook-freebsd-x64": "2.0.11", + "lefthook-linux-arm64": "2.0.11", + "lefthook-linux-x64": "2.0.11", + "lefthook-openbsd-arm64": "2.0.11", + "lefthook-openbsd-x64": "2.0.11", + "lefthook-windows-arm64": "2.0.11", + "lefthook-windows-x64": "2.0.11" + } + }, + "node_modules/lefthook-darwin-arm64": { + "version": "2.0.11", + "resolved": "https://registry.npmjs.org/lefthook-darwin-arm64/-/lefthook-darwin-arm64-2.0.11.tgz", + "integrity": "sha512-RfpdcJJQXstdgDiIBDRffncayKiXx+0LyMUCunIxDEO2JMXPpYK2hIdpUU0rkitzptAADchG7u1OXJ31rrtIAA==", + "cpu": [ + "arm64" + ], + "dev": true, + "license": "MIT", + "optional": true, + "os": [ + "darwin" + ] + }, + "node_modules/lefthook-darwin-x64": { + "version": "2.0.11", + "resolved": "https://registry.npmjs.org/lefthook-darwin-x64/-/lefthook-darwin-x64-2.0.11.tgz", + "integrity": "sha512-D013UNKQa4FKgpxDMqdaU109U2/Pidtrt9CobQoq8te4eGUglcwxMzuYVTgaYnenz0FgKxSfVaCZsZgwqeMWqA==", + "cpu": [ + "x64" + ], + "dev": true, + "license": "MIT", + "optional": true, + "os": [ + "darwin" + ] + }, + "node_modules/lefthook-freebsd-arm64": { + "version": "2.0.11", + "resolved": "https://registry.npmjs.org/lefthook-freebsd-arm64/-/lefthook-freebsd-arm64-2.0.11.tgz", + "integrity": "sha512-mgfNqG1tiJkCuGNwPG0LEfnAHGJA+Qzl6KidOtX/Zhxmj/sM+6hxiP4LOeEAhCnaZF5kuPtQgbFzShFHc2BK6A==", + "cpu": [ + "arm64" + ], + "dev": true, + "license": "MIT", + "optional": true, + "os": [ + "freebsd" + ] + }, + "node_modules/lefthook-freebsd-x64": { + "version": "2.0.11", + "resolved": "https://registry.npmjs.org/lefthook-freebsd-x64/-/lefthook-freebsd-x64-2.0.11.tgz", + "integrity": "sha512-rnHOlQbJfLGCibr7yHM44kPNgf/tFpEbj/cWVHRhjRdbgYSCAjJk0uKd/EVo3v/vjfId2na0AhWbLvO/aY3wQQ==", + "cpu": [ + "x64" + ], + "dev": true, + "license": "MIT", + "optional": true, + "os": [ + "freebsd" + ] + }, + "node_modules/lefthook-linux-arm64": { + "version": "2.0.11", + "resolved": "https://registry.npmjs.org/lefthook-linux-arm64/-/lefthook-linux-arm64-2.0.11.tgz", + "integrity": "sha512-1XjDo2/4fM0TbJBwxZh8w+WMOFueg9oYHkryM8vc3vp8wTajdWBazg1K37JIS3FUco3tcOs+eWHQg0ekVjpWoA==", + "cpu": [ + "arm64" + ], + "dev": true, + "license": "MIT", + "optional": true, + "os": [ + "linux" + ] }, "node_modules/lefthook-linux-x64": { - "version": "2.0.4", - "resolved": "https://registry.npmjs.org/lefthook-linux-x64/-/lefthook-linux-x64-2.0.4.tgz", - "integrity": "sha512-N6ySVCtB/DrOZ1ZgPL8WBZTgtoVHvcPKI+LV5wbcGrvA/dzDZFvniadrbDWZg7Tm705efiQzyENjwhhqNkwiww==", + "version": "2.0.11", + "resolved": "https://registry.npmjs.org/lefthook-linux-x64/-/lefthook-linux-x64-2.0.11.tgz", + "integrity": "sha512-OKOcfEvozXhO7+y2xgUzvc2kkqfhluql/sjQSzd8Ka+iK3hM4KCfbfgYx9q61Pjr34a0+i03cuH5DF2dlq/rrg==", "cpu": [ "x64" ], @@ -1643,6 +1713,62 @@ "linux" ] }, + "node_modules/lefthook-openbsd-arm64": { + "version": "2.0.11", + "resolved": "https://registry.npmjs.org/lefthook-openbsd-arm64/-/lefthook-openbsd-arm64-2.0.11.tgz", + "integrity": "sha512-n1KEx196M3SKaWVNTQXGgxzBsiYAsdAy6Of6I6TAZwPhG7yoRrKGkQrhOlPgMzYl36udG1Lk4D+mfY9T0oOUYQ==", + "cpu": [ + "arm64" + ], + "dev": true, + "license": "MIT", + "optional": true, + "os": [ + "openbsd" + ] + }, + "node_modules/lefthook-openbsd-x64": { + "version": "2.0.11", + "resolved": "https://registry.npmjs.org/lefthook-openbsd-x64/-/lefthook-openbsd-x64-2.0.11.tgz", + "integrity": "sha512-WAEtKpYUVvuJMVLA38IBoaPnTNSiaEzvUYxjTBlYTLHJwn7HC2GG6P1cnvoua8rfxb9/Bfi7C3D3IPa9VmB33Q==", + "cpu": [ + "x64" + ], + "dev": true, + "license": "MIT", + "optional": true, + "os": [ + "openbsd" + ] + }, + "node_modules/lefthook-windows-arm64": { + "version": "2.0.11", + "resolved": "https://registry.npmjs.org/lefthook-windows-arm64/-/lefthook-windows-arm64-2.0.11.tgz", + "integrity": "sha512-HBqW1qfAnmmbpet7gSWatB6H5YIFdGxCqzolMCLwY/0o8oPFiMwdNE5RGp5JMmhZdz/h3XlbaUlIhnxoW8dk5g==", + "cpu": [ + "arm64" + ], + "dev": true, + "license": "MIT", + "optional": true, + "os": [ + "win32" + ] + }, + "node_modules/lefthook-windows-x64": { + "version": "2.0.11", + "resolved": "https://registry.npmjs.org/lefthook-windows-x64/-/lefthook-windows-x64-2.0.11.tgz", + "integrity": "sha512-e5TYmV5cBZfRrhPVFCqjauegLI5CjdAd8exyAbMzGHkiwp3ZK145Su/pntgEP3d+ayS9mpgYPJmXYOSL7WHlyg==", + "cpu": [ + "x64" + ], + "dev": true, + "license": "MIT", + "optional": true, + "os": [ + "win32" + ] + }, "node_modules/lines-and-columns": { "version": "1.2.4", "resolved": "https://registry.npmjs.org/lines-and-columns/-/lines-and-columns-1.2.4.tgz", diff --git a/package.json b/package.json index 103333d..31ab506 100644 --- a/package.json +++ b/package.json @@ -1,10 +1,11 @@ { + "name": "lean-prject", "devDependencies": { - "@commitlint/cli": "20.1.0", - "@commitlint/config-conventional": "20.0.0", + "@commitlint/cli": "20.2.0", + "@commitlint/config-conventional": "20.2.0", "commitizen": "4.3.1", "cz-conventional-changelog": "3.3.0", - "lefthook": "2.0.4" + "lefthook": "2.0.11" }, "config": { "commitizen": { From aed044b904f054bf39720a0817934304216cb3e9 Mon Sep 17 00:00:00 2001 From: suzuki Date: Sat, 13 Dec 2025 23:48:10 +0000 Subject: [PATCH 2/3] build: bump lean to v4.26.0 --- .devcontainer/Dockerfile | 2 +- lake-manifest.json | 24 ++++++++++++------------ lakefile.toml | 2 +- lean-toolchain | 2 +- 4 files changed, 15 insertions(+), 15 deletions(-) diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 2c81c7f..ae29c8b 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -14,5 +14,5 @@ RUN apt-get update && \ USER vscode WORKDIR /home/vscode -RUN curl https://elan.lean-lang.org/elan-init.sh -sSf | sh -s -- -y --default-toolchain leanprover/lean4:4.26.0-rc2 +RUN curl https://elan.lean-lang.org/elan-init.sh -sSf | sh -s -- -y --default-toolchain leanprover/lean4:4.26.0 ENV PATH="/home/vscode/.elan/bin:${PATH}" diff --git a/lake-manifest.json b/lake-manifest.json index 45532ab..65e89ac 100644 --- a/lake-manifest.json +++ b/lake-manifest.json @@ -5,17 +5,17 @@ "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "d5c9558e75342a10d6321e6a8c798a14f68ae23c", + "rev": "2df2f0150c275ad53cb3c90f7c98ec15a56a1a67", "name": "mathlib", "manifestFile": "lake-manifest.json", - "inputRev": "v4.26.0-rc2", + "inputRev": "v4.26.0", "inherited": false, "configFile": "lakefile.lean"}, {"url": "https://github.com/leanprover-community/plausible", "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "74835c84b38e4070b8240a063c6417c767e551ae", + "rev": "160af9e8e7d4ae448f3c92edcc5b6a8522453f11", "name": "plausible", "manifestFile": "lake-manifest.json", "inputRev": "main", @@ -25,7 +25,7 @@ "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "2ed4ba69b6127de8f5c2af83cccacd3c988b06bf", + "rev": "3591c3f664ac3719c4c86e4483e21e228707bfa2", "name": "LeanSearchClient", "manifestFile": "lake-manifest.json", "inputRev": "main", @@ -35,7 +35,7 @@ "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "6e3bb4bf31f731ab28891fe229eb347ec7d5dad3", + "rev": "e9f31324f15ead11048b1443e62c5deaddd055d2", "name": "importGraph", "manifestFile": "lake-manifest.json", "inputRev": "main", @@ -45,17 +45,17 @@ "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "2aaad968dd10a168b644b6a5afd4b92496af4710", + "rev": "b4fb2aa5290ebf61bc5f80a5375ba642f0a49192", "name": "proofwidgets", "manifestFile": "lake-manifest.json", - "inputRev": "v0.0.82", + "inputRev": "v0.0.83", "inherited": true, "configFile": "lakefile.lean"}, {"url": "https://github.com/leanprover-community/aesop", "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "9c70abdd9215b76019340fad65138e2e8d21843e", + "rev": "2f6d238744c4cb07fdc91240feaf5d4221a27931", "name": "aesop", "manifestFile": "lake-manifest.json", "inputRev": "master", @@ -65,7 +65,7 @@ "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "a31845b5557fd5e47d52b9e2977a1b0eff3c38c3", + "rev": "9312503909aa8e8bb392530145cc1677a6298574", "name": "Qq", "manifestFile": "lake-manifest.json", "inputRev": "master", @@ -75,7 +75,7 @@ "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "afe9302d9243cee630b0be95322b38b90342ddbf", + "rev": "24241822ef9d3e7f6a3bcc53ad136e12663db8f3", "name": "batteries", "manifestFile": "lake-manifest.json", "inputRev": "main", @@ -85,10 +85,10 @@ "type": "git", "subDir": null, "scope": "leanprover", - "rev": "7e1ced9e049a4fab2508980ec4877ca9c46dffc9", + "rev": "933fce7e893f65969714c60cdb4bd8376786044e", "name": "Cli", "manifestFile": "lake-manifest.json", - "inputRev": "v4.26.0-rc2", + "inputRev": "v4.26.0", "inherited": true, "configFile": "lakefile.toml"}], "name": "Project", diff --git a/lakefile.toml b/lakefile.toml index 7948487..2c8d1c2 100644 --- a/lakefile.toml +++ b/lakefile.toml @@ -9,4 +9,4 @@ leanOptions = { warningAsError = true } [[require]] name = "mathlib" scope = "leanprover-community" -rev = "v4.26.0-rc2" +rev = "v4.26.0" diff --git a/lean-toolchain b/lean-toolchain index be1fbc3..e59446d 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.26.0-rc2 +leanprover/lean4:v4.26.0 From 00d61a0107673af5892bcd3a16e11d52625231b6 Mon Sep 17 00:00:00 2001 From: suzuki Date: Sun, 14 Dec 2025 00:02:03 +0000 Subject: [PATCH 3/3] chore: min imports --- Project/Example.lean | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Project/Example.lean b/Project/Example.lean index 2767caf..c167798 100644 --- a/Project/Example.lean +++ b/Project/Example.lean @@ -1,4 +1,5 @@ -import Mathlib.Data.Nat.Prime.Factorial +import Mathlib.Data.Nat.Factorial.Basic +import Mathlib.Data.Nat.Prime.Defs namespace Example @@ -26,3 +27,5 @@ theorem infinitely_many_primes : ∀ n : ℕ, ∃ p : ℕ, n < p ∧ Nat.Prime p exact ⟨p, np, pp⟩ end Example + +#min_imports