sprawling-kernel 0.0.9

Every decision of a sprawling city - addresses, events, gates, plans and errors - with nothing that touches a disk.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

// This Source Code Form is subject to the terms of the Mozilla Public
// License, v. 2.0. If a copy of the MPL was not distributed with this
// file, You can obtain one at https://mozilla.org/MPL/2.0/.
// Copyright (c) 2026 2youg1 and the sprawling contributors

//! Secret shape judgment, the `secret:` reference grammar and `Sealed<T>`
//!. Detection is shape-table-first, entropy-second;
//! both are hand-written, regex-free, backtracking-free and float-free —
//! entropy runs in fixed point so the judgment is deterministic and
//! kani-provable. False positives are the accepted normal: the entrance
//! replaces losslessly, only the exits refuse.
//! The part `crates/kernel/spec/Secret.lean` specifies this module.

mod hex_run;
mod scan;
mod sealed;
mod span;

pub use scan::{names_a_credential, scan};
pub use sealed::Sealed;
pub use span::{SecretRef, SecretSpan};