目录
thy

feat(m0): M0 底座探针役——拍板 R-X1 = Milky2018/xml@0.6.0

  • 探针件随仓(src/probe/,体例对齐 moonxr 探针件):语料 WF 8 例 + 畸形 5 例 + 保真 6 项 + Writer 往返 + 1MB 性能烟测(@async.now 墙钟 warmup1+k5 中位数,jsonld 役P1 同款口径);证据快照 M0_OUTPUT.txt 35 行
  • 结果:Milky WF 8/8、畸形拒 5/5(XmlError 带 SourceSpan)、保真 6/6、 往返 ok、1MB/134ms(~7.4MB/s);XMLParser 8/8 但 8.2× 慢且错误面弱
  • 拍板 R-X1 [定案]:底座 = Milky2018/xml@0.6.0(钉版本);XMLParser 不采用 (组合子定位非通用底座);自建否决(moonttl 级成本,Milky 自带 W3C conformance/property/bench + writer,无重建收益)
  • 教训两件入 ctx §1 消费方契约:相邻 Text 事件按实体边界切分(消费方拼接)、 自闭合根是 Empty 事件——皆探针件自身坑(首测假阴性根因),修后 6/6
  • 依赖钉版本:moonbit-community/XMLParser@0.2.6 + Milky2018/xml@0.6.0 + moonbitlang/async@0.22.4(计时用,M1 后可撤)
  • ctx.md / todo.md 立卷:M0 账 + 拍板 + 契约;M1(Node 适配层)与 G1(gen 三件套)待役,完成门已写明
23小时前5次提交

mbt.xml

thy1016/moonxml 是一个用 MoonBit 编写的 XML 底座仓(立仓阶段): 为 MoonBit 生态提供通用 XML 解析与数据模型层,消费方向中立—— RDF/XML 映射、化学标记语言(CML)、通用结构化数据均可依赖。

定位与现状

本仓处于立仓占位阶段:模块面已立(thy1016/moonxml v0.1.0), 实现尚未开工。第一役为 M0 探针役——底座验证报告拍板技术路线后才立算法/模型层役。

路线(里程碑)

役 内容 状态
M0 底座探针:Milky2018/xml 0.6.0(事件式 Reader)vs
moonbit-community/XMLParser 0.2.6(解析组合子)vs 自建语法层(moonttl 级) 已关:拍板 Milky@0.6.0(R-X1)
M1+ XML 数据模型(DOM 树,树递归纯函数架构)+ well-formedness 门 待 M0 拍板
应用语义层 RDF/XML 映射、CML 等——独立战线另立仓或归口,仓位随消费端拍 未立项

分层裁决预立

  • 流式(SAX/增量管线):沿 jsonld 同款纪律——[立案] 不排期; 触发条件二选一即重估:① 出现官方流式 oracle 套件;② 消费端出现真实流式需求。
  • 目标后端:全后端可移植(moon.mod 不钉 preferred_target)。

体例

  • 模块:thy1016/moonxml(仓 mbt.xml,体例对齐 thy1016/jsonld)。
  • 依赖:零依赖立仓;底座依赖待 M0 探针拍板后再进 import。
  • 工程纪律:通用 MoonBit 纪律由工作区根 AGENTS.md 级联;仓内卷族 spec.md 已立(gen 层设计卷一),const / ctx / todo 随 M0 立卷—— 先例见 jsonld/、moonrdb/。

安装

未发布。M0 探针拍板并首个能力役收口后,按 jsonld 同款上 mooncakes 注册表 (moon add thy1016/moonxml)。

测试与验证

moon check   # 当前:0 errors(占位件)
moon test    # M0 起随役累进

oracle 规划:语法层对标 W3C XML Conformance Suite(xmlconf)锁版接入; 若走 RDF/XML 面,复用 W3C rdf-tests 的 rdf-xml 套件与 jsonld 仓的 .rdf-tests 锁版基建(SHA256SUMS + manifest)。

许可证

Apache License, Version 2.0。vendor 的第三方源码保持其原许可证并随目录附 原文与出处档(先例:moonmat 的 cxsparse/PROVENANCE.md)。

关于

MoonXML

44.0 KB
邀请码
    Gitlink(确实开源)
  • 加入我们
  • 官网邮箱:gitlink@ccf.org.cn
  • QQ群
  • QQ群
  • 公众号
  • 公众号

版权所有:中国计算机学会技术支持:开源发展技术委员会
京ICP备13000930号-9 京公网安备 11010802047560号