Files
msd-core/tests
Dave 88a1e5da5a enhance(#1279): RED guards — node-test no-fixture + prover-throws fail-closed, both modes (FF-05/FF-04)
RED-first fail-closed guards on the prove seam, committed BEFORE the producer
change. All inject (or omit) proveFailFirst, which the current producer ignores
— so each FAILS against the attestation-greens code (actual 'green' vs
notStrictEqual 'green'). RED is INTENTIONAL; Plans 02-03 wire the default prover
and no-throw wrap to turn them green.

New tests:
- FF-05 no-fixture: node-test with no violationFixture, default prover (none
  injected) -> fail-closed, never attestation fallback (RED now)
- FF-05 no-throw: a proveFailFirst that THROWS fails closed, never greens (RED)
- FF-04 both-modes: un-provable check hard-gates in interactive AND autonomous,
  mode echoed (RED)

No source edited. 5 total #1279 guards now RED, 2 positive controls green.
Pre-existing 5 attestation-green tests untouched and still pass.
2026-06-15 22:31:28 -04:00
..