From a99709c706d5f35ccfbe229b8f1274008a257547 Mon Sep 17 00:00:00 2001 From: Jacob Stenum Czepluch Date: Fri, 5 Dec 2025 15:35:13 +0100 Subject: [PATCH 1/2] fix broken syntax in docs.json after merge --- docs.json | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/docs.json b/docs.json index 9d36b43..a8d44ca 100644 --- a/docs.json +++ b/docs.json @@ -68,11 +68,10 @@ "group": "Guides", "pages": [ "credible/write-first-assertion", + "credible/invariant-to-assertion", "credible/store-submit-assertions", "credible/deploy-assertions-dapp", "credible/accelerate-with-ai" - "credible/invariant-to-assertion", - ] }, { From 2d3aef1dd8e793acac410dd4bd6b788994191cb1 Mon Sep 17 00:00:00 2001 From: Jacob Stenum Czepluch Date: Fri, 5 Dec 2025 15:38:46 +0100 Subject: [PATCH 2/2] fix broken link in invariant to assertion guide --- credible/invariant-to-assertion.mdx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/credible/invariant-to-assertion.mdx b/credible/invariant-to-assertion.mdx index 9b1f540..e98efb2 100644 --- a/credible/invariant-to-assertion.mdx +++ b/credible/invariant-to-assertion.mdx @@ -5,7 +5,7 @@ description: 'A guide to writing assertions from protocol invariants' This guide walks you through the process of turning a protocol invariant into a working assertion. By the end, you'll understand how to identify invariants, handle exceptions, and write assertion code that protects your protocol. -**Prerequisites**: Familiarity with Solidity, the [Assertions Overview](/credible/assertions-overview), and the [Assertion Guide](/credible/pcl-assertion-guide). +**Prerequisites**: Familiarity with Solidity, the [Assertions Overview](/credible/assertions-overview), and the [Assertion Guide](/credible/write-first-assertion). **What you'll build**: An assertion that protects vault share prices in Euler's Vault Kit.