TrustFortress Compliance — compliance.trustfortress.ai

Live evidence: GitHub repo activity, PR #240 state, CI workflows, cubie-math proof ledger verification

Snapshot: 2026-05-14T02:40:09.618Z · cron: */5 * * * * · audit head: 0be78771d52675f34cd95ded…

trustfortress · main

HEADa2acde584062 (7d ago) AuthorNick Venezia - Centillion.AI MsgMerge pull request #238 from iamdatanick/fix/rust-cargo-fmt Open PRs2 Latest CIClaude Code Review → in_progress

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 PRs2 Latest CITF-Rust Patent Gate → success

Source: iamdatanick/tf-rusty

github.com/iamdatanick/tf-rusty →

cubie-math · master

HEAD3b3355f8fffd (18h ago) AuthorNick Venezia - Centillion.AI MsgMerge pull request #116 from iamdatanick/feat/recover-lost-proofs-and-diagrams Open PRs2 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

Stateopen · mergeable=unstable HEAD9e93a52b88ab Diff+46689 −29 across 80 files Reviews7 reviews · 17 comments Updated4m ago URLhttps://github.com/iamdatanick/trustfortress/pull/240

CI Checks on HEAD (4 total)

Workers Builds: tf-mcp-cloudsuccess

test (22)success

test (24)success

claude-reviewin_progress

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)

verus/cubie_nist_c4_gate_v8_spec.rs: expected sha256:774ac2825f13... got sha256:25df07ee92f1...

coq/CubieFluidDockingV8_0.v: expected sha256:6bdabe5620ed... got sha256:0cab58bd6411...

lean/CubieNistC4V2_5.lean: expected sha256:d5fff55463d2... got sha256:e6d7c3c8a464...

verus/cubie_object_layout_spec.rs: expected sha256:85fe4cb27d09... got sha256:12501fc2b29f...

verus/cubie_delegation_depth_v8_spec.rs: expected sha256:b776c7d19975... got sha256:71a40b8271a1...

Worker: trustfortress-compliance · Edge: Cloudflare · Bindings: D1 audit, KV snapshot · raw JSON · audit chain · force refresh · Patents US11956363B2 · US12073439B2

Audit chain head: 0be78771d52675f34cd95dede18c8cca7acee2f79aeae27e6f1c4f6b715ea8a0