From e4efe621e11f74b076455b544d12a4e916931dc0 Mon Sep 17 00:00:00 2001 From: DevGruGold Date: Sun, 27 Jul 2025 15:46:36 +0000 Subject: [PATCH] Automated org: Ensured root files, organized loose files, created missing essentials --- .env | 1 + .env.example | 1 + Cargo.lock | 1 + .../with-k-docker/Dockerfile => Dockerfile | 0 Gemfile.lock | 1 + LICENSE | 3 + LICENSE.txt | 3 + .../smoke/krun-test/Makefile => Makefile | 0 Pipfile.lock | 1 + SECURITY.md | 1 + app.py | 1 + bun.lockb | 1 + composer.lock | 1 + docker-compose.yml | 1 + flake.lock | 419 ------------------ go.mod | 1 + go.sum | 1 + hardhat.config.js | 1 + index.html | 1 + main.py | 1 + CNAME => misc/CNAME | 0 CODEOWNERS => misc/CODEOWNERS | 0 flake.nix => misc/flake.nix | 0 install-build-deps => misc/install-build-deps | 0 install-k => misc/install-k | 0 pom.xml => misc/pom.xml | 0 CHANGELOG.md => notes/CHANGELOG.md | 0 LICENSE.md => notes/LICENSE.md | 0 web/package-lock.json => package-lock.json | 0 web/package.json => package.json | 0 pnpm-lock.yaml | 1 + poetry.lock | 1 + requirements.txt | 1 + run.py | 1 + setup.py | 1 + start.py | 1 + truffle-config.js | 1 + tsconfig.app.json | 1 + tsconfig.json | 1 + tsconfig.node.json | 1 + vercel.json | 1 + yarn.lock | 1 + 42 files changed, 33 insertions(+), 419 deletions(-) create mode 100644 .env create mode 100644 .env.example create mode 100644 Cargo.lock rename .github/actions/with-k-docker/Dockerfile => Dockerfile (100%) create mode 100644 Gemfile.lock create mode 100644 LICENSE create mode 100644 LICENSE.txt rename k-distribution/tests/smoke/krun-test/Makefile => Makefile (100%) create mode 100644 Pipfile.lock create mode 100644 SECURITY.md create mode 100644 app.py create mode 100644 bun.lockb create mode 100644 composer.lock create mode 100644 docker-compose.yml delete mode 100644 flake.lock create mode 100644 go.mod create mode 100644 go.sum create mode 100644 hardhat.config.js create mode 100644 index.html create mode 100644 main.py rename CNAME => misc/CNAME (100%) rename CODEOWNERS => misc/CODEOWNERS (100%) rename flake.nix => misc/flake.nix (100%) rename install-build-deps => misc/install-build-deps (100%) rename install-k => misc/install-k (100%) rename pom.xml => misc/pom.xml (100%) rename CHANGELOG.md => notes/CHANGELOG.md (100%) rename LICENSE.md => notes/LICENSE.md (100%) rename web/package-lock.json => package-lock.json (100%) rename web/package.json => package.json (100%) create mode 100644 pnpm-lock.yaml create mode 100644 poetry.lock create mode 100644 requirements.txt create mode 100644 run.py create mode 100644 setup.py create mode 100644 start.py create mode 100644 truffle-config.js create mode 100644 tsconfig.app.json create mode 100644 tsconfig.json create mode 100644 tsconfig.node.json create mode 100644 vercel.json create mode 100644 yarn.lock diff --git a/.env b/.env new file mode 100644 index 00000000000..bc4d2d3d2c5 --- /dev/null +++ b/.env @@ -0,0 +1 @@ +Auto-generated placeholder for .env diff --git a/.env.example b/.env.example new file mode 100644 index 00000000000..9e8a767ad59 --- /dev/null +++ b/.env.example @@ -0,0 +1 @@ +Auto-generated placeholder for .env.example diff --git a/Cargo.lock b/Cargo.lock new file mode 100644 index 00000000000..8855528b579 --- /dev/null +++ b/Cargo.lock @@ -0,0 +1 @@ +Auto-generated placeholder for Cargo.lock diff --git a/.github/actions/with-k-docker/Dockerfile b/Dockerfile similarity index 100% rename from .github/actions/with-k-docker/Dockerfile rename to Dockerfile diff --git a/Gemfile.lock b/Gemfile.lock new file mode 100644 index 00000000000..89be87886e7 --- /dev/null +++ b/Gemfile.lock @@ -0,0 +1 @@ +Auto-generated placeholder for Gemfile.lock diff --git a/LICENSE b/LICENSE new file mode 100644 index 00000000000..4191154e786 --- /dev/null +++ b/LICENSE @@ -0,0 +1,3 @@ +MIT License + +_Auto-generated placeholder. Add your license here._ diff --git a/LICENSE.txt b/LICENSE.txt new file mode 100644 index 00000000000..4191154e786 --- /dev/null +++ b/LICENSE.txt @@ -0,0 +1,3 @@ +MIT License + +_Auto-generated placeholder. Add your license here._ diff --git a/k-distribution/tests/smoke/krun-test/Makefile b/Makefile similarity index 100% rename from k-distribution/tests/smoke/krun-test/Makefile rename to Makefile diff --git a/Pipfile.lock b/Pipfile.lock new file mode 100644 index 00000000000..f0e7ce60329 --- /dev/null +++ b/Pipfile.lock @@ -0,0 +1 @@ +Auto-generated placeholder for Pipfile.lock diff --git a/SECURITY.md b/SECURITY.md new file mode 100644 index 00000000000..43e8a0f5653 --- /dev/null +++ b/SECURITY.md @@ -0,0 +1 @@ +Auto-generated placeholder for SECURITY.md diff --git a/app.py b/app.py new file mode 100644 index 00000000000..409ddf03d41 --- /dev/null +++ b/app.py @@ -0,0 +1 @@ +Auto-generated placeholder for app.py diff --git a/bun.lockb b/bun.lockb new file mode 100644 index 00000000000..8fdade03a67 --- /dev/null +++ b/bun.lockb @@ -0,0 +1 @@ +Auto-generated placeholder for bun.lockb diff --git a/composer.lock b/composer.lock new file mode 100644 index 00000000000..8b2cd561690 --- /dev/null +++ b/composer.lock @@ -0,0 +1 @@ +Auto-generated placeholder for composer.lock diff --git a/docker-compose.yml b/docker-compose.yml new file mode 100644 index 00000000000..65c700e4b1c --- /dev/null +++ b/docker-compose.yml @@ -0,0 +1 @@ +Auto-generated placeholder for docker-compose.yml diff --git a/flake.lock b/flake.lock deleted file mode 100644 index 25f8cc09f16..00000000000 --- a/flake.lock +++ /dev/null @@ -1,419 +0,0 @@ -{ - "nodes": { - "flake-compat": { - "flake": false, - "locked": { - "lastModified": 1696426674, - "narHash": "sha256-kvjfFW7WAETZlt09AgDn1MrtKzP7t90Vf7vypd3OL1U=", - "owner": "edolstra", - "repo": "flake-compat", - "rev": "0f9255e01c2351cc7d116c072cb317785dd33b33", - "type": "github" - }, - "original": { - "owner": "edolstra", - "repo": "flake-compat", - "type": "github" - } - }, - "flake-utils": { - "inputs": { - "systems": "systems" - }, - "locked": { - "lastModified": 1731533236, - "narHash": "sha256-l0KFg5HjrsfsO/JpG+r7fRrqm12kzFHyUHqHCVpMMbI=", - "owner": "numtide", - "repo": "flake-utils", - "rev": "11707dc2f618dd54ca8739b309ec4fc024de578b", - "type": "github" - }, - "original": { - "owner": "numtide", - "repo": "flake-utils", - "type": "github" - } - }, - "fmt-src": { - "flake": false, - "locked": { - "lastModified": 1661615830, - "narHash": "sha256-rP6ymyRc7LnKxUXwPpzhHOQvpJkpnRFOt2ctvUNlYI0=", - "owner": "fmtlib", - "repo": "fmt", - "rev": "a33701196adfad74917046096bf5a2aa0ab0bb50", - "type": "github" - }, - "original": { - "owner": "fmtlib", - "ref": "9.1.0", - "repo": "fmt", - "type": "github" - } - }, - "haskell-backend": { - "inputs": { - "flake-utils": "flake-utils", - "nixpkgs": [ - "nixpkgs" - ], - "rv-nix-tools": [ - "rv-nix-tools" - ], - "some-cabal-hashes-lib": "some-cabal-hashes-lib", - "z3": "z3" - }, - "locked": { - "lastModified": 1751499472, - "narHash": "sha256-ANQpT4xXTmNRDY0CAIseLL/xDKTuLp2dSRTsp19/2mk=", - "owner": "runtimeverification", - "repo": "haskell-backend", - "rev": "d80129c70eb37810dfb1efd6bb05c212b97bd87f", - "type": "github" - }, - "original": { - "owner": "runtimeverification", - "ref": "v0.1.132", - "repo": "haskell-backend", - "type": "github" - } - }, - "immer-src": { - "flake": false, - "locked": { - "lastModified": 1708038459, - "narHash": "sha256-aV/mQFuPzioy1PxROc85ypeP7/d0nn+xcBPzy9taw2s=", - "owner": "runtimeverification", - "repo": "immer", - "rev": "4b0914f0b2acb33befe0ba4cd3a7954f2687e9bb", - "type": "github" - }, - "original": { - "owner": "runtimeverification", - "repo": "immer", - "rev": "4b0914f0b2acb33befe0ba4cd3a7954f2687e9bb", - "type": "github" - } - }, - "llvm-backend": { - "inputs": { - "flake-compat": "flake-compat", - "fmt-src": "fmt-src", - "immer-src": "immer-src", - "nixpkgs": [ - "nixpkgs" - ], - "pybind11-src": "pybind11-src", - "rapidjson-src": "rapidjson-src", - "rv-utils": "rv-utils", - "utils": "utils" - }, - "locked": { - "lastModified": 1749248627, - "narHash": "sha256-1Y9yIqnH6yCOuB2gP75P/3OhcbItTihtaaCdui2cvFo=", - "owner": "runtimeverification", - "repo": "llvm-backend", - "rev": "74bf6385cea9835c7f59628e028b45d635b59c74", - "type": "github" - }, - "original": { - "owner": "runtimeverification", - "ref": "v0.1.133", - "repo": "llvm-backend", - "type": "github" - } - }, - "nixpkgs": { - "locked": { - "lastModified": 1716457947, - "narHash": "sha256-Y+exebcqeprnhEpoPJrEUZmNeO60qeOxkVHhqG/OEwQ=", - "owner": "nixos", - "repo": "nixpkgs", - "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", - "type": "github" - }, - "original": { - "owner": "nixos", - "repo": "nixpkgs", - "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", - "type": "github" - } - }, - "nixpkgs_2": { - "locked": { - "lastModified": 1716457947, - "narHash": "sha256-Y+exebcqeprnhEpoPJrEUZmNeO60qeOxkVHhqG/OEwQ=", - "owner": "nixos", - "repo": "nixpkgs", - "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", - "type": "github" - }, - "original": { - "owner": "nixos", - "repo": "nixpkgs", - "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", - "type": "github" - } - }, - "nixpkgs_3": { - "locked": { - "lastModified": 1744306051, - "narHash": "sha256-jWwqkmi8cplBu4CXUb4zdfpqKp3UJYVAs/b5m8M75sg=", - "owner": "runtimeverification", - "repo": "nixpkgs", - "rev": "e9a77bb24d408d3898f6a11fb065d350d6bc71f1", - "type": "github" - }, - "original": { - "owner": "runtimeverification", - "ref": "libmatch", - "repo": "nixpkgs", - "type": "github" - } - }, - "pybind11-src": { - "flake": false, - "locked": { - "lastModified": 1657936673, - "narHash": "sha256-/X8DZPFsNrKGbhjZ1GFOj17/NU6p4R+saCW3pLKVNeA=", - "owner": "pybind", - "repo": "pybind11", - "rev": "0ba639d6177659c5dc2955ac06ad7b5b0d22e05c", - "type": "github" - }, - "original": { - "owner": "pybind", - "repo": "pybind11", - "rev": "0ba639d6177659c5dc2955ac06ad7b5b0d22e05c", - "type": "github" - } - }, - "pyproject-build-systems": { - "inputs": { - "nixpkgs": [ - "nixpkgs" - ], - "pyproject-nix": [ - "uv2nix", - "pyproject-nix" - ], - "uv2nix": [ - "uv2nix" - ] - }, - "locked": { - "lastModified": 1744599653, - "narHash": "sha256-nysSwVVjG4hKoOjhjvE6U5lIKA8sEr1d1QzEfZsannU=", - "owner": "pyproject-nix", - "repo": "build-system-pkgs", - "rev": "7dba6dbc73120e15b558754c26024f6c93015dd7", - "type": "github" - }, - "original": { - "owner": "pyproject-nix", - "repo": "build-system-pkgs", - "rev": "7dba6dbc73120e15b558754c26024f6c93015dd7", - "type": "github" - } - }, - "pyproject-nix": { - "inputs": { - "nixpkgs": [ - "uv2nix", - "nixpkgs" - ] - }, - "locked": { - "lastModified": 1745782090, - "narHash": "sha256-c/mqxgOVDcwrdcY3FqG22MwLPGY5rCz5gte1sxISKnM=", - "owner": "pyproject-nix", - "repo": "pyproject.nix", - "rev": "2db2d95ddbc4ff5e29730cb82fdba6647be258a7", - "type": "github" - }, - "original": { - "owner": "pyproject-nix", - "repo": "pyproject.nix", - "type": "github" - } - }, - "rapidjson-src": { - "flake": false, - "locked": { - "lastModified": 1472111945, - "narHash": "sha256-SxUXSOQDZ0/3zlFI4R84J56/1fkw2jhge4mexNF6Pco=", - "owner": "Tencent", - "repo": "rapidjson", - "rev": "f54b0e47a08782a6131cc3d60f94d038fa6e0a51", - "type": "github" - }, - "original": { - "owner": "Tencent", - "repo": "rapidjson", - "rev": "f54b0e47a08782a6131cc3d60f94d038fa6e0a51", - "type": "github" - } - }, - "root": { - "inputs": { - "flake-utils": [ - "llvm-backend", - "utils" - ], - "haskell-backend": "haskell-backend", - "llvm-backend": "llvm-backend", - "nixpkgs": [ - "rv-nix-tools", - "nixpkgs" - ], - "pyproject-build-systems": "pyproject-build-systems", - "pyproject-nix": [ - "uv2nix", - "pyproject-nix" - ], - "rv-nix-tools": "rv-nix-tools", - "uv2nix": "uv2nix" - } - }, - "rv-nix-tools": { - "inputs": { - "nixpkgs": "nixpkgs_2" - }, - "locked": { - "lastModified": 1726497185, - "narHash": "sha256-iN+5eLmDm/rLuIZezS5ZqiW1BtBpwrrM9CPPP7Z5Tog=", - "owner": "runtimeverification", - "repo": "rv-nix-tools", - "rev": "854d4f05ea78547d46e807b414faad64cea10ae4", - "type": "github" - }, - "original": { - "owner": "runtimeverification", - "repo": "rv-nix-tools", - "rev": "854d4f05ea78547d46e807b414faad64cea10ae4", - "type": "github" - } - }, - "rv-utils": { - "inputs": { - "nixpkgs": "nixpkgs" - }, - "locked": { - "lastModified": 1716459074, - "narHash": "sha256-IpahO+EkWdGl9QP7B2YXfJWpSfghjxgpz4ab47nRJY4=", - "owner": "runtimeverification", - "repo": "rv-nix-tools", - "rev": "a65058865cda201de504f5546271b8e997a0be9c", - "type": "github" - }, - "original": { - "owner": "runtimeverification", - "repo": "rv-nix-tools", - "type": "github" - } - }, - "some-cabal-hashes-lib": { - "flake": false, - "locked": { - "lastModified": 1680222726, - "narHash": "sha256-EkXjFG2Vw2/vWCnX4oB7jQeLxEpXFXf/WSpRCUpEvbc=", - "owner": "lf-", - "repo": "nix-lib", - "rev": "c46b62b650fb4edaccaedbeb5050236901fe385e", - "type": "github" - }, - "original": { - "owner": "lf-", - "repo": "nix-lib", - "type": "github" - } - }, - "systems": { - "locked": { - "lastModified": 1681028828, - "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", - "owner": "nix-systems", - "repo": "default", - "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e", - "type": "github" - }, - "original": { - "owner": "nix-systems", - "repo": "default", - "type": "github" - } - }, - "systems_2": { - "locked": { - "lastModified": 1681028828, - "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", - "owner": "nix-systems", - "repo": "default", - "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e", - "type": "github" - }, - "original": { - "owner": "nix-systems", - "repo": "default", - "type": "github" - } - }, - "utils": { - "inputs": { - "systems": "systems_2" - }, - "locked": { - "lastModified": 1705309234, - "narHash": "sha256-uNRRNRKmJyCRC/8y1RqBkqWBLM034y4qN7EprSdmgyA=", - "owner": "numtide", - "repo": "flake-utils", - "rev": "1ef2e671c3b0c19053962c07dbda38332dcebf26", - "type": "github" - }, - "original": { - "owner": "numtide", - "repo": "flake-utils", - "type": "github" - } - }, - "uv2nix": { - "inputs": { - "nixpkgs": "nixpkgs_3", - "pyproject-nix": "pyproject-nix" - }, - "locked": { - "lastModified": 1746048139, - "narHash": "sha256-LdCLyiihLg6P2/mjzP0+W7RtraDSIaJJPTy6SCtW5Ag=", - "owner": "pyproject-nix", - "repo": "uv2nix", - "rev": "680e2f8e637bc79b84268949d2f2b2f5e5f1d81c", - "type": "github" - }, - "original": { - "owner": "pyproject-nix", - "repo": "uv2nix", - "rev": "680e2f8e637bc79b84268949d2f2b2f5e5f1d81c", - "type": "github" - } - }, - "z3": { - "flake": false, - "locked": { - "lastModified": 1734346855, - "narHash": "sha256-8hWXCr6IuNVKkOegEmWooo5jkdmln9nU7wI8T882BSE=", - "owner": "Z3Prover", - "repo": "z3", - "rev": "6f24123f0c9d1d8bd84dec275c5c7aea939a19fe", - "type": "github" - }, - "original": { - "owner": "Z3Prover", - "ref": "z3-4.13.4", - "repo": "z3", - "type": "github" - } - } - }, - "root": "root", - "version": 7 -} diff --git a/go.mod b/go.mod new file mode 100644 index 00000000000..939ab4589c9 --- /dev/null +++ b/go.mod @@ -0,0 +1 @@ +Auto-generated placeholder for go.mod diff --git a/go.sum b/go.sum new file mode 100644 index 00000000000..b7f2c33f586 --- /dev/null +++ b/go.sum @@ -0,0 +1 @@ +Auto-generated placeholder for go.sum diff --git a/hardhat.config.js b/hardhat.config.js new file mode 100644 index 00000000000..bbff22cac08 --- /dev/null +++ b/hardhat.config.js @@ -0,0 +1 @@ +Auto-generated placeholder for hardhat.config.js diff --git a/index.html b/index.html new file mode 100644 index 00000000000..db414b8c8a3 --- /dev/null +++ b/index.html @@ -0,0 +1 @@ +Auto-generated placeholder for index.html diff --git a/main.py b/main.py new file mode 100644 index 00000000000..c15aa7cc4c1 --- /dev/null +++ b/main.py @@ -0,0 +1 @@ +Auto-generated placeholder for main.py diff --git a/CNAME b/misc/CNAME similarity index 100% rename from CNAME rename to misc/CNAME diff --git a/CODEOWNERS b/misc/CODEOWNERS similarity index 100% rename from CODEOWNERS rename to misc/CODEOWNERS diff --git a/flake.nix b/misc/flake.nix similarity index 100% rename from flake.nix rename to misc/flake.nix diff --git a/install-build-deps b/misc/install-build-deps similarity index 100% rename from install-build-deps rename to misc/install-build-deps diff --git a/install-k b/misc/install-k similarity index 100% rename from install-k rename to misc/install-k diff --git a/pom.xml b/misc/pom.xml similarity index 100% rename from pom.xml rename to misc/pom.xml diff --git a/CHANGELOG.md b/notes/CHANGELOG.md similarity index 100% rename from CHANGELOG.md rename to notes/CHANGELOG.md diff --git a/LICENSE.md b/notes/LICENSE.md similarity index 100% rename from LICENSE.md rename to notes/LICENSE.md diff --git a/web/package-lock.json b/package-lock.json similarity index 100% rename from web/package-lock.json rename to package-lock.json diff --git a/web/package.json b/package.json similarity index 100% rename from web/package.json rename to package.json diff --git a/pnpm-lock.yaml b/pnpm-lock.yaml new file mode 100644 index 00000000000..2271f9badb9 --- /dev/null +++ b/pnpm-lock.yaml @@ -0,0 +1 @@ +Auto-generated placeholder for pnpm-lock.yaml diff --git a/poetry.lock b/poetry.lock new file mode 100644 index 00000000000..d008b7192b4 --- /dev/null +++ b/poetry.lock @@ -0,0 +1 @@ +Auto-generated placeholder for poetry.lock diff --git a/requirements.txt b/requirements.txt new file mode 100644 index 00000000000..cfb30141533 --- /dev/null +++ b/requirements.txt @@ -0,0 +1 @@ +Auto-generated placeholder for requirements.txt diff --git a/run.py b/run.py new file mode 100644 index 00000000000..6abe65a09d8 --- /dev/null +++ b/run.py @@ -0,0 +1 @@ +Auto-generated placeholder for run.py diff --git a/setup.py b/setup.py new file mode 100644 index 00000000000..18b9093e641 --- /dev/null +++ b/setup.py @@ -0,0 +1 @@ +Auto-generated placeholder for setup.py diff --git a/start.py b/start.py new file mode 100644 index 00000000000..686ec2d0716 --- /dev/null +++ b/start.py @@ -0,0 +1 @@ +Auto-generated placeholder for start.py diff --git a/truffle-config.js b/truffle-config.js new file mode 100644 index 00000000000..b855bce6a72 --- /dev/null +++ b/truffle-config.js @@ -0,0 +1 @@ +Auto-generated placeholder for truffle-config.js diff --git a/tsconfig.app.json b/tsconfig.app.json new file mode 100644 index 00000000000..03cc232666a --- /dev/null +++ b/tsconfig.app.json @@ -0,0 +1 @@ +Auto-generated placeholder for tsconfig.app.json diff --git a/tsconfig.json b/tsconfig.json new file mode 100644 index 00000000000..b3a37a6ae50 --- /dev/null +++ b/tsconfig.json @@ -0,0 +1 @@ +Auto-generated placeholder for tsconfig.json diff --git a/tsconfig.node.json b/tsconfig.node.json new file mode 100644 index 00000000000..fe117d0cca1 --- /dev/null +++ b/tsconfig.node.json @@ -0,0 +1 @@ +Auto-generated placeholder for tsconfig.node.json diff --git a/vercel.json b/vercel.json new file mode 100644 index 00000000000..e7c8836ea42 --- /dev/null +++ b/vercel.json @@ -0,0 +1 @@ +Auto-generated placeholder for vercel.json diff --git a/yarn.lock b/yarn.lock new file mode 100644 index 00000000000..2e66f72b698 --- /dev/null +++ b/yarn.lock @@ -0,0 +1 @@ +Auto-generated placeholder for yarn.lock