Skip to content

[TS] Harden model provenance and Calls replay semantics - #452

Merged
CaelmBleidd merged 4 commits into
mainfrom
caelmbleidd/stdlib-hardening-pr391
Oct 13, 2026
Merged

CaelmBleidd merged 4 commits into
mainfrom
caelmbleidd/stdlib-hardening-pr391

Conversation

@CaelmBleidd

@CaelmBleidd CaelmBleidd commented Oct 2, 2026 •

Copy link
Copy Markdown
Member

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.

@CaelmBleidd CaelmBleidd changed the title [12/12] Harden model provenance and Calls behavior [TS] Harden model provenance and Calls replay semantics Oct 2, 2026
@CaelmBleidd
CaelmBleidd marked this pull request as ready for review October 2, 2026 16:15
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-hardening-pr391 branch from 4c049c9 to 2968843 Compare October 2, 2026 16:45
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-constructors-pr391 branch from 03bad57 to 1daff2b Compare October 2, 2026 16:45
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-hardening-pr391 branch from 2968843 to 9f31646 Compare October 11, 2026 06:51
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-constructors-pr391 branch from 1daff2b to debf84d Compare October 11, 2026 06:51
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-hardening-pr391 branch from 9f31646 to bede5b9 Compare October 12, 2026 13:26
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-constructors-pr391 branch from debf84d to f8b213c Compare October 12, 2026 13:26
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-constructors-pr391 branch from f8b213c to b654cbd Compare October 12, 2026 23:24
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-hardening-pr391 branch 2 times, most recently from 221cc43 to 7381553 Compare October 12, 2026 23:39
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-constructors-pr391 branch from b654cbd to 09b16f7 Compare October 12, 2026 23:39
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-hardening-pr391 branch from 7381553 to 9a9d1ea Compare October 13, 2026 20:24
@CaelmBleidd
CaelmBleidd changed the base branch from caelmbleidd/stdlib-constructors-pr391 to main October 13, 2026 20:24
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-hardening-pr391 branch from 9a9d1ea to 66dadb8 Compare October 13, 2026 20:35
@CaelmBleidd
CaelmBleidd merged commit 5645f04 into main Oct 13, 2026
5 of 6 checks passed
@CaelmBleidd
CaelmBleidd deleted the caelmbleidd/stdlib-hardening-pr391 branch October 13, 2026 20:38
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