yoheinakajima/distributed-discovery.
4 skills★ 8View on GitHub ↗
- 100/100
build-paper
Build and audit a Distributed Discovery paper from source. Use when compiling foundations, upstream-extension, or study papers and validating generated tables, figures, citations, cross-references, and claim IDs.
- 100/100
run-study
Run or resume a registered Distributed Discovery study with immutable provenance. Use for executing study configurations, resuming bounded searches, or recording reproducible research runs in this repository.
- 100/100
update-upstream-patch
Regenerate additive Shared Discovery Paradox paper or site patches against the pinned read-only upstream commit. Use when preparing, refreshing, applying, or validating local upstream-extension patches without modifying or pushing upstream.
- 100/100
verify-claim
Audit one Distributed Discovery claim against its sources, proof, code, runs, and tests. Use when checking evidence, considering status promotion, or recording a failed verification.