Lau motatako aurkikuntzak
Egiaztapenak aurkikuntza guztiak lau motatan sailkatzen ditu, horietatik lehenengo motak bakarrik frogatzen duelarik FETek ordutegia ezin duela eraiki.
Egiaztapen tresna gehienek beren aurkikuntzak zein larriak iruditzen zaizkienaren arabera ordenatzen dituzte. Honek, berriz, frogatu dezakeenaren arabera ordenatzen ditu. Txostenak lau mota erakusten ditu, beti ordena honetan.
Mota bakoitza fitxa bat da, bere zenbaketarekin. Ezer aurkitu ez duen mota batek ez du fitxarik, beraz, ez duzu hutsik dagoen bat ikusiko.
Ezinezkoa dela frogatuta
Pantailan: Aritmetika, ez asmakizun bat.
Egiaztapenak hemen aurkitutako guztiak zenbaketaren bidez lortzen ditu. Konprometitutako orduak libre dauden tarteekin alderatzen ditu. Jarduera baten hasiera-ordu legalak ezerezean uzten ditu. Aldi berean exekutatu eta irakasle bera partekatu behar duten bi jarduera aurkitzen ditu.
Aurkikuntza horien arabera jardun dezakezu, zuk zeuk egiaztatu gabe. Txostenak jarduera batek hasiera-ordu legalik ez duela esaten badu, ebazleak ere ezin du bat aurkitu.
Hau da tresnaren kontratua. Egiaztapenak ez du inoiz frogatu ezin duen aurkikuntzarik jakinarazten hemen. Alarma faltsu bat ematen duen tresna bat sinesteari uzten diozun tresna da.
Akatsak
Pantailan: Hemen dagoena ziurrenik ez da zuk nahi zenuena.
Aurkikuntza hauek ez dute ebazpen bat gelditzen. Zure arauek ziurrenik nahi ez zenuen zerbait esaten dutela erakusten dute.
- Arau batek jada existitzen ez den zerbait seinalatzen du.
- Arau batek desaktibatu duzun jarduera bat du helburu.
- Bi arauk gauza bera esaten dute.
- Lehentasun leun bat ezin da inoiz aplikatu, beraz, FETek ez du kontuan hartzen.
Horietako inork ez du ordutegi bat ezinezko bihurtzen. Inork ulertzen ez dituen arauek hurrengo hiruhilekoko misterioa eragiten dute.
Zerk zailtzen duen fitxategi hau
Pantailan: Hau ez da arazo bat. Ebazleak egin beharreko lana da.
Hemen ezer ez dago gaizki. Mota honek zure fitxategiko presioa deskribatzen du. Ia lekurik geratzen ez zaien jarduerak izendatzen ditu. Astearen zati estuak izendatzen ditu.
⚠ Irakurri mota hau astea estutu aurretik.
Goiburuak aldatu egiten dira ebatzitako fitxategi baterako. Orduan Zerk zaildu zuen fitxategi hau irakurtzen da, lana amaituta dagoelako.
Zer exekutatu zen fitxategi honetan
Pantailan: Zerrendatzen eta zenbatzen ditugun arau motak, inoiz ez epaitu.
Mota hau isila da, eta egiaztapenari buruzko informazioa ematen du, zure fitxategiari buruzkoa baino gehiago. Zenbatu dituen arau motak zerrendatzen ditu. Zure ebazle moduak egiaztapen bat exekutatzea eragozten duenean esaten dizu. Egiaztapena fitxategi oso handi batean goiz gelditu zenean esaten dizu.
Irakurri mota hau txostena espero zenuena baino hutsagoa iruditzen zaizunean. Normalean zergatia azaltzen du.
Falta den fitxa bat ez da berme bat
Egiaztapenak frogatu dezakeena jakinarazten du. Ez du esan nahi gainerako guztia zuzena denik.
"Ezinezkoa dela frogatuta" fitxarik ez egoteak "ez da ezer ezinezkoa dela frogatu" esan nahi du. Ez du esan nahi "hau ebatziko da" denik.
⚠ Hau da orrialdeko esaldirik garrantzitsuena, eta pantailak erraz galtzen uzten du: fitxa, besterik gabe, ez dagoelako, beraz, ez dago ezer irakurtzeko eta ezer klik egiteko. Absentzia da emaitza ona, ez osoa.
Ordutegi bat aritmetikoki posible izan daiteke eta hala ere FETek denbora luzea har dezake. Oraindik ere arauak lasaitu beharko ditu, lehorreratu aurretik. Ikusi Zer ezin dizun esan.