From 08a4c875a82268549b7c30fd2dbe3c8cd97f7a66 Mon Sep 17 00:00:00 2001 From: mdheller <21163552+mdheller@users.noreply.github.com> Date: Mon, 11 May 2026 11:29:56 -0400 Subject: [PATCH 1/3] Negative test undeclared BSD non-claim reference --- proof-adapter.json | 132 ++++++++------------------------------------- 1 file changed, 21 insertions(+), 111 deletions(-) diff --git a/proof-adapter.json b/proof-adapter.json index eef7441..a1e0636 100644 --- a/proof-adapter.json +++ b/proof-adapter.json @@ -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"] }, { @@ -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."], + "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"] }, { @@ -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"]} ] } From 3fc0e993bec0325b41584f67e1aef5b7fb24fc82 Mon Sep 17 00:00:00 2001 From: mdheller <21163552+mdheller@users.noreply.github.com> Date: Mon, 11 May 2026 11:39:48 -0400 Subject: [PATCH 2/3] Rerun negative undeclared non-claim test after failure artifact fix --- proof-adapter.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/proof-adapter.json b/proof-adapter.json index a1e0636..bfdb37c 100644 --- a/proof-adapter.json +++ b/proof-adapter.json @@ -25,7 +25,7 @@ "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."], + "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"] From 6c0f92ea69448bf52cca5580af65bfba11fd36db Mon Sep 17 00:00:00 2001 From: mdheller <21163552+mdheller@users.noreply.github.com> Date: Mon, 11 May 2026 11:52:22 -0400 Subject: [PATCH 3/3] Rerun undeclared non-claim negative test with printed failure bundle --- docs/negative-tests/undeclared-nonclaim-rerun-marker.md | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 docs/negative-tests/undeclared-nonclaim-rerun-marker.md diff --git a/docs/negative-tests/undeclared-nonclaim-rerun-marker.md b/docs/negative-tests/undeclared-nonclaim-rerun-marker.md new file mode 100644 index 0000000..d0bb8a6 --- /dev/null +++ b/docs/negative-tests/undeclared-nonclaim-rerun-marker.md @@ -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`.