imccyu f988ca9b86
fix(scripts): own the locality proof's premises in gen-doc-graphs ...
Review follow-up. provenLocalCallee inferred file-local calls from module
scoping but borrowed non-exportedness from its one caller and never checked
module-ness: a helper in a global script file (no import/export) is
program-visible and callable cross-file with no same-file reference, so the
proof passed and those call sites were dropped as silently missing matrix
cells. Guard both premises at the proof entry, failing toward the global
fallback.
- State the EVENT_API_METHODS obligation: a visitSource branch for an
unlisted method name is dead because the prefilter drops the call first.
- Add gen-doc-graphs.spec.ts pinning fast path vs global fallback equivalence
on fixture programs: a proven-local helper, an alias-escaping helper, and a
global-script helper (negative control that keeps the fallback exercised).
- Record the demand-driven indexing decision in the Program-backed semantic
gates Agent Note (both languages, pairing re-recorded).
Generated docs stay byte-identical (verify-doc-graphs green).
2026-07-30 19:57:17 +08:00
2026-07-29 22:38:20 +08:00
2026-07-29 22:38:20 +08:00
2026-07-29 22:38:20 +08:00
2026-07-23 00:10:53 +08:00
2026-07-22 23:07:14 +08:00
2026-07-23 00:10:53 +08:00
2026-07-28 23:13:28 +08:00
2026-07-28 23:13:28 +08:00
2026-07-28 23:13:28 +08:00
2026-07-28 23:13:28 +08:00
2026-07-28 23:13:28 +08:00
2026-07-28 23:13:28 +08:00
2026-07-26 23:06:00 +08:00
2026-07-26 23:06:00 +08:00
2026-07-26 23:06:00 +08:00
2026-07-26 23:06:00 +08:00
2026-07-26 23:06:00 +08:00
2026-07-26 23:06:00 +08:00
2026-07-26 02:52:48 +08:00
2026-07-26 02:52:48 +08:00
2026-07-26 02:52:48 +08:00
2026-07-26 23:06:00 +08:00
2026-07-26 23:06:00 +08:00
2026-07-26 23:06:00 +08:00
2026-07-27 09:39:54 +08:00
2026-07-27 09:39:54 +08:00
2026-07-27 09:39:54 +08:00
2026-07-24 15:10:55 +08:00
2026-07-22 23:07:14 +08:00
2026-07-24 15:10:55 +08:00
2026-07-26 15:06:51 +08:00
2026-07-26 15:06:51 +08:00
2026-07-26 15:06:51 +08:00
2026-07-24 13:57:16 +08:00
2026-07-23 00:10:53 +08:00
2026-07-24 13:57:16 +08:00
2026-07-28 00:00:51 +08:00
2026-07-28 00:00:51 +08:00
2026-07-28 00:00:51 +08:00
2026-07-24 16:36:34 +08:00
2026-07-22 23:07:14 +08:00
2026-07-24 16:36:34 +08:00
2026-07-29 14:32:11 +08:00
2026-07-29 14:32:11 +08:00
2026-07-29 14:32:11 +08:00
2026-07-24 13:57:16 +08:00
2026-07-22 23:07:14 +08:00
2026-07-24 13:57:16 +08:00
2026-07-24 13:57:16 +08:00
2026-07-23 00:10:53 +08:00
2026-07-24 13:57:16 +08:00
2026-07-26 02:33:29 +08:00
2026-07-26 02:33:29 +08:00
2026-07-26 02:33:29 +08:00
2026-07-30 19:57:17 +08:00
2026-07-30 19:57:17 +08:00
2026-07-30 19:57:17 +08:00
2026-07-26 23:06:00 +08:00
2026-07-26 23:06:00 +08:00
2026-07-26 23:06:00 +08:00
2026-07-26 15:06:51 +08:00
2026-07-26 15:06:51 +08:00
2026-07-26 15:06:51 +08:00
2026-07-23 03:25:11 +08:00
2026-07-23 03:25:11 +08:00
2026-07-23 03:25:11 +08:00
2026-07-30 10:54:51 +08:00
2026-07-30 10:54:51 +08:00
2026-07-30 10:54:51 +08:00
2026-07-28 15:26:00 +08:00
2026-07-28 15:26:00 +08:00
2026-07-28 15:26:00 +08:00
2026-07-29 14:32:11 +08:00
2026-07-29 14:32:11 +08:00
2026-07-29 14:32:11 +08:00
2026-07-29 22:38:20 +08:00
2026-07-29 22:38:20 +08:00
2026-07-29 22:38:20 +08:00
2026-07-23 03:59:35 +08:00
2026-07-23 03:59:35 +08:00
2026-07-23 03:59:35 +08:00
2026-07-27 18:53:30 +08:00
2026-07-27 18:53:30 +08:00
2026-07-27 18:53:30 +08:00
2026-07-27 13:17:12 +08:00
2026-07-27 13:17:12 +08:00
2026-07-27 13:17:12 +08:00
2026-07-23 23:12:56 +08:00
2026-07-23 23:12:56 +08:00
2026-07-23 23:12:56 +08:00
2026-07-27 00:34:41 +08:00
2026-07-27 00:34:41 +08:00
2026-07-27 00:34:41 +08:00
2026-07-28 10:28:49 -07:00
2026-07-28 10:28:49 -07:00
2026-07-28 10:28:49 -07:00
2026-07-30 11:16:37 +08:00
2026-07-30 11:16:37 +08:00
2026-07-30 11:16:37 +08:00
2026-07-26 15:54:36 +08:00
2026-07-26 15:54:36 +08:00
2026-07-26 15:54:36 +08:00
2026-07-27 23:38:49 +08:00
2026-07-27 23:38:49 +08:00
2026-07-27 23:38:49 +08:00
2026-07-26 21:59:03 +08:00
2026-07-26 21:59:03 +08:00
2026-07-26 21:59:03 +08:00
2026-07-27 18:39:20 +08:00
2026-07-27 18:39:20 +08:00
2026-07-27 18:39:20 +08:00
2026-07-28 14:58:06 +08:00
2026-07-28 14:58:06 +08:00
2026-07-28 14:58:06 +08:00
2026-07-27 23:27:07 +08:00
2026-07-27 23:27:07 +08:00
2026-07-27 23:27:07 +08:00
2026-07-28 01:02:43 +08:00
2026-07-28 01:02:43 +08:00
2026-07-28 01:02:43 +08:00
2026-07-27 18:43:00 +08:00
2026-07-27 18:43:00 +08:00
2026-07-27 18:43:00 +08:00
2026-07-29 13:38:55 +08:00
2026-07-29 13:38:55 +08:00
2026-07-29 13:38:55 +08:00
2026-07-29 23:45:06 +08:00
2026-07-29 23:45:06 +08:00
2026-07-29 23:45:06 +08:00
f988ca9b86