Skip to content

Adopt formalization.yaml v0.4 - #6

Open
kim-em wants to merge 2 commits into
roed-math:masterfrom
kim-em:codex/formalization-v0.4
Open

kim-em wants to merge 2 commits into
roed-math:masterfrom
kim-em:codex/formalization-v0.4

Conversation

@kim-em

@kim-em kim-em commented Aug 13, 2026 •

Copy link
Copy Markdown
Contributor

Summary

  • declare formalization.yaml v0.4 and add its schema modeline
  • remove retired source-contact fields
  • convert each literature dependency to the v0.4 {statement, source} shape
  • use the standard agent automation method value
  • remove the unreferenced, stale formalization_old.yaml v0.3 backup

Validation

  • upstream v0.4 dispatcher validation
  • PalomarSubmission metadata-profile validation
  • git diff --check

kim-em and others added 2 commits August 13, 2026 00:59
Convert literature dependencies to the structured v0.4 shape and use the standard automation-method vocabulary.

Co-authored-by: Codex <codex@openai.com>
The canonical formalization.yaml now carries the migrated metadata; the old backup is stale, unreferenced, and remains recoverable from Git history.

Co-authored-by: Codex <codex@openai.com>
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