From 5c2e269d385c7efdfb7137c75f6c3ff31f599e44 Mon Sep 17 00:00:00 2001 From: akcorca Date: Thu, 6 Aug 2026 20:23:40 +0900 Subject: [PATCH 1/2] docs: fix frontend Corpus link --- crates/nose-frontend/src/lib.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/nose-frontend/src/lib.rs b/crates/nose-frontend/src/lib.rs index 267fa742..537242fa 100644 --- a/crates/nose-frontend/src/lib.rs +++ b/crates/nose-frontend/src/lib.rs @@ -1,6 +1,6 @@ //! Frontends: parse source with tree-sitter and lower each file's CST into raw //! IL. One [`Il`] per file; files are lowered in parallel and collected into a -//! [`Corpus`] sharing a single interner. +//! [`nose_il::Corpus`] sharing a single interner. mod c; mod corpus; From 356a64720980cd49d25a69449b1fe80de45eb0c0 Mon Sep 17 00:00:00 2001 From: akcorca Date: Thu, 6 Aug 2026 20:26:59 +0900 Subject: [PATCH 2/2] test: bind rustdoc fix evidence --- bench/type4/blind_attack.v1.json | 2 +- scripts/evidence/artifacts.json | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/bench/type4/blind_attack.v1.json b/bench/type4/blind_attack.v1.json index 8d8beb87..0e84ead7 100644 --- a/bench/type4/blind_attack.v1.json +++ b/bench/type4/blind_attack.v1.json @@ -17,7 +17,7 @@ "path-bail": 0, "uninterpretable": 160 }, - "product_crates_tree": "c6b1d22a397c8a27ce3272c1fd16266ff7d01312", + "product_crates_tree": "160a0e30b5f6c515e0366b6dcd2ea0df39042cd9", "schema_version": 1, "summary": { "admission_rejections": 28, diff --git a/scripts/evidence/artifacts.json b/scripts/evidence/artifacts.json index 528d90d6..ca4bffeb 100644 --- a/scripts/evidence/artifacts.json +++ b/scripts/evidence/artifacts.json @@ -188,7 +188,7 @@ "consumers": ["Type-4 frontier, query-regression, and adversarial gates"], "retention_policy": "Preserve current gold/frontier inputs and any sealed or closeout evidence.", "artifact_count": 29, - "inventory_sha256": "ca09004a744517e72e4e20b6a3349333d86751a433130a86592d5d727146da80" + "inventory_sha256": "6e9080f742ebd9f62b9b615e518f6bde6594f0b9cd4b8227c6b841f27733e156" }, { "id": "documentation-policy",