TrustFortress Compliance — compliance.trustfortress.ai

Live evidence: GitHub repo activity, PR #240 state, CI workflows, cubie-math proof ledger verification
Snapshot: 2026-06-09T19:45:22.521Z · cron: */5 * * * * · audit head: bb2924e07e6bce647da7dc5b…

trustfortress · main

HEAD2e15e5a5b659 (12d 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 (12d 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 Updated12d 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 → 2 drift (informational; ledger is non-enforcing)
Drift Detail (Informational)
lean/CubiePufV8_0.lean: expected sha256:432e5a73d019... got sha256:15f22a0d32ee...
verus/cubie_cyber_physical_v8_spec.rs: expected sha256:4cfc51969cff... got sha256:3d7be4d36495...

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-09T19:45:24.483Z (4m ago) Ledger mirroredyes Skipped unchanged536 (dedup hit) Errors2
GitHub ↔ R2 Sync Verification (cron */5)
In syncNO — drift detected Last verified2026-06-09T19:48:10.039Z (1m 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: bb2924e07e6bce647da7dc5bdcb8eca996a6a9970b3de53ca73bf92ea2f26d37