Repository navigation
Complete native slot identity and lifecycle snapshot parity - #109
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.
Native runtime proposals now preserve their containing action locator and independent internal/external ordinals, including repeated/mixed sends and assignments before final completion. Grammar-only discovery keeps metadata and map data inert. Typed native environment sends target one configured component and validate its external variable declarations before mutation; all eight cases execute against actual component mailboxes and state.
Source compilation accepts only executable grammar slots, retains sealed version-1 source/manifest evidence even without a supplied manifest, and re-verifies each compiler immediately before invoking it. Historical source guarantees stay distinct from generated CEL runtime guarantees. A compiler rebinding regression prevents a substituted second-region entrypoint from executing. Safe inspection and restore use actual production resolvers.
Validated exact head:
d1d626a15a909d176f915013d88c0fa7a6ba7597. Independent exact-head LGTM and all seven current-head CI checks passed (Python 3.11/3.13, PostgreSQL, lint/types/unit/conformance and clean distribution installation). Local gates: 505 unit tests passed (six PostgreSQL tests separately passed with the prepared service), 1083 conformance tests, all 52 runtime-provider adapter vectors, 46 authority responses/observations and 43 committed-effect vectors. Wheel and sdist built locally; no publication.Exact pins: specification
77c0a2e60cd0771a6d44ae170a079ddd51d7d9f0, conformancec6949440f5b9fd6e06ea5571f4e01681dd59ee04. Preserves unreleased 0.3.0, version-1 contracts and numeric machine format 1. This PR completes this integration only; concrete timer/archive/recovery helpers, Rust effect parity, infrastructure lifecycle examples and the full publication audit remain open in the coordinated scope.Closes #108