Repository navigation

proofs(agda): PERMANOVA's p-value floor and which terms are withheld - #55

Closed

hyperpolymath wants to merge 49 commits into

JoshuaJewell:mainfrom

hyperpolymath:upstream/permanova-proofs

Closed

proofs(agda): PERMANOVA's p-value floor and which terms are withheld#55
hyperpolymath wants to merge 49 commits into
JoshuaJewell:mainfrom
hyperpolymath:upstream/permanova-proofs

Commits on Oct 14, 2026
Commits on Oct 15, 2026
- chore(sync): merge upstream main (2775faf) into the fork (#120)
  
  authored
  afc76f2
- fix(server): admit the reached IP on a wildcard bind; isolate the origin tests from the environment (#121)
  
  hyperpolymath
  and
  mistral-vibe
  authored
  b672663
- chore(dependabot): configure version updates for bun and github-actions (#122)
  
  hyperpolymath
  and
  mistral-vibe
  authored
  9360cb9
- chore(root): tidy the repository root to the RSR basic scheme (#126)
  
  hyperpolymath
  and
  mistral-vibe
  authored
  ebebed2
- chore(deps): bump the actions group with 3 updates (#123)
  
  dependabot[bot]
  and
  hyperpolymath
  authored
  5be5a8b
- chore(deps): bump the frontend group in /frontend with 10 updates (#124)
  
  dependabot[bot]
  and
  hyperpolymath
  authored
  15a6b5d
- fix(frontend): the #124 bumps broke the build -- useRef under React 19 types, manualChunks under vite 8 (#140)
  
  hyperpolymath
  and
  mistral-vibe
  authored
  9e7766c
- proofs(agda): PERMANOVA's p-value floor and which terms are withheld (rebased onto main)
  
  hyperpolymath
  and
  mistral-vibe
  committed
  e9bb4e2
- ci(occupancy): move the PR path filter into a gate, so the reading checks can be required (#125)
  
  authored
  655c4da
- chore(dependabot): batch only minor and patch; a major opens its own PR (#141)
  
  hyperpolymath
  and
  mistral-vibe
  authored
  e2dfa05
- Proofs/permanova permutations (#127)
  
  hyperpolymath
  and
  mistral-vibe
  authored
  016d46d
- docs: the wiki pointer, differential abundance documentation, and the community files (#143)
  
  hyperpolymath
  and
  mistral-vibe
  authored
  4ea9247
- chore(deps): bump actions/checkout from 4.4.0 to 7.0.1 (#144)
  dependabot[bot]
  authored
  69e9558
- docs: optional environment fields in the bug form; the clr_welch settings in the README (#145)
  
  hyperpolymath
  and
  mistral-vibe
  authored
  8f916cd
- docs(repo): AGENTS.md, recording the traps that are invisible until they bite (#146)
  
  hyperpolymath
  and
  mistral-vibe
  authored
  7d5e9a4
- docs(readme): a Community section pointing at the open discussions (#153)
  
  hyperpolymath
  and
  mistral-vibe
  authored
  f4a214e
- proofs(agda): the significance reporting discipline -- OND applied to a result that did not run (#154)
  
  hyperpolymath
  and
  mistral-vibe
  authored
  3fb0192
- docs(security): a security policy that matches this repository (#155)
  
  hyperpolymath
  and
  mistral-vibe
  authored
  905dbbd
- ci: a Code relevance gate, so docs-only PRs skip the heavy suite (#156)
  
  hyperpolymath
  and
  mistral-vibe
  authored
  79eb518
- chore(root): Justfile, CHANGELOG, .editorconfig, launcher (+ --agent), and the security contact update (#157)
  
  authored
  35bd313
- feat(canonical): JCS (RFC 8785) canonical JSON, verified against ijson-jcs; the KYAML ratchet (#159)
  
  hyperpolymath
  and
  mistral-vibe
  authored
  cfdad08
- Add Claude Code GitHub Workflow (#160)
  hyperpolymath
  authored
  1f0b065
- Feat/canonical jcs (#161)
  
  hyperpolymath
  and
  mistral-vibe
  authored
  554f981
- Merge origin/main into PR #165: keep fork's side
  
  hyperpolymath
  and
  mistral-vibe
  committed
  5427ba3
- Upstream/docs community (#163)
  
  authored
  66a2905
- Merge branch 'main' into upstream/permanova-proofs
  hyperpolymath
  authored
  a5ea614
- Upstream/permanova proofs (#165)
  
  authored
  ddd0df2
- Upstream/dada2 base r (#162)
  
  authored
  ffae39c
- Upstream/glmgampoi dispersion (#164)
  
  authored
  a856735
- Upstream/docs community (#166)
  
  authored
  e58c1e8
- Upstream/dada2 base r (#167)
  
  authored
  3dac397
- Merge branch 'main' into upstream/permanova-proofs
  hyperpolymath
  authored
  c1ee583
- Upstream/permanova proofs (#168)
  
  authored
  f873b5a
- Merge branch 'main' into upstream/permanova-proofs
  hyperpolymath
  authored
  cefa8a8
- Upstream/docs community (#170)
  
  authored
  5c547ae
- Upstream/permanova proofs (#171)
  
  authored
  35b6c39
- Upstream/dada2 base r (#169)
  
  authored
  bd95808
- Merge branch 'main' into upstream/permanova-proofs
  hyperpolymath
  authored
  33d5c00

Commits

Commits on Oct 14, 2026

Commits on Oct 15, 2026