From a26a17d066a4cd2a84d055f0e4114c52ba2b47b2 Mon Sep 17 00:00:00 2001 From: mdheller <21163552+mdheller@users.noreply.github.com> Date: Mon, 11 May 2026 11:29:20 -0400 Subject: [PATCH 1/5] Negative test unsupported M6 self-promotion --- proof-adapter.json | 83 ++++++++-------------------------------------- 1 file changed, 14 insertions(+), 69 deletions(-) diff --git a/proof-adapter.json b/proof-adapter.json index eef7441..3064097 100644 --- a/proof-adapter.json +++ b/proof-adapter.json @@ -31,8 +31,8 @@ }, { "claim_id": "BSD-M6-002-four-descent-named-primes", - "state": "draft", - "severity": "E7", + "state": "promoted", + "severity": "E1", "substrate": "named-prime congruent-number curves in the M6 four-descent lane", "shell_level": "explicit descent certificate candidate layer", "projection": "four-descent ladder, descent-image filtering, bounded-height search", @@ -80,74 +80,19 @@ } ], "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 aa80fdb7346713f6b463d3f367e255b1320f3a8e Mon Sep 17 00:00:00 2001 From: mdheller <21163552+mdheller@users.noreply.github.com> Date: Mon, 11 May 2026 11:39:12 -0400 Subject: [PATCH 2/5] Rerun negative self-promotion test after failure artifact fix --- proof-adapter.json | 53 ++++++++-------------------------------------- 1 file changed, 9 insertions(+), 44 deletions(-) diff --git a/proof-adapter.json b/proof-adapter.json index 3064097..1240b0c 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.", "Negative-test rerun marker: this branch intentionally violates repo-local promotion discipline 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"], + "owned_gates": ["bounded-height-search", "descent-image-filtering", "four-descent-ladder"], "obstruction_walls": ["certificate_wall", "height_bound_wall"] }, { @@ -63,19 +38,9 @@ "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"] } ], From 2c8388ec2a69515f0ec7cf1a4d8f505b136e8d5f Mon Sep 17 00:00:00 2001 From: mdheller <21163552+mdheller@users.noreply.github.com> Date: Mon, 11 May 2026 11:45:38 -0400 Subject: [PATCH 3/5] Marker rerun for enriched failure artifact verification --- docs/negative-tests/self-promotion-rerun-marker.md | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 docs/negative-tests/self-promotion-rerun-marker.md diff --git a/docs/negative-tests/self-promotion-rerun-marker.md b/docs/negative-tests/self-promotion-rerun-marker.md new file mode 100644 index 0000000..7584188 --- /dev/null +++ b/docs/negative-tests/self-promotion-rerun-marker.md @@ -0,0 +1,5 @@ +# Negative-test rerun marker + +This file exists only to trigger a fresh PR validation run after SocioSphere began capturing strict-validation logs, exit codes, and materialized adapters in failure artifacts. + +Expected result: this branch still fails strict adapter validation because `BSD-M6-002-four-descent-named-primes` has repo-local `state: promoted`. From c50cb9f653207fbae83abcb8121f19e52884b96f Mon Sep 17 00:00:00 2001 From: mdheller <21163552+mdheller@users.noreply.github.com> Date: Mon, 11 May 2026 11:46:56 -0400 Subject: [PATCH 4/5] Rerun negative self-promotion test with full failure bundle --- docs/negative-tests/self-promotion-rerun-marker.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/negative-tests/self-promotion-rerun-marker.md b/docs/negative-tests/self-promotion-rerun-marker.md index 7584188..78c8623 100644 --- a/docs/negative-tests/self-promotion-rerun-marker.md +++ b/docs/negative-tests/self-promotion-rerun-marker.md @@ -3,3 +3,5 @@ This file exists only to trigger a fresh PR validation run after SocioSphere began capturing strict-validation logs, exit codes, and materialized adapters in failure artifacts. Expected result: this branch still fails strict adapter validation because `BSD-M6-002-four-descent-named-primes` has repo-local `state: promoted`. + +Final artifact-bundle verification marker: this run should upload `failure-context.md`, `strict-adapter-validation.log`, `strict-adapter-validation.exitcode`, and `materialized-domain-proof-adapter.json`. From 67159cd3abbbe978beb136fb517d8a21740c29dc Mon Sep 17 00:00:00 2001 From: mdheller <21163552+mdheller@users.noreply.github.com> Date: Mon, 11 May 2026 11:51:51 -0400 Subject: [PATCH 5/5] Rerun self-promotion negative test with printed failure bundle --- docs/negative-tests/self-promotion-rerun-marker.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/negative-tests/self-promotion-rerun-marker.md b/docs/negative-tests/self-promotion-rerun-marker.md index 78c8623..7052990 100644 --- a/docs/negative-tests/self-promotion-rerun-marker.md +++ b/docs/negative-tests/self-promotion-rerun-marker.md @@ -4,4 +4,6 @@ This file exists only to trigger a fresh PR validation run after SocioSphere beg Expected result: this branch still fails strict adapter validation because `BSD-M6-002-four-descent-named-primes` has repo-local `state: promoted`. -Final artifact-bundle verification marker: this run should upload `failure-context.md`, `strict-adapter-validation.log`, `strict-adapter-validation.exitcode`, and `materialized-domain-proof-adapter.json`. +Final artifact-bundle verification marker: this run should upload and print `failure-context.md`, `strict-adapter-validation.log`, `strict-adapter-validation.exitcode`, and `materialized-domain-proof-adapter.json`. + +Rerun marker: verify printed failure bundle summary after SocioSphere commit `77d54ee96b4257869e8b71ac5887af6d91d4d49c`.