Parent #416/#854; materially different follow-up after rejected #859, not a cache revival. Clean source e720676 retains native68c6ed517f9125ae1b570ff2e585c5b368745389af828258f6621fe5e6e0311c and the full rejected evidence. Exact-native displayed resolveValueDeclInStmt offsets24/120/168/636 early and24/212 middle identify actual work; native disassembly includes a320-byte stack frame and valueDeclVisibleFromNode before kind/name matching. No per-function CPU share inferred from collapsed samples. Proposed general stateless predicate reorder: only a provably unrelated simple var/let/const/function/class identifier name may return null before the full resolver; all matching names, patterns, imports, loops, absent/malformed names and unsupported kinds retain the complete original resolver, visibility rules, live types, annotations, warnings, lowering, shadowing and errors. No cache, root-only restriction, section/library/filename/benchmark shortcut, body omission, semantic cap or alignment tuning. Preserve original resolver as shared scalar oracle for direct parity, cross-section scripts/modules/ambient declarations, exports, patterns/imports/loops, late/current types, duplicate/recovery ordering, source replacement/HIR growth and allocation-failure controls. Require full checker/binder/Program/driver/CLI/entrypoint/native/harness gates and unchanged pinned Zod complete diagnostics; frozen exact-parent fair A/B with every original admission, all families/scales/batches, independent carried risks including newly confirmed large-predicate loss from #859. Any independently confirmed regression rejects. Retain every attempt/sample and publish complete accepted/rejected evidence/docs/brief README table in Chris-only conventional main commits without coauthors. No speed or universal completion claim before evidence; Zod/C++/other platforms still incomplete.
perf(ts): reject unrelated simple declaration names before full value resolution
#861Clean current-main parent e720676 rebuilt and verified native68c6ed517f9125ae1b570ff2e585c5b368745389af828258f6621fe5e6e0311c, clean before/after. Initial implementation adds21 lines: a small wrapper rejects ONLY different simple identifier names for var/let/const/fn_decl/fn_expr/class_decl/class_expr. Every other case invokes the original resolver, retained unchanged as resolveValueDeclInStmtSlow; no body/type/visibility/diagnostic branch edited and no cache added. Two initial controls compare fast/scalar TypeIds and complete diagnostics for every HIR node/identifier in representative variables/patterns/exports/functions/classes/imports/loops/nested scopes/virtual script/module/declaration-file projects; and prove unrelated names do not allocate visibility metadata, while matching names preserve allocation-failure scalar fallback, currentTypeId changes and source reset. Full checker (expected4555, no named filters) is live under unchanged600s/3840MB/shared-lock/disk-floor guard. This is only a development draft: malformed/recovery/export/naturalHIR-growth/failure and full native diagnostic/module/Zod/harness/admission controls remain before final freeze/timing. No speed claim/source push.
Initial two-control draft frozen: patchb502270afcf9e19ba4f10025baec6fd06ae3251884cdb41b73aef7ff1c6b22f8,clean parentnative68... . Whole original resolver body remains unchanged; no deleted runtime lines/new cache. Additional read-only visibility dependency audit confirms propertyAccessName/nodeIsModuleExportsAccess inspect existingHIR/string IDs only, with source/section metadata allocation as the known visibility side effect. Full checker remains live and compiling longer than prior drafts; one-second read-only sample of the ACTUAL Zig compiler PID11689 shows LLVM code generation/register allocation, not test execution. This diagnoses compiler phase only: no function attribution, causal claim or Home runtime speed measurement inferred. Sample retained; guard remains600s/3840MB/shared lock/diskfloors, no limit raising/optimization switching/filtering or duplicate run. Await authoritative terminal result before source/test changes,remainingcontrols,fullgates/finalfreeze/timing.
Authoritative initial checker RESULT: all4,555 tests passed,exit0,peak3,299 MB/hostlow27%; no limit change or duplicate run. Earlier live-process comment raced completion; terminal log now retained separately as checker-two-controls. Added two controls with runtime wrapper UNCHANGED: all7 simple declaration kinds must avoid unrelated visibility allocation; direct versus nested/empty export,absent/malformed names retain original scalar/FA0 behavior; live name changes with unchangedNodeCount and actual higherNodeId declaration inserted FIRST ahead oldnodes prove no stale misses or sorting. Expanded four-control patchd758db71d5f4a00d09c6c6f84ff39a4b0fa33b2d37f8d74960ef921b5f04c7e1 frozen; full checker(expected4557,no filters) live/queued on shared lock. Originalinitialdraftb502... and actualcompiler sample1a768... retained. No candidate timings/nativebuild/sourcepush; complete remaining semantic/native/module/Zod/harness/admission/frozenprotocol gates mandatory, carrying #859 largepredicate loss and every prior adverse risk.
Expanded four-control checker26252 remains live after confirmed shared-lock wait; actual Zig compiler PID37420 is actively executing. Source/runtime remain frozen; no duplicate run, limit raise, optimization switch or named test filter. Prepared six full-native output-parity fixtures: prior overload/scope/export/checked-JS controls plus cross-section script/module/ambient/deprecated-use and destructuring/loop checks. Prepared full binder/Program/driver/CLI/entrypoint/native/Zod/harness gate orchestration. Future independent rechecks now explicitly carry CommonJS regardless of screen, in addition to mandatory large predicates/checkjs/deep/recursive/reexports/destructuring/control_flow and class/interface. Remaining exhaustive matching-visibility allocation failures and deprecation suggestion/related-info controls must be added/verified only after this run ends. No candidate native timing or source push.
Expanded four-control draft passed ALL4,557 checker tests,exit0,peak3,439 MB/hostlow33%; original result/logs preserved separately. Runtime wrapper remains the original21 addedlines. Added two final explicit controls: exhaustive forced-growth allocation failures on matching-name visibility metadata across64scriptsections for BOTHguarded/originalscalar paths, type result/diagnostic/partial cleanup preserved; and matchedvariable/function/class deprecation suggestions with complete messages/category/related declaration codes/positions compared. Six-control draft frozen21306acd6474df14190bb9dd92eb1b43f599f1d4c856def9d08e069b440784e5; full checker(expected4559,no filters) active, actualZig53067 compiling. Guardsunchanged/no duplicates. Six untimed native full-output fixtures andfullmodule/Zod/harness orchestration prepared butnotrun; futurefair A/B retains CommonJSandallpriorpredicate/destructuring/control-flow/other/declaration risks. Actual outcomes/fullnative/gates/finalsource/protocol freeze required before anytiming orproduction sourcepush.
FINALsix-control checker passedALL4,559 tests,exit0,peak3,275 MB/hostlow29% under unchangedguards. Entire original resolver signature/body byte-identity assertion against shared scalar oracle passes. Finalpatch21306acd6474df14190bb9dd92eb1b43f599f1d4c856def9d08e069b440784e5 and protocol3269be55e82316b9f574b233f6a414790dc1c22404bb41d014f85c34de0d4a77 frozen BEFOREtiming with pair/verify/decision runner hashes. Remaining full binder/Program/driver/CLI/entrypoint/native/six complete output controls/Zod/harness chain nowstarting; no speed claim orproduction sourcepush. Originadvanced2fc2a14bff1f3fd230ee00a3682ab79cac4b9e7f with runtimeIPC changes; exactselectedtrackedTS/build/config/benchmarkdefinition trees stillidentical(SHA7d1b0cc9217a73fa0c22496a81f0ee5e6558657222a01dceead2133c5424ef6c). Preserveupstream andoriginalgates/source/native evidence, then clean-parent/reapplied-candidate byteproof andprovenance-only reconciliation beforemeasurement. Allpredicate/CommonJS/destructuring/control-flow/deep/recursive/reexport/checkjs/class/interface riskcontrols remainfrozen; any independentconfirmed lossrejects.
Full binder21/21 passed,exit0; Program251 fullsuite activelycompiling under unchanged600s/3840MB/sharedlock guard. Source21306... andprotocol3269... remainfrozen, no runtime/pair/decision changes. Qualification verifier nowrequiresEXACTallmodulecounts andnamed_test_filters[] includingbinder21; publicationhelpersadapted4559/sixnativecomplete-output controls. Independentplatformreadiness revalidation for#838 foundpermissionsAPIenabledtrue/workflowactive/repoenabled-unarchived, BUTactualexistingLinuxworkflowdispatch againHTTP422Actions disabled andsubsequentrunstotal0. Discrepancy retained; no settingschanged/no Linuxrun orcoverageclaim. Localremaininggates continue; no candidate timings/sourcepush. Wholegoalstillincomplete.
Full driver200/200 passed,exit0,peak2,819 MB/hostlow33%,no namedfilters. Checker4559/binder21/Program251 previouslypassed. CLI/entrypoint/nativebuild/six full-output diagnostic fixtures/unchangedpinnedZod198/harness136 stillrunning/required beforetiming. Final21306patch/protocol3269 andallfrozenpair/verify/decision hashesunchanged; originalfullresolverbyteidentity retained. No source/native/pair methods modified whilevalidationlive; no candidate timing orproduction sourcepush. Afterfullqualification preserveactualoriginale720gates/native and reconcile newerorigin with selectedinput/nativebyteproofs, provenance-only refreeze, allcarriedriskcontrols.
Full CLI76/76 passed,exit0,peak2,804 MB/hostlow42%; checker4559,binder21,Program251,driver200 alsoallpassed. Entry point38 nowcompiling in sameboundedserializedchain; nativebuild/sixcomplete-outputdiagnosticfixtures/Zod198/harness136 stillrequired. Diskspace dipped1,392MB duringCLIcompile; readonlyinventoryofOWN. zig-cache/knownclosedexperimentcaches,thenaftercompletionfree space1,840MB. NO filesdeleted,unrelatedworkinterrupted orfloorlimitslowered. Activeoutputs/source21306/protocol3269/runnersunchanged. No timing orproduction sourcepush; preserveallgate/host/disk/wait context andupstream runtimework forqualifiedcurrentmain reconciliation.
All SIX full module suites nowgreen: checker4559/binder21/Program251/driver200/CLI76/entrypoint38, all exit0/unfiltered. Entry pointpeak3,080 MB/hostlow35%. Nativebuildnext/current,followed bysix complete stdout/stderr/exit diagnosticcontrols,Zod198 complete primarymessages andharness136. Source21306/protocol3269/runnersunchanged; originalfullresolverbyteidentity remainsproven. Disklast1,528MBaboveunchangedfloors; NO cleanup/deletions/unrelatedinterruptions/guardraising. Actualremaininggates andqualifiedcurrentmain source/input/nativeproofs required beforefrozen fairmeasurement; no timing orproduction sourcepush yet. Linuxactualdispatch422/no runs documentedseparately,notcoverage.
All pre-timing gates COMPLETE: sixfullmodules4559/21/251/200/76/38,nativebuildexit0peak2,913 MB,six complete stdout/stderr/exit controls EXACTLYequal,Zod195TS+3HM9002 fullprimary messages/multiplicity/positions unchanged(normalized6bf2...;stillUNADMITTED),harness136passed. Originalqualifiedcandidate0acd7ea8defe80b902f5a04b05cb3db5ac634046d0544bdc1852d0f4454d2657,patch21306...,protocol3269... retained. Freshorigin6863bd9c3ffd4426681d338504c2411f3b8dee5c has identical selectedTS/build/config/benchmarkdefinition tree7d1b0cc9217a73fa0c22496a81f0ee5e6558657222a01dceead2133c5424ef6c. Fulloriginalexperiment snapshot preserved;exactownedpatchtemporarilyreversed,sourceCLEANff to6863preservingallupstream. Spacebarelyatfloor: recoverablyarchived80 OLD CLOSED OWNED Zig testroot/root_zcu.o files(pre861parentmtime,eachregular/hashverified,lsofclosed),1,001,948,584bytes;archive71fd819f0e5aa0f15bfdd2b8baeba8a481d62c4b0004b7a0b7ec32896cb87221 eachpayloadverifiedbeforeexactunlinks. No recursive/unrelated/native/source/sample/currentartifactdeletion. Free2,872MB,floorsunchanged. Currentcleanparentbuildactive,nextexactpatch/candidate/nativebyteproof/provenance-onlyrefreeze. No measurement/sourcepush orspeedclaimyet.
Current-main cleanparent6863bd9c3ffd4426681d338504c2411f3b8dee5c build passed(exit0,peak2,973MB,hostlow30%),cleanbefore/after,EXACToriginal68c6ed517f9125ae1b570ff2e585c5b368745389af828258f6621fe5e6e0311c bytes. Exactqualified21306... sourcepatchreapplied; automatedreconciliationfreeze provesonlyparent_sourcechangesfromoriginalprotocol3269...(everysemantic/timing/admission/retention/acceptanceruleIDENTICAL),newprotocolc3198f2015d8daad36938d228853a5b3e4ddc6d80db840385ffbc1c56b032317. Wholeoriginalresolverbodybyteidentity rechecked. Currentcandidatebuildlive, requiresEXACToriginal0acd7ea8defe80b902f5a04b05cb3db5ac634046d0544bdc1852d0f4454d2657 byteproof beforequalification/timing. Allactualorigfullgates attributede720source,notrelabeled; alloriginalexperiment/native/input/protocol records retained. No speedclaim/sourcepushyet. Cachecleanuprecoverablearchive+exactmanifest retained; no benchmark/semanticworkarounds.
Current-main reconciliation FULLY VERIFIED: both actualnative images byte-for-byte identical to qualified originals(parent68c6ed517f9125ae1b570ff2e585c5b368745389af828258f6621fe5e6e0311c,candidate0acd7ea8defe80b902f5a04b05cb3db5ac634046d0544bdc1852d0f4454d2657),trackedinputtree7d1b0cc...,exactpatch21306... . Currentcandidatebuildexit0,peak2,952MB/hostlow32%; alloriginalgates retainactuale720source andnew6863currentmain native/input proofs. Protocolc3198f2015d8daad36938d228853a5b3e4ddc6d80db840385ffbc1c56b032317 differsfromoriginal3269... ONLYparent_source(alltiming/admission/retention/acceptance identical),wholeoriginalscalarresolverbody stillbyte-identical. CompletepredeclaredA/B orchestrationNOWACTIVE afterstrictqualificationcapture. Eachphaseoriginal66admissions;all20families,allfive8192batches,every>3%/negative-screen recheck plus mandatorypredicate/CommonJS/checkjs/deep/recursive/reexport/destructuring/control_flow/class/interface risks. Everyobservation/failure/wait retained, anyindependentconfirmedlossrejects. Newerorigin dc9d9ed... isruntimeDOCUMENTATIONonly(selectedcheckedTS/build/harness pathsunchanged),willpreserveonpublication insteadofendlessrestart. No speedclaim/production sourcepushyet.
Initial screen passed ALLoriginal66positive/negative admissionchecks onbothqualifiednativeimages,zero failures,admission.json retained. Screen fresh-process alternatingpair timingsnowrunning,includingoriginal8192scale; NO phase/result/conclusionyet. Wholefrozenprotocol requiresindependentofficial/512 confirmations,full20-family screen,allfive8192batches,everyconditionaladverserisk andmandatory8carried/CommonJS/predicate/etc controls plusclass/interface. Everyattempt/rawobservation/sharedwait/guard/source/input/nativeproof retained. No prematuregain/equivalence/leadership claim orproduction sourcepush. Currentselectedmeasuredparent6863 preserved; newer runtime-doc-onlyupstreamchanges willpreserveonpublication,notretime/restartunchangedcompilergraph.
Screen COMPLETE32pairs/66admissions,exit0,peak282MB/hostlow36%. ALLTHREEpaired-savingintervals spanZERO: official36.0767705→37.8629585ms,8/20wins,CI[-5.261082329,+0.723186329]ms;512154.7280835→158.184958ms,2/6wins,CI[-15.597828713,+10.655717713]ms;819211.151313479→10.735608625s,4/6wins,CI[-0.723334132,+1.851351549]s. Bothsmaller-screen slower medians andlargevariabilityretained(includingparent12.614665375s/candidate11.436569833s). NOgain/equivalenceclaim, exclusions,warmupchanges orscreenretiming. Originalindependentconfirmation isqueuedbehindconfirmedliveshared-lock holder utilityANSIbuild; allfullfamily/fivebatches/carriedrisk/declarationcheckscontinueunderfrozenrules. Any independentconfirmedlossrejects,allrawobservationsandwaits retained. No sourcepush; fullgoalunchanged/incomplete.
Independentofficial/512 confirmation COMPLETE60pairs/66admissions,exit0,peak246MB/hostlow40%: bothSLOWERmedians/inconclusive retained. Official36.101584→37.2243125ms,12/30wins,CI[-4.705146986,+1.400182920]ms;512147.6292495→149.5647915ms,10/30wins,CI[-3.733716548,+2.915630415]ms. Full20-family screen COMPLETE200pairs/66admissions,exit0,peak248MB/hostlow39%: INTERFACEcomposition47.790833→60.9707915ms,1/10wins,CI[-17.032892058,-4.314499742]ms WHOLLYNEGATIVEscreen. Predeclaredindependent30-pairrecheckrequired; notfinaldecisionyet. >3%/negative-screen selectionsreexports/genericcalls/controlflow/interface/variadictuples plus8mandatorycarriedrisksmean11expectedrechecks(subjectactualverifier). Allfamilywarningsandvariationretained. Firstlargeindependentbatchlive; allfivebatches/allindependentrisks/separatedeclarationcontrols remain. Any confirmedindependentlossrejects regardlessofothergains; no retiming/sample filtering/sourcepush.
Firstof5largeindependentbatches COMPLETE6pairs/66admissions,exit0,peak247MB/hostlow26%. Parentmedian13.2053320625s,candidate10.679446104s,4/6candidatefaster,pairedsaving95CI[-2.848505237,+9.345077223]s: INCONCLUSIVE,no targetgainproof. ALLobservationsretainedincludingparent23.417223417s andcandidate13.417339459/12.790864292s (bothslowerpairs); no outlierfilter/warmupadjustment/retest. Secondbatchlive; all4remainingbatches,expected11independentrisks andseparateclass/interface stillrequired. Negativeinterfacescreen andslower/inconclusiveofficial/512 remainvisible. Wholefrozenprotocol/statisticaldecisioncontrols intact,sourceunchanged/unpushed; no speed/equivalence/universalwinclaim.
Secondof5largeindependentbatches COMPLETE6pairs/66admissions,exit0,peak240MB/hostlow30%; parentmedian10.721569104s,candidate9.743467125s,4/6faster,saving95CI[-1.174680658,+2.832900381]s spansZERO. Slowercandidate12.494488333/11.09523925sandALLotheroriginalobservations plusutilityICUsharedlockwaitretained. Firstbatchalsoinconclusive(withparent23.417sretained). Thirdbatchlive; allremaining3batches+11expectedindependentrechecks+class/interface remainrequired. Negativeinterfacescreen,smaller-case slower/inconclusiveconfirmations andallwarningsremainvisible. No retiming/outlierfilter/adjustedwarmups/sourcepush orsupportedtarget/equivalenceclaim; frozenfullprotocol/decisionunchanged.
Human interruption audit: originalunifiedhandle33261 missing,orchestrator/logging/guard absent; actualorphan49322 observedonfinalbatch3pair thenended. AllSIXoriginalrawpairs and66admissions retained butcanonicalsummary/wrapperexit/guardcompletion LOST. NOcompletedtimingrerun. Data-only recovery verifiesallrawexit0/order/counts andEXACTcurrentfingerprints throughfrozenoriginalfunction,computes samepair statistics andwritesSEPARATEsummary-recovered.json. DoesNOTinventexit0/guardcoverage; executionqualificationFALSE andcandidateINELIGIBLEforproductionfromthisrun. Thirdbatchmedians14.264008375→15.0886265415s,3/6wins,CI[-15.472494184,+8.329141086]s; candidate38.239237334s/parent20.2658945s andALLothersretained. Initialrecoveryhelperfailed__file__context fingerprint assertion (no compiler/timer/phaseexecuted); fixedoriginalrunnercontext withstrictfingerprintequality preserved, failure retained. ONLYnever-started batches4/5,rechecks,declarationcontrols dispatched; originalfrozenverifier/runners/statistics unchanged. Supplementaldataaudit willclearlymarkineligible/unconfirmedexecution ratherthanclaimalljobs0. No sourcepush/retiming/filtering; remaining data stilluseful,fullgoalintact.
Supplementaldata auditPASSforALL316retainedpairs/462admissionssofar: raw0exitcodes,alternatingorders/exactcounts/fulloriginalTSerrorcontrols,allfingerprints unchanged. Explicitstatistical_data_completeFALSE,execution_qualifiedFALSE,candidate_eligible_for_productionFALSE; doesNOTclaimfrozenexecutionverifierpass. Fourthbatch(unstartedbeforeinterrupt)safelycompleted6pairs/66admissions,exit0,peak245MB/hostlow31%,medians11.085269021→9.518928229s,6/6wins,CI[+0.253932885,+4.314435476]s; retainedincludingallvariation. FifthbatchnowactiveafterconfirmedICUsharedlockwait. All11independentrisks+class/interface stillrequired. OriginalthirdbatchrecoveredrawONLY,parent/wrapperexit/guardlost; alloriginalfrozenrunners/decision unchanged, no completedtimer rerun. CodewillNOTshipfromunqualifiedinterruptedrun; publishcompletetruthfuldata/warnings/failures,restoreexactcandidate later,thencontinue materiallydifferentwork. Sourceunchanged, no performance/equivalence/universalwinclaim.
Secondexecutionfailure retained: resumedfifthlargephase guardEXIT123 at485MB free belowUNCHANGED512MB criticalfloor,orchestration24692terminal1. Currentprocessaudit no ownedworker/timer remains. Failedphasehas66originaladmissions butZEROexportedtimingpairs; warmup/unexportedtimerprogressunconfirmed,notclaimedcomplete. Disklater151MB then3308MB afterexternalcompletedwork; I deletedNO additionalfiles orchangedlimits. FailedphasewillNOTbe retimed; originalthirdbatchinterruption remainsunqualified too. ONLYnever-started recheck/interface-risk phases nowdispatchedafterdiskrecovery,withdirectoryabsenceassertions,no duplicate/repeat-to-pass. Publish ALLretainedrawdata/exits/discrepancies/partialcounts/fullscope limits,restoreexactcandidate/currentmainnative,doNOTpushthiscandidateasverifiedimprovement. Experiment remainsincomplete/unqualified,notall5largebatches/712plannedpairscompleted. Fullusergoalcontinues,notredefined.
Publishedorigin/main Chris-onlyconventionaldocs/evidencecommitec18f7fb3bed4a614f02d0c1eb91da099f9a3491,no coauthors. CandidateNEVERcommitted/pushed;exactguard+sixcontrolsremoved,cleanrestorationpreservesnewruntime/buildchanges,freshnative68c6ed517f9125ae1b570ff2e585c5b368745389af828258f6621fe5e6e0311c matchesmeasuredparentbytes. Outcome NOTADMITTED/INCOMPLETE:706of712plannedpairs,24of30largepairs,ALL660admissions retained. Interruptedthirdbatchrawrecovered(no wrapper/guardexit invented),fifthdiskstopped123/no completedtimingpairs,originalstrictverifierFAILretained,separatedataauditexplicitexecution/productionqualifiedFALSE. No independentnegativeintervalconfirmed,butabsenceoflossNOTequivalence/acceptance andno completefivebatchtarget. Fullretainedtables/report: https://github.com/home-lang/home/blob/main/docs/docs/TS_PERFORMANCE.md#simple-value-name-guard-2026-10-10-utc ,briefREADMEtablelinksreport/raw. Rawarchive2001checksumsSHAeed995b6427dfa34c77f25f66d0b0641d75a925332ddd1629504b6008471845b,publicationcontext16checksums236748dc5fd5413e69b0d045c10b059499580ef540ea9ee27e7e6ea00ab9e864. Allraw/warnings/failures/waits/helperrepair/recoverycleanup/provenance retained;no timerrepeat/samplefilter/guardlowering. FullrepoPickier11460errors/10614warningsoutsidechangedMDretained,finalfocusedMD/claim/2001payload/nativeverifierspass. Furtherworkmustmateriallynewandfullyqualified,notrevivethisrun/repeat-to-pass. Universalgoal/Zod/C++/LinuxWindowsincomplete.
Sign in to comment on this issue.