Enum Class FcitSlScoreCheck.CommitGate
- All Implemented Interfaces:
Serializable, Comparable<FcitSlScoreCheck.CommitGate>, Constable
- Enclosing class:
FcitSlScoreCheck
Commit gate. LEGALITY_PLUS_SEPARATOR is FCIT-ZM's gate (MAG legality plus the one
test-confirmed separator for the removed pair): FCIT-SL's default, preserving the
exactly-as-sound-as-FCIT-ZM contract. DELETED_PAIR_BATTERY additionally verifies,
against the independence test, EVERY separation of the removed pair that the candidate
MAG entails with conditioning sets of size at most
batteryZMax. Motivation
(PKE6 audit, N=7, two latents): in all 548 oracle cases where a legal deletion exited
Markov space, some false statement concerned the deleted pair itself at |Z| <= 2, so
this gate with zMax = 2 caught 548/548; and since it tests only statements the
candidate entails, a Markov-preserving commit passes every one -- zero false refusals
at the oracle. In sample, a test rejection refuses the commit: noise costs reach,
never soundness.- Author:
- josephramsey
-
Nested Class Summary
Nested classes/interfaces inherited from class Enum
Enum.EnumDesc<E> -
Enum Constant Summary
Enum ConstantsEnum ConstantDescriptionThe legality-plus-separator gate, plus verification against the independence test of every separation of the removed pair that the candidate MAG entails with conditioning sets of size at mostbatteryZMax.FCIT-ZM's gate: commit a removal on MAG legality plus the one test-confirmed separator for the removed pair. -
Method Summary
Modifier and TypeMethodDescriptionstatic FcitSlScoreCheck.CommitGateReturns the enum constant of this class with the specified name.static FcitSlScoreCheck.CommitGate[]values()Returns an array containing the constants of this enum class, in the order they are declared.Methods inherited from class Enum
compareTo, describeConstable, equals, getDeclaringClass, hashCode, name, ordinal, toString, valueOf
-
Enum Constant Details
-
LEGALITY_PLUS_SEPARATOR
FCIT-ZM's gate: commit a removal on MAG legality plus the one test-confirmed separator for the removed pair. The default, preserving the exactly-as-sound-as-FCIT-ZM contract. -
DELETED_PAIR_BATTERY
The legality-plus-separator gate, plus verification against the independence test of every separation of the removed pair that the candidate MAG entails with conditioning sets of size at mostbatteryZMax. Refuses the commit on the first rejection.
-
-
Method Details
-
values
Returns an array containing the constants of this enum class, in the order they are declared.- Returns:
- an array containing the constants of this enum class, in the order they are declared
-
valueOf
Returns the enum constant of this class with the specified name. The string must match exactly an identifier used to declare an enum constant in this class. (Extraneous whitespace characters are not permitted.)- Parameters:
name- the name of the enum constant to be returned.- Returns:
- the enum constant with the specified name
- Throws:
IllegalArgumentException- if this enum class has no constant with the specified nameNullPointerException- if the argument is null
-