From 99919cf5b292821e202f1aac0aa8b7e2ed33b165 Mon Sep 17 00:00:00 2001 From: Alexander Mills Date: Sat, 8 Aug 2026 19:37:53 -0500 Subject: [PATCH 1/4] chore(DEN-1462): stage repaired exporter certification pin --- .../workflows/apply-pr131-repaired-pin.yml | 63 +++++++++++++++++++ 1 file changed, 63 insertions(+) create mode 100644 .github/workflows/apply-pr131-repaired-pin.yml diff --git a/.github/workflows/apply-pr131-repaired-pin.yml b/.github/workflows/apply-pr131-repaired-pin.yml new file mode 100644 index 00000000..92da0855 --- /dev/null +++ b/.github/workflows/apply-pr131-repaired-pin.yml @@ -0,0 +1,63 @@ +name: apply PR 131 repaired certification pin + +on: + push: + branches: + - test/den-1462-pr131-repaired-head + +permissions: + contents: write + +concurrency: + group: pr131-repaired-certification-pin + cancel-in-progress: true + +defaults: + run: + shell: bash + +jobs: + update: + if: github.actor != 'github-actions[bot]' + runs-on: ubuntu-24.04 + timeout-minutes: 10 + steps: + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1 + with: + ref: test/den-1462-pr131-repaired-head + fetch-depth: 0 + persist-credentials: true + show-progress: false + + - name: Pin the repaired immutable exporter head + run: | + set -euo pipefail + python3 - <<'PY' + from pathlib import Path + + replacements = { + '5ad549c544276a713dd5de353f6fbe8ddd4b53d7': 'e8367425baa545dd045fc033e5fea4396aa31554', + '7c5445b2cd15a503c8004da98cac31451ea2f1d4': 'e8367425baa545dd045fc033e5fea4396aa31554', + } + for name in [ + '.github/workflows/mise-export-boundaries.yml', + 'docs/mise-export-boundaries.md', + ]: + path = Path(name) + text = path.read_text(encoding='utf-8') + for old, new in replacements.items(): + text = text.replace(old, new) + path.write_text(text, encoding='utf-8') + PY + + rm .github/workflows/apply-pr131-repaired-pin.yml + git diff --check + grep -R 'e8367425baa545dd045fc033e5fea4396aa31554' \ + .github/workflows/mise-export-boundaries.yml \ + docs/mise-export-boundaries.md + + git config user.name 'github-actions[bot]' + git config user.email '41898282+github-actions[bot]@users.noreply.github.com' + git add -A + git commit -m 'test(DEN-1462): certify repaired exporter head' + git push origin HEAD:test/den-1462-pr131-repaired-head From a7dfce27264aba8cdd993f4707deaebf235ed125 Mon Sep 17 00:00:00 2001 From: Alexander Mills Date: Sat, 8 Aug 2026 19:39:52 -0500 Subject: [PATCH 2/4] test(DEN-1462): pin repaired exporter head --- .github/workflows/mise-export-boundaries.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/mise-export-boundaries.yml b/.github/workflows/mise-export-boundaries.yml index 80cd90ac..ee867f49 100644 --- a/.github/workflows/mise-export-boundaries.yml +++ b/.github/workflows/mise-export-boundaries.yml @@ -9,7 +9,7 @@ on: zed_cli_ref: description: Immutable zed-cli commit to certify required: false - default: 5ad549c544276a713dd5de353f6fbe8ddd4b53d7 + default: e8367425baa545dd045fc033e5fea4396aa31554 schedule: - cron: "17 5 * * 3" @@ -27,7 +27,7 @@ defaults: env: CARGO_TERM_COLOR: always RUST_BACKTRACE: "1" - ZED_CLI_REF: ${{ github.event.inputs.zed_cli_ref || '5ad549c544276a713dd5de353f6fbe8ddd4b53d7' }} + ZED_CLI_REF: ${{ github.event.inputs.zed_cli_ref || 'e8367425baa545dd045fc033e5fea4396aa31554' }} jobs: certify: From 3348e305e7137966015749ed1c177911436e277c Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Sun, 9 Aug 2026 00:40:00 +0000 Subject: [PATCH 3/4] test(DEN-1462): certify repaired exporter head --- .../workflows/apply-pr131-repaired-pin.yml | 63 ------------------- docs/mise-export-boundaries.md | 4 +- 2 files changed, 2 insertions(+), 65 deletions(-) delete mode 100644 .github/workflows/apply-pr131-repaired-pin.yml diff --git a/.github/workflows/apply-pr131-repaired-pin.yml b/.github/workflows/apply-pr131-repaired-pin.yml deleted file mode 100644 index 92da0855..00000000 --- a/.github/workflows/apply-pr131-repaired-pin.yml +++ /dev/null @@ -1,63 +0,0 @@ -name: apply PR 131 repaired certification pin - -on: - push: - branches: - - test/den-1462-pr131-repaired-head - -permissions: - contents: write - -concurrency: - group: pr131-repaired-certification-pin - cancel-in-progress: true - -defaults: - run: - shell: bash - -jobs: - update: - if: github.actor != 'github-actions[bot]' - runs-on: ubuntu-24.04 - timeout-minutes: 10 - steps: - - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1 - with: - ref: test/den-1462-pr131-repaired-head - fetch-depth: 0 - persist-credentials: true - show-progress: false - - - name: Pin the repaired immutable exporter head - run: | - set -euo pipefail - python3 - <<'PY' - from pathlib import Path - - replacements = { - '5ad549c544276a713dd5de353f6fbe8ddd4b53d7': 'e8367425baa545dd045fc033e5fea4396aa31554', - '7c5445b2cd15a503c8004da98cac31451ea2f1d4': 'e8367425baa545dd045fc033e5fea4396aa31554', - } - for name in [ - '.github/workflows/mise-export-boundaries.yml', - 'docs/mise-export-boundaries.md', - ]: - path = Path(name) - text = path.read_text(encoding='utf-8') - for old, new in replacements.items(): - text = text.replace(old, new) - path.write_text(text, encoding='utf-8') - PY - - rm .github/workflows/apply-pr131-repaired-pin.yml - git diff --check - grep -R 'e8367425baa545dd045fc033e5fea4396aa31554' \ - .github/workflows/mise-export-boundaries.yml \ - docs/mise-export-boundaries.md - - git config user.name 'github-actions[bot]' - git config user.email '41898282+github-actions[bot]@users.noreply.github.com' - git add -A - git commit -m 'test(DEN-1462): certify repaired exporter head' - git push origin HEAD:test/den-1462-pr131-repaired-head diff --git a/docs/mise-export-boundaries.md b/docs/mise-export-boundaries.md index 67ac5bda..4ed04ef8 100644 --- a/docs/mise-export-boundaries.md +++ b/docs/mise-export-boundaries.md @@ -11,7 +11,7 @@ Canonical product PR: `zed-pkg/zed-cli#131`. Pinned product head: ```text -7c5445b2cd15a503c8004da98cac31451ea2f1d4 +e8367425baa545dd045fc033e5fea4396aa31554 ``` The product branch was semantically merged with current `main` head `5d1d13119be5784f545a7d812cdfaae3ca120693`. Current submodule CLI and project-lock behavior were adopted verbatim; `src/main.rs` was composed by extracting the already-tested exporter import and dispatch arms into the current main-line recovery and locking flow. The exporter remains a ten-file source, test, contract, and documentation delta with no materializer or synchronization workflow. @@ -71,7 +71,7 @@ The complete current manager-lock identity contract is separately merged and cer Promotion requires: -1. the workflow pin matching final immutable head `7c5445b2cd15a503c8004da98cac31451ea2f1d4` of `zed-pkg/zed-cli#131`; +1. the workflow pin matching final immutable head `e8367425baa545dd045fc033e5fea4396aa31554` of `zed-pkg/zed-cli#131`; 2. Ubuntu 24.04, macOS 15, and Windows Server 2025 success; 3. formatting, focused unit tests, the public API target, real CLI tests, a locked release build, and all-target Clippy with warnings denied; 4. both black-box harnesses passing on all platforms, with symlink assertions skipped only where the host cannot create symlinks; From cff3b495b48df1b4f243dd391446f20969d3d7cb Mon Sep 17 00:00:00 2001 From: alex-mills Date: Sun, 9 Aug 2026 15:46:12 -0500 Subject: [PATCH 4/4] test(DEN-1462): repin Windows-safe exporter head --- .github/workflows/mise-export-boundaries.yml | 4 ++-- docs/mise-export-boundaries.md | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/mise-export-boundaries.yml b/.github/workflows/mise-export-boundaries.yml index ee867f49..28c11ce5 100644 --- a/.github/workflows/mise-export-boundaries.yml +++ b/.github/workflows/mise-export-boundaries.yml @@ -9,7 +9,7 @@ on: zed_cli_ref: description: Immutable zed-cli commit to certify required: false - default: e8367425baa545dd045fc033e5fea4396aa31554 + default: 3434716591e048d0a769bafd47353d2953e89e48 schedule: - cron: "17 5 * * 3" @@ -27,7 +27,7 @@ defaults: env: CARGO_TERM_COLOR: always RUST_BACKTRACE: "1" - ZED_CLI_REF: ${{ github.event.inputs.zed_cli_ref || 'e8367425baa545dd045fc033e5fea4396aa31554' }} + ZED_CLI_REF: ${{ github.event.inputs.zed_cli_ref || '3434716591e048d0a769bafd47353d2953e89e48' }} jobs: certify: diff --git a/docs/mise-export-boundaries.md b/docs/mise-export-boundaries.md index 4ed04ef8..deea84ae 100644 --- a/docs/mise-export-boundaries.md +++ b/docs/mise-export-boundaries.md @@ -11,10 +11,10 @@ Canonical product PR: `zed-pkg/zed-cli#131`. Pinned product head: ```text -e8367425baa545dd045fc033e5fea4396aa31554 +3434716591e048d0a769bafd47353d2953e89e48 ``` -The product branch was semantically merged with current `main` head `5d1d13119be5784f545a7d812cdfaae3ca120693`. Current submodule CLI and project-lock behavior were adopted verbatim; `src/main.rs` was composed by extracting the already-tested exporter import and dispatch arms into the current main-line recovery and locking flow. The exporter remains a ten-file source, test, contract, and documentation delta with no materializer or synchronization workflow. +The product branch was semantically merged with current `main` head `751358fe130e64b646844bc7d857c4cff215ca2d`. Current submodule CLI and project-lock behavior were adopted verbatim, including the independently merged Windows lock-contention normalization; `src/main.rs` retains only the already-tested exporter import and dispatch arms inside the current main-line recovery and locking flow. The exporter remains a ten-file source, test, contract, and documentation delta with no materializer or synchronization workflow. The public Rust API enforces the reserved exporter-state source boundary before delegating to the implementation. This protects the CLI, external Rust callers, portable case aliases, and in-project symlink aliases through one shared guard. @@ -71,7 +71,7 @@ The complete current manager-lock identity contract is separately merged and cer Promotion requires: -1. the workflow pin matching final immutable head `e8367425baa545dd045fc033e5fea4396aa31554` of `zed-pkg/zed-cli#131`; +1. the workflow pin matching final immutable head `3434716591e048d0a769bafd47353d2953e89e48` of `zed-pkg/zed-cli#131`; 2. Ubuntu 24.04, macOS 15, and Windows Server 2025 success; 3. formatting, focused unit tests, the public API target, real CLI tests, a locked release build, and all-target Clippy with warnings denied; 4. both black-box harnesses passing on all platforms, with symlink assertions skipped only where the host cannot create symlinks;