Skip to content

Add caller layout abstraction FactorLabel - #316

Open
leostimpfle wants to merge 2 commits into
design/encoding-abstractionfrom
design/caller-label-layout
Open

Add caller layout abstraction FactorLabel#316
leostimpfle wants to merge 2 commits into
design/encoding-abstractionfrom
design/caller-label-layout

Conversation

@leostimpfle

Copy link
Copy Markdown
Collaborator

No description provided.

schroedk added a commit that referenced this pull request Aug 25, 2026
…the solve space (#297)

Squash of feat/297-gauge-constraint rebased onto design/caller-label-layout (#316).
The collinearity screen proposes directions; a backward-error test on the
orthonormal basis certifies which are null; certified rows leave the solve
space via P M⁻¹ P. The LSMR audit also checks the plain-metric ‖Aᵀr‖ so a
singular M⁻¹ cannot hide a component.
Comment thread crates/within/src/solver.rs Outdated
Comment thread crates/within-py/src/results.rs
Comment thread crates/within/src/domain.rs Outdated
Comment thread README.md Outdated
@leostimpfle
leostimpfle force-pushed the design/caller-label-layout branch from f165e9e to 1df7e16 Compare August 29, 2026 08:05
@leostimpfle

leostimpfle commented Aug 29, 2026

Copy link
Copy Markdown
Collaborator Author

Thanks @schroedk ! Have simplified coefficient abstraction as suggested and rebased the whole stack. The only PR affected downstream is the internal encoding implementation #333.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants