TrustFortress Compliance — compliance.trustfortress.ai
Live evidence: GitHub repo activity, PR #240 state, CI workflows, cubie-math proof ledger verification
Snapshot: 2026-06-09T21:25:13.269Z · cron: */5 * * * * · audit head: 17484fe01dae7ca59b4e10d7…
trustfortress · main
HEAD2e15e5a5b659 (13d ago)
AuthorNick Venezia - Centillion.AI
MsgMerge pull request #242 from iamdatanick/cursor/env-setup-3bd8
Open PRs0
Latest CIClaude Code → skipped
Source: iamdatanick/trustfortress
github.com/iamdatanick/trustfortress →
tf-rusty · main
HEADd2a9b92066cf (13d ago)
AuthorNick Venezia - Centillion.AI
MsgMerge pull request #97 from iamdatanick/cursor/megarepo-implementation-b16c
Open PRs0
Latest CIcargo in /., /controlplane/tf-mcp for glib, quinn-proto, rand, rmcp, rmcp, rustls-webpki, rustls-webpki, rustls-webpki, rustls-webpki - Update #1386852316 → cancelled
Source: iamdatanick/tf-rusty
github.com/iamdatanick/tf-rusty →
cubie-math · master
HEADb8d361be774b (13d ago)
AuthorNick Venezia - Centillion.AI
Msgfeat(verus): CUB-1728 universal XOR-fold parity ≡ popcount-mod-2 (bit_vector)
Open PRs0
Latest CIProof Kernel Check → success
Source: iamdatanick/cubie-math
github.com/iamdatanick/cubie-math →
cubie-math Proof Ledger — Informational SHA Snapshot
Per
cubie-math CLAUDE.md rule #5,
SHA verification is permanently retired and is NOT a CI gate. Drift below is informational only — the proof corpus is
governed by Verus/Coq/Lean kernel checks, not by ledger hashes.
Total proofs (ledger)538
Verus179
Lean 4179
Coq180
Triple-parityMISMATCH
Ledger generated2026-05-14T01:31:48.859506+00:00
Ledger SHA-256e30e7e0cb10b6e08e32a3b180fb3b0d653c1880ca9015015ca01ab7c3c6350d6
Spot check5 random files re-hashed → 4 drift (informational; ledger is non-enforcing)
Drift Detail (Informational)
lean/CubieItaClientV8_0.lean: expected sha256:d1ceabef2dc1... got sha256:3d2da4d88ade...
verus/ramen_seam_spec.rs: expected sha256:6d4134f46395... got sha256:47a8ebec908f...
lean/CubieAttestationBridgeV5_0.lean: expected sha256:541e05092a5d... got sha256:3883a5a1918b...
lean/CrossCompilerCoherenceV2_5.lean: expected sha256:35d7fe28ed8b... got sha256:ebd81682dffa...
R2 Proof Mirror — cubie-math-proofs bucket
Verbatim backup of the cubie-math proof corpus to Cloudflare R2. Cron */5 syncs only changed files (ledger-SHA dedup via R2 customMetadata).
Browse:
/mirror · raw file:
/mirror/verus/<name>.rs,
/mirror/lean/<name>.lean,
/mirror/coq/<name>.v
Verus mirrored179
Lean mirrored178
Coq mirrored179
Bytes synced59.4K
Source branchmaster
Last sync2026-06-09T21:25:15.343Z (3m ago)
Ledger mirroredyes
Skipped unchanged536 (dedup hit)
Errors2
GitHub ↔ R2 Sync Verification (cron */5)
In syncNO — drift detected
Last verified2026-06-09T21:28:58.854Z (7s ago)
GitHub files538
R2 objects536
Ledger SHA matchidentical
Missing in R22
Stale in R20
Orphaned in R20
Missing in R2
lean/CubieDataProvenanceV1.lean
coq/CubieDataProvenanceV1.v