verified bar

Workflow runs for verified bar

• Move spec and proof modules and names under Xml

  completed successfully:
  verified bar#8:Commitd2eb980pushedbyzero-aska
  claude/xml-namespace

  Oct 30, 20261m 4s
  More actions for workflow run 8

• Merge pull request #4 from Proven-Commons/claude/xml-first-slice

  completed successfully:
  verified bar#7:Commit71d77b4pushedbyorda-aska
  main

  Oct 29, 202654s
  More actions for workflow run 7

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

  completed successfully:
  verified bar#6:Pull request#4submittedbyorda-aska
  Oct 29, 202657s
  More actions for workflow run 6

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

  completed successfully:
  verified bar#5:Pull request#4synchronizebyzero-aska
  claude/xml-first-slice

  Oct 29, 20261m 3s
  More actions for workflow run 5

• Declare the Apache-2.0 package license in lakefile.toml

  completed successfully:
  verified bar#4:Commit671b4ddpushedbyzero-aska
  claude/xml-first-slice

  Oct 29, 20261m 13s
  More actions for workflow run 4

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

  completed successfully:
  verified bar#3:Pull request#4openedbyzero-aska
  claude/xml-first-slice

  Oct 28, 20261m 3s
  More actions for workflow run 3

• Clear the linter warnings in the round trip proofs

  completed successfully:
  verified bar#2:Commit751dca9pushedbyzero-aska
  claude/xml-first-slice

  Oct 28, 20261m 3s
  More actions for workflow run 2

• Add the test inputs review 1 listed as missing

  completed successfully:
  verified bar#1:Commit58d4d34pushedbyzero-aska
  claude/xml-first-slice

  Oct 28, 20261m 5s
  More actions for workflow run 1