Skip to content

Candidate 3 negative test: reject unsupported M6 promotion #4

@mdheller

Description

@mdheller

Purpose

Run the SocioSphere proof-apparatus Candidate 3 negative test.

This is an intentional failing PR. It verifies that the BSD adapter cannot promote BSD-M6-002-four-descent-named-primes without passing four-descent gates and without SocioSphere controller promotion.

Spec:

  • SocioProphet/sociosphere:docs/runbooks/bsd-candidate-3-negative-pr-spec.md

Required PR mutation

Create a branch and edit proof-adapter.json.

Primary mutation:

"claim_id": "BSD-M6-002-four-descent-named-primes",
"state": "draft",
"severity": "E7"

to:

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

Expected result

The Proof apparatus continuous validation check must fail.

Acceptable failure messages include:

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

or:

claim BSD-M6-002-four-descent-named-primes cannot self-promote in repo adapter

Success condition

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

Do not merge the negative-test PR.

Follow-up if this passes unexpectedly

Stop first-green validation and fix the SocioSphere adapter validator before running Candidate 1 or any real M6 research work.

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions