pubid 2.0.4 → 2.0.6

data/data/parg/parg.json

@@ -1 +1 @@
-{"bindings":null,"version":"1.0.0","grammar":"PgMeta","shape":"parsanol-tree/v2","binding_version":1,"entries":{"file":{"root":"pg_file","grammar":{"atoms":[{"Entity":{"atom":5}},{"Entity":{"atom":4}},{"Re":{"pattern":"[ ]"}},{"Re":{"pattern":"[\\x09]"}},{"Alternative":{"atoms":[2,3]}},{"Repetition":{"atom":1,"min":0,"max":null,"tag":"Repetition"}},{"Entity":{"atom":572}},{"Entity":{"atom":21}},{"Str":{"pattern":"use"}},{"Entity":{"atom":5}},{"Entity":{"atom":20}},{"Entity":{"atom":19}},{"Entity":{"atom":15}},{"Re":{"pattern":"[\\x41-\\x5a]"}},{"Re":{"pattern":"[\\x61-\\x7a]"}},{"Alternative":{"atoms":[13,14]}},{"Entity":{"atom":17}},{"Re":{"pattern":"[\\x30-\\x39]"}},{"Re":{"pattern":"[_]"}},{"Alternative":{"atoms":[12,16,18]}},{"Repetition":{"atom":11,"min":1,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[8,9,10]}},{"Entity":{"atom":29}},{"Str":{"pattern":"##"}},{"Entity":{"atom":27}},{"Re":{"pattern":"[\\x01-\\x09]"}},{"Re":{"pattern":"[\\x0b-\\u{10ffff}]"}},{"Alternative":{"atoms":[25,26]}},{"Repetition":{"atom":24,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[23,28]}},{"Entity":{"atom":34}},{"Str":{"pattern":"#"}},{"Entity":{"atom":27}},{"Repetition":{"atom":32,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[31,33]}},{"Entity":{"atom":571}},{"Entity":{"atom":521}},{"Str":{"pattern":"grammar"}},{"Entity":{"atom":5}},{"Entity":{"atom":20}},{"Entity":{"atom":5}},{"Str":{"pattern":"version"}},{"Entity":{"atom":5}},{"Entity":{"atom":56}},{"Str":{"pattern":"\""}},{"Str":{"pattern":"\\"}},{"Entity":{"atom":27}},{"Sequence":{"atoms":[45,46]}},{"Entity":{"atom":52}},{"Re":{"pattern":"[\\x01-\\x09]"}},{"Re":{"pattern":"[\\x0b-\\x21]"}},{"Re":{"pattern":"[\\x23-\\u{10ffff}]"}},{"Alternative":{"atoms":[49,50,51]}},{"Alternative":{"atoms":[47,48]}},{"Repetition":{"atom":53,"min":0,"max":null,"tag":"Repetition"}},{"Str":{"pattern":"\""}},{"Sequence":{"atoms":[44,54,55]}},{"Entity":{"atom":5}},{"Entity":{"atom":71}},{"Str":{"pattern":"mode"}},{"Entity":{"atom":5}},{"Entity":{"atom":56}},{"Sequence":{"atoms":[59,60,61]}},{"Str":{"pattern":"edition"}},{"Entity":{"atom":5}},{"Entity":{"atom":67}},{"Entity":{"atom":17}},{"Repetition":{"atom":66,"min":1,"max":null,"tag":"Repetition"}},{"Entity":{"atom":56}},{"Alternative":{"atoms":[65,68]}},{"Sequence":{"atoms":[63,64,69]}},{"Alternative":{"atoms":[62,70]}},{"Sequence":{"atoms":[57,58]}},{"Repetition":{"atom":72,"min":0,"max":1,"tag":"Maybe"}},{"Entity":{"atom":5}},{"Str":{"pattern":"{"}},{"Entity":{"atom":81}},{"Entity":{"atom":4}},{"Entity":{"atom":79}},{"Re":{"pattern":"[\\x0a]"}},{"Alternative":{"atoms":[77,78]}},{"Repetition":{"atom":80,"min":1,"max":null,"tag":"Repetition"}},{"Entity":{"atom":515}},{"Entity":{"atom":259}},{"Entity":{"atom":20}},{"Entity":{"atom":5}},{"Str":{"pattern":"="}},{"Entity":{"atom":5}},{"Entity":{"atom":258}},{"Entity":{"atom":257}},{"Entity":{"atom":256}},{"Entity":{"atom":5}},{"Entity":{"atom":104}},{"Entity":{"atom":67}},{"Str":{"pattern":"*"}},{"Entity":{"atom":67}},{"Repetition":{"atom":95,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[94,96]}},{"Repetition":{"atom":97,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[93,98]}},{"Str":{"pattern":"*"}},{"Entity":{"atom":67}},{"Repetition":{"atom":101,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[100,102]}},{"Alternative":{"atoms":[99,103]}},{"Entity":{"atom":5}},{"Entity":{"atom":251}},{"Str":{"pattern":"!"}},{"Str":{"pattern":"&"}},{"Alternative":{"atoms":[107,108]}},{"Entity":{"atom":250}},{"Entity":{"atom":249}},{"Entity":{"atom":141}},{"Entity":{"atom":131}},{"Str":{"pattern":"%x"}},{"Entity":{"atom":121}},{"Entity":{"atom":120}},{"Re":{"pattern":"[\\x30-\\x39]"}},{"Re":{"pattern":"[\\x41-\\x46]"}},{"Re":{"pattern":"[\\x61-\\x66]"}},{"Alternative":{"atoms":[117,118,119]}},{"Repetition":{"atom":116,"min":2,"max":6,"tag":"Repetition"}},{"Str":{"pattern":"-"}},{"Entity":{"atom":121}},{"Sequence":{"atoms":[122,123]}},{"Str":{"pattern":"."}},{"Entity":{"atom":121}},{"Sequence":{"atoms":[125,126]}},{"Repetition":{"atom":127,"min":1,"max":null,"tag":"Repetition"}},{"Alternative":{"atoms":[124,128]}},{"Repetition":{"atom":129,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[114,115,130]}},{"Entity":{"atom":135}},{"Str":{"pattern":"%i"}},{"Entity":{"atom":56}},{"Sequence":{"atoms":[133,134]}},{"Entity":{"atom":139}},{"Str":{"pattern":"%s"}},{"Entity":{"atom":56}},{"Sequence":{"atoms":[137,138]}},{"Entity":{"atom":56}},{"Alternative":{"atoms":[113,132,136,140]}},{"Str":{"pattern":"("}},{"Entity":{"atom":5}},{"Repetition":{"atom":143,"min":0,"max":1,"tag":"Maybe"}},{"Entity":{"atom":173}},{"Entity":{"atom":5}},{"Str":{"pattern":"/"}},{"Entity":{"atom":5}},{"Entity":{"atom":170}},{"Entity":{"atom":5}},{"Entity":{"atom":167}},{"Entity":{"atom":159}},{"Entity":{"atom":5}},{"Str":{"pattern":"as"}},{"Entity":{"atom":5}},{"Entity":{"atom":20}},{"Sequence":{"atoms":[153,154,155,156]}},{"Repetition":{"atom":157,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[111,158]}},{"Alternative":{"atoms":[106,152]}},{"Repetition":{"atom":160,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[92,105,161]}},{"Entity":{"atom":164}},{"Sequence":{"atoms":[109,110]}},{"Entity":{"atom":159}},{"Alternative":{"atoms":[162,163,165]}},{"Sequence":{"atoms":[91,166]}},{"Sequence":{"atoms":[150,151]}},{"Repetition":{"atom":168,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[90,169]}},{"Sequence":{"atoms":[146,147,148,149]}},{"Repetition":{"atom":171,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[89,172]}},{"Entity":{"atom":5}},{"Repetition":{"atom":174,"min":0,"max":1,"tag":"Maybe"}},{"Str":{"pattern":")"}},{"Sequence":{"atoms":[142,144,145,175,176]}},{"Str":{"pattern":"["}},{"Entity":{"atom":5}},{"Repetition":{"atom":179,"min":0,"max":1,"tag":"Maybe"}},{"Entity":{"atom":173}},{"Entity":{"atom":5}},{"Repetition":{"atom":182,"min":0,"max":1,"tag":"Maybe"}},{"Str":{"pattern":"]"}},{"Sequence":{"atoms":[178,180,181,183,184]}},{"Entity":{"atom":196}},{"Str":{"pattern":"alt"}},{"Entity":{"atom":5}},{"Str":{"pattern":"from_table"}},{"Entity":{"atom":5}},{"Entity":{"atom":56}},{"Entity":{"atom":5}},{"Str":{"pattern":"column"}},{"Entity":{"atom":5}},{"Entity":{"atom":56}},{"Sequence":{"atoms":[187,188,189,190,191,192,193,194,195]}},{"Entity":{"atom":214}},{"Str":{"pattern":"set"}},{"Entity":{"atom":5}},{"Entity":{"atom":20}},{"Entity":{"atom":5}},{"Str":{"pattern":"="}},{"Entity":{"atom":5}},{"Entity":{"atom":56}},{"Str":{"pattern":"("}},{"Entity":{"atom":5}},{"Repetition":{"atom":206,"min":0,"max":1,"tag":"Maybe"}},{"Entity":{"atom":173}},{"Entity":{"atom":5}},{"Repetition":{"atom":209,"min":0,"max":1,"tag":"Maybe"}},{"Str":{"pattern":")"}},{"Sequence":{"atoms":[205,207,208,210,211]}},{"Alternative":{"atoms":[204,212]}},{"Sequence":{"atoms":[198,199,200,201,202,203,213]}},{"Entity":{"atom":247}},{"Str":{"pattern":"switch"}},{"Entity":{"atom":5}},{"Entity":{"atom":20}},{"Entity":{"atom":5}},{"Str":{"pattern":"{"}},{"Entity":{"atom":81}},{"Repetition":{"atom":221,"min":0,"max":null,"tag":"Repetition"}},{"Entity":{"atom":237}},{"Entity":{"atom":56}},{"Str":{"pattern":"_"}},{"Alternative":{"atoms":[224,225]}},{"Entity":{"atom":5}},{"Str":{"pattern":"->"}},{"Entity":{"atom":5}},{"Entity":{"atom":236}},{"Entity":{"atom":20}},{"Str":{"pattern":"."}},{"Entity":{"atom":20}},{"Sequence":{"atoms":[232,233]}},{"Repetition":{"atom":234,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[231,235]}},{"Sequence":{"atoms":[226,227,228,229,230]}},{"Entity":{"atom":81}},{"Entity":{"atom":237}},{"Sequence":{"atoms":[238,239]}},{"Repetition":{"atom":240,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[223,241]}},{"Repetition":{"atom":242,"min":0,"max":1,"tag":"Maybe"}},{"Entity":{"atom":81}},{"Repetition":{"atom":244,"min":0,"max":null,"tag":"Repetition"}},{"Str":{"pattern":"}"}},{"Sequence":{"atoms":[216,217,218,219,220,222,243,245,246]}},{"Entity":{"atom":236}},{"Alternative":{"atoms":[112,177,185,186,197,215,248]}},{"Sequence":{"atoms":[111,158]}},{"Sequence":{"atoms":[109,110]}},{"Alternative":{"atoms":[106,152]}},{"Repetition":{"atom":252,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[92,105,253]}},{"Alternative":{"atoms":[254,163,165]}},{"Sequence":{"atoms":[91,255]}},{"Sequence":{"atoms":[90,169]}},{"Sequence":{"atoms":[89,172]}},{"Sequence":{"atoms":[84,85,86,87,88]}},{"Entity":{"atom":347}},{"Entity":{"atom":20}},{"Entity":{"atom":5}},{"Str":{"pattern":"="}},{"Entity":{"atom":4}},{"Entity":{"atom":79}},{"Alternative":{"atoms":[264,265]}},{"Repetition":{"atom":266,"min":0,"max":null,"tag":"Repetition"}},{"Re":{"pattern":"[{]"}},{"Entity":{"atom":344}},{"Entity":{"atom":343}},{"Entity":{"atom":342}},{"Entity":{"atom":277}},{"Entity":{"atom":4}},{"Entity":{"atom":79}},{"Entity":{"atom":34}},{"Alternative":{"atoms":[273,274,275]}},{"Repetition":{"atom":276,"min":0,"max":null,"tag":"Repetition"}},{"Entity":{"atom":104}},{"Entity":{"atom":277}},{"Entity":{"atom":337}},{"Str":{"pattern":"!"}},{"Str":{"pattern":"&"}},{"Alternative":{"atoms":[281,282]}},{"Entity":{"atom":336}},{"Entity":{"atom":335}},{"Entity":{"atom":141}},{"Str":{"pattern":"("}},{"Entity":{"atom":277}},{"Repetition":{"atom":288,"min":0,"max":1,"tag":"Maybe"}},{"Entity":{"atom":318}},{"Entity":{"atom":277}},{"Str":{"pattern":"/"}},{"Entity":{"atom":277}},{"Entity":{"atom":315}},{"Entity":{"atom":277}},{"Entity":{"atom":312}},{"Entity":{"atom":304}},{"Entity":{"atom":277}},{"Str":{"pattern":"as"}},{"Entity":{"atom":277}},{"Entity":{"atom":20}},{"Sequence":{"atoms":[298,299,300,301]}},{"Repetition":{"atom":302,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[285,303]}},{"Alternative":{"atoms":[280,297]}},{"Repetition":{"atom":305,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[278,279,306]}},{"Entity":{"atom":309}},{"Sequence":{"atoms":[283,284]}},{"Entity":{"atom":304}},{"Alternative":{"atoms":[307,308,310]}},{"Sequence":{"atoms":[272,311]}},{"Sequence":{"atoms":[295,296]}},{"Repetition":{"atom":313,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[271,314]}},{"Sequence":{"atoms":[291,292,293,294]}},{"Repetition":{"atom":316,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[270,317]}},{"Entity":{"atom":277}},{"Repetition":{"atom":319,"min":0,"max":1,"tag":"Maybe"}},{"Str":{"pattern":")"}},{"Sequence":{"atoms":[287,289,290,320,321]}},{"Str":{"pattern":"["}},{"Entity":{"atom":277}},{"Repetition":{"atom":324,"min":0,"max":1,"tag":"Maybe"}},{"Entity":{"atom":318}},{"Entity":{"atom":277}},{"Repetition":{"atom":327,"min":0,"max":1,"tag":"Maybe"}},{"Str":{"pattern":"]"}},{"Sequence":{"atoms":[323,325,326,328,329]}},{"Entity":{"atom":196}},{"Entity":{"atom":214}},{"Entity":{"atom":247}},{"Entity":{"atom":236}},{"Alternative":{"atoms":[286,322,330,331,332,333,334]}},{"Sequence":{"atoms":[285,303]}},{"Sequence":{"atoms":[283,284]}},{"Alternative":{"atoms":[280,297]}},{"Repetition":{"atom":338,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[278,279,339]}},{"Alternative":{"atoms":[340,308,310]}},{"Sequence":{"atoms":[272,341]}},{"Sequence":{"atoms":[271,314]}},{"Sequence":{"atoms":[270,317]}},{"Entity":{"atom":277}},{"Re":{"pattern":"[}]"}},{"Sequence":{"atoms":[261,262,263,267,268,269,345,346]}},{"Entity":{"atom":355}},{"Str":{"pattern":"entry"}},{"Entity":{"atom":5}},{"Entity":{"atom":20}},{"Str":{"pattern":":"}},{"Entity":{"atom":5}},{"Entity":{"atom":20}},{"Sequence":{"atoms":[349,350,351,352,353,354]}},{"Entity":{"atom":413}},{"Str":{"pattern":"bindings"}},{"Entity":{"atom":5}},{"Entity":{"atom":20}},{"Entity":{"atom":81}},{"Str":{"pattern":"{"}},{"Entity":{"atom":81}},{"Repetition":{"atom":362,"min":0,"max":1,"tag":"Maybe"}},{"Entity":{"atom":403}},{"Entity":{"atom":20}},{"Entity":{"atom":5}},{"Str":{"pattern":"->"}},{"Entity":{"atom":5}},{"Entity":{"atom":379}},{"Entity":{"atom":20}},{"Str":{"pattern":"["}},{"Str":{"pattern":"]"}},{"Sequence":{"atoms":[371,372]}},{"Str":{"pattern":"."}},{"Entity":{"atom":20}},{"Sequence":{"atoms":[374,375]}},{"Alternative":{"atoms":[373,376]}},{"Repetition":{"atom":377,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[370,378]}},{"Entity":{"atom":5}},{"Str":{"pattern":"("}},{"Entity":{"atom":20}},{"Str":{"pattern":","}},{"Entity":{"atom":5}},{"Entity":{"atom":390}},{"Entity":{"atom":17}},{"Str":{"pattern":"."}},{"Str":{"pattern":"*"}},{"Alternative":{"atoms":[386,387,388]}},{"Repetition":{"atom":389,"min":1,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[383,384,385]}},{"Repetition":{"atom":391,"min":0,"max":1,"tag":"Maybe"}},{"Str":{"pattern":")"}},{"Sequence":{"atoms":[380,381,382,392,393]}},{"Repetition":{"atom":394,"min":0,"max":1,"tag":"Maybe"}},{"Entity":{"atom":5}},{"Str":{"pattern":"preprocess"}},{"Str":{"pattern":":"}},{"Entity":{"atom":5}},{"Entity":{"atom":20}},{"Sequence":{"atoms":[396,397,398,399,400]}},{"Repetition":{"atom":401,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[365,366,367,368,369,395,402]}},{"Entity":{"atom":81}},{"Entity":{"atom":403}},{"Sequence":{"atoms":[404,405]}},{"Repetition":{"atom":406,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[364,407]}},{"Repetition":{"atom":408,"min":0,"max":1,"tag":"Maybe"}},{"Entity":{"atom":81}},{"Repetition":{"atom":410,"min":0,"max":1,"tag":"Maybe"}},{"Str":{"pattern":"}"}},{"Sequence":{"atoms":[357,358,359,360,361,363,409,411,412]}},{"Entity":{"atom":435}},{"Str":{"pattern":"preprocess"}},{"Entity":{"atom":5}},{"Entity":{"atom":20}},{"Entity":{"atom":81}},{"Str":{"pattern":"{"}},{"Entity":{"atom":81}},{"Repetition":{"atom":420,"min":0,"max":null,"tag":"Repetition"}},{"Entity":{"atom":432}},{"Str":{"pattern":"table_lookup"}},{"Entity":{"atom":5}},{"Entity":{"atom":20}},{"Entity":{"atom":5}},{"Entity":{"atom":20}},{"Entity":{"atom":5}},{"Str":{"pattern":"->"}},{"Entity":{"atom":5}},{"Entity":{"atom":20}},{"Sequence":{"atoms":[423,424,425,426,427,428,429,430,431]}},{"Entity":{"atom":81}},{"Str":{"pattern":"}"}},{"Sequence":{"atoms":[415,416,417,418,419,421,422,433,434]}},{"Entity":{"atom":485}},{"Str":{"pattern":"test"}},{"Entity":{"atom":5}},{"Entity":{"atom":20}},{"Sequence":{"atoms":[438,439]}},{"Repetition":{"atom":440,"min":0,"max":1,"tag":"Maybe"}},{"Entity":{"atom":81}},{"Str":{"pattern":"{"}},{"Entity":{"atom":81}},{"Repetition":{"atom":444,"min":0,"max":null,"tag":"Repetition"}},{"Entity":{"atom":476}},{"Str":{"pattern":"accept"}},{"Str":{"pattern":"reject"}},{"Str":{"pattern":"example"}},{"Alternative":{"atoms":[447,448,449]}},{"Entity":{"atom":5}},{"Entity":{"atom":56}},{"Entity":{"atom":5}},{"Str":{"pattern":"{"}},{"Entity":{"atom":81}},{"Repetition":{"atom":455,"min":0,"max":null,"tag":"Repetition"}},{"Entity":{"atom":467}},{"Entity":{"atom":20}},{"Str":{"pattern":":"}},{"Entity":{"atom":5}},{"Entity":{"atom":56}},{"Entity":{"atom":67}},{"Str":{"pattern":"true"}},{"Str":{"pattern":"false"}},{"Alternative":{"atoms":[463,464]}},{"Alternative":{"atoms":[461,462,465]}},{"Sequence":{"atoms":[458,459,460,466]}},{"Entity":{"atom":81}},{"Repetition":{"atom":468,"min":0,"max":null,"tag":"Repetition"}},{"Str":{"pattern":"}"}},{"Sequence":{"atoms":[453,454,456,457,469,470]}},{"Repetition":{"atom":471,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[450,451,452,472]}},{"Entity":{"atom":34}},{"Entity":{"atom":29}},{"Alternative":{"atoms":[473,474,475]}},{"Entity":{"atom":81}},{"Entity":{"atom":476}},{"Sequence":{"atoms":[477,478]}},{"Repetition":{"atom":479,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[446,480]}},{"Repetition":{"atom":481,"min":0,"max":1,"tag":"Maybe"}},{"Entity":{"atom":81}},{"Str":{"pattern":"}"}},{"Sequence":{"atoms":[437,441,442,443,445,482,483,484]}},{"Entity":{"atom":494}},{"Str":{"pattern":"custom"}},{"Entity":{"atom":5}},{"Entity":{"atom":20}},{"Entity":{"atom":5}},{"Str":{"pattern":"="}},{"Entity":{"atom":5}},{"Entity":{"atom":56}},{"Sequence":{"atoms":[487,488,489,490,491,492,493]}},{"Entity":{"atom":503}},{"Str":{"pattern":"state"}},{"Entity":{"atom":5}},{"Entity":{"atom":20}},{"Entity":{"atom":5}},{"Str":{"pattern":":"}},{"Entity":{"atom":5}},{"Entity":{"atom":20}},{"Sequence":{"atoms":[496,497,498,499,500,501,502]}},{"Entity":{"atom":512}},{"Str":{"pattern":"glue"}},{"Entity":{"atom":5}},{"Entity":{"atom":20}},{"Entity":{"atom":5}},{"Entity":{"atom":20}},{"Sequence":{"atoms":[508,509]}},{"Repetition":{"atom":510,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[505,506,507,511]}},{"Entity":{"atom":29}},{"Entity":{"atom":34}},{"Alternative":{"atoms":[83,260,348,356,414,436,486,495,504,513,514]}},{"Sequence":{"atoms":[76,82]}},{"Repetition":{"atom":516,"min":0,"max":null,"tag":"Repetition"}},{"Entity":{"atom":81}},{"Repetition":{"atom":518,"min":0,"max":null,"tag":"Repetition"}},{"Str":{"pattern":"}"}},{"Sequence":{"atoms":[37,38,39,40,41,42,43,73,74,75,517,519,520]}},{"Entity":{"atom":355}},{"Entity":{"atom":413}},{"Entity":{"atom":435}},{"Entity":{"atom":485}},{"Entity":{"atom":563}},{"Str":{"pattern":"render"}},{"Entity":{"atom":5}},{"Entity":{"atom":20}},{"Entity":{"atom":81}},{"Str":{"pattern":"{"}},{"Entity":{"atom":81}},{"Entity":{"atom":558}},{"Str":{"pattern":"field"}},{"Entity":{"atom":5}},{"Entity":{"atom":20}},{"Sequence":{"atoms":[534,535,536]}},{"Str":{"pattern":"literal"}},{"Entity":{"atom":5}},{"Entity":{"atom":56}},{"Sequence":{"atoms":[538,539,540]}},{"Str":{"pattern":"cond"}},{"Entity":{"atom":5}},{"Entity":{"atom":20}},{"Entity":{"atom":81}},{"Str":{"pattern":"{"}},{"Entity":{"atom":81}},{"Entity":{"atom":554}},{"Sequence":{"atoms":[547,548]}},{"Repetition":{"atom":549,"min":0,"max":null,"tag":"Repetition"}},{"Entity":{"atom":81}},{"Str":{"pattern":"}"}},{"Sequence":{"atoms":[542,543,544,545,546,550,551,552]}},{"Alternative":{"atoms":[537,541,553]}},{"Sequence":{"atoms":[547,548]}},{"Repetition":{"atom":555,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[542,543,544,545,546,556,551,552]}},{"Alternative":{"atoms":[537,541,557]}},{"Sequence":{"atoms":[532,533]}},{"Repetition":{"atom":559,"min":0,"max":null,"tag":"Repetition"}},{"Entity":{"atom":81}},{"Str":{"pattern":"}"}},{"Sequence":{"atoms":[527,528,529,530,531,560,561,562]}},{"Entity":{"atom":570}},{"Str":{"pattern":"derive"}},{"Entity":{"atom":5}},{"Entity":{"atom":20}},{"Entity":{"atom":5}},{"Entity":{"atom":56}},{"Sequence":{"atoms":[565,566,567,568,569]}},{"Alternative":{"atoms":[36,522,523,524,525,526,564]}},{"Alternative":{"atoms":[7,22,30,35]}},{"Entity":{"atom":81}},{"Repetition":{"atom":573,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[6,574]}},{"Repetition":{"atom":575,"min":0,"max":null,"tag":"Repetition"}},{"Entity":{"atom":5}},{"Sequence":{"atoms":[0,576,577]}}],"root":578},"bindings":[]}},"preprocess":{},"tables":{},"lint":{"order_warnings":["rule nonl: branches 1 and 2 are order-dependent (first set not statically known)","rule str_body_char: branches 1 and 3 are order-dependent (first set not statically known)","rule str_body_char: branches 2 and 3 are order-dependent (first set not statically known)","rule hex: branches 1 and 2 are order-dependent (shared first bytes; ordered choice is decisive)","rule hex: branches 1 and 3 are order-dependent (shared first bytes; ordered choice is decisive)","rule hex: branches 2 and 3 are order-dependent (shared first bytes; ordered choice is decisive)","rule primary: branches 4 and 7 are order-dependent (shared first bytes; ordered choice is decisive)","rule primary: branches 5 and 6 are order-dependent (shared first bytes; ordered choice is decisive)","rule primary: branches 5 and 7 are order-dependent (shared first bytes; ordered choice is decisive)","rule primary: branches 6 and 7 are order-dependent (shared first bytes; ordered choice is decisive)","rule bprimary: branches 4 and 7 are order-dependent (shared first bytes; ordered choice is decisive)","rule bprimary: branches 5 and 6 are order-dependent (shared first bytes; ordered choice is decisive)","rule bprimary: branches 5 and 7 are order-dependent (shared first bytes; ordered choice is decisive)","rule bprimary: branches 6 and 7 are order-dependent (shared first bytes; ordered choice is decisive)","rule test_line: branches 2 and 3 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 1 and 2 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 1 and 3 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 1 and 4 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 1 and 5 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 1 and 6 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 1 and 7 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 1 and 8 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 1 and 9 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 2 and 3 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 2 and 4 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 2 and 5 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 2 and 6 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 2 and 7 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 2 and 8 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 2 and 9 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 10 and 11 are order-dependent (shared first bytes; ordered choice is decisive)","rule top_item: branches 2 and 3 are order-dependent (shared first bytes; ordered choice is decisive)"]},"default_entry":"file","render":{},"derive":{},"tests":[{"entry":"file","kind":"accept","input":"grammar T version \"1\" { x = %x30-39 }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" { a = b / c as d }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" { g = [x] 3*y !z &w (p / q) }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" { k = 1*3(e / f) !(g h) }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" { custom lookback = \"ParsanolAtoms::Lookbehind\" a = %x30-39 }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" { state block_kind: symbol a = %x30-39 }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" { a = (set block_kind = \"quote\") %x30-39 }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" { a = (switch block_kind { \"quote\" -> q _ -> never }) }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" { a = (set d = (3*4(%x2D)) %x0A) }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" { a = (!(state d) %x61-7A) }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" {\n  p = {\n    %i\"iso\" / %i\"ieee\"\n  }\n}","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" { q = { a b } }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" {\n  r =\n  {\n    x as y\n  }\n}","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" {\n  s = {\n    # a comment is body whitespace\n    !(t / u) 2*v\n  }\n}","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" mode \"v1\" { x = %x30-39 }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" mode \"v2\" { x = %x30-39 }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" edition 1 { x = %x30-39 }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" edition 2 { x = %x30-39 }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" edition \"v2\" { x = %x30-39 }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" edition 2 {\n  glue ws comment\n  ws = 1*( %x20 )\n  comment = \"#\" *nonl\n  main = \"a\" ws \"b\"\n}","expect":{}},{"entry":"file","kind":"reject","input":"grammar T version \"1\" { q = { a }","expect":{}},{"entry":"file","kind":"reject","input":"grammar T version \"1\" { q = { } }","expect":{}},{"entry":"file","kind":"reject","input":"nonsense","expect":{}},{"entry":"file","kind":"reject","input":"grammar T version \"1\" { = }","expect":{}}],"docs":{},"source":"# PG described in PG — the self-description grammar (F10, phase 1).\n# It recognizes the language this file is written in, over raw text:\n# whitespace is threaded explicitly (pq = potential whitespace within a\n# line, nlws = line-breaking whitespace, bw = brace-body whitespace: the\n# b* rules thread it so brace-form rule bodies span lines). The\n# reference compiler remains parsanol-ruby (SSOT, TODO 11); this\n# artifact is the validator — and brace_rule below is itself written in\n# the brace form it recognizes.\n\ngrammar PgMeta version \"1.0.0\" edition 1 {\n\n  # ---- lexical ----\n  digit = %x30-39\n  hexdig = %x30-39 / %x41-46 / %x61-66\n  letter = %x41-5A / %x61-7A\n  ident_char = letter / digit / %x5F\n  ident = 1*ident_char\n  newline = %x0A\n  nonl = %x01-09 / %x0B-10FFFF\n  comment = \"#\" *nonl\n  doc_marker = \"##\" *nonl\n  ws = %x20 / %x09\n  nlws = 1*(ws / newline)\n  pq = *ws\n\n  # ---- terminals ----\n  str_body_char = %x01-09 / %x0B-21 / %x23-10FFFF\n  dstring = \"\\\"\" *(\"\\\\\" nonl / str_body_char) \"\\\"\"\n  istring = \"%i\" dstring\n  sstring = \"%s\" dstring\n  hexdigits = 2*6hexdig\n  hexlit = \"%x\" hexdigits [(\"-\" hexdigits) / 1*(\".\" hexdigits)]\n  hex = hexlit / istring / sstring / dstring\n\n  # ---- expressions (pq-threaded) ----\n  choice = seq *(pq \"/\" pq seq)\n  seq = element *(pq element)\n  element = pq (rep_prefix pq [pred / postfixed] / pred / postfixed)\n  rep_prefix = num [\"*\" [num]] / \"*\" [num]\n  num = 1*digit\n  pred = (\"!\" / \"&\") postfixed\n  postfixed = primary [pq \"as\" pq ident]\n  table_alt = \"alt\" pq \"from_table\" pq dstring pq \"column\" pq dstring\n  set_expr = \"set\" pq ident pq \"=\" pq (dstring / \"(\" [pq] choice [pq] \")\")\n  switch_arm = (dstring / \"_\") pq \"->\" pq dotted_ident\n  switch_expr = \"switch\" pq ident pq \"{\" *nlws [switch_arm *(nlws switch_arm)] *nlws \"}\"\n  custom_line = \"custom\" pq ident pq \"=\" pq dstring\n  state_line = \"state\" pq ident pq \":\" pq ident\n  dotted_ident = ident *(\".\" ident)\n  primary = hex / \"(\" [pq] choice [pq] \")\" / \"[\" [pq] choice [pq] \"]\" / table_alt / set_expr / switch_expr / dotted_ident\n\n  # ---- brace-body expressions (bw-threaded: newlines are whitespace) ----\n  bw = *(ws / newline / comment)\n  bchoice = bseq *(bw \"/\" bw bseq)\n  bseq = belement *(bw belement)\n  belement = bw (rep_prefix bw [bpred / bpostfixed] / bpred / bpostfixed)\n  bpred = (\"!\" / \"&\") bpostfixed\n  bprimary = hex / \"(\" [bw] bchoice [bw] \")\" / \"[\" [bw] bchoice [bw] \"]\" / table_alt / set_expr / switch_expr / dotted_ident\n  bpostfixed = bprimary [bw \"as\" bw ident]\n\n  # ---- rules and sections ----\n  rule = ident pq \"=\" pq choice\n  brace_rule = {\n    ident pq \"=\" *(ws / newline) %x7B\n    bchoice bw %x7D\n  }\n  entry_section = \"entry\" pq ident \":\" pq ident\n  path = ident *((\"[\" \"]\") / (\".\" ident))\n  cardinality = 1*(digit / \".\" / \"*\")\n  binding = ident pq \"->\" pq path [pq \"(\" ident [\",\" pq cardinality] \")\"] [pq \"preprocess\" \":\" pq ident]\n  bindings_section = \"bindings\" pq ident nlws \"{\" [nlws] [binding *(nlws binding)] [nlws] \"}\"\n  step = \"table_lookup\" pq ident pq ident pq \"->\" pq ident\n  preprocess_section = \"preprocess\" pq ident nlws \"{\" *nlws step nlws \"}\"\n  test_line = (\"accept\" / \"reject\" / \"example\") pq dstring [pq \"{\" *nlws test_pair *nlws \"}\"] / comment / doc_marker\n  test_pair = ident \":\" pq (dstring / num / (\"true\" / \"false\"))\n  test_section = \"test\" [pq ident] nlws \"{\" *nlws [test_line *(nlws test_line)] nlws \"}\"\n  rule_line = rule / brace_rule / entry_section / bindings_section / preprocess_section / test_section / custom_line / state_line / glue_line / doc_marker / comment\n  edition_decl = \"mode\" pq dstring / \"edition\" pq (num / dstring)\n  glue_line = \"glue\" pq ident *(pq ident)\n  grammar_block = \"grammar\" pq ident pq \"version\" pq dstring [pq edition_decl] pq \"{\" *(nlws rule_line) *nlws \"}\"\n  render_section = \"render\" pq ident nlws \"{\" *(nlws render_seg) nlws \"}\"\n  render_seg = (\"field\" pq ident) / (\"literal\" pq dstring) / (\"cond\" pq ident nlws \"{\" *(nlws render_seg) nlws \"}\")\n  derive_section = \"derive\" pq ident pq dstring\n  top = grammar_block / entry_section / bindings_section / preprocess_section / test_section / render_section / derive_section\n  use_line = \"use\" pq ident\n  top_item = use_line / doc_marker / comment / top\n\n  pg_file = pq *(top_item [nlws]) pq\n\n  entry file: pg_file\n\n  test {\n    accept \"grammar T version \\\"1\\\" { x = %x30-39 }\"\n    accept \"grammar T version \\\"1\\\" { a = b / c as d }\"\n    accept \"grammar T version \\\"1\\\" { g = [x] 3*y !z &w (p / q) }\"\n    accept \"grammar T version \\\"1\\\" { k = 1*3(e / f) !(g h) }\"\n    accept \"grammar T version \\\"1\\\" { custom lookback = \\\"ParsanolAtoms::Lookbehind\\\" a = %x30-39 }\"\n    accept \"grammar T version \\\"1\\\" { state block_kind: symbol a = %x30-39 }\"\n    accept \"grammar T version \\\"1\\\" { a = (set block_kind = \\\"quote\\\") %x30-39 }\"\n    accept \"grammar T version \\\"1\\\" { a = (switch block_kind { \\\"quote\\\" -> q _ -> never }) }\"\n    accept \"grammar T version \\\"1\\\" { a = (set d = (3*4(%x2D)) %x0A) }\"\n    accept \"grammar T version \\\"1\\\" { a = (!(state d) %x61-7A) }\"\n    accept \"grammar T version \\\"1\\\" {\\n  p = {\\n    %i\\\"iso\\\" / %i\\\"ieee\\\"\\n  }\\n}\"\n    accept \"grammar T version \\\"1\\\" { q = { a b } }\"\n    accept \"grammar T version \\\"1\\\" {\\n  r =\\n  {\\n    x as y\\n  }\\n}\"\n    accept \"grammar T version \\\"1\\\" {\\n  s = {\\n    # a comment is body whitespace\\n    !(t / u) 2*v\\n  }\\n}\"\n    accept \"grammar T version \\\"1\\\" mode \\\"v1\\\" { x = %x30-39 }\"\n    accept \"grammar T version \\\"1\\\" mode \\\"v2\\\" { x = %x30-39 }\"\n    accept \"grammar T version \\\"1\\\" edition 1 { x = %x30-39 }\"\n    accept \"grammar T version \\\"1\\\" edition 2 { x = %x30-39 }\"\n    accept \"grammar T version \\\"1\\\" edition \\\"v2\\\" { x = %x30-39 }\"\n    accept \"grammar T version \\\"1\\\" edition 2 {\\n  glue ws comment\\n  ws = 1*( %x20 )\\n  comment = \\\"#\\\" *nonl\\n  main = \\\"a\\\" ws \\\"b\\\"\\n}\"\n    reject \"grammar T version \\\"1\\\" { q = { a }\"\n    reject \"grammar T version \\\"1\\\" { q = { } }\"\n    reject \"nonsense\"\n    reject \"grammar T version \\\"1\\\" { = }\"\n  }\n}\n","source_hash":"a738f893d9e8521a366965a38a3230f9e09b8e120fc79b1b0bbfd21fb2163317","unicode_tables":"onigmo (Ruby 3.4.8)","compiler_version":"1.3.121","edition":1,"semantics_hash":"sha256:12c9a95efba271975b4967186623ace463b9b9c635a72c16195b6b2c5c5c50c5","checksum":"sha256:5ddc6e4322906cfaff4023e467769eeb4d12120a5150faaf50b2ae5f7775a003"}
+{"bindings":null,"version":"1.0.0","grammar":"PgMeta","shape":"parsanol-tree/v2","binding_version":1,"entries":{"file":{"root":"pg_file","grammar":{"atoms":[{"Entity":{"atom":5}},{"Entity":{"atom":4}},{"Re":{"pattern":"[ ]"}},{"Re":{"pattern":"[\\x09]"}},{"Alternative":{"atoms":[2,3]}},{"Repetition":{"atom":1,"min":0,"max":null,"tag":"Repetition"}},{"Entity":{"atom":591}},{"Entity":{"atom":23}},{"Str":{"pattern":"use"}},{"Entity":{"atom":5}},{"Entity":{"atom":22}},{"Entity":{"atom":21}},{"Entity":{"atom":15}},{"Re":{"pattern":"[\\x41-\\x5a]"}},{"Re":{"pattern":"[\\x61-\\x7a]"}},{"Alternative":{"atoms":[13,14]}},{"Named":{"name":"letter","atom":12}},{"Entity":{"atom":18}},{"Re":{"pattern":"[\\x30-\\x39]"}},{"Named":{"name":"digit","atom":17}},{"Re":{"pattern":"[_]"}},{"Alternative":{"atoms":[16,19,20]}},{"Repetition":{"atom":11,"min":1,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[8,9,10]}},{"Entity":{"atom":32}},{"Str":{"pattern":"##"}},{"Entity":{"atom":29}},{"Re":{"pattern":"[\\x01-\\x09]"}},{"Re":{"pattern":"[\\x0b-\\u{10ffff}]"}},{"Alternative":{"atoms":[27,28]}},{"Named":{"name":"nonl","atom":26}},{"Repetition":{"atom":30,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[25,31]}},{"Entity":{"atom":38}},{"Str":{"pattern":"#"}},{"Entity":{"atom":29}},{"Named":{"name":"nonl","atom":35}},{"Repetition":{"atom":36,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[34,37]}},{"Entity":{"atom":590}},{"Entity":{"atom":538}},{"Str":{"pattern":"grammar"}},{"Entity":{"atom":5}},{"Entity":{"atom":22}},{"Entity":{"atom":5}},{"Str":{"pattern":"version"}},{"Entity":{"atom":5}},{"Entity":{"atom":62}},{"Str":{"pattern":"\""}},{"Str":{"pattern":"\\"}},{"Entity":{"atom":29}},{"Named":{"name":"nonl","atom":50}},{"Sequence":{"atoms":[49,51]}},{"Entity":{"atom":57}},{"Re":{"pattern":"[\\x01-\\x09]"}},{"Re":{"pattern":"[\\x0b-\\x21]"}},{"Re":{"pattern":"[\\x23-\\u{10ffff}]"}},{"Alternative":{"atoms":[54,55,56]}},{"Named":{"name":"str_body_char","atom":53}},{"Alternative":{"atoms":[52,58]}},{"Repetition":{"atom":59,"min":0,"max":null,"tag":"Repetition"}},{"Str":{"pattern":"\""}},{"Sequence":{"atoms":[48,60,61]}},{"Entity":{"atom":5}},{"Entity":{"atom":78}},{"Str":{"pattern":"mode"}},{"Entity":{"atom":5}},{"Entity":{"atom":62}},{"Sequence":{"atoms":[65,66,67]}},{"Str":{"pattern":"edition"}},{"Entity":{"atom":5}},{"Entity":{"atom":74}},{"Entity":{"atom":18}},{"Named":{"name":"digit","atom":72}},{"Repetition":{"atom":73,"min":1,"max":null,"tag":"Repetition"}},{"Entity":{"atom":62}},{"Alternative":{"atoms":[71,75]}},{"Sequence":{"atoms":[69,70,76]}},{"Alternative":{"atoms":[68,77]}},{"Sequence":{"atoms":[63,64]}},{"Repetition":{"atom":79,"min":0,"max":1,"tag":"Maybe"}},{"Entity":{"atom":5}},{"Str":{"pattern":"{"}},{"Entity":{"atom":88}},{"Entity":{"atom":4}},{"Entity":{"atom":86}},{"Re":{"pattern":"[\\x0a]"}},{"Alternative":{"atoms":[84,85]}},{"Repetition":{"atom":87,"min":1,"max":null,"tag":"Repetition"}},{"Entity":{"atom":532}},{"Entity":{"atom":271}},{"Entity":{"atom":22}},{"Entity":{"atom":5}},{"Str":{"pattern":"="}},{"Entity":{"atom":5}},{"Entity":{"atom":270}},{"Entity":{"atom":267}},{"Entity":{"atom":264}},{"Entity":{"atom":5}},{"Entity":{"atom":111}},{"Entity":{"atom":74}},{"Str":{"pattern":"*"}},{"Entity":{"atom":74}},{"Repetition":{"atom":102,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[101,103]}},{"Repetition":{"atom":104,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[100,105]}},{"Str":{"pattern":"*"}},{"Entity":{"atom":74}},{"Repetition":{"atom":108,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[107,109]}},{"Alternative":{"atoms":[106,110]}},{"Entity":{"atom":5}},{"Entity":{"atom":259}},{"Str":{"pattern":"!"}},{"Str":{"pattern":"&"}},{"Alternative":{"atoms":[114,115]}},{"Entity":{"atom":258}},{"Entity":{"atom":257}},{"Entity":{"atom":149}},{"Entity":{"atom":139}},{"Str":{"pattern":"%x"}},{"Entity":{"atom":129}},{"Entity":{"atom":127}},{"Re":{"pattern":"[\\x30-\\x39]"}},{"Re":{"pattern":"[\\x41-\\x46]"}},{"Re":{"pattern":"[\\x61-\\x66]"}},{"Alternative":{"atoms":[124,125,126]}},{"Named":{"name":"hexdig","atom":123}},{"Repetition":{"atom":128,"min":2,"max":6,"tag":"Repetition"}},{"Str":{"pattern":"-"}},{"Entity":{"atom":129}},{"Sequence":{"atoms":[130,131]}},{"Str":{"pattern":"."}},{"Entity":{"atom":129}},{"Sequence":{"atoms":[133,134]}},{"Repetition":{"atom":135,"min":1,"max":null,"tag":"Repetition"}},{"Alternative":{"atoms":[132,136]}},{"Repetition":{"atom":137,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[121,122,138]}},{"Entity":{"atom":143}},{"Str":{"pattern":"%i"}},{"Entity":{"atom":62}},{"Sequence":{"atoms":[141,142]}},{"Entity":{"atom":147}},{"Str":{"pattern":"%s"}},{"Entity":{"atom":62}},{"Sequence":{"atoms":[145,146]}},{"Entity":{"atom":62}},{"Alternative":{"atoms":[120,140,144,148]}},{"Str":{"pattern":"("}},{"Entity":{"atom":5}},{"Repetition":{"atom":151,"min":0,"max":1,"tag":"Maybe"}},{"Entity":{"atom":181}},{"Entity":{"atom":5}},{"Str":{"pattern":"/"}},{"Entity":{"atom":5}},{"Entity":{"atom":178}},{"Entity":{"atom":5}},{"Entity":{"atom":175}},{"Entity":{"atom":167}},{"Entity":{"atom":5}},{"Str":{"pattern":"as"}},{"Entity":{"atom":5}},{"Entity":{"atom":22}},{"Sequence":{"atoms":[161,162,163,164]}},{"Repetition":{"atom":165,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[118,166]}},{"Alternative":{"atoms":[113,160]}},{"Repetition":{"atom":168,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[99,112,169]}},{"Entity":{"atom":172}},{"Sequence":{"atoms":[116,117]}},{"Entity":{"atom":167}},{"Alternative":{"atoms":[170,171,173]}},{"Sequence":{"atoms":[98,174]}},{"Sequence":{"atoms":[158,159]}},{"Repetition":{"atom":176,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[97,177]}},{"Sequence":{"atoms":[154,155,156,157]}},{"Repetition":{"atom":179,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[96,180]}},{"Entity":{"atom":5}},{"Repetition":{"atom":182,"min":0,"max":1,"tag":"Maybe"}},{"Str":{"pattern":")"}},{"Sequence":{"atoms":[150,152,153,183,184]}},{"Str":{"pattern":"["}},{"Entity":{"atom":5}},{"Repetition":{"atom":187,"min":0,"max":1,"tag":"Maybe"}},{"Entity":{"atom":181}},{"Entity":{"atom":5}},{"Repetition":{"atom":190,"min":0,"max":1,"tag":"Maybe"}},{"Str":{"pattern":"]"}},{"Sequence":{"atoms":[186,188,189,191,192]}},{"Entity":{"atom":204}},{"Str":{"pattern":"alt"}},{"Entity":{"atom":5}},{"Str":{"pattern":"from_table"}},{"Entity":{"atom":5}},{"Entity":{"atom":62}},{"Entity":{"atom":5}},{"Str":{"pattern":"column"}},{"Entity":{"atom":5}},{"Entity":{"atom":62}},{"Sequence":{"atoms":[195,196,197,198,199,200,201,202,203]}},{"Entity":{"atom":222}},{"Str":{"pattern":"set"}},{"Entity":{"atom":5}},{"Entity":{"atom":22}},{"Entity":{"atom":5}},{"Str":{"pattern":"="}},{"Entity":{"atom":5}},{"Entity":{"atom":62}},{"Str":{"pattern":"("}},{"Entity":{"atom":5}},{"Repetition":{"atom":214,"min":0,"max":1,"tag":"Maybe"}},{"Entity":{"atom":181}},{"Entity":{"atom":5}},{"Repetition":{"atom":217,"min":0,"max":1,"tag":"Maybe"}},{"Str":{"pattern":")"}},{"Sequence":{"atoms":[213,215,216,218,219]}},{"Alternative":{"atoms":[212,220]}},{"Sequence":{"atoms":[206,207,208,209,210,211,221]}},{"Entity":{"atom":255}},{"Str":{"pattern":"switch"}},{"Entity":{"atom":5}},{"Entity":{"atom":22}},{"Entity":{"atom":5}},{"Str":{"pattern":"{"}},{"Entity":{"atom":88}},{"Repetition":{"atom":229,"min":0,"max":null,"tag":"Repetition"}},{"Entity":{"atom":245}},{"Entity":{"atom":62}},{"Str":{"pattern":"_"}},{"Alternative":{"atoms":[232,233]}},{"Entity":{"atom":5}},{"Str":{"pattern":"->"}},{"Entity":{"atom":5}},{"Entity":{"atom":244}},{"Entity":{"atom":22}},{"Str":{"pattern":"."}},{"Entity":{"atom":22}},{"Sequence":{"atoms":[240,241]}},{"Repetition":{"atom":242,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[239,243]}},{"Sequence":{"atoms":[234,235,236,237,238]}},{"Entity":{"atom":88}},{"Entity":{"atom":245}},{"Sequence":{"atoms":[246,247]}},{"Repetition":{"atom":248,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[231,249]}},{"Repetition":{"atom":250,"min":0,"max":1,"tag":"Maybe"}},{"Entity":{"atom":88}},{"Repetition":{"atom":252,"min":0,"max":null,"tag":"Repetition"}},{"Str":{"pattern":"}"}},{"Sequence":{"atoms":[224,225,226,227,228,230,251,253,254]}},{"Entity":{"atom":244}},{"Alternative":{"atoms":[119,185,193,194,205,223,256]}},{"Sequence":{"atoms":[118,166]}},{"Sequence":{"atoms":[116,117]}},{"Alternative":{"atoms":[113,160]}},{"Repetition":{"atom":260,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[99,112,261]}},{"Alternative":{"atoms":[262,171,173]}},{"Sequence":{"atoms":[98,263]}},{"Sequence":{"atoms":[158,159]}},{"Repetition":{"atom":265,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[97,266]}},{"Sequence":{"atoms":[154,155,156,157]}},{"Repetition":{"atom":268,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[96,269]}},{"Sequence":{"atoms":[91,92,93,94,95]}},{"Entity":{"atom":363}},{"Entity":{"atom":22}},{"Entity":{"atom":5}},{"Str":{"pattern":"="}},{"Entity":{"atom":4}},{"Entity":{"atom":86}},{"Alternative":{"atoms":[276,277]}},{"Repetition":{"atom":278,"min":0,"max":null,"tag":"Repetition"}},{"Re":{"pattern":"[{]"}},{"Entity":{"atom":360}},{"Entity":{"atom":357}},{"Entity":{"atom":354}},{"Entity":{"atom":289}},{"Entity":{"atom":4}},{"Entity":{"atom":86}},{"Entity":{"atom":38}},{"Alternative":{"atoms":[285,286,287]}},{"Repetition":{"atom":288,"min":0,"max":null,"tag":"Repetition"}},{"Entity":{"atom":111}},{"Entity":{"atom":289}},{"Entity":{"atom":349}},{"Str":{"pattern":"!"}},{"Str":{"pattern":"&"}},{"Alternative":{"atoms":[293,294]}},{"Entity":{"atom":348}},{"Entity":{"atom":347}},{"Entity":{"atom":149}},{"Str":{"pattern":"("}},{"Entity":{"atom":289}},{"Repetition":{"atom":300,"min":0,"max":1,"tag":"Maybe"}},{"Entity":{"atom":330}},{"Entity":{"atom":289}},{"Str":{"pattern":"/"}},{"Entity":{"atom":289}},{"Entity":{"atom":327}},{"Entity":{"atom":289}},{"Entity":{"atom":324}},{"Entity":{"atom":316}},{"Entity":{"atom":289}},{"Str":{"pattern":"as"}},{"Entity":{"atom":289}},{"Entity":{"atom":22}},{"Sequence":{"atoms":[310,311,312,313]}},{"Repetition":{"atom":314,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[297,315]}},{"Alternative":{"atoms":[292,309]}},{"Repetition":{"atom":317,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[290,291,318]}},{"Entity":{"atom":321}},{"Sequence":{"atoms":[295,296]}},{"Entity":{"atom":316}},{"Alternative":{"atoms":[319,320,322]}},{"Sequence":{"atoms":[284,323]}},{"Sequence":{"atoms":[307,308]}},{"Repetition":{"atom":325,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[283,326]}},{"Sequence":{"atoms":[303,304,305,306]}},{"Repetition":{"atom":328,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[282,329]}},{"Entity":{"atom":289}},{"Repetition":{"atom":331,"min":0,"max":1,"tag":"Maybe"}},{"Str":{"pattern":")"}},{"Sequence":{"atoms":[299,301,302,332,333]}},{"Str":{"pattern":"["}},{"Entity":{"atom":289}},{"Repetition":{"atom":336,"min":0,"max":1,"tag":"Maybe"}},{"Entity":{"atom":330}},{"Entity":{"atom":289}},{"Repetition":{"atom":339,"min":0,"max":1,"tag":"Maybe"}},{"Str":{"pattern":"]"}},{"Sequence":{"atoms":[335,337,338,340,341]}},{"Entity":{"atom":204}},{"Entity":{"atom":222}},{"Entity":{"atom":255}},{"Entity":{"atom":244}},{"Alternative":{"atoms":[298,334,342,343,344,345,346]}},{"Sequence":{"atoms":[297,315]}},{"Sequence":{"atoms":[295,296]}},{"Alternative":{"atoms":[292,309]}},{"Repetition":{"atom":350,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[290,291,351]}},{"Alternative":{"atoms":[352,320,322]}},{"Sequence":{"atoms":[284,353]}},{"Sequence":{"atoms":[307,308]}},{"Repetition":{"atom":355,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[283,356]}},{"Sequence":{"atoms":[303,304,305,306]}},{"Repetition":{"atom":358,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[282,359]}},{"Entity":{"atom":289}},{"Re":{"pattern":"[}]"}},{"Sequence":{"atoms":[273,274,275,279,280,281,361,362]}},{"Entity":{"atom":371}},{"Str":{"pattern":"entry"}},{"Entity":{"atom":5}},{"Entity":{"atom":22}},{"Str":{"pattern":":"}},{"Entity":{"atom":5}},{"Entity":{"atom":22}},{"Sequence":{"atoms":[365,366,367,368,369,370]}},{"Entity":{"atom":430}},{"Str":{"pattern":"bindings"}},{"Entity":{"atom":5}},{"Entity":{"atom":22}},{"Entity":{"atom":88}},{"Str":{"pattern":"{"}},{"Entity":{"atom":88}},{"Repetition":{"atom":378,"min":0,"max":1,"tag":"Maybe"}},{"Entity":{"atom":420}},{"Entity":{"atom":22}},{"Entity":{"atom":5}},{"Str":{"pattern":"->"}},{"Entity":{"atom":5}},{"Entity":{"atom":395}},{"Entity":{"atom":22}},{"Str":{"pattern":"["}},{"Str":{"pattern":"]"}},{"Sequence":{"atoms":[387,388]}},{"Str":{"pattern":"."}},{"Entity":{"atom":22}},{"Sequence":{"atoms":[390,391]}},{"Alternative":{"atoms":[389,392]}},{"Repetition":{"atom":393,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[386,394]}},{"Entity":{"atom":5}},{"Str":{"pattern":"("}},{"Entity":{"atom":22}},{"Str":{"pattern":","}},{"Entity":{"atom":5}},{"Entity":{"atom":407}},{"Entity":{"atom":18}},{"Named":{"name":"digit","atom":402}},{"Str":{"pattern":"."}},{"Str":{"pattern":"*"}},{"Alternative":{"atoms":[403,404,405]}},{"Repetition":{"atom":406,"min":1,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[399,400,401]}},{"Repetition":{"atom":408,"min":0,"max":1,"tag":"Maybe"}},{"Str":{"pattern":")"}},{"Sequence":{"atoms":[396,397,398,409,410]}},{"Repetition":{"atom":411,"min":0,"max":1,"tag":"Maybe"}},{"Entity":{"atom":5}},{"Str":{"pattern":"preprocess"}},{"Str":{"pattern":":"}},{"Entity":{"atom":5}},{"Entity":{"atom":22}},{"Sequence":{"atoms":[413,414,415,416,417]}},{"Repetition":{"atom":418,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[381,382,383,384,385,412,419]}},{"Entity":{"atom":88}},{"Entity":{"atom":420}},{"Sequence":{"atoms":[421,422]}},{"Repetition":{"atom":423,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[380,424]}},{"Repetition":{"atom":425,"min":0,"max":1,"tag":"Maybe"}},{"Entity":{"atom":88}},{"Repetition":{"atom":427,"min":0,"max":1,"tag":"Maybe"}},{"Str":{"pattern":"}"}},{"Sequence":{"atoms":[373,374,375,376,377,379,426,428,429]}},{"Entity":{"atom":452}},{"Str":{"pattern":"preprocess"}},{"Entity":{"atom":5}},{"Entity":{"atom":22}},{"Entity":{"atom":88}},{"Str":{"pattern":"{"}},{"Entity":{"atom":88}},{"Repetition":{"atom":437,"min":0,"max":null,"tag":"Repetition"}},{"Entity":{"atom":449}},{"Str":{"pattern":"table_lookup"}},{"Entity":{"atom":5}},{"Entity":{"atom":22}},{"Entity":{"atom":5}},{"Entity":{"atom":22}},{"Entity":{"atom":5}},{"Str":{"pattern":"->"}},{"Entity":{"atom":5}},{"Entity":{"atom":22}},{"Sequence":{"atoms":[440,441,442,443,444,445,446,447,448]}},{"Entity":{"atom":88}},{"Str":{"pattern":"}"}},{"Sequence":{"atoms":[432,433,434,435,436,438,439,450,451]}},{"Entity":{"atom":502}},{"Str":{"pattern":"test"}},{"Entity":{"atom":5}},{"Entity":{"atom":22}},{"Sequence":{"atoms":[455,456]}},{"Repetition":{"atom":457,"min":0,"max":1,"tag":"Maybe"}},{"Entity":{"atom":88}},{"Str":{"pattern":"{"}},{"Entity":{"atom":88}},{"Repetition":{"atom":461,"min":0,"max":null,"tag":"Repetition"}},{"Entity":{"atom":493}},{"Str":{"pattern":"accept"}},{"Str":{"pattern":"reject"}},{"Str":{"pattern":"example"}},{"Alternative":{"atoms":[464,465,466]}},{"Entity":{"atom":5}},{"Entity":{"atom":62}},{"Entity":{"atom":5}},{"Str":{"pattern":"{"}},{"Entity":{"atom":88}},{"Repetition":{"atom":472,"min":0,"max":null,"tag":"Repetition"}},{"Entity":{"atom":484}},{"Entity":{"atom":22}},{"Str":{"pattern":":"}},{"Entity":{"atom":5}},{"Entity":{"atom":62}},{"Entity":{"atom":74}},{"Str":{"pattern":"true"}},{"Str":{"pattern":"false"}},{"Alternative":{"atoms":[480,481]}},{"Alternative":{"atoms":[478,479,482]}},{"Sequence":{"atoms":[475,476,477,483]}},{"Entity":{"atom":88}},{"Repetition":{"atom":485,"min":0,"max":null,"tag":"Repetition"}},{"Str":{"pattern":"}"}},{"Sequence":{"atoms":[470,471,473,474,486,487]}},{"Repetition":{"atom":488,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[467,468,469,489]}},{"Entity":{"atom":38}},{"Entity":{"atom":32}},{"Alternative":{"atoms":[490,491,492]}},{"Entity":{"atom":88}},{"Entity":{"atom":493}},{"Sequence":{"atoms":[494,495]}},{"Repetition":{"atom":496,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[463,497]}},{"Repetition":{"atom":498,"min":0,"max":1,"tag":"Maybe"}},{"Entity":{"atom":88}},{"Str":{"pattern":"}"}},{"Sequence":{"atoms":[454,458,459,460,462,499,500,501]}},{"Entity":{"atom":511}},{"Str":{"pattern":"custom"}},{"Entity":{"atom":5}},{"Entity":{"atom":22}},{"Entity":{"atom":5}},{"Str":{"pattern":"="}},{"Entity":{"atom":5}},{"Entity":{"atom":62}},{"Sequence":{"atoms":[504,505,506,507,508,509,510]}},{"Entity":{"atom":520}},{"Str":{"pattern":"state"}},{"Entity":{"atom":5}},{"Entity":{"atom":22}},{"Entity":{"atom":5}},{"Str":{"pattern":":"}},{"Entity":{"atom":5}},{"Entity":{"atom":22}},{"Sequence":{"atoms":[513,514,515,516,517,518,519]}},{"Entity":{"atom":529}},{"Str":{"pattern":"glue"}},{"Entity":{"atom":5}},{"Entity":{"atom":22}},{"Entity":{"atom":5}},{"Entity":{"atom":22}},{"Sequence":{"atoms":[525,526]}},{"Repetition":{"atom":527,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[522,523,524,528]}},{"Entity":{"atom":32}},{"Entity":{"atom":38}},{"Alternative":{"atoms":[90,272,364,372,431,453,503,512,521,530,531]}},{"Sequence":{"atoms":[83,89]}},{"Repetition":{"atom":533,"min":0,"max":null,"tag":"Repetition"}},{"Entity":{"atom":88}},{"Repetition":{"atom":535,"min":0,"max":null,"tag":"Repetition"}},{"Str":{"pattern":"}"}},{"Sequence":{"atoms":[41,42,43,44,45,46,47,80,81,82,534,536,537]}},{"Entity":{"atom":371}},{"Entity":{"atom":430}},{"Entity":{"atom":452}},{"Entity":{"atom":502}},{"Entity":{"atom":582}},{"Str":{"pattern":"render"}},{"Entity":{"atom":5}},{"Entity":{"atom":22}},{"Entity":{"atom":88}},{"Str":{"pattern":"{"}},{"Entity":{"atom":88}},{"Entity":{"atom":577}},{"Str":{"pattern":"field"}},{"Entity":{"atom":5}},{"Entity":{"atom":22}},{"Sequence":{"atoms":[551,552,553]}},{"Str":{"pattern":"literal"}},{"Entity":{"atom":5}},{"Entity":{"atom":62}},{"Sequence":{"atoms":[555,556,557]}},{"Str":{"pattern":"cond"}},{"Entity":{"atom":5}},{"Entity":{"atom":22}},{"Entity":{"atom":88}},{"Str":{"pattern":"{"}},{"Entity":{"atom":88}},{"Entity":{"atom":573}},{"Sequence":{"atoms":[551,552,553]}},{"Sequence":{"atoms":[555,556,557]}},{"Sequence":{"atoms":[564,565]}},{"Repetition":{"atom":568,"min":0,"max":null,"tag":"Repetition"}},{"Entity":{"atom":88}},{"Str":{"pattern":"}"}},{"Sequence":{"atoms":[559,560,561,562,563,569,570,571]}},{"Alternative":{"atoms":[566,567,572]}},{"Sequence":{"atoms":[564,565]}},{"Repetition":{"atom":574,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[559,560,561,562,563,575,570,571]}},{"Alternative":{"atoms":[554,558,576]}},{"Sequence":{"atoms":[549,550]}},{"Repetition":{"atom":578,"min":0,"max":null,"tag":"Repetition"}},{"Entity":{"atom":88}},{"Str":{"pattern":"}"}},{"Sequence":{"atoms":[544,545,546,547,548,579,580,581]}},{"Entity":{"atom":589}},{"Str":{"pattern":"derive"}},{"Entity":{"atom":5}},{"Entity":{"atom":22}},{"Entity":{"atom":5}},{"Entity":{"atom":62}},{"Sequence":{"atoms":[584,585,586,587,588]}},{"Alternative":{"atoms":[40,539,540,541,542,543,583]}},{"Alternative":{"atoms":[7,24,33,39]}},{"Entity":{"atom":88}},{"Repetition":{"atom":592,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[6,593]}},{"Repetition":{"atom":594,"min":0,"max":null,"tag":"Repetition"}},{"Entity":{"atom":5}},{"Sequence":{"atoms":[0,595,596]}}],"root":597},"bindings":[]}},"preprocess":{},"tables":{},"lint":{"order_warnings":["rule nonl: branches 1 and 2 are order-dependent (first set not statically known)","rule str_body_char: branches 1 and 3 are order-dependent (first set not statically known)","rule str_body_char: branches 2 and 3 are order-dependent (first set not statically known)","rule hex: branches 1 and 2 are order-dependent (shared first bytes; ordered choice is decisive)","rule hex: branches 1 and 3 are order-dependent (shared first bytes; ordered choice is decisive)","rule hex: branches 2 and 3 are order-dependent (shared first bytes; ordered choice is decisive)","rule primary: branches 4 and 7 are order-dependent (shared first bytes; ordered choice is decisive)","rule primary: branches 5 and 6 are order-dependent (shared first bytes; ordered choice is decisive)","rule primary: branches 5 and 7 are order-dependent (shared first bytes; ordered choice is decisive)","rule primary: branches 6 and 7 are order-dependent (shared first bytes; ordered choice is decisive)","rule bprimary: branches 4 and 7 are order-dependent (shared first bytes; ordered choice is decisive)","rule bprimary: branches 5 and 6 are order-dependent (shared first bytes; ordered choice is decisive)","rule bprimary: branches 5 and 7 are order-dependent (shared first bytes; ordered choice is decisive)","rule bprimary: branches 6 and 7 are order-dependent (shared first bytes; ordered choice is decisive)","rule test_line: branches 2 and 3 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 1 and 2 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 1 and 3 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 1 and 4 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 1 and 5 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 1 and 6 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 1 and 7 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 1 and 8 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 1 and 9 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 2 and 3 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 2 and 4 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 2 and 5 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 2 and 6 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 2 and 7 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 2 and 8 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 2 and 9 are order-dependent (shared first bytes; ordered choice is decisive)","rule rule_line: branches 10 and 11 are order-dependent (shared first bytes; ordered choice is decisive)","rule top_item: branches 2 and 3 are order-dependent (shared first bytes; ordered choice is decisive)"]},"default_entry":"file","render":{},"derive":{},"tests":[{"entry":"file","kind":"accept","input":"grammar T version \"1\" { x = %x30-39 }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" { a = b / c as d }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" { g = [x] 3*y !z &w (p / q) }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" { k = 1*3(e / f) !(g h) }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" { custom lookback = \"ParsanolAtoms::Lookbehind\" a = %x30-39 }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" { state block_kind: symbol a = %x30-39 }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" { a = (set block_kind = \"quote\") %x30-39 }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" { a = (switch block_kind { \"quote\" -> q _ -> never }) }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" { a = (set d = (3*4(%x2D)) %x0A) }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" { a = (!(state d) %x61-7A) }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" {\n  p = {\n    %i\"iso\" / %i\"ieee\"\n  }\n}","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" { q = { a b } }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" {\n  r =\n  {\n    x as y\n  }\n}","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" {\n  s = {\n    # a comment is body whitespace\n    !(t / u) 2*v\n  }\n}","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" mode \"v1\" { x = %x30-39 }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" mode \"v2\" { x = %x30-39 }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" edition 1 { x = %x30-39 }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" edition 2 { x = %x30-39 }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" edition \"v2\" { x = %x30-39 }","expect":{}},{"entry":"file","kind":"accept","input":"grammar T version \"1\" edition 2 {\n  glue ws comment\n  ws = 1*( %x20 )\n  comment = \"#\" *nonl\n  main = \"a\" ws \"b\"\n}","expect":{}},{"entry":"file","kind":"reject","input":"grammar T version \"1\" { q = { a }","expect":{}},{"entry":"file","kind":"reject","input":"grammar T version \"1\" { q = { } }","expect":{}},{"entry":"file","kind":"reject","input":"nonsense","expect":{}},{"entry":"file","kind":"reject","input":"grammar T version \"1\" { = }","expect":{}}],"docs":{},"source":"# PG described in PG — the self-description grammar (F10, phase 1).\n# It recognizes the language this file is written in, over raw text:\n# whitespace is threaded explicitly (pq = potential whitespace within a\n# line, nlws = line-breaking whitespace, bw = brace-body whitespace: the\n# b* rules thread it so brace-form rule bodies span lines). The\n# reference compiler remains parsanol-ruby (SSOT, TODO 11); this\n# artifact is the validator — and brace_rule below is itself written in\n# the brace form it recognizes.\n\ngrammar PgMeta version \"1.0.0\" edition 2 {\n\n  # ---- lexical ----\n  digit = %x30-39\n  hexdig = %x30-39 / %x41-46 / %x61-66\n  letter = %x41-5A / %x61-7A\n  ident_char = letter / digit / %x5F\n  ident = 1*ident_char\n  newline = %x0A\n  nonl = %x01-09 / %x0B-10FFFF\n  comment = \"#\" *nonl\n  doc_marker = \"##\" *nonl\n  ws = %x20 / %x09\n  nlws = 1*(ws / newline)\n  pq = *ws\n\n  # ---- terminals ----\n  str_body_char = %x01-09 / %x0B-21 / %x23-10FFFF\n  dstring = \"\\\"\" *(\"\\\\\" nonl / str_body_char) \"\\\"\"\n  istring = \"%i\" dstring\n  sstring = \"%s\" dstring\n  hexdigits = 2*6hexdig\n  hexlit = \"%x\" hexdigits [(\"-\" hexdigits) / 1*(\".\" hexdigits)]\n  hex = hexlit / istring / sstring / dstring\n\n  # ---- expressions (pq-threaded) ----\n  choice = seq *(pq \"/\" pq seq)\n  seq = element *(pq element)\n  element = pq (rep_prefix pq [pred / postfixed] / pred / postfixed)\n  rep_prefix = num [\"*\" [num]] / \"*\" [num]\n  num = 1*digit\n  pred = (\"!\" / \"&\") postfixed\n  postfixed = primary [pq \"as\" pq ident]\n  table_alt = \"alt\" pq \"from_table\" pq dstring pq \"column\" pq dstring\n  set_expr = \"set\" pq ident pq \"=\" pq (dstring / \"(\" [pq] choice [pq] \")\")\n  switch_arm = (dstring / \"_\") pq \"->\" pq dotted_ident\n  switch_expr = \"switch\" pq ident pq \"{\" *nlws [switch_arm *(nlws switch_arm)] *nlws \"}\"\n  custom_line = \"custom\" pq ident pq \"=\" pq dstring\n  state_line = \"state\" pq ident pq \":\" pq ident\n  dotted_ident = ident *(\".\" ident)\n  primary = hex / \"(\" [pq] choice [pq] \")\" / \"[\" [pq] choice [pq] \"]\" / table_alt / set_expr / switch_expr / dotted_ident\n\n  # ---- brace-body expressions (bw-threaded: newlines are whitespace) ----\n  bw = *(ws / newline / comment)\n  bchoice = bseq *(bw \"/\" bw bseq)\n  bseq = belement *(bw belement)\n  belement = bw (rep_prefix bw [bpred / bpostfixed] / bpred / bpostfixed)\n  bpred = (\"!\" / \"&\") bpostfixed\n  bprimary = hex / \"(\" [bw] bchoice [bw] \")\" / \"[\" [bw] bchoice [bw] \"]\" / table_alt / set_expr / switch_expr / dotted_ident\n  bpostfixed = bprimary [bw \"as\" bw ident]\n\n  # ---- rules and sections ----\n  rule = ident pq \"=\" pq choice\n  brace_rule = {\n    ident pq \"=\" *(ws / newline) %x7B\n    bchoice bw %x7D\n  }\n  entry_section = \"entry\" pq ident \":\" pq ident\n  path = ident *((\"[\" \"]\") / (\".\" ident))\n  cardinality = 1*(digit / \".\" / \"*\")\n  binding = ident pq \"->\" pq path [pq \"(\" ident [\",\" pq cardinality] \")\"] [pq \"preprocess\" \":\" pq ident]\n  bindings_section = \"bindings\" pq ident nlws \"{\" [nlws] [binding *(nlws binding)] [nlws] \"}\"\n  step = \"table_lookup\" pq ident pq ident pq \"->\" pq ident\n  preprocess_section = \"preprocess\" pq ident nlws \"{\" *nlws step nlws \"}\"\n  test_line = (\"accept\" / \"reject\" / \"example\") pq dstring [pq \"{\" *nlws test_pair *nlws \"}\"] / comment / doc_marker\n  test_pair = ident \":\" pq (dstring / num / (\"true\" / \"false\"))\n  test_section = \"test\" [pq ident] nlws \"{\" *nlws [test_line *(nlws test_line)] nlws \"}\"\n  rule_line = rule / brace_rule / entry_section / bindings_section / preprocess_section / test_section / custom_line / state_line / glue_line / doc_marker / comment\n  edition_decl = \"mode\" pq dstring / \"edition\" pq (num / dstring)\n  glue_line = \"glue\" pq ident *(pq ident)\n  grammar_block = \"grammar\" pq ident pq \"version\" pq dstring [pq edition_decl] pq \"{\" *(nlws rule_line) *nlws \"}\"\n  render_section = \"render\" pq ident nlws \"{\" *(nlws render_seg) nlws \"}\"\n  render_seg = (\"field\" pq ident) / (\"literal\" pq dstring) / (\"cond\" pq ident nlws \"{\" *(nlws render_seg) nlws \"}\")\n  derive_section = \"derive\" pq ident pq dstring\n  top = grammar_block / entry_section / bindings_section / preprocess_section / test_section / render_section / derive_section\n  use_line = \"use\" pq ident\n  top_item = use_line / doc_marker / comment / top\n\n  pg_file = pq *(top_item [nlws]) pq\n\n  entry file: pg_file\n\n  test {\n    accept \"grammar T version \\\"1\\\" { x = %x30-39 }\"\n    accept \"grammar T version \\\"1\\\" { a = b / c as d }\"\n    accept \"grammar T version \\\"1\\\" { g = [x] 3*y !z &w (p / q) }\"\n    accept \"grammar T version \\\"1\\\" { k = 1*3(e / f) !(g h) }\"\n    accept \"grammar T version \\\"1\\\" { custom lookback = \\\"ParsanolAtoms::Lookbehind\\\" a = %x30-39 }\"\n    accept \"grammar T version \\\"1\\\" { state block_kind: symbol a = %x30-39 }\"\n    accept \"grammar T version \\\"1\\\" { a = (set block_kind = \\\"quote\\\") %x30-39 }\"\n    accept \"grammar T version \\\"1\\\" { a = (switch block_kind { \\\"quote\\\" -> q _ -> never }) }\"\n    accept \"grammar T version \\\"1\\\" { a = (set d = (3*4(%x2D)) %x0A) }\"\n    accept \"grammar T version \\\"1\\\" { a = (!(state d) %x61-7A) }\"\n    accept \"grammar T version \\\"1\\\" {\\n  p = {\\n    %i\\\"iso\\\" / %i\\\"ieee\\\"\\n  }\\n}\"\n    accept \"grammar T version \\\"1\\\" { q = { a b } }\"\n    accept \"grammar T version \\\"1\\\" {\\n  r =\\n  {\\n    x as y\\n  }\\n}\"\n    accept \"grammar T version \\\"1\\\" {\\n  s = {\\n    # a comment is body whitespace\\n    !(t / u) 2*v\\n  }\\n}\"\n    accept \"grammar T version \\\"1\\\" mode \\\"v1\\\" { x = %x30-39 }\"\n    accept \"grammar T version \\\"1\\\" mode \\\"v2\\\" { x = %x30-39 }\"\n    accept \"grammar T version \\\"1\\\" edition 1 { x = %x30-39 }\"\n    accept \"grammar T version \\\"1\\\" edition 2 { x = %x30-39 }\"\n    accept \"grammar T version \\\"1\\\" edition \\\"v2\\\" { x = %x30-39 }\"\n    accept \"grammar T version \\\"1\\\" edition 2 {\\n  glue ws comment\\n  ws = 1*( %x20 )\\n  comment = \\\"#\\\" *nonl\\n  main = \\\"a\\\" ws \\\"b\\\"\\n}\"\n    reject \"grammar T version \\\"1\\\" { q = { a }\"\n    reject \"grammar T version \\\"1\\\" { q = { } }\"\n    reject \"nonsense\"\n    reject \"grammar T version \\\"1\\\" { = }\"\n  }\n}\n","source_hash":"4ff02e95155a1784f722f413ff98913800d571622ddeff37b56fc53c51188644","unicode_tables":"onigmo (Ruby 3.4.8)","compiler_version":"1.3.126","edition":2,"semantics_hash":"sha256:0d41b8456d396150de6c860f2b0fd53ed8dc7299ca30a62910c8e8565905709f","checksum":"sha256:acd4d7e293d3879091d30bc8a0d987b4b0e99baac82d68af3f95ee68e8420848"}

data/data/parg/parg.parg

@@ -0,0 +1,118 @@
+# PG described in PG — the self-description grammar (F10, phase 1).
+# It recognizes the language this file is written in, over raw text:
+# whitespace is threaded explicitly (pq = potential whitespace within a
+# line, nlws = line-breaking whitespace, bw = brace-body whitespace: the
+# b* rules thread it so brace-form rule bodies span lines). The
+# reference compiler remains parsanol-ruby (SSOT, TODO 11); this
+# artifact is the validator — and brace_rule below is itself written in
+# the brace form it recognizes.
+
+grammar PgMeta version "1.0.0" edition 2 {
+
+  # ---- lexical ----
+  digit = %x30-39
+  hexdig = %x30-39 / %x41-46 / %x61-66
+  letter = %x41-5A / %x61-7A
+  ident_char = letter / digit / %x5F
+  ident = 1*ident_char
+  newline = %x0A
+  nonl = %x01-09 / %x0B-10FFFF
+  comment = "#" *nonl
+  doc_marker = "##" *nonl
+  ws = %x20 / %x09
+  nlws = 1*(ws / newline)
+  pq = *ws
+
+  # ---- terminals ----
+  str_body_char = %x01-09 / %x0B-21 / %x23-10FFFF
+  dstring = "\"" *("\\" nonl / str_body_char) "\""
+  istring = "%i" dstring
+  sstring = "%s" dstring
+  hexdigits = 2*6hexdig
+  hexlit = "%x" hexdigits [("-" hexdigits) / 1*("." hexdigits)]
+  hex = hexlit / istring / sstring / dstring
+
+  # ---- expressions (pq-threaded) ----
+  choice = seq *(pq "/" pq seq)
+  seq = element *(pq element)
+  element = pq (rep_prefix pq [pred / postfixed] / pred / postfixed)
+  rep_prefix = num ["*" [num]] / "*" [num]
+  num = 1*digit
+  pred = ("!" / "&") postfixed
+  postfixed = primary [pq "as" pq ident]
+  table_alt = "alt" pq "from_table" pq dstring pq "column" pq dstring
+  set_expr = "set" pq ident pq "=" pq (dstring / "(" [pq] choice [pq] ")")
+  switch_arm = (dstring / "_") pq "->" pq dotted_ident
+  switch_expr = "switch" pq ident pq "{" *nlws [switch_arm *(nlws switch_arm)] *nlws "}"
+  custom_line = "custom" pq ident pq "=" pq dstring
+  state_line = "state" pq ident pq ":" pq ident
+  dotted_ident = ident *("." ident)
+  primary = hex / "(" [pq] choice [pq] ")" / "[" [pq] choice [pq] "]" / table_alt / set_expr / switch_expr / dotted_ident
+
+  # ---- brace-body expressions (bw-threaded: newlines are whitespace) ----
+  bw = *(ws / newline / comment)
+  bchoice = bseq *(bw "/" bw bseq)
+  bseq = belement *(bw belement)
+  belement = bw (rep_prefix bw [bpred / bpostfixed] / bpred / bpostfixed)
+  bpred = ("!" / "&") bpostfixed
+  bprimary = hex / "(" [bw] bchoice [bw] ")" / "[" [bw] bchoice [bw] "]" / table_alt / set_expr / switch_expr / dotted_ident
+  bpostfixed = bprimary [bw "as" bw ident]
+
+  # ---- rules and sections ----
+  rule = ident pq "=" pq choice
+  brace_rule = {
+    ident pq "=" *(ws / newline) %x7B
+    bchoice bw %x7D
+  }
+  entry_section = "entry" pq ident ":" pq ident
+  path = ident *(("[" "]") / ("." ident))
+  cardinality = 1*(digit / "." / "*")
+  binding = ident pq "->" pq path [pq "(" ident ["," pq cardinality] ")"] [pq "preprocess" ":" pq ident]
+  bindings_section = "bindings" pq ident nlws "{" [nlws] [binding *(nlws binding)] [nlws] "}"
+  step = "table_lookup" pq ident pq ident pq "->" pq ident
+  preprocess_section = "preprocess" pq ident nlws "{" *nlws step nlws "}"
+  test_line = ("accept" / "reject" / "example") pq dstring [pq "{" *nlws test_pair *nlws "}"] / comment / doc_marker
+  test_pair = ident ":" pq (dstring / num / ("true" / "false"))
+  test_section = "test" [pq ident] nlws "{" *nlws [test_line *(nlws test_line)] nlws "}"
+  rule_line = rule / brace_rule / entry_section / bindings_section / preprocess_section / test_section / custom_line / state_line / glue_line / doc_marker / comment
+  edition_decl = "mode" pq dstring / "edition" pq (num / dstring)
+  glue_line = "glue" pq ident *(pq ident)
+  grammar_block = "grammar" pq ident pq "version" pq dstring [pq edition_decl] pq "{" *(nlws rule_line) *nlws "}"
+  render_section = "render" pq ident nlws "{" *(nlws render_seg) nlws "}"
+  render_seg = ("field" pq ident) / ("literal" pq dstring) / ("cond" pq ident nlws "{" *(nlws render_seg) nlws "}")
+  derive_section = "derive" pq ident pq dstring
+  top = grammar_block / entry_section / bindings_section / preprocess_section / test_section / render_section / derive_section
+  use_line = "use" pq ident
+  top_item = use_line / doc_marker / comment / top
+
+  pg_file = pq *(top_item [nlws]) pq
+
+  entry file: pg_file
+
+  test {
+    accept "grammar T version \"1\" { x = %x30-39 }"
+    accept "grammar T version \"1\" { a = b / c as d }"
+    accept "grammar T version \"1\" { g = [x] 3*y !z &w (p / q) }"
+    accept "grammar T version \"1\" { k = 1*3(e / f) !(g h) }"
+    accept "grammar T version \"1\" { custom lookback = \"ParsanolAtoms::Lookbehind\" a = %x30-39 }"
+    accept "grammar T version \"1\" { state block_kind: symbol a = %x30-39 }"
+    accept "grammar T version \"1\" { a = (set block_kind = \"quote\") %x30-39 }"
+    accept "grammar T version \"1\" { a = (switch block_kind { \"quote\" -> q _ -> never }) }"
+    accept "grammar T version \"1\" { a = (set d = (3*4(%x2D)) %x0A) }"
+    accept "grammar T version \"1\" { a = (!(state d) %x61-7A) }"
+    accept "grammar T version \"1\" {\n  p = {\n    %i\"iso\" / %i\"ieee\"\n  }\n}"
+    accept "grammar T version \"1\" { q = { a b } }"
+    accept "grammar T version \"1\" {\n  r =\n  {\n    x as y\n  }\n}"
+    accept "grammar T version \"1\" {\n  s = {\n    # a comment is body whitespace\n    !(t / u) 2*v\n  }\n}"
+    accept "grammar T version \"1\" mode \"v1\" { x = %x30-39 }"
+    accept "grammar T version \"1\" mode \"v2\" { x = %x30-39 }"
+    accept "grammar T version \"1\" edition 1 { x = %x30-39 }"
+    accept "grammar T version \"1\" edition 2 { x = %x30-39 }"
+    accept "grammar T version \"1\" edition \"v2\" { x = %x30-39 }"
+    accept "grammar T version \"1\" edition 2 {\n  glue ws comment\n  ws = 1*( %x20 )\n  comment = \"#\" *nonl\n  main = \"a\" ws \"b\"\n}"
+    reject "grammar T version \"1\" { q = { a }"
+    reject "grammar T version \"1\" { q = { } }"
+    reject "nonsense"
+    reject "grammar T version \"1\" { = }"
+  }
+}

data/lib/pubid/bipm/CLAUDE.md

@@ -9,3 +9,7 @@ These notes were part of the root `CLAUDE.md`. Read them before you change `lib/
 - **BIPM index key (`root.number`) + MR slug**: relaton-index narrows on `id.root.number.to_s` (`Relaton::Index::Type#get_id_number` → `bsearch_left`/`bsearch_right`), and the same `number` feeds `to_mr_string`/`to_slug`, which consumers use as an output **filename**. `Pubid::Bipm::Builder` used to set `number` only in `build_committee`/`build_meeting`/`build_guide`, so **6,213 of the 7,922 published `relaton-data-bipm` index-v2 rows (78%) shared the empty key `""`** and the binary search silently degenerated to a linear scan. The four number-less builders now derive one: **Metrologia → the volume** (`Metrologia 55 1A 06007` → `"55"`), **SI Brochure → `edition`** for the brochure and **`variant`** for the derived products (`"9e"`, `"Appendix 3"`, `"Concise"`, `"FAQ"`), **MEP → `mep_code || report_code`** (`"S1"`, `"KUPRTM"`, `"BIPM-2019/05"`). The Metrologia key is deliberately the **coarse, clustering** one (all articles of a volume share a bucket — 61 buckets, median 81), matching the IETF draft-slug and IANA registry-slug convention; **per-article distinctness comes from the MR string, not from `number`**. Two groups stay `number`-less **on purpose** (7 rows of 7,922, so 99.91% coverage): the ordinal-less committee declarations (`CGPM DECL (1889)`, upstream `1889-00.yaml`) and the journal-level `Metrologia` record — filling them would move `urn:bipm:cgpm:decl::1889`'s documented **empty number segment**; both are pinned by `spec/pubid/bipm/root_number_spec.rb` so the gap stays visible. **`number` is not stored twice where it would merely duplicate another key.** A Metrologia article's `volume` is a **derived reader** (`def volume; number&.to_i; end` on the `MetrologiaArticle` leaf), not an attribute — the IANA `registry` / IETF `series` pattern. That one case is essentially the whole duplication: 6,204 of the 6,206 published rows carrying a derived `number` are articles, so the change shrinks the serialized ids by **9.6%** and was verified to reproduce the published Integer `volume` for all 6,205 article rows. It is safe as a plain method only because `volume` is no longer a lutaml attribute **anywhere** in the hierarchy (a method shadowing a generated accessor corrupts attribute resolution). `:volume` stays listed in `NUMBER_SOURCE_ATTRIBUTES` — the base `#exclude` loop skips a non-attribute name, but `exclude(:volume)` must still clear the key it derives from. **`edition`/`variant` and `mep_code`/`report_code` DO stay**, and that is not an oversight: each pair shares one class, so the renderer needs to know *which* of the two a value is (`9e v3.01 (2019/2024, E)` vs `Concise`; `SI MEP S1` vs `Rapport BIPM-2019/05`). Deriving those would trade a duplicated key for a subtler discriminator rule across 5 corpus rows. The redundancy is **one-way, unlike the IEEE `CodeNumber` mixin** it superficially resembles: `Builder` is the **constructor of record**, and nothing rebuilds `number` afterwards — so `MetrologiaArticle.new(volume: 51, …)` has an empty key, and a legacy pre-`number` row deserializes with `number` nil (lutaml assigns attributes *after* `initialize`, so an `initialize` hook would not heal it either — and worse, `#exclude` rebuilds through `self.class.new`, so such a hook would silently re-fill a `number` the caller just excluded). What **is** handled is the exclusion direction: `NUMBER_SOURCE_ATTRIBUTES` (`volume edition variant mep_code report_code`) drives `#exclude` to clear `number` whenever the attribute it derives from is excluded — the "reset the WHOLE cluster" lesson recorded for CSA's year and IEEE's year/month/day. **Nothing about rendering changed**: no renderer or URN branch reads `number` for these families, verified by a corpus diff — `to_s` and `to_urn` are byte-identical before/after for all 7,920 parseable ids. **MR**: BIPM had **no** `mr_*` override at all and inherits none of the base hooks usefully — it keeps its publisher in the `PUBLISHER` constant (so `mr_publisher` was nil), its year in an `:integer` (not a `Components::Date`, so `mr_year` was nil), its edition in a `:string` (not a `Components::Edition`, so the base `mr_edition`'s `edition.number` **raised `NoMethodError`** on every SI Brochure) and its own `type_code` (not a `typed_stage`, so `mr_type` was nil). Result: 90 fixture ids collapsed onto **21** slugs, `""` for 41 of them. The base now overrides those four plus `mr_type`, and adds an `mr_slug(*parts)` helper; each **leaf** supplies `mr_type` + `mr_number_with_part`. `mr_slug` sanitizes **by charset** (`gsub(/[^a-z0-9]+/, "-")`), not by an enumerated escape list, so a field added later cannot leak an unsafe character — BIPM needs three today: a `/` (the MEP report code `BIPM-2019/05`), a space (the SI Brochure variant `Appendix 3`) and a **`.`** (the brochure version `v3.01`). The dot matters beyond filename safety: `Renderers::MrString` joins **segments** with `.`, so a dot inside one would break the documented segment structure (hence `bipm.si-brochure.9e-v3-01.e`, not `…9e-v3.01.e`). Caveat pinned in the code: `-` is both the intra-segment join and the substitute, which is unambiguous only because no field feeding `mr_slug` admits a `-` today (`number`'s own internal `-` in `10-1` is safe because the `group` before it cannot contain one). The **group is load-bearing in the number segment** for CommitteeDocument/Meeting/Guide (`CCTF REC 2` vs `CCEM REC 2`; the 17th CGPM vs the 17th CIPM meeting; `CCL-GD-MeP-1` vs `CCEM-GD-RSI-1` — the guide sequence restarts per committee, so both carry number `"1"`). Verified over the corpus: **7,920 distinct slugs for 7,920 ids, zero collisions, zero non-filename-safe slugs.** Three **deliberate collapses**, pinned by `spec/pubid/bipm/mr_string_spec.rb`: `form` (short vs long committee spelling) and the MEP/Guide `appendix`/`annex`/`part` full-content tail are omitted, because MR is a canonical *document* slug and the URN already collapses them; `language` **is** kept, because the E and F records are distinct files upstream. **Watch out**: the long French spelling is *not* merely another rendering — `Builder#build_committee`/`build_meeting` record it as `language: "F"`, so `Résolution 1 de la CGPM (1927)` names the **French record** and correctly differs from the language-neutral `CGPM RES 1 (1927)`; only a same-language pair collapses. **Note on the determinism landmine**: BIPM declares `attribute :number, :string` on the **shared** `Pubid::Bipm::Identifier` (the IHO/JIS/GOST pattern), not on the leaves as IEEE/IETF/IANA/CIE do — it predates that lesson and is unchanged here, so `spec/pubid/bipm/root_number_spec.rb` carries the structural tripwire (the base *and* all six leaves must resolve `number` to `Lutaml::Model::Type::String`) and **is only meaningful under the full `bundle exec rake`**. **relaton note**: `relaton-data-bipm` must regenerate `index-v2.yaml` to gain the key (and to drop the now-unstored `volume`; `Relaton::Bipm::Bibliography#id_hash` reads `pubid.volume`, which the derived reader keeps working unchanged). A pre-`number` row degrades **silently, not loudly** — lutaml ignores unknown keys and `Relaton::Index::FileIO#id_supported?` skips its round-trip check for concrete subclasses (every BIPM id is a leaf) — so no `require_number!`-style raise is added (rendering does not depend on `number`, and `CGPM DECL` is legitimately number-less). `Relaton::Bipm::Bibliography#get_bipm` also still calls the **block** form `index.search { |r| … }`, which passes `id = nil` and skips `candidates_by_number` entirely, so nothing narrows until it adopts the id form.
 
 - **BIPM loose consumer forms (retiring `Relaton::Bipm::Id`)**: `Relaton::Bipm::Bibliography` could not use pubid as its **query** parser — it kept a bespoke regex grammar (`Relaton::Bipm::Id`) because `Pubid::Bipm.parse` rejected the spellings real references use. The grammar now accepts them, so relaton can match pubid-to-pubid like every other flavor. **All of these are NORMALIZING parses — the identifier renders back in BIPM's canonical spelling, never the input** — which is the whole point (a loose query must produce an identifier equal to the index row's), and which is exactly why they must **never** go into the byte-exact `spec/fixtures/bipm/identifiers/pass/` (the `CIPM/2005-06(REV)` precedent); their expectations live in `spec/pubid/bipm/loose_consumer_forms_spec.rb`. Six constructs: **(1) Meeting word order** — `meeting_en` gained a `<group> Meeting <n>` branch and `meeting_fr` gained a plain-`e` ordinal branch (`CIPM 111e Réunion (2022)`) and a `<group> Réunion <n>` branch, all normalizing to `CCTF 14th Meeting (1999)` / `CIPM 111<sup>e</sup> réunion (2022)`. **(2) `committee_group_fr`** — a French type name in the English (group-leading) word order (`CIPM Décision 101-1 (2012)` → `Décision 101-1 du CIPM (2012)`). Its slot in `group_leading` is **after `committee_long_en`**, which is load-bearing: `Action` and `Statement` are in *both* `TYPE_NAME_EN` and `TYPE_NAME_FR`, so the English rule must claim them first or `CIPM Action 5 (2010)` would flip to French. Like the existing French rules it sets `language: "F"` — information the user typed, which a consumer can always widen away but could never recover. **(3) `GROUP_ALIASES`** (`CCDS`→`CCTF`) and **(4) `LANGUAGE_ALIASES`** (`EN`→`E`, `FR`→`F`, longest-first in the `lang` rule so `EN` is never read as a bare `E`): both are resolved in the **builder**, so an alias never reaches an attribute and the index stores only the current name and the one-letter code. `PARSEABLE_GROUPS` (= `GROUPS + GROUP_ALIASES.keys`) is what the `group` rule alternates over; `GROUPS` itself is unchanged, so nothing else sees the alias. **(5) `si_brochure_section`** — the bare `SI Brochure` and `SI Brochure Part 1`. Neither names an edition, so **both are partial references with a nil `number`** that wildcard every edition (the date-less `CCTF REC 2` reading). `Part N` points at a section *inside* the brochure — there is no `si-brochure-part-1.yaml` upstream and relaton's `Id` deletes `:part` before comparing — so it rides in the shared `part` attribute and stays **out** of the index key, exactly as the MEP/guide `Part N.M` tail does. **A Parslet fact worth recording, because it contradicts what several comments in this repo imply**: Parslet threads `consume_all` down through an alternation, so an alternative matching only a **prefix** counts as a failure and the next one is tried — verified by reordering. `si_brochure_section` therefore cannot truncate `SI Brochure Concise` whatever its slot, and `committee_bare` could not shadow a typed form even if it came first. Alternation order decides **only** between two alternatives that both consume the *whole* input — which is exactly the `committee_long_en`-before-`committee_group_fr` case above, and the only ordering here that is genuinely load-bearing (verified: flipping it renders `CIPM Action 5 (2010)` as the French `Action 5 du CIPM (2010)`, a different record). The `BIPM ` prefix was also made **optional on the main `si_brochure` rule** (it already was on the variant rule): `si-brochure.yaml` stores its docnumber *without* it, and `Relaton::Bipm::Bibliography.search` strips a leading `BIPM ` before pubid ever sees the string — so `SI Brochure 9e v3.01 (2019/2024, E)` used to be a hard parse failure. **(6) `TYPE_WORD_ALIASES`** — a **data-corruption fix**: `Declaration`/`Déclaration` were in the `type_name_en`/`type_name_fr` alternations but **not** in `TYPE_WORD_TO_CODE` (which is built from `TYPE_NAME_EN`/`TYPE_NAME_FR`, where DECL's name is `Statement` in both languages), so `CGPM Declaration 1 (1971)` parsed with `type_code` **nil** and rendered as the corrupt `"CGPM  1 (1971)"` (double space), `Déclaration 1 du CGPM (1971)` as `" 1 de la CGPM (1971)"`. Both now map to DECL and render `Statement`. **The matching contract relaton needs** (pinned by the spec against real `index-v2` rows): committee-document and meeting rows are stored **language- and form-neutral** — verified, all 1348 + 367 — so the BIPM stem is **`pubid.exclude(:language, :form)`**, and every loose form reduces under it to the identifier rebuilt from its row. The SI Brochure is the exception: a nil-`edition` query must match *any* `SiBrochure` row, which is what `Id#id_hash`'s `{group: "SI", type: "Brochure"}` collapse already meant. **Also fixed here**: `UrnParser#build_metrologia`/`#build_si_brochure` never set the derived `number`, so a URN round-trip silently emptied the relaton index key (the shared `"flavor URN round-trip"` example only compares `to_urn`, so it was invisible) — now set from the same source the builder uses, guarded by a `presence` helper because an unfilled URN segment is `""`, not nil. **Verified**: all 7,922 published `relaton-data-bipm` rows re-parse from their own `to_s` with an identical hash, class and MR slug (0 mismatches, 0 MR collisions), and all 90 pass fixtures stay byte-exact. **Deliberately NOT changed:** `CCTF Recommendation 2009-02` still reads as the literal number `2009-02` while the index keys that document under `2` — genuinely ambiguous, since `NNNN-NN` is a real BIPM number form (`CIPM 2005-06`), so the consumer keeps a fallback. **Known pre-existing gap, deliberately untouched:** the SI Brochure URN carries only language/edition/version/years, so `Concise`, `FAQ` and `Appendix 3` — three distinct documents — already share `urn:bipm:si-brochure::::`, and the new bare/section forms join that bucket (defensibly, being partial references rather than distinct documents). Fixing it needs a URN-shape decision plus a matching `UrnParser` branch. `Pubid.parse` auto-routing does not resolve **any** BIPM form today (also pre-existing), so `PREFIXES` was left alone — adding `CCDS` there would change nothing observable. (hand-off: bipm-loose-consumer-forms; consumer follow-up: relaton__relaton__bipm-drop-id-parser-for-pubid.)
+
+- **Routing reaches BIPM (`Pubid.parse`, pubid#644)**: the note above says "`Pubid.parse` auto-routing does not resolve **any** BIPM form today … so `PREFIXES` was left alone" — that is no longer true, in two halves. **(1) `PREFIXES` gained the two SI-family series tokens** `SI Brochure` and `SI MEP`: both lead real printed references on their own (`SI Brochure 9e v3.01 (2019/2024, E)` — the spelling relaton's `Bibliography#search` strips the `BIPM ` off, per the note above — and `SI MEP 10`), and before this both parsed **directly** but the router could not route them (no prefix owner ⇒ no non-exact fallback). "Rapport" stays excluded per the ambiguous-token policy (generic French word). **(2) The quoted-title form** `BIPM "The International System of Units"` — the brochure IS titled that — is mapped onto the parseable `BIPM SI Brochure` section form by **`data/bipm/update_codes.yaml`** (the CIPM-MRA precedent), so it parses as a **partial reference** that wildcards every edition, exactly like `SI Brochure Part 1`; the bare `"The International System of Units"` maps to `SI Brochure`. Both are normalizing parses and live with the loose-forms expectations, never in the byte-exact fixtures. The **French title is deliberately not mapped**: it names the F-language record specifically, and mapping it would silently drop typed language information (the loose-forms rule above). Also note the router's prefix-owner mechanism is what makes the normalizing parses routable: `Pubid::Bipm.parse("BIPM SI Brochure")` happens to round-trip exactly, but `SI Brochure 9e …` renders with the leading `BIPM ` the input lacked — without prefix-owner status the router would reject it. (hand-off: router-printed-forms-644.)
+
+- **Corpus-cited forms + guide printings (pubid#657)**: the metanorma-bipm fetch queue cites two spellings the grammar rejected, and the 2026-11 guide update adds printings of its own. All are **parse-in forms over the existing canonical identities** — the canonical render follows the guide, nothing that already parsed changed. **(1) The em-dash meeting variant** `CGPM -- Meeting 1 (1889)`: `meeting_en` gained `<group> -- Meeting <n>` and `<group> -- <n><ord> Meeting` branches (the corpus cites only the first; the second is the same reordering over the other word order). They build through the existing `Meeting` path, so the canonical render is `CGPM 1st Meeting (1889)`. **(2) The publisher-prefixed decision** `BIPM DECN CIPM/101-1 (2012, EN)` (and `, FR`): new `committee_prefixed` rule — a **literal `BIPM`** lead (the constant publisher, deliberately NOT the `group` table, which contains BIPM and would collide with the second `group` capture), `type_abbrev`, then the body-qualified id `{group}/{number}`. Builds through `build_committee` short-form, so it equals `CIPM DECN 101-1 (2012, E)` — verified against real `index-v2` rows in `loose_consumer_forms_spec` (the corpus's citeas comes out as the BIPM-long style, which is the consumer's rendering choice, not pubid's). **(3) The guide's French body-prefixed long form** `Décision CIPM/111-10 (2022)` / `Recommandation JCRB/43-1 (2021)`: an alternative inside `committee_long_fr` (same capture name, so the same builder path — long form, language F). **The canonical French long form stays the connective spelling** (`Décision 101-1 du CIPM (2012)`) even though the guide's language-independent example prefers the body-prefixed one — the corpus freezes the connective render for what already parsed, and flipping the canonical would move frozen cases; that flip is an owner decision if the guide is adopted wholesale. **(4) SI Brochure guide forms**: the language code and the version are now OPTIONAL (`SI Brochure 9e v3.01 (2019/2024)` language-independent, `SI Brochure 9e (2019, E)` version-less — both byte round-trips with the canonical `BIPM SI Brochure ` lead), and the guide's French lead `Brochure sur le SI 9e …` parses as an alias of the `BIPM SI Brochure sur le SI …` canonical (note the lead alternation is `"BIPM SI Brochure" / "SI Brochure" / "Brochure sur le SI"` with the `["sur le SI" space]` phrase still optional after the first two — it just fails cleanly after the third). **(5) The corpus-cited ordinal-edition spelling** `SI Brochure 9th edition (2019)`: its own `si_brochure_ordinal_edition` rule (a separate branch, because the `edition` capture would otherwise bind `"9th"`); the builder strips the ordinal and appends `e`, so it normalizes onto `BIPM SI Brochure 9e (2019)`. **(6) Part numbers** (the guide's resource-specific-id numbering, `partnumbers` proposal, bipm-si-brochure#301): parts/subparts are dash forms inside `number` (`CIPM DECN 111-10-2`) and always parsed; the appendix/annex complement `CIPM DECN 112 A3[.5]` is the new optional ` A<n>[.<m>]` tail on `committee_short`, stored in the shared `appendix`/`annex` attributes (the MEP/guide tail's home), printed back byte-exactly by `appendix_segment`, folded into the URN identifier segment as `-a<n>[.<m>]` (`urn:bipm:cipm:decn:112-a3.5:2022` — unambiguous, because a bare number never carries letters; `UrnParser#split_appendix` splits it back), and joined into the MR number segment (`mr_slug` collapses the annex dot). It requires a number before it (`CIPM DECN A3` still fails). **URN deviations from the guide, deliberate**: the guide's own committee-example URNs (`urn:bipm:v1:cipm:resolution:95-2006:1`) carry a `v1` version segment and venue-qualified shapes the flavor's URNs never adopted (`urn:bipm:cipm:res:101-1:2012`, no `v1`, no venue segments — green for years, kept byte-identical); the new forms emit URNs under the EXISTING shape for the same reason, and the same applies to the brochure (`urn:bipm:si-brochure:<lang>:<edition>:<version>:<years>` vs the guide's `urn:bipm:v1:bipm:si-brochure:9:3.01:2024` — the guide strips the `e`/`v` and drops the language segment; adopting that is an index-affecting owner decision, not taken here). **One Ruby trap the URN fold exposed**: `id.number.to_s` on a String **attribute** returns the attribute itself, so building the folded segment by `<<` mutated `number` in place — every later `to_s`/`to_hash` of the same object then carried `-a3`; the fold is now interpolation, and `urn_spec` pins that a URN emission leaves `number` untouched. **The unmerged `si-brochure-id` proposal** (`SI Brochure 9`, `SI Brochure 9 (E)`, `SI Brochure 9 (2024) (F)` — bare-number edition) is NOT implemented: it conflicts with the merged guide's `9e` spelling. (hand-off: bipm-657-corpus-forms.)

data/lib/pubid/bipm/builder.rb

@@ -13,6 +13,11 @@ module Pubid
       def build(data)
         if data[:committee_short]
           build_committee(data[:committee_short], form: "short")
+        elsif data[:committee_prefixed]
+          # The corpus's "BIPM DECN CIPM/101-1 (2012, EN)" publisher-prefixed
+          # spelling names the same document as the unprefixed short form; the
+          # BIPM lead is the constant publisher, so it carries no attribute.
+          build_committee(data[:committee_prefixed], form: "short")
         elsif data[:committee_long_en]
           build_committee(data[:committee_long_en], form: "long", language: "E")
         elsif data[:committee_bare]
@@ -32,6 +37,8 @@ module Pubid
           build_si_brochure_variant(data[:si_brochure_variant])
         elsif data.key?(:si_brochure_section)
           build_si_brochure_section(data[:si_brochure_section])
+        elsif data.key?(:si_brochure_ordinal_edition)
+          build_si_brochure_ordinal_edition(data[:si_brochure_ordinal_edition])
         elsif data[:mep]
           build_mep(data[:mep])
         elsif data[:guide]
@@ -55,6 +62,8 @@ module Pubid
           year: node[:year]&.to_s&.to_i,
           language: Identifier.normalize_language(language || node[:language]),
           form: form,
+          appendix: node[:appendix]&.to_s,
+          annex: node[:annex]&.to_s,
         )
       end
 
@@ -103,11 +112,13 @@ module Pubid
       # The SI Brochure has no document number of its own, so the edition is
       # the index key — it clusters the English and French records of one
       # edition. The grammar makes `edition` mandatory here, so it is never nil.
+      # The version and the language code are optional (the guide's
+      # language-independent form), so they may be nil.
       def build_si_brochure(node)
         Identifiers::SiBrochure.new(
           number: node[:edition].to_s,
           edition: node[:edition].to_s,
-          version: node[:version].to_s,
+          version: node[:version]&.to_s,
           years: node[:years].to_s,
           language: Identifier.normalize_language(node[:language]),
         )
@@ -128,6 +139,20 @@ module Pubid
         Identifiers::SiBrochure.new(part: node[:part]&.to_s)
       end
 
+      # The guide prints the edition "9e"; the corpus-cited "9th edition"
+      # spelling is the English ordinal form of the same edition, normalized
+      # onto the canonical "9e" value. The version is absent from the input, so
+      # it stays nil and drops from the serialized hash (a partial reference).
+      def build_si_brochure_ordinal_edition(node)
+        edition = "#{node[:ordinal_edition].to_s.sub(/(st|nd|rd|th)\z/, "")}e"
+        Identifiers::SiBrochure.new(
+          number: edition,
+          edition: edition,
+          years: node[:year]&.to_s,
+          language: Identifier.normalize_language(node[:language]),
+        )
+      end
+
       # The Appendix/Annex/Part tail is the full-content spelling of the SAME
       # document, so it stays out of the key.
       def build_mep(node)

data/lib/pubid/bipm/identifiers/committee_document.rb

@@ -28,7 +28,19 @@ module Pubid
         # The group has to be in the number segment or `CCTF REC 2` and
         # `CCEM REC 2` would share a slug.
         def mr_number_with_part
-          mr_slug(group, number)
+          mr_slug(group, number, appendix_tail)
+        end
+
+        private
+
+        # The appendix/annex complement distinguishes the separately published
+        # subresources, so it joins the number segment (the language rule: what
+        # upstream stores as distinct files must slug distinctly). `mr_slug`
+        # collapses the annex dot, as it does the brochure's "v3.01".
+        def appendix_tail
+          return nil unless appendix
+
+          annex ? "a#{appendix}.#{annex}" : "a#{appendix}"
         end
       end
     end

data/lib/pubid/bipm/renderer.rb

@@ -40,10 +40,20 @@ module Pubid
         # leading space) rather than emit a double space.
         lang = id.language ? ", #{id.language}" : ""
         type = id.type_code ? " #{id.type_code}" : ""
-        "#{id.group}#{type}#{number_segment(id)}" \
+        "#{id.group}#{type}#{number_segment(id)}#{appendix_segment(id)}" \
           "#{year_segment(id, lang: lang)}"
       end
 
+      # The complement tail "{identifier} A{appendix}[.{annex}]" of the guide's
+      # resource-specific-id numbering (parts/subparts are dash forms inside
+      # `number` itself; appendices/annexes are this separate tail).
+      def appendix_segment(id)
+        return "" unless id.appendix
+
+        annex = id.annex ? ".#{id.annex}" : ""
+        " A#{id.appendix}#{annex}"
+      end
+
       def render_committee_long(id)
         if id.language == "F"
           name = Identifier::TYPE_NAME_FR[id.type_code]
@@ -79,10 +89,15 @@ module Pubid
         # to print either — just the brochure, optionally down to one part.
         return "BIPM SI Brochure#{part_segment(id)}" unless id.edition
 
+        # The version is optional (the guide's "SI Brochure 9e (2019, E)" form)
+        # and the language code too (the language-independent form), so both
+        # segments are conditional.
         phrase = id.language == "F" ? "sur le SI " : ""
         lang = id.language ? ", #{id.language}" : ""
-        "BIPM SI Brochure #{phrase}#{id.edition} #{id.version} " \
-          "(#{id.years}#{lang})"
+        result = +"BIPM SI Brochure #{phrase}#{id.edition}"
+        result << " #{id.version}" if id.version
+        result << " (#{id.years}#{lang})"
+        result
       end
 
       # Optional " Part <n>" segment of an SI Brochure section reference.

data/lib/pubid/bipm/urn_generator.rb

@@ -28,13 +28,26 @@ module Pubid
         # type_code is nil for the bare MRA form → empty type segment, mirroring
         # the empty-number-segment convention for number-less documents.
         parts = ["urn", "bipm", id.group.downcase,
-                 id.type_code.to_s.downcase, id.number.to_s]
+                 id.type_code.to_s.downcase, committee_number_segment(id)]
         # A partial (date-less) reference drops the trailing year segment; a
         # number-less-but-dated doc keeps its empty number segment.
         parts << id.year if id.year
         parts.join(":")
       end
 
+      # The appendix/annex complement folds into the identifier segment as
+      # "-a{appendix}[.{annex}]". A bare number is digits and dashes only, so
+      # the letter-prefixed tail is unambiguous on the way back (UrnParser
+      # splits it). Built by interpolation, never by appending to
+      # `id.number.to_s` — on a String attribute that returns the attribute
+      # itself, so a `<<` would mutate the identifier's `number` in place.
+      def committee_number_segment(id)
+        return id.number.to_s unless id.appendix
+
+        tail = id.annex ? ".#{id.annex}" : ""
+        "#{id.number}-a#{id.appendix}#{tail}"
+      end
+
       def meeting
         id = identifier
         parts = ["urn", "bipm", id.group.downcase, "meeting", id.number.to_s]

data/lib/pubid/bipm/urn_parser.rb

@@ -27,14 +27,27 @@ module Pubid
             group: group, number: parts[2].to_s, year: parts[3]&.to_i,
           )
         else
+          number, appendix, annex = split_appendix(parts[2])
           Identifiers::CommitteeDocument.new(
             group: group,
             type_code: (parts[1].empty? ? nil : parts[1].upcase),
-            number: (parts[2].empty? ? nil : parts[2]), year: parts[3]&.to_i
+            number: (number.empty? ? nil : number), year: parts[3]&.to_i,
+            appendix: appendix, annex: annex,
           )
         end
       end
 
+      # Inverse of UrnGenerator#committee_number_segment: splits the folded
+      # "-a{appendix}[.{annex}]" tail back out of the identifier segment. A
+      # bare number is digits and dashes only, so the letter-prefixed tail is
+      # unambiguous.
+      def split_appendix(segment)
+        match = segment.to_s.match(/\A(.+?)-a(\d+)(?:\.(\d+))?\z/)
+        return [segment, nil, nil] unless match
+
+        [match[1], match[2], match[3]]
+      end
+
       # `number` is the relaton index key and is derived, not printed, so it has
       # to be set here exactly as `Builder` sets it — a URN-reconstructed
       # identifier must agree with a parsed one attribute for attribute.