{"id":485357,"date":"2026-06-28T17:58:21","date_gmt":"2026-06-28T17:58:21","guid":{"rendered":"https:\/\/savepearlharbor.com\/?p=485357"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=485357","title":{"rendered":"HTCE: \u043a\u043e\u0433\u043d\u0438\u0442\u0438\u0432\u043d\u043e\u0435 \u044f\u0434\u0440\u043e \u043d\u043e\u0432\u043e\u0433\u043e \u043f\u043e\u043a\u043e\u043b\u0435\u043d\u0438\u044f, \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u043d\u0435 \u0432\u0435\u0440\u0438\u0442 \u0431\u0435\u0437 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432"},"content":{"rendered":"<div xmlns=\"http:\/\/www.w3.org\/1999\/xhtml\">\n<p>\u0411\u043e\u043b\u044c\u0448\u0438\u043d\u0441\u0442\u0432\u043e \u0441\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445 AI-\u0441\u0438\u0441\u0442\u0435\u043c \u043f\u044b\u0442\u0430\u044e\u0442\u0441\u044f \u0432\u044b\u0433\u043b\u044f\u0434\u0435\u0442\u044c \u0443\u043c\u043d\u044b\u043c\u0438: \u043e\u043d\u0438 \u0431\u044b\u0441\u0442\u0440\u043e \u043e\u0442\u0432\u0435\u0447\u0430\u044e\u0442, \u043a\u0440\u0430\u0441\u0438\u0432\u043e \u0444\u043e\u0440\u043c\u0443\u043b\u0438\u0440\u0443\u044e\u0442, \u0443\u0432\u0435\u0440\u0435\u043d\u043d\u043e \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0430\u044e\u0442 \u0438 \u0447\u0430\u0441\u0442\u043e \u0441\u043e\u0437\u0434\u0430\u044e\u0442 \u043e\u0449\u0443\u0449\u0435\u043d\u0438\u0435 \u043f\u043e\u043d\u0438\u043c\u0430\u043d\u0438\u044f. \u041d\u043e \u0435\u0441\u0442\u044c \u043d\u0435\u043f\u0440\u0438\u044f\u0442\u043d\u0430\u044f \u0441\u0442\u043e\u0440\u043e\u043d\u0430: \u0442\u0430\u043a\u0430\u044f \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u043c\u043e\u0436\u0435\u0442 \u0437\u0432\u0443\u0447\u0430\u0442\u044c \u0443\u0432\u0435\u0440\u0435\u043d\u043d\u043e \u0434\u0430\u0436\u0435 \u0442\u043e\u0433\u0434\u0430, \u043a\u043e\u0433\u0434\u0430 \u0443 \u043d\u0435\u0451 \u043d\u0435\u0442 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432.<\/p>\n<p>HTCE \u2014 \u044d\u0442\u043e \u043f\u043e\u043f\u044b\u0442\u043a\u0430 \u043f\u043e\u0441\u0442\u0440\u043e\u0438\u0442\u044c \u0434\u0440\u0443\u0433\u043e\u0439 \u0442\u0438\u043f \u0438\u0441\u043a\u0443\u0441\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0433\u043e \u0438\u043d\u0442\u0435\u043b\u043b\u0435\u043a\u0442\u0430.<\/p>\n<p>\u041d\u0435 \u201c\u0431\u043e\u043b\u0442\u0430\u043b\u043a\u0443\u201d. \u041d\u0435 \u201c\u043c\u0430\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0430\u0432\u0442\u043e\u043f\u0438\u043b\u043e\u0442\u201d. \u041d\u0435 \u043e\u0447\u0435\u0440\u0435\u0434\u043d\u0443\u044e \u043e\u0431\u043e\u043b\u043e\u0447\u043a\u0443 \u0432\u043e\u043a\u0440\u0443\u0433 LLM.<\/p>\n<p>HTCE \u2014 \u044d\u0442\u043e <strong>\u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043a\u043e\u0433\u043d\u0438\u0442\u0438\u0432\u043d\u044b\u0439 runtime<\/strong>: \u0441\u0438\u0441\u0442\u0435\u043c\u0430, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0443\u043c\u0435\u0435\u0442 \u043f\u043e\u043c\u043d\u0438\u0442\u044c \u0444\u0430\u043a\u0442\u044b, \u0432\u0438\u0434\u0435\u0442\u044c \u043f\u0440\u043e\u0442\u0438\u0432\u043e\u0440\u0435\u0447\u0438\u044f, \u0441\u0442\u0440\u043e\u0438\u0442\u044c \u043e\u0441\u0442\u043e\u0440\u043e\u0436\u043d\u044b\u0435 \u0433\u0438\u043f\u043e\u0442\u0435\u0437\u044b, \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0442\u044c \u043f\u043b\u0430\u043d\u044b \u0432\u043d\u0435\u0448\u043d\u0438\u043c\u0438 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u043c\u0438 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u0430\u043c\u0438 \u0438 \u043f\u0440\u0438 \u044d\u0442\u043e\u043c \u043d\u0435 \u0440\u0430\u0437\u0440\u0435\u0448\u0430\u0435\u0442 \u043d\u0438 \u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u0435\u043b\u044e, \u043d\u0438 solver-\u0443, \u043d\u0438 \u0432\u0430\u043b\u0438\u0434\u0430\u0442\u043e\u0440\u0443 \u043d\u0430\u043f\u0440\u044f\u043c\u0443\u044e \u0437\u0430\u043f\u0438\u0441\u044b\u0432\u0430\u0442\u044c \u201c\u0438\u0441\u0442\u0438\u043d\u0443\u201d \u0432 \u044f\u0434\u0440\u043e.<\/p>\n<p>\u0415\u0441\u043b\u0438 \u043e\u0431\u044b\u0447\u043d\u0430\u044f LLM \u043f\u043e\u0445\u043e\u0436\u0430 \u043d\u0430 \u0442\u0430\u043b\u0430\u043d\u0442\u043b\u0438\u0432\u043e\u0433\u043e \u0438\u043c\u043f\u0440\u043e\u0432\u0438\u0437\u0430\u0442\u043e\u0440\u0430, \u0442\u043e HTCE \u0431\u043b\u0438\u0436\u0435 \u043a \u0438\u043d\u0436\u0435\u043d\u0435\u0440\u0443-\u0430\u0443\u0434\u0438\u0442\u043e\u0440\u0443 \u0432\u043d\u0443\u0442\u0440\u0438 \u0441\u0435\u0439\u0444\u0430.<\/p>\n<p>\u041e\u043d\u0430 \u043c\u043e\u0436\u0435\u0442 \u0434\u0443\u043c\u0430\u0442\u044c. \u041e\u043d\u0430 \u043c\u043e\u0436\u0435\u0442 \u0441\u043e\u043c\u043d\u0435\u0432\u0430\u0442\u044c\u0441\u044f. \u041e\u043d\u0430 \u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0442\u044c. \u041d\u043e \u043e\u043d\u0430 \u043d\u0435 \u0438\u043c\u0435\u0435\u0442 \u043f\u0440\u0430\u0432\u0430 \u0432\u0435\u0440\u0438\u0442\u044c \u0431\u0435\u0437 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432.<\/p>\n<hr\/>\n<h3>\u041f\u0440\u043e\u0431\u043b\u0435\u043c\u0430: \u0438\u043d\u0442\u0435\u043b\u043b\u0435\u043a\u0442 \u0431\u0435\u0437 \u0434\u0438\u0441\u0446\u0438\u043f\u043b\u0438\u043d\u044b \u0438\u0441\u0442\u0438\u043d\u044b<\/h3>\n<p>\u0421\u0435\u0433\u043e\u0434\u043d\u044f AI \u0447\u0430\u0441\u0442\u043e \u043e\u0446\u0435\u043d\u0438\u0432\u0430\u044e\u0442 \u043f\u043e \u0440\u0430\u0437\u0433\u043e\u0432\u043e\u0440\u043d\u043e\u0439 \u0433\u0438\u0431\u043a\u043e\u0441\u0442\u0438. \u0415\u0441\u043b\u0438 \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u043a\u0440\u0430\u0441\u0438\u0432\u043e \u043e\u0442\u0432\u0435\u0447\u0430\u0435\u0442, \u043a\u0430\u0436\u0435\u0442\u0441\u044f, \u0447\u0442\u043e \u043e\u043d\u0430 \u201c\u043f\u043e\u043d\u0438\u043c\u0430\u0435\u0442\u201d. \u041d\u043e \u0432 \u0438\u043d\u0436\u0435\u043d\u0435\u0440\u043d\u044b\u0445, \u044e\u0440\u0438\u0434\u0438\u0447\u0435\u0441\u043a\u0438\u0445, \u0440\u043e\u0431\u043e\u0442\u043e\u0442\u0435\u0445\u043d\u0438\u0447\u0435\u0441\u043a\u0438\u0445, \u0444\u0438\u043d\u0430\u043d\u0441\u043e\u0432\u044b\u0445 \u0438 safety-critical \u0437\u0430\u0434\u0430\u0447\u0430\u0445 \u0432\u0430\u0436\u043d\u0435\u0435 \u0434\u0440\u0443\u0433\u043e\u0435:<\/p>\n<ul>\n<li>\n<p>\u043e\u0442\u043a\u0443\u0434\u0430 \u0432\u0437\u044f\u043b\u0441\u044f \u0444\u0430\u043a\u0442;<\/p>\n<\/li>\n<li>\n<p>\u0447\u0442\u043e \u0434\u0435\u043b\u0430\u0442\u044c \u043f\u0440\u0438 \u043a\u043e\u043d\u0444\u043b\u0438\u043a\u0442\u0435 \u0444\u0430\u043a\u0442\u043e\u0432;<\/p>\n<\/li>\n<li>\n<p>\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0441\u0442\u043e\u0438\u0442 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430;<\/p>\n<\/li>\n<li>\n<p>\u043c\u043e\u0436\u043d\u043e \u043b\u0438 \u0434\u043e\u0432\u0435\u0440\u044f\u0442\u044c \u0432\u043d\u0435\u0448\u043d\u0435\u043c\u0443 solver-\u0443;<\/p>\n<\/li>\n<li>\n<p>\u0447\u0442\u043e \u0437\u0430\u043f\u0440\u0435\u0449\u0435\u043d\u043e \u0437\u0430\u043f\u0438\u0441\u044b\u0432\u0430\u0442\u044c \u0432 \u0437\u0430\u0449\u0438\u0449\u0451\u043d\u043d\u043e\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435;<\/p>\n<\/li>\n<li>\n<p>\u043a\u0430\u043a \u043d\u0435 \u043f\u0440\u0435\u0432\u0440\u0430\u0442\u0438\u0442\u044c \u0441\u0438\u0441\u0442\u0435\u043c\u0443 \u0432 \u043c\u0435\u0434\u043b\u0435\u043d\u043d\u0443\u044e \u0431\u044e\u0440\u043e\u043a\u0440\u0430\u0442\u0438\u044e \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432.<\/p>\n<\/li>\n<\/ul>\n<p>HTCE \u0441\u0442\u0440\u043e\u0438\u0442\u0441\u044f \u0432\u043e\u043a\u0440\u0443\u0433 \u0438\u0434\u0435\u0438:<\/p>\n<blockquote>\n<p>\u0418\u043d\u0442\u0435\u043b\u043b\u0435\u043a\u0442 \u2014 \u044d\u0442\u043e \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u0441\u043f\u043e\u0441\u043e\u0431\u043d\u043e\u0441\u0442\u044c \u043e\u0442\u0432\u0435\u0447\u0430\u0442\u044c. \u0418\u043d\u0442\u0435\u043b\u043b\u0435\u043a\u0442 \u2014 \u044d\u0442\u043e \u0441\u043f\u043e\u0441\u043e\u0431\u043d\u043e\u0441\u0442\u044c \u0437\u043d\u0430\u0442\u044c \u0433\u0440\u0430\u043d\u0438\u0446\u044b \u0441\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0433\u043e \u0437\u043d\u0430\u043d\u0438\u044f.<\/p>\n<\/blockquote>\n<hr\/>\n<h3>\u0427\u0442\u043e \u0442\u0430\u043a\u043e\u0435 HTCE \u0447\u0435\u043b\u043e\u0432\u0435\u0447\u0435\u0441\u043a\u0438\u043c \u044f\u0437\u044b\u043a\u043e\u043c<\/h3>\n<p>HTCE \u2014 \u044d\u0442\u043e \u043c\u043e\u0434\u0443\u043b\u044c\u043d\u0430\u044f \u0430\u0440\u0445\u0438\u0442\u0435\u043a\u0442\u0443\u0440\u0430 \u043a\u043e\u0433\u043d\u0438\u0442\u0438\u0432\u043d\u043e\u0433\u043e \u044f\u0434\u0440\u0430:<\/p>\n<pre><code>Core  \u2014 \u0437\u0430\u0449\u0438\u0449\u0451\u043d\u043d\u043e\u0435 \u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0435 \u044f\u0434\u0440\u043eAIR   \u2014 \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0438\u0439 \u044f\u0437\u044b\u043a \u0438 policy-gatesBody  \u2014 \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u043a\u0430 \u0441\u043e\u0431\u044b\u0442\u0438\u0439 \u0438 L1-\u043d\u0430\u0431\u043b\u044e\u0434\u0435\u043d\u0438\u0439Mind  \u2014 \u0446\u0435\u043b\u0438, \u043f\u043b\u0430\u043d\u044b, skill-chain, macro-skillWorld \u2014 \u043c\u043e\u0434\u0435\u043b\u044c \u043c\u0438\u0440\u0430, \u043f\u0440\u0438\u0447\u0438\u043d\u043d\u044b\u0435 \u0441\u0432\u044f\u0437\u0438, replayLearn \u2014 \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u0435, evidence, resident organism, witness boundaryInterface \u2014 \u0442\u043e\u043d\u043a\u0438\u0439 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0441\u043a\u0438\u0439 \u0441\u043b\u043e\u0439<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:87px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u041a\u043b\u044e\u0447\u0435\u0432\u043e\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u043e \u043f\u0440\u043e\u0435\u043a\u0442\u0430:<\/p>\n<pre><code>modules think;scripts launch;tests verify;documents describe reality.<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u0422\u043e \u0435\u0441\u0442\u044c \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u044b \u0436\u0438\u0432\u0443\u0442 \u0432 \u043c\u043e\u0434\u0443\u043b\u044f\u0445, \u0430 \u043d\u0435 \u0432 <code>run_*<\/code>-\u0441\u043a\u0440\u0438\u043f\u0442\u0430\u0445. \u0421\u043a\u0440\u0438\u043f\u0442 \u043d\u0435 \u0434\u043e\u043b\u0436\u0435\u043d \u0432\u043d\u0435\u0437\u0430\u043f\u043d\u043e \u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u044c\u0441\u044f \u201c\u043c\u043e\u0437\u0433\u043e\u043c\u201d \u0441\u0438\u0441\u0442\u0435\u043c\u044b.<\/p>\n<hr\/>\n<h3>L1, L2, L3: \u0442\u0440\u0438 \u0443\u0440\u043e\u0432\u043d\u044f \u0437\u043d\u0430\u043d\u0438\u044f<\/h3>\n<p>\u0412 HTCE \u0437\u043d\u0430\u043d\u0438\u0435 \u0440\u0430\u0437\u0434\u0435\u043b\u0435\u043d\u043e \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0438.<\/p>\n<div>\n<div class=\"table\">\n<table>\n<tbody>\n<tr>\n<th>\n<p align=\"left\">\u0423\u0440\u043e\u0432\u0435\u043d\u044c<\/p>\n<\/th>\n<th>\n<p align=\"left\">\u0427\u0442\u043e \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442<\/p>\n<\/th>\n<th>\n<p align=\"left\">\u0427\u0442\u043e \u043c\u043e\u0436\u043d\u043e<\/p>\n<\/th>\n<th>\n<p align=\"left\">\u0427\u0442\u043e \u043d\u0435\u043b\u044c\u0437\u044f<\/p>\n<\/th>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">L1<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u041d\u0430\u0431\u043b\u044e\u0434\u0435\u043d\u0438\u0435<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u043f\u0440\u0438\u043d\u044f\u0442\u044c \u0441\u043e\u0431\u044b\u0442\u0438\u0435, \u0437\u0430\u043f\u0438\u0441\u0430\u0442\u044c trace, \u043f\u043e\u0441\u0447\u0438\u0442\u0430\u0442\u044c digest<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u043e\u0431\u044a\u044f\u0432\u0438\u0442\u044c \u0438\u0441\u0442\u0438\u043d\u0443<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">L2<\/p>\n<\/td>\n<td>\n<p align=\"left\">Evidence-backed memory<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u0445\u0440\u0430\u043d\u0438\u0442\u044c \u0444\u0430\u043a\u0442 \u0441 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u043c \u0441\u043b\u0435\u0434\u043e\u043c<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0442\u044c \u0432\u043d\u0435\u0448\u043d\u0438\u0439 verdict \u043a\u0430\u043a \u0430\u0431\u0441\u043e\u043b\u044e\u0442\u043d\u0443\u044e \u0438\u0441\u0442\u0438\u043d\u0443<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">L3<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u041a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u043d\u0430\u044f \u043a\u043e\u0433\u043d\u0438\u0446\u0438\u044f<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u0441\u0442\u0440\u043e\u0438\u0442\u044c \u043f\u0440\u0438\u0447\u0438\u043d\u043d\u044b\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u0430, abstraction, macro-skill<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u043f\u0440\u043e\u0434\u0432\u0438\u0433\u0430\u0442\u044c \u0433\u0438\u043f\u043e\u0442\u0435\u0437\u0443 \u0432 truth<\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<\/div>\n<p>\u041f\u0440\u0438\u043c\u0435\u0440:<\/p>\n<pre><code>Mary is in kitchenWhere is Mary?<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u0421\u0438\u0441\u0442\u0435\u043c\u0430 \u043c\u043e\u0436\u0435\u0442 \u043e\u0442\u0432\u0435\u0442\u0438\u0442\u044c:<\/p>\n<pre><code>Mary is in kitchen.<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u041d\u043e \u0435\u0441\u043b\u0438 \u0437\u0430\u0442\u0435\u043c \u043f\u043e\u0441\u0442\u0443\u043f\u0438\u0442:<\/p>\n<pre><code>Mary is in office<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>HTCE \u043d\u0435 \u0434\u043e\u043b\u0436\u043d\u0430 \u043f\u0440\u043e\u0441\u0442\u043e \u043f\u0435\u0440\u0435\u0437\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u0441\u0442\u0430\u0440\u044b\u0439 \u0444\u0430\u043a\u0442. \u041e\u043d\u0430 \u0434\u043e\u043b\u0436\u043d\u0430 \u0443\u0432\u0438\u0434\u0435\u0442\u044c \u043a\u043e\u043d\u0444\u043b\u0438\u043a\u0442:<\/p>\n<pre><code>conflict detected\u2192 quarantine \/ clarify<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u042d\u0442\u043e \u043d\u0435 \u0441\u043b\u0430\u0431\u043e\u0441\u0442\u044c. \u042d\u0442\u043e \u0447\u0435\u0441\u0442\u043d\u043e\u0441\u0442\u044c.<\/p>\n<hr\/>\n<h3>\u041f\u043e\u0447\u0435\u043c\u0443 \u0432\u043d\u0435\u0448\u043d\u0438\u0439 solver \u2014 \u043d\u0435 \u0431\u043e\u0433<\/h3>\n<p>\u0412 HTCE \u0435\u0441\u0442\u044c \u0432\u043d\u0435\u0448\u043d\u0438\u0439 witness-\u043a\u043e\u043d\u0442\u0443\u0440:<\/p>\n<ul>\n<li>\n<p>Type-1: PDDL \/ VAL \/ Fast Downward-compatible planning witness;<\/p>\n<\/li>\n<li>\n<p>Type-2: SMT-LIB \/ Z3 \/ cvc5 witness;<\/p>\n<\/li>\n<li>\n<p>\u0431\u0443\u0434\u0443\u0449\u0438\u0435 Type-3\/4\/5: simulation, empirical benchmark, operator-reviewed evidence.<\/p>\n<\/li>\n<\/ul>\n<p>\u041d\u043e \u0432\u0430\u0436\u043d\u043e\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u043e:<\/p>\n<pre><code>external verdict \u2260 truthexternal verdict \u2260 authorityexternal verdict \u2260 Core write<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u0415\u0441\u043b\u0438 SMT solver \u0441\u043a\u0430\u0437\u0430\u043b <code>sat<\/code>, \u044d\u0442\u043e \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442 \u0442\u043e\u043b\u044c\u043a\u043e:<\/p>\n<blockquote>\n<p>\u0432 \u0434\u0430\u043d\u043d\u043e\u0439 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u0439 \u043a\u043e\u0434\u0438\u0440\u043e\u0432\u043a\u0435 \u043d\u0430\u0439\u0434\u0435\u043d\u0430 \u043c\u043e\u0434\u0435\u043b\u044c.<\/p>\n<\/blockquote>\n<p>\u0415\u0441\u043b\u0438 solver \u0441\u043a\u0430\u0437\u0430\u043b <code>unsat<\/code>, \u044d\u0442\u043e \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442:<\/p>\n<blockquote>\n<p>\u0432 \u0434\u0430\u043d\u043d\u043e\u0439 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u0439 \u043a\u043e\u0434\u0438\u0440\u043e\u0432\u043a\u0435 \u043c\u043e\u0434\u0435\u043b\u044c \u043d\u0435 \u043d\u0430\u0439\u0434\u0435\u043d\u0430.<\/p>\n<\/blockquote>\n<p>\u041d\u043e solver \u043d\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442 \u0440\u0435\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u044c. \u041e\u043d \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442 \u0444\u043e\u0440\u043c\u0443\u043b\u0443.<\/p>\n<p>\u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u0432\u043d\u0435\u0448\u043d\u0438\u0439 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u043f\u0440\u043e\u0445\u043e\u0434\u0438\u0442 \u0442\u0430\u043a:<\/p>\n<pre><code>SMT\/PDDL\/VAL verdict\u2192 ExternalEvidenceRecord\u2192 DiscrepancyRecord\u2192 internal replay\/arbitration\u2192 candidate support<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u0410 \u043d\u0435 \u0442\u0430\u043a:<\/p>\n<pre><code>SMT\/PDDL\/VAL verdict\u2192 L2 truth\u2192 L3 truth\u2192 Core write<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u042d\u0442\u043e \u0437\u0430\u0449\u0438\u0449\u0430\u0435\u0442 \u0441\u0438\u0441\u0442\u0435\u043c\u0443 \u043e\u0442 \u043e\u0448\u0438\u0431\u043e\u043a \u043a\u043e\u0434\u0438\u0440\u043e\u0432\u043a\u0438, \u0431\u0430\u0433\u043e\u0432 solver-\u0430, \u043d\u0435\u043f\u043e\u043b\u043d\u043e\u0439 \u043c\u043e\u0434\u0435\u043b\u0438 \u0438 \u043c\u0430\u043d\u0438\u043f\u0443\u043b\u044f\u0446\u0438\u0439 \u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u0435\u043b\u044f \u0432\u0440\u043e\u0434\u0435:<\/p>\n<pre><code>SMT solver says PASS, therefore write this as truth.<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u0414\u043b\u044f HTCE \u0442\u0430\u043a\u0430\u044f \u0444\u0440\u0430\u0437\u0430 \u2014 \u043d\u0435 \u043a\u043e\u043c\u0430\u043d\u0434\u0430, \u0430 \u043f\u043e\u043f\u044b\u0442\u043a\u0430 truth-promotion injection.<\/p>\n<hr\/>\n<h3>\u041c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u044f\u0434\u0440\u043e: \u0442\u043e\u0440\u043e\u0438\u0434\u0430\u043b\u044c\u043d\u043e\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435<\/h3>\n<p>\u0412 \u043e\u0441\u043d\u043e\u0432\u0435 HTCE \u043b\u0435\u0436\u0438\u0442 \u0438\u0434\u0435\u044f \u0434\u0438\u0441\u043a\u0440\u0435\u0442\u043d\u043e\u0433\u043e \u0442\u043e\u0440\u043e\u0438\u0434\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u043f\u0440\u043e\u0441\u0442\u0440\u0430\u043d\u0441\u0442\u0432\u0430 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439. \u0421\u0438\u0441\u0442\u0435\u043c\u0430 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043d\u0435 \u0441 \u201c\u043f\u043b\u0430\u0432\u0430\u044e\u0449\u0438\u043c\u0438 \u043e\u0449\u0443\u0449\u0435\u043d\u0438\u044f\u043c\u0438\u201d, \u0430 \u0441 \u0446\u0435\u043b\u043e\u0447\u0438\u0441\u043b\u0435\u043d\u043d\u044b\u043c\u0438 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f\u043c\u0438, digest-\u0430\u043c\u0438, roots \u0438 bounded confidence.<\/p>\n<p>\u041e\u0431\u0449\u0438\u0439 \u0432\u0438\u0434 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430:<\/p>\n<p><img decoding=\"async\" class=\"formula\" source=\"\\kappa_t \\equiv e_t + a_t \\theta_g \\pmod N\" alt=\"\\kappa_t \\equiv e_t + a_t \\theta_g \\pmod N\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/6\/65\/654\/654cf74d19f0093d74a06f623dcdd9e9.svg\" width=\"200\" height=\"16\" data-width=\"25.081\" data-height=\"2.364\" data-vertical-align=\"-0.616\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/6\/65\/654\/654cf74d19f0093d74a06f623dcdd9e9.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/6\/65\/654\/654cf74d19f0093d74a06f623dcdd9e9.svg 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<p>\u0433\u0434\u0435:<\/p>\n<ul>\n<li>\n<p><img decoding=\"async\" class=\"formula inline\" source=\"\\kappa_t\" alt=\"\\kappa_t\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/e\/ec\/ecf\/ecf2684b4c7fc71decb44967fe60a641.svg\" width=\"16\" height=\"16\" data-width=\"2.068\" data-height=\"2.262\" data-vertical-align=\"-0.566\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/e\/ec\/ecf\/ecf2684b4c7fc71decb44967fe60a641.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/e\/ec\/ecf\/ecf2684b4c7fc71decb44967fe60a641.svg 781w\" loading=\"lazy\" decode=\"async\"\/> \u2014 \u0442\u043e\u0440\u043e\u0438\u0434\u0430\u043b\u044c\u043d\u0430\u044f \u043a\u043e\u043e\u0440\u0434\u0438\u043d\u0430\u0442\u0430 \u043e\u043f\u044b\u0442\u0430;<\/p>\n<\/li>\n<li>\n<p><img decoding=\"async\" class=\"formula inline\" source=\"e_t\" alt=\"e_t\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/a\/a1\/a13\/a131aa09a034a4d9d05f7b9161d53a89.svg\" width=\"12\" height=\"12\" data-width=\"1.82\" data-height=\"1.357\" data-vertical-align=\"-0.357\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/a\/a1\/a13\/a131aa09a034a4d9d05f7b9161d53a89.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/a\/a1\/a13\/a131aa09a034a4d9d05f7b9161d53a89.svg 781w\" loading=\"lazy\" decode=\"async\"\/> \u2014 evidence-\u043a\u043e\u043c\u043f\u043e\u043d\u0435\u043d\u0442\u0430;<\/p>\n<\/li>\n<li>\n<p><img decoding=\"async\" class=\"formula inline\" source=\"a_t\" alt=\"a_t\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/1\/11\/111\/11134ff62a3534476fc6cc89687d67bf.svg\" width=\"12\" height=\"12\" data-width=\"1.962\" data-height=\"1.355\" data-vertical-align=\"-0.357\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/1\/11\/111\/11134ff62a3534476fc6cc89687d67bf.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/1\/11\/111\/11134ff62a3534476fc6cc89687d67bf.svg 781w\" loading=\"lazy\" decode=\"async\"\/> \u2014 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0435 \u0438\u043b\u0438 action-basis;<\/p>\n<\/li>\n<li>\n<p><img decoding=\"async\" class=\"formula inline\" source=\"\\theta_g\" alt=\"\\theta_g\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/6\/6b\/6b3\/6b32c559db5bb615828f2d168ca66cd4.svg\" width=\"16\" height=\"16\" data-width=\"2.012\" data-height=\"2.364\" data-vertical-align=\"-0.616\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/6\/6b\/6b3\/6b32c559db5bb615828f2d168ca66cd4.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/6\/6b\/6b3\/6b32c559db5bb615828f2d168ca66cd4.svg 781w\" loading=\"lazy\" decode=\"async\"\/> \u2014 skill-\u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 \u0434\u043b\u044f \u0446\u0435\u043b\u0438 <img decoding=\"async\" class=\"formula inline\" source=\"g\" alt=\"g\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/b\/b2\/b2f\/b2f5ff47436671b6e533d8dc3614845d.svg\" width=\"12\" height=\"12\" data-width=\"1.079\" data-height=\"1.464\" data-vertical-align=\"-0.464\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/b\/b2\/b2f\/b2f5ff47436671b6e533d8dc3614845d.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/b\/b2\/b2f\/b2f5ff47436671b6e533d8dc3614845d.svg 781w\" loading=\"lazy\" decode=\"async\"\/>;<\/p>\n<\/li>\n<li>\n<p><img decoding=\"async\" class=\"formula inline\" source=\"N\" alt=\"N\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/8\/8d\/8d9\/8d9c307cb7f3c4a32822a51922d1ceaa.svg\" width=\"16\" height=\"12\" data-width=\"2.009\" data-height=\"1.545\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/8\/8d\/8d9\/8d9c307cb7f3c4a32822a51922d1ceaa.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/8\/8d\/8d9\/8d9c307cb7f3c4a32822a51922d1ceaa.svg 781w\" loading=\"lazy\" decode=\"async\"\/> \u2014 \u0431\u043e\u043b\u044c\u0448\u043e\u0439 \u043c\u043e\u0434\u0443\u043b\u044c;<\/p>\n<\/li>\n<li>\n<p>\u0432\u0441\u0435 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u044f\u0442 \u0432 \u0434\u0438\u0441\u043a\u0440\u0435\u0442\u043d\u043e\u043c \u043a\u043e\u043b\u044c\u0446\u0435.<\/p>\n<\/li>\n<\/ul>\n<p>\u0412\u0435\u043a\u0442\u043e\u0440 \u043e\u043f\u044b\u0442\u0430:<\/p>\n<p><img decoding=\"async\" class=\"formula\" source=\"X_t = (h_t, g_t, a_t, e_t, \\kappa_t, y_t, \\varepsilon_t)\" alt=\"X_t = (h_t, g_t, a_t, e_t, \\kappa_t, y_t, \\varepsilon_t)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/b\/b1\/b12\/b127fc44de514aa73fdfdbce9dd79c4f.svg\" width=\"208\" height=\"16\" data-width=\"26.909\" data-height=\"2.262\" data-vertical-align=\"-0.566\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/b\/b1\/b12\/b127fc44de514aa73fdfdbce9dd79c4f.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/b\/b1\/b12\/b127fc44de514aa73fdfdbce9dd79c4f.svg 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<p>\u0433\u0434\u0435:<\/p>\n<ul>\n<li>\n<p><img decoding=\"async\" class=\"formula inline\" source=\"h_t\" alt=\"h_t\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/6\/6c\/6c4\/6c4ff69dbcc329835a33b80fe3a145c7.svg\" width=\"16\" height=\"12\" data-width=\"2.068\" data-height=\"1.927\" data-vertical-align=\"-0.357\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/6\/6c\/6c4\/6c4ff69dbcc329835a33b80fe3a145c7.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/6\/6c\/6c4\/6c4ff69dbcc329835a33b80fe3a145c7.svg 781w\" loading=\"lazy\" decode=\"async\"\/> \u2014 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435\/\u043a\u043e\u043d\u0442\u0435\u043a\u0441\u0442;<\/p>\n<\/li>\n<li>\n<p><img decoding=\"async\" class=\"formula inline\" source=\"g_t\" alt=\"g_t\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/f\/f7\/f75\/f752008a78c8519e9f8f178faf0b87ed.svg\" width=\"12\" height=\"12\" data-width=\"1.844\" data-height=\"1.464\" data-vertical-align=\"-0.464\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/f\/f7\/f75\/f752008a78c8519e9f8f178faf0b87ed.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/f\/f7\/f75\/f752008a78c8519e9f8f178faf0b87ed.svg 781w\" loading=\"lazy\" decode=\"async\"\/> \u2014 \u0446\u0435\u043b\u044c;<\/p>\n<\/li>\n<li>\n<p><img decoding=\"async\" class=\"formula inline\" source=\"a_t\" alt=\"a_t\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/1\/11\/111\/11134ff62a3534476fc6cc89687d67bf.svg\" width=\"12\" height=\"12\" data-width=\"1.962\" data-height=\"1.355\" data-vertical-align=\"-0.357\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/1\/11\/111\/11134ff62a3534476fc6cc89687d67bf.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/1\/11\/111\/11134ff62a3534476fc6cc89687d67bf.svg 781w\" loading=\"lazy\" decode=\"async\"\/> \u2014 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0435;<\/p>\n<\/li>\n<li>\n<p><img decoding=\"async\" class=\"formula inline\" source=\"e_t\" alt=\"e_t\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/a\/a1\/a13\/a131aa09a034a4d9d05f7b9161d53a89.svg\" width=\"12\" height=\"12\" data-width=\"1.82\" data-height=\"1.357\" data-vertical-align=\"-0.357\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/a\/a1\/a13\/a131aa09a034a4d9d05f7b9161d53a89.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/a\/a1\/a13\/a131aa09a034a4d9d05f7b9161d53a89.svg 781w\" loading=\"lazy\" decode=\"async\"\/> \u2014 evidence;<\/p>\n<\/li>\n<li>\n<p><img decoding=\"async\" class=\"formula inline\" source=\"\\kappa_t\" alt=\"\\kappa_t\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/e\/ec\/ecf\/ecf2684b4c7fc71decb44967fe60a641.svg\" width=\"16\" height=\"16\" data-width=\"2.068\" data-height=\"2.262\" data-vertical-align=\"-0.566\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/e\/ec\/ecf\/ecf2684b4c7fc71decb44967fe60a641.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/e\/ec\/ecf\/ecf2684b4c7fc71decb44967fe60a641.svg 781w\" loading=\"lazy\" decode=\"async\"\/> \u2014 \u0442\u043e\u0440\u043e\u0438\u0434\u0430\u043b\u044c\u043d\u0430\u044f \u043a\u043e\u043e\u0440\u0434\u0438\u043d\u0430\u0442\u0430;<\/p>\n<\/li>\n<li>\n<p><img decoding=\"async\" class=\"formula inline\" source=\"y_t\" alt=\"y_t\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/a\/a5\/a56\/a568bf104397bd8311073893dff24222.svg\" width=\"12\" height=\"12\" data-width=\"1.874\" data-height=\"1.464\" data-vertical-align=\"-0.464\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/a\/a5\/a56\/a568bf104397bd8311073893dff24222.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/a\/a5\/a56\/a568bf104397bd8311073893dff24222.svg 781w\" loading=\"lazy\" decode=\"async\"\/> \u2014 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442;<\/p>\n<\/li>\n<li>\n<p><img decoding=\"async\" class=\"formula inline\" source=\"\\varepsilon_t\" alt=\"\\varepsilon_t\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/3\/32\/32d\/32d7abff10127788e21a9bd4b2db3eba.svg\" width=\"12\" height=\"16\" data-width=\"1.82\" data-height=\"2.262\" data-vertical-align=\"-0.566\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/3\/32\/32d\/32d7abff10127788e21a9bd4b2db3eba.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/3\/32\/32d\/32d7abff10127788e21a9bd4b2db3eba.svg 781w\" loading=\"lazy\" decode=\"async\"\/> \u2014 \u043e\u0448\u0438\u0431\u043a\u0430 \u043f\u0440\u043e\u0433\u043d\u043e\u0437\u0430.<\/p>\n<\/li>\n<\/ul>\n<p>\u0415\u0441\u043b\u0438 \u0435\u0441\u0442\u044c \u0434\u0432\u0430 \u044d\u043f\u0438\u0437\u043e\u0434\u0430, \u043c\u043e\u0436\u043d\u043e \u043e\u0441\u0442\u043e\u0440\u043e\u0436\u043d\u043e \u043e\u0446\u0435\u043d\u0438\u0432\u0430\u0442\u044c skill:<\/p>\n<p><img decoding=\"async\" class=\"formula\" source=\"\\theta_g \\equiv(\\kappa_j - \\kappa_i - (e_j - e_i)) \\cdot (a_j - a_i)^{-1}\\pmod N\" alt=\"\\theta_g \\equiv(\\kappa_j - \\kappa_i - (e_j - e_i)) \\cdot (a_j - a_i)^{-1}\\pmod N\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/d\/d1\/d1c\/d1cb88c1cc42e721e4e7a41e88075b80.svg\" width=\"384\" height=\"16\" data-width=\"48.544\" data-height=\"2.667\" data-vertical-align=\"-0.768\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/d\/d1\/d1c\/d1cb88c1cc42e721e4e7a41e88075b80.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/d\/d1\/d1c\/d1cb88c1cc42e721e4e7a41e88075b80.svg 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<p>\u041d\u043e \u0434\u0430\u0436\u0435 \u0442\u0430\u043a\u0430\u044f \u043e\u0446\u0435\u043d\u043a\u0430 \u043d\u0435 \u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u0441\u044f \u0438\u0441\u0442\u0438\u043d\u043e\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438. \u041e\u043d\u0430 \u043e\u0441\u0442\u0430\u0451\u0442\u0441\u044f candidate, \u043f\u043e\u043a\u0430 \u043d\u0435 \u043f\u0440\u043e\u0439\u0434\u0451\u0442 replay, \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0443 \u043a\u043e\u043d\u0442\u0435\u043a\u0441\u0442\u0430 \u0438 anti-forgetting boundary.<\/p>\n<hr\/>\n<h3>\u041f\u043e\u0447\u0435\u043c\u0443 \u201c\u0442\u043e\u0440\u201d \u0432\u0430\u0436\u0435\u043d<\/h3>\n<p>\u0422\u043e\u0440\u043e\u0438\u0434\u0430\u043b\u044c\u043d\u0430\u044f \u043c\u043e\u0434\u0435\u043b\u044c \u0434\u0430\u0451\u0442 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u043f\u0440\u0435\u0438\u043c\u0443\u0449\u0435\u0441\u0442\u0432:<\/p>\n<ol>\n<li>\n<p><strong>\u0426\u0435\u043b\u043e\u0447\u0438\u0441\u043b\u0435\u043d\u043d\u043e\u0441\u0442\u044c<\/strong> \u0421\u0438\u0441\u0442\u0435\u043c\u0430 \u0438\u0437\u0431\u0435\u0433\u0430\u0435\u0442 \u0441\u043a\u0440\u044b\u0442\u043e\u0439 \u043d\u0435\u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0441\u0442\u0438 floating-point \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0439 \u0432 \u0437\u0430\u0449\u0438\u0449\u0451\u043d\u043d\u043e\u043c \u044f\u0434\u0440\u0435.<\/p>\n<\/li>\n<li>\n<p><strong>\u041c\u043e\u0434\u0443\u043b\u044c\u043d\u043e\u0441\u0442\u044c \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f<\/strong> \u041f\u0435\u0440\u0435\u0445\u043e\u0434\u044b \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0442 \u0432 \u043a\u043e\u043b\u044c\u0446\u0435 <img decoding=\"async\" class=\"formula inline\" source=\"\\mathbb{Z}\/N\\mathbb{Z}\" alt=\"\\mathbb{Z}\/N\\mathbb{Z}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/f\/f6\/f62\/f624e10fcf2bd01e30f92f107cc8f186.svg\" width=\"48\" height=\"16\" data-width=\"6.158\" data-height=\"2.262\" data-vertical-align=\"-0.566\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/f\/f6\/f62\/f624e10fcf2bd01e30f92f107cc8f186.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/f\/f6\/f62\/f624e10fcf2bd01e30f92f107cc8f186.svg 781w\" loading=\"lazy\" decode=\"async\"\/>, \u0433\u0434\u0435 \u043f\u0435\u0440\u0435\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u0435 \u043d\u0435 \u0440\u0430\u0437\u0440\u0443\u0448\u0430\u0435\u0442 \u043c\u043e\u0434\u0435\u043b\u044c, \u0430 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0447\u0430\u0441\u0442\u044c\u044e \u0433\u0435\u043e\u043c\u0435\u0442\u0440\u0438\u0438.<\/p>\n<\/li>\n<li>\n<p><strong>Digest-friendly representation<\/strong> \u0421\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u0443\u0434\u043e\u0431\u043d\u043e \u0444\u0438\u043a\u0441\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0447\u0435\u0440\u0435\u0437 hash\/root\/trace.<\/p>\n<\/li>\n<li>\n<p><strong>\u0421\u0440\u0430\u0432\u043d\u0438\u043c\u043e\u0441\u0442\u044c \u0442\u0440\u0430\u0435\u043a\u0442\u043e\u0440\u0438\u0439<\/strong> \u041c\u043e\u0436\u043d\u043e \u0438\u0437\u043c\u0435\u0440\u044f\u0442\u044c \u0440\u0430\u0441\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u043c\u0435\u0436\u0434\u0443 skill-\u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u0430\u043c\u0438, \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f\u043c\u0438 \u0438 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430\u043c\u0438.<\/p>\n<\/li>\n<\/ol>\n<p>\u0423\u043f\u0440\u043e\u0449\u0451\u043d\u043d\u043e:<\/p>\n<pre><code>\u043e\u0431\u044b\u0447\u043d\u0430\u044f \u0441\u0438\u0441\u0442\u0435\u043c\u0430:  \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u2192 \u044d\u0432\u0440\u0438\u0441\u0442\u0438\u043a\u0430 \u2192 \u043e\u0442\u0432\u0435\u0442HTCE:  \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u2192 \u0442\u043e\u0440\u043e\u0438\u0434\u0430\u043b\u044c\u043d\u0430\u044f \u043a\u043e\u043e\u0440\u0434\u0438\u043d\u0430\u0442\u0430 \u2192 evidence \u2192 replay \u2192 bounded answer<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<hr\/>\n<h3>\u0421\u0436\u0430\u0442\u0438\u0435: \u043a\u043e\u0433\u0434\u0430 \u0437\u043d\u0430\u043d\u0438\u0435 \u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u0441\u044f \u043d\u0430\u0432\u044b\u043a\u043e\u043c<\/h3>\n<p>HTCE \u043d\u0435 \u0434\u043e\u043b\u0436\u043d\u0430 \u0445\u0440\u0430\u043d\u0438\u0442\u044c \u043a\u0430\u0436\u0434\u044b\u0439 \u043e\u043f\u044b\u0442 \u043a\u0430\u043a \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u0443\u044e \u0438\u0441\u0442\u043e\u0440\u0438\u044e \u043d\u0430\u0432\u0441\u0435\u0433\u0434\u0430. \u0415\u0441\u043b\u0438 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0446\u0435\u043f\u043e\u0447\u0435\u043a \u043f\u043e\u0432\u0442\u043e\u0440\u044f\u044e\u0442\u0441\u044f, \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u043c\u043e\u0436\u0435\u0442 \u043f\u043e\u0441\u0442\u0440\u043e\u0438\u0442\u044c abstraction candidate.<\/p>\n<p>\u0418\u0434\u0435\u044f \u043f\u043e\u0445\u043e\u0436\u0430 \u043d\u0430 MDL \u2014 Minimum Description Length:<\/p>\n<p><img decoding=\"async\" class=\"formula\" source=\"L(D, M) = L(M) + L(D \\mid M)\" alt=\"L(D, M) = L(M) + L(D \\mid M)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/a\/a0\/a03\/a033d08cd4b6dd2b1a8958e810f4b4b9.svg\" width=\"232\" height=\"16\" data-width=\"29.458\" data-height=\"2.262\" data-vertical-align=\"-0.566\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/a\/a0\/a03\/a033d08cd4b6dd2b1a8958e810f4b4b9.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/a\/a0\/a03\/a033d08cd4b6dd2b1a8958e810f4b4b9.svg 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<p>\u0433\u0434\u0435:<\/p>\n<ul>\n<li>\n<p><img decoding=\"async\" class=\"formula inline\" source=\"D\" alt=\"D\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/f\/f6\/f62\/f623e75af30e62bbd73d6df5b50bb7b5.svg\" width=\"12\" height=\"12\" data-width=\"1.873\" data-height=\"1.545\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/f\/f6\/f62\/f623e75af30e62bbd73d6df5b50bb7b5.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/f\/f6\/f62\/f623e75af30e62bbd73d6df5b50bb7b5.svg 781w\" loading=\"lazy\" decode=\"async\"\/> \u2014 \u0434\u0430\u043d\u043d\u044b\u0435;<\/p>\n<\/li>\n<li>\n<p><img decoding=\"async\" class=\"formula inline\" source=\"M\" alt=\"M\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/6\/69\/696\/69691c7bdcc3ce6d5d8a1361f22d04ac.svg\" width=\"16\" height=\"12\" data-width=\"2.378\" data-height=\"1.545\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/6\/69\/696\/69691c7bdcc3ce6d5d8a1361f22d04ac.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/6\/69\/696\/69691c7bdcc3ce6d5d8a1361f22d04ac.svg 781w\" loading=\"lazy\" decode=\"async\"\/> \u2014 \u043c\u043e\u0434\u0435\u043b\u044c;<\/p>\n<\/li>\n<li>\n<p><img decoding=\"async\" class=\"formula inline\" source=\"L(M)\" alt=\"L(M)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/3\/32\/329\/329217273a850d7c697ffe9d5a1e4fd4.svg\" width=\"40\" height=\"16\" data-width=\"5.679\" data-height=\"2.262\" data-vertical-align=\"-0.566\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/3\/32\/329\/329217273a850d7c697ffe9d5a1e4fd4.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/3\/32\/329\/329217273a850d7c697ffe9d5a1e4fd4.svg 781w\" loading=\"lazy\" decode=\"async\"\/> \u2014 \u0434\u043b\u0438\u043d\u0430 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u043c\u043e\u0434\u0435\u043b\u0438;<\/p>\n<\/li>\n<li>\n<p><img decoding=\"async\" class=\"formula inline\" source=\"L(D \\mid M)\" alt=\"L(D \\mid M)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/a\/af\/af4\/af4e0dc18e1915ba5edee4f87827841e.svg\" width=\"72\" height=\"16\" data-width=\"9.438\" data-height=\"2.262\" data-vertical-align=\"-0.566\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/a\/af\/af4\/af4e0dc18e1915ba5edee4f87827841e.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/a\/af\/af4\/af4e0dc18e1915ba5edee4f87827841e.svg 781w\" loading=\"lazy\" decode=\"async\"\/> \u2014 \u0434\u043b\u0438\u043d\u0430 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u0434\u0430\u043d\u043d\u044b\u0445 \u0447\u0435\u0440\u0435\u0437 \u043c\u043e\u0434\u0435\u043b\u044c.<\/p>\n<\/li>\n<\/ul>\n<p>\u0415\u0441\u043b\u0438 \u043d\u043e\u0432\u0430\u044f abstraction \u0443\u043c\u0435\u043d\u044c\u0448\u0430\u0435\u0442 \u0441\u0443\u043c\u043c\u0430\u0440\u043d\u043e\u0435 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u0435, \u043f\u043e\u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f compression gain:<\/p>\n<p><img decoding=\"async\" class=\"formula\" source=\"G_{\\text{MDL}} =L_{\\text{old}} - L_{\\text{new}}\" alt=\"G_{\\text{MDL}} =L_{\\text{old}} - L_{\\text{new}}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/5\/5b\/5ba\/5ba85087fecffb7e00f1f5232d5fccc5.svg\" width=\"152\" height=\"16\" data-width=\"19.784\" data-height=\"2.262\" data-vertical-align=\"-0.566\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/5\/5b\/5ba\/5ba85087fecffb7e00f1f5232d5fccc5.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/5\/5b\/5ba\/5ba85087fecffb7e00f1f5232d5fccc5.svg 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<p>\u041d\u043e HTCE \u0441\u043d\u043e\u0432\u0430 \u043d\u0435 \u0434\u0435\u043b\u0430\u0435\u0442 \u043f\u0440\u044b\u0436\u043e\u043a \u043a \u0438\u0441\u0442\u0438\u043d\u0435. \u0421\u0436\u0430\u0442\u0438\u0435 \u0441\u043e\u0437\u0434\u0430\u0451\u0442 \u043d\u0435 \u201c\u043f\u0440\u0430\u0432\u0438\u043b\u043e \u043c\u0438\u0440\u0430\u201d, \u0430 candidate:<\/p>\n<pre><code>repeated paths\u2192 compression candidate\u2192 replay\u2192 context check\u2192 candidate remains bounded<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440:<\/p>\n<pre><code>alpha causes betabeta causes gamma<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u041c\u043e\u0436\u043d\u043e \u043f\u043e\u0441\u0442\u0440\u043e\u0438\u0442\u044c \u043f\u0443\u0442\u044c:<\/p>\n<pre><code>alpha \u2192 beta \u2192 gamma<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u041d\u043e \u044d\u0442\u043e \u043d\u0435 \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442, \u0447\u0442\u043e \u201calpha \u0432\u0441\u0435\u0433\u0434\u0430 \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u0442 gamma\u201d. \u042d\u0442\u043e \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442:<\/p>\n<blockquote>\n<p>\u0432 \u0434\u0430\u043d\u043d\u043e\u043c evidence-\u043a\u043e\u043d\u0442\u0435\u043a\u0441\u0442\u0435 \u0435\u0441\u0442\u044c replay-bound candidate path.<\/p>\n<\/blockquote>\n<hr\/>\n<h3>Skill-chain \u0438 macro-skill<\/h3>\n<p>HTCE \u0443\u043c\u0435\u0435\u0442 \u0441\u043e\u0431\u0438\u0440\u0430\u0442\u044c \u043d\u0430\u0432\u044b\u043a\u0438 \u0432 \u0446\u0435\u043f\u043e\u0447\u043a\u0438.<\/p>\n<pre><code>skill A output\u2192 compatible with skill B input\u2192 compatible with skill C input\u2192 bounded chain candidate<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u0415\u0441\u043b\u0438 \u0446\u0435\u043f\u043e\u0447\u043a\u0430 \u0447\u0430\u0441\u0442\u043e \u0443\u0441\u043f\u0435\u0448\u043d\u0430, \u043e\u043d\u0430 \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0441\u0436\u0430\u0442\u0430 \u0432 macro-skill.<\/p>\n<p>\u041d\u043e macro-skill \u0432 HTCE \u0438\u043c\u0435\u0435\u0442 \u0432\u0430\u0436\u043d\u043e\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u043e:<\/p>\n<pre><code>chunk is atomic for Mind,but not atomic for audit.<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u0422\u043e \u0435\u0441\u0442\u044c \u0434\u043b\u044f \u043f\u043b\u0430\u043d\u0438\u0440\u043e\u0432\u0449\u0438\u043a\u0430 macro-skill \u043c\u043e\u0436\u0435\u0442 \u0432\u044b\u0433\u043b\u044f\u0434\u0435\u0442\u044c \u043a\u0430\u043a \u043e\u0434\u0438\u043d \u0443\u0437\u0435\u043b, \u043d\u043e \u0434\u043b\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u043e\u043d \u0432\u0441\u0435\u0433\u0434\u0430 \u0440\u0430\u0441\u043a\u0440\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043e\u0431\u0440\u0430\u0442\u043d\u043e \u0432 \u0446\u0435\u043f\u043e\u0447\u043a\u0443.<\/p>\n<p>\u0415\u0441\u043b\u0438 \u043e\u0448\u0438\u0431\u043a\u0430 \u043d\u0430\u0439\u0434\u0435\u043d\u0430 \u0432\u043d\u0443\u0442\u0440\u0438 macro-skill, \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u043c\u043e\u0436\u0435\u0442 \u0441\u0434\u0435\u043b\u0430\u0442\u044c:<\/p>\n<pre><code>surgical_edge_rollback<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u0410 \u0435\u0441\u043b\u0438 \u043e\u0448\u0438\u0431\u043a\u0430 \u043e\u043f\u0430\u0441\u043d\u0430\u044f \u0438\u043b\u0438 \u043d\u0435 \u043b\u043e\u043a\u0430\u043b\u0438\u0437\u0443\u0435\u0442\u0441\u044f:<\/p>\n<pre><code>full_quarantine<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<hr\/>\n<h3>\u0413\u0440\u0430\u0444\u0438\u043a 1. \u041f\u0443\u0442\u044c \u043e\u0442 \u0444\u0430\u043a\u0442\u0430 \u043a \u0437\u0430\u0449\u0438\u0449\u0451\u043d\u043d\u043e\u043c\u0443 \u0432\u044b\u0432\u043e\u0434\u0443<\/h3>\n<pre><code>\u0424\u0430\u043a\u0442 \u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u0435\u043b\u044f      |      vL1 Observation      |      vEvidence admission      |      +-------------------+      |                   |      v                   vNo conflict          Conflict detected      |                   |      v                   vL2 active fact       Quarantine \/ clarify      |      vQuery answer<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u0413\u043b\u0430\u0432\u043d\u0430\u044f \u0438\u0434\u0435\u044f: \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u043d\u0435 \u043f\u044b\u0442\u0430\u0435\u0442\u0441\u044f \u0432\u044b\u0433\u043b\u044f\u0434\u0435\u0442\u044c \u0443\u0432\u0435\u0440\u0435\u043d\u043d\u043e\u0439, \u0435\u0441\u043b\u0438 \u0434\u0430\u043d\u043d\u044b\u0435 \u043a\u043e\u043d\u0444\u043b\u0438\u043a\u0442\u0443\u044e\u0442.<\/p>\n<hr\/>\n<h3>Risk-Tiered \u0440\u0435\u0436\u0438\u043c\u044b: \u0443\u043c\u043d\u0430\u044f \u043a\u043e\u0440\u043e\u0431\u043a\u0430 \u043f\u0435\u0440\u0435\u0434\u0430\u0447<\/h3>\n<p>\u041e\u0434\u043d\u0430 \u0438\u0437 \u0433\u043b\u0430\u0432\u043d\u044b\u0445 \u043f\u0440\u043e\u0431\u043b\u0435\u043c \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0445 \u0441\u0438\u0441\u0442\u0435\u043c \u2014 \u043e\u043d\u0438 \u043c\u043e\u0433\u0443\u0442 \u0441\u0442\u0430\u0442\u044c \u0441\u043b\u0438\u0448\u043a\u043e\u043c \u043c\u0435\u0434\u043b\u0435\u043d\u043d\u044b\u043c\u0438. \u0415\u0441\u043b\u0438 \u0432\u0441\u0451 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0442\u044c \u0447\u0435\u0440\u0435\u0437 solver, replay \u0438 witness, \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u043f\u0440\u0435\u0432\u0440\u0430\u0449\u0430\u0435\u0442\u0441\u044f \u0432 \u201c\u043f\u0435\u0434\u0430\u043d\u0442\u0438\u0447\u043d\u0443\u044e \u0438\u0433\u0440\u0443\u0448\u043a\u0443\u201d.<\/p>\n<p>HTCE \u0440\u0435\u0448\u0430\u0435\u0442 \u044d\u0442\u043e \u0447\u0435\u0440\u0435\u0437 Dynamic Epistemic Cost Management.<\/p>\n<div>\n<div class=\"table\">\n<table>\n<tbody>\n<tr>\n<th>\n<p align=\"left\">\u0420\u0435\u0436\u0438\u043c<\/p>\n<\/th>\n<th>\n<p align=\"left\">\u041a\u043e\u0433\u0434\u0430 \u043f\u0440\u0438\u043c\u0435\u043d\u044f\u0435\u0442\u0441\u044f<\/p>\n<\/th>\n<th>\n<p align=\"left\">\u0427\u0442\u043e \u0434\u0435\u043b\u0430\u0435\u0442<\/p>\n<\/th>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">HOT<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u043f\u0440\u043e\u0441\u0442\u043e\u0439 \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u044b\u0439 \u0437\u0430\u043f\u0440\u043e\u0441<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u0431\u044b\u0441\u0442\u0440\u044b\u0439 L1\/L2 lookup<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">WARM<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u0443\u043c\u0435\u0440\u0435\u043d\u043d\u044b\u0439 reasoning<\/p>\n<\/td>\n<td>\n<p align=\"left\">bounded replay<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">COLD<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u043a\u0440\u0438\u0442\u0438\u0447\u043d\u0430\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430<\/p>\n<\/td>\n<td>\n<p align=\"left\">external witness \/ heavy proof<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">DEGRADE<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u0440\u0438\u0441\u043a, \u0441\u0440\u043e\u0447\u043d\u043e\u0441\u0442\u044c, \u0438\u0441\u0447\u0435\u0440\u043f\u0430\u043d \u0431\u044e\u0434\u0436\u0435\u0442<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u043e\u0442\u043a\u0430\u0437, request_operator, safe boundary<\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<\/div>\n<p>\u0424\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e \u043c\u043e\u0436\u043d\u043e \u0432\u0432\u0435\u0441\u0442\u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0440\u0438\u0441\u043a\u0430:<\/p>\n<p><img decoding=\"async\" class=\"formula\" source=\"R(x) =w_a A(x) +w_t T(x) +w_c C(x) +w_u U(x) +w_s S(x)\" alt=\"R(x) =w_a A(x) +w_t T(x) +w_c C(x) +w_u U(x) +w_s S(x)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/4\/43\/437\/4377fde80affdd2874cfc8913196a743.svg\" width=\"440\" height=\"16\" data-width=\"55.147\" data-height=\"2.262\" data-vertical-align=\"-0.566\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/4\/43\/437\/4377fde80affdd2874cfc8913196a743.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/4\/43\/437\/4377fde80affdd2874cfc8913196a743.svg 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<p>\u0433\u0434\u0435:<\/p>\n<ul>\n<li>\n<p><img decoding=\"async\" class=\"formula inline\" source=\"A(x)\" alt=\"A(x)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/7\/78\/785\/7852db5d43d5ab2b22775d9f2131b869.svg\" width=\"32\" height=\"16\" data-width=\"4.751\" data-height=\"2.262\" data-vertical-align=\"-0.566\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/7\/78\/785\/7852db5d43d5ab2b22775d9f2131b869.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/7\/78\/785\/7852db5d43d5ab2b22775d9f2131b869.svg 781w\" loading=\"lazy\" decode=\"async\"\/> \u2014 authority-risk;<\/p>\n<\/li>\n<li>\n<p><img decoding=\"async\" class=\"formula inline\" source=\"T(x)\" alt=\"T(x)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/a\/ae\/aef\/aef077a1c7b98f6091af987a5eb78742.svg\" width=\"32\" height=\"16\" data-width=\"4.647\" data-height=\"2.262\" data-vertical-align=\"-0.566\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/a\/ae\/aef\/aef077a1c7b98f6091af987a5eb78742.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/a\/ae\/aef\/aef077a1c7b98f6091af987a5eb78742.svg 781w\" loading=\"lazy\" decode=\"async\"\/> \u2014 truth-promotion-risk;<\/p>\n<\/li>\n<li>\n<p><img decoding=\"async\" class=\"formula inline\" source=\"C(x)\" alt=\"C(x)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/7\/7d\/7d8\/7d84987651236d1f0891e1d72ba15f35.svg\" width=\"32\" height=\"16\" data-width=\"4.774\" data-height=\"2.262\" data-vertical-align=\"-0.566\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/7\/7d\/7d8\/7d84987651236d1f0891e1d72ba15f35.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/7\/7d\/7d8\/7d84987651236d1f0891e1d72ba15f35.svg 781w\" loading=\"lazy\" decode=\"async\"\/> \u2014 contradiction pressure;<\/p>\n<\/li>\n<li>\n<p><img decoding=\"async\" class=\"formula inline\" source=\"U(x)\" alt=\"U(x)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/5\/54\/540\/54010ee32a8ecb11e42f970d678271fb.svg\" width=\"32\" height=\"16\" data-width=\"4.79\" data-height=\"2.262\" data-vertical-align=\"-0.566\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/5\/54\/540\/54010ee32a8ecb11e42f970d678271fb.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/5\/54\/540\/54010ee32a8ecb11e42f970d678271fb.svg 781w\" loading=\"lazy\" decode=\"async\"\/> \u2014 uncertainty;<\/p>\n<\/li>\n<li>\n<p><img decoding=\"async\" class=\"formula inline\" source=\"S(x)\" alt=\"S(x)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/3\/34\/349\/34999b3844747f7ae0be7ab5675e633a.svg\" width=\"32\" height=\"16\" data-width=\"4.514\" data-height=\"2.262\" data-vertical-align=\"-0.566\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/3\/34\/349\/34999b3844747f7ae0be7ab5675e633a.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/3\/34\/349\/34999b3844747f7ae0be7ab5675e633a.svg 781w\" loading=\"lazy\" decode=\"async\"\/> \u2014 safety risk.<\/p>\n<\/li>\n<\/ul>\n<p>\u0422\u043e\u0433\u0434\u0430 \u0440\u0435\u0436\u0438\u043c \u0432\u044b\u0431\u0438\u0440\u0430\u0435\u0442\u0441\u044f \u0442\u0430\u043a:<\/p>\n<p><img decoding=\"async\" class=\"formula\" source=\"mode(x)=\\begin{cases}HOT, &amp; R(x) &lt; \\tau_1 \\WARM, &amp; \\tau_1 \\le R(x) &lt; \\tau_2 \\COLD, &amp; \\tau_2 \\le R(x) &lt; \\tau_3 \\DEGRADE, &amp; R(x) \\ge \\tau_3\\end{cases}\" alt=\"mode(x)=\\begin{cases}HOT, &amp; R(x) &lt; \\tau_1 \\WARM, &amp; \\tau_1 \\le R(x) &lt; \\tau_2 \\COLD, &amp; \\tau_2 \\le R(x) &lt; \\tau_3 \\DEGRADE, &amp; R(x) \\ge \\tau_3\\end{cases}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/c\/cc\/cc0\/cc0176a8cd3b1b2a62adca3559a16c3b.svg\" width=\"856\" height=\"16\" data-width=\"107.826\" data-height=\"2.262\" data-vertical-align=\"-0.566\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/c\/cc\/cc0\/cc0176a8cd3b1b2a62adca3559a16c3b.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/c\/cc\/cc0\/cc0176a8cd3b1b2a62adca3559a16c3b.svg 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<hr\/>\n<h3>\u0413\u0440\u0430\u0444\u0438\u043a 2. \u0421\u0442\u043e\u0438\u043c\u043e\u0441\u0442\u044c \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u043f\u043e \u0440\u0435\u0436\u0438\u043c\u0430\u043c<\/h3>\n<pre><code>Verification costCOLD     \u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588WARM     \u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588HOT      \u2588\u2588DEGRADE  \u2588\u2588\u2588         HOT     WARM     COLD     DEGRADE<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>HOT \u043d\u0443\u0436\u0435\u043d \u0434\u043b\u044f \u043e\u0442\u0437\u044b\u0432\u0447\u0438\u0432\u043e\u0441\u0442\u0438. COLD \u043d\u0443\u0436\u0435\u043d \u0434\u043b\u044f \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438. DEGRADE \u043d\u0443\u0436\u0435\u043d \u0434\u043b\u044f \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0441\u0442\u0438.<\/p>\n<p>\u0421\u0438\u0441\u0442\u0435\u043c\u0430 \u043d\u0435 \u0434\u043e\u043b\u0436\u043d\u0430 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c COLD \u0434\u043b\u044f \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u0432\u043e\u043f\u0440\u043e\u0441\u0430.<\/p>\n<hr\/>\n<h3>Resident organism: \u0447\u0442\u043e\u0431\u044b \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u043d\u0435 \u0441\u0442\u0430\u043b\u0430 \u201c\u043a\u043e\u0433\u043d\u0438\u0442\u0438\u0432\u043d\u043e \u0436\u0430\u0434\u043d\u043e\u0439\u201d<\/h3>\n<p>\u0412 HTCE \u0435\u0441\u0442\u044c resident organism \u2014 \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0438\u0439 \u0446\u0438\u043a\u043b \u0441\u0430\u043c\u043e\u043e\u0431\u0441\u043b\u0443\u0436\u0438\u0432\u0430\u043d\u0438\u044f:<\/p>\n<ul>\n<li>\n<p>replay old skill;<\/p>\n<\/li>\n<li>\n<p>memory coherence probe;<\/p>\n<\/li>\n<li>\n<p>boundary safety rehearsal;<\/p>\n<\/li>\n<li>\n<p>forward probe rehearsal;<\/p>\n<\/li>\n<li>\n<p>sleep consolidation;<\/p>\n<\/li>\n<li>\n<p>request_operator.<\/p>\n<\/li>\n<\/ul>\n<p>\u041d\u043e resident \u043d\u0435 \u043c\u043e\u0436\u0435\u0442 \u0431\u0435\u0441\u043a\u043e\u043d\u0435\u0447\u043d\u043e \u0442\u0440\u0435\u0431\u043e\u0432\u0430\u0442\u044c \u0442\u044f\u0436\u0451\u043b\u044b\u0435 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430.<\/p>\n<p>\u0423 \u043d\u0435\u0433\u043e \u0435\u0441\u0442\u044c COLD-\u0431\u044e\u0434\u0436\u0435\u0442:<\/p>\n<p><img decoding=\"async\" class=\"formula\" source=\"B_{\\text{cold}}(t+1) =\\max(0, B_{\\text{cold}}(t) - c_{\\text{proof}})\" alt=\"B_{\\text{cold}}(t+1) =\\max(0, B_{\\text{cold}}(t) - c_{\\text{proof}})\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/3\/3b\/3b2\/3b204ad711dedb71efd03c5cff9f2218.svg\" width=\"296\" height=\"16\" data-width=\"37.214\" data-height=\"2.347\" data-vertical-align=\"-0.608\" sizes=\"auto, (max-width: 780px) 100vw, 50vw\" srcset=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/3\/3b\/3b2\/3b204ad711dedb71efd03c5cff9f2218.svg 780w,&#10;       https:\/\/habrastorage.org\/getpro\/habr\/formulas\/3\/3b\/3b2\/3b204ad711dedb71efd03c5cff9f2218.svg 781w\" loading=\"lazy\" decode=\"async\"\/><\/p>\n<ul>\n<li>\n<p>r_{\\text{recovery}}$$<\/p>\n<\/li>\n<\/ul>\n<p>\u0415\u0441\u043b\u0438 \u0431\u044e\u0434\u0436\u0435\u0442 \u0438\u0441\u0447\u0435\u0440\u043f\u0430\u043d:<\/p>\n<pre><code>repeated COLD pressure\u2192 DEGRADE\u2192 request_operator<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u041f\u0440\u0438 \u044d\u0442\u043e\u043c HOT\/WARM \u043e\u0441\u0442\u0430\u044e\u0442\u0441\u044f \u0436\u0438\u0432\u044b\u043c\u0438:<\/p>\n<pre><code>COLD exhausted\u2260 system frozen<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u042d\u0442\u043e \u0432\u0430\u0436\u043d\u043e. \u0418\u043d\u0430\u0447\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u0441\u043d\u043e\u0432\u0430 \u0441\u0442\u0430\u043b\u0430 \u0431\u044b \u043c\u0435\u0434\u043b\u0435\u043d\u043d\u043e\u0439 \u0431\u044e\u0440\u043e\u043a\u0440\u0430\u0442\u0438\u0435\u0439 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432.<\/p>\n<hr\/>\n<h3>\u0412\u043d\u0435\u0448\u043d\u0438\u0435 \u0441\u0432\u0438\u0434\u0435\u0442\u0435\u043b\u0438: PDDL \u0438 SMT-LIB<\/h3>\n<p>HTCE \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u0435\u0442 \u0438\u0434\u0435\u044e witness layers.<\/p>\n<h4>Type-1: Formal Planning<\/h4>\n<p>PDDL\/VAL\/Fast Downward-compatible \u043a\u043e\u043d\u0442\u0443\u0440 \u043d\u0443\u0436\u0435\u043d \u0434\u043b\u044f planning-\u0437\u0430\u0434\u0430\u0447:<\/p>\n<pre><code>domain.pddlproblem.pddlplan\u2192 external validator\u2192 verdict\u2192 ExternalEvidenceRecord<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u041d\u043e verdict \u043d\u0435 \u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u0441\u044f \u0438\u0441\u0442\u0438\u043d\u043e\u0439.<\/p>\n<h4>Type-2: SMT\/Theorem Proving<\/h4>\n<p>SMT-LIB\/Z3\/cvc5-\u043a\u043e\u043d\u0442\u0443\u0440 \u043d\u0443\u0436\u0435\u043d \u0434\u043b\u044f \u043b\u043e\u0433\u0438\u043a\u043e-\u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0439:<\/p>\n<pre><code>query.smt2\u2192 SMT solver\u2192 sat \/ unsat \/ unknown\u2192 ExternalEvidenceRecord\u2192 DiscrepancyRecord<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u0421\u043d\u043e\u0432\u0430:<\/p>\n<pre><code>sat \u2260 truthunsat \u2260 truthunknown \u2260 failure of HTCE<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u042d\u0442\u043e \u043f\u0440\u043e\u0441\u0442\u043e \u0432\u043d\u0435\u0448\u043d\u0438\u0439 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u0439 \u0441\u0432\u0438\u0434\u0435\u0442\u0435\u043b\u044c.<\/p>\n<hr\/>\n<h3>\u0422\u0430\u0431\u043b\u0438\u0446\u0430: \u0447\u0435\u043c HTCE \u043e\u0442\u043b\u0438\u0447\u0430\u0435\u0442\u0441\u044f \u043e\u0442 \u043e\u0431\u044b\u0447\u043d\u043e\u0439 LLM-\u0441\u0438\u0441\u0442\u0435\u043c\u044b<\/h3>\n<div>\n<div class=\"table\">\n<table>\n<tbody>\n<tr>\n<th>\n<p align=\"left\">\u041a\u0440\u0438\u0442\u0435\u0440\u0438\u0439<\/p>\n<\/th>\n<th>\n<p align=\"left\">\u041e\u0431\u044b\u0447\u043d\u0430\u044f LLM<\/p>\n<\/th>\n<th>\n<p align=\"left\">HTCE<\/p>\n<\/th>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">\u0413\u043b\u0430\u0432\u043d\u0430\u044f \u0441\u0438\u043b\u0430<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u0433\u0435\u043d\u0435\u0440\u0430\u0446\u0438\u044f \u0442\u0435\u043a\u0441\u0442\u0430<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u0430\u044f \u0434\u0438\u0441\u0446\u0438\u043f\u043b\u0438\u043d\u0430<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">\u0420\u0430\u0431\u043e\u0442\u0430 \u0441 \u0444\u0430\u043a\u0442\u0430\u043c\u0438<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e\u0441\u0442\u043d\u0430\u044f \u0430\u0441\u0441\u043e\u0446\u0438\u0430\u0446\u0438\u044f<\/p>\n<\/td>\n<td>\n<p align=\"left\">evidence-backed memory<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">\u041a\u043e\u043d\u0444\u043b\u0438\u043a\u0442 \u0444\u0430\u043a\u0442\u043e\u0432<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u043c\u043e\u0436\u0435\u0442 \u0441\u0433\u043b\u0430\u0434\u0438\u0442\u044c<\/p>\n<\/td>\n<td>\n<p align=\"left\">quarantine \/ clarify<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">Solver verdict<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0432\u043e\u0441\u043f\u0440\u0438\u043d\u044f\u0442 \u043a\u0430\u043a \u043e\u0442\u0432\u0435\u0442<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u0442\u043e\u043b\u044c\u043a\u043e ExternalEvidenceRecord<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">\u0411\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0441\u0442\u044c<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u0447\u0430\u0441\u0442\u043e \u0432\u043d\u0435\u0448\u043d\u044f\u044f \u043e\u0431\u0432\u044f\u0437\u043a\u0430<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u0432\u0441\u0442\u0440\u043e\u0435\u043d\u043d\u0430\u044f policy\/risk-tier \u043c\u043e\u0434\u0435\u043b\u044c<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">\u0421\u0436\u0430\u0442\u0438\u0435 \u043e\u043f\u044b\u0442\u0430<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u0441\u043a\u0440\u044b\u0442\u043e \u0432 \u0432\u0435\u0441\u0430\u0445<\/p>\n<\/td>\n<td>\n<p align=\"left\">explicit abstraction candidates<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">\u041d\u0430\u0432\u044b\u043a\u0438<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u043d\u0435\u044f\u0432\u043d\u044b\u0435<\/p>\n<\/td>\n<td>\n<p align=\"left\">skill-chain \/ macro-skill \/ replay<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">\u041e\u0448\u0438\u0431\u043a\u0430 \u0432 \u043d\u0430\u0432\u044b\u043a\u0435<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u0442\u0440\u0443\u0434\u043d\u043e \u043b\u043e\u043a\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u0442\u044c<\/p>\n<\/td>\n<td>\n<p align=\"left\">surgical rollback \/ quarantine<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">\u0421\u0442\u043e\u0438\u043c\u043e\u0441\u0442\u044c \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u043d\u0435\u044f\u0432\u043d\u0430\u044f<\/p>\n<\/td>\n<td>\n<p align=\"left\">HOT\/WARM\/COLD\/DEGRADE<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">\u0410\u0443\u0434\u0438\u0442<\/p>\n<\/td>\n<td>\n<p align=\"left\">\u0441\u043b\u043e\u0436\u043d\u044b\u0439<\/p>\n<\/td>\n<td>\n<p align=\"left\">trace\/hash\/report\/docs<\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<\/div>\n<hr\/>\n<h3>\u0410\u0443\u0434\u0438\u0442\u043e\u0440\u0441\u043a\u0438\u0439 \u0441\u0442\u0430\u0442\u0443\u0441 \u0442\u0435\u043a\u0443\u0449\u0435\u0439 \u0441\u0438\u0441\u0442\u0435\u043c\u044b<\/h3>\n<p>\u0412 \u0442\u0435\u043a\u0443\u0449\u0435\u043c baseline \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u043f\u0440\u043e\u0448\u043b\u0430 \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0438\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438:<\/p>\n<div>\n<div class=\"table\">\n<table>\n<tbody>\n<tr>\n<th>\n<p align=\"left\">\u041f\u0440\u043e\u0432\u0435\u0440\u043a\u0430<\/p>\n<\/th>\n<th>\n<p align=\"left\">\u0421\u0442\u0430\u0442\u0443\u0441<\/p>\n<\/th>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">compileall<\/p>\n<\/td>\n<td>\n<p align=\"left\">PASS<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">current diagnostics<\/p>\n<\/td>\n<td>\n<p align=\"left\">PASS<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">active pytest<\/p>\n<\/td>\n<td>\n<p align=\"left\">20 \/ 20 PASS<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">HASHES.txt<\/p>\n<\/td>\n<td>\n<p align=\"left\">OK<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">HASHES.txt.sha256<\/p>\n<\/td>\n<td>\n<p align=\"left\">OK<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">HOT path<\/p>\n<\/td>\n<td>\n<p align=\"left\">PASS<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">WARM path<\/p>\n<\/td>\n<td>\n<p align=\"left\">PASS<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">COLD quota<\/p>\n<\/td>\n<td>\n<p align=\"left\">enforced<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">truth-promotion injection<\/p>\n<\/td>\n<td>\n<p align=\"left\">blocked<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">direct L2\/L3 truth<\/p>\n<\/td>\n<td>\n<p align=\"left\">0<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">real action<\/p>\n<\/td>\n<td>\n<p align=\"left\">0<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\">production authority<\/p>\n<\/td>\n<td>\n<p align=\"left\">0<\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<\/div>\n<p>\u0427\u0435\u0441\u0442\u043d\u0430\u044f \u0433\u0440\u0430\u043d\u0438\u0446\u0430:<\/p>\n<pre><code>Z3\/cvc5 environment audit \u043f\u043e\u043a\u0430 \u043d\u0435 \u0437\u0430\u0432\u0435\u0440\u0448\u0451\u043d,\u0435\u0441\u043b\u0438 \u0432 \u043e\u043a\u0440\u0443\u0436\u0435\u043d\u0438\u0438 \u043d\u0435 \u0443\u0441\u0442\u0430\u043d\u043e\u0432\u043b\u0435\u043d \u0440\u0435\u0430\u043b\u044c\u043d\u044b\u0439 solver.<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u0410\u0440\u0445\u0438\u0442\u0435\u043a\u0442\u0443\u0440\u0430 \u0433\u043e\u0442\u043e\u0432\u0430, \u043d\u043e \u043d\u0430\u0441\u0442\u043e\u044f\u0449\u0430\u044f \u0432\u043d\u0435\u0448\u043d\u044f\u044f solver-\u0441\u0435\u0440\u0442\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f \u0442\u0440\u0435\u0431\u0443\u0435\u0442 \u043e\u043a\u0440\u0443\u0436\u0435\u043d\u0438\u044f \u0441 \u0443\u0441\u0442\u0430\u043d\u043e\u0432\u043b\u0435\u043d\u043d\u044b\u043c Z3 \u0438\u043b\u0438 cvc5.<\/p>\n<hr\/>\n<h3>\u041f\u043e\u0447\u0435\u043c\u0443 \u044d\u0442\u043e \u043c\u043e\u0436\u043d\u043e \u043d\u0430\u0437\u0432\u0430\u0442\u044c \u043d\u043e\u0432\u044b\u043c \u043f\u043e\u043a\u043e\u043b\u0435\u043d\u0438\u0435\u043c<\/h3>\n<p>\u041d\u043e\u0432\u0438\u0437\u043d\u0430 HTCE \u043d\u0435 \u0432 \u0442\u043e\u043c, \u0447\u0442\u043e \u043e\u043d\u0430 \u201c\u0433\u043e\u0432\u043e\u0440\u0438\u0442 \u043a\u0440\u0430\u0441\u0438\u0432\u0435\u0435\u201d.<\/p>\n<p>\u041d\u043e\u0432\u0438\u0437\u043d\u0430 \u0432 \u0434\u0440\u0443\u0433\u043e\u043c:<\/p>\n<pre><code>1. \u0417\u043d\u0430\u043d\u0438\u0435 \u043e\u0442\u0434\u0435\u043b\u0435\u043d\u043e \u043e\u0442 \u0441\u0432\u0438\u0434\u0435\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430.2. Solver \u043e\u0442\u0434\u0435\u043b\u0451\u043d \u043e\u0442 \u0438\u0441\u0442\u0438\u043d\u044b.3. \u041d\u0430\u0432\u044b\u043a \u043e\u0442\u0434\u0435\u043b\u0451\u043d \u043e\u0442 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430 \u043d\u0430\u0432\u044b\u043a\u0430.4. \u041e\u0442\u0432\u0435\u0442 \u043e\u0442\u0434\u0435\u043b\u0451\u043d \u043e\u0442 authority.5. \u0411\u044b\u0441\u0442\u0440\u044b\u0439 \u0440\u0435\u0436\u0438\u043c \u043e\u0442\u0434\u0435\u043b\u0451\u043d \u043e\u0442 \u0442\u044f\u0436\u0451\u043b\u043e\u0439 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438.6. \u0421\u0436\u0430\u0442\u0438\u0435 \u043e\u0442\u0434\u0435\u043b\u0435\u043d\u043e \u043e\u0442 truth-promotion.7. Resident organism \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d epistemic budget.<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u042d\u0442\u043e \u0443\u0436\u0435 \u043d\u0435 \u043f\u0440\u043e\u0441\u0442\u043e AI-\u0430\u0441\u0441\u0438\u0441\u0442\u0435\u043d\u0442. \u042d\u0442\u043e \u043f\u043e\u043f\u044b\u0442\u043a\u0430 \u043f\u043e\u0441\u0442\u0440\u043e\u0438\u0442\u044c <strong>\u043a\u043e\u0433\u043d\u0438\u0442\u0438\u0432\u043d\u0443\u044e \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u043e\u043d\u043d\u0443\u044e \u0441\u0438\u0441\u0442\u0435\u043c\u0443<\/strong>, \u0433\u0434\u0435 \u0435\u0441\u0442\u044c:<\/p>\n<ul>\n<li>\n<p>\u0437\u0430\u0449\u0438\u0449\u0451\u043d\u043d\u0430\u044f \u043f\u0430\u043c\u044f\u0442\u044c;<\/p>\n<\/li>\n<li>\n<p>\u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u043c\u044b\u0435 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u044b;<\/p>\n<\/li>\n<li>\n<p>\u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0435 \u0441\u0432\u0438\u0434\u0435\u0442\u0435\u043b\u0438;<\/p>\n<\/li>\n<li>\n<p>\u0441\u0436\u0430\u0442\u0438\u0435 \u043e\u043f\u044b\u0442\u0430;<\/p>\n<\/li>\n<li>\n<p>self-regulation;<\/p>\n<\/li>\n<li>\n<p>\u0441\u0442\u0440\u043e\u0433\u0438\u0435 safety-\u0438\u043d\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u044b.<\/p>\n<\/li>\n<\/ul>\n<hr\/>\n<h3>\u041f\u0435\u0440\u0441\u043f\u0435\u043a\u0442\u0438\u0432\u044b \u043f\u0440\u043e\u0435\u043a\u0442\u0430<\/h3>\n<h4>1. \u0411\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u044b\u0435 \u0430\u0432\u0442\u043e\u043d\u043e\u043c\u043d\u044b\u0435 \u0430\u0433\u0435\u043d\u0442\u044b<\/h4>\n<p>HTCE \u043c\u043e\u0436\u0435\u0442 \u0441\u0442\u0430\u0442\u044c \u044f\u0434\u0440\u043e\u043c \u0430\u0433\u0435\u043d\u0442\u0430, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043d\u0435 \u043f\u0440\u043e\u0441\u0442\u043e \u201c\u043f\u043b\u0430\u043d\u0438\u0440\u0443\u0435\u0442\u201d, \u0430 \u043e\u0431\u044a\u044f\u0441\u043d\u044f\u0435\u0442:<\/p>\n<pre><code>\u043f\u043e\u0447\u0435\u043c\u0443 \u043e\u043d \u0432\u044b\u0431\u0440\u0430\u043b \u044d\u0442\u043e\u0442 \u043f\u043b\u0430\u043d;\u043a\u0430\u043a\u0438\u0435 evidence \u0435\u0433\u043e \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u044e\u0442;\u0447\u0442\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u043b \u0432\u043d\u0435\u0448\u043d\u0438\u0439 witness;\u0433\u0434\u0435 \u043a\u043e\u043d\u0444\u043b\u0438\u043a\u0442;\u043a\u0430\u043a\u043e\u0439 \u0440\u0438\u0441\u043a;\u043f\u043e\u0447\u0435\u043c\u0443 \u043e\u0442\u043a\u0430\u0437\u0430\u043b\u0441\u044f.<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<h4>2. \u0420\u043e\u0431\u043e\u0442\u043e\u0442\u0435\u0445\u043d\u0438\u043a\u0430 \u0438 \u0434\u0440\u043e\u043d\u044b<\/h4>\n<p>\u0414\u043b\u044f \u0440\u043e\u0431\u043e\u0442\u043e\u0442\u0435\u0445\u043d\u0438\u043a\u0438 \u0432\u0430\u0436\u043d\u043e \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u043f\u043e\u0441\u0442\u0440\u043e\u0438\u0442\u044c \u043f\u043b\u0430\u043d, \u043d\u043e \u0438 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u044c, \u0447\u0442\u043e \u043e\u043d \u043d\u0435 \u043d\u0430\u0440\u0443\u0448\u0430\u0435\u0442 safety-boundary.<\/p>\n<p>HTCE-\u043f\u043e\u0434\u0445\u043e\u0434:<\/p>\n<pre><code>sensor event\u2192 L1 observation\u2192 world model\u2192 candidate plan\u2192 risk tier\u2192 simulation \/ PDDL \/ SMT witness\u2192 advisory action only<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u041d\u0430 \u0442\u0435\u043a\u0443\u0449\u0435\u043c \u0443\u0440\u043e\u0432\u043d\u0435 \u044d\u0442\u043e \u0435\u0449\u0451 \u043d\u0435 real actuation. \u041d\u043e \u043a\u0430\u043a safety-cognitive core \u2014 \u043d\u0430\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u043f\u0435\u0440\u0441\u043f\u0435\u043a\u0442\u0438\u0432\u043d\u043e\u0435.<\/p>\n<h4>3. \u0418\u043d\u0436\u0435\u043d\u0435\u0440\u043d\u044b\u0435 \u044d\u043a\u0441\u043f\u0435\u0440\u0442\u044b<\/h4>\n<p>HTCE \u043c\u043e\u0436\u0435\u0442 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c\u0441\u044f \u043a\u0430\u043a \u201cauditable reasoning layer\u201d \u043f\u043e\u0432\u0435\u0440\u0445 \u0438\u043d\u0436\u0435\u043d\u0435\u0440\u043d\u043e\u0439 \u0441\u0438\u0441\u0442\u0435\u043c\u044b:<\/p>\n<ul>\n<li>\n<p>\u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043d\u0438\u0439;<\/p>\n<\/li>\n<li>\n<p>\u0430\u043d\u0430\u043b\u0438\u0437 \u043a\u043e\u043d\u0444\u043b\u0438\u043a\u0442\u043e\u0432;<\/p>\n<\/li>\n<li>\n<p>\u0442\u0440\u0430\u0441\u0441\u0438\u0440\u043e\u0432\u043a\u0430 \u0440\u0435\u0448\u0435\u043d\u0438\u0439;<\/p>\n<\/li>\n<li>\n<p>\u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u0430\u044f \u0432\u0430\u043b\u0438\u0434\u0430\u0446\u0438\u044f \u043f\u043b\u0430\u043d\u043e\u0432;<\/p>\n<\/li>\n<li>\n<p>\u043a\u043e\u043d\u0442\u0440\u043e\u043b\u044c \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u0438\u0439.<\/p>\n<\/li>\n<\/ul>\n<h4>4. \u041a\u043e\u0440\u043f\u043e\u0440\u0430\u0442\u0438\u0432\u043d\u0430\u044f \u043f\u0430\u043c\u044f\u0442\u044c \u0431\u0435\u0437 \u0433\u0430\u043b\u043b\u044e\u0446\u0438\u043d\u0430\u0446\u0438\u0439<\/h4>\n<p>\u0421\u0438\u0441\u0442\u0435\u043c\u0430 \u043c\u043e\u0436\u0435\u0442 \u0441\u0442\u0430\u0442\u044c evidence-memory \u044f\u0434\u0440\u043e\u043c:<\/p>\n<pre><code>\u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u2192 claim\u2192 evidence\u2192 contradiction check\u2192 scoped answer<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u041d\u0435 \u201c\u0447\u0430\u0442 \u043f\u043e \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0430\u043c\u201d, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0443\u0432\u0435\u0440\u0435\u043d\u043d\u043e \u0432\u0440\u0451\u0442, \u0430 \u0441\u0438\u0441\u0442\u0435\u043c\u0430, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0443\u043c\u0435\u0435\u0442 \u0441\u043a\u0430\u0437\u0430\u0442\u044c:<\/p>\n<pre><code>\u0443 \u043c\u0435\u043d\u044f \u0435\u0441\u0442\u044c \u0434\u0432\u0430 \u043f\u0440\u043e\u0442\u0438\u0432\u043e\u0440\u0435\u0447\u0430\u0449\u0438\u0445 \u0438\u0441\u0442\u043e\u0447\u043d\u0438\u043a\u0430;\u0432\u043e\u0442 \u043e\u0431\u043b\u0430\u0441\u0442\u044c \u043f\u0440\u0438\u043c\u0435\u043d\u0438\u043c\u043e\u0441\u0442\u0438;\u0432\u043e\u0442 \u0447\u0442\u043e \u0442\u0440\u0435\u0431\u0443\u0435\u0442 \u0443\u0442\u043e\u0447\u043d\u0435\u043d\u0438\u044f.<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<h4>5. \u0413\u0438\u0431\u0440\u0438\u0434 LLM + HTCE<\/h4>\n<p>LLM \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0444\u0440\u043e\u043d\u0442\u0435\u043d\u0434\u043e\u043c:<\/p>\n<pre><code>\u0435\u0441\u0442\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u0439 \u044f\u0437\u044b\u043a\u2192 candidate parse\u2192 HTCE verification\u2192 bounded answer<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u041d\u043e LLM \u043d\u0435 \u0434\u043e\u043b\u0436\u043d\u0430 \u043f\u0438\u0441\u0430\u0442\u044c \u043d\u0430\u043f\u0440\u044f\u043c\u0443\u044e \u0432 Core.<\/p>\n<p>\u042d\u0442\u043e \u0432\u0430\u0436\u043d\u043e\u0435 \u0440\u0430\u0437\u0434\u0435\u043b\u0435\u043d\u0438\u0435:<\/p>\n<pre><code>LLM proposes.HTCE disposes.<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<hr\/>\n<h3>\u0413\u0434\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u043f\u043e\u043a\u0430 \u0441\u043b\u0430\u0431\u0430<\/h3>\n<p>\u0427\u0435\u0441\u0442\u043d\u043e:<\/p>\n<ol>\n<li>\n<p><strong>\u042f\u0437\u044b\u043a \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d<\/strong> HTCE \u043f\u043e\u043a\u0430 \u043d\u0435 \u043f\u043e\u043d\u0438\u043c\u0430\u0435\u0442 \u0441\u0432\u043e\u0431\u043e\u0434\u043d\u044b\u0439 \u044f\u0437\u044b\u043a \u043a\u0430\u043a LLM.<\/p>\n<\/li>\n<li>\n<p><strong>\u0424\u043e\u0440\u043c\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u0434\u043e\u0440\u043e\u0433\u0430\u044f<\/strong> PDDL\/SMT \u0442\u0440\u0435\u0431\u0443\u044e\u0442 \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e\u0439 \u043c\u043e\u0434\u0435\u043b\u0438.<\/p>\n<\/li>\n<li>\n<p><strong>\u041e\u0442\u043a\u0440\u044b\u0442\u044b\u0439 \u043c\u0438\u0440 \u0448\u0438\u0440\u0435 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u0445 \u0441\u0432\u0438\u0434\u0435\u0442\u0435\u043b\u0435\u0439<\/strong> \u041d\u0435 \u0432\u0441\u0451 \u043c\u043e\u0436\u043d\u043e \u0443\u0434\u043e\u0431\u043d\u043e \u0432\u044b\u0440\u0430\u0437\u0438\u0442\u044c \u0447\u0435\u0440\u0435\u0437 PDDL \u0438\u043b\u0438 SMT-LIB.<\/p>\n<\/li>\n<li>\n<p><strong>\u041d\u0435\u0442 production authority<\/strong> \u0421\u0438\u0441\u0442\u0435\u043c\u0430 \u043f\u043e\u043a\u0430 advisory\/sandbox-only.<\/p>\n<\/li>\n<li>\n<p><strong>\u0420\u0435\u0430\u043b\u044c\u043d\u044b\u0439 solver environment audit \u043d\u0443\u0436\u0435\u043d \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u043e<\/strong> \u0410\u0440\u0445\u0438\u0442\u0435\u043a\u0442\u0443\u0440\u0430 \u0435\u0441\u0442\u044c, \u043d\u043e solver \u0434\u043e\u043b\u0436\u0435\u043d \u0431\u044b\u0442\u044c \u0443\u0441\u0442\u0430\u043d\u043e\u0432\u043b\u0435\u043d \u0432 \u043e\u043a\u0440\u0443\u0436\u0435\u043d\u0438\u0438.<\/p>\n<\/li>\n<\/ol>\n<hr\/>\n<h3>\u0413\u043b\u0430\u0432\u043d\u0430\u044f \u0446\u0435\u043d\u043d\u043e\u0441\u0442\u044c<\/h3>\n<p>HTCE \u0441\u0442\u0440\u043e\u0438\u0442 \u043d\u0435 \u201c\u0438\u0441\u043a\u0443\u0441\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0433\u043e \u0431\u043e\u043b\u0442\u0443\u043d\u0430\u201d, \u0430 <strong>\u0438\u0441\u043a\u0443\u0441\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0433\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u044e\u0449\u0435\u0433\u043e<\/strong>.<\/p>\n<p>\u0415\u0451 \u0446\u0435\u043d\u043d\u043e\u0441\u0442\u044c \u0432 \u0442\u043e\u043c, \u0447\u0442\u043e \u043e\u043d\u0430:<\/p>\n<pre><code>\u043d\u0435 \u0432\u0435\u0440\u0438\u0442 \u0431\u0435\u0437 evidence;\u043d\u0435 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442 solver \u0437\u0430 \u0431\u043e\u0433\u0430;\u043d\u0435 \u0437\u0430\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442 \u0433\u0438\u043f\u043e\u0442\u0435\u0437\u0443 \u043a\u0430\u043a \u0438\u0441\u0442\u0438\u043d\u0443;\u043d\u0435 \u0442\u0440\u0430\u0442\u0438\u0442 COLD-\u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0443 \u043d\u0430 \u043a\u0430\u0436\u0434\u044b\u0439 \u043f\u0443\u0441\u0442\u044f\u043a;\u043d\u0435 \u0437\u0430\u0431\u044b\u0432\u0430\u0435\u0442 \u0441\u0442\u0430\u0440\u044b\u0435 \u043d\u0430\u0432\u044b\u043a\u0438 \u0440\u0430\u0434\u0438 \u043d\u043e\u0432\u044b\u0445 proof-\u0437\u0430\u0434\u0430\u0447;\u0443\u043c\u0435\u0435\u0442 \u043f\u0440\u0438\u0437\u043d\u0430\u0442\u044c \u043a\u043e\u043d\u0444\u043b\u0438\u043a\u0442;\u0443\u043c\u0435\u0435\u0442 \u043e\u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u044c\u0441\u044f.<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u0412 \u043c\u0438\u0440\u0435, \u0433\u0434\u0435 AI \u0432\u0441\u0451 \u0447\u0430\u0449\u0435 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442 \u0434\u043b\u044f \u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u0445 \u0440\u0435\u0448\u0435\u043d\u0438\u0439, \u044d\u0442\u043e \u043c\u043e\u0436\u0435\u0442 \u043e\u043a\u0430\u0437\u0430\u0442\u044c\u0441\u044f \u0432\u0430\u0436\u043d\u0435\u0435, \u0447\u0435\u043c \u0441\u043f\u043e\u0441\u043e\u0431\u043d\u043e\u0441\u0442\u044c \u043a\u0440\u0430\u0441\u0438\u0432\u043e \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0430\u0442\u044c \u0440\u0430\u0437\u0433\u043e\u0432\u043e\u0440.<\/p>\n<hr\/>\n<h3>\u0417\u0430\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435<\/h3>\n<p>HTCE \u2014 \u044d\u0442\u043e \u043f\u0440\u043e\u0435\u043a\u0442 \u043d\u043e\u0432\u043e\u0433\u043e \u043f\u043e\u043a\u043e\u043b\u0435\u043d\u0438\u044f \u043d\u0435 \u043f\u043e\u0442\u043e\u043c\u0443, \u0447\u0442\u043e \u043e\u043d \u201c\u0443\u043c\u043d\u0435\u0435 \u0432\u0441\u0435\u0445\u201d \u0432 \u043e\u0431\u044b\u0447\u043d\u043e\u043c \u0441\u043c\u044b\u0441\u043b\u0435. \u041e\u043d \u043d\u043e\u0432\u044b\u0439 \u043f\u043e\u0442\u043e\u043c\u0443, \u0447\u0442\u043e \u043f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u0435\u0442 \u0434\u0440\u0443\u0433\u043e\u0439 \u043a\u0440\u0438\u0442\u0435\u0440\u0438\u0439 \u0438\u043d\u0442\u0435\u043b\u043b\u0435\u043a\u0442\u0430:<\/p>\n<blockquote>\n<p>\u0418\u043d\u0442\u0435\u043b\u043b\u0435\u043a\u0442 \u2014 \u044d\u0442\u043e \u043d\u0435 \u0443\u0432\u0435\u0440\u0435\u043d\u043d\u043e\u0441\u0442\u044c \u043e\u0442\u0432\u0435\u0442\u0430. \u0418\u043d\u0442\u0435\u043b\u043b\u0435\u043a\u0442 \u2014 \u044d\u0442\u043e \u0434\u0438\u0441\u0446\u0438\u043f\u043b\u0438\u043d\u0430 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u043e\u0442\u0432\u0435\u0442\u0430.<\/p>\n<\/blockquote>\n<p>HTCE \u043f\u043e\u043a\u0430 \u043d\u0435 AGI. \u041d\u0435 \u0430\u0432\u0442\u043e\u043d\u043e\u043c\u043d\u044b\u0439 \u0438\u0441\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c. \u041d\u0435 \u0443\u043d\u0438\u0432\u0435\u0440\u0441\u0430\u043b\u044c\u043d\u044b\u0439 \u0441\u043e\u0431\u0435\u0441\u0435\u0434\u043d\u0438\u043a.<\/p>\n<p>\u041d\u043e \u044d\u0442\u043e \u0441\u0438\u043b\u044c\u043d\u044b\u0439 \u0444\u0443\u043d\u0434\u0430\u043c\u0435\u043d\u0442 \u0434\u043b\u044f \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0433\u043e \u043a\u043e\u0433\u043d\u0438\u0442\u0438\u0432\u043d\u043e\u0433\u043e \u0430\u0433\u0435\u043d\u0442\u0430: \u0441 \u043f\u0430\u043c\u044f\u0442\u044c\u044e, \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430\u043c\u0438, \u0441\u0436\u0430\u0442\u0438\u0435\u043c \u043e\u043f\u044b\u0442\u0430, \u0432\u043d\u0435\u0448\u043d\u0438\u043c\u0438 \u0441\u0432\u0438\u0434\u0435\u0442\u0435\u043b\u044f\u043c\u0438, risk-tiered \u0440\u0435\u0436\u0438\u043c\u0430\u043c\u0438 \u0438 \u0431\u044e\u0434\u0436\u0435\u0442\u043d\u043e\u0439 \u0441\u0430\u043c\u043e\u0440\u0435\u0433\u0443\u043b\u044f\u0446\u0438\u0435\u0439.<\/p>\n<p>\u0415\u0441\u043b\u0438 \u043e\u0431\u044b\u0447\u043d\u044b\u0439 AI \u043f\u044b\u0442\u0430\u0435\u0442\u0441\u044f \u043e\u0442\u0432\u0435\u0442\u0438\u0442\u044c \u0432\u0441\u0435\u0433\u0434\u0430, HTCE \u043f\u044b\u0442\u0430\u0435\u0442\u0441\u044f \u043e\u0442\u0432\u0435\u0442\u0438\u0442\u044c \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e \u2014 \u0438\u043b\u0438 \u0447\u0435\u0441\u0442\u043d\u043e \u0441\u043a\u0430\u0437\u0430\u0442\u044c, \u043f\u043e\u0447\u0435\u043c\u0443 \u043f\u043e\u043a\u0430 \u043d\u0435 \u043c\u043e\u0436\u0435\u0442.<\/p>\n<p>\u0418 \u0438\u043c\u0435\u043d\u043d\u043e \u0432 \u044d\u0442\u043e\u043c \u0435\u0451 \u0438\u043d\u0436\u0435\u043d\u0435\u0440\u043d\u0430\u044f \u0446\u0435\u043d\u043d\u043e\u0441\u0442\u044c.<\/p>\n<\/div>\n<p>\u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438 <a href=\"https:\/\/habr.com\/ru\/articles\/1053028\/\">https:\/\/habr.com\/ru\/articles\/1053028\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u0411\u043e\u043b\u044c\u0448\u0438\u043d\u0441\u0442\u0432\u043e \u0441\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445 AI-\u0441\u0438\u0441\u0442\u0435\u043c \u043f\u044b\u0442\u0430\u044e\u0442\u0441\u044f \u0432\u044b\u0433\u043b\u044f\u0434\u0435\u0442\u044c \u0443\u043c\u043d\u044b\u043c\u0438: \u043e\u043d\u0438 \u0431\u044b\u0441\u0442\u0440\u043e \u043e\u0442\u0432\u0435\u0447\u0430\u044e\u0442, \u043a\u0440\u0430\u0441\u0438\u0432\u043e \u0444\u043e\u0440\u043c\u0443\u043b\u0438\u0440\u0443\u044e\u0442, \u0443\u0432\u0435\u0440\u0435\u043d\u043d\u043e \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0430\u044e\u0442 \u0438 \u0447\u0430\u0441\u0442\u043e \u0441\u043e\u0437\u0434\u0430\u044e\u0442 \u043e\u0449\u0443\u0449\u0435\u043d\u0438\u0435 \u043f\u043e\u043d\u0438\u043c\u0430\u043d\u0438\u044f. \u041d\u043e \u0435\u0441\u0442\u044c \u043d\u0435\u043f\u0440\u0438\u044f\u0442\u043d\u0430\u044f \u0441\u0442\u043e\u0440\u043e\u043d\u0430: \u0442\u0430\u043a\u0430\u044f \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u043c\u043e\u0436\u0435\u0442 \u0437\u0432\u0443\u0447\u0430\u0442\u044c \u0443\u0432\u0435\u0440\u0435\u043d\u043d\u043e \u0434\u0430\u0436\u0435 \u0442\u043e\u0433\u0434\u0430, \u043a\u043e\u0433\u0434\u0430 \u0443 \u043d\u0435\u0451 \u043d\u0435\u0442 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432.HTCE \u2014 \u044d\u0442\u043e \u043f\u043e\u043f\u044b\u0442\u043a\u0430 \u043f\u043e\u0441\u0442\u0440\u043e\u0438\u0442\u044c \u0434\u0440\u0443\u0433\u043e\u0439 \u0442\u0438\u043f \u0438\u0441\u043a\u0443\u0441\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0433\u043e \u0438\u043d\u0442\u0435\u043b\u043b\u0435\u043a\u0442\u0430.\u041d\u0435 \u201c\u0431\u043e\u043b\u0442\u0430\u043b\u043a\u0443\u201d. \u041d\u0435 \u201c\u043c\u0430\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0430\u0432\u0442\u043e\u043f\u0438\u043b\u043e\u0442\u201d. \u041d\u0435 \u043e\u0447\u0435\u0440\u0435\u0434\u043d\u0443\u044e \u043e\u0431\u043e\u043b\u043e\u0447\u043a\u0443 \u0432\u043e\u043a\u0440\u0443\u0433 LLM.HTCE \u2014 \u044d\u0442\u043e \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043a\u043e\u0433\u043d\u0438\u0442\u0438\u0432\u043d\u044b\u0439 runtime: \u0441\u0438\u0441\u0442\u0435\u043c\u0430, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0443\u043c\u0435\u0435\u0442 \u043f\u043e\u043c\u043d\u0438\u0442\u044c \u0444\u0430\u043a\u0442\u044b, \u0432\u0438\u0434\u0435\u0442\u044c \u043f\u0440\u043e\u0442\u0438\u0432\u043e\u0440\u0435\u0447\u0438\u044f, \u0441\u0442\u0440\u043e\u0438\u0442\u044c \u043e\u0441\u0442\u043e\u0440\u043e\u0436\u043d\u044b\u0435 \u0433\u0438\u043f\u043e\u0442\u0435\u0437\u044b, \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0442\u044c \u043f\u043b\u0430\u043d\u044b \u0432\u043d\u0435\u0448\u043d\u0438\u043c\u0438 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u043c\u0438 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u0430\u043c\u0438 \u0438 \u043f\u0440\u0438 \u044d\u0442\u043e\u043c \u043d\u0435 \u0440\u0430\u0437\u0440\u0435\u0448\u0430\u0435\u0442 \u043d\u0438 \u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u0435\u043b\u044e, \u043d\u0438 solver-\u0443, \u043d\u0438 \u0432\u0430\u043b\u0438\u0434\u0430\u0442\u043e\u0440\u0443 \u043d\u0430\u043f\u0440\u044f\u043c\u0443\u044e \u0437\u0430\u043f\u0438\u0441\u044b\u0432\u0430\u0442\u044c \u201c\u0438\u0441\u0442\u0438\u043d\u0443\u201d \u0432 \u044f\u0434\u0440\u043e.\u0415\u0441\u043b\u0438 \u043e\u0431\u044b\u0447\u043d\u0430\u044f LLM \u043f\u043e\u0445\u043e\u0436\u0430 \u043d\u0430 \u0442\u0430\u043b\u0430\u043d\u0442\u043b\u0438\u0432\u043e\u0433\u043e \u0438\u043c\u043f\u0440\u043e\u0432\u0438\u0437\u0430\u0442\u043e\u0440\u0430, \u0442\u043e HTCE \u0431\u043b\u0438\u0436\u0435 \u043a \u0438\u043d\u0436\u0435\u043d\u0435\u0440\u0443-\u0430\u0443\u0434\u0438\u0442\u043e\u0440\u0443 \u0432\u043d\u0443\u0442\u0440\u0438 \u0441\u0435\u0439\u0444\u0430.\u041e\u043d\u0430 \u043c\u043e\u0436\u0435\u0442 \u0434\u0443\u043c\u0430\u0442\u044c. \u041e\u043d\u0430 \u043c\u043e\u0436\u0435\u0442 \u0441\u043e\u043c\u043d\u0435\u0432\u0430\u0442\u044c\u0441\u044f. \u041e\u043d\u0430 \u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0442\u044c. \u041d\u043e \u043e\u043d\u0430 \u043d\u0435 \u0438\u043c\u0435\u0435\u0442 \u043f\u0440\u0430\u0432\u0430 \u0432\u0435\u0440\u0438\u0442\u044c \u0431\u0435\u0437 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432.\u041f\u0440\u043e\u0431\u043b\u0435\u043c\u0430: \u0438\u043d\u0442\u0435\u043b\u043b\u0435\u043a\u0442 \u0431\u0435\u0437 \u0434\u0438\u0441\u0446\u0438\u043f\u043b\u0438\u043d\u044b \u0438\u0441\u0442\u0438\u043d\u044b\u0421\u0435\u0433\u043e\u0434\u043d\u044f AI \u0447\u0430\u0441\u0442\u043e \u043e\u0446\u0435\u043d\u0438\u0432\u0430\u044e\u0442 \u043f\u043e \u0440\u0430\u0437\u0433\u043e\u0432\u043e\u0440\u043d\u043e\u0439 \u0433\u0438\u0431\u043a\u043e\u0441\u0442\u0438. \u0415\u0441\u043b\u0438 \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u043a\u0440\u0430\u0441\u0438\u0432\u043e \u043e\u0442\u0432\u0435\u0447\u0430\u0435\u0442, \u043a\u0430\u0436\u0435\u0442\u0441\u044f, \u0447\u0442\u043e \u043e\u043d\u0430 \u201c\u043f\u043e\u043d\u0438\u043c\u0430\u0435\u0442\u201d. \u041d\u043e \u0432 \u0438\u043d\u0436\u0435\u043d\u0435\u0440\u043d\u044b\u0445, \u044e\u0440\u0438\u0434\u0438\u0447\u0435\u0441\u043a\u0438\u0445, \u0440\u043e\u0431\u043e\u0442\u043e\u0442\u0435\u0445\u043d\u0438\u0447\u0435\u0441\u043a\u0438\u0445, \u0444\u0438\u043d\u0430\u043d\u0441\u043e\u0432\u044b\u0445 \u0438 safety-critical \u0437\u0430\u0434\u0430\u0447\u0430\u0445 \u0432\u0430\u0436\u043d\u0435\u0435 \u0434\u0440\u0443\u0433\u043e\u0435:\u043e\u0442\u043a\u0443\u0434\u0430 \u0432\u0437\u044f\u043b\u0441\u044f \u0444\u0430\u043a\u0442;\u0447\u0442\u043e \u0434\u0435\u043b\u0430\u0442\u044c \u043f\u0440\u0438 \u043a\u043e\u043d\u0444\u043b\u0438\u043a\u0442\u0435 \u0444\u0430\u043a\u0442\u043e\u0432;\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0441\u0442\u043e\u0438\u0442 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430;\u043c\u043e\u0436\u043d\u043e \u043b\u0438 \u0434\u043e\u0432\u0435\u0440\u044f\u0442\u044c \u0432\u043d\u0435\u0448\u043d\u0435\u043c\u0443 solver-\u0443;\u0447\u0442\u043e \u0437\u0430\u043f\u0440\u0435\u0449\u0435\u043d\u043e \u0437\u0430\u043f\u0438\u0441\u044b\u0432\u0430\u0442\u044c \u0432 \u0437\u0430\u0449\u0438\u0449\u0451\u043d\u043d\u043e\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435;\u043a\u0430\u043a \u043d\u0435 \u043f\u0440\u0435\u0432\u0440\u0430\u0442\u0438\u0442\u044c \u0441\u0438\u0441\u0442\u0435\u043c\u0443 \u0432 \u043c\u0435\u0434\u043b\u0435\u043d\u043d\u0443\u044e \u0431\u044e\u0440\u043e\u043a\u0440\u0430\u0442\u0438\u044e \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432.HTCE \u0441\u0442\u0440\u043e\u0438\u0442\u0441\u044f \u0432\u043e\u043a\u0440\u0443\u0433 \u0438\u0434\u0435\u0438:\u0418\u043d\u0442\u0435\u043b\u043b\u0435\u043a\u0442 \u2014 \u044d\u0442\u043e \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u0441\u043f\u043e\u0441\u043e\u0431\u043d\u043e\u0441\u0442\u044c \u043e\u0442\u0432\u0435\u0447\u0430\u0442\u044c. \u0418\u043d\u0442\u0435\u043b\u043b\u0435\u043a\u0442 \u2014 \u044d\u0442\u043e \u0441\u043f\u043e\u0441\u043e\u0431\u043d\u043e\u0441\u0442\u044c \u0437\u043d\u0430\u0442\u044c \u0433\u0440\u0430\u043d\u0438\u0446\u044b \u0441\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0433\u043e \u0437\u043d\u0430\u043d\u0438\u044f.\u0427\u0442\u043e \u0442\u0430\u043a\u043e\u0435 HTCE \u0447\u0435\u043b\u043e\u0432\u0435\u0447\u0435\u0441\u043a\u0438\u043c \u044f\u0437\u044b\u043a\u043e\u043cHTCE \u2014 \u044d\u0442\u043e \u043c\u043e\u0434\u0443\u043b\u044c\u043d\u0430\u044f \u0430\u0440\u0445\u0438\u0442\u0435\u043a\u0442\u0443\u0440\u0430 \u043a\u043e\u0433\u043d\u0438\u0442\u0438\u0432\u043d\u043e\u0433\u043e \u044f\u0434\u0440\u0430:Core  \u2014 \u0437\u0430\u0449\u0438\u0449\u0451\u043d\u043d\u043e\u0435 \u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0435 \u044f\u0434\u0440\u043eAIR   \u2014 \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0438\u0439 \u044f\u0437\u044b\u043a \u0438 policy-gatesBody  \u2014 \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u043a\u0430 \u0441\u043e\u0431\u044b\u0442\u0438\u0439 \u0438 L1-\u043d\u0430\u0431\u043b\u044e\u0434\u0435\u043d\u0438\u0439Mind  \u2014 \u0446\u0435\u043b\u0438, \u043f\u043b\u0430\u043d\u044b, skill-chain, macro-skillWorld \u2014 \u043c\u043e\u0434\u0435\u043b\u044c \u043c\u0438\u0440\u0430, \u043f\u0440\u0438\u0447\u0438\u043d\u043d\u044b\u0435 \u0441\u0432\u044f\u0437\u0438, replayLearn \u2014 \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u0435, evidence, resident organism, witness boundaryInterface \u2014 \u0442\u043e\u043d\u043a\u0438\u0439 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0441\u043a\u0438\u0439 \u0441\u043b\u043e\u0439\u041a\u043b\u044e\u0447\u0435\u0432\u043e\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u043e \u043f\u0440\u043e\u0435\u043a\u0442\u0430:modules think;scripts launch;tests verify;documents describe reality.\u0422\u043e \u0435\u0441\u0442\u044c \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u044b \u0436\u0438\u0432\u0443\u0442 \u0432 \u043c\u043e\u0434\u0443\u043b\u044f\u0445, \u0430 \u043d\u0435 \u0432 run_*-\u0441\u043a\u0440\u0438\u043f\u0442\u0430\u0445. \u0421\u043a\u0440\u0438\u043f\u0442 \u043d\u0435 \u0434\u043e\u043b\u0436\u0435\u043d \u0432\u043d\u0435\u0437\u0430\u043f\u043d\u043e \u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u044c\u0441\u044f \u201c\u043c\u043e\u0437\u0433\u043e\u043c\u201d \u0441\u0438\u0441\u0442\u0435\u043c\u044b.L1, L2, L3: \u0442\u0440\u0438 \u0443\u0440\u043e\u0432\u043d\u044f \u0437\u043d\u0430\u043d\u0438\u044f\u0412 HTCE \u0437\u043d\u0430\u043d\u0438\u0435 \u0440\u0430\u0437\u0434\u0435\u043b\u0435\u043d\u043e \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0438.\u0423\u0440\u043e\u0432\u0435\u043d\u044c\u0427\u0442\u043e \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442\u0427\u0442\u043e \u043c\u043e\u0436\u043d\u043e\u0427\u0442\u043e \u043d\u0435\u043b\u044c\u0437\u044fL1\u041d\u0430\u0431\u043b\u044e\u0434\u0435\u043d\u0438\u0435\u043f\u0440\u0438\u043d\u044f\u0442\u044c \u0441\u043e\u0431\u044b\u0442\u0438\u0435, \u0437\u0430\u043f\u0438\u0441\u0430\u0442\u044c trace, \u043f\u043e\u0441\u0447\u0438\u0442\u0430\u0442\u044c digest\u043e\u0431\u044a\u044f\u0432\u0438\u0442\u044c \u0438\u0441\u0442\u0438\u043d\u0443L2Evidence-backed memory\u0445\u0440\u0430\u043d\u0438\u0442\u044c \u0444\u0430\u043a\u0442 \u0441 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u043c \u0441\u043b\u0435\u0434\u043e\u043c\u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0442\u044c \u0432\u043d\u0435\u0448\u043d\u0438\u0439 verdict \u043a\u0430\u043a \u0430\u0431\u0441\u043e\u043b\u044e\u0442\u043d\u0443\u044e \u0438\u0441\u0442\u0438\u043d\u0443L3\u041a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u043d\u0430\u044f \u043a\u043e\u0433\u043d\u0438\u0446\u0438\u044f\u0441\u0442\u0440\u043e\u0438\u0442\u044c \u043f\u0440\u0438\u0447\u0438\u043d\u043d\u044b\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u0430, abstraction, macro-skill\u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u043f\u0440\u043e\u0434\u0432\u0438\u0433\u0430\u0442\u044c \u0433\u0438\u043f\u043e\u0442\u0435\u0437\u0443 \u0432 truth\u041f\u0440\u0438\u043c\u0435\u0440:Mary is in kitchenWhere is Mary?\u0421\u0438\u0441\u0442\u0435\u043c\u0430 \u043c\u043e\u0436\u0435\u0442 \u043e\u0442\u0432\u0435\u0442\u0438\u0442\u044c:Mary is in kitchen.\u041d\u043e \u0435\u0441\u043b\u0438 \u0437\u0430\u0442\u0435\u043c \u043f\u043e\u0441\u0442\u0443\u043f\u0438\u0442:Mary is in officeHTCE \u043d\u0435 \u0434\u043e\u043b\u0436\u043d\u0430 \u043f\u0440\u043e\u0441\u0442\u043e \u043f\u0435\u0440\u0435\u0437\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u0441\u0442\u0430\u0440\u044b\u0439 \u0444\u0430\u043a\u0442. \u041e\u043d\u0430 \u0434\u043e\u043b\u0436\u043d\u0430 \u0443\u0432\u0438\u0434\u0435\u0442\u044c \u043a\u043e\u043d\u0444\u043b\u0438\u043a\u0442:conflict detected\u2192 quarantine \/ clarify\u042d\u0442\u043e \u043d\u0435 \u0441\u043b\u0430\u0431\u043e\u0441\u0442\u044c. \u042d\u0442\u043e \u0447\u0435\u0441\u0442\u043d\u043e\u0441\u0442\u044c.\u041f\u043e\u0447\u0435\u043c\u0443 \u0432\u043d\u0435\u0448\u043d\u0438\u0439 solver \u2014 \u043d\u0435 \u0431\u043e\u0433\u0412 HTCE \u0435\u0441\u0442\u044c \u0432\u043d\u0435\u0448\u043d\u0438\u0439 witness-\u043a\u043e\u043d\u0442\u0443\u0440:Type-1: PDDL \/ VAL \/ Fast Downward-compatible planning witness;Type-2: SMT-LIB \/ Z3 \/ cvc5 witness;\u0431\u0443\u0434\u0443\u0449\u0438\u0435 Type-3\/4\/5: simulation, empirical benchmark, operator-reviewed evidence.\u041d\u043e \u0432\u0430\u0436\u043d\u043e\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u043e:external verdict \u2260 truthexternal verdict \u2260 authorityexternal verdict \u2260 Core write\u0415\u0441\u043b\u0438 SMT solver \u0441\u043a\u0430\u0437\u0430\u043b sat, \u044d\u0442\u043e \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442 \u0442\u043e\u043b\u044c\u043a\u043e:\u0432 \u0434\u0430\u043d\u043d\u043e\u0439 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u0439 \u043a\u043e\u0434\u0438\u0440\u043e\u0432\u043a\u0435 \u043d\u0430\u0439\u0434\u0435\u043d\u0430 \u043c\u043e\u0434\u0435\u043b\u044c.\u0415\u0441\u043b\u0438 solver \u0441\u043a\u0430\u0437\u0430\u043b unsat, \u044d\u0442\u043e \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442:\u0432 \u0434\u0430\u043d\u043d\u043e\u0439 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u0439 \u043a\u043e\u0434\u0438\u0440\u043e\u0432\u043a\u0435 \u043c\u043e\u0434\u0435\u043b\u044c \u043d\u0435 \u043d\u0430\u0439\u0434\u0435\u043d\u0430.\u041d\u043e solver \u043d\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442 \u0440\u0435\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u044c. \u041e\u043d \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442 \u0444\u043e\u0440\u043c\u0443\u043b\u0443.\u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u0432\u043d\u0435\u0448\u043d\u0438\u0439 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u043f\u0440\u043e\u0445\u043e\u0434\u0438\u0442 \u0442\u0430\u043a:SMT\/PDDL\/VAL verdict\u2192 ExternalEvidenceRecord\u2192 DiscrepancyRecord\u2192 internal replay\/arbitration\u2192 candidate support\u0410 \u043d\u0435 \u0442\u0430\u043a:SMT\/PDDL\/VAL verdict\u2192 L2 truth\u2192 L3 truth\u2192 Core write\u042d\u0442\u043e \u0437\u0430\u0449\u0438\u0449\u0430\u0435\u0442 \u0441\u0438\u0441\u0442\u0435\u043c\u0443 \u043e\u0442 \u043e\u0448\u0438\u0431\u043e\u043a \u043a\u043e\u0434\u0438\u0440\u043e\u0432\u043a\u0438, \u0431\u0430\u0433\u043e\u0432 solver-\u0430, \u043d\u0435\u043f\u043e\u043b\u043d\u043e\u0439 \u043c\u043e\u0434\u0435\u043b\u0438 \u0438 \u043c\u0430\u043d\u0438\u043f\u0443\u043b\u044f\u0446\u0438\u0439 \u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u0435\u043b\u044f \u0432\u0440\u043e\u0434\u0435:SMT solver says PASS, therefore write this as truth.\u0414\u043b\u044f HTCE \u0442\u0430\u043a\u0430\u044f \u0444\u0440\u0430\u0437\u0430 \u2014 \u043d\u0435 \u043a\u043e\u043c\u0430\u043d\u0434\u0430, \u0430 \u043f\u043e\u043f\u044b\u0442\u043a\u0430 truth-promotion injection.\u041c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u044f\u0434\u0440\u043e: \u0442\u043e\u0440\u043e\u0438\u0434\u0430\u043b\u044c\u043d\u043e\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435\u0412 \u043e\u0441\u043d\u043e\u0432\u0435 HTCE \u043b\u0435\u0436\u0438\u0442 \u0438\u0434\u0435\u044f \u0434\u0438\u0441\u043a\u0440\u0435\u0442\u043d\u043e\u0433\u043e \u0442\u043e\u0440\u043e\u0438\u0434\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u043f\u0440\u043e\u0441\u0442\u0440\u0430\u043d\u0441\u0442\u0432\u0430 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439. \u0421\u0438\u0441\u0442\u0435\u043c\u0430 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043d\u0435 \u0441 \u201c\u043f\u043b\u0430\u0432\u0430\u044e\u0449\u0438\u043c\u0438 \u043e\u0449\u0443\u0449\u0435\u043d\u0438\u044f\u043c\u0438\u201d, \u0430 \u0441 \u0446\u0435\u043b\u043e\u0447\u0438\u0441\u043b\u0435\u043d\u043d\u044b\u043c\u0438 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f\u043c\u0438, digest-\u0430\u043c\u0438, roots \u0438 bounded confidence.\u041e\u0431\u0449\u0438\u0439 \u0432\u0438\u0434 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430:\u0433\u0434\u0435: \u2014 \u0442\u043e\u0440\u043e\u0438\u0434\u0430\u043b\u044c\u043d\u0430\u044f \u043a\u043e\u043e\u0440\u0434\u0438\u043d\u0430\u0442\u0430 \u043e\u043f\u044b\u0442\u0430; \u2014 evidence-\u043a\u043e\u043c\u043f\u043e\u043d\u0435\u043d\u0442\u0430; \u2014 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0435 \u0438\u043b\u0438 action-basis; \u2014 skill-\u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 \u0434\u043b\u044f \u0446\u0435\u043b\u0438 ; \u2014 \u0431\u043e\u043b\u044c\u0448\u043e\u0439 \u043c\u043e\u0434\u0443\u043b\u044c;\u0432\u0441\u0435 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u044f\u0442 \u0432 \u0434\u0438\u0441\u043a\u0440\u0435\u0442\u043d\u043e\u043c \u043a\u043e\u043b\u044c\u0446\u0435.\u0412\u0435\u043a\u0442\u043e\u0440 \u043e\u043f\u044b\u0442\u0430:\u0433\u0434\u0435: \u2014 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435\/\u043a\u043e\u043d\u0442\u0435\u043a\u0441\u0442; \u2014 \u0446\u0435\u043b\u044c; \u2014 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0435; \u2014 evidence; \u2014 \u0442\u043e\u0440\u043e\u0438\u0434\u0430\u043b\u044c\u043d\u0430\u044f \u043a\u043e\u043e\u0440\u0434\u0438\u043d\u0430\u0442\u0430; \u2014 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442; \u2014 \u043e\u0448\u0438\u0431\u043a\u0430 \u043f\u0440\u043e\u0433\u043d\u043e\u0437\u0430.\u0415\u0441\u043b\u0438 \u0435\u0441\u0442\u044c \u0434\u0432\u0430 \u044d\u043f\u0438\u0437\u043e\u0434\u0430, \u043c\u043e\u0436\u043d\u043e \u043e\u0441\u0442\u043e\u0440\u043e\u0436\u043d\u043e \u043e\u0446\u0435\u043d\u0438\u0432\u0430\u0442\u044c skill:\u041d\u043e \u0434\u0430\u0436\u0435 \u0442\u0430\u043a\u0430\u044f \u043e\u0446\u0435\u043d\u043a\u0430 \u043d\u0435 \u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u0441\u044f \u0438\u0441\u0442\u0438\u043d\u043e\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438. \u041e\u043d\u0430 \u043e\u0441\u0442\u0430\u0451\u0442\u0441\u044f candidate, \u043f\u043e\u043a\u0430 \u043d\u0435 \u043f\u0440\u043e\u0439\u0434\u0451\u0442 replay, \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0443 \u043a\u043e\u043d\u0442\u0435\u043a\u0441\u0442\u0430 \u0438 anti-forgetting boundary.\u041f\u043e\u0447\u0435\u043c\u0443 \u201c\u0442\u043e\u0440\u201d \u0432\u0430\u0436\u0435\u043d\u0422\u043e\u0440\u043e\u0438\u0434\u0430\u043b\u044c\u043d\u0430\u044f \u043c\u043e\u0434\u0435\u043b\u044c \u0434\u0430\u0451\u0442 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u043f\u0440\u0435\u0438\u043c\u0443\u0449\u0435\u0441\u0442\u0432:\u0426\u0435\u043b\u043e\u0447\u0438\u0441\u043b\u0435\u043d\u043d\u043e\u0441\u0442\u044c \u0421\u0438\u0441\u0442\u0435\u043c\u0430 \u0438\u0437\u0431\u0435\u0433\u0430\u0435\u0442 \u0441\u043a\u0440\u044b\u0442\u043e\u0439 \u043d\u0435\u0434\u0435\u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0441\u0442\u0438 floating-point \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0439 \u0432 \u0437\u0430\u0449\u0438\u0449\u0451\u043d\u043d\u043e\u043c \u044f\u0434\u0440\u0435.\u041c\u043e\u0434\u0443\u043b\u044c\u043d\u043e\u0441\u0442\u044c \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u041f\u0435\u0440\u0435\u0445\u043e\u0434\u044b \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0442 \u0432 \u043a\u043e\u043b\u044c\u0446\u0435 , \u0433\u0434\u0435 \u043f\u0435\u0440\u0435\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u0435 \u043d\u0435 \u0440\u0430\u0437\u0440\u0443\u0448\u0430\u0435\u0442 \u043c\u043e\u0434\u0435\u043b\u044c, \u0430 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0447\u0430\u0441\u0442\u044c\u044e \u0433\u0435\u043e\u043c\u0435\u0442\u0440\u0438\u0438.Digest-friendly representation \u0421\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u0443\u0434\u043e\u0431\u043d\u043e \u0444\u0438\u043a\u0441\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0447\u0435\u0440\u0435\u0437 hash\/root\/trace.\u0421\u0440\u0430\u0432\u043d\u0438\u043c\u043e\u0441\u0442\u044c \u0442\u0440\u0430\u0435\u043a\u0442\u043e\u0440\u0438\u0439 \u041c\u043e\u0436\u043d\u043e \u0438\u0437\u043c\u0435\u0440\u044f\u0442\u044c \u0440\u0430\u0441\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u043c\u0435\u0436\u0434\u0443 skill-\u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u0430\u043c\u0438, \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f\u043c\u0438 \u0438 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0430\u043c\u0438.\u0423\u043f\u0440\u043e\u0449\u0451\u043d\u043d\u043e:\u043e\u0431\u044b\u0447\u043d\u0430\u044f \u0441\u0438\u0441\u0442\u0435\u043c\u0430:  \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u2192 \u044d\u0432\u0440\u0438\u0441\u0442\u0438\u043a\u0430 \u2192 \u043e\u0442\u0432\u0435\u0442HTCE:  \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u2192 \u0442\u043e\u0440\u043e\u0438\u0434\u0430\u043b\u044c\u043d\u0430\u044f \u043a\u043e\u043e\u0440\u0434\u0438\u043d\u0430\u0442\u0430 \u2192 evidence \u2192 replay \u2192 bounded answer\u0421\u0436\u0430\u0442\u0438\u0435: \u043a\u043e\u0433\u0434\u0430 \u0437\u043d\u0430\u043d\u0438\u0435 \u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u0441\u044f \u043d\u0430\u0432\u044b\u043a\u043e\u043cHTCE \u043d\u0435 \u0434\u043e\u043b\u0436\u043d\u0430 \u0445\u0440\u0430\u043d\u0438\u0442\u044c \u043a\u0430\u0436\u0434\u044b\u0439 \u043e\u043f\u044b\u0442 \u043a\u0430\u043a \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u0443\u044e \u0438\u0441\u0442\u043e\u0440\u0438\u044e \u043d\u0430\u0432\u0441\u0435\u0433\u0434\u0430. \u0415\u0441\u043b\u0438 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0446\u0435\u043f\u043e\u0447\u0435\u043a \u043f\u043e\u0432\u0442\u043e\u0440\u044f\u044e\u0442\u0441\u044f, \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u043c\u043e\u0436\u0435\u0442 \u043f\u043e\u0441\u0442\u0440\u043e\u0438\u0442\u044c abstraction candidate.\u0418\u0434\u0435\u044f \u043f\u043e\u0445\u043e\u0436\u0430 \u043d\u0430 MDL \u2014 Minimum Description Length:\u0433\u0434\u0435: \u2014 \u0434\u0430\u043d\u043d\u044b\u0435; \u2014 \u043c\u043e\u0434\u0435\u043b\u044c; \u2014 \u0434\u043b\u0438\u043d\u0430 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u043c\u043e\u0434\u0435\u043b\u0438; \u2014 \u0434\u043b\u0438\u043d\u0430 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u0434\u0430\u043d\u043d\u044b\u0445 \u0447\u0435\u0440\u0435\u0437 \u043c\u043e\u0434\u0435\u043b\u044c.\u0415\u0441\u043b\u0438 \u043d\u043e\u0432\u0430\u044f abstraction \u0443\u043c\u0435\u043d\u044c\u0448\u0430\u0435\u0442 \u0441\u0443\u043c\u043c\u0430\u0440\u043d\u043e\u0435 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u0435, \u043f\u043e\u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f compression gain:\u041d\u043e HTCE \u0441\u043d\u043e\u0432\u0430 \u043d\u0435 \u0434\u0435\u043b\u0430\u0435\u0442 \u043f\u0440\u044b\u0436\u043e\u043a \u043a \u0438\u0441\u0442\u0438\u043d\u0435. \u0421\u0436\u0430\u0442\u0438\u0435 \u0441\u043e\u0437\u0434\u0430\u0451\u0442 \u043d\u0435 \u201c\u043f\u0440\u0430\u0432\u0438\u043b\u043e \u043c\u0438\u0440\u0430\u201d, \u0430 candidate:repeated paths\u2192 compression candidate\u2192 replay\u2192 context check\u2192 candidate remains bounded\u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440:alpha causes betabeta causes gamma\u041c\u043e\u0436\u043d\u043e \u043f\u043e\u0441\u0442\u0440\u043e\u0438\u0442\u044c \u043f\u0443\u0442\u044c:alpha \u2192 beta \u2192 gamma\u041d\u043e \u044d\u0442\u043e \u043d\u0435 \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442, \u0447\u0442\u043e \u201calpha \u0432\u0441\u0435\u0433\u0434\u0430 \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u0442 gamma\u201d. \u042d\u0442\u043e \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442:\u0432 \u0434\u0430\u043d\u043d\u043e\u043c evidence-\u043a\u043e\u043d\u0442\u0435\u043a\u0441\u0442\u0435 \u0435\u0441\u0442\u044c replay-bound candidate path.Skill-chain \u0438 macro-skillHTCE \u0443\u043c\u0435\u0435\u0442 \u0441\u043e\u0431\u0438\u0440\u0430\u0442\u044c \u043d\u0430\u0432\u044b\u043a\u0438 \u0432 \u0446\u0435\u043f\u043e\u0447\u043a\u0438.skill A output\u2192 compatible with skill B input\u2192 compatible with skill C input\u2192 bounded chain candidate\u0415\u0441\u043b\u0438 \u0446\u0435\u043f\u043e\u0447\u043a\u0430 \u0447\u0430\u0441\u0442\u043e \u0443\u0441\u043f\u0435\u0448\u043d\u0430, \u043e\u043d\u0430 \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0441\u0436\u0430\u0442\u0430 \u0432 macro-skill.\u041d\u043e macro-skill \u0432 HTCE \u0438\u043c\u0435\u0435\u0442 \u0432\u0430\u0436\u043d\u043e\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u043e:chunk is atomic for Mind,but not atomic for audit.\u0422\u043e \u0435\u0441\u0442\u044c \u0434\u043b\u044f \u043f\u043b\u0430\u043d\u0438\u0440\u043e\u0432\u0449\u0438\u043a\u0430 macro-skill \u043c\u043e\u0436\u0435\u0442 \u0432\u044b\u0433\u043b\u044f\u0434\u0435\u0442\u044c \u043a\u0430\u043a \u043e\u0434\u0438\u043d \u0443\u0437\u0435\u043b, \u043d\u043e \u0434\u043b\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u043e\u043d \u0432\u0441\u0435\u0433\u0434\u0430 \u0440\u0430\u0441\u043a\u0440\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043e\u0431\u0440\u0430\u0442\u043d\u043e \u0432 \u0446\u0435\u043f\u043e\u0447\u043a\u0443.\u0415\u0441\u043b\u0438 \u043e\u0448\u0438\u0431\u043a\u0430 \u043d\u0430\u0439\u0434\u0435\u043d\u0430 \u0432\u043d\u0443\u0442\u0440\u0438 macro-skill, \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u043c\u043e\u0436\u0435\u0442 \u0441\u0434\u0435\u043b\u0430\u0442\u044c:surgical_edge_rollback\u0410 \u0435\u0441\u043b\u0438 \u043e\u0448\u0438\u0431\u043a\u0430 \u043e\u043f\u0430\u0441\u043d\u0430\u044f \u0438\u043b\u0438 \u043d\u0435 \u043b\u043e\u043a\u0430\u043b\u0438\u0437\u0443\u0435\u0442\u0441\u044f:full_quarantine\u0413\u0440\u0430\u0444\u0438\u043a 1. \u041f\u0443\u0442\u044c \u043e\u0442 \u0444\u0430\u043a\u0442\u0430 \u043a \u0437\u0430\u0449\u0438\u0449\u0451\u043d\u043d\u043e\u043c\u0443 \u0432\u044b\u0432\u043e\u0434\u0443\u0424\u0430\u043a\u0442 \u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u0435\u043b\u044f      |      vL1 Observation      |      vEvidence admission      |      +&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;-+      |                   |      v                   vNo conflict          Conflict detected      |                   |      v                   vL2 active fact       Quarantine \/ clarify      |      vQuery answer\u0413\u043b\u0430\u0432\u043d\u0430\u044f \u0438\u0434\u0435\u044f: \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u043d\u0435 \u043f\u044b\u0442\u0430\u0435\u0442\u0441\u044f \u0432\u044b\u0433\u043b\u044f\u0434\u0435\u0442\u044c \u0443\u0432\u0435\u0440\u0435\u043d\u043d\u043e\u0439, \u0435\u0441\u043b\u0438 \u0434\u0430\u043d\u043d\u044b\u0435 \u043a\u043e\u043d\u0444\u043b\u0438\u043a\u0442\u0443\u044e\u0442.Risk-Tiered \u0440\u0435\u0436\u0438\u043c\u044b: \u0443\u043c\u043d\u0430\u044f \u043a\u043e\u0440\u043e\u0431\u043a\u0430 \u043f\u0435\u0440\u0435\u0434\u0430\u0447\u041e\u0434\u043d\u0430 \u0438\u0437 \u0433\u043b\u0430\u0432\u043d\u044b\u0445 \u043f\u0440\u043e\u0431\u043b\u0435\u043c \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0445 \u0441\u0438\u0441\u0442\u0435\u043c \u2014 \u043e\u043d\u0438 \u043c\u043e\u0433\u0443\u0442 \u0441\u0442\u0430\u0442\u044c \u0441\u043b\u0438\u0448\u043a\u043e\u043c \u043c\u0435\u0434\u043b\u0435\u043d\u043d\u044b\u043c\u0438. \u0415\u0441\u043b\u0438 \u0432\u0441\u0451 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0442\u044c \u0447\u0435\u0440\u0435\u0437 solver, replay \u0438 witness, \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u043f\u0440\u0435\u0432\u0440\u0430\u0449\u0430\u0435\u0442\u0441\u044f \u0432 \u201c\u043f\u0435\u0434\u0430\u043d\u0442\u0438\u0447\u043d\u0443\u044e \u0438\u0433\u0440\u0443\u0448\u043a\u0443\u201d.HTCE \u0440\u0435\u0448\u0430\u0435\u0442 \u044d\u0442\u043e \u0447\u0435\u0440\u0435\u0437 Dynamic Epistemic Cost Management.\u0420\u0435\u0436\u0438\u043c\u041a\u043e\u0433\u0434\u0430 \u043f\u0440\u0438\u043c\u0435\u043d\u044f\u0435\u0442\u0441\u044f\u0427\u0442\u043e \u0434\u0435\u043b\u0430\u0435\u0442HOT\u043f\u0440\u043e\u0441\u0442\u043e\u0439 \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u044b\u0439 \u0437\u0430\u043f\u0440\u043e\u0441\u0431\u044b\u0441\u0442\u0440\u044b\u0439 L1\/L2 lookupWARM\u0443\u043c\u0435\u0440\u0435\u043d\u043d\u044b\u0439 reasoningbounded replayCOLD\u043a\u0440\u0438\u0442\u0438\u0447\u043d\u0430\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430external witness \/ heavy proofDEGRADE\u0440\u0438\u0441\u043a, \u0441\u0440\u043e\u0447\u043d\u043e\u0441\u0442\u044c, \u0438\u0441\u0447\u0435\u0440\u043f\u0430\u043d \u0431\u044e\u0434\u0436\u0435\u0442\u043e\u0442\u043a\u0430\u0437, request_operator, safe boundary\u0424\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e \u043c\u043e\u0436\u043d\u043e \u0432\u0432\u0435\u0441\u0442\u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0440\u0438\u0441\u043a\u0430:\u0433\u0434\u0435: \u2014 authority-risk; \u2014 truth-promotion-risk; \u2014 contradiction pressure; \u2014 uncertainty; \u2014 safety risk.\u0422\u043e\u0433\u0434\u0430 \u0440\u0435\u0436\u0438\u043c \u0432\u044b\u0431\u0438\u0440\u0430\u0435\u0442\u0441\u044f \u0442\u0430\u043a:\u0413\u0440\u0430\u0444\u0438\u043a 2. \u0421\u0442\u043e\u0438\u043c\u043e\u0441\u0442\u044c \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u043f\u043e \u0440\u0435\u0436\u0438\u043c\u0430\u043cVerification costCOLD     \u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588WARM     \u2588\u2588\u2588\u2588\u2588\u2588\u2588\u2588HOT      \u2588\u2588DEGRADE  \u2588\u2588\u2588         HOT     WARM     COLD     DEGRADEHOT \u043d\u0443\u0436\u0435\u043d \u0434\u043b\u044f \u043e\u0442\u0437\u044b\u0432\u0447\u0438\u0432\u043e\u0441\u0442\u0438. COLD \u043d\u0443\u0436\u0435\u043d \u0434\u043b\u044f \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438. DEGRADE \u043d\u0443\u0436\u0435\u043d \u0434\u043b\u044f \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0441\u0442\u0438.\u0421\u0438\u0441\u0442\u0435\u043c\u0430 \u043d\u0435 \u0434\u043e\u043b\u0436\u043d\u0430 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c COLD \u0434\u043b\u044f \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u0432\u043e\u043f\u0440\u043e\u0441\u0430.Resident organism: \u0447\u0442\u043e\u0431\u044b \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u043d\u0435 \u0441\u0442\u0430\u043b\u0430 \u201c\u043a\u043e\u0433\u043d\u0438\u0442\u0438\u0432\u043d\u043e \u0436\u0430\u0434\u043d\u043e\u0439\u201d\u0412 HTCE \u0435\u0441\u0442\u044c resident organism \u2014 \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0438\u0439 \u0446\u0438\u043a\u043b \u0441\u0430\u043c\u043e\u043e\u0431\u0441\u043b\u0443\u0436\u0438\u0432\u0430\u043d\u0438\u044f:replay old skill;memory coherence probe;boundary safety rehearsal;forward probe rehearsal;sleep consolidation;request_operator.\u041d\u043e resident \u043d\u0435 \u043c\u043e\u0436\u0435\u0442 \u0431\u0435\u0441\u043a\u043e\u043d\u0435\u0447\u043d\u043e \u0442\u0440\u0435\u0431\u043e\u0432\u0430\u0442\u044c \u0442\u044f\u0436\u0451\u043b\u044b\u0435 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430.\u0423 \u043d\u0435\u0433\u043e \u0435\u0441\u0442\u044c COLD-\u0431\u044e\u0434\u0436\u0435\u0442:r_{\\text{recovery}}$$\u0415\u0441\u043b\u0438 \u0431\u044e\u0434\u0436\u0435\u0442 \u0438\u0441\u0447\u0435\u0440\u043f\u0430\u043d:repeated COLD pressure\u2192 DEGRADE\u2192 request_operator\u041f\u0440\u0438 \u044d\u0442\u043e\u043c HOT\/WARM \u043e\u0441\u0442\u0430\u044e\u0442\u0441\u044f \u0436\u0438\u0432\u044b\u043c\u0438:COLD exhausted\u2260 system frozen\u042d\u0442\u043e \u0432\u0430\u0436\u043d\u043e. \u0418\u043d\u0430\u0447\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u0441\u043d\u043e\u0432\u0430 \u0441\u0442\u0430\u043b\u0430 \u0431\u044b \u043c\u0435\u0434\u043b\u0435\u043d\u043d\u043e\u0439 \u0431\u044e\u0440\u043e\u043a\u0440\u0430\u0442\u0438\u0435\u0439 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432.\u0412\u043d\u0435\u0448\u043d\u0438\u0435 \u0441\u0432\u0438\u0434\u0435\u0442\u0435\u043b\u0438: PDDL \u0438 SMT-LIBHTCE \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u0435\u0442 \u0438\u0434\u0435\u044e witness layers.Type-1: Formal PlanningPDDL\/VAL\/Fast Downward-compatible \u043a\u043e\u043d\u0442\u0443\u0440 \u043d\u0443\u0436\u0435\u043d \u0434\u043b\u044f planning-\u0437\u0430\u0434\u0430\u0447:domain.pddlproblem.pddlplan\u2192 external validator\u2192 verdict\u2192 ExternalEvidenceRecord\u041d\u043e verdict \u043d\u0435 \u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u0441\u044f \u0438\u0441\u0442\u0438\u043d\u043e\u0439.Type-2: SMT\/Theorem ProvingSMT-LIB\/Z3\/cvc5-\u043a\u043e\u043d\u0442\u0443\u0440 \u043d\u0443\u0436\u0435\u043d \u0434\u043b\u044f \u043b\u043e\u0433\u0438\u043a\u043e-\u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0439:query.smt2\u2192 SMT solver\u2192 sat \/ unsat \/ unknown\u2192 ExternalEvidenceRecord\u2192 DiscrepancyRecord\u0421\u043d\u043e\u0432\u0430:sat \u2260 truthunsat \u2260 truthunknown \u2260 failure of HTCE\u042d\u0442\u043e \u043f\u0440\u043e\u0441\u0442\u043e \u0432\u043d\u0435\u0448\u043d\u0438\u0439 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u0439 \u0441\u0432\u0438\u0434\u0435\u0442\u0435\u043b\u044c.\u0422\u0430\u0431\u043b\u0438\u0446\u0430: \u0447\u0435\u043c HTCE \u043e\u0442\u043b\u0438\u0447\u0430\u0435\u0442\u0441\u044f \u043e\u0442 \u043e\u0431\u044b\u0447\u043d\u043e\u0439 LLM-\u0441\u0438\u0441\u0442\u0435\u043c\u044b\u041a\u0440\u0438\u0442\u0435\u0440\u0438\u0439\u041e\u0431\u044b\u0447\u043d\u0430\u044f LLMHTCE\u0413\u043b\u0430\u0432\u043d\u0430\u044f \u0441\u0438\u043b\u0430\u0433\u0435\u043d\u0435\u0440\u0430\u0446\u0438\u044f \u0442\u0435\u043a\u0441\u0442\u0430\u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u0430\u044f \u0434\u0438\u0441\u0446\u0438\u043f\u043b\u0438\u043d\u0430\u0420\u0430\u0431\u043e\u0442\u0430 \u0441 \u0444\u0430\u043a\u0442\u0430\u043c\u0438\u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e\u0441\u0442\u043d\u0430\u044f \u0430\u0441\u0441\u043e\u0446\u0438\u0430\u0446\u0438\u044fevidence-backed memory\u041a\u043e\u043d\u0444\u043b\u0438\u043a\u0442 \u0444\u0430\u043a\u0442\u043e\u0432\u043c\u043e\u0436\u0435\u0442 \u0441\u0433\u043b\u0430\u0434\u0438\u0442\u044cquarantine \/ clarifySolver verdict\u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0432\u043e\u0441\u043f\u0440\u0438\u043d\u044f\u0442 \u043a\u0430\u043a \u043e\u0442\u0432\u0435\u0442\u0442\u043e\u043b\u044c\u043a\u043e ExternalEvidenceRecord\u0411\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0441\u0442\u044c\u0447\u0430\u0441\u0442\u043e \u0432\u043d\u0435\u0448\u043d\u044f\u044f \u043e\u0431\u0432\u044f\u0437\u043a\u0430\u0432\u0441\u0442\u0440\u043e\u0435\u043d\u043d\u0430\u044f policy\/risk-tier \u043c\u043e\u0434\u0435\u043b\u044c\u0421\u0436\u0430\u0442\u0438\u0435 \u043e\u043f\u044b\u0442\u0430\u0441\u043a\u0440\u044b\u0442\u043e \u0432 \u0432\u0435\u0441\u0430\u0445explicit abstraction candidates\u041d\u0430\u0432\u044b\u043a\u0438\u043d\u0435\u044f\u0432\u043d\u044b\u0435skill-chain \/ macro-skill \/ replay\u041e\u0448\u0438\u0431\u043a\u0430 \u0432 \u043d\u0430\u0432\u044b\u043a\u0435\u0442\u0440\u0443\u0434\u043d\u043e \u043b\u043e\u043a\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u0442\u044csurgical rollback \/ quarantine\u0421\u0442\u043e\u0438\u043c\u043e\u0441\u0442\u044c \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438\u043d\u0435\u044f\u0432\u043d\u0430\u044fHOT\/WARM\/COLD\/DEGRADE\u0410\u0443\u0434\u0438\u0442\u0441\u043b\u043e\u0436\u043d\u044b\u0439trace\/hash\/report\/docs\u0410\u0443\u0434\u0438\u0442\u043e\u0440\u0441\u043a\u0438\u0439 \u0441\u0442\u0430\u0442\u0443\u0441 \u0442\u0435\u043a\u0443\u0449\u0435\u0439 \u0441\u0438\u0441\u0442\u0435\u043c\u044b\u0412 \u0442\u0435\u043a\u0443\u0449\u0435\u043c baseline \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u043f\u0440\u043e\u0448\u043b\u0430 \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0438\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438:\u041f\u0440\u043e\u0432\u0435\u0440\u043a\u0430\u0421\u0442\u0430\u0442\u0443\u0441compileallPASScurrent diagnosticsPASSactive pytest20 \/ 20 PASSHASHES.txtOKHASHES.txt.sha256OKHOT pathPASSWARM pathPASSCOLD&#8230;<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-485357","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/485357","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=485357"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/485357\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=485357"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=485357"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=485357"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}