matmul_reproducible — DRIVE `ozaki` op

• Data kinds: matrix × matrix → matrix

• Call: import fullseye as fs; fs.ledger.matmul_reproducible(A, B, tol: 'float' = 1.1102230246251565e-16) (implementation को सीधे call करना हो तो import ozakimm; ozakimm.matmul_reproducible(A, B, tol: 'float' = 1.1102230246251565e-16), registry से लेना हो तो opsdrive.get("matmul_reproducible"))

उपयोग

bit स्तर पर reproducible, FP64 सटीकता वाला A @ B (गारंटी न दी जा सके तो ValueError = fail-closed)।

matmul_ozaki के Ozaki-I स्वचालित चयन में on_insufficient="raise" को स्थिर किया गया रूप। प्रति तत्व त्रुटि tol · (|A||B|)_ij + अंतिम संयोजन की पूर्णांकन-त्रुटि (कुछ ulp) से अधिक नहीं। भीतरी सूचकांक के क्रम (बिंदुओं का क्रम) या BLAS थ्रेड-संख्या से स्वतंत्र समान बिट लौटाता है। बिंदु-समूह के 3×N @ N×3 या 6×N @ N×6 संकुचन के लिए (बड़े आउटपुट वाले गुणनफल में DGEMM से 15–83 गुना धीमा)।

संदर्भ (sample data, साहित्य)

• Sample data catalog (DL URL / license) — 2-D के लिए skimage.data (BSD/public) + synthetic, 3-D के लिए real data sources (Stanford/PDS आदि) के DL URL।

• Operators का स्रोत और संदर्भ — इस op family के मूल research/methods के स्रोत।

• Algorithm का मानक स्रोत (लेखक, वर्ष) और उपयोग ऊपर की family usage guide में दिए गए हैं।

चलाए जा सकने वाले उदाहरण (verified samples जो सच में यह op call करते हैं)

• poc_reproducible_icp — py -3.11 examples/poc_reproducible_icp.py

वे अगले ops जिनसे type जुड़ता है (`matrix` को input के रूप में लेते हैं)

world_camera · lidar_scan · relative_motion · foe_from_motion · flow_from_depth_motion · ttc_truth · world_materials · mesh_signed_volume

इसी category के (`ozaki`)

matmul_ozaki · ozaki_error_bound · cross_covariance_reproducible · kabsch_reproducible · fp64_emulation_probe

*Provenance: ozakimm.py — DRIVE operator registry. यह per-op note tools/opdocs.py md से अपने-आप generate होता है (हाथ से edit न करें)।*

matmul_reproducible — DRIVE ozaki op