Repository navigation
Conversation
Contributor
Author
Local consumer acceptance at 800ced8
This acceptance covers the scalar native consumer. Source CLI/artifact capture authority, indirect capture-cell lifecycle controls, production collection/quotas/cost, transparent arrays and generators remain separately gated. Whole plan is still in progress. Exact-head push CI 38434621064 and pull-request CI 38434625554 completed successfully at |
Real Owned-dispatch __compat_array_owner module (allocate/register/ collect/resize) with factory-before-return registration, scope-local weak roots, independent pending/registered/payload quotas, fixed-four safety points and transactional resize, plus per-VM initializer/stats. No Core/SDK/CLI/default changes.
…ected Add and hygienic helpers Explicit opt-in TypeScript reference-array mode over B1 owned runtime. Logical number[] lowers to private B1-backed carrier; physical schemas stay carrier/Number, hints project logical number[]. Numeric Add in explicit mode for statically proven numerics (other than pure Int+Int, strings stay) runs through existing checked Div(_,1.0) into existing Float Add; local/indexed ++ and += likewise, --/Sub stays. Un-annotated numeric returns infer Number so partition index projects. Prelude parsed separately and merged as AST items (no source-text concat); helper authority from predeclared indices with duplicate rejection. No Core/SDK changes.
…-owned default thunks/carriers/getters for imported omitted defaults; fixes int fill, alias sort, dual five-sort
…ginal args; honest lexical/extensionless boundaries - Local-slot numeric projection now requires a current immutable guest origin; bare Callable(Number) schemas no longer coerce host values, so typed host aliases preserve Int vs Float like direct calls. - Guarded default aliases stage original once-evaluated args; guest numeric projection applies only to the taken guest branch, fallback observes original ABI after public slot replacement. Snapshot stays schema-free for the identity guard. - Boundary diagnostics: lexical-value defaults and extensionless imports remain pre-existing unsupported/resolver rejections with honest rejection controls and diagnostic comments; no failing desired-success. - TDD: host ABI RED Int(0) vs Int(1); fallback RED Int(2) vs Int(1); both GREEN plus full b2r3/focused/workspace-parallel gates.
…our-module acceptance Thin pd-vm-compat-run gains a leading Compat-only --typescript-reference-arrays selector. Default route keeps main_with_services exactly; the selected route strips only the first token and passes the rest unchanged to Core run_with_args with the exact selected-mode catalog/options and a fresh per-VM production factory (four array/math descriptors plus the accepted scalar error adapter and generator-proven Core numeric builtins, capture certification, per-VM owned-array init). tests/typescript_reference_cli_tests.rs adds 29 selected-mode tests: selector-first semantics, four unchanged upstream modules via importing callers plus a joint caller, fresh Node oracle agreement, four genuine import-native SSA paths, logical/physical typehints, VMBC/AOT artifact Unavailable/refusal safety with scalar/generator success preserved, factory quota/reset/Live-owner boundary, selected REPL behavior and default regression controls. README documents the selector; CI gains a targeted selected-mode smoke.
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
.tsand.mts; reject.js/.mjs/.cjsentries and imported dependencies. Preserve Lua and native RSS.d8c21caf8f91a8e5ceaffa10ea0b1473cdd4f43bwith a Cargo-generated lock.declare functionsignatures against catalog-owned named-type origin, preserving explicit host aliases and strict ABI/resource admission.Verification
Exact clean candidate:
2f7ba39692bb7523a9eb769535de48efd339a7f4.-D warningspass.263806cbindependently passed 42 current-source and 44 clean final-HEAD gates, source-bound declaration rejection RED/GREEN, release build, CLI/VMBC, provenance and Python release/workflow tests 7/7. Those receipts remain baseline evidence, not fresh full-matrix receipts for this correction.Evidence limits
A compatible published Core registry version remains a separate release prerequisite with registry build/test/dry-run gates. Native Git-pin checks do not establish wasm guest execution or real tag publication.
Same-file explicit host alias plus a guest type with the catalog original spelling remains rejected by the existing duplicate-type admission; independent guest same-name and valid host-alias controls pass separately. Existing COV-01 and PERF-01 advisories remain nonblocking.