|
@@ -173,3 +173,18 @@ word model, so the narrow integer/word names share `INTEGER`/
|
|
|
4. **Runtime subrange range checks** — the remaining conformance
|
|
4. **Runtime subrange range checks** — the remaining conformance
|
|
|
difference from this session's subrange work.
|
|
difference from this session's subrange work.
|
|
|
5. `STATUS.md` "what remains" is the live list.
|
|
5. `STATUS.md` "what remains" is the live list.
|
|
|
|
|
+
|
|
|
|
|
+## Publication
|
|
|
|
|
+
|
|
|
|
|
+- Branch `master`; feature tags `v3-corpus-triage`, `v3-empty-string`,
|
|
|
|
|
+ `v3-libc-prototypes`, `v3-system-types`, `v3-proc-types`.
|
|
|
|
|
+- `v3-session-2026-10-22` is a **moving** session tag: it was advanced
|
|
|
|
|
+ after publication, so the remote rejects updating it without
|
|
|
|
|
+ `--force`. `v3-session-2026-10-22-final` is the immutable alias for
|
|
|
|
|
+ this final summary commit and pushes normally.
|
|
|
|
|
+
|
|
|
|
|
+```sh
|
|
|
|
|
+git push origin master v3-session-2026-10-22-final
|
|
|
|
|
+# only if you want the moving tag advanced on the remote too:
|
|
|
|
|
+git push --force origin refs/tags/v3-session-2026-10-22
|
|
|
|
|
+```
|
