Repository navigation
Codex/p4.1 transfer core - #3
Merged
Merged
Conversation
NFR-011 and STACK-013 target a 2 GiB Java heap for representative data validation. Keep host memory, temporary storage, I/O and runtime measurable independently. Jenesis 0.18.1 on Java 25.0.2 executed 42 selected compiler contracts with no failures or skips. The public schema probe covered the P4.0 originals and the explicitly labelled Reference24 derivative. Independent readiness gate PASS with OpenCode 2.2.5 and deepseek/deepseek-flash (Flash-1017). Its 2.3 and 2.4 association counter-probe verified inherited role order, target refinement and explicit NO OID. XML placement remains adapter-specific.
Register interlis-transfer with a model-only production module path. Preserve snapshot-bound names, effective slots, object and basket rules, and bound generic alternatives. Unsupported transfer features return qualified issues. Jenesis 0.18.1 with Java 25.0.2 ran six planner contracts without failures or skips. Independent OpenCode 2.2.5 / deepseek/deepseek-flash gate PASS. Its counterprobe covered association slots, primitive BAG typing, translation identity, topic inheritance and explicit custom line-form rejection. Transient declarations remain schema metadata; wire layout is adapter scope.
Keep absence, undefined and empty values distinct. Preserve collection order, exact number lexemes, reference metadata, and independently supplied TID, OID and basket identity. Retain curve partitions, signed radii and surface boundaries without topology operations. Jenesis 0.18.1 on Java 25.0.2 passed 15 targeted value tests with no skips. OpenCode 2.2.5 and deepseek/deepseek-flash returned independent PASS with 31 counterprobe checks. Format-level clipping markers, XTF link placement and version-specific radius checks remain adapter scope.
Enforce order, completeness, snapshot identity, declared models and effective basket bindings. Retain only scoped IDs and active context for protocol checks. Release adapter resources once and distinguish cancellation, incomplete EOF, invalid input and failed I/O. Jenesis 0.18.1 on Java 25.0.2 passed 11 targeted protocol and streaming tests. OpenCode 2.2.5 / deepseek/deepseek-flash initially found five invalid acceptances. The corrected candidate passed re-review, the original reproduction and a new 36-check counterprobe. The 2.3 XTF cross-namespace rule and complete UPDATE handling remain adapter scope.
Describe the delivered plan and stream contracts and the lifetime of the transfer identity checks. Record transient attributes as schema metadata and leave wire encoding at adapter boundaries. Jenesis 0.18.1 with Temurin 25.0.2 passed 32 transfer tests with no skips. The single module-check passed for all 12 JVM products, including named and classpath consumers and the expected forbidden-access rejection. The transfer runtime closure contains the transfer and model artifacts. Final independent OpenCode 2.2.5 / deepseek/deepseek-flash gate PASS on the entire branch diff. A separate 40-check probe compiled the real Base/Survey 2.4 closure using the module-check artifacts and exercised projection, streaming, wrong-basket rejection and retry, and schema immutability.
Accept omitted CONCRETE assignments and require any supplied assignment to agree with the effective model. Preserve explicit DEFERRED selection, reject conflicting active topic choices, and keep abstract topics out of baskets. Verify neutral BID and FULL-TID scopes for 2.3 and 2.4, including both collision orders and provenance. Document the separate XTF adapter obligations. Jenesis 0.18.1 on Java 25.0.2 passed 12 baseline protocol tests and 36 final transfer tests, with no skips. The independent OpenCode 2.2.5 review used the provider alias for DeepSeek V4.1 Flash 1017 and passed a new 33-check counterprobe.
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.
No description provided.