Finite Field
30 सेकंदांची तपासणी

MPK Assurance / Go पुरावा-तयारी पुनरावलोकन

आम्ही तुमचा Go कोड फक्त तपासत नाही,
पुराव्याने सिद्ध करतो.

परतावे, शुल्क, शिल्लक आणि राखीव रक्कम यांसारखा पैसा हलवणाऱ्या महत्त्वाच्या Go तर्काला आम्ही स्पष्ट तपशील, गृहितके आणि व्याप्ती यांच्या आधारावर यांत्रिकरीत्या तपासतो. Gemini पुरावा उमेदवार तयार करते आणि स्वतंत्र MPK कर्नल अंतिम निर्णय देतो.

30 सेकंदांचा परतावा डेमो वापरून पाहा पुरावा-तयारी पुनरावलोकनाची विनंती करा
पहिल्या 5 कंपन्यांपुरते मर्यादित MPK प्रारंभिक स्वीकार ऑफर JPY 49,800(करापूर्वी)
एका Go फंक्शनपासून सुरू करा
कमाल 2 गुणधर्म
गोपनीय कोड
सार्वजनिक फॉर्ममध्ये द्यावा लागत नाही
पुन्हा तपासता येणारा
पुरावा देतो

MPK सॉल्वर

लाइव्ह
refund.go
func ApplyRefund(paid, refunded, amount int64) (int64, error) {
  if amount < 0 {
    return refunded, errors.New("negative amount")
  }
  if refunded+amount > paid {
    return refunded, errors.New("exceeds paid")
  }
  return refunded + amount, nil
}
गुणधर्म (तपासायचा)

∀ paid, refunded, amount:
0 ≤ refunded + amount ≤ paid

प्रतिउदाहरण सापडले

paid=100, refunded=80, amount=30 हा गुणधर्म भंग करतो.

कर्नलने पडताळले

दुरुस्त केलेले canonical प्रमाणपत्र कर्नलने स्वीकारले.

चाचण्यांपलीकडची खात्रीसामान्य Go पासून सुरू कराविश्वासाच्या निर्णयांपासून AI वेगळे ठेवापुरावा, प्रतिउदाहरणे आणि वगळलेली व्याप्ती दाखवा

30 सेकंदांचा परतावा डेमो

पहिले प्रतिउदाहरण शोधा, मग दुरुस्त आवृत्ती सिद्ध करा.

तयार परतावा कोड वापरून प्रतिउदाहरणापासून दुरुस्तीपर्यंत आणि यशस्वी पुराव्यापर्यंतचा प्रवाह पाहा. सार्वजनिक डेमोमध्ये गोपनीय कोड देण्याची गरज नाही.

परतावा धोरण: एकत्रित परतावे भरलेल्या रकमेपेक्षा जास्त नसावेत

तपासायचा गुणधर्म

0 ≤ refunded + amount ≤ paid
  • लक्ष्य: एक परतावा धोरण फंक्शन
  • इनपुट: ऋण नसलेल्या पूर्णांक संख्या
  • बाह्य I/O, DB आणि नेटवर्क व्याप्तीबाहेर आहेत
  • स्पष्ट गृहितके आणि Go उपसंच यांच्या मर्यादेत तपासले

पडताळणी निकाल (दोषयुक्त अंमलबजावणी)

प्रतिउदाहरण सापडले

एकत्रित परतावा भरलेल्या रकमेपेक्षा जास्त होतो असे ठोस इनपुट आम्हाला सापडले.

paid = 100
refunded = 80
amount = 30
result = 110 (गुणधर्म भंग)

तांत्रिक तपशील

Run ID
run_refund_bug_20260727
प्रमाणपत्र हॅश
— प्रतिउदाहरण सापडल्यामुळे तयार केले नाही
कर्नलचा निर्णय
नाकारले / प्रतिउदाहरण
स्वयंसिद्ध अहवाल
पूर्णांक अंकगणित / स्पष्ट गृहितके

निकाल वर्गीकरण

चार प्रकारचे निकाल

सिद्ध

स्पष्ट गृहितके आणि व्याप्ती यांच्या मर्यादेत निर्दिष्ट गुणधर्म टिकतो.

सिद्ध
प्रतिउदाहरण सापडले

गुणधर्म भंग करणारे ठोस इनपुट दाखवतो आणि कोणती अट दुरुस्त करावी लागेल ते स्पष्ट करतो.

खोटे ठरले
अज्ञात

सध्याची पद्धत गुणधर्म टिकतो का हे ठरवू शकत नसल्यास ते स्पष्टपणे नोंदवतो.

अज्ञात
व्याप्तीबाहेर

असमर्थित वाक्यरचना, बाह्य I/O किंवा असमर्थित वर्तन यांसारख्या कारणांमुळे लक्ष्य हाताळता येत नसल्यास ती कारणे स्पष्ट करतो.

लागू नाही

चाचण्यांपेक्षा फरक

आम्ही फक्त निवडक इनपुट नव्हे, तर निर्दिष्ट गुणधर्म तपासतो.

चाचणी (उदाहरणांवर आधारित)

  • तुम्ही लिहिलेली प्रकरणे चालवते
  • निवडलेले नसलेले इनपुट तपासले जात नाहीत
  • पास झालेला निकाल प्रमाणपत्र नसतो
  • विश्वास चाचणी डिझाइनवर अवलंबून असतो

MPK Assurance (पुरावा)

  • निर्दिष्ट गुणधर्म आणि व्याप्ती तपासते
  • गुणधर्म मोडणारे ठोस इनपुट दाखवते
  • पुन्हा तपासता येणारे प्रमाणपत्र आणि हॅश ठेवते
  • स्वतंत्र कर्नल अंतिम निर्णय देतो
तुलनाचाचणीपुरावा
लक्ष्यनिवडक इनपुटनिर्दिष्ट गुणधर्म
प्रतिउदाहरण प्रदर्शन△○
पुन्हा तपासणीअंमलबजावणी लॉगप्रमाणपत्र
अंतिम निर्णयचाचणी संचकर्नल

3 वैशिष्ट्ये

चाचण्यांपलीकडची खात्री

आम्ही काही नमुना इनपुटवरच नाही, तर स्पष्ट तपशील, गृहितके आणि व्याप्ती यांच्या आधारावर गुणधर्म तपासतो.

विशेष पुरावा भाषा नव्हे, Go वापरा

बाह्य I/O पासून वेगळे केलेल्या महत्त्वाच्या Go धोरण फंक्शनपासून तुम्ही सुरू करू शकता.

AI ला पुरावा तयार करू द्या, पण AI वर विश्वास ठेवू नका

AI फक्त उमेदवार तयार करते. canonical प्रमाणपत्र वाचणारा स्वतंत्र कर्नल अंतिम स्वीकार करतो.

काम AI ला करू द्या. अंतिम निर्णय AI कडे देऊ नका.

ग्राहकGo फंक्शन आणि हमी द्यायचा गुणधर्म द्या
Geminiगुणधर्म, रणनीती आणि पुरावा उमेदवार सुचवते
MPKप्रमाणपत्रे स्वतंत्रपणे तपासणारी विश्वास-सीमा
मानवतपशील, गृहितके आणि गोपनीयता निश्चित करा
पुरावापुन्हा तपासता येणारा पुरावा संच द्या

Gemini पुरावा कार्यप्रवाह चालवते, MPK विश्वासाचा निर्णय देते आणि मानव वितरण मंजूर करतो.

पडताळणी उपयुक्त ठरणारी वापरप्रकरणे

परतावेएकत्रित परतावे भरलेल्या रकमेपेक्षा जास्त नसावेत
शुल्ककधीही ऋण नाही आणि करार मर्यादेपेक्षा कधीही जास्त नाही
राखीव रक्कमप्रक्रियेनंतरची शिल्लक किमान मर्यादेपेक्षा खाली जात नाही
सवलतीसवलती एकत्र आल्या तरी मर्यादेत राहते
पॉइंट्सजारी केलेले पॉइंट्स बजेट मर्यादेपेक्षा जास्त होत नाहीत
वितरणवितरित रक्कम मूळ मुद्दलाशी जुळते

पुरावा संच

आम्ही AI उत्तर नव्हे, पुन्हा तपासता येणारा पुरावा देतो.

MPK प्रमाणपत्र

पुरावा-तयारी पुनरावलोकन
प्रमाणित प्रमाणपत्र नोंद

कर्नल निर्णय
स्वीकारले
MPK
  • प्रमाणपत्र हॅश
  • MPK कर्नल निर्णय
  • Go संदर्भ तपासक निकाल
  • स्वयंसिद्ध अहवाल
  • सिद्ध गुणधर्म आणि नमूद गृहितके
  • वगळलेली व्याप्ती आणि व्याप्तीबाहेरची कारणे
  • प्रतिउदाहरण, सापडल्यास
  • Run ID आणि पुन्हा तपासणी माहिती

पुरावा-तयारी पुनरावलोकन

निश्चित व्याप्तीत तुमचे पहिले फंक्शन पुनरावलोकन करा.

JPY 198,000 (करापूर्वी)
  • एक Go फंक्शन
  • सिद्ध करण्यासाठी कमाल 2 गुणधर्म
  • निकाल सिद्ध, प्रतिउदाहरण, अज्ञात किंवा व्याप्तीबाहेर असे वर्गीकृत करते
  • पुरावा संच आणि निकालांचे ऑनलाइन स्पष्टीकरण
प्रारंभिक स्वीकार ऑफर पाहा

ही नियोजित सामान्य किंमत आहे. सध्या आम्ही पहिल्या 5 कंपन्यांपुरती, करापूर्वी JPY 49,800 किंमतीची प्रारंभिक स्वीकार मोहीम चालवत आहोत.

MPK प्रारंभिक स्वीकार ऑफर

पहिल्या 5 कंपन्यांपुरते मर्यादित

तुमचा महत्त्वाचा Go कोड फक्त तपासता येतो का नव्हे, तर सिद्धही करता येतो का ते तपासा.

MPK पुरावा-तयारी पुनरावलोकनात आम्ही एक लक्ष्य Go फंक्शन निवडतो, हमी द्यायचा गुणधर्म परिभाषित करतो, AI वापरून पुरावा उमेदवार तयार करतो आणि MPK कर्नलद्वारे स्वतंत्र तपासणी चालवतो.

काय समाविष्ट आहे

  • एक Go फंक्शन
  • सिद्ध करण्यासाठी कमाल 2 गुणधर्म
  • MPK सुसंगतता मूल्यांकन
  • पुरावे, प्रतिउदाहरणे, पुरावा अडथळे आणि व्याप्तीबाहेरच्या बाबींवरील अहवाल
  • पुरावा व्याप्ती आणि गृहितके सारांशित करणारा अहवाल

मोहीम अटी

ही ऑफर सेवा पूर्ण झाल्यानंतर स्पष्ट अभिप्राय देऊ शकणाऱ्या आणि MPK अधिकृत साइटवर प्रकाशित होणाऱ्या केस स्टडीला मंजुरी देऊ शकणाऱ्या कंपन्यांसाठी आहे. केस स्टडीमध्ये कंपनीचे नाव, संपर्क व्यक्तीचे नाव, पद, अभिप्राय आणि प्रतिनिधी फोटो किंवा कंपनी लोगो असू शकतो.

कंपनीचे नावनावपदअभिप्रायप्रतिनिधी फोटो किंवा कंपनी लोगो
प्रकाशनापूर्वी तुम्ही मजकूर तपासाल आणि आम्ही फक्त मंजूर सामग्री वापरू. आम्ही अनुकूल समीक्षा मागत नाही.

सेवा प्रवाह

सेवा प्रवाह (5 टप्पे)

शोध

नुकसान करू शकणारा अपयश प्रसंग आणि लक्ष्य फंक्शन निश्चित करा.

व्याप्ती निश्चिती

फंक्शन, गुणधर्म, गृहितके आणि वगळलेली व्याप्ती निश्चित करा.

Gemini + MPK पुनरावलोकन

AI उमेदवार तयार करते आणि MPK प्रमाणपत्र तपासते.

निकालांचे स्पष्टीकरण

पुरावा, प्रतिउदाहरण, अज्ञात निकाल, वगळलेली व्याप्ती आणि पुरावा समजावून पाहा.

पुढील टप्पे

दुरुस्ती, अतिरिक्त फंक्शन्स किंवा CI/CD एकत्रीकरणाकडे जायचे का ते स्पष्ट करा.

सर्वाधिक योग्य

  • तुम्ही Go मध्ये परतावा, शुल्क किंवा शिल्लक तर्क अंमलात आणता
  • एकच दोष आर्थिक नुकसान किंवा लेखापरीक्षणाचा भार निर्माण करू शकतो
  • तुमच्याकडे स्वतंत्र औपचारिक पडताळणी टीम नाही
  • तुमच्याकडे बाह्य I/O पासून वेगळे करता येणारे छोटे फंक्शन आहे

सध्याच्या मर्यादा

  • कोणत्याही संपूर्ण Go अनुप्रयोगाचा पुरावा
  • DB, APIs, नेटवर्क किंवा UI समाविष्ट करणारी सुरुवातीपासून शेवटपर्यंतची प्रक्रिया
  • प्रत्येक सुरक्षा त्रुटीचा शोध
  • असमर्थित वाक्यरचना, बाह्य अवलंबित्वे किंवा अस्पष्ट तपशील

FAQ

पहिल्या सल्लामसलतीपूर्वीचे FAQ

आमच्याशी संपर्क करण्यापूर्वी येणाऱ्या सामान्य प्रश्नांची उत्तरे येथे आहेत: पुरावा व्याप्ती, AI ची भूमिका आणि कोड कसा हाताळला जातो.

यामुळे सर्व bug संपतात का?

नाही. आम्ही निर्दिष्ट गुणधर्म फक्त स्पष्ट गृहितके, व्याप्ती आणि समर्थित Go उपसंच यांच्या मर्यादेत तपासतो. यामुळे संपूर्ण अनुप्रयोग किंवा बाह्य प्रणालींची हमी मिळत नाही.

Lean किंवा Rocq शिकावे लागेल का?

पहिल्या पुनरावलोकनासाठी नाही. बाह्य I/O पासून वेगळे केलेले Go धोरण फंक्शन आणि तुम्हाला हमी द्यायचा गुणधर्म निश्चित करून आम्ही सुरू करतो.

काय बरोबर आहे हे AI ठरवते का?

नाही. Gemini गुणधर्म, पुरावा रणनीती आणि पुरावा उमेदवार तयार करते. स्वतंत्र MPK कर्नल अंतिम प्रमाणपत्र स्वीकारतो किंवा नाकारतो.

पुरावा अयशस्वी झाला तर काय होते?

निकाल प्रतिउदाहरण, अज्ञात किंवा व्याप्तीबाहेर असा वर्गीकृत करून कारण, आवश्यक तपशील, शक्य दुरुस्ती आणि सिद्ध करता येणारा घटक कसा वेगळा करायचा ते स्पष्ट करतो.

हे CI/CD मध्ये जोडता येईल का?

पुरावा-तयारी पुनरावलोकनाने लक्ष्य आणि पुरावा शक्यता निश्चित केल्यानंतर, सतत तपासण्या किंवा CI/CD एकत्रीकरण स्वतंत्रपणे सुचवू शकतो.

चौकशीसोबत कोड पाठवावा लागेल का?

सार्वजनिक फॉर्ममध्ये गोपनीय कोड पेस्ट करण्याची गरज नाही. चौकशीनंतर NDA हाताळणी आणि सुरक्षित शेअरिंग पद्धत आम्ही निश्चित करू.

संपर्क

तुमचा कोड सिद्ध करता येतो का ते तपासा.

कोणता अपयश प्रसंग सर्वाधिक महत्त्वाचा आहे आणि कोणते Go फंक्शन पुनरावलोकनासाठी हवे आहे ते सांगा. सार्वजनिक फॉर्ममध्ये गोपनीय कोड पेस्ट करण्याची गरज नाही.

NDA आणि सुरक्षित कोड शेअरिंग समर्थित

सार्वजनिक फॉर्ममध्ये स्रोत कोड, प्रवेश-गुपिते किंवा वैयक्तिक डेटा टाकू नका.

पूर्वावलोकन सबमिशन मिळाले. उत्पादन साइटवर हे विद्यमान चौकशी प्रवाहाशी जोडा.