Skip to content

Align EquationGroup and Legal SignatureBlock with spec#74

Merged
gvonness-apolitical merged 2 commits intomainfrom
spec/extension-alignment
Feb 15, 2026
Merged

Align EquationGroup and Legal SignatureBlock with spec#74
gvonness-apolitical merged 2 commits intomainfrom
spec/extension-alignment

Conversation

@gvonness-apolitical
Copy link
Collaborator

Summary

  • Breaking: Rename EquationEquationLine, field latexvalue, add tag field
  • Breaking: Rename EquationGroup.equationslines, remove numbered field
  • Breaking: Replace Signatory + FirmInfo with flat LegalSigner struct
  • Add Alignat variant to EquationEnvironment
  • Add role field to LegalSignatureBlock
  • Add LegalCitation::to_extension_mark() and from_extension_mark() conversion methods

Test plan

  • EquationLine serde roundtrip with value/number/tag
  • EquationGroup with new lines field
  • Alignat environment serialization
  • Backward compat: JSON without tag defaults to None
  • LegalSigner serde roundtrip
  • LegalSignatureBlock with role field and backward compat
  • LegalCitation → ExtensionMark → LegalCitation roundtrip
  • Wrong mark type returns None

Breaking changes to match the Codex spec:
- Rename Equation → EquationLine, field latex → value, add tag field
- Rename EquationGroup.equations → lines, remove numbered field
- Add Alignat variant to EquationEnvironment
- Replace Signatory + FirmInfo with flat LegalSigner struct
- Add role field to LegalSignatureBlock
- Add LegalCitation ↔ ExtensionMark conversion methods
@gvonness-apolitical gvonness-apolitical merged commit 741bfd5 into main Feb 15, 2026
10 checks passed
@gvonness-apolitical gvonness-apolitical deleted the spec/extension-alignment branch February 15, 2026 23:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant