Критерій і числа
- Зареєстрований критерій
- SAGEN @ 300 токенів зі сприйняттям наживо перевершує найсильнішу пласку базову лінію за охопленням
- Виміряно
- +0,230 охоплення понад згорткове резюме
- 95% ДІ
- від 0,205 до 0,257
- p
- 0,0001 (поріг Голма 0,0125)
SAGEN-BENCH V2 · ПОПЕРЕДНЯ РЕЄСТРАЦІЯ
SAGEN дає ШІ-агентам структуровану робочу памʼять розмови: цілі, теми, що на що посилається. Перед перевіркою на 72 заморожених сценаріях на OSF подали чотири передбачення. Два справдилися. Два не справдилися, і тут вони опубліковані саме як провали.
Охоплення: яка частка того, що агент мав би відстежувати, справді потрапила в його памʼять, від 0 до 1.
| Підхід | Оракул | Наживо | Розрив |
|---|---|---|---|
| Сирий буфер | 0,160 | 0,140 | 0,021 |
| Повна стенограма | 0,195 | 0,174 | 0,021 |
| Згорткове резюме | 0,268 | 0,268 | -0,000 |
| SAGEN @ 300 токенів | 0,937 | 0,499 | 0,438 |
| SAGEN @ 2000 токенів | 0,966 | 0,828 | 0,138 |
H3З ідеальними вхідними даними SAGEN охоплює 0,937; коли читає реальна модель, 0,499. Зареєстрована межа дозволяла розрив 0,10. Розрив склав 0,438.
H4Моделі збіглися з еталоном приблизно на чверть того, що сприйняли (узгодженість 0,257 проти порогу 0,80), і не були послідовними від запуску до запуску (0,719 проти 0,90).
Частка сприйнятого кожною моделлю, що збіглася із замороженим еталоном. 5 запусків на 30 сценаріях для кожної моделі.
| Модель | Узгодженість | Випробування | Роль |
|---|---|---|---|
| claude-haiku-4-5-20251001 | 0,251 | 150 | порівняння |
| claude-sonnet-4-6 | 0,257 | 150 | флагман, поріг H4 |
| claude-opus-4-8 | 0,273 | 150 | порівняння |
Більша модель майже нічого не змінює.
Вузьке місце не в архітектурі, а в сприйнятті. Саме туди йде наступна робота.
Кожен критерій нижче записали й подали на OSF до того, як запустили оплачене вікно. Підтверджувальну родину скориговано методом Голма-Бонферроні при альфа 0,05. Відкрийте вердикт, щоб побачити зареєстрований критерій і виміряне значення.
Таблиця Голма позначає H4 як значущу, бо її двобічне p виявляє лише віддаленість від порогу. Середнє лежить нижче порогу, тож спрямований критерій провалено. Див. розкриття.
Жоден із чотирьох вердиктів щодо гіпотез не використовує суддю; їх обчислено механічно, тож провал цього контролю їх не зачіпає.
Перед підтверджувальним запуском подали 64 передбачення: вилучіть один механізм SAGEN, і зламатися мають саме ці перевірки здатностей. Рядки - вилучений механізм; стовпці - перевірена здатність.
Ця решітка - зафіксований результат на замороженому корпусі з 72 сценаріїв, той самий, який CI перевіряє на кожному коміті.
АБЛЯЦІЯ СТІЙКОСТІ · РЕЖИМ ОРАКУЛА
Решітка вилучень прибирає механізми, але ніколи не прибирає саму стійкість. Ця безкоштовна детермінована абляція прибирає. Вона порівнює стійкий рушій із безстановою структурованою базовою лінією: щокроку новий рушій, який бачить лише аналіз цього кроку й вставляє його, нічого не несучи далі. Різниця за кожним виміром відокремлює охоплення, яке купує стійкість, від охоплення, яке типізована схема дає задарма.
Охоплення зі стійким рушієм мінус охоплення з безстановою структурованою базовою лінією, за кожним виміром, при бюджеті 300 токенів. Праворуч від нуля памʼять допомагає. Ліворуч вона коштує.
| Вимір | Різниця від стійкості | Як читати |
|---|---|---|
| Явні цілі explicit-goal-identification | +1,000 | потребує памʼяті |
| Виведені цілі inferred-goals | +0,972 | потребує памʼяті |
| Повороти теми topic-pivot-detection | +0,893 | потребує памʼяті |
| Активні теми active-topic-tracking | +0,743 | потребує памʼяті |
| Пріоритет цілей goal-priority | +0,681 | потребує памʼяті |
| Життєвий цикл цілей goal-lifecycle | +0,681 | потребує памʼяті |
| Згасання памʼяті memory-decay-compression | +0,587 | потребує памʼяті |
| Повернення до сказаного callback-detection | 0,000 | дається схемою |
| Настрій sentiment-tracking | 0,000 | дається схемою |
| Терміновість настрою sentiment-urgency | 0,000 | дається схемою |
| Типи сутностей entity-type-classification | 0,000 | дається схемою |
| Шаблони спостереження scan-pattern-watchlist | 0,000 | дається схемою |
| Вкладання в бюджет токенів token-budget-rendering | 0,000 | дається схемою |
| Порядок переходів temporal-transition-ordering | -0,028 | дається схемою |
| Типи переходів transition-type-classification | -0,056 | артефакт обрізання бюджету |
| Машинно розбірний вивід machine-parseable-output | -0,215 | артефакт обрізання бюджету |
Стійкість несуча. Вона тримає відстеження цілей, виявлення поворотів теми, накопичені теми й згасання памʼяті. Але стільки ж вимірів даються взагалі без памʼяті: повернення й настрій їдуть в аналізі кожного кроку, а вкладання в бюджет токенів є властивістю формату. Тож частина переваги SAGEN над пласкою памʼяттю походить від можливостей схеми, а не від більшого знання. Два виміри ліворуч від нуля є артефактом обрізання: більше стану проходить крізь ті самі 300 токенів. Це чесне прочитання числа охоплення. Це режим оракула; абляція зі сприйняттям наживо залишається майбутньою роботою.
РОЗКРИТТЯ · ВІДХИЛЕННЯ І ВІДОМІ ПРОГАЛИНИ
Усе, що вікно зробило інакше, ніж у реєстрації, і кожна прогалина в інструментах. Відкрийте будь-яке.
Зареєстровано: Клітинки S2 з температурою 0 і з вибіркою тримаються окремо; стабільність між запусками вимірюється при температурі 0.
Насправді: Поточні рівні Claude API відхиляють явний параметр температури, тож усі запуски йдуть зі стандартною вибіркою кожної моделі, а R = 5 запусків утворюють ОДНУ клітинку на модель.
Зміщення: Робить поріг стабільності H4 СУВОРІШИМ (стандартна вибірка додає шум, який температура 0 придушила б); H4 може провалитися через це відхилення, але не може через нього хибно пройти.
Зареєстровано: Ідентифікатори моделей заморожено під час реєстрації.
Насправді: Текст реєстрації називає ролі й кількості, але не ідентифікатори моделей постачальника; їх закріпили в цьому зафіксованому файлі до першого оплаченого виклику.
Зміщення: Жодного на результати; прогалина повноти в транскрипції реєстрації, розкрита.
Таблиця Голма позначає H4 як «відхилити H0» за двобічним бутстреп-p, яке виявляє лише віддаленість від порогу 0,80. Середня узгодженість лежить далеко нижче порогу, тож спрямований зареєстрований критерій провалено: вердикт для H4 - ПРОВАЛЕНА, як показано вище.
935 із 960 реалізованих кроків одразу пройшли заморожені перевірки точності. 25 повернулися до зафіксованого замороженого шаблонного тексту після 3 невдалих спроб переписування, і на 7 із них сам шаблон спрацьовує на хибну ознаку повернення. Це прогалина інструмента в списку ознак, а не проблема даних: ці кроки дослівно несуть еталонний текст.
Кожне число вище відтворюється з публічного пакета на вашому компʼютері: заморожений корпус, сирий запис кожного оплаченого виклику й інструменти, що їх оцінили. Без облікового запису, без ключа API, без залежностей.
Завантажте пакет і запустіть перевірку (Node 20 або новіший)
B=https://www.jakelawrence.xyz/downloads/sagen-bench/v2; mkdir sagen-bench-v2 && cd sagen-bench-v2 && curl -fsSO $B/SHA256SUMS && awk '{print $2}' SHA256SUMS | xargs -I{} curl -fsS --create-dirs -o {} $B/{} && node verify.mjsКоманда завантажує кожен файл зі списку SHA256SUMS, заново виводить хеш корпусу, решітку, середні охоплення, H1-H4 з бутстреп-інтервалами, родину Голма, контроль суддів і витрати, друкує PASS для кожної перевірки й завершується словом VERIFIED.