#MoonABNF

#快速开始

git clone https://github.com/sundaysebasidian-byte/MoonABNF.git
cd MoonABNF
moon test                                     # 全部单元测试
moon run examples --target js                 # 协议 / 配置 / 二进制三个小场景
moon run examples/protocols/cmd --target js   # URI 与 Cookie：输入树和字段提取

moon add sundaysebasidian-byte/moonabnf@0.2.1

// moon.pkg
import { "sundaysebasidian-byte/moonabnf" @abnf }

0.2.0 已发布到 Mooncakes：包含 parse / compile / recognize 以及输入派生树与字段提取（parse_input、rule_nodes_in、extract）。全新 registry 消费者已验证 Wasm、Wasm GC、JS 和 native；JS JSON 协议适配为需复制的 集成示例，使用公开核心 API 和 examples/protocols 文法子包，并非根包 JSON 导出。

#用法

#1. 校验一个字段

match @abnf.compile(b"field = %i\"Trace\" \":\" SP 1*8HEXDIG CRLF\r\n") {
  Err(d) => println("\{d.code} at line \{d.line}, column \{d.column}")
  Ok(program) => {
    let r = program.recognize("field", b"TRACE: aF12\r\n")
    assert_true(r.status is @abnf.Matched)
  }
}

#2. 取出字段的原始字节

let program = @abnf.compile(
  b"record = key \":\" value\r\nkey = 1*ALPHA\r\nvalue = 1*DIGIT\r\n",
).unwrap()
let input = b"Age:42"
let report = program.parse_input("record", input)
match report.status {
  @abnf.Matched => {
    let tree = report.tree.unwrap()
    let ids = tree.rule_nodes_in("value", tree.root).unwrap()
    assert_eq(tree.extract(input, ids[0]), Some(b"42"))
  }
  @abnf.NoMatch => println("no-match at byte \{report.offset}")
  @abnf.BudgetExceeded(why) => println("indeterminate: \{why}")
  _ => ()
}

#3. 用真实 RFC 文法

URI components (syntax only, no percent decoding):
  scheme=[0,5) raw=b"https"
  host=[8,21) raw=b"[2001:db8::1]"
  port=[22,26) raw=b"8443"
  ...
Cookie pairs (duplicates and quotes preserved):
  cookie-name=[0,7) raw=b"session"
  cookie-value=[8,11) raw=b"abc"
  ...
Invalid Cookie: no-match at byte 11
Limited Cookie: indeterminate (tree-nodes), tree absent=true

#4. 命令行

scripts/cli.sh check fixtures/protocol.abnf
scripts/cli.sh match fixtures/protocol.abnf field fixtures/protocol-valid.bin

#规范覆盖

#设计取舍

• 两棵树分开：文法 AST 描述文法本身，输入派生树描述某段输入怎样被匹配。
• ABNF 不是 PEG：替代分支会保留全部可能的结束位置，不会因为先匹配到短的分支就错判。
• 资源有预算：输入长度、工作量、状态数、深度、树节点都有上限。预算用完返回 BudgetExceeded（未判定），不会被当成“不匹配”。
• 偏移是字节：跨度是半开字节区间，extract 从调用方保存的原始输入里复制，不做 URI 解码或去引号。
• 不做：Unicode 数值终端、错误恢复、代码生成、流式输入、歧义全枚举，以及 URI/Cookie 的语义层规则。

#测试

• 单元与场景测试：解析器、编译器、识别器、输入树、边界、鲁棒性（1024 个变异文法、预算终止）。
• 差分测试：随机生成 80 个文法、5440 次比对，结果与独立的正则 oracle 一致（scripts/differential.py）。
• 真实协议语料：URI、Cookie、ETag、HTTP 请求行。
• CI：ci.yml 在官方 SDK 上跑完整验收（JS / Wasm / Wasm GC / native 的 check、build、test，示例、CLI、差分、下游包消费）；fresh-clone.yml 模拟新用户 git clone 后直接 moon check、moon test 和本页的快速开始。

#目录

#许可与来源

#未发布源码：有界输入失败解释