fix(ts): preserve imported interfaces with Record members

Parent: #548; benchmark/performance tracking: #416.

Verified general reproducer on ec18f7f, native SHA-256 68c6ed517f9125ae1b570ff2e585c5b368745389af828258f6621fe5e6e0311c:

owner exports interface Base<t> { value: T; metadata: Record<string, string>; }; a barrel re-exports it; consumer imports Base and declares interface Derived<t> extends Base<t>. Valid inherited value/member assignments produce TS2304 plus TS2339 in Home, while pinned TS 6.0.3 and native TS 7.0.2 are silent. Negative consumer controls must produce exactly two TS2322 and one TS2339. The same failure is confirmed for number, symbol, mixed key domains and a finite string-literal union. All complete outputs are retained locally; these were untimed diagnostic probes.

Investigation shows whole-declaration admission rejects non-any Record schemas, even where the concrete program instantiator already handles primitive index domains. Do not simply relax schema admission: finite keys, generic key substitution, aliases, readonly flags and unsupported domains need exact semantics and negative coverage before becoming eligible. No library-specific shortcuts, any fallback, diagnostic suppression, altered Zod sources, or timing before admission.

Acceptance: general source-owned Record transfer and regression tests; pinned reference-compiler positive/negative agreement; full relevant test gates; unchanged pinned Zod graph diagnostic delta; fair performance qualification if required; small Chris-authored conventional main commits linked here. Zod remains unadmitted (195 TS diagnostics plus three HM9002); no universal-performance claim.

First candidate is intentionally scoped to closed string/number/symbol index domains (including their unions), which the existing concrete Program instantiator already represents exactly. Whole-type schema admission and qualified-declaration admission now recognize those domains, while preserving the complete value graph and refusing finite/symbolic domains until their exact representation is implemented. No instantiator fallback, any erasure, graph truncation or diagnostic suppression was added. New tests require a fully silent valid consumer and exactly six TS2322, one TS2339 and one TS2542 in the invalid consumer, including inherited/qualified members and readonly writes. Full Program verification is queued behind an unrelated machine-lock holder; that work is not being interrupted. No candidate binary or performance result is claimed yet.

First complete Program run: 252/254 passed, including the new fully silent positive and exact eight-error negative Record test. Two existing tests failed because they explicitly expected Record-containing graphs to remain projection-only/contextual. Retained the original seed, test-binary hash and full failure output; no native benchmark image changed and no timings were taken.

The next test revision asserts the stronger whole-type route instead of the previous incomplete representation, including exact Record<string, unknown> key/value schema and the readonly string code member. Existing silent consumer assertions remain unchanged. This is not treated as a pass yet: the complete Program run is executing again to reach those later consumer checks. Finite/symbolic keys and final Zod admission remain outstanding.

Second complete Program run passes all 254 tests. The two representation expectations are now strengthened to require whole-type (not contextual/projection-only) Record transfer with exact source metadata, while all prior silent consumer assertions still pass. The new inherited/qualified Record tests match independently executed TS 6.0.3 and native TS 7.0.2: positives are silent and negatives emit exactly six TS2322, one TS2339 and one TS2542. Native ReleaseFast build succeeded under the unchanged guard (peak tree footprint 3007 MB). Remaining checker/driver/CLI/entrypoint gates and complete native diagnostic audits are pending; no commit, Zod timing or speedup claim yet.

Native candidate SHA-256 8c5ead99d476113ca1bbb0610a5c469c405dc8b9b80e3e42f0d4692a80d48fe8 passes all four closed Record-domain positives silently and all their negatives with exactly two TS2322 plus one TS2339. All original import/constructor/cycle controls remain correct. Finite-literal Record domains remain failing and are not relabeled as supported. Full checker 4553/4553 and driver 200/200 pass; CLI and entrypoint gates remain active.

Complete unchanged Zod graph: parent 195 TS diagnostics + 3 HM9002; candidate 244 TS diagnostics + 2 HM9002. The erroneous $ZodError heritage name is resolved, but additional failures become visible in the wider transferred graph. This is NOT Zod admission, a diagnostic-count improvement or a speed result. No timings were taken and no compiler commit will be pushed before the new failure surface is understood. A reduced non-indexed contextual intersection/Record fixture passes the candidate and catches a negative the parent misses; it does not reproduce the new Zod object-literal failure. An indexed-object reduction is queued next. Both reference compilers remain silent on the full upstream graph.

All final module gates pass on the candidate: Program 254, checker 4553, driver 200, CLI 76, entrypoint 38; benchmark harness 136; formatting/diff checks clean. This is still not approval to land because the wider Zod error surface is unresolved.

Confirmed the newly visible JSON-schema failure independently: copying only the complete unmodified upstream json-schema.ts declarations into a separate diagnostic fixture, with valid ObjectSchema/StringSchema object literals and returns, is silent in both pinned reference compilers but emits four TS2322 in the candidate, including an identical-looking type rejected against itself. The parent is silent but also misses both deliberate negative controls. The reference negative controls emit exactly two TS2322; candidate retains those plus its four false positives. No production benchmark sources were changed and no timings were taken.

Earlier plain/indexed/intersection and interface-heritage reductions were all positive-silent and are retained, so they do not identify the cause. Next work is a general recursive declaration/identity reduction and exact fix, not suppression or restoring any projection to hide the failure. Candidate remains uncommitted. Origin/main advanced with two runtime-only commits; no TypeScript compiler/build/config/benchmark paths changed. They will be preserved before any eventual push.

Untimed reduction now distinguishes the two failures. The first reduction was invalid because property removal introduced reference-compiler excess-property errors; that attempt is retained and rejected as a reproducer. The revised reducer preserves the open string index and requires silent TS 6 and native TS 7 admission at every retained step.

A valid one-member base { [key: string]: unknown } already reproduces Home rejecting an imported derived type against itself at return statements, in BOTH parent and candidate. Keeping only the index plus type?: SchemaType | SchemaType[] also reproduces the object-literal false positives in both images. Thus the Record candidate exposes existing general defects rather than introducing the underlying type-shape failures. The full upstream declaration fixture was parent-silent only while its Record graph was unsupported; its negative controls were also missed.

Source inspection identifies missing imported-instance resolution in the literal-specific check and an object-shape predicate that treats source intersections as non-objects. A focused general indexed-interface regression test is building to inspect exact type identities before implementation. No semantic caps, any fallback, diagnostic suppression, timings, commits or changed benchmark graphs.

Focused general regression confirms exact mechanism and fix: imported Node/Leaf interfaces extend an indexed Base with kind?: Kind | Kind[]. Before the fix, Home emitted four false-positive TS2322 (valid literals and same-type returns); raw typed-HIR inspection proves the returned declared values are object intersections. The literal helper was inspecting an imported Kind instantiation without resolving it; the required-object-shape helper was treating the intersection flag as non-object.

The candidate now resolves imported alias instances in literal-specific checking, reacquires immutable union members across recursive interning, and checks intersection source shapes structurally (with normal identity handling). No diagnostic is suppressed and no any/projection fallback is introduced. The focused test passes with a fully silent positive and exactly three TS2322 negative controls (wrong derived literal, invalid base literal, wrong derived return). Both pinned reference compilers independently match those controls. Full suite reruns and a rebuilt-native complete-graph audit remain pending; no commit, timing or speed claim yet.

Rebuilt native 6e4205f721d19c7d6a6ccbdb9c1bef3312cbe731d8835e3a6a4e93bec81625c8 now accepts the complete isolated upstream JSON-schema declaration fixture silently and matches its two TS2322 negatives. Both new complete test fixtures match pinned reference positives and exact negatives. Full Program 255/255 and checker 4553/4553 pass; remaining module gates are still running.

The unchanged five-compiler protocol-4 admission passes all 145 checks across all 20 positive workloads and nine negative-control projects, with identical before/after artifact provenance. No timers were invoked. This is existing synthetic benchmark admission only, not equivalence, speedup, production admission or universal leadership.

Full unchanged Zod graph remains unadmitted: 241 TS diagnostics + two HM9002 (versus initial Record-only candidate 244+2 and clean parent 195+3). The missing Error heritage and isolated literal/return false positives are fixed, but many other errors become visible under the wider exact type graph. Preserve all these counts and outputs; do not claim a Zod win or suppress remaining checks.

The indexed-literal/return revision completed every gate: Program 255, checker 4553, driver 200, CLI 76, entrypoint 38, harness 136; rebuilt native 6e4205f721d19c7d6a6ccbdb9c1bef3312cbe731d8835e3a6a4e93bec81625c8; all 145 unchanged five-compiler protocol-4 admissions passed with before/after provenance equality. General and isolated upstream JSON-schema positives/negatives agree with pinned references. Full Zod remains 241 TS + two HM9002, unadmitted and untimed.

Final source review identified three further borrowed member-pool slices traversed across recursive generic resolution (return-shape union/intersection and string-literal intersection). These now reacquire each immutable member by index, matching the new union handling and avoiding invalidation when interning grows the pool; no allocation, cache, semantic limit or skipped check is added. This final safety revision has a new native build and full gate sequence running under the unchanged guards. Prior gate/admission results remain tied to 6e4205, not relabeled as evidence for the safety revision. No source commit or timing result is claimed yet.

Landed and pushed a6570c8: fix(ts): preserve imported Record index domains (#863), authored and committed by Chris Breuer with no coauthors. Preserved both newer runtime commits. Fresh post-sync standalone compiler is byte-identical to qualified native d58ddc54a147b3ad8b177a98a6b5cda04fd4df77595c5ccf44da690de5d57b32, with the exact patch and compiler/build/benchmark inputs verified unchanged.

Final safety revision passes Program 255, checker 4553, driver 200, CLI 76, entrypoint 38, harness 136; formatting and diff checks clean. All 145 five-compiler protocol-4 admissions pass. Of 48 general diagnostic checks, 46 supported cases pass; both finite-Record checks remain explicit failures. The unchanged complete Zod graph still emits 241 TS diagnostics and two HM9002; no Zod timings or speedup claim. This issue remains open for finite/symbolic Record domains and wider admission work. Detailed report, README table and checksum-verified raw evidence publication follow in a separate small commit.

Published source a6570c8 and documentation/evidence b4985e4 to origin/main as Chris Breuer, with no coauthors. The documentation push initially hit a non-fast-forward because two runtime commits landed concurrently; only the unpublished docs commit was rebased, all runtime work preserved, no force push. Compiler paths remain unchanged and native SHA-256 is d58ddc54a147b3ad8b177a98a6b5cda04fd4df77595c5ccf44da690de5d57b32.

Report: https://github.com/home-lang/home/blob/main/docs/docs/TS_PERFORMANCE.md#imported-record-and-indexed-interface-admission-2026-10-10-utc ; README includes a brief admission table and link. Raw archive: 20261010-record-indexed-admission-863.tar.gz, SHA-256 7d8b465183c7071fba65fc16e381694135175e1733ab617a828238fa42749586, all 2022 payload checksums verified. Publication context: 20261010-record-indexed-publication-context-863.tar.gz, SHA-256 1502cc7bc6bd41100ea1ec891bb04292c00139a39c936da334c6d2934639d007, all 13 checksums verified. Changed documents pass Pickier; full-repository lint retains the existing 11460 errors/10614 warnings outside those documents without unrelated autofixes.

Qualified gates: Program 255, checker 4553, driver 200, CLI 76, entrypoint 38, harness 136; canonical five-compiler protocol 145/145; general Home probes 46 supported passes and two explicit finite-key failures. Complete unchanged Zod remains 241 TS errors + two HM9002, unadmitted and untimed. No speedup or refreshed rank is claimed. Finite/symbolic Record domains, remaining Zod admission, canonical C++ and other-platform coverage remain open. Fresh landed-source timing is the next performance step under #416.

Resuming finite-key Record transfer from clean0b133c8c0/nativeff78 after rejecting unrelated JSDoccandidate. New general owner→barrel→qualified/inherited consumer probes for Record<"left"|"right",number> and Record<1|2,number>: TS6/nativeTS7 positives silent; negatives exactlyTS2322+TS7053+TS2540 (wrongvalue, absentkey, readonlywrite). Home positives failTS2304+2TS2339, negatives wrongerrors. All12correctedcompilerprocesses retained untimed. Initialprobe omittedambientRecord/Readonly and failedbothreferences; retained asinvalidfixture, not usedasdefectevidence. ConcreteProgramlowering currentlyhandlesonlyopen primitiveindexdomains; finitekeys reject. Next exactfinite string/number membermaterialization withreadonlyflags, completegraphadmission andnegativecontrols; no string-index widening/anyfallback/sourceorlibraryshortcuts. Symbolicdomains remainpartoftask but requiretheir ownverifiedmappedsemantics.

Finite candidate implemented (uncommitted/untimed): shared concrete/deferred Recordconstructor retains required finite string+number literal members, readonlyflags, mixedprimitiveindices, deduplicatedpropertynames andemptyneverdomain; unsupportedboolean/symbolickey remainsrejected. Unionmembers reacquired acrossallocation, noborrowedpoolinvalidations. Schema admitsliteral/neverdomains withoutwidening. Directchecker+fullProgrambarrel/qualified/inherited positivesandwrongvalue/missing/readonlynegatives added; existingfinite-schema test strengthenedtoassertliteralshape whileunsupportedvaluerejection retained. Fullchecker/build/ProgramdriverCLIentrypoint originalguardedjobsrunning; harness147passes. Noadoption/perfclaim; correctedreferenceadmittedprobes andunchangedZod/fullbenchmarkadmission followbuild.

Finite Record candidate firstfullchecker run passes4558/4558, includingexactfinite/mixed/never/readonlyrepresentation test; guardexit0peak3351MB. Harness147passes. Nativebuildoriginal66538live; Program256/driver200/CLI76/entrypoint38original5776 queued sequential. Prepared additionalgeneralalias/requiredmissing/excess/mixed/duplicate-number-string/readonly fixtures forreference+candidateadmission afterbuild. Correctedreferencefixtures alreadyshowexact defect; no timing/adoptionyet. Existingrejectedspeedcandidates remainremoved.

First finitecandidate nativebuildpassesexit0peak3068MB, SHA2565b80ad6f3190218b4b50feac73ddf87687089aa0f3e6644d4b11979c09ef3c58. Checker4558/harness147pass. FullProgram256runlive, originalcandidatebasic+expandedreference/candidateprobesqueuedonce. Expandedalias/requiredmissing/excess/mixed/duplicatekey/readonly controlsretained; no narrowliteral-onlyadoption. Symbolickeyadmissionstillunchangedunsupported pendingexactmappedtests. No timing or sourcepush yet.

Finitecandidate Program fullgatepasses256/256, guardexit0peak3214MB. OriginalfourHomebasicprobesnowallpass: finite string/numeric inherited+qualifiedbarrelpositivessilent, negativesexactTS2322+TS7053+TS2540 matching8referencechecks. Driver fullgate live; extendedalias/missingrequired/excess/mixed/duplicatekey/readonly originaladmission queued. No skippingextendedcases or narrowingcompletion, no timing/candidatepushyet.

Expanded controls correctly block adoption: allreferencepositivessilent andnegativesexact6codes(TS2322,2TS2339,TS2353,TS2540,TS2741); candidatepositivesilent butnegativeonly1TS2339, showinglostalias/wholegraphchecking despitebasicfinitefixturespassing. Failurefulloutputretained, notfiltered/narrowed. Driver200passes. ExistingCLI/entrypoint originalgatescontinueunchanged beforeanyrevision. Candidate remainsuncommitted/untimed. Next auditcycle-safe aliaskeyadmission andexactgenericmapped handling,then newrevisioncompletegates; noanyfallback orpositive-onlyadoption.

Firstrevisionallfullsuites4558/256/200/76/38/147pass but extendednegativecontractfails, so notadopted. Distinctsecondrevision nowundernewfullgates: closedkeyaliases traversedbyidentity withactivecyclerejection/noarbitrarycap; projection/contextual/class/function/generickeyreferences remainunsupported. Concrete/deferredRecordkeyTypesresolve locallybeforeexactmemberconstruction. Newsharing/cycleoracle andaliasedProgramfixture; firstfailure/evidencepreserved. Needrestoreall6expandednegativecodes beforeadoption; nopositive-onlysuccess orscope narrowing. SymbolicgenericRecord remainsopen fornextverifiedmappedimplementation, noanywidening. No timing orcommityet.

Second closed-alias revision fullchecker4559/4559passesfirstactualrun, peak3434MBunderunchanged3840MBguard. Includesrepeatedclosedalias/cyclerejectioncontrols plus exactfinite/mixed/readonly/neverrepresentation. Harness147passes. Nativebuild58459nowlive, remainingfullProgram/driver/CLI/entrypoint43699queued. Firstrevisionextendednegativeerasure retained andblocksadoption untilsameunchangedfixturesrestoreallsixerrors. No timing/sourcepushyet.

Secondclosedaliascandidate nativebuildpassesfirstactualrunexit0peak3085MB, SHA256c1af03803b6b5bd81205949659582e8c5679ea62d3bbf6aaec5c22d21f46c9d9. Sourceauditpatch5d002a84400efe6af27231de1ec968b86641604e884b31e4057ccb1136289afa: no newanyfallback/depthcap, nonproductivecyclesrejected, unionmembersreacquired. Checker4559+harness147pass; fullProgram256live. Identical6fixturesTS6/nativeTS7/Home18admissions queuedonce; completeprotocol5siximage180+unchangedZoddeltaauditqueuedonce withwrapperlog. Firstrevisiononly1/6expandederrors remainsretained; secondrevisionmustrestoreall6beforeadoption. No timing/pushyet.

Secondrevision restoresall18finiteadmissions inclfull6expandednegativecodesmatchingTS6/nativeTS7. Program256passes. All180protocol5imageadmissionspassunchangedpins/provenance. HowevercompleteunchangedZoddelta worsens241TS+2HM→244TS+4HM:3newTS7053 attwofiniteformat-map indexing sites, callbackkeyrecoverstoany. Do notadoptorhide this; fulloutputsretained, Zoduntimed. Generaltypedfinitekey+importedgenericcallback reproducerqueued tolocatecontextualtype failure withoutZodsourcemutation/libraryshortcut. Driver/CLI/entrypoint originalgatescontinue. No sourcepush/perfclaim.

Zoddelta reducedtoageneral importedgenericfactory fixture, withoutZodcode/names: Build<t,d=t>["internals"]["def"]>, build(initializer:(instance:T,def:D)=>void), contextualresultBuild<model>, callbackranges[def.key]. Referencespositive0silent, negativesexactTS2322+TS2339; HomepositivefalseTS7053(anykey), negativeadds7053. Fullrawoutputsretained. Thusfinitealias18/18isnotcompleteadoption: expected-result genericcallback inference stilllosesD. Driver200passes, CLI/entrypointoriginalgateslive. TracecontextualSignatureForCall/contextualCallArgumentType beforefixing, no suppressingindexdiagnostics orlibraryspecialcase. No candidatecommit/timing yet.

Secondaliasrevisionallfullgates4559/256/200/76/38/147pass; finite18/18+protocol5image180pass. Explicit build<model> controlpassesbothpositive/negativeHome+references whileinferredcontextualBuild<model>fails7053; isolatesmissingexpected-result inference beforecallback firstcheck, notdefaultsubstitution. Distinctthirdrevision nowinfersidentitysubstitutionsfromactualreturnType→expectedType incontextualCallArgumentType beforefirstcallbackcheck,thenexistingnormalization/defaultsubstitution. Noresult-spellingpositional/name shortcut. NewProgrampositive/negativecontrolscoverdependentdefaultclosedkeyandPair<y,x> reversedgenericreturnorder. Fullnewgatesrunninginnewdirectory; priorZod244TS4HMfailure retained. Mustrestoregeneralcontext+Zoddelta beforeadoption; no timing/pushyet.

Thirdrevisionfullcheckerblocksadoption:4557pass2fail, no testsweakened. Existingoptionalcontextslots expects2TS18048butnewfirst-passreturninference yields1; genericuseMemo-returnedarrow expectedTS7006lost. Allrawfailuresretained. Originalnativebuild/modulegatescontinueunchanged forsourceattribution. Referencesqueuedontheexactexistingregressionfixtures beforefixingtoestablishinferenceboundary; ordinaryscalarpriority controlsalso prepared. No semanticcaps/suppression/timing/adoption.

Thirdcontextrevisionnotqualified:checker4557pass2regressions;Program256pass/newcontexttestfails3positiveerrors; generalinferredcontextstill7053whileexplicitandscalar-prioritycontrols pass. Referencesconfirmlegacy2TS18048/TS7006expectations correct. Fullfailuresretained,noexpectationsweakened. Broaderfirst-passinferFromPaircandidate removed. Distinctfourthrevision fixesownedgenericinstantiation inference by exactdeclarationorigin+argumentidentities (notaliasname metadata),stableargumentcopies+activepaircycles. Earlycontextusesonlyprovensamegenericresult mapping; baregenericreturncontexts remainoriginal. Newexactorigin/unrelated-originoracle. Allfullgatesnewdirectoryrunning; no timing/adoption yet. Mustpasscontext+reorderedresult+alllegacydiagnostics andZoddelta beforepush.

Fourthowned-identityrevisionfullchecker4560/4560passesfirstactualrun, includingtwolegacyregressionswhichblockedpreviousrevision; peak3287MB. Nativebuildexit0peak3060MB, SHA256935fd79a9de8b9feb9c4a6881e165ca879d31d127753960c62134fd8670035bf. Harness147pass; Program257live. Identical42diagnosticadmissions(finite18+context/explicit/priority18+legacy6)queuedonce; complete180image+Zoddeltaauditqueuedonce. Provensamegenericoriginargumentmapping, no positionalspellingheuristic. MustverifyallnewProgram/diagnostic/Zodbeforeadoption. No timing/pushyet.

Fourthrevisionnotqualified:checker4560passeslegacydiagnostics butnewProgrampositive3errors andinferredcontextstill7053. All42diagnosticprocesses retained,40pass2contextfail. Complete180imageadmissionspass,butunchangedZodcandidateexit-11(signal11),parentexit1/241TS2HM. Crashrawoutputempty,retained, no timing. Exactownedinference+earlycontextchangesremoved scoped beforefurtherwork; no candidateevercommitted. Need inspectactualcontextualtarget/returnrepresentation directly, not more guessed inference. Finitealiasimplementation remainsuncommitted andpriorworkingimagec1 retained. FullfailureevidenceincludingZodcrash staysvisible.

Nextstep isdiagnostic-only actualrepresentation inspection, notanotherguess: test-onlyinstrumentedcontextualCallArgumentType prints actualimportedcallee return/contextualtarget TypeIDs/renderedtypes/substitutioncount inretainedgeneralProgramfixture. Onefiltereddiagnostictest runningunderusualguard, explicitlynotqualification. Entiredebugblock+marker mustbe removedbeforeproductionbuild/timing/commit; nolibrary/benchmarkpredicatewillremain. Priorfourthcandidatealljobsterminalnotqualified, ownedinference/earlycontextpatchremoved; Zodsignal11and2contextfailureoutputs retained. No timing/adoption/push.

Actualrepresentation diagnostic complete (notqualification), rawretained: importedfactorysig52return51unresolvedrendering?, expectedBuild<model>already materialized new(any)=>Model, inferFromPairsubs0. Reversedfactorysig119return118unresolved?, targetPair<number,string>,subs0. This explainswhy comparingonlyrawownedinstantiations failedwhenconsumer targetwasmaterialized. Entiretest-onlydebugblock+markerremoved andverifiedabsentbeforeanyproductionbuild. No CPU/timing/adoptionclaim. Next exactresolve-return-surface inference withidentity/ordinaryargumentpriority controls, retainingallpreviousfailures.

Distinctresolved-result revision nowunderfullgates, directlybasedonretainedactualrepresentation diagnostic: importedrawreturnisinstantiationwhileconsumercontext materialized; resolveGenericType(return)beforeexistingstructuralinferFromPair. Earlypathappliesonlystructuralownedreturnreferences; baregenericreturncontexts keeporiginalcontext-freebehavior(requiredbyreference-confirmedoptional/TS7006tests). Removedallpreviousrawidentitypatch/debuginstrumentation. Newfullchecker4559/Program257+harness147gate; same42generaldiagnostics+180image/Zodmandatoryafterbuild. No exceptions/diagnosticsuppression/positionalresult-spelling/no timing/adoption yet.

Resolved-return-surface revisionfullchecker4559/4559passesfirstactualrun, includingreference-confirmedlegacyoptional/TS7006controls. Guardexit0peak3370MB, harness147passes. Originalnativebuild28922nowlive, fullProgram257/driverCLIentrypoint31248queued. Needunchanged42generaldiagnosticsandcomplete180+Zoddelta afterbuild; no adoptionjustfromcheckerpass andno timingyet.

Resolved-surface candidate nativebuildexit0peak3074MB, SHA25655701ddb7e2815d7314adb55007a7f6c770674a13c6e6b4d879dd1cf4d3f2848. Checker4559+harness147pass; Program257live. Original42diagnostics58954and180image+Zod14320queuedonce withretainedwrapperlogs. Exactgeneralinferredcontext,reversedparameterorder,scalarpriorityandlegacydiagnostics allrequired; Zodcrash/deltamustresolve. No timing/adoption/push yet.

Resolvedsurface revisionnewProgram257/257passes; all42unchangedgeneralfinite/context/explicit/scalarpriority/legacydiagnostics passmatchingreferences. Complete180imageadmissionspass andZodcrashresolved(exit1). Zoddiagnosticsetstillchanges: parent241TS2HM→candidate242TS3HM, added1TS7053and5TS2339/removes5TS2774. Fullrawdiffretained,no qualityclaimfromcounts. Generalstrictflowfixturequeued for key=key||literal finiteindex andtypeofobject literal-or-object unionmembercontrol; noZodsourcemutation ordiag suppression. Driver/CLI/entrypointoriginalgateslive; noadoption/timing yet.

Resolvedsurface revisionallfullgates4559/257/200/76/38/147passand42diagnostics+180imagepass,butgeneralflowfixtureblocksadoption. Same-file andimportedreductionsbothreferencepositive0silent; HomefalseTS7053(string|closedkeys) after key=key||literal plusTS2339lostnullableobjectmembers. Thusordinaryflowbugsnotimportspecialcase. Newrevisionpreservesknownobjectconstituents+nullunder typeofobject viaexactmemberfilter(stablecopies), leavesunknown/objectnullfallback; newlocalnegativecontrols forshape andclosedkeyassignment. Fullcheckernewrevisionrunning; priorZoddeltaandallflowfailuresretained. No diagnostic suppression/no timing/adoption.

Nullableknownobjectshape revisionfullchecker4561/4561passesfirstactualruninclbothnewlocalflownegativecontrols; peak3449MBunderunchangedguard. Harness147passes. Bothkeyassignment+typeofmember localunitcontrols pass; needdriverfixtureverification beforeclaiming7053resolved(noadditionalkeyheuristicadded). Nativebuild46160/fullgates30063queuedbehindunrelatedguardowner, originaljobsretained. Same42general+6flow+6reductions+180image/Zodmandatoryafterbuild; no timing/pushyet.

Rootcauseforremainingkey7053 foundbycodeaudit: applyLogicalAssignmentFlow poststatementrebuilds x=x||rhs from cachedwidenedRHSType (literal_string checkExpression=string), replacingcheckLogicalalreadyexactliteral-preserving union. Bothmember/identifierloweredshape branchesuseoldnonnullapproximation. Proposednextrevision reusealreadycheckedlogicalexpressionresult instead of re-unioningoperandtypes; no key-name/libraryshortcut. Currentshape-onlybuild46160/gates30063stilloriginalqueuedbehindunrelatedowner, sourceunchanged untiltheiroutcomes. Fulllocalchecker4561passbutdriver54controls+Zod remainmandatory.

Exactpoststatementlogicalflowfix implemented: lowered x=x||rhs identifier/member branchesreusecheckLogicalcheckedresult instead ofnonnullLHS+widenedRHSTypeapproximation; originalsame-targetchecks/&&policyunchanged. Addedexplicitpoststatementidentifier+memberexactresultoracle andkeyassignment inProgramcontextpositive/negativecontrols. Shape-onlyoldbuild46160/Program30063confirmedqueuedwithnocompilerchildren, cancelledonlyownpids74628/74657beforeexecution(recorded143/-15), preservingchecker4561pass; unrelatedbuildsuntouched. Distinctnewrevisionfullgates and54driverdiagnostic+180image/Zodrequired; no timing/adoption/push.

Exactlogicalproductionnativebuildexit0peak3038MB. Newdirectoraclefirstfullchecker4561pass1failsbecausescopepopped; testsetupnowpusheslive narrowingscope beforeexplicitflowquery, exactTypeIdandclosedkeyassertionsunchanged. Failurefullyretained,noproductionchangetomakeoraclepass. QueuedProgram80605cancelledbeforeexecution(-15)forrepair,unrelatedjobuntouched. Distinctfullchecker4562/Program257andnativebyteidentityregates nowqueuedoriginal33511/4579/7846; harness147pass. Need54driverdiagnostic+180image/Zodbeforeadoption; no timing/push.

Live-scope correctedoraclefullcheckerpasses4562/4562, allassertions/legacydiagnosticsintact, peak3406MB. Prior4561pass1setupfailurefullyretained. Harness147passes; nativeidentity4579nowexecuting, Program257/driverCLIentrypoint7846queued. Exactproductionlogicalreuse+nullableobjectshape+finitealiases/resolvedcontextchangesunchanged. Need54strictdrivercontrols and180image/Zoddelta beforeadoption; no timing/pushyet.

Scope-correctedrevisionnativebuildexit0peak3015MB, SHA256ec839b43bcf487bb7841e738ef9d068eb1b3de3ca6209fbae7fcf429a94ee7ee exactbyteidenticaltopriorproductionimage(testonlyrepairverified). Fullchecker4562/harness147pass. Program257original7846nowlive; exact54driverdiagnostics36456andcomplete180image/Zod1745queuedoncewithwrapperrecords. Sourceauditpatchbc4b3f8e4931a4f894dca6f4d47f001efa2e23f9ece90d2122d3d3212a60c6afpassesnoaddedanyfallback/cap/debugandtargetguardpreservation. Noadoption/timingyet.

ExactlogicalflowresolveddriverTS7053andnewZodHM recovery:54diagnosticchecks51pass3fail(allimportednestedmemberlabelonT), strictlocalflowreductionnowpasses, imported/factoryflowfail. Full180imageadmissionspass; unchangedZod241TS2HM totalsnowmatchparentbutsetsdonot:5newTS2339/5removedTS2774. Totalsnotqualityproof, noadoption. Program257passes; remainingdriverCLIentrypointlive. Traceimportednestedsource-ownedunion/memberresolution, preservemissing/wrongvaluenegatives; no index/memberdiag suppression. typeofnullablecallableprobequeuedtoverifyedge. No timing/pushyet.

Additionalnullablecallable-unionnegativecontrolblocksadoption: null|(()=>void)|{label:string}, typeofobject&&nonnull. TS6/nativeTS7exact2322+2339; Home3TS2339becausebroadobjectassignabilityfilterkeepsfunctionconstituent. Fulloutputsretained; nextrefineruntimecategorytypeofobjectfilter, no diag suppression. Currentdriver/CLI/entrypoint7846continueliveandnestedmemberprobe4678queued; sourceunchangedmidrun. Key7053resolved,54audit51/54passes, importedmemberTremaining. No timing/adoption/push.

Nestedmemberreduction18/18passesall3compilers: plainobject, aliasedunion, inlineunion withprecise2322+2339negativecontrols. RemainingTleakthusnotbasicnestedimporttransfer; failureusesarrayfor-of. Newindex-vsloop identicalarrayelementreduction12processesqueued toisolateread/iterationgenericArrayelement. Driver200fullgatepasses; CLI/entrypointstilloriginal7846. Nullablecallabletypeofedgefailurealso retained. No timing/adoption/push.

Arrayinvestigationcodeevidence: source-owned .array numericindexstoresrawprogramDeclarationReference forPart; iterableElementTypereturnsrawindex, whereaslookupObjectMemberresolvesgeneric surfacesfirst. typeofcomparison inspectsrawcurrent beforeunion/memberfilter. HypothesisrawPartinstantiationneedsresolvedsurfacebeforetypeofnarrowing; notimplemented/adopted withoutqueuedindex-vsloop25858evidence. Candidateunqualified(nullablecallableedge+3importedflowfail), no timing. OriginalCLI/entrypoint7846stillwaitingbehindliveunrelatedguard, notrestarted.

Arrayreduction12checkssettlescause: directindexpositivenegativeallpass, forofHomefalse2339+negative32339 vsreference2322+2339. Source-ownedrawarrayelementPartreference returnedwithoutresolve; newrevisioniterableElementType resolvesownedgenericinput/numberindex beforeiteration. Nullableknownuniontypeofobjectfilteralsoexcludesplain signaturefunctions perretainedreferenceprobe. Addedsource-ownedunioniterable/memberunitandcallableunionnegativecontrols; expandeddriveraudit69checks. Priorfullgates4562/257/200/76pass; queuedownedentrypoint16237(nochild)cancelled-15beforeexecutiontosupersede, retainednotclaimedpass. Newfullgatesrunningoriginals, harness147pass. No library/name shortcuts/caps/diag suppression/timing/adoptionyet.

Ownediterable revisionfullchecker4564/4564passesfirstactualruninclnewsource-ownedunionarrayelementresolution andplaincallabletypeofobjectnegativecontrols, peak3408MB. Harness147passes. Sourceauditpatch48ebb9ce537bb2f0cbcd94fddb81bad88b7e71d611faaebc98b45eff16579116passesnoaddedanyfallback/cap/debug/targetguardpreservation. Native73245nowlive; fullProgramdriverCLIentrypoint2024queued. Need69strictdriverdiagnosticsand180image/Zodpluscallableintersection/recursivearrayboundaryauditbeforeadoption. No timing/pushyet.

Ownediteratorcandidate nativebuildpassesexit0peak3098MB, SHA256db34a99df13c63e25801404bb1d20808108bb66fe56ffe2d516f5dd57b848213. Fullchecker4564/harness147pass; Program257live. Original69diagnostic94789/180imageZod46229/boundary6controls71075queuedonce withretainedrecords. Boundariesinclude callableintersection/recursivearray underreferences, notjustplainfunction. Mustresolveallnegativecontracts/Zodnewerrorsbeforeadoption; no timing/push.

Ownediterator69/69strictdiagnosticcontrolsnowpass inclallarrayforofwrongvalue/missing/errors. Complete180imagepass; Zodstill241TS2HMbut5new2339replace5removed2774, notcount-basedadoption. Extra6boundarychecks4pass2Homefail: callableintersectiontypeofobject retainsfunction; recursivealiasNode misidentifiedDOMType2812. Bothretained. NewrenamedTreeItem+ExcludeLiteral/inheritedinterfaceunion reductions queuedonce68114, originalfullgates2024continue. NeedresolveextraedgeandZodnewfalsemembersbeforeadoption; no timing/push.

CurrentownediteratorfullProgram257/driver200passes(driverpeak2931MB), checker4564/harness147/build alreadyqualified; remainingCLI/entrypointoriginal2024queued. All69generaldiagnostics+180imagepass, butextraCallableintersection/Nodeboundaryfail andZodnew2339remainblockadoption. RenamedrecursiveTreeItem+Exclude/inheritedunion6reference/nativeprobesoriginal68114stillqueuedbehindunrelatedliveguard, notduplicated. Frozen regressionprotocolsavedbeforeanytiming; no timing/sourcepush.

Provennullablecallableintersectionfilterfix nowusesactualcall/constructsignaturepresence ratherthanplainisSignature, unitunionstrengthenedwithfunction&{tag}. Distinctfullchecker34225queued; harness147passes. PriorCLI32608confirmedqueued/nochildren, safelycancelled-15beforeexecutiontosupersede, retained; unrelatedfinalbuilduntouched. OriginalExclude/inherited+TreeItemprobe68114stillusesunchangedpriordb34native; nobuildnewimagebeforethatprobe. Needutilityaliasoutcome/Zodnewmembererrors resolved, thenallfullgates/72diagnostics/180images beforeadoption; no timing/push.

Originalaliasboundary68114complete6/6pass: TreeItemrecursivearrayandExcludeLiteral+inheritedinterfaceunion preserveexact2322+2339underall3compilers. PriorNodeDOMcollisionretainedseparatefailure, notrenamedawayasresolved. Thussimpleutility/inheritanceformsalone donotexplain5newZod2339. Nativepriorimagehashunchangedverified. Runtimecallableintersectionchecker34225nowexecuting; native+fullmodulegatesnewrevisionqueuedonce afteroldprobecomplete. No timing/adoption/sourcepush.

Runtimecallabilityrevisionfullcheckerblocksadoption:4563pass1newstrengthenedcallableintersectiontestfails(expected1TS2322found0), rawretained, no expectationschanged. This isnotqualifieddespiteexistingprimary69passes. Needactualnarrowtype/diagnosticinspectionbeforefurtherfilterchange. Renamedrecursive+utility-inherited6checksallpass retained; richerfactoryshape32239stillqueuedonfrozendb34. No timing/sourcepush; allfailedrevisionevidencekept.

Richerfactory+Exclude+inheritedunionprobe32239complete6/6passesfrozenpriordb34; simplecombinedforms stilldonotexplainZod5newmembers. Newcallableunitdiagnostic48949(test-onlyfiltered, notqualification) printsallcodes/actualmemberreceivers. Ownunqualifiedbuildcancelraceexplicit: child45834startedjustbeforeTERM, exit130notpreexecution; Programqueuedexit-15; allrecorded/treegone/installeddb34unchanged. Temporaryprints mustberemovedbeforeproductionbuild/commit. No weakeningnewexpected2322+2339, no timing/adoption.

Actualcallabletestdiagnosticretained:3TS2339, receiverstillcallableintersection|object. InternerinternIntersection sets onlyis_intersection, soexistingobjectHasCall helperdoesnotinspectconstituents. Temporarytestprints removed/verifiedabsent. Newtypeof-onlyruntimecallabilityhelperrecursesintersectionconstituentidentitiesandusesexistingcall/objectcheck onleaves; no arbitrarycap/no display/source predicate. Fullchecker84293queued,harness147+sourceauditpasspatch89d2d47b147e44cc38b62d65e94526b28f6b4cc227c907f9884926d5ed9fac96. Nativebuildwaitsuntilcheckerpass toavoidunqualifiedchurn. Richgenericfactoryutilitygraph6passstilldoesnotreproduceZod5newmembererrors. No timing/push.

NewgeneralZodinteractionreduction10647queuedonfrozenpriordb34: namespacefactory.Creator<t,d=t>["state"]["def"]>, create(name:string,initializer), localgenericModelwithinheritedstate defaults, ExcludeLiteral|Nested parts andforofobjectguard. Unlikepreviouscallback-arg0control, ordinarystringargprecedescallbackindex1andnamespacecalleeisused; wrongvalue/missingnegativecontrols identicalreferences. NoZodsource/namepredicate/compilerchange. Originalcallableintersectionfullchecker84293stillqueuedbehindliveunrelatedguard. No timing/adoption/push.

Retainedfailureauditnowverifies47requiredrecordsacross12revisiondirectoriesincludinginitialinvalidambientfixture, positive-onlyerasure, legacyregressions, Zodsignal11, testscopefailureandtruthfulinterrupted/queuedcancellationrecords. AllrequireddataexistswithSHA256inventory. Originalchecker84293nowownslock/executes; namespacefactory10647stilloriginalqueuedfrozenpriorimage. No filtering/retiming/adoption.

Intersectionawarecallabilityfullchecker4564/4564passesactualrunpeak3404MB; strengthenedplain+intersectionunion retains2322+2339controls. Namespaceordinaryprecedingstring+inheritedgenericdefaultsreductionall6passesfrozenpriordb34, so callshapealoneisnotZodremaining5members. Newnative42930/fullmodules3746noworiginaljobs; generalcollection-backedstate+Recordbagfactory6probe42954queuedfrozenpriorimage,toisolateunsupportedcollectiondependency inZoddeclarationgraph. All47priorfailureevidencerecordsverified, noSource/Librarypredicate orweakeneddiagnostics. No timing/adoption/pushyet.

Intersection-runtimefacts revisionnativebuildexit0peak3068MB, SHA25604d9c9188e521a339f6a6798c1d88b3d73af72ad6daa679aa753c6dbce16475c. Checker4564+harness147pass; Program257live. Original72diagnostic23130/180imageZod4390queuedoncewithwrappers. Collection-backednamespacefactory6probe42954stilloriginalfrozenpriorimage; ASTfixtureauditseparatorconcern disproved(0literalbackslashnewlines), no scriptrepair/rerun. NeedZod5newfalsemembersandallboundarycontractsresolvedbeforeadoption; no timing/push.

Qualification update (uncommitted candidate 04d9c9188e521a339f6a6798c1d88b3d73af72ad6daa679aa753c6dbce16475c, source patch 89d2d47b147e44cc38b62d65e94526b28f6b4cc227c907f9884926d5ed9fac96): checker 4,564/4,564; Program 257/257; driver 200/200; CLI 76/76; diagnostic controls 72/72 and full protocol-5 image admission 180/180 pass. Entrypoint gate is still running. No timings or code adoption yet. Unchanged Zod remains 241 TS plus two HM9002; counts conceal a delta of five added TS2339 and five removed TS2774, so no Zod improvement claim. A new general namespace-factory reduction with Collection<string> and Record<string,unknown> state catches a silent negative: both TS6.0.3 and native TS7.0.2 report TS2322 + TS2339; both the prior db34 image and current candidate accept silently. Retaining all outputs and isolating Collection versus Record, explicit inference, and direct iteration before any further implementation. No library names, changed library sources, erased contracts, skipped diagnostics, or speed claims.

All original-candidate gates completed (entrypoint 38/38). New isolation matrix retains 42 checks: 38 pass, with Home silently accepting four negatives (original, collection-only, collection-interface, explicit type arguments). Record-only, unused collection declaration and direct iteration negatives retain TS2322 + TS2339. Both reference compilers match every control. This rules out the Record sibling, unused class presence, and omission of explicit type arguments as sufficient causes. Further independent controls inspect polymorphic-this methods, supplied dependent defaults, typed callbacks and direct indexed model state. README-only commit c52d8fd is published; the compiler candidate is not. Rebase preserved concurrent #846 changes; original qualification remains tied to original frozen source/image, and any adopted source requires fresh qualification of the merged tree.

Published raw held-qualification report in 0bba25b (Chris, origin/main, no coauthors), README table and docs link included. Archive 20261010-finite-record-qualification-held-863.tar.gz SHA256 41116963b243d3c2631b14663d266560b3b724866acd55d27aa49d5bacef826f; 252 payload checksums verified, including all new controls and 47 records across twelve prior revisions. Additional context matrix: 40/42 pass. Collection method return this triggers failure; changing only that return to void restores diagnostics, as does typing the callback. Even supplying both T=Model and D=ModelDef does not restore contextual def. The four-error callback-field negative reports only the two instance.state errors; both def errors are missing. Direct Model state and direct indexed Model["state"]["def"] controls pass. This isolates context propagation involving polymorphic this, not a proposal to change library declarations. Source candidate remains uncommitted/untimed, and Zod diagnostics are not declared an improvement.

Focused diagnostic regression finished under the guard (exit 1; peak 2927 MB, host low-water 44%). The standalone Program fixture currently fails before its expected TS2322/TS2339 counts and shows both callback parameters as any. This differs from the full CLI callback-fields control, which retains instance.state errors; it must not be treated as equivalent evidence until its library/setup and earlier diagnostics are matched. Original failed output and exact source patch are retained. Temporary type-print instrumentation has been removed, expected regression contract has not been weakened. No production change or timings were introduced from this diagnostic.

Focused Program harness audit: the first and second diagnostics used NamespaceImportTestResolver, which advertises a fixed unrelated export list. The second run conclusively reports missing create plus implicit-any parameters, not the production callback failure. Both failed runs retained. Reusing the existing graph-backed SourceExportResolver (source export facts and names) for this regression now; test-only helper promoted to shared test scope without changing production behavior. Expected TS2322 + TS2339 remains unchanged. Complete CLI controls remain authoritative for the actual polymorphic-this defect; no timing or candidate adoption.

The source-backed Program regression is queued and its guard is confirmed live (pid 93457, session 13662); no restart. Source stays frozen. The two earlier standalone harness revisions are retained as invalid setup diagnostics, not compiler qualification: fixed namespace export names caused missing create and TS7006. Current test reuses the existing graph-backed SourceExportResolver, with source export facts and names, and requires the unchanged TS2322 + TS2339 negative contract. No production behavior change, timing, or source adoption this continuation.

Source-backed regression guard is terminal exit 123, refused BEFORE compiler execution: 445 MB disk free versus required 1024 MB. Both queued guard pid and lock-holder job are now gone; no timeout-based restart and no lowered floor. Exact source/test helper and prior setup failures retained in home-ts-this-context-source-exports.BQqDJl, including guard-outcome.json. Temporary test prints removed; regression still requires TS2322 + TS2339 and is unexecuted. No production behavior change, source commit, timing, or adoption. Disk recovery is required before the next heavy check; shared/unrelated data have not been deleted.

Disk recheck remains below admission floor (482 MB free); no guarded job restarted. Corrected source-backed regression strengthened to require BOTH silent positive success and exact negative TS2322 + TS2339, matching strictFunctionTypes as well as noImplicitAny/strictNullChecks. Static contract audit confirms positive/negative source differs only in deliberate string-to-number assignment and missing-member read, graph-backed export resolver is used, and no temporary prints remain. Test source SHA256 089f3e67da4ffd6522752581fa8838ba35d6a7ca3b421469a09101e4c96ee1e2. This is an UNEXECUTED test contract, not a pass or compiler fix. Candidate and all retained raw evidence preserved; fresh qualification blocked on disk recovery.

Blocked audit: the same disk admission blocker has persisted across three consecutive goal turns. Latest authoritative check: 483 MB free; required floor 1024 MB; prior guarded diagnostic terminal exit 123 before compiler execution; relevant guard and lock-holder process IDs are absent. Corrected positive/negative regression, static contract audit and uncommitted compiler candidate remain preserved. No qualification, timings, compiler adoption, or weakened limits. Safe task-owned diagnostic artifacts are too small to recover the deficit, and no shared-cache cleanup authority has been provided. Goal is being marked blocked pending disk recovery or explicit scoped cleanup authorization; universal objective is unchanged and incomplete.

Landed directly on main in 49fa72e: fix(ts): preserve finite Record keys across imports (#863).

This is a deliberately narrow, fully verified slice:

• source-owned finite string and numeric Record keys now transfer as exact required members across owner → barrel → named/namespace imports and generic interface inheritance;
• closed non-generic alias key domains are followed cycle-safely;
• readonly members and open symbol index domains are retained;
• generic, contextual, cyclic, and otherwise unsupported key domains remain rejected instead of being widened or silently approximated.

Verification:

• zig build test -Dfilter=ts_checker passed;
• zig build test -Dfilter=ts_program passed;
• fresh stripped ReleaseSafe home-tsc build passed under the fixed 3,840 MB guard (2,711 MB peak);
• the same CLI fixture is silent under TS6, native TS7/tsgo, and Home for the positive case, and all three report exactly TS2322 ×2, TS2339 ×1, TS2540 ×1 for the negative case;
• the unchanged 21-file Zod core proxy remained silent with the fresh candidate (740 MB peak). This is regression evidence only, not full Zod admission or a timing claim;
• Pickier, zig fmt --check, and git diff --check passed.

The broader contextual factory/Collection controls remain visibly unresolved (including silent negatives and known object-property misdiagnoses). They were intentionally excluded from this commit, so #863 remains open for that follow-up rather than masking the gap.

Disk recovery verified: 2209 MB free, old guard/lock-holder PIDs absent. Resumed with a NEW source revision: paired silent-positive/exact-negative regression, shared source-backed export resolver and strictFunctionTypes. Running one filtered diagnostic under unchanged 3840 MB / 600 s guard; prior exit123 remains retained and is not relabeled as executed. No source adoption/timings. Candidate remains uncommitted until exact semantics and fresh merged-tree qualification pass.

Correction to immediately preceding update: the NEW paired diagnostic did NOT start. Disk availability changed between df (2209 MB) and guard admission (880 MB), and guard returned terminal exit123 before compiler execution. Retained guard-outcome.json in home-ts-this-context-qualified-setup.hAhaF9; no pass, no compiler child, no timing. Guard was honored, not bypassed. Further build work still needs stable disk recovery.

Resumed blocked audit reached three consecutive turns with the same disk condition. Current output and temporary volume both report 762 MB free (<1024 MB admission floor); no relevant diagnostic/lock-holder process remains. The new paired regression attempt was refused pre-execution at 880 MB, retained separately from the earlier 445 MB refusal. Source, expected contracts and raw evidence preserved, diff check clean. No test pass/timing/adoption claimed. Scoped cleanup option identified: this managed worktree generated .zig-cache is 2726 MB, but explicit cleanup authorization has not been received. Goal marked blocked again pending stable disk recovery or that scoped approval; full objective unchanged.

Landed cb4c61e20 (fix(ts): resolve dependent callback defaults (#863)) directly on main.

What changed:

• dependent generic defaults such as D = T["state"]["def"] are now materialized only at generic-default application sites, after earlier substitutions are known;
• exact indexed paths may cross an intermediate object containing polymorphic this, while unresolved/union/ambiguous endpoints remain deferred;
• explicit generic callbacks are rechecked only when the declaration has a dependent indexed default, the instantiated target is concrete, and the first pass left a provisional (any/unknown/unbound) parameter;
• imported Program coverage now exercises inferred, one-explicit-argument, and fully explicit forms with a nested Collection<T>.add(...): this member.

Verified under the 3,840 MB process-tree ceiling:

• full ts_checker: pass (4,559 tests);
• full ts_driver: pass;
• full ts_program: pass (259 tests);
• fresh stripped ReleaseSafe home-tsc: pass, 2,708 MB peak on the final build;
• strict two-file oracle: Home reports the same 12 (line,column,code) diagnostics as TypeScript 6.0.3 and native TypeScript 7.0.2;
• Zod 4.5.2 core proxy: candidate output exactly matches the fresh parent control (23 diagnostic identities / 36 normalized output lines), with no added or changed diagnostics.

Correction to my earlier Zod note: the fresh parent control is not silent apart from TS2307; it already contains those 23 identities. That earlier statement came from a stale comparison. The valid claim for this commit is exact no-regression parity against the fresh parent control.

The two user-owned untracked files were left untouched. Issue remains open for any remaining acceptance work.

Landed directly on main in 971692a: fix(ts): specialize generic Record aliases (#863).

This closes the next finite-key transfer slice without widening unsupported domains:

• source-owned Record<K, V> aliases retain a symbolic mapped representation until K is substituted;
• finite string and numeric literal arguments materialize exact required members across owner → barrel → named and namespace imports;
• Readonly<Record<K, V>> preserves readonly members;
• schema admission follows only constrained property-key parameters and rejects unconstrained, cyclic, and non-property-key constraints.

Verification under the fixed 3,840 MB process-tree ceiling:

• focused checker regression: pass;
• full ts_checker: pass (2,171 MB peak);
• full ts_program: 260/260 pass (2,083 MB peak);
• full ts_driver: pass (2,019 MB peak);
• fresh stripped ReleaseSafe home-tsc: pass (2,705 MB peak);
• strict CLI oracle: TS6 6.0.3, native TS7 7.0.2, and Home report the same five (line, column, code) diagnostics: TS2322 ×2, TS2339, TS7053, and TS2540;
• unchanged Zod 4.5.2 core proxy output is byte-for-byte identical to the saved fresh-parent control after excluding only the guard footprint line;
• zig fmt --check and git diff --check pass.

Exactly three tracked files changed. The two user-owned untracked files remain untouched. Broader symbolic/contextual Record and remaining Zod admission work stay open.

Landed and pushed 2fbf7d1 directly to main: fix(ts): resolve finite Record element diagnostics (#863).

This follow-up makes element-access diagnostic naming resolve with the expression narrow literal type before falling back to the widened index type. For a qualified GenericMap<1 | 2, boolean>, Home now reports the same TS2322 wording as TypeScript 6 and native TypeScript 7: Type boolean is not assignable to type string.

Verification:

• full ts_checker suite passed; guarded peak 2257 MB
• full ts_program suite passed; guarded peak 2172 MB
• full ts_driver suite passed; guarded peak 1942 MB
• fresh stripped ReleaseSafe home-tsc build passed; guarded peak 2735 MB
• strict oracle retained all five expected diagnostic locations/codes: TS2322 x2, TS2339, TS7053, TS2540
• target qualified element diagnostic now matches TS6/native TS7 wording exactly
• Zod 4.5.2 core proxy output remained byte-for-byte identical to the saved fresh-parent control
• zig fmt --check and git diff --check passed

Commit contains exactly 3 files and is authored/committed by glennmichael123 gtorregosa@gmail.com with no coauthors.

Pushed the generic Record key-alias follow-up directly to main in 00b91760d.

What changed:

• Program-schema Record key validation now substitutes explicit and defaulted arguments through nested generic aliases, while preserving the existing cycle/unsupported-shape rejection.
• Missing-property diagnostics retain the imported alias spelling through use-site annotation metadata rather than global structural TypeId metadata, so identical structural aliases cannot affect assignability or steal one another’s names.
• Added schema and multi-file Program coverage for nested aliases, defaults, finite keys, namespace-qualified imports, reads, writes, and exact TS2339 text.

Verification on the committed source:

• zig build test -Dfilter=ts_program: pass, 2,293 MB guarded peak.
• zig build test -Dfilter=ts_checker: pass, 2,280 MB guarded peak.
• zig build test -Dfilter=ts_driver: pass, 1,935 MB guarded peak.
• Stripped ReleaseSafe home-tsc build: pass, 2,739 MB guarded peak.
• Differential fixture: Home, TypeScript 6.0.3, and native TypeScript 7.0.2 emitted the same six diagnostics with identical locations, codes, and messages.
• Pinned Zod 4.5.2 core-proxy output remained byte-for-byte identical to the fresh-parent control.

The commit contains exactly four files and was pushed under glennmichael123 <gtorregosa@gmail.com> with no coauthor trailer.

User explicitly authorized removal of ONLY this task generated .zig-cache and resumption. Exact task cache deleted after no active compiler checks; current cache was already ~0.5 MB, not former 2.7 GB. Verified identical before/after SHA256 for 199 source/raw-evidence/retained-native files. Cleanup accounting retained in authorized-cleanup.json. Disk independently recovered to ~37 GB. Corrected graph-backed paired positive/negative regression now starts under unchanged guard, distinct revision home-ts-this-context-resumed.n5B0Zy. Prior refused attempts preserved. No qualification, timing or adoption claim yet.

Resumed corrected source-backed paired regression actually executed (exit1), guard peak2781 MB/low-water33%. Positive silent-success assertion passed; required negative assignment diagnostic expected1 found0. This now reproduces complete CLI failure rather than the old hardcoded-export harness mismatch. Running a separate diagnostic revision printing only test-local HIR/callee/callback type identities/defaults to locate lost D; no production behavior changed, expectations not weakened, no timing/adoption.

Correct graph-backed diagnostic confirms actual shape: instance parameter TypeId411 is concrete object; def TypeId413 is deferred indexed access (NOT any), imported callback binds T269/D270 and D default272. Exact outputs retained in home-ts-this-context-type-graph.tQVn8w; test fails expected assignment1 found0, peak2678 MB. Temporary prints removed. Added a direct synthetic oracle requiring Model["state"]["def"] exact identity despite an unrelated clone():this sibling, plus T->Model substitution; running this oracle on existing behavior before changing production. No semantic weakening, timing or source adoption.

Direct type-representation oracle reproduces existing failure: nested Model["state"]["def"] returns null despite concrete exact def; clone():this is an unrelated state sibling. Expected TypeId18 foundnull; retained home-ts-nested-this-access.mQw7MG (guardpeak2473 MB). New general candidate follows exact intermediate indexed members using the existing inference resolver, retaining final-leaf containsThis rejection; substitution requests the same exact nested result before existing fallbacks. Added negative requiring clone leaf remain unresolved, no guessed receiver. Running oracle plus unfiltered Program suite on frozen candidate. No any-erasure/library predicate/cap/diagnostic suppression or timing; not adopted yet.

New exact nested-access oracle passes (2/2 including root import test), preserving both concrete definition identity/substitution and refusal to resolve final clone():this leaf. Guardpeak2409 MB/low-water31%; no repeated timing. Full unfiltered Program and checker suites now running/queued on same frozen candidate. Need complete gates, preserved generic-constraint boundaries, pinned positive/negative compiler-image agreement, unchanged Zod delta and fair regression qualification before adoption. No source commit or new ranking yet.

New nested-access candidate full Program gate completed: 259/260 pass, sole failure remains source-backed collection factory negative (expected assignment1 found0); guardpeak3061 MB/low-water31%. Synthetic representation oracle passes but does NOT establish end-to-end correctness. Candidate remains unadopted/untimed; full checker run now executing on same frozen revision. Need trace actual deferred callback member path rather than infer success from synthetic type IDs. All outputs retained.

Full checker rejects broader candidate: 4563/4565 pass, two original failures (indexed access over a type parameter must defer past constraint; fixed generic inputs must not infer through deferred conditional value). Output retained, peak3176 MB/low-water30%. Removed ONLY the newly added general substitution-to-exact-argument query causing eager constraint reduction, preserving the original tests/contracts and intermediate nested-member traversal for diagnosis. No weaker tests, caps, any fallback or adoption. Need exact concrete nested access recovery without resolving genuinely generic constraints.

New frozen revision home-ts-concrete-nested-context.0mE3wR: concrete-only nested indexed object projection, active identity cycle detection, no parameter-constraint reads and no new depth/work cap. Final this-dependent leaf rejection remains. Direct oracle now also requires unsubstituted constrained U["state"]["def"] remain deferred despite T->Model substitution. Running full checker and full Program suites with unchanged guards; all prior regressions retained, no test weakening or timing/adoption.

Concrete-only revision 0mE3wR both gates compile-failed before tests: return CheckError!TypeId into optional payload required try. Exact compiler output retained; no semantic pass claimed. One-token coercion repair recorded as new frozen revision D3Xi2n; full checker/program gates started under unchanged guards (sessions59277/76754). No timing, adoption or benchmark-rank update.

Concrete-only D3Xi2n full gates terminal: checker4564/4565, only new constrained identity oracle fails expected32 found38 (original two generic-deferral tests now pass); Program259/260, source-backed collection factory negative still fails expected assignment1 found0. Guardspeak3273/3052 MB, low-water32/31. No adoption or timing. Identity failure must be investigated as rebuilt deferred graph versus eager resolution, not papered over; end-to-end callback still unresolved. All complete outputs/source patches retained; no temporary prints. Task-specific cleanup completed with199 preserved file hashes verified, source/evidence/retained native unchanged.

Next evidence step: two diagnostic-only test-local graph audits, frozen home-ts-deferred-graph-audit.u1vHgb. Checker prints rebuilt constrained outer/inner/root payloads before unchanged exact identity assertion; Program traverses def indexed/instantiation/object/type-parameter identities with visited set before unchanged negative count. No production behavior change this continuation, no name/filename predicate, caps, erasure or timing. Need prove semantics before adjusting oracle or changing callback projection.

Checker graph audit terminal: constrained original32 rebuilt38 (second invocation44) remains is_indexed_access; outer object37/index22, inner object36/index21, root36 remains is_type_parameter. Thus this NEW identity-only assertion is overstrong: existing constraint substitution rebuilds deferred roots. Will replace it with exact two-index/key/root-type-parameter assertions after current Program diagnostic finishes, preserving semantic deferral requirement. Original generic-deferral regressions remain mandatory. Output/source retained, guardpeak2405 MB. Program actual def payload graph still compiling; no production change or speed/adoption claim.

Program graph audit proves actual def is nested indexed424->412->concreteModel411; state410 owns exact def409, kind146 and parts408. This is not missing schema admission or any: callback parameter recovery leaves concrete indexed chain unmaterialized. New revision l1z8AL uses concrete-only indexed projection at contextual parameter materialization, final this leaf still guarded; generic-root null preserved. Removed all test prints. Replaced new identity-only assertion based on actual graph evidence with exact outer/inner keys, U root name/type-parameter and concrete-projection null, preserving deferral semantics. Full Program/checker gates running on frozen source; no timing/adoption.

l1z8AL full checker terminal PASS4565/4565 (original deferral constraints intact), full Program259/260 still misses factory negative. New frozen L2c1Ps candidate contextualizes exact concrete non-callable objects even when nested data graph reaches this-returning methods; standalone callable/this leaves remain deferred, generic roots never read through constraints. Oracle verifies contextual state object identity plus unchanged callable leaf. Full Program/checker gates running; all prior failures retained. No timing/source adoption or changed ranking.

L2c1Ps exact concrete-object context full checker terminal PASS4565/4565, guardpeak3295 MB/low-water29%, preserving generic-deferral tests and standalone callable leaf. Full Program now executing on same frozen patch SHA256 0677fcbac7ac1d087324561148ead78d3fcff2e204fcc626a124330b3a71f27b. Expanded all pinned diagnostic controls prepared but unexecuted; no native build/timing/adoption until end-to-end paired factory passes. No restart/filtering of this checker gate.

L2c1Ps full Program terminal259/260, still source-backed factory negative expected TS2322 count1 found0; checker4565/4565 pass. Exact outcome/source retained (patch0677fc...); no native build, expanded admissions, timing or adoption. Next separate diagnostic xZfEha prints ONLY regression-test HIR parameter/identifier/member/for-of types, numeric element index and actual indexed payload, retaining all expectations. Need determine actual member-read loss despite synthetic concrete object context success. No production behavior change for this audit.

GitHub authentication read-only recheck recovered (user chrisbbreuer). Posting saved update: member-read diagnostic xZfEha terminal guard exit124 before test output; compiler child absence confirmed before test-source edits; empty log and no semantic result. Exact source/guard accounting retained; temporary prints removed. No automatic restart, increased guard, timing/adoption or compiler pass inferred. Latest qualified checker4565/4565 and Program259/260 remain unchanged. Inspecting retained build artifact provenance as lower-cost alternative, without rerunning timed-out compile.

Lower-cost retained/source audit: timed-out member diagnostic left zero-byte executable, unusable; no replay. Normal lookupObjectMember expands generic instances but has no exact concrete indexed receiver path. New frozen oBSab1 candidate uses existing constraint-free concrete indexed projection for normal member lookup; resulting member graph must recursively resolve to an actual object under active identity cycle detection (not guessed this/constraint). Direct oracle checks label:string and missing-member null through same nested indexed receiver, all generic deferral/callable contracts retained. Full Program/checker started under unchanged guards; no timeout-repeat, weakened diagnostic, benchmark predicate, any fallback, timing or adoption.

oBSab1 normal concrete-indexed member lookup full Program terminal259/260; sole source-backed factory negative still expected TS2322 count1 found0. Guardpeak3119 MB/low-water28%. Full checker now running on same frozen source; direct value/missing-member oracle preserved. No adoption/timing or false claim from timed-out member audit. GitHub access recovered and saved prior update posted. Need actual callback member-read evidence, not further inference from synthetic passing paths.

oBSab1 full checker guard terminal124 (600s exceeded), compiler child78408 absent confirmed. No test output, so incomplete qualification—not pass/fail. Full Program actual result259/260 retains factory negative failure. Exact candidate/outputs/outcome retained, no automatic restart, guard increase, timings or adoption. Current source candidate remains uncommitted. Need lower-cost focused observation rather than another broad speculative change.

New diagnostic-only revision SgCH0Q uses compact source-span + TypeId read observer (parameters/identifiers/member accesses only), replacing earlier expensive recursive payload/flag walk—not rerunning identical timed-out source. Existing negative contract unchanged; no production behavior edit in this observer. Guard remains3840 MB/600s. Original session94538 now compiling; exact source retained. Need actual member types before any further speculative fix.

Compact read audit SgCH0Q actually completed (exit1, peak2765 MB): part.state.label TypeId7=string; text TypeId8=number; part.missing error resultany. Expected assignment1 found0 despite correct read. This changes diagnosis: not any-erasure at final label. Retained complete outputs and removed test read prints. New diagnostic-only yUkjcX traces primitive string->number var relation decision and TS2322 node-span removal with unchanged decisions/contracts; no semantic fix/adoption/timing. Need diagnose relation versus diagnostic lifecycle before more lowering changes.

Assignment lifecycle yUkjcX executed exit1/peak2789 MB: string->number relation is correctly false at var node162, diagnostics count0, no TS2322 node-span removal observed. Therefore missing error is in reporting path, not erased read or assignability. New frozen diagnostic TA4q4H logs branch flags/counters, reporter entry and emission while preserving all decisions/contracts; session8850 live. All source/output retained; no further semantic edit, source adoption or timing.

TA4q4H reporter-branch trace completed exit1/peak2943 MB. Required mismatch reaches var reporter node157 source7 string target8 number; earlier skip flags asserted/binding/callback allfalse and diagnostics0. No TS2322 emission observed. This confines defect to reporter early-return/dispatch, not relation or recheck-removal. New diagnostic-only I6Wgc6 logs generic reporter entry and alias/private dispatch, retaining unchanged decisions/contracts. Session72097 live, no semantic change or timing/adoption.

I6Wgc6 trace completed exit1/peak2921 MB: var reporter node157 source7/target8 dispatches generic reporter, which is entered. Scope correction: generic reporter appends directly, so reportAt-only emission log did NOT prove no emission. New diagnostic-only ZVaIYV captures that direct append and cleanup/final checker counts; expectations and compiler decisions unchanged. Session69993 running, all prior output retained. No semantic fix/adoption/timing claim.

Direct-boundary ZVaIYV compile failed before tests due optional source-length logging coercion; raw error retained, peak342 MB, no semantic result. Logging-only explicit optional capture repair now separate frozen I5hMuu revision, session55588 under unchanged guard. Need direct reporter append + final checker list observation; no semantic change, new timings or adopted source. Earlier emission-log scope correction retained.

I5hMuu direct-boundary trace completed exit1/peak2811 MB: generic reporter directly appends mismatch; negative source1159 bytes checker cleanup/final list eachcount1, but Program test TS2322 count0. This points across checker-driver boundary, not relation or generic reporter omission; final count alone does not establish code/category identity. New diagnostic-only GVy1qF logs code/category and existing declaration/JS/suggestion filter states; session7512 frozen, no filtering/semantic decision changed. All prior traces retained; no source adoption/timing.

GVy1qF executed exit1/peak2750 MB: final checker diagnostic reaches driver as TS2322/error_; declaration/JS suppression false. Crucial correction: Program regression had TWO identical expected1 counters, so earlier expected1 found0 output alone did NOT identify assignment versus missing-member failure. New 3Ae7He uses unchanged exact contract but ordered count slice [TS2322,TS2339]=[1,1] to identify failure explicitly. Prior trace print cleanup patch was rejected atomically (format), no source changed, all logs remain in frozen diagnostic source; cleanup deferred until original session87369 terminal. No semantic changes, timings or adoption.

Important evidence correction confirmed: ordered-count regression 3Ae7He reports [TS2322,TS2339]=[1,0], expected[1,1], exit1/peak2742 MB. Assignment mismatch is correctly emitted; remaining failure is TS2339. Earlier identical expected1 assertions were ambiguous and misinterpreted; all raw outputs retained. Removed ALL temporary checker/driver prints, driver file restored exactly. Source review identifies resolved_flow_member_accesses proof cache: success in provisional flow records node proof, contextual clearCachedTypesWithin clears HIR type but never invalidates that proof; missing-member reporter then suppresses TS2339. New k02vkc candidate invalidates proof alongside cached type in fast and slow subtree paths; direct oracle checks inside invalidation, outside preservation and fresh TS2339. Full Program/checker now running, no timings/adoption.

k02vkc proof-invalidation candidate full Program PASS260/260, including exact ordered [TS2322,TS2339]=[1,1] factory negative and silent positive; guardpeak3152 MB/low-water34. This confirms stale resolved-flow member proof lifetime as remaining missing-member cause. Full checker running original69855; native wrapper queued with hard prerequisites both full-suite records pass and exact frozen patch unchanged before build. Remaining driver/CLI/entrypoint gates prepared/running under original guards. No timing, code adoption or new ranking.

k02vkc full checker PASS4566/4566, ProgramPASS260/260, harnessPASS147/147. New proof-lifetime regression validates both cache-clear paths, subtree-only invalidation/outside preservation and restored genuine TS2339. Guard checkerpeak3390 MB/low-water38; Programpeak3152 MB. Frozen patch7c8c5b08a593cc465d9dd257aa974962b3c844b7592c11f1da418072380ba557; all temporary traces removed/driver restored. Fresh native wrapper prerequisites pass and remaining driver/CLI/entrypoint gates continuing. Complete expanded pinned controls and unchanged Zod still pending; no timing or adoption.

Expanded168 planned diagnostic controls and protocol5 six-image180/Zod audit queued after guarded fresh native; remaining module gates continuing. Fairness audit: retained ff78 parent is diagnostic historical baseline, NOT exact current0bba25bb1 parent because concurrent #846 changes were preserved. Any performance A/B must first build clean current-parent0bba image; no speed attribution from old baseline. Recorded qualification-progress.json; no timing started.

Published documentation-only commit 65a0332 to origin/main as Chris, without coauthors. Full report, brief README table/link, and raw evidence are included. Checker 4,566; Program 260; driver 200; CLI 76; entrypoint 41; harness 147 all pass. All 168 extended diagnostic controls and 180 protocol-5 image admissions pass. Archive SHA-256: 397f2b72b9b351bfad1a86a6749a976e7f927d2da13a8d583f11f82655454334; all 328 payload checksums verify. The report explicitly corrects the earlier ambiguous assertion: intermediate counts [1,0] meant missing TS2339, not TS2322; the proof-lifetime candidate reports [1,1]. Compiler source remains uncommitted and untimed. Zod still has 241 TS errors and two HM9002, with five added TS2339 and five removed TS2774 versus historical ff78. Concurrent Record and #846 main commits were preserved; documentation was published from a clean managed checkout. The clean frozen-parent 0bba build verified 53,124 Git blobs and native SHA-256 167e0617a78a744c44c3cfe1784aa834de7e45420618c15acc0590c3bce541b9; no timings. Next: integrate remaining changes against newer main and qualify that source freshly, without duplicating landed features or relabeling old evidence.

Beginning fresh integration from clean main-based 65a0332 checkout. Independently landed finite/generic Record and dependent-default fixes preserved, old qualified candidate remains untouched with raw evidence. Clean latest-main baseline build running under unchanged guard before source edits; exact image will reveal which extended controls still fail and serve causal A/B parent. Source review: resolved-flow proof invalidation remains absent; slow clear path also has a root==node branch, which must invalidate root proof as well as descendants. No fresh qualification inferred from old gates, no timing.

Clean latest-main 65a0332 baseline native 180b0d83becb3a0fa3843c625f213f971578498f6af3fa50fd6d8109cdba21c3 built successfully. Same 56 extended Home projects: 25 pass, 31 fail; exact prior TS6/TS7 reference outputs and input inventories preserved. Unchanged Zod baseline 244 TS errors plus four HM9002 (three TS7053 beyond historical totals). Integrated missing qualified contextual-result inference, logical-flow, owned-iterable/narrowing and concrete-indexed behaviors into latest checker; preserved main Record/schema/builder implementation byte-for-byte. Proof invalidation now also covers slow-path root==node branch, with direct root/descendant/outside proofs oracle. Only checker and Program tests changed; formatting/diff checks pass. Fresh unfiltered Program/checker gates running under unchanged guard; old results not relabeled, no timings/adoption.

Fresh integrated source gates PASS: Program 264/264 and checker 4,567/4,567, including slow root-node flow-proof invalidation and preserved main generic Record fixes. No schema/builder/Record implementation replaced. Fresh candidate native/remaining gates continuing; same 168 diagnostic and 180 six-image admissions queued with exact clean latest-main parent 180b0d8... (not historical ff78). Benchmark runner/compare/competitor/profile file hashes match between checkouts, so existing pinned tools/corpus are reused without changes. Full unchanged Zod comparison will use latest-main 244 TS/four HM baseline. No timing, source adoption or new ranking.

Fresh integrated image passes 168/168 diagnostic controls and 180/180 protocol-5 six-image admissions with unchanged provenance. Driver 201/201 and CLI 78/78 pass; entrypoint pending. Exact-parent full unchanged Zod delta: 244 TS/four HM -> 241 TS/two HM; removes three TS7053 and two HM9002 in checks.ts, adds five TS2339 at schemas.ts 4585/4590/4592 and removes five TS2774 in from-json-schema.ts. No improvement/admission inferred from totals. Recursive-parent/metadata-this/global-Set reductions: all 16 reference and eight candidate controls pass; four parent negatives fail as retained. These do not reproduce Zod. New untimed probes import actual pinned base interfaces/factory with unchanged library inventory and full raw diagnostic retention. No source adoption or timing.

All fresh integrated gates completed: Program 264, checker 4,567, driver 201, CLI 78, entrypoint 46; 168 controls and 180 image admissions pass. Untimed pinned-base probes complete with original library inventory unchanged and FULL raw output retained: all 12 TS6/native-TS7 controls valid; Home emits false consumer TS2749 for derived/factory imports of actual base interfaces, and silently accepts exported-parts negative. Imported library errors also remain; no filtered admission claim. Recursive metadata controls did not reproduce these failures. New general type-only namespace/dual type+value/template-member reduction runs on frozen parent/candidate/reference images to isolate type-fact fallback without library-specific compiler predicates. No timing or source adoption.

Latest-main integration qualification is complete: Program 264, checker 4,567, driver 201, CLI 78, entrypoint 46 all pass; 168/168 diagnostic controls and 180/180 image admissions pass with unchanged inventories/provenance. No timings or adoption. Pinned-base probes retain all imported-graph errors and reveal false TS2749 plus silent exported-parts negatives; all 12 reference controls valid, original library unchanged. General namespace/type-value/template controls all 24/24 pass, ruling out that simpler cause. Recursive metadata reductions also pass candidate controls. Next: inspect actual pinned base schema-transfer/admission graph and type facts, not add a library-name workaround or infer Zod success from totals. Exact parent/candidate images and qualification-outcome.json retained.

Inspecting pinned-base TS2749 source path reveals a diagnostic scope difference: pinned probes use absolute imports, while prior general namespace controls use relative imports. Running frozen parent/candidate plus TS6/TS7 on paired simple and pinned declarations under both spellings, with identical contracts and unchanged original library inventory. This is a counterexperiment, NOT a workaround, modified production source or admission claim. Need establish whether absolute namespace resolution is a separate bug before attributing TS2749 to Zod schema admission. All full outputs retained; no timings.

Import-spelling counterexperiment completed: simple declarations pass under both spellings. Pinned relative derived probe has no consumer TS2749 and retains candidate negative TS2322+TS2339; pinned absolute probe adds false consumer TS2749 in both Home images. All 16 reference controls valid, original library and inputs unchanged, full imported-graph output retained. This is a separate import/type-fact issue, not proof of original Zod-loop cause or a workaround/admission. Original initializer additionally invokes base.init assertion before iteration; a new general paired reduction varies only that assertion step/location on frozen images to test the difference. No repository source edits or timings.

Asserting-initializer reductions complete: all 16 reference and eight candidate controls pass; four parent negatives fail as retained. Assertion step/location alone does not reproduce original Zod errors. Starting diagnostic-only native C6a6XI with generic object-guard/nullable-object type-kind observations (no library or filename predicates); original full pinned Zod graph unchanged. Qualified parent/candidate binaries preserved. Observation script requires complete diagnostic location multiset to match qualified image before interpreting trace; no semantic decisions changed, no timings/adoption. After terminal, temporary trace sites will be removed and qualified installed image restored.

Continuation check: the fresh integration checkout at 65a0332 passed all 147 benchmark-harness tests. Existing semantic qualification remains Checker 4567/4567, Program 264/264, Driver 201/201, CLI 78/78, Entrypoint 46/46, plus 168 strict reference/Home controls and 180 six-image admission controls. The unchanged full Zod project still has five newly emitted TS2339 property errors, so source adoption and performance timing remain on hold. A generic object-guard diagnostic build is running under the unchanged 600-second/3840-MB machine guard; it will only be interpreted if the complete diagnostic-location multiset matches the retained qualified image. No Zod/filename predicates, input edits, filtered admission, or new performance claims.

The generic object-guard logging build reached the original 600-second bound (exit 124) before producing an image. No type observations or timings resulted; no limits were raised and the failed build was not repeated. Exact instrumented patch and guard outcome are retained. Logging was removed after termination; restored integration patch SHA256 0e43dc49e16c4c7714bfe25ba1e33cd19840476407403e36919b624bcb9e33bd and installed native SHA256 754926fd350062fac7094768b6adb2f1a5e808b21c37a59ec151b31ac46d59af verify. New paired callback-body counterexperiments use the retained images under the unchanged machine lock; they are queued behind an unrelated build, which remains untouched. Preparing a separate docs/raw-evidence commit with exact main-parent gates and the full unresolved Zod delta, not source adoption. An earlier comment attempt failed transient HTTP401; auth now reads chrisbbreuer without credential changes.

Pushed documentation-only 664340c to origin/main as Chris Breuer, conventional issue-linked commit with no coauthors. README now summarizes the fresh main-parent gates and links the full held-qualification report; the previous frozen report remains historical. New raw archive 20261011-main-flow-proof-qualification-held-863.tar.gz retains both frozen natives, exact source patch, complete completed controls and full Zod outputs, plus the failed logging-build patch/outcome. All 207 payload checksums verify; archive SHA256 70f5ca7b41d82735e130f993486932b282183938397df4c1981ae853ceeb2b45. Source remains uncommitted and untimed: five new false Zod TS2339 still block adoption; totals are not a win. Separately queued callback-body controls are explicitly excluded from the report/archive pending terminal output. Compiler source patch remains 0e43dc4..., installed qualified native754926fd...; only README, report and evidence were committed.

The separately queued callback-body controls ended at the unchanged 900-second machine-lock wait bound (exit 121); no compiler/control process started and no results or timings exist. Exact guard output and script are retained in home-ts-callback-body-controls.Z1Gza1. The lock holder is an unrelated build and remains untouched; no guard limit was raised and no identical retry was launched. These controls remain excluded from published evidence/qualification. Next runtime checks require an actual machine-availability change; the main source adoption hold remains the five false Zod property errors, not an inferred result from this unavailable run.

After the prior unrelated lock holder exited, the new callback-body counterexperiments ran under unchanged bounds with the existing verified TS6/native TS7 installations. All 16 reference controls and all eight candidate controls pass; four parent negatives are silently accepted. Repeated reads, nested throws, conditional member reads and a later context-typed callback therefore do not reproduce the five false errors in the original Zod loop. Inputs before/after match, full outputs retained in home-ts-callback-body-controls-pinned.B9suaD. The first reference-discovery attempt used the integration checkout without local .tools, exited before any compiler started, and is retained separately; no dependencies installed, no failed compiler results discarded. Current/retained harness sources have identical hashes. Preparing a diagnostic-only entry point that reuses production project admission, resolver adapter, checker and rendering; interpretation requires a complete diagnostic-location multiset match against the qualified native, with the unchanged full library. No timing or adoption.

New direct evidence from the unchanged full Zod project: a diagnostic-only executable reusing production project admission/resolver/checker/rendering built successfully under the unchanged600-second/3840-MB guard (peak2944MB). It loaded106 roots/106 files and matched the qualified native entire243-diagnostic location/code multiset exactly, with no added/removed diagnostics and unchanged complete library inventory. Generic object-guard logs show the original schemas.ts4583 loop variable part has declared=2,current=2 (Primitive.unknown) on all six observed passes before typeof narrowing; it is not a known schema union being stripped by the new nullable-object member filter. Next investigation is upstream contextual/indexed/iterable type recovery, not a narrowing escape or diagnostic suppression. All logging removed after terminal; source patch0e43dc49... and installed qualified native754926fd... restored/verified. Full stdout/stderr, diagnostic native c67038e1876bc21ad260b8229639ab5337d219693432d104f741d47c2054fe4b, copied production entrypoint, wrapper and source patch retained in home-ts-project-surface-diagnostic.AFdbFb. No timings/adoption; earlier failed full build remains retained.

Minimal fair reproduction found: alias declaration order, not callback-body shape. In four paired forward-declaration variants both references satisfy all16 contracts; candidate passes only2/8 (schema-forward), failing6/8 when Part or LiteralPart is defined after the containing model definition. Positives report falseTS2339; negatives replace the requiredTS2322 with anotherTS2339. The diagnostic executable matches each candidate entire location/code multiset and reproduces unknown-before-guard for part-forward/both-forward, like originalZod. Full32 records and8 diagnostic observations, unchanged input inventories, retained in home-ts-forward-part-controls.lTzq5k. Local type/value coexistence controls separately all16 references/eight candidate pass, ruling out names alone. Source inspection shows preRegisterTypeAlias installs a primitiveunknown placeholder for nonrecursive aliases, and type-name lookup returns that placeholder before forward declaration recovery, allowing earlier interface element shapes to retainunknown. Added a direct exact-contract forward-alias regression; next is unfiltered checking and declaration-owned alias recovery, not source reordering, any erasure or suppressed diagnostics. No timings/adoption.

Forward-alias defect is now tracked in #879. Documentation/evidence commit fcbd36d is on origin/main, with 158 verified raw payloads and the README showing the failing forward-order controls. Full original-project trace matches all 243 diagnostic locations/codes and observes unknown before the original typeof guard. New direct unfiltered checker build timed out before assertions, retained as unavailable test evidence; no raised limits or diagnostic workaround. Compiler source remains held/uncommitted and untimed. Details: /home-lang/home/issues/879

The #879 owned-alias revision now passes 265 unfiltered Program tests and all40 project-only diagnostic contracts, including the original forward-alias failures, true unknown and nullable recursion. Full unchanged Zod has no added/eight removedTS2339 versus the prior candidate; remaining233TS+2HM9002 remains unadmitted. Documentation-only a31df53 is on origin/main with README table/full report and94 verified raw payloads. Full checker is currently live; remaining source/realCLI/admission/performance gates still required. Compiler source uncommitted/untimed and published ranking unchanged. Details: /home-lang/home/issues/879

Current-main differential checkpoint (60aa00a, no source edit): replayed the original owner -> barrel -> consumer shape with Base<t> containing value: T and Record<string,string>, a Derived<t> extension, two invalid assignments and a missing-property use. Installed TypeScript 5.7.3 and freshly built Home both emitted exactly TS2322 at consumer.ts(6,7), TS2322 at (7,7), and TS2339 at (8,6), with no extra positive-case errors. This confirms that narrow published reproducer is no longer failing on the current CLI; it does not establish the whole #863 acceptance, pinned TS6/TS7 agreement for all Record key domains, Zod graph delta, or a performance result. Issue remains open for those broader controls.