8 Commits

Author	SHA1	Message	Date
morluto	dbcec4cf56	refactor(javascript): share result binding projection and facts	2026-10-22 10:33:18 +08:00
morluto	f4322b15ed	fix(javascript): bound semantic unknown retention at projection ... Admit unknowns before canonical construction and provenance interning. Offer independent per-file and application capacities through CLI, Evidence and the owned analysis worker, and reject over-allocation during streamed decoding. Report examined omitted emission occurrences by family and reason without retaining discarded identities. Preserve omission-free graph identities and distinguish node truncation from overall partial coverage. Fixes #4797	2026-10-17 21:57:31 +08:00
星闌	de9371b85d	fix(javascript): preserve effective child-process stdio options (#4336) ... * fix(javascript): preserve effective child-process stdio options * fix(javascript): retain proven callbacks and primitive stdio keys * fix(javascript): preserve argv shapes and nullish spreads * fix(javascript): bound callable proofs and retain exposed binding uncertainty * test(javascript): keep callback acceptance within transport budget * test(javascript): inspect application coverage for callback proof limits * fix(javascript): keep spread command argument slots uncertain * fix(javascript): bound mapped argument content proofs * fix(javascript): distinguish erased declarations from runtime shadows * fix(javascript): prove runtime module context before binding isolation * fix(javascript): share erased declaration and opaque scope proofs * fix(javascript): keep lowered enum scopes opaque * fix(javascript): narrow stdio proofs and consolidate regressions * perf(javascript): reuse lexical references for child shapes * fix(javascript): retain CommonJS child argument context * fix(javascript): keep Annex B affected child arguments unknown * fix(javascript): recognize value import-equals runtime modules * fix(javascript): retain exact stdio through module and primitive syntax * fix(javascript): bound inline spread property resolution * fix(javascript): distinguish copied methods from getters	2026-10-17 15:51:55 +08:00
morluto	e3bbb9ac45	refactor(javascript)!: share semantic evidence at fact construction ... Intern shared provenance in a graph-scoped context registry while retaining exact locations on every fact. Semantic traces carry their referenced context subset, and portable graph validation rejects stale or dangling commitments. BREAKING CHANGE: Semantic graph facts now store evidence context IDs and locations. Graph and semantic trace results require an inline evidence_contexts table.	2026-10-10 03:52:13 +08:00
morluto	ad59531a96	refactor: remove forwarding exports and redundant aliases	2026-10-09 22:46:09 +08:00
Ysopwnable	b9fb438835	fix(javascript): complete large-ASAR analysis with file-local projection (#1055)	2026-10-08 16:15:35 +08:00
ysopwnable	f6a58f1062	refactor(javascript): group domain semantics and contracts (#907)	2026-10-07 17:16:58 +08:00
ysopwnable	0804722cdf	refactor(javascript): group application workflows and verification (#896)	2026-10-07 16:03:37 +08:00