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 →

PR #240 — feat: EU AI Act compliance — 98/100 score, 8 code modules, 18 documents

Stateclosed · mergeable=unknown HEAD9437ea8d2389 Diff+47442 −29 across 82 files Reviews10 reviews · 21 comments Updated13d ago URLhttps://github.com/iamdatanick/trustfortress/pull/240
CI Checks on HEAD (7 total)
claudeskipped
claudeskipped
claudeskipped
Workers Builds: tf-mcp-cloudsuccess
claude-reviewsuccess
test (24)success
test (22)success

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
Worker: trustfortress-compliance · Edge: Cloudflare · Bindings: D1 audit, KV snapshot · raw JSON · audit chain · force refresh · Patents US11956363B2 · US12073439B2
Audit chain head: 17484fe01dae7ca59b4e10d7b1de94c354d2c4be645cf743f74a2a6580b1c837