← Ғылым-ке
Алдымен әдіс, содан кейін қорытынды · кандидат
Әдіс карталары
Әдістің мақсатын, кірісін, қадамдарын, шектеуін, нұсқасын және белгілі қателерін көрсетеді.
жобаНұсқа 1.1.0
Желіге шықпай жинау нысанын алдын ала тексеру
Оқшауланған орындаушы желіге шықпай тұрып қауіпті мекенжайды, қайта бағыттауды және DNS күйін қабылдамау.
Кірістер
- қалыпқа келтірілген нысан мекенжайы
- орындаушы берген қайта бағыттау және DNS бақылаулары
Нәтиже
- қағида бойынша рұқсат шешімі
- желіге шықпай берілетін тұрақты бұғаттау коды
Орындау тәртібі
- Мекенжайды DNS сұрауын және желілік қосылымды орындамай талдап, қалыпқа келтіру.
- Тіркелгі деректерін, қолдау көрсетілмейтін сызбаларды, қауіпті порттарды және жергілікті мекенжайларды қабылдамау.
- Сенімді орындаушының бақылаулары берілсе, оларды тексеріп, бір рұқсат шешімін қайтару.
- Қауіпті бақылау жиынтығын қайталап, нәтижеге детерминирленген квитанция хэшін бекіту.
Белгілі қателер және жалған сәйкестіктер
- Жалпыға қолжетімді домен осы тексеруден кейін жеке мекенжайға шешілуі мүмкін.
- Сырттан берілген DNS бақылауы ескірген немесе сенімсіз болуы мүмкін.
- Синтаксистік рұқсат дереккөз шарттары бойынша жинауға рұқсат бермейді.
Карта шектеулері
- Әдіс DNS сұрауын, қосылуды, қайта бағыттауды немесе контент жинауды орындамайды.
- Сенімді оқшауланған орындаушыдан тыс берілген DNS бақылауы беделді дерек емес.
- Алдын ала тексеруден өту заңдық немесе дереккөз шарты бойынша рұқсат бермейді.
Қайталау жолы
Команда он екі қауіпсіз және қауіпті синтетикалық мекенжайды желіге шықпай тексеріп, барлық күтілетін шешім сәйкес болғанда pass нәтижесін береді.
Пәрменpython scripts/verify_benchmarks.py --benchmark capture-policy
- Жауапты
owner:science
- Соңғы рецензия
- Рецензия тағайындалмаған
- Бақылау жиындары
science/benchmarks/capture-policy-hostile-v1.json
жобаНұсқа 1.1.0
Дәлелдер контурыДереккөзден қорытындыға дейінгі барлық қадамды, нұсқаны, шектеуді және адам шешімін байланыстыратын дәлелдер тізбегі. келісімшартын тексеру
Шектеулі зерттеудің дереккөздерді, іздеу қамтуын, дәлелШығу тегі, уақыты, тұтастық күйі және нақты дереккөз нұсқасына сілтемесі сақталған зерттеу материалы. якорьлерін, бөлек бағалау өлшемдерін, адам тексеруін және аудиттелетін шифрланған экспортты сақтай алатынын тексеру.
Кірістер
- синтетикалық дереккөз паспортыДереккөздің иесін, құқықтық негізін, қамтуын, жаңаруын, тәуекелін және жинауға рұқсат күйін сипаттайтын нұсқаланған жазба. және өзгермейтін нұсқа
- шектеулі синтетикалық іздеу әрекетіСұрауды, тексерілген дереккөздерді, уақыт аралығын, нәтижелерді, қателер мен алып тастауларды бекітетін бір іздеу орындалуы.
- синтетикалық дәлел материалы және тұжырымДәлелдермен, қамту шекарасымен және адам бағалауымен жеке тексеруге болатын атомарлық тұжырым.
Нәтиже
- қамту шекарасыҚандай дереккөздер мен кезең тексерілгенін және қорытындыны қай шектен тыс қолдануға болмайтынын көрсететін міндетті жазба. және дәлел якоріҚорытындыны қолдайтын құжаттағы, беттегі, суреттегі немесе медиадағы нақты фрагментке нұсқау.
- адамның рецензия шешімі
- тексерілген аудит желісі және шифрланған кейс пакетіКейс жазбаларын, аудит дәлелін және манифестті тұтастық тексеруімен тасымалдауға арналған шифрланған контейнер.
Орындау тәртібі
- Оқшауланған уақытша дәлел қоймасын жасап, синтетикалық сатып алу кейсін дайындау.
- Дереккөз нұсқасын, шектеулі іздеу әрекетін, қамту шекарасын және якорьленген дәлелді тіркеу.
- Дәлелге байланған тұжырым жасап, экспортқа дейін адамның рецензия шешімін талап ету.
- Шифрланған пакетті шығарып, аудит желісін қайталап, барлық контент хэшін тексеру.
Белгілі қателер және жалған сәйкестіктер
- Бекітілген нұсқасы жоқ өзгермелі дереккөз кейінгі қайталанымдылықты бұзады.
- Шекарасы көрсетілмеген іздеу деректің жоқтығы туралы тұжырымды қолдамайды.
- Дұрыс контент хэші сәйкестікті, дәлдікті немесе дереккөз тәуелсіздігін дәлелдемейді.
Карта шектеулері
- Синтетикалық жинақ нақты адамды, ұйымды, сатып алуды немесе оқиғаны сипаттамайды.
- Жергілікті UTC сенімді уақыт болып саналмайды.
- Әдіс нақты жинау, OCR, іздеу немесе модель сапасын өлшемейді.
- Әдістен өту өндірістік жұмысқа немесе жеке деректерді өңдеуге рұқсат бермейді.
Қайталау жолы
Команда синтетикалық кейсті басынан шифрланған экспортқа дейін жүргізіп, аудит желісі мен барлық дәлел хэшін қайта тексереді.
Пәрменpython scripts/verify_evidence_spine.py
- Жауапты
owner:science-lead
- Соңғы рецензия
- Рецензия тағайындалмаған
- Бақылау жиындары
- жоқ
жобаНұсқа 1.1.0
Ұйым ішіндегі көптілді іздеудің бастапқы өлшемі
Өндірістік іздеу иесін таңдауға дейін кейс аясындағы детерминирленген іздеуді өлшеу.
Кірістер
- рұқсат етілген құрылымдалған кейс өрістері
- қазақ, орыс және ағылшын тілдеріндегі синтетикалық сұраулар
Нәтиже
- хэшке байланған реттелген жазба сілтемелері
- оң, теріс және бос нәтиже өлшемдері
Орындау тәртібі
- Уақытша дерекқорда бір синтетикалық ұйым мен шектеулі сатып алу кейсін дайындау.
- Ұйымдар арасында жазба бөліспей, әр тілге арналған тұжырымдарды жасау.
- Қазақ, орыс және ағылшын тілдеріндегі тексерілген оң және теріс сұрауларды орындау.
- Жазба сәйкестендіргіштерін дәл салыстырып, өлшемдерге детерминирленген квитанция хэшін бекіту.
Белгілі қателер және жалған сәйкестіктер
- Фикстурадан тыс септік, транслитерацияАтауды басқа жазу жүйесіне ауыстыру ережесі; ол сәйкестендіруді жеңілдетеді, бірақ identity дәлелі емес. және синонимдер бос нәтиже беруі мүмкін.
- Ішкі жол бойынша сәйкестік нақты тұжырыммен бірге кең кейс жазбасын да жоғары қоюы мүмкін.
- Бос нәтиже тек шектеулі индекстелген өрістерде сәйкестік болмағанын білдіреді.
Карта шектеулері
- Бұл шектеулі сызықтық бастапқы өлшем өндірістік іздеу жүйесі емес.
- Морфология, семантикалық, векторлық немесе ұйымдар арасындағы іздеу жоқ.
- Синтетикалық бақылау Қазақстандағы нақты релеванттық сапасын дәлелдемейді.
Қайталау жолы
Команда уақытша дерекқорда тоғыз сұрауды орындап, алты оң және үш теріс бақылаудың күтілетін жазбалармен дәл сәйкесуін тексереді.
Пәрменpython scripts/verify_benchmarks.py --benchmark local-search
- Жауапты
owner:science
- Соңғы рецензия
- Рецензия тағайындалмаған
- Бақылау жиындары
science/benchmarks/local-search-multilingual-v1.json
Ғылым бөлімдерінің картасы
Әдістемелік беттерде бөлек күй бар; жоба жарияланым болып көрсетілмейді.
Әдіс карталарыӘдістің мақсатын, кірісін, қадамдарын, шектеуін, нұсқасын және белгілі қателерін көрсетеді.кандидат
Бақылау жиындарыСинтетикалық бақылау жиындары тек анықтамалық іске асыруын тексереді.кандидат
Деректер карталарыКорпустың шығу тегін, лицензиясын, кезеңін, өрістерін, өзектілігін және шектеуін көрсетеді.кандидат
ҚайталанымдылықҚауіпсіз сценарийді, сынама, хэш, құрал нұсқасы және квитанциямен қайталауға көмектеседі.кандидат
Теріс нәтижелерЖұмыс істемеген гипотезаны, бас тарту себебін және келесі тексеру қадамын сақтайды.кандидат
Ғылым басқаруыӘдіс пен дерек карточкасының жауапты иесі, тексеру және шығарылым шартын көрсетеді.кандидат
Ғылым өзгерістеріӘдіс, деректер және бақылау жиындары нұсқаларының мағыналы өзгерістерін дәлелмен сақтайды.кандидат