|
@@ -1,9 +1,9 @@
|
|
|
# Git branches and tags — how this repository is organised
|
|
# Git branches and tags — how this repository is organised
|
|
|
|
|
|
|
|
-**Snapshot:** 2026-10-24, after `M2 -I` and incremental separate builds.
|
|
|
|
|
-`master` = the current P1 docs/tag-map commit;
|
|
|
|
|
|
|
+**Snapshot:** 2026-10-24, after the per-object self-host fixpoint.
|
|
|
|
|
+`master` = the current fixpoint docs/tag-map commit;
|
|
|
`origin/master` = `b1d14f9` (the PDF comparison commit).
|
|
`origin/master` = `b1d14f9` (the PDF comparison commit).
|
|
|
-328 tags (326 `v3-*` checkpoints).
|
|
|
|
|
|
|
+329 tags (327 `v3-*` checkpoints).
|
|
|
|
|
|
|
|
Mental model:
|
|
Mental model:
|
|
|
|
|
|
|
@@ -14,7 +14,7 @@ Mental model:
|
|
|
|
|
|
|
|
| Branch | State | What it is |
|
|
| Branch | State | What it is |
|
|
|
| --- | --- | --- |
|
|
| --- | --- | --- |
|
|
|
-| **`master`** | current P1 commit, 2 commits ahead of origin | The only active branch; all current work is here. |
|
|
|
|
|
|
|
+| **`master`** | current fixpoint commit, 4 commits ahead of origin | The only active branch; all current work is here. |
|
|
|
| `ast-stage-c` | `0f611c0` (2026-10-08), local only | Old stage branch, fully merged into master. Stale. |
|
|
| `ast-stage-c` | `0f611c0` (2026-10-08), local only | Old stage branch, fully merged into master. Stale. |
|
|
|
| `generics-inc1` | `6639c19`, 6 commits behind `origin/generics-inc1` | Old generics work, fully merged into master. Stale. |
|
|
| `generics-inc1` | `6639c19`, 6 commits behind `origin/generics-inc1` | Old generics work, fully merged into master. Stale. |
|
|
|
| `resolve-check` | `95ca4d6`, in sync with origin | Old branch merged into master. Stale. |
|
|
| `resolve-check` | `95ca4d6`, in sync with origin | Old branch merged into master. Stale. |
|
|
@@ -63,6 +63,7 @@ Each points at the commit that landed a feature, all with green gates:
|
|
|
| `v3-separate-compilation` | `0adc637` | `-c` objects, stable symbols, init links, M2make `--separate` |
|
|
| `v3-separate-compilation` | `0adc637` | `-c` objects, stable symbols, init links, M2make `--separate` |
|
|
|
| `v3-separate-compilation-summary` | `bfe471c` | separate-compilation summary/docs |
|
|
| `v3-separate-compilation-summary` | `bfe471c` | separate-compilation summary/docs |
|
|
|
| `v3-separate-compilation-p1` | `92d11d9` | `M2 -I` transitive resolution, incremental separate objects |
|
|
| `v3-separate-compilation-p1` | `92d11d9` | `M2 -I` transitive resolution, incremental separate objects |
|
|
|
|
|
+| `v3-separate-fixpoint` | `5374a11` | per-object stage2/stage3 self-host fixpoint |
|
|
|
|
|
|
|
|
These are immutable checkpoints. Useful commands:
|
|
These are immutable checkpoints. Useful commands:
|
|
|
|
|
|
|
@@ -119,16 +120,16 @@ git push origin :refs/tags/v3-session-2026-10-22-final
|
|
|
The project convention is one `v3-*` tag per green step across all
|
|
The project convention is one `v3-*` tag per green step across all
|
|
|
sessions (two-phase parse slices, generics increments, Unicode, stdlib,
|
|
sessions (two-phase parse slices, generics increments, Unicode, stdlib,
|
|
|
…). They are a searchable history of passing states, not branches.
|
|
…). They are a searchable history of passing states, not branches.
|
|
|
-`git tag --list | wc -l` = 328 (326 `v3-*`) is expected; only the
|
|
|
|
|
|
|
+`git tag --list | wc -l` = 329 (327 `v3-*`) is expected; only the
|
|
|
recent ones above matter for the current session.
|
|
recent ones above matter for the current session.
|
|
|
|
|
|
|
|
## Current state
|
|
## Current state
|
|
|
|
|
|
|
|
- `origin/master` = `b1d14f9` (the PDF comparison commit).
|
|
- `origin/master` = `b1d14f9` (the PDF comparison commit).
|
|
|
- Local `master` is **2 commits ahead**: `v3-separate-compilation-p1`
|
|
|
|
|
- (`92d11d9`) and its tag-map docs commit.
|
|
|
|
|
-- `v3-separate-compilation-p1` is local; push it with `master` when
|
|
|
|
|
- ready.
|
|
|
|
|
|
|
+ Local `master` is **4 commits ahead**: the P1 feature/map and the
|
|
|
|
|
+ per-object fixpoint feature/map.
|
|
|
|
|
+- `v3-separate-compilation-p1` and `v3-separate-fixpoint` are local;
|
|
|
|
|
+ push them with `master` when ready.
|
|
|
- Next session: start from `master` and read
|
|
- Next session: start from `master` and read
|
|
|
`docs/handoff-2026-10-23-next.md`; fill separate-compilation gaps
|
|
`docs/handoff-2026-10-23-next.md`; fill separate-compilation gaps
|
|
|
(generic-instance objects and a green per-object self-host fixpoint;
|
|
(generic-instance objects and a green per-object self-host fixpoint;
|