rea/scripts/verify/apple
morluto e19879328a refactor: prune obsolete provider and verification code
Remove unused imports, private inferred types, superseded limit constants and a duplicate MCP assertion. Preserve intentional field omissions while deleting unused local bindings.

Validation: typecheck, lint, formatting, unused-code and architecture checks pass. Runtime behavior is unchanged.
2026-10-12 08:59:14 +08:00
..
asset-catalog.mjs fix(verify): report final success only after resource cleanup 2026-10-09 04:12:49 +08:00
dispatch.mjs fix: bind identity and coverage to the producing rule (#1513) 2026-10-10 17:14:47 +08:00
dyld-environment.mjs fix(apple): classify empty dyld settings by consumer semantics (#1110) 2026-10-09 01:54:32 +08:00
interface-builder.mjs fix(apple): account for repeated archive projections 2026-10-09 06:32:10 +08:00
keyed-archive-integers.mjs test(apple): consolidate keyed archive integer verification (#1933) 2026-10-12 02:34:24 +08:00
keyed-archive.mjs test(apple): consolidate keyed archive integer verification (#1933) 2026-10-12 02:34:24 +08:00
legacy-simulator.mjs refactor: prune obsolete provider and verification code 2026-10-12 08:59:14 +08:00
macho-occurrences.mjs test(apple): verify compiled Mach-O root occurrence facts (#1300) 2026-10-09 15:24:53 +00:00
macos-bundle.mjs test(native): verify macOS provenance through real CLI and MCP 2026-10-10 13:05:12 +08:00
macos-dylib-e2e.mjs Merge origin/main into feat/dylib-resolution 2026-10-07 13:28:14 +00:00
native-provenance.mjs fix(wasm): preserve debug module names in WABT output (#1967) 2026-10-12 05:44:15 +08:00