UnOr.ai ← Home
A look inside

What a report looks like.

Every finding is graded on the evidence — reviewed, source-verified, or proven — cross-checked by a model panel, mechanically verified, and post-quantum signed so you can re-check it yourself.

Illustrative sample · synthetic data · not a real target

Consensus Audit — acme/settlement-core
ref 9f3c1a2 · 214 files · panel of 4 models · 3 cross-check rounds
Signed Verified Post-Quantum
2
Proven
6
Source-verified
7
Reviewed leads
3
Documented tradeoffs
⚙ Proven
Command injection in the report-export path
exporter.rs:214
Critical · reproduced end-to-end in an isolated sandbox — a demonstrated exploit, not an opinion.
⚙ Proven
Balance invariant holds under all inputs
ledger.lean
Formally proven in a Lean kernel — a mathematical guarantee, machine-checked.
🔍 Source-verified
Missing on-curve check before scalar multiplication
ecc/mul.rs:88
High · the pattern is confirmed present at the cited line by a deterministic static check.
💬 Reviewed
Under-constrained witness in the fold step
fold.rs:132
High · a consensus-panel assessment — a lead to investigate, explicitly not yet mechanically verified.
🛡 Documented tradeoff
Legacy insecure verifier retained behind an opt-in flag
verify.rs:41
Disclosed and opt-in in source — flagged for awareness, not counted as a novel defect.
manifest sha384:…a1f9c2 · hybrid post-quantum signature Re-verify offline — unor verify <manifest>
⚙ Proven — reproduced in a sandbox or proven in a formal kernel. 🔍 Source-verified — confirmed present at the cited line. 💬 Reviewed — a panel lead, clearly labelled, never overstated.
See it on your own code

Proof, not promises.

Point UnOr at one repository and get a signed report you can verify yourself.

Start a proof of concept

UnOr.ai delivers governed, evidence-backed security assurance. Unless a finding is explicitly marked Proven, it is a reviewed or validated opinion — informative, not a guarantee. The report above is an illustrative sample with synthetic data; it is not a real audit of any named party.