Skip to content

Negative test: BSD adapter must reject unsupported M6 promotion#5

Draft
mdheller wants to merge 5 commits into
mainfrom
negative/bsd-m6-self-promotion-test
Draft

Negative test: BSD adapter must reject unsupported M6 promotion#5
mdheller wants to merge 5 commits into
mainfrom
negative/bsd-m6-self-promotion-test

Conversation

@mdheller
Copy link
Copy Markdown
Member

Purpose

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

It verifies that the BSD adapter cannot promote BSD-M6-002-four-descent-named-primes without the four-descent gates passing and without SocioSphere controller promotion.

Expected result

The Proof apparatus continuous validation check must fail.

Expected failure class:

  • repo-local self-promotion, or
  • invalid claim.state = promoted.

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

Copy link
Copy Markdown
Member Author

Verification result: expected failure confirmed.

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

claim BSD-M6-002-four-descent-named-primes has invalid state

The run materialized the PR head:

domain_ref=refs/pull/5/head
domain_sha=67159cd3abbbe978beb136fb517d8a21740c29dc

The printed materialized adapter snippet showed the intended mutation:

{
  "claim_id": "BSD-M6-002-four-descent-named-primes",
  "state": "promoted",
  "severity": "E1"
}

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant