Matt Van Hornandmorluto 45e3edc17f feat(javascript): report observed export property presence (#1160) ...

* feat(javascript): report observed export property presence

Extend compare_javascript_export_shapes so each retained return variant
lists observed property names and each change reports presence independently
of value resolution. Complete parent coverage classifies one-sided names as
added or removed even when static values stay unknown.

Fixes #725

* test(javascript): match unknown export-shape values by availability

Nested availability objects include a reason when values stay unresolved.
Assert availability through objectContaining so presence-only added and
removed rows still verify unknown values.

* fix(javascript): preserve uncertain export property presence and locations

* fix(javascript): normalize presence and preserve local property coverage

* fix(javascript): require present discriminants for return pairing

* fix(javascript): normalize retained shapes before comparison

* refactor(javascript): share return projection with executable examples

* fix(javascript): localize uncertainty for missing mutated slots

* fix(javascript): bind advertised export examples to exact artifacts

* fix(javascript): keep uncertain property flow as candidates

---------

Co-authored-by: morluto <[email protected]>

2026-10-09 18:30:31 +08:00

..

electronActiveObservation.fixture.ts

fix(electron): bound hook retention and report dropped coverage

2026-10-09 05:15:23 +08:00

electronActiveObservation.ts

fix(mcp): emit portable Unicode NUL patterns (#1230)

2026-10-09 17:18:17 +08:00

electronNativeLoaderPaths.test.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

electronObservation.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

electronStaticAnalysis.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

electronStaticAnalysisBrowser.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

electronStaticAnalysisIpc.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

electronStaticAnalysisNative.ts

perf(javascript): analyze member chains without recursive copying (#932)

2026-10-07 19:09:25 +08:00

electronStaticAnalysisOptions.test.ts

fix(javascript): preserve lexical open and exact template semantics

2026-10-09 01:55:12 +08:00

electronStaticAnalysisTypes.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

electronStaticAnalysisValues.ts

fix(javascript): preserve lexical open and exact template semantics

2026-10-09 01:55:12 +08:00

htmlArtifactReferences.test.ts

fix(javascript): reconstruct HTML script loads accurately (#1042)

2026-10-08 13:24:24 +08:00

htmlArtifactReferences.ts

fix(javascript): reconstruct HTML script loads accurately (#1042)

2026-10-08 13:24:24 +08:00

javascriptApplicationAnalysis.ts

fix(contracts): preserve local inputs and comparison uncertainty

2026-10-09 06:49:02 +08:00

javascriptApplicationAnalysisSteps.test.ts

perf(javascript): reuse validated immutable graphs (#1112)

2026-10-09 02:40:21 +08:00

javascriptApplicationChangeGraph.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptApplicationEvidenceSchemas.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptApplicationGraph.fixture.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptApplicationGraph.test.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptApplicationGraph.ts

perf(javascript): reuse validated immutable graphs (#1112)

2026-10-09 02:40:21 +08:00

javascriptApplicationGraphSchemas.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptApplicationVersionComparison.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptApplicationVersionComparisonSchemas.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptApplicationVersionItems.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptApplicationVersionKeys.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptArtifactFiles.ts

refactor(artifacts): isolate JavaScript file acquisition (#916)

2026-10-07 17:57:33 +08:00

javascriptAstFingerprint.test.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptAstFingerprint.ts

fix(javascript): handle deep static member paths (#939)

2026-10-07 19:51:43 +08:00

javascriptAstValues.ts

fix(javascript): bound semantic expansion and resolve lexical receivers

2026-10-09 00:49:30 +08:00

javascriptExportReturnShapeProjection.ts

feat(javascript): report observed export property presence (#1160)

2026-10-09 18:30:31 +08:00

javascriptExportShapeComparison.ts

feat(javascript): report observed export property presence (#1160)

2026-10-09 18:30:31 +08:00

javascriptExportShapeComparisonIdentity.ts

feat(javascript): report observed export property presence (#1160)

2026-10-09 18:30:31 +08:00

javascriptExportShapeComparisonSchemas.test.ts

feat(javascript): report observed export property presence (#1160)

2026-10-09 18:30:31 +08:00

javascriptExportShapeComparisonSchemas.ts

feat(javascript): report observed export property presence (#1160)

2026-10-09 18:30:31 +08:00

javascriptExportShapeSelection.ts

feat(javascript): report observed export property presence (#1160)

2026-10-09 18:30:31 +08:00

javascriptExportShapeVariants.ts

feat(javascript): report observed export property presence (#1160)

2026-10-09 18:30:31 +08:00

javascriptFeatureSeed.array_members.test.ts

test(javascript): consolidate source analysis and export regressions

2026-10-08 04:03:23 +08:00

javascriptFeatureSeed.test.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptFeatureSeed.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptFeatureTrace.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptFeatureTraceSchemas.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptFeatureTraversal.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptNativeHandoff.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptRecovery.test.ts

test(javascript): consolidate source analysis and export regressions

2026-10-08 04:03:23 +08:00

javascriptRecovery.ts

fix(contracts): preserve local inputs and comparison uncertainty

2026-10-09 06:49:02 +08:00

javascriptRuntimeLoadState.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptRuntimeObservation.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptRuntimeReconciliation.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptRuntimeReconciliationActive.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptRuntimeReconciliationGraph.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptRuntimeReconciliationMatching.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptRuntimeReconciliationParsing.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptRuntimeReconciliationResult.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptRuntimeReconciliationRuntime.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptRuntimeReconciliationSchemas.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptRuntimeStaticCandidates.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptSemanticAnalysis.builtin_defaults.test.ts

test(javascript): consolidate source analysis and export regressions

2026-10-08 04:03:23 +08:00

javascriptSemanticAnalysis.calls.test.ts

test(javascript): consolidate source analysis and export regressions

2026-10-08 04:03:23 +08:00

javascriptSemanticAnalysis.dataflow.test.ts

perf(javascript): reduce analysis and source-map work (#955)

2026-10-07 20:33:35 +08:00

javascriptSemanticAnalysis.empty_keys.test.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptSemanticAnalysis.fixture.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptSemanticAnalysis.function_names.test.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptSemanticAnalysis.member_depth.test.ts

feat(javascript): report observed export property presence (#1160)

2026-10-09 18:30:31 +08:00

javascriptSemanticAnalysis.member_mutations.test.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptSemanticAnalysis.native_bindings.test.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptSemanticAnalysis.promise_ownership.test.ts

perf(javascript): index Promise return-site ownership (#971)

2026-10-07 23:53:41 +08:00

javascriptSemanticAnalysis.recoveredArguments.test.ts

fix(javascript): retain recovered call argument positions (#929)

2026-10-07 19:08:45 +08:00

javascriptSemanticAnalysis.rejection.test.ts

fix(javascript): handle deep AST traversal and addition without stack overflow (#915)

2026-10-07 17:40:05 +08:00

javascriptSemanticAnalysis.runtime_boundaries.test.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptSemanticAnalysis.structure.test.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptSemanticAnalysis.ts

fix(javascript): preserve lexical open and exact template semantics

2026-10-09 01:55:12 +08:00

javascriptSemanticAnalysis.unions.test.ts

fix(javascript): bound primitive string growth and repeated evaluation

2026-10-09 00:49:31 +08:00

javascriptSemanticAsyncEffects.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptSemanticCallResolution.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptSemanticCalls.ts

perf(javascript): reduce analysis and source-map work (#955)

2026-10-07 20:33:35 +08:00

javascriptSemanticChildProcesses.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptSemanticCoverage.ts

fix(javascript): bound semantic expansion and resolve lexical receivers

2026-10-09 00:49:30 +08:00

javascriptSemanticDataEffectHelpers.ts

fix(javascript): classify direct defaults and argv elements

2026-10-09 06:32:09 +08:00

javascriptSemanticDataEffects.ts

fix(javascript): classify direct defaults and argv elements

2026-10-09 06:32:09 +08:00

javascriptSemanticDerivedAnalysis.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptSemanticFingerprints.ts

perf(javascript): index semantic fingerprint relations (#942)

2026-10-07 19:52:29 +08:00

javascriptSemanticGraph.ts

fix(javascript): allow cancellation during semantic graph commitment (#1218)

2026-10-09 15:15:17 +08:00

javascriptSemanticGraphQuery.test.ts

fix(javascript): allow cancellation during semantic graph commitment (#1218)

2026-10-09 15:15:17 +08:00

javascriptSemanticGraphSchemas.ts

fix(javascript): bound semantic expansion and resolve lexical receivers

2026-10-09 00:49:30 +08:00

javascriptSemanticGraphSerialization.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptSemanticGraphTraversal.test.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptSemanticIr.ts

fix(javascript): bound semantic expansion and resolve lexical receivers

2026-10-09 00:49:30 +08:00

javascriptSemanticMemberMutations.ts

perf(javascript): analyze member chains without recursive copying (#932)

2026-10-07 19:09:25 +08:00

javascriptSemanticMutationValues.ts

feat(javascript): report observed export property presence (#1160)

2026-10-09 18:30:31 +08:00

javascriptSemanticObjects.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptSemanticPrimitives.ts

fix(javascript): bound primitive string growth and repeated evaluation

2026-10-09 00:49:31 +08:00

javascriptSemanticProjection.ts

perf(javascript): analyze member chains without recursive copying (#932)

2026-10-07 19:09:25 +08:00

javascriptSemanticPromises.ts

perf(javascript): index Promise return-site ownership (#971)

2026-10-07 23:53:41 +08:00

javascriptSemanticProvenance.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptSemanticQuery.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptSemanticQueryAssessment.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptSemanticQueryIdentity.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptSemanticQueryRelations.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptSemanticQuerySchemas.test.ts

test(javascript): consolidate source analysis and export regressions

2026-10-08 04:03:23 +08:00

javascriptSemanticQuerySchemas.ts

fix(domain): preserve prototype-named JSON members through Evidence boundaries (#1049)

2026-10-08 21:32:48 +08:00

javascriptSemanticRequireOrigin.ts

perf(javascript): analyze member chains without recursive copying (#932)

2026-10-07 19:09:25 +08:00

javascriptSemanticResourceLimits.ts

fix(javascript): bound primitive string growth and repeated evaluation

2026-10-09 00:49:31 +08:00

javascriptSemanticResources.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptSemanticReturns.ts

feat(javascript): report observed export property presence (#1160)

2026-10-09 18:30:31 +08:00

javascriptSemanticState.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptSemanticTraceSchemas.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptSemanticTraversal.ts

perf(javascript): reduce analysis and source-map work (#955)

2026-10-07 20:33:35 +08:00

javascriptSemanticValues.ts

feat(javascript): report observed export property presence (#1160)

2026-10-09 18:30:31 +08:00

javascriptSemanticValueTypes.ts

feat(javascript): report observed export property presence (#1160)

2026-10-09 18:30:31 +08:00

javascriptSourceMapPaths.ts

fix(javascript): match source-map originals that name parent directories (#1215)

2026-10-09 18:04:25 +08:00

javascriptSourceParser.ts

fix(javascript): parse plain TypeScript artifact dialects (#1102)

2026-10-09 01:24:47 +08:00

javascriptStaticAnalysis.member_path_depth.test.ts

test(javascript): consolidate source analysis and export regressions

2026-10-08 04:03:23 +08:00

javascriptStaticAnalysis.no_finding_caps.test.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptStaticAnalysis.ts

perf(javascript): index configuration and module lookups

2026-10-09 05:15:23 +08:00

javascriptStaticAnalysisBundler.ts

perf(javascript): index configuration and module lookups

2026-10-09 05:15:23 +08:00

javascriptStaticAnalysisCalls.ts

perf(javascript): index configuration and module lookups

2026-10-09 05:15:23 +08:00

javascriptStaticAnalysisFindings.ts

perf(javascript): index configuration and module lookups

2026-10-09 05:15:23 +08:00

javascriptStaticAnalysisHelpers.ts

fix(javascript): preserve lexical open and exact template semantics

2026-10-09 01:55:12 +08:00

javascriptStaticAnalysisLocations.test.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptStaticAnalysisModuleIndex.test.ts

perf(javascript): index configuration and module lookups

2026-10-09 05:15:23 +08:00

javascriptStaticAnalysisSourceMaps.test.ts

test(javascript): consolidate source analysis and export regressions

2026-10-08 04:03:23 +08:00

javascriptStaticAnalysisState.ts

perf(javascript): index configuration and module lookups

2026-10-09 05:15:23 +08:00

javascriptStaticAnalysisTypes.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

javascriptStaticPathResolution.test.ts

fix(javascript): preserve lexical open and exact template semantics

2026-10-09 01:55:12 +08:00

sourceToBundleComparison.test.ts

fix(javascript): match source-map originals that name parent directories (#1215)

2026-10-09 18:04:25 +08:00

sourceToBundleComparison.ts

fix(javascript): report located sources with differing digests as modified (#1216)

2026-10-09 16:20:42 +08:00

sourceToBundleComparisonSchemas.ts

refactor(javascript): group domain semantics and contracts (#907)

2026-10-07 17:16:58 +08:00

sourceToBundleSignals.ts

fix(javascript): match source-map originals that name parent directories (#1215)

2026-10-09 18:04:25 +08:00