TrustFortress Compliance — compliance.trustfortress.ai
Live evidence: GitHub repo activity, PR #240 state, CI workflows, cubie-math proof ledger verification
Snapshot: 2026-05-14T04:40:12.189Z · cron: */5 * * * * · audit head: d16352e740a68ee3d85c1f9d…
trustfortress · main
HEADa2acde584062 (7d ago)
AuthorNick Venezia - Centillion.AI
MsgMerge pull request #238 from iamdatanick/fix/rust-cargo-fmt
Open PRs2
Latest CIClaude Code → skipped
Source: iamdatanick/trustfortress
github.com/iamdatanick/trustfortress →
tf-rusty · main
HEAD13ec2ace43ff (4d ago)
AuthorNick Venezia - Centillion.AI
MsgAdd compliance evidence pack and enhancement plan (#92)
Open PRs3
Latest CITF-Rust Patent Gate → failure
Source: iamdatanick/tf-rusty
github.com/iamdatanick/tf-rusty →
cubie-math · master
HEAD3b3355f8fffd (20h ago)
AuthorNick Venezia - Centillion.AI
MsgMerge pull request #116 from iamdatanick/feat/recover-lost-proofs-and-diagrams
Open PRs2
Latest CIRust CI → 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)481
Verus141
Lean 4170
Coq170
Triple-parityMISMATCH
Ledger generated2026-05-12T19:50:59.396220+00:00
Ledger SHA-256464dc3608f7e7c85529720b0f5d8d5ad94505210790b875d838cbea4e1567581
Spot check5 random files re-hashed → 5 drift (informational; ledger is non-enforcing)
Drift Detail (Informational)
lean/Ramen_v1_18.lean: expected sha256:bf4215c196a4... got sha256:e0d363bec5e4...
lean/CubieFluidOpsV8_0.lean: expected sha256:523d4babdf43... got sha256:bfc58435e769...
verus/cubie_fluid_ops_v8_spec.rs: expected sha256:6ccb50faf67d... got sha256:a9582f7bb18b...
verus/cubie_constant_time_spec.rs: expected sha256:fc6da4c76ed8... got sha256:363726eaf78c...
verus/cubie_goodput_v8_spec.rs: expected sha256:43ac5f4d1f8a... got sha256:d0de20f69cd8...
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 mirrored141
Lean mirrored170
Coq mirrored170
Bytes synced52.9K
Source branchmaster
Last sync2026-05-14T04:35:10.699Z (5m ago)
Ledger mirroredyes
Skipped unchanged481 (dedup hit)
Errors0
GitHub ↔ R2 Sync Verification (cron */5)
In syncYES — R2 matches GitHub ledger byte-for-byte
Last verified2026-05-14T04:36:20.173Z (4m ago)
GitHub files481
R2 objects481
Ledger SHA matchidentical
Missing in R20
Stale in R20
Orphaned in R20