fjs: keep private types out of authored .mjs (Stage 1) - #1750

Merged

sergey-shandar merged 12 commits into

mainfrom

claude/private-ts-todo-partial-bydyc9

Aug 28, 2026

Commits on Aug 28, 2026

fjs: keep private types out of authored .mjs (Stage 1)
claude
committed
e934de8
changelog: entry for the private-type moves
claude
committed
16ec8c1
fjs: type-only @import for values used only in proof typedefs
claude
committed
7331822
fjs: no @module tag on non-entry-point type files
claude
committed
eebc007
changelog: BrowserTestReport moved too
claude
committed
141b620
ci: guard the file-scope typedef prohibition; shorter changelog entry
claude
committed
f0ca31b
ci: generate the typedef guard instead of hand-editing ci.yml
claude
committed
ec77b62
ci: catch tab-indented typedef continuations too
claude
committed
4b8c1d9
Merge branch 'main' into claude/private-ts-todo-partial-bydyc9
claude
committed
4119598
Merge remote-tracking branch 'origin/main' into claude/private-ts-todo-partial-bydyc9
claude
committed
7323dc5
fjs/web: inline the answer channel's private members
claude
committed
6ca864f
rtti: return only what the proofs use from the schema factory
claude
committed
7695ae3