From 727d83feb643b3bbe09c7d1be0de4159da3575cb Mon Sep 17 00:00:00 2001
From: Dario Gabriel Lipicar <dario@status.im>
Date: Tue, 16 Jun 2026 19:11:39 -0300
Subject: [PATCH] fix: pin logos-lidl to the C-ABI commit + lock it

The logos-lidl input was declared in flake.nix but missing from flake.lock,
so override chains that don't reach the nested input (the doctest harness
building a scaffolded module) couldn't resolve it. Pin the branch rev and
lock it so the component is self-contained. Re-point at master once logos-lidl
lands.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
---
 flake.lock | 27 +++++++++++++++++++++++++++
 flake.nix  |  5 +++--
 2 files changed, 30 insertions(+), 2 deletions(-)

diff --git a/flake.lock b/flake.lock
index 9a364fc..a2e5c0f 100644
--- a/flake.lock
+++ b/flake.lock
@@ -1,5 +1,31 @@
 {
   "nodes": {
+    "logos-lidl": {
+      "inputs": {
+        "logos-nix": [
+          "logos-nix"
+        ],
+        "nixpkgs": [
+          "logos-lidl",
+          "logos-nix",
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1781644893,
+        "narHash": "sha256-EjSn54bSCvwLJvwAT+8cfwjaWXsK07JJ3V5yAyMkyVY=",
+        "owner": "logos-co",
+        "repo": "logos-lidl",
+        "rev": "636b06b9f24a993b7f8dc3d31672a9c9634801f7",
+        "type": "github"
+      },
+      "original": {
+        "owner": "logos-co",
+        "repo": "logos-lidl",
+        "rev": "636b06b9f24a993b7f8dc3d31672a9c9634801f7",
+        "type": "github"
+      }
+    },
     "logos-nix": {
       "inputs": {
         "nixpkgs": "nixpkgs"
@@ -61,6 +87,7 @@
     },
     "root": {
       "inputs": {
+        "logos-lidl": "logos-lidl",
         "logos-nix": "logos-nix",
         "logos-protocol": "logos-protocol",
         "nixpkgs": [
diff --git a/flake.nix b/flake.nix
index ac64eef..3072677 100644
--- a/flake.nix
+++ b/flake.nix
@@ -10,8 +10,9 @@
   inputs.logos-protocol.inputs.logos-nix.follows = "logos-nix";
   # The canonical, language-neutral LIDL frontend (lexer/parser/AST/serializer/
   # validator) the code generator links. Follows our logos-nix so it resolves
-  # the identical nixpkgs pin.
-  inputs.logos-lidl.url = "github:logos-co/logos-lidl";
+  # the identical nixpkgs pin. Temporary branch pin (descriptions + C ABI) —
+  # re-point at master once logos-lidl lands.
+  inputs.logos-lidl.url = "github:logos-co/logos-lidl/636b06b9f24a993b7f8dc3d31672a9c9634801f7";
   inputs.logos-lidl.inputs.logos-nix.follows = "logos-nix";
 
   outputs = { self, nixpkgs, logos-nix, logos-protocol, logos-lidl }: