Skip to content

Record FastLanes Linux retry evidence - #172

Closed
Anionix wants to merge 3 commits into
mainfrom
codex/record-fastlanes-linux-retry
Closed

Record FastLanes Linux retry evidence#172
Anionix wants to merge 3 commits into
mainfrom
codex/record-fastlanes-linux-retry

Conversation

@Anionix

@Anionix Anionix commented Jul 16, 2026

Copy link
Copy Markdown
Owner

Summary

  • record the successful Linux x86_64 build and the pinned-source runtime outcomes from workflow run 29520329351
  • preserve numeric/string SIGSEGV, mixed-schema UNREACHABLE, and Linux malformed-input behavior as experimental evidence
  • link the run, artifact paths, archive SHA-256, environment, and retry condition

The result stays PARTIAL / FAILED and is excluded from all rankings.

Refs #38

Verification

  • jq empty research/formats/fastlanes.json
  • nix develop --command ruff check src tests
  • nix develop --command uv sync --frozen
  • PYTHONPATH=src .venv/bin/pytest -q tests/test_research.py

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 52abb032f3

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread research/formats/fastlanes.json Outdated
Comment on lines +107 to +110
"artifact_name": "data-format-lab-fastlanes-linux-x86_64-29520329351",
"results_path": "runs/fastlanes-linux-29520329351/results.json",
"archive_path": "outputs/release/data-format-lab-fastlanes-linux-x86_64-29520329351.tar.zst",
"archive_sha256": "b9270a10d9cc0f5d81a81e67b8e22af591a06018e767720b9d9c6e4c3689227a"

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P1 Badge Publish the evidence archive before recording the result

The checked .github/workflows/benchmark-fastlanes.yml uploads this archive only as a GitHub Actions artifact with retention-days: 14, while this record provides no durable Release asset URL. After that retention window, results.json, logs, case inputs, and the archive named here will be unavailable, leaving only an unverifiable summary and hash; attach the archive to a Release as required by docs/native-robustness.md before publishing this attempt.

Useful? React with 👍 / 👎.

Comment thread research/formats/fastlanes.json Outdated
"package": "pyfastlanes==0.1.3.post9",
"runtime_version": "0.1.4"
},
"build_command": "python -m venv native/fastlanes/.venv; pip install scikit-build-core==0.11.6 cmake==4.4.0 ninja==1.13.0 pybind11==2.12.1 setuptools-scm==8.3.1; CMAKE_BUILD_PARALLEL_LEVEL=4 pip install --no-build-isolation -e native/fastlanes",

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P1 Badge Use the tested virtualenv in the recorded build command

When this command is run literally from a clean checkout, it creates native/fastlanes/.venv but then invokes unqualified pip for both installs, so they target the caller's ambient interpreter rather than the new virtualenv. The workflow actually uses native/fastlanes/.venv/bin/python -m pip inside nix develop; recording that executable-qualified invocation is necessary to reproduce the tested build without mixing interpreters and toolchains.

Useful? React with 👍 / 👎.

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 4f79a3c09e

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment on lines +85 to +86
"cmake": "4.1.2",
"ninja": "1.13.2",

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Record the build-tool versions actually used

For this Linux attempt, these values conflict with the recorded build command: the workflow installs CMake 4.4.0 and Ninja 1.13.0 into the FastLanes virtualenv before invoking scikit-build-core, while its metadata step prints the separate Nix-shell cmake and ninja versions, 4.1.2 and 1.13.2. The research log consequently describes the build as using the latter versions without establishing which executables performed the build. Distinguish the ambient and build-tool versions and record the venv tool output so reproductions do not silently use a different toolchain.

Useful? React with 👍 / 👎.

@Anionix

Anionix commented Jul 16, 2026

Copy link
Copy Markdown
Owner Author

Superseded by merged PR #173 and durable-evidence follow-up #174, which records the same run with Release asset URLs, archive SHA-256, host provenance, and retry conditions.

@Anionix Anionix closed this Jul 16, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant