Skip to content

Refresh ReplaceRange proof locks after the dependency update - #355

Merged
flyingrobots merged 1 commit into
mainfrom
fix/validation-lock-after-dependency-update
Oct 19, 2026
Merged

flyingrobots merged 1 commit into
mainfrom
fix/validation-lock-after-dependency-update

Conversation

@flyingrobots

@flyingrobots flyingrobots commented Oct 19, 2026 •

Copy link
Copy Markdown
Owner

Merging #352 after #353 changed package-lock.json while the ReplaceRange proof environment still pinned its previous bytes. The post-merge package-chain job correctly rejected that mismatch before compilation.

Refresh the validation lock's package-lock hash and regenerate the build lock's toolchain and source-closure hashes. The executable package, executable subject, and verifier evidence identities remain unchanged.

Validation: the public package chain reproduced package-lock.json differs from the validation-environment lock before the update. The complete public compiler/provider/runtime chain passed using Node 22.23.1, npm 10.9.8, Rust 1.96.0, and clean checkouts of the existing pinned Edict/Echo commits. node --test edict/replace-range/tests/proof-harness.spec.mjs passed all 12 adversarial checks. npm run quality and git diff --check passed.

Documentation impact: none. This is a mechanical lock refresh with no source, runtime, format, dependency-version, or authority-policy change.

@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Oct 19, 2026 •

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-10-19T09:41:48.387274Z 7e4cea3 PR opened
ℹ️ 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" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@flyingrobots

Copy link
Copy Markdown
Owner Author

@coderabbitai review

@flyingrobots

Copy link
Copy Markdown
Owner Author

@coderabbitai full review

@coderabbitai

coderabbitai Bot commented Oct 19, 2026 •

Copy link
Copy Markdown

Review in Change Stack →

Warning

Review limit reached

You've used all free OSS reviews for now. Wait for the free limit to reset to keep reviewing this public repository.

Next included review available in 53 minutes.

Check out review usage here.

View limit details

Limit details: You’ve used the included review currently available.

Learn how review limits work.

Review configuration:

⚙️ Run configuration
  • Configuration used: Organization UI
  • Review profile: ASSERTIVE
  • Plan: Advanced
  • Run ID: 7f3dddb9-cc6d-49cf-999e-c4a923037127
📥 Commits

Reviewing files that changed from the base of the PR and between 6a2bff2 and 7e4cea3.

📒 Files selected for processing: 2
  • edict/replace-range/edict.build-lock.json
  • edict/replace-range/edict.toolchain-lock.json

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info
⚙️ Run configuration
  • Configuration used: Organization UI
  • Review profile: ASSERTIVE
  • Plan: Advanced
  • Run ID: 20199f3e-d2e0-42e8-a03a-bcd02ef1a91e
📥 Commits

Reviewing files that changed from the base of the PR and between 6a2bff2 and 7e4cea3.

📒 Files selected for processing: 2
  • edict/replace-range/edict.build-lock.json
  • edict/replace-range/edict.toolchain-lock.json

Included review availability: This review used your included allowance. Your plan provides up to 1 included review per hour; 0 remain after this review.

📜 Recent review details
🔇 Additional comments: 2
edict/replace-range/edict.build-lock.json: 1

5-5: LGTM!

Also applies to: 8-8, 20-20, 92-92

edict/replace-range/edict.toolchain-lock.json: 1

23-23: LGTM!

Summary by CodeRabbit

  • Chores
    • Updated build metadata; no user-facing functionality changed.

Walkthrough

The build lock and toolchain lock now record updated SHA-256 values. The build lock also records an updated source-closure digest.

Changes

Lock Hash Refresh

Layer / File(s) Summary
Refresh lock hash records
edict/replace-range/edict.toolchain-lock.json, edict/replace-range/edict.build-lock.json
The toolchain lock records an updated package-lock.json hash. The build lock records updated hashes for the toolchain lock, source-closure entry, and project/package-lock.json.

Priority: ⬇️ Low

Estimated code review effort: 1 (Trivial) | ~4 minutes

Change: Other

Merge Risk: ⚪ Minimal · up to 7e4ce

The refreshed build metadata matches the current lockfiles and source closure, so the existing integrity checks accept this update.

### Architecture Summary

Architecture risk: 🔵 Low · up to 7e4ce

The change affects 1 system.

Changed systems: edict

Architecture concerns
No architecture-level concerns identified.

Review details

Systems and components

  • observed — edict (service) was modified; 2 changed files map to changed impact.

Before / after behavior

  • observed — Modified behavior in edict/replace-range/edict.build-lock.json: Updated the recorded toolchain-lock hash and source-closure digest.
  • observed — Modified behavior in edict/replace-range/edict.build-lock.json: Updated the source-closure entry’s hash for application/edict.toolchain-lock.json.
  • observed — Modified behavior in edict/replace-range/edict.build-lock.json: Updated the recorded hash for project/package-lock.json.
  • observed — Modified behavior in edict/replace-range/edict.toolchain-lock.json: The recorded package-lock.json SHA-256 changed from 4e8b2b702328a0f18453b8681a5c1290d05ee445af5c78c4526516d0e396c4e8 to f095cd19b74c3b6b2aca60229e88c057bd494212dce1b2ec47a4ce3a4786fdf4.
Pre-merge checks: Passed 5
Check name Status Explanation
Title check Passed The title clearly describes the lock refresh after a dependency update, which matches the primary changes.
Description check Passed The description explains the package-lock mismatch, the lock refresh, and the reported validation results. It is directly related to the changeset.
Docstring Coverage Passed No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check. Docstring coverage is scoped to functions touched by this diff. Analyzed 0 functions across 0…
Linked Issues check Passed Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check Passed Check skipped because no linked issues were found for this pull request.
Full details: Docstring Coverage

Explanation

No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check. Docstring coverage is scoped to functions touched by this diff. Analyzed 0 functions across 0 files. (2 skipped: 2 unsupported.)

  • Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Four hashes turn to match their files
The source-closure record aligns
The build lock notes each change
The toolchain lock updates its line
Checksums stand in neat array
No other metadata shifts today

Comment @coderabbitai help to get the list of available commands.

@coderabbitai

coderabbitai Bot commented Oct 19, 2026 •

Copy link
Copy Markdown
⚠️ Action not completed

Already reviewed the last commit. Use @coderabbitai full review to rerun a review of the entire changeset.

Note: CodeRabbit is an incremental review system and does not re-review already reviewed commits. This command is applicable only when automatic reviews are paused.

@coderabbitai

coderabbitai Bot commented Oct 19, 2026 •

Copy link
Copy Markdown
⚠️ Action not completed

Review rate limited.


Your included review limit is currently reached under our Fair Usage Limits Policy. This review may still proceed through usage-based billing if eligible. Your next included review will be available in 53 minutes.

@flyingrobots
flyingrobots merged commit 189f814 into main Oct 19, 2026
14 checks passed
@flyingrobots
flyingrobots deleted the fix/validation-lock-after-dependency-update branch October 19, 2026 10:03
flyingrobots added a commit that referenced this pull request Oct 20, 2026
The npm_and_yarn bump changes package.json and package-lock.json, which the ReplaceRange validation environment pins, so the package-chain job refused the PR before compiling (package.json differs from the validation-environment lock). Same mechanical refresh as #355: the toolchain lock's package and lockfile hashes, the build lock's toolchainLockSha256, the three affected source-closure entries, and the closure digest, recomputed with the input list and algorithm in tests/assert-build-output.mjs. The same computation reproduces main's committed closure digest exactly. No source, compiler, runtime, or executable-subject identity changes; CI's package chain rebuilds through the public compiler and verifies every lock.
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