Commit 853eefc
committed
tooling(pm): record the #15556 reproduction's engine double in the pinned ledger
`check:engine-double-contract` reported RETAINED on both write verbs for the
new test file: its fake engine routes delete()/update() through ObjectQL's own
dispatch predicates, but the pinned ledger had no row for the file, so the
coverage protected nothing. Written by `--write`, as the gate instructs.
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01XpTx2tbq3pZRYAdoGt6E6Y1 parent 98fdc7e commit 853eefc
1 file changed
Lines changed: 10 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2166 | 2166 | | |
2167 | 2167 | | |
2168 | 2168 | | |
| 2169 | + | |
| 2170 | + | |
| 2171 | + | |
| 2172 | + | |
| 2173 | + | |
| 2174 | + | |
| 2175 | + | |
| 2176 | + | |
| 2177 | + | |
| 2178 | + | |
2169 | 2179 | | |
2170 | 2180 | | |
2171 | 2181 | | |
| |||
0 commit comments