Search results

Implement HAMR appraisal primitives in terms of Copland ASPs/protocols

Status: Open.

#57 In ku-sldg/asp-libs;

· ampetz opened on Dec 2, 2025

Mapping HAMR logs to ASP parameters

Status: Open.

#56 In ku-sldg/asp-libs;

· ampetz opened on Dec 2, 2025

ASP Daemons

Status: Open.

#51 In ku-sldg/asp-libs;

· Durbatuluk1701 opened on Oct 16, 2025

ASP Verification

Status: Open.

#50 In ku-sldg/asp-libs;

· Durbatuluk1701 opened on Oct 16, 2025

GOT Measurement ASP

Status: Open.

#49 In ku-sldg/asp-libs;

· Durbatuluk1701 opened on Oct 16, 2025

Define "footprints" for each process to capture early appraisal failures

Status: Open.

#46 In ku-sldg/asp-libs;

· ampetz opened on Sep 30, 2025

Create Alpha Verus process

Status: Open.

#42 In ku-sldg/asp-libs;

· ampetz opened on Sep 30, 2025

Create Rust synthesis process

Status: Open.

#40 In ku-sldg/asp-libs;

· ampetz opened on Sep 30, 2025

Create Appraisal process with feedback loop to Orchestration agent

Status: Open.

#38 In ku-sldg/asp-libs;

· ampetz opened on Sep 29, 2025

Create HAMR process

Status: Open.

#37 In ku-sldg/asp-libs;

· ampetz opened on Sep 29, 2025

Implement Lean proof checker attestation scenario

Status: Open.

#29 In ku-sldg/asp-libs;

· ampetz opened on May 20, 2025