Skip to content

Commit c57a919

Browse files
claudeclaude
committed
research(P-036): bakeoff complete — results, mechanical decision inputs, two-part verdict
Closes the research record at docs/notes/p036-bakeoff.md: §3.2 results by family, §3.3 custom-query comparison (scored separately from stock), §3.4 mechanical D1/D2/D4 inputs with the human reading beside them, §8.1 PREREGISTERED VERDICT (NO-GO under the frozen global D2: F4-S1 discriminated stock by IDISP009), §8.2 METHODOLOGY SENSITIVITY / CONTRACT DEFECT (S1-S4: GO structurally unreachable, per-domain D2 reads as SHRINK to the P-037 guarded-transfer core plus exceptional-exit teardown; mapping has no cell for D4 = 0), §8.3 carry-forward. The preregistration was not amended. Evidence: full results.json (801 result rows, head 14ab0dd), regenerated summary.md, and the remaining raw per-tool outputs. The machine-readable "discriminates" rule text now states the predicate exactly as coded (after side CLEAN / NOT_APPLICABLE / ABSENT) so an independent recompute from raw/ reproduces the same D2; decision inputs are unchanged. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01QfeUtLRm6KFRWcTGQZxQQb
1 parent 14ab0dd commit c57a919

192 files changed

Lines changed: 6178 additions & 316 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎docs/evidence/p036-bakeoff/raw/codeql/F1-01.after.custom_query_naive.json‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
{
2+
"case": "F1-01",
3+
"side": "after",
4+
"tool": "codeql",
5+
"config": "custom_query_naive",
6+
"status": "CLEAN",
7+
"findings": [],
8+
"note": "",
9+
"elapsed_s": 5.65,
10+
"timing_label": "EXPLORATORY ONLY / NON-ADMISSIBLE FOR #263 / NON-PUBLICATION-GRADE / UNCONTROLLED SHARED HOST"
11+
}

‎docs/evidence/p036-bakeoff/raw/codeql/F1-01.after.custom_query_teardown.json‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
{
2+
"case": "F1-01",
3+
"side": "after",
4+
"tool": "codeql",
5+
"config": "custom_query_teardown",
6+
"status": "CLEAN",
7+
"findings": [],
8+
"note": "",
9+
"elapsed_s": 5.51,
10+
"timing_label": "EXPLORATORY ONLY / NON-ADMISSIBLE FOR #263 / NON-PUBLICATION-GRADE / UNCONTROLLED SHARED HOST"
11+
}

‎docs/evidence/p036-bakeoff/raw/codeql/F1-01.before.custom_query_naive.json‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
{
2+
"case": "F1-01",
3+
"side": "before",
4+
"tool": "codeql",
5+
"config": "custom_query_naive",
6+
"status": "MISSED",
7+
"findings": [],
8+
"note": "",
9+
"elapsed_s": 5.6,
10+
"timing_label": "EXPLORATORY ONLY / NON-ADMISSIBLE FOR #263 / NON-PUBLICATION-GRADE / UNCONTROLLED SHARED HOST"
11+
}

‎docs/evidence/p036-bakeoff/raw/codeql/F1-01.before.custom_query_teardown.json‎

Lines changed: 23 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,23 @@
1+
{
2+
"case": "F1-01",
3+
"side": "before",
4+
"tool": "codeql",
5+
"config": "custom_query_teardown",
6+
"status": "DETECTED_CUSTOM_QUERY",
7+
"findings": [
8+
{
9+
"rule": "ownnet/p036/subscription-not-released-in-teardown",
10+
"line": 25,
11+
"message": "Event 'PropertyChanged' subscribed here has no unguarded '-=' in a proven teardown context of 'GoodsDocument'.",
12+
"level": "",
13+
"path": "Case.cs",
14+
"extra": {
15+
"codeFlows": 0,
16+
"relatedLocations": 0
17+
}
18+
}
19+
],
20+
"note": "",
21+
"elapsed_s": 5.63,
22+
"timing_label": "EXPLORATORY ONLY / NON-ADMISSIBLE FOR #263 / NON-PUBLICATION-GRADE / UNCONTROLLED SHARED HOST"
23+
}

‎docs/evidence/p036-bakeoff/raw/codeql/F1-02.after.custom_query_naive.json‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
{
2+
"case": "F1-02",
3+
"side": "after",
4+
"tool": "codeql",
5+
"config": "custom_query_naive",
6+
"status": "CLEAN",
7+
"findings": [],
8+
"note": "",
9+
"elapsed_s": 6.61,
10+
"timing_label": "EXPLORATORY ONLY / NON-ADMISSIBLE FOR #263 / NON-PUBLICATION-GRADE / UNCONTROLLED SHARED HOST"
11+
}

‎docs/evidence/p036-bakeoff/raw/codeql/F1-02.after.custom_query_teardown.json‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
{
2+
"case": "F1-02",
3+
"side": "after",
4+
"tool": "codeql",
5+
"config": "custom_query_teardown",
6+
"status": "CLEAN",
7+
"findings": [],
8+
"note": "",
9+
"elapsed_s": 7.88,
10+
"timing_label": "EXPLORATORY ONLY / NON-ADMISSIBLE FOR #263 / NON-PUBLICATION-GRADE / UNCONTROLLED SHARED HOST"
11+
}

‎docs/evidence/p036-bakeoff/raw/codeql/F1-02.before.custom_query_naive.json‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
{
2+
"case": "F1-02",
3+
"side": "before",
4+
"tool": "codeql",
5+
"config": "custom_query_naive",
6+
"status": "MISSED",
7+
"findings": [],
8+
"note": "",
9+
"elapsed_s": 6.62,
10+
"timing_label": "EXPLORATORY ONLY / NON-ADMISSIBLE FOR #263 / NON-PUBLICATION-GRADE / UNCONTROLLED SHARED HOST"
11+
}

‎docs/evidence/p036-bakeoff/raw/codeql/F1-02.before.custom_query_teardown.json‎

Lines changed: 23 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,23 @@
1+
{
2+
"case": "F1-02",
3+
"side": "before",
4+
"tool": "codeql",
5+
"config": "custom_query_teardown",
6+
"status": "DETECTED_CUSTOM_QUERY",
7+
"findings": [
8+
{
9+
"rule": "ownnet/p036/subscription-not-released-in-teardown",
10+
"line": 31,
11+
"message": "Event 'PropertyChanged' subscribed here has no unguarded '-=' in a proven teardown context of 'SessionDocument'.",
12+
"level": "",
13+
"path": "Case.cs",
14+
"extra": {
15+
"codeFlows": 0,
16+
"relatedLocations": 0
17+
}
18+
}
19+
],
20+
"note": "",
21+
"elapsed_s": 7.61,
22+
"timing_label": "EXPLORATORY ONLY / NON-ADMISSIBLE FOR #263 / NON-PUBLICATION-GRADE / UNCONTROLLED SHARED HOST"
23+
}

‎docs/evidence/p036-bakeoff/raw/codeql/F1-03.after.custom_query_naive.json‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
{
2+
"case": "F1-03",
3+
"side": "after",
4+
"tool": "codeql",
5+
"config": "custom_query_naive",
6+
"status": "CLEAN",
7+
"findings": [],
8+
"note": "",
9+
"elapsed_s": 6.8,
10+
"timing_label": "EXPLORATORY ONLY / NON-ADMISSIBLE FOR #263 / NON-PUBLICATION-GRADE / UNCONTROLLED SHARED HOST"
11+
}

‎docs/evidence/p036-bakeoff/raw/codeql/F1-03.after.custom_query_teardown.json‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
{
2+
"case": "F1-03",
3+
"side": "after",
4+
"tool": "codeql",
5+
"config": "custom_query_teardown",
6+
"status": "CLEAN",
7+
"findings": [],
8+
"note": "",
9+
"elapsed_s": 7.99,
10+
"timing_label": "EXPLORATORY ONLY / NON-ADMISSIBLE FOR #263 / NON-PUBLICATION-GRADE / UNCONTROLLED SHARED HOST"
11+
}

0 commit comments

Comments
 (0)