bug: CI/Docker build failures due to coreason-server crate rename

[dk-uppi-aks]

Bug Report: CI/Docker build failures due to coreason-server crate rename

Problem Description

In commit 2e1bc4c7128773f9f26c51839d8d585156554351, the server crate was renamed from server to coreason-server. However, references to the package name in Dockerfile, .github/workflows/ci.yml, and user documentation files were not updated. As a result, the Docker image builds and GitHub Actions CI workflows are broken.

Affected Files and Lines

1. Dockerfile

   • Line 23: RUN cargo build --release -p server
   • Line 37: COPY --from=builder /usr/src/coreason/target/release/server /usr/local/bin/server

2. .github/workflows/ci.yml

   • Line 50: run: cargo build -p server --target-dir target/llvm-cov-target
   • Line 108: run: cargo build -p server

3. README.md

   • Developer instructions using cargo build --release -p server

4. science/coreason_manifest/README.md

   • Developer instructions using cargo build --release -p server

Error Logs

From Docker/CI logs:

error: package ID specification `server` did not match any packages
help: a package with a similar name exists: `semver`
ERROR: process "/bin/sh -c cargo build --release -p server" did not complete successfully: exit code: 101

---

How to Confirm/Replicate the Issue

Run either of the following commands:

1. Local Docker Build:

   bash build_images.sh

   Expected result: Fails during RUN cargo build --release -p server with package matching error.

2. Local Cargo Check:

   cargo check -p server

   Expected result: error: package ID specification 'server' did not match any packages

---

Proposed Resolution

Update all occurrences of the package flag -p server to -p coreason-server, and update references to the compiled output binary target/release/server to target/release/coreason-server.

1. In Dockerfile:

   RUN cargo build --release -p coreason-server
   COPY --from=builder /usr/src/coreason/target/release/coreason-server /usr/local/bin/server

2. In .github/workflows/ci.yml:

   run: cargo build -p coreason-server --target-dir target/llvm-cov-target

   and

   run: cargo build -p coreason-server

3. In README.md and science/coreason_manifest/README.md:
   Change references to -p coreason-server.

---

How to Verify the Issue is Resolved

1. Verify Local Docker Build:

   bash build_images.sh

   Expected result: Completes successfully without syntax or package compilation errors.

2. Verify Local Cargo Build:

   cargo check -p coreason-server

   Expected result: Compiles the package successfully.

[dk-uppi-aks]

Addressed in PR #21.