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.
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-primeswithout passing four-descent gates and without SocioSphere controller promotion.Spec:
SocioProphet/sociosphere:docs/runbooks/bsd-candidate-3-negative-pr-spec.mdRequired PR mutation
Create a branch and edit
proof-adapter.json.Primary mutation:
to:
Expected result
The
Proof apparatus continuous validationcheck must fail.Acceptable failure messages include:
or:
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.