wpfacts/codegen: P3 B1, audited NUM declarations; proven-Number reads drop their INT32 tests by proggeramlug · Pull Request #14354 · PerryTS/perry

runtime/codegen/ffi: one exact int32-Number predicate; a non-Number 0x7FFE word (C.prototype ref) is never read as an int32

proggeramlug

committed

151a7ad

wpfacts/codegen: P3 B1, element reads proven plain Numbers drop their INT32 tests (C1 compare, C2 arithmetic leaf, C4 parameter entry); NUM seed audit; canonnum runtime sabotage

proggeramlug

committed

ecb1839

NUM_SEEDS: fix the typed-array indexOf citation; cite the dynamic add arm for arithmetic results (spot check)

proggeramlug

committed

f6ea04a

Merge remote-tracking branch 'origin/main' into fix/exact-int32-predicate

proggeramlug

committed

b5baf9a

codegen tests: count the exact int32 test (INT32_TAG word), not lshr 48 / 32766

proggeramlug

committed

fb95dca

check_file_size: re-assert typed_feedback.rs (+1 kind arm) and typed_feedback/tests.rs (+15 exact-int32 test)

proggeramlug

committed

d993aab

Merge origin/main into fix/exact-int32-predicate

proggeramlug

committed

3e5223d

P3 B1 audit: the V8 and sqlite INT32-producer comments are stale; raw-bits tests for v8 wire int32 and node:sqlite integers

proggeramlug

committed

f84d304

NUM_SEEDS: keep the claims table out of the per-file seed count

proggeramlug

committed

92cfaa3

Merge origin/fix/exact-int32-predicate into perf/p3-b1-num-declarations

proggeramlug

committed

dba5d8f

codegen test: a proven Number parameter takes its argument's bits at entry (P3 B1 C4)

proggeramlug

committed

0d43f44

Merge origin/main (#14353) into perf/p3-b1-num-declarations

proggeramlug

committed

ba0afd6

Navigation Menu

Repository navigation

wpfacts/codegen: P3 B1, audited NUM declarations; proven-Number reads drop their INT32 tests - #14354

wpfacts/codegen: P3 B1, audited NUM declarations; proven-Number reads drop their INT32 tests#14354
proggeramlug merged 12 commits into
mainfrom
perf/p3-b1-num-declarations

Commits on Nov 9, 2026

runtime/codegen/ffi: one exact int32-Number predicate; a non-Number 0x7FFE word (C.prototype ref) is never read as an int32

wpfacts/codegen: P3 B1, element reads proven plain Numbers drop their INT32 tests (C1 compare, C2 arithmetic leaf, C4 parameter entry); NUM seed audit; canonnum runtime sabotage

NUM_SEEDS: fix the typed-array indexOf citation; cite the dynamic add arm for arithmetic results (spot check)

Merge remote-tracking branch 'origin/main' into fix/exact-int32-predicate

codegen tests: count the exact int32 test (INT32_TAG word), not lshr 48 / 32766

check_file_size: re-assert typed_feedback.rs (+1 kind arm) and typed_feedback/tests.rs (+15 exact-int32 test)

Merge origin/main into fix/exact-int32-predicate

P3 B1 audit: the V8 and sqlite INT32-producer comments are stale; raw-bits tests for v8 wire int32 and node:sqlite integers

NUM_SEEDS: keep the claims table out of the per-file seed count

Merge origin/fix/exact-int32-predicate into perf/p3-b1-num-declarations

codegen test: a proven Number parameter takes its argument's bits at entry (P3 B1 C4)

Merge origin/main (#14353) into perf/p3-b1-num-declarations