Support native trigonometric stages and checked canonical collection on Metal - #13
Merged
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Complete the demonstrated LocalMath execution prerequisites for Potts authored
cell polarity and structured lifecycle transactions, without adding a second
executor or changing scientific publication laws.
Named and captured functions share the same selected-method ownership check;
public method reflection identifies the native owner. Unsafe user overloads
still undergo ordinary recursive analysis and cannot inherit native trust.
comparator, leaving one checked key-load call site in the existing bitonic
loop. Comparator semantics, padding guards, barriers, pair writers, merge
order, and duplicate validation remain unchanged.
and a reproducible warmed public collection benchmark.
The collection regression exercises capacities 1, 2, 255, 256 and 257; reversed
mixed tuple keys; equal-key identity ordering; partial participation; closed
publication gates; and failure-atomic duplicate rejection. Trigonometric tests
compare actual stage publication with an independent higher-precision host
oracle and verify input preservation. They do not claim bitwise transcendental
equality, arbitrary array/complex support, or downstream lifecycle-product GPU
support.
Validation
coverage. Documenter reports a non-fatal missing navbar repository-link warning.
scientific witnesses, with
--check-bounds=yesand scalar indexing disabled.authored-domain examples, with bounds checking enabled.
files, including comparator ordering, native-method provenance, test inventories,
and bounded documentation claims.
git diff --checkpassed.Local warm Metal medians at 256/4096 records were 0.846/1.313 ms before and
0.765/1.241 ms after, using three warmups and nine batches of ten submissions.
Ranges overlap: no general speedup or machine-independent threshold is claimed.
This is the demonstrated G04 LocalMath execution-prerequisite companion in the
ecosystem delivery map. The separate Core nested lifecycle numeric-conversion
failure remains under investigation; this PR does not claim to solve it.