YEckWPoS09 / logbook.json
DineshAI's picture
Publish CPU-validated C1-C6 evidence
d9bd4a1 verified
Raw
History Blame Contribute Delete
3.95 kB
{
"schema_version": 1,
"title": "Repro - Sequential Markov Chain Test (arXiv 2602.17587)",
"emoji": "🎯",
"space_id": "DineshAI/YEckWPoS09",
"paper": null,
"tags": [
"icml2026-repro",
"paper-YEckWPoS09"
],
"updated_at": "2026-07-31T15:52:16+00:00",
"root": {
"slug": "index",
"title": "Repro - Sequential Markov Chain Test (arXiv 2602.17587)",
"file": "pages/index.md",
"children": [
{
"slug": "judge-response",
"title": "CURRENT β€” executable response to the 6/12 verdict",
"file": "pages/judge-response/page.md",
"children": []
},
{
"slug": "overview",
"title": "ARCHIVED BASELINE β€” Overview",
"file": "pages/overview/page.md",
"children": []
},
{
"slug": "claim-4-alpha-correct-optimal",
"title": "ARCHIVED SPRT PROXY β€” Claim 4",
"file": "pages/claim-4-alpha-correct-optimal/page.md",
"children": []
},
{
"slug": "claim-1-lower-bound",
"title": "ARCHIVED SPRT PROXY β€” Claim 1",
"file": "pages/claim-1-lower-bound/page.md",
"children": []
},
{
"slug": "claim-5-two-sided",
"title": "ARCHIVED SPRT PROXY β€” Claim 5",
"file": "pages/claim-5-two-sided/page.md",
"children": []
},
{
"slug": "methods",
"title": "ARCHIVED BASELINE β€” Methods",
"file": "pages/methods/page.md",
"children": []
},
{
"slug": "conclusion",
"title": "ARCHIVED BASELINE β€” Conclusion",
"file": "pages/conclusion/page.md",
"children": []
},
{
"slug": "claims",
"title": "ARCHIVED BASELINE β€” Claims",
"file": "pages/claims/page.md",
"children": []
},
{
"slug": "evidence",
"title": "ARCHIVED BASELINE β€” Evidence",
"file": "pages/evidence/page.md",
"children": []
},
{
"slug": "verification-run",
"title": "ARCHIVED BASELINE β€” Verification run",
"file": "pages/verification-run/page.md",
"children": []
},
{
"slug": "candidate-report",
"title": "CURRENT β€” faithful campaign report",
"file": "pages/candidate-report/page.md",
"children": []
},
{
"slug": "c1-lower-bound",
"title": "CURRENT C1 β€” full Theorem 3.3 lower bound",
"file": "pages/c1-lower-bound/page.md",
"children": []
},
{
"slug": "c2-poisson-control",
"title": "CURRENT C2 β€” Proposition 3.1 Poisson control",
"file": "pages/c2-poisson-control/page.md",
"children": []
},
{
"slug": "c3-algorithm-1",
"title": "CURRENT C3 β€” composite Algorithm 1",
"file": "pages/c3-algorithm-1/page.md",
"children": []
},
{
"slug": "c4-one-sided-optimality",
"title": "CURRENT C4 β€” one-sided composite optimality",
"file": "pages/c4-one-sided-optimality/page.md",
"children": []
},
{
"slug": "c5-two-sided-testing",
"title": "CURRENT C5 β€” two-sided composite test",
"file": "pages/c5-two-sided-testing/page.md",
"children": []
},
{
"slug": "c6-applications",
"title": "CURRENT C6 β€” MCMC and linear-MDP applications",
"file": "pages/c6-applications/page.md",
"children": []
},
{
"slug": "negative-controls",
"title": "CURRENT β€” negative controls",
"file": "pages/negative-controls/page.md",
"children": []
},
{
"slug": "tests-and-gate",
"title": "CURRENT β€” tests and release gate",
"file": "pages/tests-and-gate/page.md",
"children": []
}
]
},
"agent_view_tokens": 9000,
"revision": "1784785391139844430"
}