Skip to content

Commit 9779bde

Browse files
PhysShellclaude
PhysShell
and
claude
committed
docs(P-022): re-record the cp4 mutation campaign under the tightened runner
Taken by scripts/mutate_campaign.py --run on the clean commit 4d80087, after the runner's contracts were made fail-closed: the tree snapshot (tracked and untracked) unchanged through the control run and every restore, every required catcher present for all 30 caught mutations, M00 survived. The result no longer carries the derived expected_catchers_hit flag; the gate derives it from the definition and the recorded catchers. The regenerated fragment differs only in the commit it names. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_016vuEiNoEXaooMDRu6tXrZ6
1 parent 4d80087 commit 9779bde

2 files changed

Lines changed: 34 additions & 64 deletions

File tree

‎docs/evidence/p022-cp4-mutations.result.json‎

Lines changed: 33 additions & 63 deletions
Original file line numberDiff line numberDiff line change
@@ -4,9 +4,9 @@
44
"campaign": "p022-cp4",
55
"definition": "docs/evidence/p022-cp4-mutations.json",
66
"definition_sha256": "6f858c6bf6a24cc05cdbcfe2c9a43741576a31d1c5d580d6977222a173340424",
7-
"source_commit": "e8d88767c69cb6319948c26051f62093a9272d19",
7+
"source_commit": "4d800872554b3a2f641dea1afedc6c5a1d2213db",
88
"dirty": false,
9-
"recorded_at": "2026-09-05T16:20:56Z",
9+
"recorded_at": "2026-09-05T17:48:21Z",
1010
"packages": [
1111
"own-analysis",
1212
"own-bridge",
@@ -21,7 +21,7 @@
2121
"id": "M00",
2222
"outcome": "survived",
2323
"catchers": [],
24-
"elapsed_seconds": 2.4
24+
"elapsed_seconds": 30.6
2525
},
2626
"mutations": [
2727
{
@@ -31,53 +31,47 @@
3131
"own-bridge/src/lib.rs::verdict::tests::only_error_severity_core_verdicts_are_mapped",
3232
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
3333
],
34-
"elapsed_seconds": 1.9,
35-
"expected_catchers_hit": true
34+
"elapsed_seconds": 3.3
3635
},
3736
{
3837
"id": "M02",
3938
"outcome": "caught",
4039
"catchers": [
4140
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
4241
],
43-
"elapsed_seconds": 2.5,
44-
"expected_catchers_hit": true
42+
"elapsed_seconds": 3.5
4543
},
4644
{
4745
"id": "M03",
4846
"outcome": "caught",
4947
"catchers": [
5048
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
5149
],
52-
"elapsed_seconds": 2.5,
53-
"expected_catchers_hit": true
50+
"elapsed_seconds": 3.7
5451
},
5552
{
5653
"id": "M04",
5754
"outcome": "caught",
5855
"catchers": [
5956
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
6057
],
61-
"elapsed_seconds": 2.4,
62-
"expected_catchers_hit": true
58+
"elapsed_seconds": 3.5
6359
},
6460
{
6561
"id": "M05",
6662
"outcome": "caught",
6763
"catchers": [
6864
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
6965
],
70-
"elapsed_seconds": 2.5,
71-
"expected_catchers_hit": true
66+
"elapsed_seconds": 3.2
7267
},
7368
{
7469
"id": "M06",
7570
"outcome": "caught",
7671
"catchers": [
7772
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
7873
],
79-
"elapsed_seconds": 2.4,
80-
"expected_catchers_hit": true
74+
"elapsed_seconds": 3.2
8175
},
8276
{
8377
"id": "M07",
@@ -86,44 +80,39 @@
8680
"own-analysis/tests/fact_parity.rs::di_fact_parity",
8781
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
8882
],
89-
"elapsed_seconds": 2.6,
90-
"expected_catchers_hit": true
83+
"elapsed_seconds": 3.6
9184
},
9285
{
9386
"id": "M08",
9487
"outcome": "caught",
9588
"catchers": [
9689
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
9790
],
98-
"elapsed_seconds": 2.5,
99-
"expected_catchers_hit": true
91+
"elapsed_seconds": 3.6
10092
},
10193
{
10294
"id": "M09",
10395
"outcome": "caught",
10496
"catchers": [
10597
"own-bridge/src/lib.rs::verdict::tests::malformed_effect_entries_are_skipped_not_coerced"
10698
],
107-
"elapsed_seconds": 2.4,
108-
"expected_catchers_hit": true
99+
"elapsed_seconds": 3.3
109100
},
110101
{
111102
"id": "M10",
112103
"outcome": "caught",
113104
"catchers": [
114105
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
115106
],
116-
"elapsed_seconds": 2.4,
117-
"expected_catchers_hit": true
107+
"elapsed_seconds": 3.4
118108
},
119109
{
120110
"id": "M11",
121111
"outcome": "caught",
122112
"catchers": [
123113
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
124114
],
125-
"elapsed_seconds": 2.7,
126-
"expected_catchers_hit": true
115+
"elapsed_seconds": 3.6
127116
},
128117
{
129118
"id": "M12",
@@ -134,8 +123,7 @@
134123
"own-analysis/tests/subject.rs::param_leak_carries_the_param_origin",
135124
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
136125
],
137-
"elapsed_seconds": 2.7,
138-
"expected_catchers_hit": true
126+
"elapsed_seconds": 3.9
139127
},
140128
{
141129
"id": "M13",
@@ -144,89 +132,79 @@
144132
"own-analysis/tests/subject.rs::region_escape_carries_the_source_identity",
145133
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
146134
],
147-
"elapsed_seconds": 2.6,
148-
"expected_catchers_hit": true
135+
"elapsed_seconds": 3.7
149136
},
150137
{
151138
"id": "M14",
152139
"outcome": "caught",
153140
"catchers": [
154141
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
155142
],
156-
"elapsed_seconds": 2.3,
157-
"expected_catchers_hit": true
143+
"elapsed_seconds": 3.5
158144
},
159145
{
160146
"id": "M15",
161147
"outcome": "caught",
162148
"catchers": [
163149
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
164150
],
165-
"elapsed_seconds": 2.3,
166-
"expected_catchers_hit": true
151+
"elapsed_seconds": 3.4
167152
},
168153
{
169154
"id": "M16",
170155
"outcome": "caught",
171156
"catchers": [
172157
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
173158
],
174-
"elapsed_seconds": 2.3,
175-
"expected_catchers_hit": true
159+
"elapsed_seconds": 3.5
176160
},
177161
{
178162
"id": "M17",
179163
"outcome": "caught",
180164
"catchers": [
181165
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
182166
],
183-
"elapsed_seconds": 2.3,
184-
"expected_catchers_hit": true
167+
"elapsed_seconds": 3.5
185168
},
186169
{
187170
"id": "M18",
188171
"outcome": "caught",
189172
"catchers": [
190173
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
191174
],
192-
"elapsed_seconds": 2.2,
193-
"expected_catchers_hit": true
175+
"elapsed_seconds": 3.4
194176
},
195177
{
196178
"id": "M19",
197179
"outcome": "caught",
198180
"catchers": [
199181
"own-bridge/src/lib.rs::verdict::tests::only_error_severity_core_verdicts_are_mapped"
200182
],
201-
"elapsed_seconds": 2.4,
202-
"expected_catchers_hit": true
183+
"elapsed_seconds": 3.5
203184
},
204185
{
205186
"id": "M20",
206187
"outcome": "caught",
207188
"catchers": [
208189
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
209190
],
210-
"elapsed_seconds": 2.3,
211-
"expected_catchers_hit": true
191+
"elapsed_seconds": 3.3
212192
},
213193
{
214194
"id": "M21",
215195
"outcome": "caught",
216196
"catchers": [
217197
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
218198
],
219-
"elapsed_seconds": 2.4,
220-
"expected_catchers_hit": true
199+
"elapsed_seconds": 3.4
221200
},
222201
{
223202
"id": "M22",
224203
"outcome": "caught",
225204
"catchers": [
226205
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
227206
],
228-
"elapsed_seconds": 2.4,
229-
"expected_catchers_hit": true
207+
"elapsed_seconds": 3.3
230208
},
231209
{
232210
"id": "M23",
@@ -235,62 +213,55 @@
235213
"own-bridge/src/lib.rs::verdict::tests::only_error_severity_core_verdicts_are_mapped",
236214
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
237215
],
238-
"elapsed_seconds": 2.6,
239-
"expected_catchers_hit": true
216+
"elapsed_seconds": 3.5
240217
},
241218
{
242219
"id": "M24",
243220
"outcome": "caught",
244221
"catchers": [
245222
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
246223
],
247-
"elapsed_seconds": 2.5,
248-
"expected_catchers_hit": true
224+
"elapsed_seconds": 3.6
249225
},
250226
{
251227
"id": "M25",
252228
"outcome": "caught",
253229
"catchers": [
254230
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
255231
],
256-
"elapsed_seconds": 2.5,
257-
"expected_catchers_hit": true
232+
"elapsed_seconds": 3.5
258233
},
259234
{
260235
"id": "M26",
261236
"outcome": "caught",
262237
"catchers": [
263238
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
264239
],
265-
"elapsed_seconds": 2.4,
266-
"expected_catchers_hit": true
240+
"elapsed_seconds": 3.4
267241
},
268242
{
269243
"id": "M27",
270244
"outcome": "caught",
271245
"catchers": [
272246
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
273247
],
274-
"elapsed_seconds": 2.3,
275-
"expected_catchers_hit": true
248+
"elapsed_seconds": 3.3
276249
},
277250
{
278251
"id": "M28",
279252
"outcome": "caught",
280253
"catchers": [
281254
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
282255
],
283-
"elapsed_seconds": 2.4,
284-
"expected_catchers_hit": true
256+
"elapsed_seconds": 3.1
285257
},
286258
{
287259
"id": "M29",
288260
"outcome": "caught",
289261
"catchers": [
290262
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
291263
],
292-
"elapsed_seconds": 2.4,
293-
"expected_catchers_hit": true
264+
"elapsed_seconds": 3.1
294265
},
295266
{
296267
"id": "M30",
@@ -299,8 +270,7 @@
299270
"own-bridge/src/lib.rs::verdict::tests::di_coercions_match_the_reference",
300271
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
301272
],
302-
"elapsed_seconds": 2.5,
303-
"expected_catchers_hit": true
273+
"elapsed_seconds": 3.3
304274
}
305275
]
306276
}

‎docs/generated/p022-cp4-mutations.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ Definition: `docs/evidence/p022-cp4-mutations.json` (sha256 `6f858c6bf6a24cc0…
88

99
| measure | value |
1010
|------------------------------------------------------------|---|
11-
| recorded at commit | `e8d88767c69cb6319948c26051f62093a9272d19` |
11+
| recorded at commit | `4d800872554b3a2f641dea1afedc6c5a1d2213db` |
1212
| packages tested (every workspace member, `--no-fail-fast`) | `own-analysis`, `own-bridge`, `own-cfg`, `own-diagnostics`, `own-ir`, `own-lowered`, `own-syntax` |
1313
| mutations | 30 |
1414
| caught | 30 |

0 commit comments

Comments
 (0)