Skip to content

Commit 23d04fd

Browse files
committed
ownership-lab H-25 probe: OFF versus ON scan outputs over 8 consumers / 766 units (gzipped), aggregation, triage, offcheck (52/52), record copy
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01Am9eQwzNfbugH72eVKetC2
1 parent 8b921a1 commit 23d04fd

14 files changed

Lines changed: 649 additions & 1 deletion
5.16 KB
Binary file not shown.
2.93 KB
Binary file not shown.
12.1 KB
Binary file not shown.
Binary file not shown.
Binary file not shown.
524 Bytes
Binary file not shown.
11.4 KB
Binary file not shown.
3.06 KB
Binary file not shown.
Binary file not shown.
Lines changed: 26 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,26 @@
1+
{
2+
"schema": "own.net/h25/probe-triage/v1",
3+
"basis": "OFF (rows, no seam) versus ON (rows + OWEN_H25=1) over the 8 frozen consumers in the corrected environment with the erratum-3 rows; FINAL: all 8 consumers scanned",
4+
"new": [],
5+
"lost": [],
6+
"applied_site_readings": [
7+
{
8+
"repo": "JasperFx/marten",
9+
"file": "src/Marten/Events/Daemon/HighWater/PostgresqlListenWakeup.cs",
10+
"line": 82,
11+
"callable": "Npgsql.NpgsqlDataSource.OpenConnectionAsync",
12+
"shape": "declaration+await",
13+
"reading": "the predicate fired (hit log) and the awaited connection is then stored into the field `_connection` (`_connection = conn;`): an ownership transfer to the object; the escape pass untracks the local, no function is emitted, OFF == ON facts; correct behaviour, no finding"
14+
},
15+
{
16+
"repo": "mikependon/RepoDB",
17+
"file": "src/Providers/RepoDb.PostgreSql.BulkOperations/RepoDb.PostgreSql.BulkOperations/Extensions/NpgsqlConnectionExtension.cs",
18+
"line": 303,
19+
"callable": "Npgsql.NpgsqlConnection.BeginBinaryImportAsync",
20+
"shape": "declaration+await",
21+
"reading": "the awaited importer is returned (`return importer;`) from a private async factory: an ownership transfer out; expected no finding"
22+
}
23+
],
24+
"count_correction": "h25-probe-amendment-1 wrote 'expected 4 (declarations)'; the five non-using trusted sites are 2 declarations + 3 assignments (the marten BulkEventAppender writes inside try, excluded by the H-23A narrowing and not enabled in the scan), so the applicable set is 2",
25+
"note": "no finding changed on any of the 772 units; both applicable sites are ownership transfers (field adoption, return), which is exactly the escape class the semantic-coverage track named as the next bottleneck after resolution"
26+
}

0 commit comments

Comments
 (0)