OMEGA NAUGHT — sorry / admit / native_decide scan
date: 2026-09-13
scope: hosted public/formal/Omega.lean and public/formal/Omega/*.lean
method: Python regex on code before -- line comments; identifiers only
files_scanned: 14
sorry_hits: 0
admit_hits: 0
native_decide_hits: 0
result: PASS (zero hits)

files:
  75e6164d192d8f659be9b73da00cb847017e9909631c93596b40d7ee4fad2010  18  Omega.lean
  bf8c5e04ee15ad4b1ec14cae878fdaf572d374e635f31191d750ab0c90de0121  2460  Omega/Affine.lean
  4a0bdc5680cfb7123d6a0a206bb96bdedd6c3c5a49cc15a3d6835efe302efe07  5645  Omega/AxiomAudit.lean
  a622442855d7d565b8a2ddf9364980f4919638c456229be4f2f4887a3eeea3fa  2693  Omega/Constants.lean
  8f44a603b1448576055ffba4edaf62ca6a83773767962792fe785ea53f24b32f  4963  Omega/Dimension.lean
  7305e893875398c5baa585d435eed4e9425cb0dcfa6b76d5d81f514317e2ca0c  1399  Omega/Extinction.lean
  02bba826557c5206cc168a0eeef6dbd380b69e1892b4b2028e05bdfe6bd53a2d  2519  Omega/Finite.lean
  774298bfb89beb990b8bdb6ef0cd95e1cedc7114b2aabf6b1949e91b33a652fb  6808  Omega/Floor.lean
  1cb6284afc2eca467a90de27888d3157aa72cf39ebd788aac505bc256d24638b  6792  Omega/Geometry.lean
  0a61e038b6c7a8cd42273aacaad53615be8fff13cc43ee61cf798d86ea392ae6  4395  Omega/Interface.lean
  c4c833bd29e349e2550a4c2bfd67d6abe6b76a84a78041d81092f73e6e7d095c  5377  Omega/Ledger.lean
  882556911c03bc06059a80a08a58bc87982dace224591e6368a0ffcad3b06bf8  1412  Omega/Main.lean
  7715cf5d450e3d166858991f44c75a88ba67a8d3826789d9392cb0e7c32d7b0f  2091  Omega/Metrics.lean
  6f4d106c949af1f9f12fe25f1a6cfe8a3691af58e3b2ecc26c0782d155690cb2  3424  Omega/Placement.lean