Skip to content

chore(release): v0.41.1 — reproducible output no longer path-dependent - #349

Merged
avrabe merged 1 commit into
mainfrom
chore/release-v0.41.1
Jul 15, 2026
Merged

chore(release): v0.41.1 — reproducible output no longer path-dependent#349
avrabe merged 1 commit into
mainfrom
chore/release-v0.41.1

Conversation

@avrabe

@avrabe avrabe commented Jul 15, 2026

Copy link
Copy Markdown
Contributor

Cut v0.41.1 (0.41.0 → 0.41.1). Scope: #341--reproducible output no longer depends on the input file path.

Gate

  • rivet release status v0.41.1Cuttable (SR-52 verified)
  • rivet validatePASS
  • CHANGELOG [0.41.1] with falsification

What ships

Under --reproducible, the caller-supplied component name (CLI passes the input path) no longer leaks into the output — the input identifier is positional component-{index} at all three sites (attestation descriptor, wsc InputArtifact, provenance component_id), content pinned by sha256. Byte-identical inputs at different paths now fuse identically.

Note

#339 (the Finding-A value-pointer gate) was investigated but not shipped — the fix is undecidable without reloc metadata and would over-reject real components + un-do #298. Documented on the issue as a by-design residual (--emit-relocs is the sound path).

Refs #341, #325, SR-52.

🤖 Generated with Claude Code

Cut v0.41.1 (0.41.0 → 0.41.1). Scope: #341 — --reproducible output no longer
depends on the input file path (the caller name leaked into the attestation
descriptor + provenance component_id; now positional under reproducible).

SR-52 added (verified): reproducible output depends only on input content
(#325 determinism + #341 path-independence), derives-from SYS-10. #339 (Mythos
Finding A value-pointer gate) was investigated and NOT shipped — the fix was
undecidable without reloc metadata and would over-reject real components +
un-do #298; documented on the issue.

`rivet release status v0.41.1` → Cuttable (SR-52 verified). `rivet validate`
PASS. CHANGELOG [0.41.1] with falsification.

Refs #341, #325, SR-52.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@github-actions

Copy link
Copy Markdown

LS-N verification gate

59/59 approved LS entries verified

count
Passed (≥1 test, all green) 59
Failed (≥1 test failure) 0
Missing (no ls_*_NN_* test found) 0

Approved loss-scenarios.yaml entries are expected to have a
regression test named ls_<letter>_<num>_* (e.g. LS-A-11
ls_a_11_*). The gate runs each prefix via cargo test --lib --no-fail-fast and aggregates pass/fail/missing.

Failed LS entries

(none)

Missing regression tests

(none)

Updated automatically by tools/post_verification_comment.py.
Source of truth: safety/stpa/loss-scenarios.yaml.

@avrabe
avrabe merged commit 25ee39e into main Jul 15, 2026
17 checks passed
@avrabe
avrabe deleted the chore/release-v0.41.1 branch July 15, 2026 21:08
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