Skip to content

fix(map): pins for #1068's eight new rows (main's Code map) - #1072

Merged
cryptskii merged 1 commit into
mainfrom
fix/pins-for-1068-rows
Sep 30, 2026
Merged

cryptskii merged 1 commit into
mainfrom
fix/pins-for-1068-rows

Conversation

@cryptskii

Copy link
Copy Markdown
Collaborator

fix(map): pins for #1068's eight new rows (main's Code map)

#1068 merged with its eight new manifest rows unpinned, so main's Code map
fails at dc6ff25 (run 36670246179): 8 UNPINNED. The rows are MR-DSM-0046
x2, MR-DSM-0056 x3 and MR-DSM-0170 x3.

Pinned at dc6ff25 against CI's code map of that commit, whose tree
fingerprint equals this tree's. Their evidence, 9 tests, ran here in
release (ci/intent_pins.py evidence --base 698d94d00) and passed. The
comparator reads 589 of 589 pins PINNED and 0 failing rows.

Only INTENT_PINS.tsv changes: 8 added lines.

#1068 merged with its eight new manifest rows unpinned, so main's Code map
fails at dc6ff25 (run 36670246179): 8 UNPINNED. The rows are MR-DSM-0046
x2, MR-DSM-0056 x3 and MR-DSM-0170 x3.

Pinned at dc6ff25 against CI's code map of that commit, whose tree
fingerprint equals this tree's. Their evidence, 9 tests, ran here in
release (`ci/intent_pins.py evidence --base 698d94d`) and passed. The
comparator reads 589 of 589 pins PINNED and 0 failing rows.

Only INTENT_PINS.tsv changes: 8 added lines.
@cryptskii
cryptskii merged commit 88e0828 into main Sep 30, 2026
24 checks passed
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