TrustFortress | Compliance Evidence (LIVE)

trustfortress · main

HEAD2e15e5a5b659 (45d 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 (45d 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 (45d 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 Updated45d ago URLhttps://github.com/iamdatanick/trustfortress/pull/240

CI Checks on HEAD (7 total)

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)

coq/CubieSingmasterV8_0.v: expected sha256:015e143fdf9a... got sha256:621fc19161df...

lean/CubiePcieTtlV3_0.lean: expected sha256:9d805ab7b926... got sha256:88e7f2733a69...

coq/CubieTdispV4_0.v: expected sha256:0583cba11437... got sha256:193da33e78dc...

coq/CubieEgressConjugateV8_0.v: expected sha256:81623d024396... got sha256:3570c50ee111...

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-07-12T03:50:50.848Z (1m ago) Ledger mirroredyes Skipped unchanged536 (dedup hit) Errors2

GitHub ↔ R2 Sync Verification (cron */5)

In syncNO — drift detected Last verified2026-07-12T03:47:04.756Z (5m ago) GitHub files538 R2 objects554 Ledger SHA matchidentical Missing in R22 Stale in R20 Orphaned in R218

Missing in R2

lean/CubieDataProvenanceV1.lean

coq/CubieDataProvenanceV1.v

Orphaned in R2 (no longer in ledger)

cubie-research/2026-07-07/manifest.json

cubie-research/2026-07-07/proof_hashes.json

cubie-research/images/INDEX.md

cubie-research/images/cubie-research-coq-8.18.tar.gz.part.00

cubie-research/images/cubie-research-coq-8.18.tar.gz.part.01

cubie-research/images/cubie-research-coq-8.18.tar.gz.part.02

cubie-research/images/cubie-research-coq-8.18.tar.gz.part.03

cubie-research/images/cubie-research-coq-8.18.tar.gz.part.04

cubie-research/images/cubie-research-lean-4.31.0.tar.gz.part.00

cubie-research/images/cubie-research-lean-4.31.0.tar.gz.part.01

cubie-research/images/cubie-research-lean-4.31.0.tar.gz.part.02

cubie-research/images/cubie-research-rust-1.83.tar.gz

cubie-research/images/cubie-research-verus-0.2026.06.28.tar.gz.part.00

cubie-research/images/cubie-research-verus-0.2026.06.28.tar.gz.part.01

cubie-research/images/images-manifest.json

cubie-research/kg-corpus/cubie-research-kg-corpus.tar.gz

cubie-research/latest/manifest.json