Merge pull request #894 from smucclaw/thomasgorissen/fix-mixfix-track-result-codelens

Thomasgorissen/fix mixfix track result codelens

Author: serrynaimo

.gitignore

@@ -4,6 +4,7 @@
 build
 .continue
 .claude/settings.local.json
+.claude/*.lock
 # Build Outputs
 ## Built Visual Studio Code Extensions
 .cabal

README.md

@@ -103,7 +103,7 @@ L4 has been piloted with organizations in both public and private sectors:
 ## Community
 
 - **[Discord](https://discord.gg/Q7a7NSEdNy)** — chat with the community
-- **[GitHub Issues](https://github.com/smucclaw/l4-ide/issues)** — report bugs, request features
+- **[GitHub Issues](https://github.com/legalese/l4-ide/issues)** — report bugs, request features
 - **[Legalese](https://legalese.com)** — professional implementation services
 
 L4 is published under the [Apache-2.0 License](LICENSE).

doc/README.md

@@ -115,16 +115,16 @@ Understand the "why" behind L4:
 ## Community & Support
 
 - **[Discord](https://discord.gg/Q7a7NSEdNy)** - Chat with the community
-- **[GitHub Issues](https://github.com/smucclaw/l4-ide/issues)** - Report bugs, request features
+- **[GitHub Issues](https://github.com/legalese/l4-ide/issues)** - Report bugs, request features
 - **[Legalese Services](https://legalese.com)** - Professional implementation services
 
 ---
 
 ## Developer Resources
 
-- **[Latest Stable Build](https://github.com/smucclaw/l4-ide/releases)** - [![L4-IDE](https://img.shields.io/github/v/release/smucclaw/l4-ide?color=brightgreen&logo=github&label=L4-IDE)](https://github.com/smucclaw/l4-ide/releases/latest)
-- **[L4 IDE Repository](https://github.com/smucclaw/l4-ide)** - Open-Source code
+- **[Latest Stable Build](https://github.com/legalese/l4-ide/releases)** - [![L4-IDE](https://img.shields.io/github/v/release/smucclaw/l4-ide?color=brightgreen&logo=github&label=L4-IDE)](https://github.com/legalese/l4-ide/releases/latest)
+- **[L4 IDE Repository](https://github.com/legalese/l4-ide)** - Open-Source code
 
 ---
 
-L4 is published under the [Apache-2.0 License](https://github.com/smucclaw/l4-ide/blob/main/LICENSE).
+L4 is published under the [Apache-2.0 License](https://github.com/legalese/l4-ide/blob/main/LICENSE).

doc/courses/foundation/README.md

@@ -141,4 +141,4 @@ Additional examples in the repository:
 
 - **Stuck?** Check the [Reference](../../reference/README.md) for syntax details
 - **Confused?** Read [Concepts](../../concepts/README.md) for deeper explanations
-- **Bug?** Report via [GitHub Issues](https://github.com/smucclaw/l4-ide/issues)
+- **Bug?** Report via [GitHub Issues](https://github.com/legalese/l4-ide/issues)

doc/reference/GLOSSARY.md

@@ -359,4 +359,4 @@ Metadata annotations for documentation and generation.
 - **[Courses](../courses/README.md)** - Learning paths
 - **[Tutorials](../tutorials/README.md)** - Task-oriented guides
 - **[Concepts](../concepts/README.md)** - Understanding L4's design
-- **[Specifications](https://github.com/smucclaw/l4-ide/tree/main/specs)** - Technical specifications
+- **[Specifications](https://github.com/legalese/l4-ide/tree/main/specs)** - Technical specifications

doc/reference/libraries/README.md

@@ -4,7 +4,7 @@ L4 ships with a set of core libraries that provide essential functions for commo
 
 ## Overview
 
-Core libraries are located in the [jl4-core/libraries/](https://github.com/smucclaw/l4-ide/tree/main/jl4-core/libraries) directory:
+Core libraries are located in the [jl4-core/libraries/](https://github.com/legalese/l4-ide/tree/main/jl4-core/libraries) directory:
 
 - **[prelude](prelude.md)** - Standard functions (automatically imported)
 - **[daydate](daydate.md)** - Date calculations and temporal logic
@@ -249,4 +249,4 @@ Legal entity types, identity documents, and capacity checks. Key functions: `age
 - **[GLOSSARY](../GLOSSARY.md)** - Language feature index
 - **[Types](../types/README.md)** - Type system documentation
 - **[IMPORT keyword](IMPORT.md)** - IMPORT keyword details
-- **[Specs](https://github.com/smucclaw/l4-ide/tree/main/specs)** - Technical specifications
+- **[Specs](https://github.com/legalese/l4-ide/tree/main/specs)** - Technical specifications

doc/reference/libraries/actus.md

@@ -8,13 +8,13 @@ Import with `IMPORT actus` to get all modules, or import individual modules sele
 
 | File                                                                                                   | Purpose                                   |
 | ------------------------------------------------------------------------------------------------------ | ----------------------------------------- |
-| [actus.l4](https://github.com/smucclaw/l4-ide/blob/main/jl4-core/libraries/actus.l4)                   | Main entry point (re-exports all modules) |
-| [actus-core.l4](https://github.com/smucclaw/l4-ide/blob/main/jl4-core/libraries/actus-core.l4)         | Core types (contract types, roles, enums) |
-| [actus-terms.l4](https://github.com/smucclaw/l4-ide/blob/main/jl4-core/libraries/actus-terms.l4)       | Contract term definitions                 |
-| [actus-state.l4](https://github.com/smucclaw/l4-ide/blob/main/jl4-core/libraries/actus-state.l4)       | Contract state variables                  |
-| [actus-events.l4](https://github.com/smucclaw/l4-ide/blob/main/jl4-core/libraries/actus-events.l4)     | Event types and operations                |
-| [actus-daycount.l4](https://github.com/smucclaw/l4-ide/blob/main/jl4-core/libraries/actus-daycount.l4) | Day count conventions and year fractions  |
-| [actus-schedule.l4](https://github.com/smucclaw/l4-ide/blob/main/jl4-core/libraries/actus-schedule.l4) | Schedule generation                       |
+| [actus.l4](https://github.com/legalese/l4-ide/blob/main/jl4-core/libraries/actus.l4)                   | Main entry point (re-exports all modules) |
+| [actus-core.l4](https://github.com/legalese/l4-ide/blob/main/jl4-core/libraries/actus-core.l4)         | Core types (contract types, roles, enums) |
+| [actus-terms.l4](https://github.com/legalese/l4-ide/blob/main/jl4-core/libraries/actus-terms.l4)       | Contract term definitions                 |
+| [actus-state.l4](https://github.com/legalese/l4-ide/blob/main/jl4-core/libraries/actus-state.l4)       | Contract state variables                  |
+| [actus-events.l4](https://github.com/legalese/l4-ide/blob/main/jl4-core/libraries/actus-events.l4)     | Event types and operations                |
+| [actus-daycount.l4](https://github.com/legalese/l4-ide/blob/main/jl4-core/libraries/actus-daycount.l4) | Day count conventions and year fractions  |
+| [actus-schedule.l4](https://github.com/legalese/l4-ide/blob/main/jl4-core/libraries/actus-schedule.l4) | Schedule generation                       |
 
 ### Core Types (`actus-core`)
 
@@ -113,4 +113,4 @@ Import with `IMPORT actus` to get all modules, or import individual modules sele
 
 - `` `net cash flow` `` — sum all cash flows from a list of events
 
-**See the [actus.l4](https://github.com/smucclaw/l4-ide/blob/main/jl4-core/libraries/actus.l4) source and sub-modules for full details.**
+**See the [actus.l4](https://github.com/legalese/l4-ide/blob/main/jl4-core/libraries/actus.l4) source and sub-modules for full details.**

doc/reference/libraries/currency.md

@@ -5,7 +5,7 @@ Can be imported into L4 files with `IMPORT currency`.
 
 ### Location
 
-[jl4-core/libraries/currency.l4](https://github.com/smucclaw/l4-ide/blob/main/jl4-core/libraries/currency.l4)
+[jl4-core/libraries/currency.l4](https://github.com/legalese/l4-ide/blob/main/jl4-core/libraries/currency.l4)
 
 ### Features
 

doc/reference/libraries/date-compat.md

@@ -4,7 +4,7 @@ Backwards compatibility layer for legacy DATE syntax. Import with `IMPORT date-c
 
 ### Location
 
-[jl4-core/libraries/date-compat.l4](https://github.com/smucclaw/l4-ide/blob/main/jl4-core/libraries/date-compat.l4)
+[jl4-core/libraries/date-compat.l4](https://github.com/legalese/l4-ide/blob/main/jl4-core/libraries/date-compat.l4)
 
 ### Purpose
 

doc/reference/libraries/datetime.md

@@ -5,7 +5,7 @@ Can be imported into L4 files with `IMPORT datetime`. Automatically imports `day
 
 ### Location
 
-[jl4-core/libraries/datetime.l4](https://github.com/smucclaw/l4-ide/blob/main/jl4-core/libraries/datetime.l4)
+[jl4-core/libraries/datetime.l4](https://github.com/legalese/l4-ide/blob/main/jl4-core/libraries/datetime.l4)
 
 ### Prerequisites
 
@@ -91,4 +91,4 @@ All number-based constructors accept an optional trailing `tz` (STRING) for expl
 
 [datetime-example.l4](datetime-example.l4)
 
-**See [datetime.l4](https://github.com/smucclaw/l4-ide/blob/main/jl4-core/libraries/datetime.l4) source for all functions.**
+**See [datetime.l4](https://github.com/legalese/l4-ide/blob/main/jl4-core/libraries/datetime.l4) source for all functions.**