Skip to content
Navigation Menu
Sign in
Products
Platform
GitHub
Repository hosting, code review, and collaboration
Copilot
AI coding agent for tasks, projects and automated work
Build & Ship
Actions
CI/CD and automation
Code Quality
Quality analysis, fixes, and enforcement
Codespaces
Cloud development environments
Secure
Code Security
Vulnerability detection and remediation
Secret Protection
Secret scanning and leak prevention
All Features
Developers
Learn
Documentation
Training
Certifications
Build
Build with Copilot
Customize Copilot
Integrations
Explore
Trending repos
GitHub Sponsors
Events
Changelog
Changelog
Your source for the latest features, improvements, and fixes across GitHub products, all in one place.
Businesses
By Stage
Enterprises
Team
Startups
Nonprofits
By Industry
Healthcare
Financial services
Manufacturing
Government
See all industries
Evaluate GitHub
Why GitHub
Customer Stories
Business insights
Trust Center
Add-ons
GitHub Advanced Security
Enterprise-grade code security
Copilot for business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Resources
Learn & Connect
Documentation
Resource center
Blog
Events & webinars
Community Forum
Customer Stories
Integrations
Support
Customer support
Training
GitHub Status
Company
About
Partners
Changelog
GitHub Universe
GitHub Universe
The event for developers, by developers — talks, workshops, and what’s next for GitHub.
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
dslsdzc
core
Repository navigation
Code
Issues
Pull requests
1
(1)
Discussions
Actions
Projects
Security and quality
Insights
More
items
feat(v4): 目标语法迁移（批内 T0–T7）
- #178
#178
Merged
dslsdzc
merged 15 commits into
develop
dslsdzc/core:develop
from
feature/v4-syntax-migration
dslsdzc/core:feature/v4-syntax-migration
Copy head branch name to clipboard
Oct 23, 2026
Conversation
Commits
15
(15)
Checks
Files changed
Merged
feat(v4): 目标语法迁移（批内 T0–T7）
#178
dslsdzc
merged 15 commits into
develop
dslsdzc/core:develop
from
feature/v4-syntax-migration
dslsdzc/core:feature/v4-syntax-migration
Copy head branch name to clipboard
Commits
Commits on Oct 11, 2026
v4 迁移（批内·第一笔）：本地堆 rebase 到 develop + 前端取计划版 T1/T2 + T3
Show description for 93f13be
dslsdzc
committed
93f13be
View commit details
Copy full SHA for 93f13be
Browse repository at this point
v4 迁移（批内·第二笔）：T4 语料改写完成——src 全 92 档，85 迁移 / 6 no-op / 1 死文件
Show description for 87fdcb2
dslsdzc
committed
87fdcb2
View commit details
Copy full SHA for 87fdcb2
Browse repository at this point
v4 迁移（批内·第三笔）：前端位置语义修复（消 T4 语义漂移）+ T4 空行收拢收口
Show description for 4ad482d
dslsdzc
committed
4ad482d
View commit details
Copy full SHA for 4ad482d
Browse repository at this point
v4 迁移（批内·第三笔补）：位置语义规则的注释措辞收口——口径写死为「位置标志 ∧ 节点种类」，并逐字引用四格实测与反向实证
Show description for 11af17c
dslsdzc
committed
11af17c
View commit details
Copy full SHA for 11af17c
Browse repository at this point
docs(TODO): 登记 #2026-10-11-1（战术「策略定义」语法待重设计）+ #2026-10-11-2（块值 if 发射面缺口）
Show description for 1270cdb
dslsdzc
committed
1270cdb
View commit details
Copy full SHA for 1270cdb
Browse repository at this point
v4 迁移（批内·第四笔）：T5 自源前端 layout 机件移植 + 位置语义镜像 + `never` 语义（两前端同改）
Show description for 88d5c32
dslsdzc
committed
88d5c32
View commit details
Copy full SHA for 88d5c32
Browse repository at this point
docs(TODO): 登记 #2026-10-11-3——`never ⊆ X` 在类型引擎 `ty_sub` 返回 -1（ICE04）；组合层与引擎层认定不一致（v4 T5 施工期实名，本批只在组合层兑现，未碰 ty_sub）
Show description for a567638
dslsdzc
committed
a567638
View commit details
Copy full SHA for a567638
Browse repository at this point
v4 迁移（批内·第四笔补）：bootstrap 两处欠账收口——`none` 作值 + 基本类型 `T?` 的语法面
Show description for 5f24e20
dslsdzc
committed
5f24e20
View commit details
Copy full SHA for 5f24e20
Browse repository at this point
docs(TODO): 登记 #2026-10-11-4（bootstrap 缺 T? 语义面）+ #2026-10-11-5（带可选载荷的枚举变体运行 SIGSEGV，代 0 同病，会卡 T6）
Show description for be75996
dslsdzc
committed
be75996
View commit details
Copy full SHA for be75996
Browse repository at this point
v4 迁移（批内·第五笔）：T5 六项改实现 + 判据面修复（never/空 region 交汇）+ T6 语料迁移
Show description for 25e7019
dslsdzc
committed
25e7019
View commit details
Copy full SHA for 25e7019
Browse repository at this point
v4 迁移（批内·第六笔）：T7 收尾重锁 + 过渡形翻转（E2×9 / E3×1）
Show description for ce56e42
dslsdzc
committed
ce56e42
View commit details
Copy full SHA for ce56e42
Browse repository at this point
fix(v4 迁移收尾): 三档判据面修复——harness 锚点去 v3 形 + T6 折叠模板的单点机械错误
Show description for 0c327f3
dslsdzc
committed
0c327f3
View commit details
Copy full SHA for 0c327f3
Browse repository at this point
docs(TODO): 登记 #2026-10-12-1..7——v4 迁移收尾的七笔悬空账（缺陷 2 · 约定待裁 1 · 静默面 1 · 设计缺口 1 · 发布步骤 1 · 登记不动 1 · 语料另案 1）
Show description for c448dc3
dslsdzc
committed
c448dc3
View commit details
Copy full SHA for c448dc3
Browse repository at this point
Commits on Oct 12, 2026
docs(v4 语法): §十 规约按维护者更新版落盘——**取消 `spec fn`**（所有函数都是 `fn`，复用靠函数契约 + `#apply`/`#rewrite`）+ **删除 `#tag`**（明写「Core 不引入用户可见的策略定义机制」）
Show description for 0b2d9c3
dslsdzc
committed
0b2d9c3
View commit details
Copy full SHA for 0b2d9c3
Browse repository at this point
docs(TODO): #2026-10-11-1 闭档——维护者 2026-10-12 的 §十 更新版已答复该设计问题（`#tag` 整节删除 + `spec fn` 取消）
Show description for 739a5d9
dslsdzc
committed
739a5d9
View commit details
Copy full SHA for 739a5d9
Browse repository at this point
You can’t perform that action at this time.
