Skip to content

Negative test: BSD adapter must reject undeclared non-claim reference #6

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
mdheller wants to merge 3 commits into
base: main
Choose a base branch
from
Draft

Negative test: BSD adapter must reject undeclared non-claim reference #6

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
08a4c87
Negative test undeclared BSD non-claim reference
mdheller May 11, 2026
3fc0e99
Rerun negative undeclared non-claim test after failure artifact fix
mdheller May 11, 2026
6c0f92e
Rerun undeclared non-claim negative test with printed failure bundle
mdheller May 11, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 7 additions & 0 deletions docs/negative-tests/undeclared-nonclaim-rerun-marker.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
# Negative-test rerun marker

This file exists only to trigger a fresh PR validation run after SocioSphere began printing strict-validation logs, exit codes, failure context, and materialized adapter snippets in the job log.

Expected result: this branch still fails strict adapter validation because `BSD-M6-002-four-descent-named-primes` references undeclared non-claim `bsd.no-such-nonclaim`.

Rerun marker: verify printed failure bundle summary after SocioSphere commit `77d54ee96b4257869e8b71ac5887af6d91d4d49c`.
132 changes: 21 additions & 111 deletions proof-adapter.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,21 +12,9 @@
"shell_level": "finite arithmetic consistency grid",
"projection": "Tunnell ternary counts, root-number n mod 8 datum, CM inert-prime checks",
"statement": "The BSD program maintains a C5-style arithmetic consistency gate combining Tunnell-style counts, root-number parity data, and CM consistency checks as evidence discipline, not as a proof of BSD.",
"boundary": [
"Finite-register consistency evidence only.",
"Does not prove BSD-I, BSD-II, or Tate-Shafarevich finiteness.",
"Contradictions in the grid quarantine affected rows rather than promote claims."
],
"non_claim_refs": [
"bsd.no-full-bsd-proof",
"bsd.no-sha-finiteness-proof",
"bsd.no-unchecked-rank-promotion"
],
"owned_gates": [
"tunnell-engine",
"root-number-grid",
"cm-consistency"
],
"boundary": ["Finite-register consistency evidence only.", "Does not prove BSD-I, BSD-II, or Tate-Shafarevich finiteness.", "Contradictions in the grid quarantine affected rows rather than promote claims."],
"non_claim_refs": ["bsd.no-full-bsd-proof", "bsd.no-sha-finiteness-proof", "bsd.no-unchecked-rank-promotion"],
"owned_gates": ["tunnell-engine", "root-number-grid", "cm-consistency"],
"obstruction_walls": ["certificate_wall", "counting_wall"]
},
{
Expand All @@ -37,22 +25,9 @@
"shell_level": "explicit descent certificate candidate layer",
"projection": "four-descent ladder, descent-image filtering, bounded-height search",
"statement": "The M6 lane scopes four-descent work for named prime rows such as 257, 313, 353, and 457, with rank promotion blocked until descent certificates and independence checks pass without BSD/parity/Sha assumptions.",
"boundary": [
"Draft work item for unconditional algebraic-rank certification only.",
"Does not use BSD, parity, or Sha-finiteness assumptions to promote rank.",
"Regression rows that previously looked independent must remain guarded against torsion-translate false positives."
],
"non_claim_refs": [
"bsd.no-full-bsd-proof",
"bsd.no-sha-finiteness-proof",
"bsd.no-unchecked-rank-promotion",
"bsd.no-parity-assumption-promotion"
],
"owned_gates": [
"bounded-height-search",
"descent-image-filtering",
"four-descent-ladder"
],
"boundary": ["Draft work item for unconditional algebraic-rank certification only.", "Does not use BSD, parity, or Sha-finiteness assumptions to promote rank.", "Regression rows that previously looked independent must remain guarded against torsion-translate false positives.", "Negative-test rerun marker: this branch intentionally references an undeclared non-claim to verify failure artifacts."],
"non_claim_refs": ["bsd.no-full-bsd-proof", "bsd.no-sha-finiteness-proof", "bsd.no-unchecked-rank-promotion", "bsd.no-parity-assumption-promotion", "bsd.no-such-nonclaim"],
"owned_gates": ["bounded-height-search", "descent-image-filtering", "four-descent-ladder"],
"obstruction_walls": ["certificate_wall", "height_bound_wall"]
},
{
Expand All @@ -63,91 +38,26 @@
"shell_level": "2-power and higher-descent diagnostic shell",
"projection": "4-descent to 8-descent tower-bounding plan",
"statement": "The BSD program records Tate-Shafarevich finiteness as a diagnostic and obstruction lane, not as a proven output; higher-descent tower-bounding remains a certificate-wall problem.",
"boundary": [
"Diagnostic only.",
"No Sha finiteness claim.",
"No BSD-II leading-term certification."
],
"non_claim_refs": [
"bsd.no-sha-finiteness-proof",
"bsd.no-bsd-ii-leading-term-proof"
],
"owned_gates": [
"four-descent-ladder",
"sha-nonclaim-boundary"
],
"boundary": ["Diagnostic only.", "No Sha finiteness claim.", "No BSD-II leading-term certification."],
"non_claim_refs": ["bsd.no-sha-finiteness-proof", "bsd.no-bsd-ii-leading-term-proof"],
"owned_gates": ["four-descent-ladder", "sha-nonclaim-boundary"],
"obstruction_walls": ["certificate_wall", "height_bound_wall"]
}
],
"gates": [
{
"gate_id": "tunnell-engine",
"kind": "test",
"status": "planned",
"expected": "Tunnell ternary count outputs are reproducible from frozen input register."
},
{
"gate_id": "root-number-grid",
"kind": "test",
"status": "planned",
"expected": "Root-number n mod 8 grid is reproducible and aligned with claim-boundary state."
},
{
"gate_id": "cm-consistency",
"kind": "test",
"status": "planned",
"expected": "CM consistency checks produce no contradiction on the declared finite register."
},
{
"gate_id": "bounded-height-search",
"kind": "test",
"status": "planned",
"expected": "Bounded-height search emits manifest-bound candidates and explicit misses."
},
{
"gate_id": "descent-image-filtering",
"kind": "test",
"status": "planned",
"expected": "Descent-image filtering rejects torsion translates and duplicate dependence witnesses."
},
{
"gate_id": "four-descent-ladder",
"kind": "test",
"status": "planned",
"expected": "Four-descent ladder emits exact rank bounds or a typed certificate wall."
},
{
"gate_id": "sha-nonclaim-boundary",
"kind": "non_claim_check",
"status": "planned",
"expected": "Sha finiteness and BSD-II leading-term claims remain blocked unless explicit certificates exist."
}
{"gate_id": "tunnell-engine", "kind": "test", "status": "planned", "expected": "Tunnell ternary count outputs are reproducible from frozen input register."},
{"gate_id": "root-number-grid", "kind": "test", "status": "planned", "expected": "Root-number n mod 8 grid is reproducible and aligned with claim-boundary state."},
{"gate_id": "cm-consistency", "kind": "test", "status": "planned", "expected": "CM consistency checks produce no contradiction on the declared finite register."},
{"gate_id": "bounded-height-search", "kind": "test", "status": "planned", "expected": "Bounded-height search emits manifest-bound candidates and explicit misses."},
{"gate_id": "descent-image-filtering", "kind": "test", "status": "planned", "expected": "Descent-image filtering rejects torsion translates and duplicate dependence witnesses."},
{"gate_id": "four-descent-ladder", "kind": "test", "status": "planned", "expected": "Four-descent ladder emits exact rank bounds or a typed certificate wall."},
{"gate_id": "sha-nonclaim-boundary", "kind": "non_claim_check", "status": "planned", "expected": "Sha finiteness and BSD-II leading-term claims remain blocked unless explicit certificates exist."}
],
"non_claims": [
{
"non_claim_id": "bsd.no-full-bsd-proof",
"statement": "This adapter does not claim a proof of BSD-I or BSD-II.",
"applies_to": ["BSD-C5-001-consistency-grid", "BSD-M6-002-four-descent-named-primes"]
},
{
"non_claim_id": "bsd.no-sha-finiteness-proof",
"statement": "This adapter does not claim Tate-Shafarevich finiteness or BSD-II leading-term certification.",
"applies_to": ["BSD-C5-001-consistency-grid", "BSD-M6-002-four-descent-named-primes", "BSD-SHA-003-tower-bounding-diagnostic"]
},
{
"non_claim_id": "bsd.no-unchecked-rank-promotion",
"statement": "This adapter does not promote rank claims without repo-local descent and SocioSphere gate evidence.",
"applies_to": ["BSD-C5-001-consistency-grid", "BSD-M6-002-four-descent-named-primes"]
},
{
"non_claim_id": "bsd.no-parity-assumption-promotion",
"statement": "This adapter does not promote algebraic-rank claims using parity, BSD, or Sha-finiteness assumptions.",
"applies_to": ["BSD-M6-002-four-descent-named-primes"]
},
{
"non_claim_id": "bsd.no-bsd-ii-leading-term-proof",
"statement": "This adapter does not claim BSD-II leading-term formula certification.",
"applies_to": ["BSD-SHA-003-tower-bounding-diagnostic"]
}
{"non_claim_id": "bsd.no-full-bsd-proof", "statement": "This adapter does not claim a proof of BSD-I or BSD-II.", "applies_to": ["BSD-C5-001-consistency-grid", "BSD-M6-002-four-descent-named-primes"]},
{"non_claim_id": "bsd.no-sha-finiteness-proof", "statement": "This adapter does not claim Tate-Shafarevich finiteness or BSD-II leading-term certification.", "applies_to": ["BSD-C5-001-consistency-grid", "BSD-M6-002-four-descent-named-primes", "BSD-SHA-003-tower-bounding-diagnostic"]},
{"non_claim_id": "bsd.no-unchecked-rank-promotion", "statement": "This adapter does not promote rank claims without repo-local descent and SocioSphere gate evidence.", "applies_to": ["BSD-C5-001-consistency-grid", "BSD-M6-002-four-descent-named-primes"]},
{"non_claim_id": "bsd.no-parity-assumption-promotion", "statement": "This adapter does not promote algebraic-rank claims using parity, BSD, or Sha-finiteness assumptions.", "applies_to": ["BSD-M6-002-four-descent-named-primes"]},
{"non_claim_id": "bsd.no-bsd-ii-leading-term-proof", "statement": "This adapter does not claim BSD-II leading-term formula certification.", "applies_to": ["BSD-SHA-003-tower-bounding-diagnostic"]}
]
}
Loading