Skip to content

Exact: add a rational Jordan geometry oracle - #382

Merged
LightChainr merged 1 commit into
mainfrom
exact/issue-218-jordan-geometry
Aug 30, 2026
Merged

Exact: add a rational Jordan geometry oracle#382
LightChainr merged 1 commit into
mainfrom
exact/issue-218-jordan-geometry

Conversation

@LightChainr

Copy link
Copy Markdown
Owner

Summary

  • certify an explicit rational 2×2 size-two Jordan block via its repeated eigenvalue and nonzero square-zero nilpotent part
  • verify trace, determinant, discriminant, and Jordan structure under a nontrivial similarity transform
  • verify the exact cocycle law C(a)C(b) = C(a+b) for a square-zero generator
  • expose a rational coalescing family whose discriminant and eigenvector angle vanish monotonically
  • state explicitly that this synthetic oracle makes no empirical transfer-matrix or norm-4 conclusion

Tests

  • python -m unittest tests.test_jordan_geometry_oracle (6 passed)
  • python -m unittest discover -s tests -p 'test_*.py' (806 passed, 1 skipped)
  • CLI contract validation and Python compilation

Advances #218. The parent issue remains open because no measured transfer matrix, covariance estimate, fitted Jordan block, physical logarithmic pair, or norm-4 conclusion is supplied.

Certify exact 2x2 Jordan structure, similarity invariance, nilpotent semigroup composition, and a synthetic coalescence family.

Advances #218.
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