Repository navigation

doc(results): register Williams square-root-space theorem - #2143

Merged

SamuelSchlesinger merged 38 commits into

mainfrom

doc/williams-result-registry-888-codex

Nov 1, 2026

Merged

doc(results): register Williams square-root-space theorem#2143
SamuelSchlesinger merged 38 commits into
mainfrom
doc/williams-result-registry-888-codex

Commits on Oct 31, 2026
Commits on Nov 1, 2026
- feat(turing): unfold HPV computations into explicit Boolean trees
  chris-ai1
  committed
  39935ed
- doc(treeeval): correct the Williams unfolding locator
  chris-ai1
  committed
  5df7eb5
- feat(tree-eval): certify the uniform raw query evaluator
  chris-ai1
  committed
  3acc25b
- feat(turing): certify local block replay through input queries
  chris-ai1
  committed
  09c22f8
- feat(turing): certify original input length and replay result access
  chris-ai1
  committed
  f84ffb8
- feat(tree-eval): decode packed evaluator results in native space
  chris-ai1
  committed
  462315a
- style(tree-eval): name the decoded output width
  chris-ai1
  committed
  5bf9a53
- feat(turing): certify canonical HPV label conversion and replay bounds
  chris-ai1
  committed
  d40bb06
- feat(turing): initialize native replay from checked HPV labels
  chris-ai1
  committed
  d540f54
- feat(turing): certify native local replay gate and all-head motion checks
  chris-ai1
  committed
  904a8a0
- feat(turing): expose exact local call stopping time
  chris-ai1
  committed
  7648445
- feat(hpv): assemble checked provider windows natively
  chris-ai1
  committed
  35eb278
- feat(hpv): read schedule provider ports in native space
  chris-ai1
  committed
  dfe88a5
- feat(hpv): acquire block labels from packed assignments
  chris-ai1
  committed
  e99dbe0
- feat(hpv): assemble checked native block gate supplier
  chris-ai1
  committed
  9363486
- feat(hpv): return packed chunks from native gate replay
  chris-ai1
  committed
  e69c9c8
- feat(hpv): navigate implicit paths and source chunks
  chris-ai1
  committed
  319f6f6
- feat(hpv): provide paid implicit node replies
  chris-ai1
  committed
  c573d22
- feat(hpv): interpolate native packed gate answers
  chris-ai1
  committed
  be04add
- feat(hpv): stream complete native gate vectors
  chris-ai1
  committed
  1c61d16
- feat(hpv): route implicit packed gate replies
  chris-ai1
  committed
  7d8dcba
- feat(hpv): instantiate the concrete implicit evaluator
  chris-ai1
  committed
  1da89f1
- feat(hpv): initialize the concrete evaluator at runtime
  chris-ai1
  committed
  03b99a1
- feat(hpv): search native block schedules
  chris-ai1
  committed
  5af327b
- feat(hpv): compose the native increasing-guess driver
  chris-ai1
  committed
  f0a787a
- feat(complexity): prove Williams square-root-space theorem
  chris-ai1
  committed
  528ff34
- doc(results): register Williams square-root-space theorem
  chris-ai1
  committed
  9d31d5c
- chore(results): refresh Williams registry onto landed main
  SamuelSchlesinger
  committed
  3f27e28

Commits

Commits on Oct 31, 2026

Commits on Nov 1, 2026