sscoble/speckl
1
0
Fork 0
Code Issues 2 Pull requests Projects Releases Packages Wiki Activity Actions

fix: mention dark provenance in SpeckDL section intro

Browse source
This commit is contained in:
Content Agent 2026-04-28 23:57:42 -07:00
parent 30122ccadb
commit 4419ccb32a
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
landing/index.html
View file

@ -202,7 +202,7 @@
<section id="speckdl">
<h2>SpeckDL: A Specification Language</h2>
<p>SpeckDL defines <em>what</em> a system does, not <em>how</em>. The compiler produces deterministic output: Z3 → Decision Structure → WASM. Same input, same output — every time.</p>
<p>SpeckDL defines <em>what</em> a system does, not <em>how</em>. The compiler produces deterministic output: Z3 → Decision Structure → WASM. Same input, same output — every time. Every spec includes <strong>dark provenance</strong>: traceability to regulations, design decisions, and source conversations — embedded in the spec, not added later.</p>
<div class="code-block"><pre><span class="kw">speck</span> <span class="ty">RetryHandler</span> {
input: { operation: Operation, maxRetries: Nat }