From 8723106fbcaa3777d87692922935cdf1cf3b4c69 Mon Sep 17 00:00:00 2001 From: Ralf Anton Beier Date: Tue, 28 Apr 2026 20:27:31 +0200 Subject: [PATCH] content(projects): add witness as the 4th Verify tool MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Witness wasn't on the cube. Adding it on the Verify face alongside Verus / Rocq / Lean 4 — the empirical structural-coverage counterpart to the three proof tools. - Face tile: 4th tool entry — `witness` · `MC/DC on Wasm IR`, linking to github.com/pulseengine/witness - Detail panel: - Heading reframed: "three proof paths and the empirical coverage cell" - New paragraph sentence introducing witness as the §FM.6.7(f) / structural-coverage cell-filler for DO-178C, ISO 26262 Part 6 Table 12, and IEC 61508 Annex C - Link list gains witness alongside the rules wrappers - "Three independent paths" → "Four independent verification paths in CI on every commit: three proof, one coverage" Co-Authored-By: Claude Opus 4.7 (1M context) --- templates/projects.html | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/templates/projects.html b/templates/projects.html index 6f75391..76690a1 100644 --- a/templates/projects.html +++ b/templates/projects.html @@ -91,6 +91,10 @@

{{ section.title }}

Lean 4 scheduling theory + + witness + MC/DC on Wasm IR +
@@ -215,13 +219,14 @@

Build — the pipeline