Skip to content

Add a versioned invariant summary contract - #6

Open
LittlePeter52012 wants to merge 3 commits into
VeryMath:mainfrom
LittlePeter52012:fix/invariant-readme-license-links
Open

Add a versioned invariant summary contract#6
LittlePeter52012 wants to merge 3 commits into
VeryMath:mainfrom
LittlePeter52012:fix/invariant-readme-license-links

Conversation

@LittlePeter52012

@LittlePeter52012 LittlePeter52012 commented Aug 21, 2026

Copy link
Copy Markdown

Summary

  • add a Draft 2020-12 JSON Schema for the existing results/invariant_summary.json artifact
  • add a mathematically checked known-answer fixture for the boundary of a 2-simplex
  • require classification caveats or theorem evidence, non-null values for nonfailed results, and repair evidence for unsettled results
  • document the schema, fixture, and development dependency setup in both package READMEs
  • fix the English and Chinese README links to the repository-root LICENSE
  • add regression tests for local links, schema validity, semantic result boundaries, and forward-compatible extensions

Compatibility and scope

  • this pull request introduces the initial version 1 schema; it has not previously been published on the base branch
  • additional properties remain allowed so downstream tools can extend records without changing the public core
  • the schema contains result evidence only; backend selection and workflow implementation remain outside the interchange format
  • jsonschema remains a development-only dependency; the Skill keeps zero runtime dependencies

Testing

  • python3 -m unittest discover -s tests -v (18 tests passed)
  • conda run -n math python3 -m unittest discover -s tests -v (18 tests passed)
  • package validation passed
  • JSON parsing and git diff checks passed

@LittlePeter52012 LittlePeter52012 changed the title [codex] Fix invariant-computation README license links [codex] Add an invariant-summary result contract Aug 21, 2026
@LittlePeter52012 LittlePeter52012 changed the title [codex] Add an invariant-summary result contract Add a versioned invariant summary contract Aug 21, 2026
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