Under each method, its extensions (Q CS XT Z ZZ IB W U): bold and ticked, it exists; struck, it does not. The extensions and what they mean
Examples: 0 come from the library's tests; 3 were composed from each method's signature and run for this page, on a fresh object, for example o1 = StzFalseObjectQ(). 53 methods have none yet. Examples run on 2026-10-03 20:34 inside the library at commit 0e72e2e2c.
Method
Explanation, as the source carries it
Content
(no comment in the source: the name reads as a sentence) contentno extension
Value
(no comment in the source: the name reads as a sentence) valueno extension
StzType
(no comment in the source: the name reads as a sentence) stz typecomposed example
o1 = StzFalseObjectQ()
? o1.StzType()
#--> stzfalseobject
composed from the signature, run for this page no extension SetOrigin
NNL 2.0 (see doc/design/NNL_REVIEW.md) ----------------------------- The false premise as a DISCOURSE object: it remembers what it judged (origin), it absorbs every counting/comparison device with an honest explanation, and it powers the CONDITIONAL MOOD.no extension
Origin
(no comment in the source: the name reads as a sentence) originno extension
SetWhyStopped
the CHAIN-STOPPED explanation (the user-facing debug surface, per the WhyChainStopped precedent): recorded at the failing checkno extension
WhyStopped
(no comment in the source: the name reads as a sentence) why stoppedcomposed example
o1 = StzFalseObjectQ()
? o1.WhyStopped()
#--> a premise in the chain did not hold
composed from the signature, run for this page no extension WhyCheckFailed
(no comment in the source: the name reads as a sentence) why check failedcomposed example
o1 = StzFalseObjectQ()
? o1.WhyCheckFailed()
#--> a premise in the chain did not hold
composed from the signature, run for this page no extension IfSo
conditional mood on the FALSE branch: IfSo skips, Otherwise recoversQCSXTZZZIBWU
Otherwise
(no comment in the source: the name reads as a sentence) otherwiseQCSXTZZZIBWU
WasEver
(no comment in the source: the name reads as a sentence) was everno extension
WasNever
(no comment in the source: the name reads as a sentence) was neverno extension
UsedToBe
(no comment in the source: the name reads as a sentence) used to beno extension
IsStill
(no comment in the source: the name reads as a sentence) is stillno extension
VerifyConstraint
(no comment in the source: the name reads as a sentence) verify constraintno extension
VerifyConstraints
(no comment in the source: the name reads as a sentence) verify constraintsno extension
ApplyConstraints
(no comment in the source: the name reads as a sentence) apply constraintsno extension
EnforceConstraint
(no comment in the source: the name reads as a sentence) enforce constraintno extension
EnforceConstraints
(no comment in the source: the name reads as a sentence) enforce constraintsno extension
EnforceConstraintWhile
(no comment in the source: the name reads as a sentence) enforce constraint whileno extension
EnforceConstraintUntil
(no comment in the source: the name reads as a sentence) enforce constraint untilno extension
RelaxConstraints
(no comment in the source: the name reads as a sentence) relax constraintsno extension
QualifiesAs
(no comment in the source: the name reads as a sentence) qualifies asQCSXTZZZIBWU
AndQ
Fluent boolean short-circuit: every check stays FALSE; AndQ/OrQ keep the -- chain going (so StartsWithXTQ(a).AndQ().EndsWithXT(b) is FALSE when a fails).no extension
OrQ
Q3: on a FALSE premise, OR gives the SECOND disjunct its chance -- the carried origin comes back to life ("is a number OR a string")no extension
NorQ
under neither...nor a failing predicate is what KEEPS the chain alive -- but once false for another reason, false absorbsno extension
BothQ
(no comment in the source: the name reads as a sentence) both qno extension
IsEitherQ
(no comment in the source: the name reads as a sentence) is either qno extension
IsNeitherQ
(no comment in the source: the name reads as a sentence) is neither qno extension
NeitherQ
(no comment in the source: the name reads as a sentence) neither qno extension
EachQ
(no comment in the source: the name reads as a sentence) each qno extension
AnyQ
(no comment in the source: the name reads as a sentence) any qno extension
NoneQ
(no comment in the source: the name reads as a sentence) none qno extension
EachItemQ
(no comment in the source: the name reads as a sentence) each item qno extension
AnyItemQ
(no comment in the source: the name reads as a sentence) any item qno extension
NoItemQ
(no comment in the source: the name reads as a sentence) no item qno extension
ANumberQ
(no comment in the source: the name reads as a sentence) a number qno extension
AStringQ
(no comment in the source: the name reads as a sentence) a string qno extension
AListQ
(no comment in the source: the name reads as a sentence) a list qno extension
AnObjectQ
(no comment in the source: the name reads as a sentence) an object qno extension
ACharQ
(no comment in the source: the name reads as a sentence) a char qno extension
StartsWith
(no comment in the source: the name reads as a sentence) starts withQCSXTZZZIBWU
StartsWithAny
(no comment in the source: the name reads as a sentence) starts with anyno extension
EndsWith
(no comment in the source: the name reads as a sentence) ends withQCSXTZZZIBWU
EndsWithAny
(no comment in the source: the name reads as a sentence) ends with anyno extension
Where
(no comment in the source: the name reads as a sentence) whereno extension
W
(no comment in the source: the name reads as a sentence) wno extension
EqualCSQ
(no comment in the source: the name reads as a sentence) equal csqno extension
IsEqualTo
WITHOUT CASESENSITIVITYQCSXTZZZIBWU
EqualTo
(no comment in the source: the name reads as a sentence) equal toQCSXTZZZIBWU
Equals
(no comment in the source: the name reads as a sentence) equalsQCSXTZZZIBWU
EqualQ
(no comment in the source: the name reads as a sentence) equal qno extension
IsDividableBy
(no comment in the source: the name reads as a sentence) is dividable byQCSXTZZZIBWU
DividableBy
(no comment in the source: the name reads as a sentence) dividable byQCSXTZZZIBWU
IsDivisibleBy
(no comment in the source: the name reads as a sentence) is divisible byQCSXTZZZIBWU
DivisibleBy
(no comment in the source: the name reads as a sentence) divisible byQCSXTZZZIBWU