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

[mdheller]

Purpose

This is an intentional failing PR for SocioSphere proof-apparatus validation.

It verifies that BSD-M6-002-four-descent-named-primes cannot reference a non-claim id that is absent from the adapter's non_claims block.

Expected result

The Proof apparatus continuous validation check must fail.

Expected failure class:

• undeclared non-claim reference.

Expected validator wording should include:

claim BSD-M6-002-four-descent-named-primes references undeclared non-claims

Success condition

This PR is successful only if it fails validation for the expected reason.

Do not merge.

Tracking issue: #4
Spec: SocioProphet/sociosphere:docs/runbooks/bsd-candidate-3-negative-pr-spec.md

[mdheller]

Verification result: expected failure confirmed.

Run 25681123107 failed at strict adapter validation for the intended reason:

claim BSD-M6-002-four-descent-named-primes references undeclared non-claims

The run materialized the PR head:

domain_ref=refs/pull/6/head
domain_sha=6c0f92ea69448bf52cca5580af65bfba11fd36db

The printed materialized adapter snippet showed the intended mutation:

{
  "claim_id": "BSD-M6-002-four-descent-named-primes",
  "state": "draft",
  "severity": "E7",
  "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"
  ]
}

Failure artifacts were uploaded and the job log printed the artifact manifest, strict-validation log, exit code, failure context, and materialized adapter snippet.

Status: this negative-test PR succeeded by failing. Do not merge.