6 Commits

Author	SHA1	Message	Date
morluto	ffe0574e17	fix(artifacts)!: retain cleanup owners through client shutdown ... Keep failed reader, root descriptor, and output-tree cleanup with the caller. Drain admitted work before close, retry the same retained owners, and block new resource work while cleanup is incomplete. Preserve primary failures and complete inventory observations. Thread ownership through JavaScript reconstruction, the CLI's one-shot scope, MCP server shutdown, verifier scripts, and test fixtures. Remove redundant ownership flags and the unused validated test wrapper. Validate with 850 passing focused tests across 90 suites (two skipped), targeted classification and cleanup retries, static and unused-code checks, and real macOS CLI/MCP directory, ZIP, and DMG workflows. Native Windows and deep-analysis providers were not verified. BREAKING CHANGE: Direct artifact inventory/extraction and JavaScript analysis APIs require an explicit caller-owned ArtifactResourceScope. CLI and MCP input contracts are unchanged.	2026-10-11 04:43:02 +08:00
morluto	218c13160e	fix: report malformed application evidence as input errors	2026-10-10 03:52:35 +08:00
Matt Van Horn	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 <76467478+morluto@users.noreply.github.com>	2026-10-09 18:30:31 +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
Kaoru0822	7864d665e1	fix(comparison): retain container-only export shape paths	2026-10-06 00:42:19 -07:00