Commit cd09d3b
committed
chore: record the new pinned doubles and drop the tracker id from a runtime string
`check:engine-double-contract --write` records the three newly-pinned seams in
the #16608 conformance file's engine double — new pinned coverage the ledger
had not learned about yet.
The fail-closed developer message no longer carries the tracker id: a runtime
string reaches authors and operators, none of whom can resolve `#NNNN`
(check:doc-authoring). The id stays in the adjacent comment, where the reader
who can resolve it is already looking.
Refs #16608.
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_012zTkyNHJ7TkuN2oXtP5x371 parent 787e278 commit cd09d3b
2 files changed
Lines changed: 16 additions & 1 deletion
File tree
- packages/plugins/plugin-security/src
- scripts
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
3308 | 3308 | | |
3309 | 3309 | | |
3310 | 3310 | | |
3311 | | - | |
| 3311 | + | |
3312 | 3312 | | |
3313 | 3313 | | |
3314 | 3314 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2681 | 2681 | | |
2682 | 2682 | | |
2683 | 2683 | | |
| 2684 | + | |
| 2685 | + | |
| 2686 | + | |
| 2687 | + | |
| 2688 | + | |
| 2689 | + | |
| 2690 | + | |
| 2691 | + | |
| 2692 | + | |
| 2693 | + | |
| 2694 | + | |
| 2695 | + | |
| 2696 | + | |
| 2697 | + | |
| 2698 | + | |
2684 | 2699 | | |
2685 | 2700 | | |
2686 | 2701 | | |
| |||
0 commit comments