File size: 2,403 Bytes
ebed3db | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 | # seb_spec.gbnf
# Cherry-picked from sovereign-xml-compiler/grammars/sovereign_prompt.gbnf
# Extended: enforces valid SEB XML specification structure.
# Use with llama.cpp: --grammar-file seb_spec.gbnf
#
# This grammar makes it PHYSICALLY IMPOSSIBLE for the model to output
# malformed SEB XML specs. Token selection is masked at the softmax layer.
# Connection to Gates Normalization (PAR-004):
# G_P(D_M) = softmax(logits_M + b_P)
# b_P = -inf for grammar-violating tokens
# Sum over valid tokens = 1 (simplex constraint preserved)
root ::= seb-spec
seb-spec ::= "<SEB_SPECIFICATION" ws attrs ws ">" ws
meta ws
axioms ws
layer* ws
pipeline? ws
genesis? ws
"</SEB_SPECIFICATION>"
attrs ::= (ws attr)*
attr ::= [a-zA-Z_]+ "=\"" [^"]* "\""
meta ::= "<meta>" ws
"<version>" semver "</version>" ws
"<status>" status-val "</status>" ws
"<parent>" text "</parent>" ws
"</meta>"
semver ::= [0-9]+ "." [0-9]+ "." [0-9]+
status-val ::= "DRAFT" | "FROZEN" | "ACTIVE" | "DEPRECATED"
axioms ::= "<axioms>" ws axiom+ ws "</axioms>"
axiom ::= "<axiom" ws "id=\"" text "\"" ws "priority=\"" [0-9]+ "\">" text "</axiom>"
layer ::= "<layer" ws "id=\"" text "\">" ws
layer-field* ws
artifacts? ws
"</layer>"
layer-field ::= "<field" ws "name=\"" text "\">" text "</field>" ws
artifacts ::= "<artifacts>" ws artifact+ ws "</artifacts>"
artifact ::= "<artifact" ws "id=\"" text "\"" ws "type=\"" text "\">" ws
content? ws
"</artifact>"
content ::= "<content>" ws text ws "</content>"
pipeline ::= "<pipeline>" ws stage+ ws "</pipeline>"
stage ::= "<stage" ws "id=\"" text "\">" ws
stage-field* ws
gate? ws
"</stage>"
stage-field ::= "<field" ws "name=\"" text "\">" text "</field>" ws
gate ::= "<gate>" text "</gate>"
genesis ::= "<genesis>" ws constant+ ws "</genesis>"
constant ::= "<constant" ws "name=\"" text "\""
(ws "hex=\"" hex-string "\"")?
(ws "value=\"" text "\"")? ws
"/>"
hex-string ::= [0-9a-fA-F]+
# SEB-specific element types
seb-element ::= "<axiom>" | "<layer>" | "<kernel>" | "<policy>" | "<job>" |
"<verification>" | "<proof>" | "<theorem>" | "<invariant>"
text ::= [^<>\"]+
ws ::= [ \t\n\r]*
|