Skip to content

Commit acd9b8c

Browse files
committed
docs(status): reconcile dashboards to the honest Grade-D/60% state
TOPOLOGY.md advertised "OVERALL 100% v1.0 Production Ready" and per- component 100%s ("MPR security by construction proven", "audit trail validated") while STATE.a2ml records completion 60% / CRG grade D and READINESS.md grades the project D (Alpha, Unstable). This is the "dashboard that lies" pattern. - Rewrite the completion dashboard to summarise STATE.a2ml / READINESS.md (60%, Grade D), naming the real caveats: homerolled attestation MAC, label-only Ed25519/X25519, obliteration not guaranteed on SSD/CoW, formal proofs pending and unlinked to the Rust. - Add a prominent ARCHIVED banner to TESTING-REPORT.adoc (a stale 2025-12-29 snapshot whose "all tests passed / robust" framing overstates current status), pointing readers to READINESS.md / STATE.a2ml. No code changes; documentation truthfulness only. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_015qwVESTcbfanY2iJPQNoSz
1 parent 468cbba commit acd9b8c

2 files changed

Lines changed: 42 additions & 14 deletions

File tree

TESTING-REPORT.adoc

Lines changed: 14 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,15 +2,27 @@
22
// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
33
// SPDX-FileCopyrightText: 2025 Jonathan D.A. Jewell
44

5-
= JanusKey Testing Report
5+
= JanusKey Testing Report (ARCHIVED — 2025-12-29)
66
:toc: auto
77
:icons: font
88
:source-highlighter: rouge
99
:date: 2025-12-29
1010

11+
[WARNING]
12+
====
13+
*This report is a stale snapshot from 2025-12-29 and is retained for
14+
history only.* It predates the 2026-04 readiness assessment, which graded
15+
the project *D (Alpha, Unstable)*. Its "all tests passed / robust and
16+
functional" framing overstates the current state (homerolled attestation
17+
MAC, unimplemented asymmetric crypto, no fuzz/mutation/chaos testing).
18+
19+
*For the current, authoritative test status see `READINESS.md` and
20+
`.machine_readable/6a2/STATE.a2ml`.*
21+
====
22+
1123
== Executive Summary
1224

13-
This report documents the comprehensive testing of the JanusKey project, a reversible file operations system with cryptographic key management. All tests passed successfully, demonstrating a robust and functional implementation.
25+
This report documents the testing of the JanusKey project as of 2025-12-29, a reversible file operations system with cryptographic key management. The tests recorded here passed at that time; see the archival warning above for why this no longer reflects project status.
1426

1527
|===
1628
| Metric | Result

TOPOLOGY.md

Lines changed: 28 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0
33
Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
44
-->
55
<!-- TOPOLOGY.md — Project architecture map and completion dashboard -->
6-
<!-- Last updated: 2026-02-19 -->
6+
<!-- Last updated: 2026-07-02 (completion dashboard reconciled to STATE.a2ml / READINESS.md) -->
77

88
# JanusKey — Project Topology
99

@@ -53,27 +53,43 @@ Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
5353

5454
## Completion Dashboard
5555

56+
> **Source of truth:** `.machine_readable/6a2/STATE.a2ml` (completion 60%,
57+
> CRG grade **D**) and `READINESS.md` (Grade **D — Alpha, Unstable**). This
58+
> dashboard is a human-readable summary of those files; if they disagree,
59+
> they win. Percentages below are qualitative, not measured coverage.
60+
5661
```
5762
COMPONENT STATUS NOTES
5863
───────────────────────────────── ────────────────── ─────────────────────────────────
5964
CORE ENGINE (RUST)
60-
Operation Layer ██████████ 100% Delete/Modify/Move stable
61-
Inverse Metadata Gen ██████████ 100% Perfect inversion verified
62-
Transaction Manager ██████████ 100% Begin/Commit/Rollback active
63-
Content-Addressed Storage ██████████ 100% SHA256 deduplication verified
65+
Operation Layer ████████░░ ~85% Delete/Modify/Move implemented; unit-tested
66+
Inverse Metadata Gen ████████░░ ~80% execute∘undo roundtrip property-tested (proptest)
67+
Transaction Manager ████████░░ ~80% Begin/Commit/Rollback tested via P2P suite
68+
Content-Addressed Storage ████████░░ ~85% Real SHA256 content store + dedup
69+
70+
SECURITY (honest)
71+
Attestation / audit chain ███░░░░░░░ ~30% Homerolled SHA256(key||data||prev) MAC +
72+
zero-key fallback — flagged by threat model
73+
(STATE.a2ml homerolled-hmac); needs real HMAC
74+
Asymmetric crypto █░░░░░░░░░ ~10% Ed25519/X25519 are enum labels, not implemented
75+
Secure obliteration ████░░░░░░ ~40% Best-effort; NOT guaranteed on SSD/CoW (threat-
76+
model dependent — see obliteration caveat)
6477
6578
INTERFACES & RESEARCH
66-
CLI Interface (jk) ██████████ 100% Full command set verified
67-
MPR Methodology ██████████ 100% Security by construction proven
68-
Testing Report (SCM) ██████████ 100% Audit trail validated
79+
CLI Interface (jk) ████████░░ ~85% Full command set; no user testing yet
80+
MPR Methodology ████░░░░░░ ~40% Design documented; FORMAL PROOFS PENDING
81+
(30 Idris2 proofs unchecked in CI; not linked
82+
to the Rust)
83+
Testing (READINESS matrix) ██████░░░░ ~60% 67 tests + 5 benches; missing fuzz, mutation,
84+
chaos, compatibility (Grade D)
6985
7086
REPO INFRASTRUCTURE
71-
Justfile Automation ██████████ 100% Standard build/lint tasks
72-
.machine_readable/ ██████████ 100% STATE tracking active
73-
0-AI-MANIFEST.a2ml ██████████ 100% AI entry point verified
87+
Justfile Automation █████████░ ~90% Build/lint/test recipes present
88+
.machine_readable/ █████████░ ~90% STATE tracking active
89+
0-AI-MANIFEST.a2ml █████████░ ~90% AI entry point present
7490
7591
─────────────────────────────────────────────────────────────────────────────
76-
OVERALL: ██████████ 100% v1.0 Production Ready
92+
OVERALL: ██████░░░░ ~60% Grade D — Alpha, Unstable (not v1.0)
7793
```
7894

7995
## Key Dependencies

0 commit comments

Comments
 (0)