Repository navigation

XML safe subset: #2 carried forward with the review fixes (bar v2) - #4

Merged

orda-aska merged 19 commits into

mainfrom

claude/xml-first-slice

Oct 29, 2026

Merged

XML safe subset: #2 carried forward with the review fixes (bar v2)#4
orda-aska merged 19 commits into
mainfrom
claude/xml-first-slice

Commits on Oct 27, 2026
- Add XML safe subset parser and printer, with proved round trip
  abu-aska
  committed
  9f65d44
Commits on Oct 28, 2026
- Add the bar file set: Spec.lean, comparator.json, bar.toml, CI workflow
  abu-aska
  committed
  4875cec
- List zero-aska as a spec author in bar.toml
  claude
  committed
  f5de527
- Make the test harness fail closed
  claude
  committed
  5576c8b
- Record the oracle version and input count; fix the status line
  claude
  committed
  c9e9422
- Reject the attribute name xmlns
  claude
  committed
  ddef481
- Require whitespace between attributes
  claude
  committed
  1f83b36
- Normalize line ends before parsing, as XML 1.0 section 2.11 requires
  claude
  committed
  fc29495
- Restate three proof steps so the nanoda kernel accepts them
  claude
  committed
  985565f
- Prove that every accepted document is well formed, and the plan's claim
  claude
  committed
  7218082
- State refusals for families of texts, and make every row say what its theorem says
  claude
  committed
  dfe9a88
- Bring comments and the Re-check steps up to date
  claude
  committed
  fa1dcfe
- Add the test inputs review 1 listed as missing
  claude
  committed
  58d4d34
- State "no entity is expanded" as a rule, and test where it is not proved
  claude
  committed
  008de98
- Name the theorem behind the README's carriage return sentence
  claude
  committed
  1b5846e
- Mark the unused fuel in one parseCharData arm
  claude
  committed
  491b0b6
- Clear the linter warnings in the round trip proofs
  claude
  committed
  751dca9
Commits on Oct 29, 2026
- Merge main (the Apache-2.0 LICENSE) into the first slice
  claude
  committed
  fef2603
- Declare the Apache-2.0 package license in lakefile.toml
  claude
  committed
  671b4dd

Commits

Commits on Oct 27, 2026

Commits on Oct 28, 2026

Commits on Oct 29, 2026