 Turtle
|
01a8882601
fix: complete invariant omission cleanup
|
1 tydzień temu |
|
Turtle
|
b8e3b32fcf
Merge master into codex/omit-unneeded-invariants
|
1 tydzień temu |
 imccyu
|
de256e8bc1
feat: enforce published dependency policy
|
2 tygodni temu |
|
Turtle
|
15f2997bcb
cleanup: omit unneeded invariant companions
|
2 tygodni temu |
 Tianyi Cui
|
a2d0f7f411
refactor: apply repository naming contract
|
1 miesiąc temu |
|
imccyu
|
bb489d1325
fix(release): align the package-invariant and public-link gates
|
1 miesiąc temu |
|
Turtle
|
a27efdef36
docs: make technical prose concrete
|
1 miesiąc temu |
|
imccyu
|
9c3d5725a5
build: order Host and Client compilation faces
|
1 miesiąc temu |
|
Tianyi Cui
|
0c08e34a4a
fix(invariants): harden runtime contracts and gates
|
1 miesiąc temu |
|
Tianyi Cui
|
e92b34bd7e
fix(invariants): enforce runtime relationships
|
1 miesiąc temu |
|
Tianyi Cui
|
b8ad62eb35
fix(invariants): finish current-master ownership migration
|
1 miesiąc temu |
|
Tianyi Cui
|
1145ee5fc3
fix(invariants): assert runtime relationships, not API shapes
|
1 miesiąc temu |
|
Tianyi Cui
|
941b0411d8
feat(invariants): implement package runtime checks
|
1 miesiąc temu |
|
Tianyi Cui
|
433670a754
feat(invariants): require package-owned companions
|
1 miesiąc temu |
