mathscape-acquisition 0.1.8
“Garimpo acquisition-space typescape — the TYPED-SPEC + INTERPRETER triplet for the layer ratchet (Layer/SealWitness/FoldBack/AbsorbDecision…”
PowerShell accepts every server certificateBasename is uppercase README.md
SHA-25672c356f9de3dfb4997466a04ff9e5d01db101fa97c4d8b94bb3dbfc8335848aa
MaleculeMd(Pa₃)
Evidence
1# ServicePointManager is removed in newer .NET versions: https://github.com/dotnet/runtime/issues/71836
2if ($PSVersionTable.PSVersion.Major -ne 5) {
3 throw 'This script requires Windows PowerShell, newer versions will not work'
4}
5
6# Setup a callback to always trust the certificate.
7[System.Net.ServicePointManager]::ServerCertificateValidationCallback = { $true }
8
9$webRequest = [Net.WebRequest]::Create("https://self-signed.badssl.com")
10$webRequest.GetResponse() | Out-Null
11
12$cert = $webRequest.ServicePoint.Certificate
13[byte[]] $certBytes = $cert.Export([Security.Cryptography.X509Certificates.X509ContentType]::Cert)
14[System.IO.File]::WriteAllBytes('.\test\self-signed.badssl.com.cer', $certBytes)
15
16$thumbprint = (Get-PfxCertificate .\test\self-signed.badssl.com.cer).Thumbprint
17[byte[]] $thumbprintBytes = -split ($thumbprint -replace '..', '0x$& ')
18[System.IO.File]::WriteAllBytes('.\test\self-signed.badssl.com.cer.sha1', $thumbprintBytes)
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 …
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 …
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