← MathboxSOURCE FILE ARCHIVE
Inside the package
Mathbox · 321 files · 601 KB · Nov 3, 2026 · 18:21 UTC
| File | Size |
|---|---|
.claude-plugin/marketplace.jsonSHA-2562548937ed51a85cdba99d65b6688af53c7378d7706ceef6810d8f2239a7e2b85 | 842 Bytes |
.claude-plugin/plugin.jsonSHA-256e3f87e89646e2266bde0688b3b418819c374bc83f50b784fcad1094c76274ca8 | 881 Bytes |
.codex-plugin/plugin.jsonSHA-25619dacd990887cc016be2e7fcddba406c339f229cbad948559c1dd76bf8a0665b | 1.46 KB |
.github/workflows/check.ymlSHA-25605ed7bd2de3009a7b615106e8c8b6dc14b35a9841fca3633c8461710b05c29da | 467 Bytes |
.gitignoreSHA-256862263fa1f46c20f0d1e4dac5ffcc75abd55c08211b2c3864c5f8764b9d87793 | 19 Bytes |
AGENTS.mdSHA-2569ae01e721472195e687bcc0e6af100944e6e7519b40507b3effc9dc7bdb7c036 | 5.77 KB |
LICENSESHA-256f5cbe3f493cb0f981474e0ae52df3733a1988c5604f1c061a510b5a3da6260d7 | 1.05 KB |
README.mdSHA-25681757cd263e043e54b9efd89e8c4e4eada348129e625af35fa1242eac2dd76a7 | 10.3 KB |
assets/mathbox.svgSHA-256e527aafd57259e9f782a0c74448af89614d3808e27c72bff929f846bb8bb5e01 | 568 Bytes |
docs/CHANGELOG.mdSHA-25679536b165769517841732c7df07183d829510017c9f83cd00e2178024122363b | 20.6 KB |
docs/design-v3.mdSHA-2564b5cf7a210083ea6f41ae88a41a1f2cc3ec14e7c12254277e4b509385ea8e857 | 10.2 KB |
docs/referee-migration.mdSHA-2563e200b2fe6c9281cac7d451ee961b9ca773e629e94a9b4cf6c04f3ea1882d7aa | 8.89 KB |
docs/referee-validation.mdSHA-256038ea745cade2ce81114b681cce70adfcf3ebcb2dcd8e6c09912ea078aa3a43a | 13.8 KB |
docs/suite-review-plan.mdSHA-2566b2a4b6b3daed5b9ffbc49c4ecfdd27b890ada533711aea439849a3e5a5f082d | 87.5 KB |
docs/validation-v3.mdSHA-2562a16b07d953e93c78674fe44385fa35cd1522a1c8817b7488010d1d163db3381 | 7.56 KB |
evals/README.mdSHA-25697bff7edde2c5f399388223510c171d61283e3501f9ea5a93d792b2890205fad | 5.86 KB |
evals/cases.jsonSHA-256b1a5c534eb69428f94eb1a880db089cfba8526e7726808edc133c8abb5b0b55c | 8.87 KB |
evals/compare_referee_preparation.pySHA-256dd8ae72dfc5b793bd541b81ee9632547fe696a07df8b2addc59c5200645ee024 | 9.11 KB |
evals/fixtures/absolute-grading.mdSHA-2560fdf3ac31a3a8341b3f6b26ea36a8bc71d1d165092caf3efc2db9d1c016b9a4a | 548 Bytes |
evals/fixtures/bounded-tower.mdSHA-25670496109cce7bef495845fde091ab899bd653fc94d93c386983a5b2c54dd007c | 604 Bytes |
evals/fixtures/equivariant-map.mdSHA-256ab21a32e47315d2f7c45665f71717130db6350294868ff91458e6b85defab1e3 | 443 Bytes |
evals/fixtures/inconclusive-continuation.mdSHA-2569212c2a201bfe1a89d8a27fc2326148c66114ffeb599d5d041a26bd2c862c652 | 1.22 KB |
evals/fixtures/modular-rank.mdSHA-2567aef5d393f76df66358f33cb30e4271b084a752008450ed6318433ac8591f00e | 529 Bytes |
evals/fixtures/novelty-vocabulary.mdSHA-256f60c730a3f288167f1039226b41b1f15467e39c1e0841bc8a2146c1adffb0103 | 663 Bytes |
evals/fixtures/parallel-reconciliation.mdSHA-256a683f672402816557ea2a4be6cfdb7c5e4f9d3b887be4849dc9a913eb246a614 | 593 Bytes |
evals/fixtures/prime-binomial.mdSHA-256fc57d8956d7e9b209a34135d1c0046440a21f10b574e289a88545c9e1a7100e2 | 356 Bytes |
evals/fixtures/referee-context.texSHA-256eefda5cdf57b10e80353029959129cca3e63960706de90cf41cd320d56ad0748 | 568 Bytes |
evals/fixtures/referee-core.texSHA-25690715e630c11d2692d20f60d173bf39856ced9cc9f1a50dff87911ff8d655012 | 2.17 KB |
evals/fixtures/referee-enumeration.texSHA-2560a87d1c229c8f47bb3ee2b30128bab5418541e1243bc6346540cf67a5815a648 | 888 Bytes |
evals/fixtures/referee-exposition.texSHA-256fdb4bd16b93fd24e012c4be71c87fddb3112a1f0587f824437799b7f606dda81 | 735 Bytes |
evals/fixtures/referee-source.texSHA-256f9fb02302c62077b4f14380621fb94b26faabb5971194b1a7df67784e8339425 | 902 Bytes |
evals/fixtures/sampled-enumeration.mdSHA-256664c0a7d1cbc88a0ae4c993b688c76047155065dbec3088e7689c81f0a2821d3 | 500 Bytes |
evals/fixtures/surrogate-domain.mdSHA-25615a0f0dcd403883039a7e212deded3985ad4f930e03b02a44c4cc39a119cab9f | 661 Bytes |
evals/results/referee-v1/artifact-checks.jsonSHA-25626735e3b387b81940c69626285da2857a7f59cebf5bd1c47c8b512ae9ac80c5e | 78.1 KB |
evals/results/referee-v1/artifact-inventory.jsonSHA-25664d172d97f6fa217b82209146f28ec2e52f2eed30b75a3711565fe73c6bb8637 | 38.4 KB |
evals/results/referee-v1/context/coverage.jsonSHA-256cf396375db8460babd4e224c75bf06d62239fbd047c6904d48e7200b88d62edc | 10.9 KB |
evals/results/referee-v1/context/findings.jsonSHA-256c4c5ffbb0a69d645017b6d7e72dc643a0a1d76b8dda6faa78e6557611e599e27 | 9.17 KB |
evals/results/referee-v1/context/passes/01-current-correctness.jsonSHA-2561de3edda581c922ab3c561f0ace2ce865196acd711d7b7a0e84fbf8ff0795baf | 2.6 KB |
evals/results/referee-v1/context/passes/02-current-adversarial.jsonSHA-256723d2e27c43e81b5b99e4aa716576f97fb62bcbf02970925ae4dc3ac378bc752 | 2.61 KB |
evals/results/referee-v1/context/passes/03-current-exposition.jsonSHA-2568ef8f0fa2ee0bf89706e3208f05df6f6bbf04632c167ff44ca0203d27190d9b6 | 2.63 KB |
evals/results/referee-v1/context/passes/04-current-notation.jsonSHA-25646b3990448d9e8d14fbfe93c09f0ac9cdaac7ad125124ae1eb726a09e4fcbe49 | 3.02 KB |
evals/results/referee-v1/context/passes/04-current-tau-search.txtSHA-2563ec50b18d0b0a3ff4381cba77159f835518d057b82c3622971c1a23a8487cd5e | 163 Bytes |
evals/results/referee-v1/context/passes/05-current-claims-quote-correction.jsonSHA-2563fa7537150f06445033730f1806ca3f8e4e1e8fa9d28da4becd9c97d30c63763 | 1021 Bytes |
evals/results/referee-v1/context/passes/05-current-claims.jsonSHA-256656fc97334235d0648f318b2990de32573b7585b8be4c21f6182cef693bdd3c1 | 2.88 KB |
evals/results/referee-v1/context/preparation/context.jsonSHA-256f5d9401eebc37f4ddcbc98222fb4dd82bdedc84a75a1900bffa650598d369b81 | 698 Bytes |
evals/results/referee-v1/context/preparation/manifest.jsonSHA-25646d3e0fbddc46f0b44d38fd6d3f20b5a57772076976481113885b94d7a261edd | 3.67 KB |
evals/results/referee-v1/context/prior-lead.jsonSHA-2563fa4c48a629d49f0bab0a694f1d86903c41c069e9c4ef8dcf71dfb4fb0a1f9f0 | 622 Bytes |
evals/results/referee-v1/context/prior-local-review.txtSHA-25674eae22ac4fc9a342beb5ddeb990cb4fe93f99f119e772186579df6294a35902 | 73 Bytes |
evals/results/referee-v1/context/reconciliation.jsonSHA-256a6320da45978edc5f19d605875a3cb6413292646ae1b5fae7b2a375125dd28a6 | 2.12 KB |
evals/results/referee-v1/context/report.mdSHA-256b90ad6d5ea7beb65136756432935974402b488a19d5244c9b9ecc214a8a55825 | 3.08 KB |
evals/results/referee-v1/context/revision-comparison.jsonSHA-256d7c934386ed0d4125f056ce3e384cf0c510f4dd940c2504c3044bfe00daba82e | 1.02 KB |
evals/results/referee-v1/context/survey.mdSHA-2565dc97d54083fda7d086bb006fd4e73dd24e74fcd1654dfee4baf9502ff66b48c | 1.79 KB |
evals/results/referee-v1/context/verification.jsonSHA-256d8d3fa42c91dc9f9833b1c9f0925a6bbd608a94de169b0a4ab79ddfa71622e46 | 2.33 KB |
evals/results/referee-v1/core/checks.jsonSHA-2569b987d619bda12e3de9a31b7dfca84f3af601c82e4941b2f57ee2f3240b13453 | 3.76 KB |
evals/results/referee-v1/core/context.jsonSHA-256dff2c959e35efe934d3d37048b3cdf1576bd614b4f3f62d9c261704771167916 | 1.92 KB |
evals/results/referee-v1/core/findings.jsonSHA-2563c5c24467ed74f6da444507dfe72883b5bce2674ec177ea49de873fe8623cb99 | 36.1 KB |
evals/results/referee-v1/core/historical/passes/adversarial.mdSHA-256a7d42970d142fdd965a4328641406354d1a7a5f5d536113c6c53ce8cd4b11f58 | 831 Bytes |
evals/results/referee-v1/core/historical/passes/correctness.mdSHA-2562d0b4466e639a3d4f7d972a348ab6fe1a7b4ed8843cebd4b4c4ba05aad9ba5d7 | 886 Bytes |
evals/results/referee-v1/core/historical/passes/exposition.mdSHA-25606eee092f6203a7e5b18f6ea8b2eefc74c9112b90c2dde17e0efe515193e80e9 | 664 Bytes |
evals/results/referee-v1/core/historical/specialist-quote-validation.jsonSHA-2562994dc5614482a5aea9b4047c95be77fb5205cd3b57b429ff5a2cb1633db7a58 | 1.18 KB |
evals/results/referee-v1/core/historical/specialists/proof-audit.mdSHA-256275c158ba95107e42b3a1ffc053d70ad29032eac1149126c7095b7e7edccda18 | 17.1 KB |
evals/results/referee-v1/core/historical/specialists/proof-audit.provenance.jsonSHA-25674bf7c34cbc5539e180781f808a792bb902b5a3436b8917ff3c82b00def9c68f | 10.3 KB |
evals/results/referee-v1/core/manifest.jsonSHA-256298fbb1a9fed22f753e68c5926a116f8d4e3eabb45187429043448df795ccb8a | 6.96 KB |
evals/results/referee-v1/core/observed-preparation-failure.txtSHA-2563008c098ca43b2d161a9e00c196eb0828b3631fd5fc60cf960c4614ff593774d | 396 Bytes |
evals/results/referee-v1/core/passes/claims.mdSHA-256687856e7884fb05a6b99a7b4eabe1fcdb45fce1db886df50852c5c4dc090cf9a | 1.09 KB |
evals/results/referee-v1/core/passes/notation.mdSHA-25655e4dd8fa2ca72f3035e1f2eb6724cb71a04c00acf7d2fe9306fb29cc637fb47 | 957 Bytes |
evals/results/referee-v1/core/rechecks/current-contract.mdSHA-2561ae2e0f4466cf755232a4070457ffe2e38383570c20712fb9f445f2a9f3bfbb0 | 4.19 KB |
evals/results/referee-v1/core/reconciliation.jsonSHA-25608f4aaba6236d6126a179ec2a99e932a567a95ac0f35e96962f787e3638e4632 | 12.6 KB |
evals/results/referee-v1/core/report.mdSHA-256985ded0737b072d4de56b788b640150a50072fecf6d4eef209256e1d2f03318f | 6.23 KB |
evals/results/referee-v1/core/reuse-recheck.jsonSHA-256d56cf6b74fbd8f1367a239b17bb5b91a9448bfab8434c2491cf7195b698cbf9f | 11.9 KB |
evals/results/referee-v1/enumeration/artifact-validation.jsonSHA-2562db80e807ea3bef32bdd1354735079cde49becf19511286dffe5fb386b0712ee | 880 Bytes |
evals/results/referee-v1/enumeration/checks/domain-audit-contract.jsonSHA-256627e7750c8c1b4bbbce8fce0519e3e848d836a93b5dfce286b4abce6e603720c | 967 Bytes |
evals/results/referee-v1/enumeration/checks/domain_audit.pySHA-2568e6c8fe94eee8c97d4499bd45740fa229fb1b9527f4bd16a05c6871daa8f0e28 | 1.05 KB |
evals/results/referee-v1/enumeration/checks/supplied-contract.jsonSHA-2561e842d56af72bad188e01857598e98f5de90d8ddfae114a764c6cbad2c3133e9 | 928 Bytes |
evals/results/referee-v1/enumeration/checks/supplied.pySHA-256a6225823bd1f864c786b2f98bd3865cee20679ab33ac7f87c3028b66219b67d6 | 201 Bytes |
evals/results/referee-v1/enumeration/computations/domain-audit/manifest.jsonSHA-25635174aeaf15b2c8487024b74d05a844e0aed6dbda5519d29b63a4bbbdbcbaf24 | 3.53 KB |
evals/results/referee-v1/enumeration/computations/domain-audit/result.jsonSHA-256ee4d42235e4f513f2dfadb9c6b2cf863deb08646ec2ce627045eefd438c51e17 | 1.85 KB |
evals/results/referee-v1/enumeration/computations/domain-audit/stderr.txtSHA-256e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 | 0 Bytes |
evals/results/referee-v1/enumeration/computations/domain-audit/stdout.txtSHA-256d0f48ad0573b408d1514cc9dce4e22764e15f03bd5a7e4fb090fcf8b4b5b94b0 | 235 Bytes |
evals/results/referee-v1/enumeration/computations/supplied/manifest.jsonSHA-256d317245883b2dca38a798a68e22371cf093bd7df54cb3d7f7687c4f96592fc36 | 3.25 KB |
evals/results/referee-v1/enumeration/computations/supplied/stderr.txtSHA-256e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 | 0 Bytes |
evals/results/referee-v1/enumeration/computations/supplied/stdout.txtSHA-2560efd339254cbd925cc95413c4f4350e44c84deac0784a3441f6295d37b5d86d4 | 5 Bytes |
evals/results/referee-v1/enumeration/context.jsonSHA-2569388950f89e6d6148385c778db45318445eb7dadd23355f7fe2a9363b6c0152b | 693 Bytes |
evals/results/referee-v1/enumeration/evidence-recheck.jsonSHA-256c52a60cb791577925590c62b6a8d99b98f7af8362b348cc67853966047642a3a | 2.79 KB |
evals/results/referee-v1/enumeration/findings.jsonSHA-2569419d11153f7158b784ecaf167168ae1a70fafd74ae3be40cc643749bf69b9d9 | 11.1 KB |
evals/results/referee-v1/enumeration/historical-specialists/command-log.jsonSHA-2562d1e7ef7bd82183d947322a93d9bd2022c04b58806da7ed3403688787ea5809c | 2.84 KB |
evals/results/referee-v1/enumeration/historical-specialists/computation-audit.mdSHA-256a4b0bf69d2ccb2da90e1dbdf5e69f2bb42b2474a8b131280daf7510113913189 | 2.63 KB |
evals/results/referee-v1/enumeration/historical-specialists/proof-audit.mdSHA-2560434cf9603fa09d299589c12d49ea63fcafb9f992c2b1ef1837eab4a2799fbfd | 2.2 KB |
evals/results/referee-v1/enumeration/manifest.jsonSHA-256cd6f2d87579e6908581c8d8442019ae4f97cd796e1b68f352ae9a51ecc47717e | 3.62 KB |
evals/results/referee-v1/enumeration/passes/adversarial.jsonSHA-256c819822e42945e387a50cb1b74ad8a39046b9795816423b5274389335eb9e7e4 | 3.01 KB |
evals/results/referee-v1/enumeration/passes/claims.jsonSHA-256876d3727401a39d9900539fed3bd6e4de1e13749421ef319d00f6e7a00811647 | 1.96 KB |
evals/results/referee-v1/enumeration/passes/correctness.jsonSHA-25604db8fc7883d67d3ef62cf565ba6e1749cba10a55412194180ffdc78d6966a43 | 3.12 KB |
evals/results/referee-v1/enumeration/passes/exposition.jsonSHA-25685e3dfaccf85851f9e4bf05df192637698e9732e64c350e86e245671a8ba120e | 1.97 KB |
evals/results/referee-v1/enumeration/passes/notation.jsonSHA-2562aff22a8375c82f6ac4c1623fc934fcaa55c0e9d91672e55ee70481e09850567 | 1.96 KB |
evals/results/referee-v1/enumeration/raw/adversarial.mdSHA-25685537e05e13e918fb3c415a396f682fb0dcabb8a03f320a1d8fbc8e93b076dc2 | 965 Bytes |
evals/results/referee-v1/enumeration/raw/claims.mdSHA-256db46f2e0519194f925173ad490f335996c0aa0064b47aaa8b725933c345e50dd | 972 Bytes |
evals/results/referee-v1/enumeration/raw/correctness.mdSHA-256411eeb3047aabbce16e7e4119f9e1683f842361f2f1166a543e4171ed9582e78 | 1.19 KB |
evals/results/referee-v1/enumeration/raw/exposition.mdSHA-2561bb43b44cce50631b9246f409a2e4767e671f01557bca125a49ba6e540f3b792 | 907 Bytes |
evals/results/referee-v1/enumeration/raw/notation.mdSHA-2560ed555f5ab5a5e5a043d30675e257251aca9a2d9ff64fe5165c08ab6ac1da828 | 878 Bytes |
evals/results/referee-v1/enumeration/reconciliation.jsonSHA-2568c1ad21c5f1b536d3db3fa804f4545a693331c64de87c523388b5688f773fb94 | 2.68 KB |
evals/results/referee-v1/enumeration/report.mdSHA-256f85d0bf2e5418e94a26ff7aec7e5b8459bb1cb24cee3408bf62a88a176d20cc2 | 4.18 KB |
evals/results/referee-v1/enumeration/survey.mdSHA-25609ac3a35a0a4a409f38ac4e3a84265ca5b0eacf61df9289d50fc3985fc9122c9 | 1.81 KB |
evals/results/referee-v1/exposition/artifact-validation.jsonSHA-256872c5fb598fd9d5c9334fc0fb9b1aa2488f582d89445cf6c91547b81900d143f | 880 Bytes |
evals/results/referee-v1/exposition/context.jsonSHA-256c4d92842266c6ee88942a1d3f8a8dd632de50f27e6e5027ccf61e393f6fe02e9 | 728 Bytes |
evals/results/referee-v1/exposition/evidence-recheck.jsonSHA-256baa9d256fdf38ddabeba6aaa5dcbb0cdcfe3d3f79ff63d452952e28df7eae86d | 1.49 KB |
evals/results/referee-v1/exposition/findings.jsonSHA-2561479baeb5ba62a8c72ee374ac46d8c8320f8d92bf267b1c943ac8c10877b7283 | 8.35 KB |
evals/results/referee-v1/exposition/manifest.jsonSHA-256cc9ee522c6caadd86ee9730e0f100b79e9e0d2dfbfeccf473867ae0d700afb9b | 2.99 KB |
evals/results/referee-v1/exposition/passes/adversarial.jsonSHA-25622a21d031c6ee0d9ec6b5838a47ea07a7fd8c572933829303e0c59b96daa8f33 | 1.65 KB |
evals/results/referee-v1/exposition/passes/claims.jsonSHA-25680b6602f2148195d2dd1a73d0fe360a1e30b946f8c5031c0777e90dd5de0bd39 | 1.64 KB |
evals/results/referee-v1/exposition/passes/correctness.jsonSHA-256ed7a0e200b722df92502250ea2fa2716a79652d7dd01823248b9811747c61025 | 1.65 KB |
evals/results/referee-v1/exposition/passes/exposition.jsonSHA-25641f5f86c43c13aaa925b7e8372eb7a265cada607fa6633df5e30c1bc25467f25 | 2.71 KB |
evals/results/referee-v1/exposition/passes/notation.jsonSHA-256d42568cf14e79cebd14590cc671ea47566ce10db42b7bc0ca20d606268217adc | 1.65 KB |
evals/results/referee-v1/exposition/raw/adversarial.mdSHA-2567509d9781e2c6e1eea33adf6cc48117ea330de22a6c9f7c478490cf7f21b4762 | 1.23 KB |
evals/results/referee-v1/exposition/raw/claims.mdSHA-256a76a398c6b940b2500c4973196247677077b4f5fef87a12ea8563269e651d2b4 | 1.2 KB |
evals/results/referee-v1/exposition/raw/correctness.mdSHA-256d1215198d86818fffb4afefbab6795a3fdfc9c0db74e15fe8f71cee97ceaa8c3 | 1.34 KB |
evals/results/referee-v1/exposition/raw/exposition.mdSHA-256a05dd9ced1bf50a7efdbcd5534d41edd6500e6508ceea3ae025aa4fc6ee6b896 | 1.29 KB |
evals/results/referee-v1/exposition/raw/notation.mdSHA-2562a18ff333af1a5c0464eff260a62a8539fb02fa106a78c7dce8e8ba0589dc6cf | 1.37 KB |
evals/results/referee-v1/exposition/reconciliation.jsonSHA-25684a6965b31496349a198cec3f249538e0e75c15c0549088475ebb0a5ed217b61 | 1.29 KB |
evals/results/referee-v1/exposition/report.mdSHA-256879b6e157e8a99e6bc3f17239c3482da8de93d2cb8a3b01aa0475cd8dfe9f7f0 | 2.86 KB |
evals/results/referee-v1/exposition/survey.mdSHA-256d41111a3ad9a82dd1e97929c90ac72bf30c79dbc05eb2627ad5e80b00648f58a | 2.14 KB |
evals/results/referee-v1/grading.jsonSHA-25655d149aadfdf1c17a39aa2423bd9393a4191832beb7d8a6a380ae073ee97f347 | 34.1 KB |
evals/results/referee-v1/grading.mdSHA-25673b06a473945caf1b5326fee0ac37b463e9f8674c5add47ca5abed88ff1b8d1d | 11.4 KB |
evals/results/referee-v1/preparation-comparison.jsonSHA-256cebca047442e3a25d2aabe4e013ed79a383ab5852b773604e865c3fc742a1946 | 3.51 KB |
evals/results/referee-v1/referee-context-artifact-inventory.jsonSHA-256e308e9cc76d5872cf0aef5129eee09d239f98fa1c020b75caa2e3bd4b35dce4e | 8.12 KB |
evals/results/referee-v1/referee-core-artifact-inventory.jsonSHA-256c0fc9c40cf621c47f0e06a63516cabea5483a6e7cbe6b99545a334dcbb0d7a10 | 10.1 KB |
evals/results/referee-v1/referee-enumeration-artifact-inventory.jsonSHA-25632711511978a4f53e2e8cb361eb50de705af28a3f94e3c8e3f0f81dab977f198 | 4.8 KB |
evals/results/referee-v1/referee-exposition-artifact-inventory.jsonSHA-256a3cb7cba3b87fb1dac6ccac06e068bd06efdb2b51424a11692084e9a81c99242 | 4.57 KB |
evals/results/referee-v1/referee-source-artifact-inventory.jsonSHA-256f6a8a386d1a0732114c86e2355266ce2b6a726d52b1a4e3104ef4bf46e0db3db | 4.91 KB |
evals/results/referee-v1/routing/routing.jsonSHA-256058798eccd1e28cf0737849bd05cb48ee7651226cf27f91937fd09caa5d03579 | 2.04 KB |
evals/results/referee-v1/source/artifact-validation.jsonSHA-256032af135173d69e353edcb0c4ad93cd9be50fb6642b0de31dae1b6664b9143de | 880 Bytes |
evals/results/referee-v1/source/context.jsonSHA-2563b726542076311a2d08f40335f87c7ef198263fa8c2d74acdedb14d464100a63 | 734 Bytes |
evals/results/referee-v1/source/evidence-recheck.jsonSHA-256872651fbca515ad4073202473e676a3a069677c912c81eb55aef7e92c405efc8 | 1.96 KB |
evals/results/referee-v1/source/findings.jsonSHA-25674ce1af3987ffd409c864b46b2d939f0c60a788322cad829bb1a16cc131f3859 | 14 KB |
evals/results/referee-v1/source/historical-specialists/literature-check.mdSHA-2561ac3062642979bb50690a1da2447d2d289e13489a31269e14f4d8ded2ecc5eff | 2.92 KB |
evals/results/referee-v1/source/historical-specialists/proof-audit.mdSHA-25675e16a4cc684e291620834ad3d9504275928237a9a9e91c8e509b94a52457697 | 2.77 KB |
evals/results/referee-v1/source/manifest.jsonSHA-256eef855f4b9bf104829840d33246bdb26170b22502847eacf2b48cb36dd15aacb | 4.28 KB |
evals/results/referee-v1/source/passes/adversarial.jsonSHA-256af5ffc2fda85f14cb42cc503d48cb2847bc4c807c7c95f0d2ba30dd912953c05 | 2.59 KB |
evals/results/referee-v1/source/passes/claims.jsonSHA-256baaff13290779238e3a48ec5ae1d502cfbc0591eb39dedfacdc4fa691e7916c9 | 2.31 KB |
evals/results/referee-v1/source/passes/correctness.jsonSHA-256a67717dd46fd348debff45c03bed7bdae1b78d71ee51a430c44d6c7ed631e6eb | 3.98 KB |
evals/results/referee-v1/source/passes/exposition.jsonSHA-25658d56ea9cd723f9f277ed618b420bbacb42d2bb72bd3c3538b32ed4facc615e4 | 2.48 KB |
evals/results/referee-v1/source/passes/notation.jsonSHA-256a9855b4758f06c011894b3c5223f5c0674fec0f5c7cc159308dc58deafff59be | 3.55 KB |
evals/results/referee-v1/source/raw/adversarial.mdSHA-256a78abe9c3a01925e378ab78c8cc50b8025228ebf8d76fa0757cd3f45c7c7b65f | 1.11 KB |
evals/results/referee-v1/source/raw/claims.mdSHA-2561533970a028396f03837ebdbd2e7d866904bf5ab80076ccad9202ce9fe52f45f | 1.18 KB |
evals/results/referee-v1/source/raw/correctness.mdSHA-25699b9700138bef8d9cf48be7f00bc40a2b1c5817454e19d3296bf69a344ef1556 | 1.18 KB |
evals/results/referee-v1/source/raw/exposition.mdSHA-25663f51a3c00f43df436473759932881b0d3626787027c75c836fd69d80ed88e59 | 938 Bytes |
evals/results/referee-v1/source/raw/notation.mdSHA-25673a8c22c1c545f31bb1715697e82be73e2ad468709f6fedca3683f35c51628fe | 1.03 KB |
evals/results/referee-v1/source/reconciliation.jsonSHA-25689f7e6a70e3322d58c46a1a021869471ad8974e45c1509410be4c86de741f9db | 2.35 KB |
evals/results/referee-v1/source/report.mdSHA-256d7f8ed81d4e86eef32235ae6f9634703f6041fe26cfb6064e69b2c583d40a9a3 | 4.81 KB |
evals/results/referee-v1/source/survey.mdSHA-256d3ea94fa433e3d68fced095ef3563505851f27c5e13204a4d935f957e7886156 | 2.04 KB |
evals/results/suite-review-2026-10-02/README.mdSHA-2566da7bc9fa1aa971d5903b8b461627dc3b2507b66c4ac1e470a228b306164502c | 7.96 KB |
evals/results/suite-review-2026-10-02/checks.jsonSHA-256c6117e96d50c86c1f385b5f562d98cf55dce34493e00c7e76d9ee40befff57bf | 5.51 KB |
evals/results/suite-review-2026-10-02/continuation/case1-ledger.jsonSHA-25640d0b79f470d1905bca02905092e826df769e818a1b023810172768b50caf950 | 9.37 KB |
evals/results/suite-review-2026-10-02/continuation/case2-closeout.jsonSHA-256543b93081352ba048c2a1385e8b6942aaea48771ef7d83af4b847a2c1fd14035 | 18.9 KB |
evals/results/suite-review-2026-10-02/continuation/case3-deferred.jsonSHA-2563e52d28ad0a64c8f33187e30f868249640faea8ae4bb0d4b9fe3cadc944ce201 | 17.1 KB |
evals/results/suite-review-2026-10-02/continuation/case3-normal.jsonSHA-256b2fc87ce4d1944d2e049ffccc1c17209d8ab02e1abd41b5c50845776a8bd6860 | 17.1 KB |
evals/results/suite-review-2026-10-02/continuation/case5-retrospective.jsonSHA-2567a10f5002b2bebaad64abbf816df383afb08ac98517383ed5d3f54d046020c30 | 6.75 KB |
evals/results/suite-review-2026-10-02/continuation/raw.jsonSHA-25649524d2e64c6e57bccefb29d0aa9defd3ae4a156081af9ca606bb575b3ad73f7 | 274 KB |
evals/results/suite-review-2026-10-02/continuation/retrospective.mdSHA-25618997e8014ee7ec2e0cd3a57cd1dcfdd1f3c7c1d3c9601b49614ba078e3032f7 | 5.57 KB |
evals/results/suite-review-2026-10-02/continuation/sharding-plan.mdSHA-256b1b119e0231205ff07ae77789b6f5cdd2ecf0dbf2013c3a1eda956c0da85ec23 | 6.13 KB |
evals/results/suite-review-2026-10-02/continuation/trial-notes.mdSHA-2569de68acb95f151e6e249055231fe7f74c3be49a297073ba131808e365bab1df1 | 7.11 KB |
evals/results/suite-review-2026-10-02/implementation.jsonSHA-256b8d56f7bb5815c317e76c531f817c8f494a38c59edc53f79639c53d68239b9d0 | 39.6 KB |
evals/results/suite-review-2026-10-02/live-codex/arithmetic.jsonSHA-256bb8c81c0119d241687d7d03422f1a5f102285ac95a392f4f922bd38e2ce9015d | 4.62 KB |
evals/results/suite-review-2026-10-02/live-codex/escalated-execution.jsonSHA-256c301d0c7655048798fc5e01e3c78db35ca58d86c0bcf541de715bf378290d676 | 295 Bytes |
evals/results/suite-review-2026-10-02/live-codex/escalated-stderr.logSHA-256e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 | 0 Bytes |
evals/results/suite-review-2026-10-02/live-codex/escalated-stdout.jsonlSHA-25679adefeb5d01e2c4941d0056aa80b650b6fcfcca761f8a4c331688ce1cea076c | 69.8 KB |
evals/results/suite-review-2026-10-02/live-codex/execution.jsonSHA-256b736a60643005246e5f5aebe4121a780b8e507e78e13088eb0f97cc9407d03f5 | 263 Bytes |
evals/results/suite-review-2026-10-02/live-codex/extended-execution.jsonSHA-2564217390032c147f3c51223f9653dc0fc3666dadd57084ef96680ddf0b7517f03 | 295 Bytes |
evals/results/suite-review-2026-10-02/live-codex/extended-response.mdSHA-256950df1548c0ed5b16b65926ce18438a90a431d4a06fb83d9a4953b733864f092 | 1.89 KB |
evals/results/suite-review-2026-10-02/live-codex/extended-stderr.logSHA-256e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 | 0 Bytes |
evals/results/suite-review-2026-10-02/live-codex/extended-stdout.jsonlSHA-2562eaac0b5f5672f7661241f83dfa50ebfd33343a0e3e943e542485c7fe634c22e | 113 KB |
evals/results/suite-review-2026-10-02/live-codex/preservation.jsonSHA-256175b9a83d03fc22f33a1050f42f910ef36a213a6afd235228f85966f6eb3f428 | 3.16 KB |
evals/results/suite-review-2026-10-02/live-codex/stderr.logSHA-2568e3330eeb312ddb37b9da73c3ece4a8aa7e2ade4b7bb255573aa487bc89f0f58 | 197 Bytes |
evals/results/suite-review-2026-10-02/live-codex/task.txtSHA-2562d49a98f53b0059597c261f59a4de21ae8e6648c1f547c36b2fd9ca5ade7f2fd | 345 Bytes |
evals/results/suite-review-2026-10-02/native-program/closeout.mdSHA-256b56877d1c87160e9cdf971f74c6843d063090be71cb62a60435bda98cd33f16d | 1.75 KB |
evals/results/suite-review-2026-10-02/native-program/coordinator.jsonSHA-2568e89d2fc7b9ae271b7dac7a452ce9e5ae7006637fbce826fa24b77b6f781a793 | 90.6 KB |
evals/results/suite-review-2026-10-02/native-program/deferred-project.jsonSHA-2565f162661b92c6d9f41a01864c697e8e32cad10827b2e78e7016ff1d7ac32f2d5 | 39.4 KB |
evals/results/suite-review-2026-10-02/native-program/normal-project.jsonSHA-256d9023daea88daf41b9b60d17f9d8176fe27eb4d4cbc160d5d658c7130405d7c3 | 39.5 KB |
evals/results/suite-review-2026-10-02/native-program/squares.mdSHA-2568c5cba204da105a8bf1961a33a86da00700fd89e4c9ca6361bb85fcce5006018 | 10.6 KB |
evals/results/suite-review-2026-10-02/native-program/sum.mdSHA-256138a0f4c69cd23c3d803ba3c7a299e3f5f24b2b64f2d5dc2177bf41308bfb48f | 12.9 KB |
evals/results/suite-review-2026-10-02/referee/child-assignments.jsonSHA-256d732917b6842aa68e57427989b4442ae2610d8c77c302041d64dfa42db6cd39b | 2.31 KB |
evals/results/suite-review-2026-10-02/referee/child-format-task.jsonSHA-256ddc3cf98c8c676c65849556d436d1b21e3f68b1e7ade957b2725ee382fa2a197 | 485 Bytes |
evals/results/suite-review-2026-10-02/referee/child-format.jsonSHA-256c5e9600885f9a6ee996a0cf88a7d1ede1a1f4262212af28167616647db640070 | 21.4 KB |
evals/results/suite-review-2026-10-02/referee/child-format.mdSHA-25670c8532673ee8ce4d9e261475bfe2213d06d898e40e911b77db0707e724c559b | 1.8 KB |
evals/results/suite-review-2026-10-02/referee/no-delegation-task.jsonSHA-25672833a19ec5b7d3b5a26ca02664c2fef675cb8c3d95f495ce07668c824ba37dd | 567 Bytes |
evals/results/suite-review-2026-10-02/referee/no-delegation.jsonSHA-25680380069c86d3f518ffea8c39f71231cac6c9331914869f96eea6c6bef659895 | 30.8 KB |
evals/results/suite-review-2026-10-02/referee/no-delegation.mdSHA-2569ae292d404a897d6d3eb8b9f200cf2b98eff4b3913975a3977959748fc157b05 | 1.95 KB |
evals/results/suite-review-2026-10-02/referee/prior-lead-task.jsonSHA-256aa68689139561b971ac8c0711b1c8092d0afd5fd08dc1f545c75bcef3af4df27 | 375 Bytes |
evals/results/suite-review-2026-10-02/referee/prior-lead.jsonSHA-2564f76c9be5406de318aa539536e6c79f9269833ef00559c23cbdc1c19279b511d | 18.2 KB |
evals/results/suite-review-2026-10-02/referee/prior-lead.mdSHA-256bb29df72d0016c131714f289dc9c6d476a6f1f0e638e05cd2e329c336401c384 | 1.52 KB |
evals/results/suite-review-2026-10-02/routing/artifact-validation.jsonSHA-25652852d4eae0550b8e4e24354432f81572153fc913f27fcfd28f14699df696358 | 862 Bytes |
evals/results/suite-review-2026-10-02/routing/blind-queries.jsonSHA-256b06db9abbaee063b97e9afbbda779d1f455fd0f9af2cce2a40be51f3c665f27f | 16.2 KB |
evals/results/suite-review-2026-10-02/routing/commands-and-results.jsonSHA-256d994e8fe8859b56311653d842ed4f41a450045e3777f2be58af7439ee52f4212 | 2.83 KB |
evals/results/suite-review-2026-10-02/routing/final-observed-hashes.jsonSHA-25609cffdc94d001946890b8f3242505561793ce8888286c78f8ffc586c34a5efd0 | 3.79 KB |
evals/results/suite-review-2026-10-02/routing/final-routing-contract-comparison.jsonSHA-256bfb3b9d3128dcd2523fa4a8004c493a9d46c679271cdfc4313967ef671a6548d | 1.88 KB |
evals/results/suite-review-2026-10-02/routing/raw-routing-decisions.jsonSHA-256db39cb7cbb723d47a9d158447092048bc6f5a3ee3ab6a6c629a1ad0f2670e9dd | 76.8 KB |
evals/results/suite-review-2026-10-02/routing/routing-comparison.jsonSHA-25677f4469cd2f312f057d277dea5dc2a3d5c537e1b09f98a2d8ccb2bc0c663cdc3 | 72 KB |
evals/results/suite-review-2026-10-02/routing/skill-revision-hashes.jsonSHA-25690d4d64db60457c7d53ca5fefbc48c7259b3b4e9dd2713f0a591ebf04a27e719 | 1.13 KB |
evals/results/suite-review-2026-10-02/routing/suite-descriptions-and-policies.jsonSHA-25624ed65dafdab01e6167145e266f5435f4be53c013598eb760ba8745781d0b6c6 | 9.07 KB |
evals/results/suite-review-2026-10-02/routing/trial-summary.jsonSHA-25688e6dee6ce084f67a356a22b2ffa46315bb422ae7b9a6a3a91b8bc6f670e5b32 | 2.35 KB |
evals/results/suite-review-2026-10-02/safeguards/01-sampled-enumeration.jsonSHA-2569180fb9c14a9353047c8b3b914981a554a84c119a5fca64902c7876ba21670fa | 4.48 KB |
evals/results/suite-review-2026-10-02/safeguards/01-sampled-enumeration.mdSHA-2562265ad4bae322781e9f932ad932163bf6a1a237f8ea38d450ba788e4ba8ad585 | 1.4 KB |
evals/results/suite-review-2026-10-02/safeguards/02-gf5-rank.jsonSHA-25635680adc1f001ccca58112c791f6b461c19b04da783132b70e4c45dda80ce376 | 110 KB |
evals/results/suite-review-2026-10-02/safeguards/02-gf5-rank.mdSHA-2569d0370c89cc41d942ebbdea09bec6a8b5aa46621de347bb4bcf98d66839f3993 | 2.87 KB |
evals/results/suite-review-2026-10-02/safeguards/03-proof-audit.jsonSHA-256a1bf22367b71c2307f68b977f1725f2d99f666af0ea69ab660cb8a829137011b | 5.55 KB |
evals/results/suite-review-2026-10-02/safeguards/03-proof-audit.mdSHA-256944d202b40232c6b2d95818fd03734a554a5aa6b6f6850bc10774869d8f22d05 | 1.84 KB |
evals/results/suite-review-2026-10-02/safeguards/04-established-integration.jsonSHA-256e4985de7d88a370c837908aaa039e72cd8c3b8792374b5ff8e3d552055020fe9 | 6.69 KB |
evals/results/suite-review-2026-10-02/safeguards/04-established-integration.mdSHA-2561e682c69e446d7d26fcc3f80505a612f557e90ad1d9bd35c46b2d44eacc4f0a7 | 1.21 KB |
evals/results/suite-review-2026-10-02/safeguards/05-conditional-integration.jsonSHA-256a2ad9429f55679b66fc3b773a31fff9703c282254412983b028df269db0da9db | 19.5 KB |
evals/results/suite-review-2026-10-02/safeguards/05-conditional-integration.mdSHA-2568b9af761fe020afe40f8196a39df3472cd335b98ee1e1b851c0187e14d5d044c | 1.82 KB |
evals/results/suite-review-2026-10-02/safeguards/06-proofread.jsonSHA-256f845d20eab8c9d6702ba441bec1c358ec6510af1dbd2a48f894264c5cd831b63 | 4.39 KB |
evals/results/suite-review-2026-10-02/safeguards/06-proofread.mdSHA-256bf8f09cfe7a49f27e9849459a8ce9379a5d75520fb83471b6a827c0723b861df | 770 Bytes |
evals/results/suite-review-2026-10-02/safeguards/07-source-application.jsonSHA-256b9fa85143e8797bea4e46848ef728c7448e05715d2d028504f9dc3dca964bcd4 | 41.5 KB |
evals/results/suite-review-2026-10-02/safeguards/07-source-application.mdSHA-25693573575ad982b7ff4dc8e2584d0e98e233b7c35844d6c41cc28386b479880e4 | 1.76 KB |
evals/results/suite-review-2026-10-02/safeguards/provenance.jsonSHA-256eccfd27b686822b4380f71e2beada9dc71ebc7631d9c2bf5a5d328ca45883846 | 8.21 KB |
evals/results/suite-review-2026-10-02/safeguards/trial-notes.mdSHA-25606aa934229be878c06bfe84db1ff42ee5c5a6057280fb02931586b351cf859ff | 2.39 KB |
evals/results/v3/artifact-hashes.jsonSHA-256ca974b89b5ac25b4c7fa8f416b9036077b15b91ed8653604e9eb760b93cf2b47 | 396 Bytes |
evals/results/v3/prime-binomial-computation.jsonSHA-25630d4def7a4f8d95ddc8453b62d1ab6450f2ea30b7db91166d799fa90aec92e97 | 1.26 KB |
evals/results/v3/prime-binomial-proof.mdSHA-256f31a02fe51fd09a351a4c5694ce9208cb4a31bb436e9ce1cb3a3dc4084004d02 | 9.61 KB |
evals/results/v3/state-trial-events.jsonSHA-256ff347a1713357aeed2eb8e710a5853ac011c9a1d86df9d723e84da6b00251a6c | 5.67 KB |
evals/results/v3/state-trial-notes.mdSHA-256274d396ade3450ed39ed85891b782e7421b7a5198f6d7b5fcd29c5e85f5c2a41 | 4.55 KB |
scripts/check.pySHA-25694d73367de3f303d19b2024a1d38cb9b4eb93fe039b3531cf84bd2623b9f06e0 | 13.7 KB |
scripts/test_check.pySHA-2561b9632e24d7f6fa6d3f0d39747292c503207fd96ceea5819998555a330831354 | 4.91 KB |
skills/computation-audit/SKILL.mdSHA-256712f586d7b324466f597f9fa2418c8297878d3e139a79570fe9e1845bc14e199 | 5.23 KB |
skills/computation-audit/agents/openai.yamlSHA-256706742062e7643b7c5b0e7793f1e3d07c01b484a8ad1df3c0f2f8c4177df4770 | 277 Bytes |
skills/computation-audit/assets/computation-manifest.jsonSHA-256459410714de1c923662083aec231bfe5591f8319714109fe8fa91bfc40838e1f | 1013 Bytes |
skills/computation-audit/evals/evals.jsonSHA-256cb107f595d8468f0966f1fd90956d22888266a48c6f9c4f29de8d63edf31adb2 | 6.57 KB |
skills/computation-audit/evals/trigger-evals.jsonSHA-2564ff75d87facd6e615aa22b3c567a5a590be9d7ae104be574e11f9054848a12dc | 1.42 KB |
skills/computation-audit/references/checklist.mdSHA-2568fa4e5708beadb903371c164f2faf7dc8c2f4bfd5de9e5bf36512f1392fafa18 | 1.73 KB |
skills/computation-audit/references/runner.mdSHA-256827341b685b68bdd3d93836d7dae9ab808ea152244d54c6bbd84a2326edba024 | 6.42 KB |
skills/computation-audit/scripts/run_experiment.pySHA-25606b28f46a55327414ebbc202cd4434b22d6b3a2390979ac7ad65f2eae1a2284a | 20.5 KB |
skills/computation-audit/scripts/test_experiments.pySHA-2568b68caeda18902d59839b78c522e23f4ffcfc697ef85167381c9a4c62494f30e | 20.1 KB |
skills/computation-audit/scripts/validate_manifest.pySHA-256fda9d340735b02a649038cc9c023da33d049ee1ae69d9c6ab06dd93b4d683e4e | 19.5 KB |
skills/literature-check/SKILL.mdSHA-2567a5e4c6b34be49d566fd3fe8f91968d1cfe3bfcc59f3dd708c4625219313569b | 5.73 KB |
skills/literature-check/agents/openai.yamlSHA-256a45d4b2c8880a0184799f3e9e0a952c34826067e3ff1e41e6d7ec82a5b6dc41d | 265 Bytes |
skills/literature-check/evals/evals.jsonSHA-25688804da963c807ad1fdecb23b69311fe2068d7eaade6c4af086bc7d2a4f87565 | 7.52 KB |
skills/literature-check/evals/trigger-evals.jsonSHA-2562e4ebd126f1795e955572e7fba266c946ec2407ff317bc2a9abb7c0e4bced201 | 1.66 KB |
skills/literature-check/references/source-cache.mdSHA-2562df6b9b7766b2d68582c0d269ff6c2a646b3dfe7dede53e31f0c1e3f3ae77048 | 5.18 KB |
skills/literature-check/references/source-record.mdSHA-2565c7b8cfa9cd062a51c9bbcd16fcfa78b4923000111d6707b51f0bd7627b9a2b0 | 1.33 KB |
skills/literature-check/scripts/literature_cache.pySHA-25626f96eb348fa675a7e27a0f9c580c53980c739bcc760391ab6e66d847990a63a | 33.6 KB |
skills/literature-check/scripts/test_literature_cache.pySHA-256e9b89f4dbc98ce8bc65ba00138d6176fcd55a1778dcba199168506f56bc84a0a | 18.8 KB |
skills/manuscript-integrate/SKILL.mdSHA-256af5039110440ac2ccc364635fd76a79fd6f5f4483db46cd69cc015ba3278dd77 | 5.44 KB |
skills/manuscript-integrate/agents/openai.yamlSHA-2563ca61cee233ac4a12e25d7889dc7bd3637d4a7a36e7c2de4f6b4ab236e3cbf5a | 282 Bytes |
skills/manuscript-integrate/evals/evals.jsonSHA-256f7998a5af96c3f35a5bd9abd4ec0291d11d4df63135a678be170db9665bfa3cf | 4.24 KB |
skills/manuscript-integrate/evals/trigger-evals.jsonSHA-256ba7a08430518673e9d1b64601b857cd6642e3c8237622f33d88e6bac33785f22 | 1004 Bytes |
skills/manuscript-integrate/references/integration-checklist.mdSHA-256541a428afb73878e49ab8b222c413d1c7f9c791b0043c6b3c27fea3e6349e26a | 954 Bytes |
skills/proof-audit/SKILL.mdSHA-256f2e689736b611d5f2a4752422ec40095536d2598c1f6b7a7de02e8e903380e48 | 6.44 KB |
skills/proof-audit/agents/openai.yamlSHA-25690ae72484cbe9938d5156dc91e52e5a79fca8979a92d73abae166332cc05c329 | 254 Bytes |
skills/proof-audit/evals/evals.jsonSHA-256107b205dc63e5740d2c2ed28f663904040a33f1c676bc06e28876252706bb5c6 | 6.03 KB |
skills/proof-audit/evals/trigger-evals.jsonSHA-2566c1844d3f3ec7eb33125ad15c5956d0f354c1293bedf8df4a1e979bc6e2cf385 | 1.4 KB |
skills/proof-audit/references/obligation-checklists.mdSHA-256904293ea4f9265ebdfba0c0f8979c49034860b0e89af6d1a63e871485bd7b1cd | 2.82 KB |
skills/proofread-math/SKILL.mdSHA-2569ace712f6f8d9d3e7ccad59e5eb10726ebf65d28aed512d1222dee882b9f9a76 | 3.95 KB |
skills/proofread-math/agents/openai.yamlSHA-256abac94a51ffd2cb65b1f52483e56d4316f948f73309169d711c76434059ae732 | 275 Bytes |
skills/proofread-math/evals/evals.jsonSHA-256f20ec3374b7df27029ab31ca42ef1287305ec68e84fb8f157960ef8005f01197 | 2.9 KB |
skills/proofread-math/evals/trigger-evals.jsonSHA-2560c7a25cf71cfff280a06389c583d51915cb15ca4f8f2b8d76dfb4015c92f3f0c | 1.51 KB |
skills/proofread-math/references/checklist.mdSHA-256a3dd31d524f8be47f4f38769d5ccc82ba07694d735ee43d8b7996b2054ecd198 | 1.46 KB |
skills/referee/SKILL.mdSHA-256aabaf34132e9b92c0456897128b29bf4dae1c0bc8d11c1d39da60a1face44802 | 8.49 KB |
skills/referee/agents/openai.yamlSHA-256c32a9c26e8ed77945ce6ca98cb41ce3522f542495f9bd59b5cf64661c057615f | 275 Bytes |
skills/referee/evals/evals.jsonSHA-256566c01e10e285315cbfe4a35fd75b28c0e0d1473e9e824e04e9d35ec83480d39 | 15.4 KB |
skills/referee/evals/trigger-evals.jsonSHA-256956ac4de4813349817f0a7ff2c3d2409bc4ada87e047ae2ac2b63b10dc8b44aa | 2.57 KB |
skills/referee/references/final-referee.mdSHA-256d0fdf800f7dbf077141a381aac65cdd43583b596ff612366e3e309addb4a6fbc | 3.22 KB |
skills/referee/references/math-scout-license.txtSHA-256f5cbe3f493cb0f981474e0ae52df3733a1988c5604f1c061a510b5a3da6260d7 | 1.05 KB |
skills/referee/references/model-assignments.mdSHA-25630211143f779431c7f9da4d1d9179e253ee2fe614bd44027b2b868bef7458d13 | 5.54 KB |
skills/referee/references/output-contract.mdSHA-256b28619a165ac58215a3fe4d3dd44dafd6be7e8dd33481859e28d7d10fbc239b8 | 7.24 KB |
skills/referee/references/preparation.mdSHA-256c68421fff405be70cc14918b50c89a6548ef4b5ea97fe352e47854f9229a9496 | 3.65 KB |
skills/referee/references/review-protocol.mdSHA-256a9ea88eba2049d8c944711d7f777a2874343c3a3edf2663e9e36443976fa6def | 6.46 KB |
skills/referee/references/reviewers/adversarial.mdSHA-256fa07c0c35a6a3c4606e3cad08241195b85d6c53ae4131173386fda8c2e17ed47 | 1.71 KB |
skills/referee/references/reviewers/claims.mdSHA-256525767b1fa6cc0cdc709cdf21f55827bcc798ab4762d168afe4b14fe4b855671 | 2.03 KB |
skills/referee/references/reviewers/correctness.mdSHA-2561de34877fcf90ae05fac943bdad3e16814f806a774d33e7b24e807019284c66f | 1.85 KB |
skills/referee/references/reviewers/exposition.mdSHA-256cd1eb9d1e9a5057357d21a6afb5ffc51eaa9b896bd7d3d1bcaa1fbae176fc832 | 1.44 KB |
skills/referee/references/reviewers/notation.mdSHA-256e7333b5f91872b73610366f8e5cb179811c1d1317831db5d6ad56d1479356f8a | 1.91 KB |
skills/referee/scripts/prepare_manuscript.pySHA-256ac86d124803dce10f892fa07f8a0860905c0d9f70c8333a2930e5ba8b3630355 | 32.6 KB |
skills/referee/scripts/test_prepare_manuscript.pySHA-2561bf4d830d3a85c8f1dcd939fdbcfd9d3ca1d4efd2d91adcffd64c5e44177f7fa | 31.1 KB |
skills/research-attempt/SKILL.mdSHA-2561cd8218a76ae6571caa33d411ab69ce332a7c0723b592724395ff0453882e0e8 | 9.23 KB |
skills/research-attempt/agents/openai.yamlSHA-2567917b9179371b34df116ecb77ecd24916b562094fe71cf16cead98d784bd14bb | 268 Bytes |
skills/research-attempt/evals/evals.jsonSHA-2560f28165e49c3ae9d93cf8aac9e7ec58072fab43e5d3fcca755f7500daef1dca0 | 11.7 KB |
skills/research-attempt/evals/trigger-evals.jsonSHA-2569e14ba5f1e3a0c1826115aa9c601c652f92deb4a52aeaf62a280e70c0979e5fb | 2.4 KB |
skills/research-attempt/references/evidence-model.mdSHA-2565c2b40cc99edc9b87a6b730a37605995e78368978c4f8b8d37a2897911c6eea5 | 2.53 KB |
skills/research-attempt/references/project-context.mdSHA-256b1a385d0e4105550ec93e7b913af7a05ec278292461f2eed62545313734fa68c | 1.15 KB |
skills/research-attempt/references/route-card.mdSHA-256ce3646011b6d4b36a61af529153313ea4d1e292c37a29474c285184917939f4d | 2.88 KB |
skills/research-attempt/references/structural-moves.mdSHA-2567e567cf31e8a73a3484f42678cebcb31b176cd74a6cf4fa27a60d98dcca238af | 2.48 KB |
skills/research-init/SKILL.mdSHA-256af3aef9edb330cb071eb87e5a5f7458d3e4320c96ec7d9c91c57c3994f01682f | 9.46 KB |
skills/research-init/agents/openai.yamlSHA-2562b0a0ee7bc50970c17823a40252af0657ef09de2ecce6d62aad5866aa19a3322 | 274 Bytes |
skills/research-init/assets/AGENTS.template.mdSHA-256c23572fc2a7ec221c400d9c911927c58dd897662fbaa33aa375e95d4f6a22fe5 | 4.03 KB |
skills/research-init/assets/CLAUDE.template.mdSHA-2561c0ecbb14b1b6861e9df517c4c772881edc533990046604099c3efea7e9e5114 | 89 Bytes |
skills/research-init/assets/CONVENTIONS.template.mdSHA-256701ef1a2fe2b68fbc729b9452d954a4d98281c0bbd8bd5c67e5a4d18e3da37c0 | 265 Bytes |
skills/research-init/assets/LITERATURE.template.mdSHA-256e9024892bd5125033e60d32b17d61a2e4e715b3dea62a414bca54497260c189a | 512 Bytes |
skills/research-init/assets/PROJECT_CHARTER.template.mdSHA-256f368729a2688c2be7f6b688033de2eccedb664ca509dba0272bdca9647492509 | 1.06 KB |
skills/research-init/assets/PROOF_OBLIGATIONS.template.mdSHA-2568160c88f9d30ed80bd78631f9bcb5accd0b82d291843575ebacae3e2aa66bacc | 195 Bytes |
skills/research-init/assets/RESEARCH_LOG.template.mdSHA-25650e269bf666c392b538413e41d5accbc8172ca7279e66f996f4b399c1172a512 | 1.15 KB |
skills/research-init/assets/RESEARCH_STATUS.template.mdSHA-256a33ff4d337ba7215530b82e8f36f54e1abf0a9a7fcfaba31af59aae28a7da7a7 | 586 Bytes |
skills/research-init/assets/VERIFICATION.template.mdSHA-256aee71255e41ad923a71d9b2e5352a81f1e775dffef7d23d55c8cd2e17f366501 | 335 Bytes |
skills/research-init/evals/evals.jsonSHA-2565493a73a7d7819955d828a87e63cefeee7c854b560d9d66fe89a79b82f88bca8 | 13.5 KB |
skills/research-init/evals/trigger-evals.jsonSHA-2568bd2c9259f3c8dc37718eb8aa4a88b0aaad2c8b824b1ccc1261cf34548b68d0d | 2.5 KB |
skills/research-init/references/existing-repo-migration.mdSHA-2569f4c9bec28f33f138308293176b9f9a129b0a99b1e07fbd940c0a476d47a66b9 | 9.79 KB |
skills/research-init/references/interview.mdSHA-256867e8dfaf2670aa4631380edd6bc5e4d63a0a5c42f253a3ca5fc03ef819db51c | 3.49 KB |
skills/research-init/references/output-contract.mdSHA-2568b1e5c3b9881ed4f820d582a0ec7decd33f7be0ecb1dfa75f74e50b1924c90ac | 6.24 KB |
skills/research-init/references/skill-layer.mdSHA-256c4e9ce5c3cc19c8bf208febd3cd33e71cf4458e489ee217b29adf8ddef8d81f3 | 1.15 KB |
skills/research-init/scripts/inspect_repo.pySHA-256e563270979a8e2dfb71645dd41d24a4b9fcdc7276423dc98b7fb659c040c5159 | 38.1 KB |
skills/research-init/scripts/test_inspect_repo.pySHA-256271d48264d868639929f9bde3805ebd52dc618d17af9e9ddf4bc892b44ea385e | 14.8 KB |
skills/research-program/SKILL.mdSHA-256cb18d623b18ed1ec915885381382157a40d6b687397e10b3e4577b07fe45dfb4 | 9.65 KB |
skills/research-program/agents/openai.yamlSHA-2566ae25e0ad9b62cad729e0010c0d0e72cb42019b75c4e425f59634299be47f268 | 328 Bytes |
skills/research-program/assets/program-closeout.template.mdSHA-256fe6e57485bfef1a40fe4aea83762b9b92c0af0154e7532db7a5601b03db10df2 | 1.37 KB |
skills/research-program/evals/evals.jsonSHA-256849abb91c27d03477d8211cadf6fc2f333cd38cf5085c1cb500d9d185d0a7b4d | 13.5 KB |
skills/research-program/evals/trigger-evals.jsonSHA-25676162efe0638a42f6175e32cea46b8880f2366f1aac0bcee9c7892b0a34a139d | 2.12 KB |
skills/research-program/references/handoff.mdSHA-25659b3c829230b91644ade151ea69bd27505144be04c32a1c1a51f271d73d2af0a | 2.05 KB |
skills/research-program/references/program-closeout.mdSHA-2567e0495de97d8aceeef44117691fdb8e1e9dffff4f9f9018f6b7cac314a9340f0 | 6.33 KB |
skills/research-program/references/program-protocol.mdSHA-256e31f8e28334cb3c6329ed6f3da1d45c334f25d98c9c9a7611e33e5556832d77f | 3.83 KB |
skills/research-retrospective/SKILL.mdSHA-2564f4a6052a485f7e1f0c9400b2c9dca2f43bfd7067bc0bdec172ef73539d5cfd9 | 6.36 KB |
skills/research-retrospective/agents/openai.yamlSHA-256368021a8e4c1075c4048ac6f0cfc4073772da3c999fee716d35caf0561d52733 | 305 Bytes |
skills/research-retrospective/evals/evals.jsonSHA-256fcb38bb3c6a297d2467a243b3bb1ee54f69403eb3c03f8581c0093fe7aa0f1d7 | 6.42 KB |
skills/research-retrospective/evals/trigger-evals.jsonSHA-256bf41ecc14ce13fa770cbd0fc5b40546af26425f0a33ef289348a414c8be23579 | 1.43 KB |
skills/research-state/SKILL.mdSHA-256fc4f4707fe126911116d1311445a22083dc8d2b2691c8f4fa60e1b8562abf2f5 | 8.04 KB |
skills/research-state/agents/openai.yamlSHA-25639ddc074c720224864dc3b706f4aa9e1090e818915e18497d84f0d0a74d1b6ea | 323 Bytes |
skills/research-state/evals/evals.jsonSHA-2561d7690b7cb34938eac1ab893c53a7acc6b49f53d0d4eab243c0c89c032f7611c | 15.7 KB |
skills/research-state/evals/trigger-evals.jsonSHA-2565e1861356d37a34e151c0ce7db745e82ee0d94c46e34bcbbc2607a8a2ea67bb8 | 2.4 KB |
skills/research-state/references/deferred-packet.mdSHA-256fd5ea28b78c6b921b5e6ff87e77d47c6fb7c939dbc39f9480ab00900a823145c | 6.53 KB |
skills/research-state/references/executions.mdSHA-256d942a06163936cf1ce2d6bf2ae04d85c7915db1cb2dde41b3a9afd8d7cc79375 | 5.16 KB |
skills/research-state/references/ledger.mdSHA-25614962d7851a1b739e622b2a09e24a9abdeccb7db88c1b8b692edae75769f38f1 | 17.5 KB |
skills/research-state/references/migration.mdSHA-256c9c5bea0df56bb71a25b1b874c5744b9f51d42c4571cb734683699a80bdc1f2d | 2.09 KB |
skills/research-state/scripts/research_state.pySHA-256c7a1d1c301f689109bc3525c91ca7af020ca84a512a49ef1fcfa4ebef3d0717f | 80.9 KB |
skills/research-state/scripts/test_research_state.pySHA-2564f1b07e51ff99763deae050c4305e447b888c53dc240467f6ab930865be92a7a | 73.6 KB |
Files are archived as data; their code has not been executed. The package does not include private remote service code.