Caersyn Proof Study
Gate 15 Proof Matrix
Caersyn Proof Study
System: Caersyn Trace
Milestone: Gate 15
Status: Completed proof-of-operation demo
Suite mode: stage1
Customer used for proof run: caersyn
Result: PASS
Version: v0.2
Date: June 2026
Proof Matrix
| Claim ID | Proof area | Claim | Status | Count |
|---|---|---|---|---|
| G15-01 | External Verifier Portability | A live proof bundle can be copied outside the customer ledger tree and verified by the standalone external verifier. | Represented | 5 |
| G15-02 | Live Vault Proof | The live customer ledger can be packaged into a vault archive that preserves exact segment bytes and stable manifest digest evidence. | Represented | 5 |
| G15-03 | Multi-Segment Trace Proof | The live ledger preserves proof continuity across multiple sealed segments through exact segment roots, previous-root links and event hash-chain continuity. | Represented | 5 |
| G15-04 | Subset Receipt Edges | Trace-subset and event-subset receipts remain segment-bound, selector-bound and verifier-checked projections of sealed segment truth. | Represented | 8 |
| G15-05 | Controlled Recovery | WAL recovery provides operational durability and checkpoint fallback without being treated as canonical proof truth. | Represented | 6 |
Totals
area_count: 5
represented_area_count: 5
expected_architectural_test_count: 29
missing_tests: none
proof_status: REPRESENTEDTruth Boundary
proves_recorded_execution_history: true
proves_external_source_truth: false
proves_business_correctness: false
proof_authority: sealed segment truth and derived proof artefactsSource Record Boundary
The controlled source JSON contains exact test function names, exact test file names, the full machine-readable structure and implementation-level coverage information.
This summary preserves the proof map and counts while withholding the exact test inventory and internal file structure.
The full source record is retained by Caersyn for controlled diligence.
Interpretation
The proof matrix supports this interpretation:
Gate 15 represented five architectural proof areas and 29 expected architectural tests, with no missing represented tests and with the Trace truth boundary preserved.