Migrate to TypeScript 6.0; docs split and build/infra cleanup

.experiments/whats-next.md

@@ -30,9 +30,6 @@
 └──────────────────────────┘                                         
 ```
 
-## Applications
-
-
 ## Integrity 
 
 - [x] Integrity of blocking and mailboxes
@@ -47,8 +44,8 @@
 
 ## Quarantining 
 
-- [ ] Outline of the quarantining in the security model (done)
-- [ ] Implementation
+- [x] Outline of the quarantining in the security model
+- [x] Implementation (quarantine builtins, multinode tests, `--no-quarantine` CLI opt-out)
 
 
 ## NMIFC evaluation
@@ -96,19 +93,19 @@
 
 ### Other improvements
 
-#### Frontend 
-
 #### Backend
 
 - [x] Provide a runtime option to NOT use V1 compatible pretty printing
-      (done: `--no-v1-labels` / `--v1-labels` runtime options)
+      (done: `--label-format v1|v2|v2-full` runtime option)
 
 ## Refactoring
 
 
 ### Runtime 
 
 - [+ongoing+] Consolidate error handling of downgrading
+      (declassification rework merged via PR #151; verify whether further
+      consolidation is still needed or this can be closed)
 
 - [x] Get rid of lubs in the runtime codebase, because it is redundant, now that we have a multi-arg lub
 

.gitignore

@@ -4,6 +4,14 @@ TAGS
 # NPM
 node_modules
 
+##################################################
+# Distribution bundle output (`make dist` / `rollup -c`)
+/build/
+
+##################################################
+# TypeScript incremental build cache
+*.tsbuildinfo
+
 ##################################################
 # Haskell
 
@@ -72,3 +80,4 @@ compiler/src/Parser.info
 _claude_planning/
 _troupe_notebook_planning
 .notebook-storage
+.claude/