mathscape-acquisition 0.1.10
“Garimpo acquisition-space typescape — the TYPED-SPEC + INTERPRETER triplet for the layer ratchet (Layer/SealWitness/FoldBack/AbsorbDecision…”
Basename is uppercase README.mdCaret or XOR expression text
SHA-2563e2b3d6452ce1c1d176e77d2d956ba7e1833844c1caa412f56fc0564d9199ef4
MaleculeMd(Pa₃)
Evidence
7:11… ive without a catalog row fails the build.
8
9use crate::types::Tier;
10use serde::{Deserialize, Serialize};
11
12/// One acquisition-space primitive, self-described.
13#[derive(Clone, Debug, PartialEq, Eq, Serializ …
105:3… "Frontier",
106 "AcquisitionState",
107 "AcquisitionDAG",
108];
109
110#[cfg(test)]
111mod tests {
112 use super::*;
113 use std::collections::BTreeSet;
114
115 #[test]
116 fn catalog_covers_every_primitive() {
117 let cataloged: BTreeSet<&str> = catalog().iter().map(|p| p.name).collect();
118 let expected: BTreeSet<&str> = PRIMITIVE_NAMES.iter().copied().collect();
119 assert_eq!(
120 cataloged, expected,
121 "every acquisition primitive must have exactly one catalog row (and vice versa)"
122 );
123 }
124
125 #[test]
126 fn catalog_names_ar …
1//! The `(defacquisition …)` authoring surface round-trips: a spec →
2//! Sexp → spec is byte-identical, and a malformed form is rejected at
3//! the parse boundary (a typed `SpecError::Parse`, never a bad spec).
4
5use mathscape_acquisition::{AcquisitionOp, AcquisitionSpec, Complexity, SpecError};
6use mathscape_core::eval::RewriteRule;
7use mathscape_core::term::Term;
8use mathscape_core::value::Value;
9
10fn sample_spec() -> AcquisitionSpec {
11 let id_rule = RewriteRule {
12 name: "add-identity".to_string(),
13 // (add ?100 0) — Display: (?2 …
30:28… 16)
31 .fold_back(0)
32 .advance(Complexity(128))
33}
34
35#[test]
36fn defacquisition_round_trips_exactly() {
37 let spec = sample_spec();
38 let sexp = spec.to_sexp();
39 let back = Acquisiti …
78:53… sealed ──────────────────
79
80#[test]
81fn inv1_a_sample_sealed_layer_is_flagged_not_proof_sealed() {
82 let layer = Layer::sampled(identity_rule(), 16);
83 assert!(layer.is_sample_sealed(), "Sample seal is the weak floor");
84 assert!(
85 !layer.seal.is …
No evidence locations were recorded for this file. Raw result