https://pemos.ca/auto-gear 2026-06-07 weekly 0.8 PROOFS: auto-gear lean4 14.134725141734693 true https://pemos.ca/benchmark 2026-06-07 weekly 0.8 PROOFS: benchmark lean4 14.134725141734693 true https://pemos.ca/forge-cleanup 2026-06-07 weekly 0.8 PROOFS: forge-cleanup lean4 14.134725141734693 true https://pemos.ca/frontier-math 2026-06-07 weekly 0.8 PROOFS: frontier-math lean4 14.134725141734693 true https://pemos.ca/galaxy-clean 2026-06-07 weekly 0.8 PROOFS: galaxy-clean lean4 14.134725141734693 true https://pemos.ca/gamma-battery 2026-06-07 weekly 0.8 PROOFS: gamma-battery lean4 14.134725141734693 true https://pemos.ca/gamma-cube 2026-06-07 weekly 0.8 PROOFS: gamma-cube lean4 14.134725141734693 true https://pemos.ca/gamma-family 2026-06-07 weekly 0.8 PROOFS: gamma-family lean4 14.134725141734693 true https://pemos.ca/gamma-v3 2026-06-07 weekly 0.8 PROOFS: gamma-v3 lean4 14.134725141734693 true https://pemos.ca/gamma-v4 2026-06-07 weekly 0.8 PROOFS: gamma-v4 lean4 14.134725141734693 true https://pemos.ca/gamma1-symbol 2026-06-07 weekly 0.8 PROOFS: gamma1-symbol lean4 14.134725141734693 true https://pemos.ca/gamma1-tests 2026-06-07 weekly 0.8 PROOFS: gamma1-tests lean4 14.134725141734693 true https://pemos.ca/gamma1-theorem 2026-06-07 weekly 0.8 PROOFS: gamma1-theorem lean4 14.134725141734693 true https://pemos.ca/hl7boxy-lean4 2026-06-07 weekly 0.8 PROOFS: hl7boxy-lean4 lean4 14.134725141734693 true https://pemos.ca/joffe-math 2026-06-07 weekly 0.8 PROOFS: joffe-math lean4 14.134725141734693 true https://pemos.ca/joffe-math-audit 2026-06-07 weekly 0.8 PROOFS: joffe-math-audit lean4 14.134725141734693 true https://pemos.ca/joffe-math-cathedral 2026-06-07 weekly 0.8 PROOFS: joffe-math-cathedral lean4 14.134725141734693 true https://pemos.ca/joffe-math-harness 2026-06-07 weekly 0.8 PROOFS: joffe-math-harness lean4 14.134725141734693 true https://pemos.ca/joffe-math-live 2026-06-07 weekly 0.8 PROOFS: joffe-math-live lean4 14.134725141734693 true https://pemos.ca/joffe-math-sorry-tracker 2026-06-07 weekly 0.8 PROOFS: joffe-math-sorry-tracker lean4 14.134725141734693 true https://pemos.ca/joffe-math-spiral 2026-06-07 weekly 0.8 PROOFS: joffe-math-spiral lean4 14.134725141734693 true https://pemos.ca/joffe-math-unknowns 2026-06-07 weekly 0.8 PROOFS: joffe-math-unknowns lean4 14.134725141734693 true https://pemos.ca/joffe-math-v13-tables 2026-06-07 weekly 0.8 PROOFS: joffe-math-v13-tables lean4 14.134725141734693 true https://pemos.ca/krsrhone 2026-06-07 weekly 0.8 PROOFS: krsrhone lean4 14.134725141734693 true https://pemos.ca/lean-certificate 2026-06-07 weekly 0.8 PROOFS: lean-certificate lean4 14.134725141734693 true https://pemos.ca/leangraph 2026-06-07 weekly 0.8 PROOFS: leangraph lean4 14.134725141734693 true https://pemos.ca/meta-theorem 2026-06-07 weekly 0.8 PROOFS: meta-theorem lean4 14.134725141734693 true https://pemos.ca/no-sorry-board 2026-06-07 weekly 0.8 PROOFS: no-sorry-board lean4 14.134725141734693 true https://pemos.ca/pemos-ssv14-sorry-kill 2026-06-07 weekly 0.8 PROOFS: pemos-ssv14-sorry-kill lean4 14.134725141734693 true https://pemos.ca/periodic 2026-06-07 weekly 0.8 PROOFS: periodic lean4 14.134725141734693 true https://pemos.ca/periodic-adelic 2026-06-07 weekly 0.8 PROOFS: periodic-adelic lean4 14.134725141734693 true https://pemos.ca/periodic-arb 2026-06-07 weekly 0.8 PROOFS: periodic-arb lean4 14.134725141734693 true https://pemos.ca/periodic-doctrine 2026-06-07 weekly 0.8 PROOFS: periodic-doctrine lean4 14.134725141734693 true https://pemos.ca/periodic-execution-floors 2026-06-07 weekly 0.8 PROOFS: periodic-execution-floors lean4 14.134725141734693 true https://pemos.ca/periodic-games 2026-06-07 weekly 0.8 PROOFS: periodic-games lean4 14.134725141734693 true https://pemos.ca/periodic-health 2026-06-07 weekly 0.8 PROOFS: periodic-health lean4 14.134725141734693 true https://pemos.ca/periodic-hub 2026-06-07 weekly 0.8 PROOFS: periodic-hub lean4 14.134725141734693 true https://pemos.ca/periodic-hub-classic 2026-06-07 weekly 0.8 PROOFS: periodic-hub-classic lean4 14.134725141734693 true https://pemos.ca/periodic-hub-v11 2026-06-07 weekly 0.8 PROOFS: periodic-hub-v11 lean4 14.134725141734693 true https://pemos.ca/periodic-intelligence 2026-06-07 weekly 0.8 PROOFS: periodic-intelligence lean4 14.134725141734693 true https://pemos.ca/periodic-language 2026-06-07 weekly 0.8 PROOFS: periodic-language lean4 14.134725141734693 true https://pemos.ca/periodic-math 2026-06-07 weekly 0.8 PROOFS: periodic-math lean4 14.134725141734693 true https://pemos.ca/periodic-math-v11 2026-06-07 weekly 0.8 PROOFS: periodic-math-v11 lean4 14.134725141734693 true https://pemos.ca/periodic-meek 2026-06-07 weekly 0.8 PROOFS: periodic-meek lean4 14.134725141734693 true https://pemos.ca/periodic-pi-rh1 2026-06-07 weekly 0.8 PROOFS: periodic-pi-rh1 lean4 14.134725141734693 true https://pemos.ca/periodic-pi-rh1-v2 2026-06-07 weekly 0.8 PROOFS: periodic-pi-rh1-v2 lean4 14.134725141734693 true https://pemos.ca/periodic-plasma 2026-06-07 weekly 0.8 PROOFS: periodic-plasma lean4 14.134725141734693 true https://pemos.ca/periodic-rh 2026-06-07 weekly 0.8 PROOFS: periodic-rh lean4 14.134725141734693 true https://pemos.ca/periodic-security 2026-06-07 weekly 0.8 PROOFS: periodic-security lean4 14.134725141734693 true https://pemos.ca/periodic-set 2026-06-07 weekly 0.8 PROOFS: periodic-set lean4 14.134725141734693 true https://pemos.ca/periodic-thinking 2026-06-07 weekly 0.8 PROOFS: periodic-thinking lean4 14.134725141734693 true https://pemos.ca/periodic-v9 2026-06-07 weekly 0.8 PROOFS: periodic-v9 lean4 14.134725141734693 true https://pemos.ca/periodic-zombie 2026-06-07 weekly 0.8 PROOFS: periodic-zombie lean4 14.134725141734693 true https://pemos.ca/periodic-zombie-v2 2026-06-07 weekly 0.8 PROOFS: periodic-zombie-v2 lean4 14.134725141734693 true https://pemos.ca/proof-sphere 2026-06-07 weekly 0.8 PROOFS: proof-sphere lean4 14.134725141734693 true https://pemos.ca/psa-periodic 2026-06-07 weekly 0.8 PROOFS: psa-periodic lean4 14.134725141734693 true https://pemos.ca/rh-chain 2026-06-07 weekly 0.8 PROOFS: rh-chain lean4 14.134725141734693 true https://pemos.ca/rh-formalization-plan 2026-06-07 weekly 0.8 PROOFS: rh-formalization-plan lean4 14.134725141734693 true https://pemos.ca/rh1-wormhole 2026-06-07 weekly 0.8 PROOFS: rh1-wormhole lean4 14.134725141734693 true https://pemos.ca/rh2engine 2026-06-07 weekly 0.8 PROOFS: rh2engine lean4 14.134725141734693 true https://pemos.ca/rhone-caps 2026-06-07 weekly 0.8 PROOFS: rhone-caps lean4 14.134725141734693 true https://pemos.ca/roast-deepmath-ops 2026-06-07 weekly 0.8 PROOFS: roast-deepmath-ops lean4 14.134725141734693 true https://pemos.ca/roast-rh1-killchain-dybfag 2026-06-07 weekly 0.8 PROOFS: roast-rh1-killchain-dybfag lean4 14.134725141734693 true https://pemos.ca/sec-matrix-galaxy 2026-06-07 weekly 0.8 PROOFS: sec-matrix-galaxy lean4 14.134725141734693 true https://pemos.ca/sec-matrix-library 2026-06-07 weekly 0.8 PROOFS: sec-matrix-library lean4 14.134725141734693 true https://pemos.ca/sorry-belt-64 2026-06-07 weekly 0.8 PROOFS: sorry-belt-64 lean4 14.134725141734693 true https://pemos.ca/sorry-flow 2026-06-07 weekly 0.8 PROOFS: sorry-flow lean4 14.134725141734693 true https://pemos.ca/sorry-flow-v3 2026-06-07 weekly 0.8 PROOFS: sorry-flow-v3 lean4 14.134725141734693 true https://pemos.ca/sorry-harness-v14 2026-06-07 weekly 0.8 PROOFS: sorry-harness-v14 lean4 14.134725141734693 true https://pemos.ca/sorry-lambda_positivity 2026-06-07 weekly 0.8 PROOFS: sorry-lambda_positivity lean4 14.134725141734693 true https://pemos.ca/sorry-li_lambda 2026-06-07 weekly 0.8 PROOFS: sorry-li_lambda lean4 14.134725141734693 true https://pemos.ca/sorry-live_inject_cons 2026-06-07 weekly 0.8 PROOFS: sorry-live_inject_cons lean4 14.134725141734693 true https://pemos.ca/sorry-tracker 2026-06-07 weekly 0.8 PROOFS: sorry-tracker lean4 14.134725141734693 true https://pemos.ca/sorry-v3 2026-06-07 weekly 0.8 PROOFS: sorry-v3 lean4 14.134725141734693 true https://pemos.ca/sorry-zeta_zero_gamma1 2026-06-07 weekly 0.8 PROOFS: sorry-zeta_zero_gamma1 lean4 14.134725141734693 true https://pemos.ca/sorry-zeta_zeros_ord 2026-06-07 weekly 0.8 PROOFS: sorry-zeta_zeros_ord lean4 14.134725141734693 true https://pemos.ca/sostle-rh1 2026-06-07 weekly 0.8 PROOFS: sostle-rh1 lean4 14.134725141734693 true https://pemos.ca/theorem-registry 2026-06-07 weekly 0.8 PROOFS: theorem-registry lean4 14.134725141734693 true https://pemos.ca/theorem-table 2026-06-07 weekly 0.8 PROOFS: theorem-table lean4 14.134725141734693 true https://pemos.ca/universe-proof-v13 2026-06-07 weekly 0.8 PROOFS: universe-proof-v13 lean4 14.134725141734693 true https://pemos.ca/vizasl-lean4 2026-06-07 weekly 0.8 PROOFS: vizasl-lean4 lean4 14.134725141734693 true