bip32_template_parse.cfg

SPECIFICATION Spec
\* SPECIFICATION SpecWithDeferredErrors

CONSTANTS
    HARDENED_INDEX_START <- const_HARDENED_INDEX_START
    EXTRA_CHARS <- const_EXTRA_CHARS
    NULL_CHAR <- const_NULL_CHAR
    MAX_SECTIONS <- const_MAX_SECTIONS
    MAX_RANGES_IN_FIRST_SECTION <- const_MAX_RANGES_IN_FIRST_SECTION
    MAX_RANGES_IN_OTHER_SECTIONS <- const_MAX_RANGES_IN_OTHER_SECTIONS
    TEMPLATE_FORMAT_UNAMBIGOUS <- const_TEMPLATE_FORMAT_UNAMBIGOUS
    INDEX_VALUE_STRINGS_FIRST_SECTION <- const_INDEX_VALUE_STRINGS_FIRST_SECTION
    INDEX_VALUE_STRINGS_OTHER_SECTIONS <- const_INDEX_VALUE_STRINGS_OTHER_SECTIONS

INVARIANT TypeOK
INVARIANT StrictOrderOfRanges
INVARIANT PathAndSectionLengthsAreWithinBounds
INVARIANT NoHardenedAfterUnhardened 
INVARIANT SkippedErrorStateConsistent
INVARIANT ValidTemplateAlwaysMatchesPathGeneratedFromItself
INVARIANT OnPathTooLongMaxSectionsReached
\* INVARIANT NoAdjacentIndexRanges

CONSTRAINT ShowValid
CONSTRAINT ShowInvalid
\* CONSTRAINT EncodingIsUnambiguous