Skip to content

Preserve Calls source semantics and bounded native iterators - #450

Merged
CaelmBleidd merged 23 commits into
mainfrom
caelmbleidd/stdlib-runtime-values-pr391
Oct 13, 2026
Merged

CaelmBleidd merged 23 commits into
mainfrom
caelmbleidd/stdlib-runtime-values-pr391

Conversation

@CaelmBleidd

@CaelmBleidd CaelmBleidd commented Oct 2, 2026 •

Copy link
Copy Markdown
Member

Calls preparation rejected supported source constructs and replayed incomplete return expressions. Preserve validated local source closures and exact completed-return bindings, retain explicit runtime limitations, and model bounded native array/string iteration, sparse own-slot presence and dense indexed append.

This branch is now directly based on main 152c2aa. Prerequisites #443/#444/#446/#447/#448 are already merged; their old commits and prerequisite merge commits are removed from this PR range. All 22 own commits are preserved, followed by the merged dependency update.

JacoDB is pinned to published 55a0990fa1, the actual merge commit of #435, verified against 55a0990fa1057fb6e9c01d0da96663cfee6e50eb and all eight JitPack modules. Intrinsic Symbol.iterator identity, no-rest array destructuring and IteratorClose come from that producer.

Review local-source readiness and completed returns; runtime-limit telemetry; array/string iterator steps and sparse slot provenance; boxed payload/presence copying during mutation; SDK constructor shadows. Numeric indexed accesses keep the current main boundary diagnostics. Optional array inputs register existing slots independently of undefined payloads, after recursively initializing nested arrays. Custom iterator/prototype operations and capacity failures retain explicit limitations.

Validation on final ec761fb with merged JacoDB: 23 engine/source tests and 34 Calls source/native-replay tests passed without skips; compilation and TS/Calls Detekt main/test passed. Exact-head full CI is running. No completed corpus campaign is claimed.

@CaelmBleidd CaelmBleidd changed the title [10/12] Classify Calls readiness and replay limits [TS Calls] Report unsupported inputs before search and replay 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-runtime-values-pr391 branch from ff54580 to aaae9a2 Compare October 2, 2026 16:45
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-bounded-sequences-pr391 branch from dc2be96 to 459ec11 Compare October 2, 2026 16:45
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-runtime-values-pr391 branch from aaae9a2 to 741be74 Compare October 11, 2026 06:51
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-bounded-sequences-pr391 branch from 459ec11 to c1937e5 Compare October 11, 2026 06:51
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-runtime-values-pr391 branch from 741be74 to 55af9fc Compare October 12, 2026 13:26
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-bounded-sequences-pr391 branch 3 times, most recently from 6d6be92 to 7d282e8 Compare October 12, 2026 23:23
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-bounded-sequences-pr391 branch from 7d282e8 to 1fb4ccf Compare October 12, 2026 23:39
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-runtime-values-pr391 branch from 55af9fc to ee3cd07 Compare October 13, 2026 02:24
@CaelmBleidd CaelmBleidd changed the title [TS Calls] Report unsupported inputs before search and replay Preserve Calls source semantics and bounded native iterators Oct 13, 2026
@CaelmBleidd
CaelmBleidd changed the base branch from caelmbleidd/stdlib-bounded-sequences-pr391 to caelmbleidd/stdlib-calls-runtime-pr391 October 13, 2026 02:24
diagnostic = buildList {
addAll(analysis.unsupportedPaths)
if (interpreterObserver.runtimeLimitations.isNotEmpty()) {
add(interpreterObserver.runtimeLimitations.joinToString(prefix = "Runtime feature limitations: "))
diagnostic = buildList {
addAll(analysis.unsupportedPaths)
if (interpreterObserver.runtimeLimitations.isNotEmpty()) {
add(interpreterObserver.runtimeLimitations.joinToString(prefix = "Runtime feature limitations: "))
diagnostic = buildList {
addAll(analysis.unsupportedPaths)
if (interpreterObserver.runtimeLimitations.isNotEmpty()) {
add(interpreterObserver.runtimeLimitations.joinToString(prefix = "Runtime feature limitations: "))
diagnostic = buildList {
addAll(analysis.unsupportedPaths)
if (interpreterObserver.runtimeLimitations.isNotEmpty()) {
add(interpreterObserver.runtimeLimitations.joinToString(prefix = "Runtime feature limitations: "))
diagnostic = buildList {
addAll(analysis.unsupportedPaths)
if (interpreterObserver.runtimeLimitations.isNotEmpty()) {
add(interpreterObserver.runtimeLimitations.joinToString(prefix = "Runtime feature limitations: "))
diagnostic = buildList {
addAll(analysis.unsupportedPaths)
if (interpreterObserver.runtimeLimitations.isNotEmpty()) {
add(interpreterObserver.runtimeLimitations.joinToString(prefix = "Runtime feature limitations: "))
Comment on lines +210 to +211

}
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-calls-runtime-pr391 branch 3 times, most recently from fc1cc4f to d82a0c7 Compare October 13, 2026 19:33
Base automatically changed from caelmbleidd/stdlib-calls-runtime-pr391 to main October 13, 2026 19:40
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-runtime-values-pr391 branch from a674524 to 42be59d Compare October 13, 2026 19:52
@CaelmBleidd
CaelmBleidd merged commit 6c4a2e0 into main Oct 13, 2026
7 checks passed
@CaelmBleidd
CaelmBleidd deleted the caelmbleidd/stdlib-runtime-values-pr391 branch October 13, 2026 20:06
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.

2 participants