遇见数据集

Registration of C61: a paired-check audit of derived statuses in an external agent specification (dsh-superagent-prototype, commit 6337fc8)

收藏
Zenodo2026-11-02 更新2026-11-05 收录
官方服务:

资源简介:

Registration of conjecture C61 of the Epistemic Science and Engineering corpus, frozen on 1 November 2026 before any part of the subject was installed or run anywhere in the author's estate. Reserved DOI of this record: 10.5281/zenodo.23875233. Subject: dsh-superagent-prototype, version 0.1.0, by the DeepSeek Harness team, MIT licence, a proactive coding agent for one GitHub repository. Pin: GitHub deepseek-ai/dsh-superagent-prototype at commit 6337fc823ce20251c8de8085948165c81aaa701e (2026-10-31T12:05:39Z), the repository's only commit at registration. A clone at that commit was hashed on 2026-11-01: 216 files, manifest SHA-256 00f7442bb521092322252e3f5e9bbd618e0642ca20c37a5c873a77d9bfa699d6. Its suite: 60 test files, 794 tests by grep, not run. Method: the paired check of Protocols for Continuity v0.7 (status adequacy; witness pairs, two histories that give a derivation the same input and differ in the property its name asserts; evidence classes 1 to 4), applied for the first time to a specification the author did not write. The registration holds the inventory of eleven derived statuses with the property asserted and the input read for each (eight read adequate in the specification's documents, three run-only), the five-step procedure, the adjudication rule, and three predictions frozen with their consequences: P1, the pinned suite passes in full on re-run; P2, none of the eight read statuses is inadequate; P3, at least one of the three run-only statuses is inadequate with a class-1 witness, in the class of a completion signal read as attainment or of partial coverage read as a full verdict. The run is done later by a fresh session given this registration, the pinned clone and sections 4 and 6 of the paper only. Files: c61-registration.pdf and c61-registration.md (the registration note); FREEZE-PINS.json (the pin, the manifests, the suite count, the design statement, the deposit); MANIFEST-dsh-superagent-prototype-6337fc8.sha256 (the 216 file digests of the pinned clone); MANIFEST.sha256 (this bundle). Nothing in this record is a result. No efficacy claim, no deployment result; one specification at one pin. The reading of the eight statuses was not blind; the run is. Amendments after registration are dated files; the note is never edited.

提供机构:
Zenodo
创建时间:
2026-11-02
二维码
社区交流群
二维码
科研交流群
商业服务