The capsule proves. The view explains.
This bundle is a working, locally-verifiable demonstration of the SPARTAN Evidence Capsule v0.1 product loop. It exists so you can see, on your own machine, what spartan capsule build / verify / view actually produce — without installing SPARTAN, running a scanner, or trusting Higgs AI.
report.html, evidence.tar.gz, findings.sarif, verify-output.txt, README_VERIFY_IT_YOURSELF.md, CLAIMS_AND_NON_CLAIMS.md, and MANIFEST.json) packaged as a single downloadable archive. The archive's size and SHA-256 are recorded in MANIFEST.json under the wrapper_archive field so a recipient can verify the download before unzipping.spartan capsule verify against the capsule. Compare with what your own machine produces.result.level is "note"; risk and evidence-tier information is in result.properties.A real SPARTAN validation run against a small intentionally-vulnerable demo repository (examples/demo-repo in the SPARTAN source tree). The run produced 11 findings across multiple risk classes and evidence tiers:
| Risk | Finding type | Count | Evidence tier |
|---|---|---|---|
| CRITICAL | hardcoded_secrets | 1 | EVIDENCE_BACKED |
| HIGH | vulnerable_dependencies | 1 | EVIDENCE_BACKED |
| HIGH | missing_auth_on_declared_routes | 5 | ANALYST_HYPOTHESIS |
| HIGH | path_traversal_patterns | 2 | ANALYST_HYPOTHESIS |
| HIGH | sql_string_interpolation | 1 | ANALYST_HYPOTHESIS |
| HIGH | unsafe_deserialization_patterns | 1 | ANALYST_HYPOTHESIS |
Running spartan capsule verify evidence.tar.gz against this capsule reports:
| Level | Outcome | What it proves |
|---|---|---|
STRUCTURE | PASS | File integrity: every file declared in manifest.json exists with the declared size and SHA-256. |
REDACTION | PASS | Two-pass residue scan over all five JSON files finds nothing forbidden (no local paths, hostnames, usernames, git remotes, or suspected-secret patterns). |
AUDIT_DIGEST | PASS | Audit digest is internally consistent; digest_root_hash recomputes from the sorted entries. |
SIGNATURE | NOT_PRESENT | Capsule v0.1 is unsigned. Reserved as a verification level for a future schema. |
REPLAY | NOT_PRESENT | Capsule does not carry runtime artifacts. Reserved for a future schema. |
If you have a SPARTAN checkout on the same machine, the two commands are:
spartan capsule verify evidence.tar.gz
spartan capsule view evidence.tar.gz --format html --out my-report.html
Without a SPARTAN checkout, you can still:
shasum -a 256 evidence.tar.gz on macOS or Linux).SIGNATURE: NOT_PRESENT.REPLAY: NOT_PRESENT.