sdg: IP 0001 — foundational machine surfaces for an external spec UI - #7

Open

lzrscg wants to merge 909 commits into

mainfrom

claude/xspec-ui-apis-4df8fa

This pull request is big! We're only showing the most recent 250 commits

Commits on Sep 28, 2026

Commits on Sep 29, 2026

Commits on Oct 1, 2026

sdg(phase-6): set IP 0001's Stage to Applied (Phase 6 start stage)
claude
committed
b5e6876
sdg(phase-6): T6.5-22 and P-5 assert Annex B's escape/unescape barred; lure @jsxFrag, Iterator, AsyncIterator, SuppressedError, and a type-level-only reference (C1, C5, O1)
claude
committed
832ba26
sdg(phase-6): T6.5-23 tests the removed declaration's place, the prologue judged before the edit, and a callee's timeliness; T6.6-4(b) pins the removal's end there (C2, C3, C4)
claude
committed
1ad88fa
sdg(phase-6): T1.4-5(c) and T6.4-2 judge identifiers at TypeScript 5.9.3 and ESNext: U+1C89 takes computed access, U+2EBF0 dot access (C6)
claude
committed
9a7be43
sdg(phase-6): close round 1 of the TEST-SPEC revisit for SPEC f31e100; record the rejected item
claude
committed
3936ed1
sdg(phase-6): T6.5-23(k) gains its control re-rooting a callee and an argument at timely existing bindings, one across an import declaration; T6.5-23(a) stages a line start between two directives (…
claude
committed
2104863
sdg(phase-6): T13.4-11(e) removes nothing below a symbolic-link directory component, its target inside or outside the workspace; T13.4-10 names both kinds of manually deleted orphan (C3, O3)
claude
committed
9d5ac65
sdg(phase-6): T6.5-22(a) defines what counts as a reference; (b) adds lures for `await`, `exports`, a `__` prefix, and JSX pragmas TypeScript itself ignores (I3, O1, I2)
claude
committed
9aff6b0
sdg(phase-6): T6.5-20 repeats each refused staging of (b)-(d) under the section form, the target file created at the same destination (O2)
claude
committed
0703298
sdg(phase-6): close round 2 of the TEST-SPEC revisit for SPEC f31e100
claude
committed
e613c38
sdg(phase-6): T6.5-23(d) stages U+00A0 and U+2028 after a statement's end; (f) bounds the import-declaration exemption with a type alias and `import = require` (C1, I3)
claude
committed
b8ae4e7
sdg(phase-6): derived paths above a code source alone, on the build side (T13.4-9(d)) and the move side (T6.5-20(c)); T6.5-20(a) stages a derived path under one; (c) is staged before any build (C2,…
claude
committed
170ac72
sdg(phase-6): T13.4-11(a) leaves the graph-data unit form unasserted; range arms for `using` units, a JSX-free React lure, P-5's destination exclusions, a barred character in a directory component,…
claude
committed
f4c6786
sdg(phase-6): close round 3 of the TEST-SPEC revisit for SPEC f31e100
claude
committed
4167e10
sdg(phase-6): T6.5-1 rewrites file-move specifiers in import declarations no occurrence uses (C1)
claude
committed
66b364d
sdg(phase-6): T6.5-18 never roots a rewritten spelling at a type-only binding of the target module (C2)
claude
committed
c1b5dd6
sdg(phase-6): pin the spec glob behind T6.5-4's nested barred-character and symbolic-link destinations and T6.5-20's derived-path destinations (I1)
claude
committed
d900bd4
sdg(phase-6): S-9 judges MDX identifier and JSX-name characters at Unicode 15.1; T14-12 pins JSX names; generators spell dot access only for identifier-valid segments (I2, I3)
claude
committed
a55f863
sdg(phase-6): T6.5-23(l) times one added binding against every spelling it roots (O1)
claude
committed
f119d22
sdg(phase-6): T1.4-5(a) compiles its consumer at TypeScript 5.9.3; T6.5-21 controls the section form (O2, O3)
claude
committed
b3b2b92
sdg(phase-6): smooth the wording of T6.5-4's glob pins (I1)
claude
committed
d9c16d2
sdg(phase-6): close round 4 of the TEST-SPEC revisit for SPEC f31e100
claude
committed
d1d5e47
sdg(phase-6): T6.4-3 and T6.5-4 refuse new IDs carrying 1.4's quote-and-escape characters (I1)
claude
committed
0b77ccc
sdg(phase-6): T6.5-20(d) stages the designation refusal once per module-linking form (I2)
claude
committed
b8dba94
sdg(phase-6): restate T6.5-13(k)'s rationale against today's arms (O1)
claude
committed
4fe85a6
sdg(phase-6): T6.5-23 gains arm (m) and the exempt side of (f)'s import boundary (O2)
claude
committed
a34a775
sdg(phase-6): S-6 self-tests T6.5-22(a)'s name analysis on fixed vectors (O3)
claude
committed
0051d4b
sdg(phase-6): T13.4-9 and T6.5-20 stage the companion leg of the derived-path relations (I1)
claude
committed
2ddf121
sdg(phase-6): T6.5-9's compile reaches the value-level lures, T6.5-22(a) the type alias (O1)
claude
committed
256e090
sdg(phase-6): T12.2-4(b) expects one condition-10 finding per orphaned recorded path (O2)
claude
committed
d05dba3
sdg(phase-6): T6.5-22(b) gains a fixed yield lure (O3)
claude
committed
bedf07a
sdg(phase-6): T11.6-2 and T7-6 cover invalid .mdx sources' derived paths; T12.7-1 names inventory derived paths (I1)
claude
committed
caf07d2
sdg(phase-6): T6.5-23(n) stages nested statement lists; T6.5-11(a) names both grounds (I1)
claude
committed
3cf2c21
sdg(phase-6): T14-12 pins TypeScript's language level and the release's U+1C89 rejection (I2)
claude
committed
50d12f3
sdg(phase-6): T13.4-9(f) and T6.5-20(a) stage the two obstruction relations at one component (I3)
claude
committed
d8ea4ae
sdg(phase-6): T6.5-23(f) re-roots at a held binding that precedes the replaced one at a distance (I1)
claude
committed
0db6760
sdg(phase-6): T6.5-23(o) re-roots a spec source's reference at a held binding whose block follows the replaced one's (O1)
claude
committed
ed87f4b
sdg(phase-6): T6.5-22 spells out clause 19's function properties; S-6 gains barred-global vectors (O2)
claude
committed
f5de29f
sdg(phase-6): T6.5-20(e) stages the derived paths a file-form move retires (I1)
claude
committed
045e523
sdg(phase-6): template-literal arms in T4-2, T4.5-3, T4.3-2 and T6.5-20(d) (I2)
claude
committed
ab0c329
sdg(phase-6): T2.4-5 stages the escaped segment in MDX and the escaped root (I3)
claude
committed
ee6ab9b
sdg(phase-6): terminator-kind arms in T6.5-2, T6.5-7, T6.5-8 and E-6 (I4)
claude
committed
9112dea
sdg(phase-6): S-6's name-analysis vectors cover every barred class (O1)
claude
committed
7c8471d

Commits on Oct 2, 2026