Repository navigation
[TS] Harden model provenance and Calls replay semantics - #452
Merged
Merged
Conversation
CaelmBleidd
marked this pull request as ready for review
October 2, 2026 16:15
CaelmBleidd
force-pushed
the
caelmbleidd/stdlib-hardening-pr391
branch
from
October 2, 2026 16:45
4c049c9 to
2968843
Compare
CaelmBleidd
force-pushed
the
caelmbleidd/stdlib-constructors-pr391
branch
from
October 2, 2026 16:45
03bad57 to
1daff2b
Compare
CaelmBleidd
added a commit
that referenced
this pull request
Oct 11, 2026
CaelmBleidd
force-pushed
the
caelmbleidd/stdlib-hardening-pr391
branch
from
October 11, 2026 06:51
2968843 to
9f31646
Compare
CaelmBleidd
force-pushed
the
caelmbleidd/stdlib-constructors-pr391
branch
from
October 11, 2026 06:51
1daff2b to
debf84d
Compare
CaelmBleidd
added a commit
that referenced
this pull request
Oct 12, 2026
CaelmBleidd
force-pushed
the
caelmbleidd/stdlib-hardening-pr391
branch
from
October 12, 2026 13:26
9f31646 to
bede5b9
Compare
CaelmBleidd
force-pushed
the
caelmbleidd/stdlib-constructors-pr391
branch
from
October 12, 2026 13:26
debf84d to
f8b213c
Compare
CaelmBleidd
force-pushed
the
caelmbleidd/stdlib-constructors-pr391
branch
from
October 12, 2026 23:24
f8b213c to
b654cbd
Compare
CaelmBleidd
force-pushed
the
caelmbleidd/stdlib-hardening-pr391
branch
2 times, most recently
from
October 12, 2026 23:39
221cc43 to
7381553
Compare
CaelmBleidd
force-pushed
the
caelmbleidd/stdlib-constructors-pr391
branch
from
October 12, 2026 23:39
b654cbd to
09b16f7
Compare
This was referenced Oct 13, 2026
CaelmBleidd
force-pushed
the
caelmbleidd/stdlib-hardening-pr391
branch
from
October 13, 2026 20:24
7381553 to
9a9d1ea
Compare
CaelmBleidd
changed the base branch from
caelmbleidd/stdlib-constructors-pr391
to
main
October 13, 2026 20:24
CaelmBleidd
force-pushed
the
caelmbleidd/stdlib-hardening-pr391
branch
from
October 13, 2026 20:35
9a9d1ea to
66dadb8
Compare
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.
Share the primitive-helper dispatcher used by bundled Array and String models. A helper executes only when its full artifact owner, source caller, and active owning model match; foreign methods with the same names remain residual. Select partial approximations from the built-in model catalog and remove duplicate primitive dispatchers.
Rebased directly onto main a0a3c10. Array primitive ownership checks from the original PR are restored now that #449 has introduced the required helpers into main. This PR has no prerequisite on #451.
Validation on 66dadb8: 94 tests passed across primitive ownership, instance-call receivers, sequence models, Array mutations, and the model catalog. Detekt main/test and git diff --check passed. Local JDK 23 required MockK self-attach and Byte Buddy experimental support; an initial agent attachment timeout passed on rerun. Remote CI is pending.