pillar11 W0 (ndarray half): battery claim reframed; sigker_hl misnomer corrected - #289
Conversation
…hl misnomer corrected W0 of lance-graph's pillar11-signature-certification-unification-v1, green-lit 2026-08-31, ruling Q3: docs only. - The module headline claimed the Hambly-Lyons signature transform; what the battery certifies is truncated signature-kernel STABILITY (PSD + concentration over Brownian paths). Reframed, with the cross-repo disambiguation spelled out: lance-graph jc's Pillar 11 certifies the HL uniqueness theorem, this one certifies kernel stability - two repos, one slot number, disjoint claims. The B7/11 slot id is stored history and unchanged. - sigker_hl labelled a plain truncated sig-kernel a Hambly-Lyons kernel; HL 2010 is a uniqueness theorem, not a kernel construction. The symbol survives for API stability; the docs stop carrying the imported authority. Docs-only diff; workspace check green. Co-Authored-By: Claude <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01KCGhDYoQBXs3poaR7sFuqp
|
Warning Review limit reachedNext included review available in 55 minutes. View limit detailsLimit details: You’ve used all 2 included reviews currently available. Your 58 included PR review attempts over the past 7 days set your current allowance at 2 reviews per hour. Your organization has reached its usage spending cap. Adjust your spending cap in the billing tab. Review configuration: ⚙️ Run configurationConfiguration used: Organization UI Review profile: CHILL Plan: Pro Run ID: 📒 Files selected for processing (1)
Comment |
![chatgpt-codex-connector[bot]](https://avatars.githubusercontent.com/in/1144995?s=60&v=4){kind=small}
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: fbbfcd8f10
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
| //! This battery certifies **kernel stability**: PSD-ness + concentration of | ||
| //! the depth-3 truncated signature-kernel Gram over Brownian paths. It does |
There was a problem hiding this comment.
For the documented Brownian-path run, prove_pillar_11 only checks positive self-kernels and pairwise Cauchy–Schwarz inequalities on 50 paths; those are necessary but not sufficient conditions for a 50×50 matrix to be PSD, and the implementation never performs the Sylvester test claimed later in the module docs. Consequently, a passing report does not empirically certify the PSD property newly advertised here; either perform a complete PSD check or narrow this claim to the conditions actually tested.
Useful? React with 👍 / 👎.
| //! signatures — a plain truncated sig-kernel. The "Hambly–Lyons" label this | ||
| //! file attached to it is a MISNOMER kept only in the function name for API | ||
| //! stability (`sigker_hl`): HL 2010 is a *uniqueness theorem*, not a kernel |
There was a problem hiding this comment.
The statement that the misnomer is retained only in sigker_hl is contradicted by the generated documentation in this same module: it still describes a “Hambly–Lyons Gram matrix,” documents PILLAR_11_SEED as belonging to the Hambly–Lyons transform, and calls prove_pillar_11 a Hambly–Lyons sigker probe. Users entering through those public items therefore still receive the attribution this change is intended to correct; update those remaining labels or avoid claiming that only the symbol retains it.
Useful? React with 👍 / 👎.
2 participants
What
The ndarray half of W0 (green-lit 2026-08-31; ruling Q3: docs only — no registry slot-id change), resolving census findings F-1 and F-2 from lance-graph's
pillar11-signature-certification-unification-v1:prove_pillar_11actually certifies is truncated signature-kernel stability (PSD + concentration of the depth-3 Gram over 1000 Brownian paths). Reframed, with the cross-repo note spelled out: lance-graph jc's Pillar 11 certifies the HL uniqueness theorem; this one certifies kernel stability — two repos, one slot number, disjoint claims, and a session reading "Pillar 11 is green" must know which. The B7/11 slot id is stored history, deliberately unchanged.sigker_hllabelled a plain truncated sig-kernel a "Hambly–Lyons kernel"; HL 2010 is a uniqueness theorem, not a kernel construction. The_hlsymbol survives for API stability; the docs stop carrying the imported authority.Companion PR (lance-graph half, F-3 + the Q1–Q3 record): lance-graph #1111.
Verification
Docs-only diff; workspace
cargo checkgreen.🤖 Generated with Claude Code
https://claude.ai/code/session_01KCGhDYoQBXs3poaR7sFuqp
Generated by Claude Code