Mestrames Lineage
MestramesLineageProofs.lean · γ₁-anchored · sovereign timestamp
Corpus Stats
41
POCS
Fleet Role
Bounty Layer — 41 POCs, SSAF pipeline, Immunefi submissions
⬡ 41 POC Solidity tests — SSAF pipeline (poc-forge/test/)
⬡ 14 Immunefi submission docs drafted
⬡ TN36 #76024 — Chainlink staleness, MEDIUM, FILED
⬡ Aave ($10M) → Wormhole ($10M) → Maker priority queue
⬡ Theorem-backed: every POC has Lean4 proof backing
Cell Engine
SecHive Engine
Bounty / Security cell engine — sovereign compute substrate
Diamond Anchors
MOAT
MOAT-Solidity-Bounty
DCJ
DCJ-049
OSS LAYER
Bounty / Security
SPINE
pemos.ca/spine-oss.xml
Note
Assembly→Solidity lineage: raw machine control → EVM bytecode. Solidity is where the fleet converts formal proofs into bounty submissions. Every sorry in Lean4 that closes becomes a POC that files.