Subcompact property

[StevenClontz]

Toying around from @lyengulalp's talk at STDC

[StevenClontz]

[prabau]

Don't want to rain on your parade. But we usually tell people who want to introduce new properties to first discuss it in an issue to see if it makes sense, and especially if there are multiple related properties.
And then a particular PR should not try to add too many things at the same time, maybe only one property at a time if that makes sense (but sometimes adding multiple properties is preferable, depending on the situation).

In any case, exploratory branches to play with the concepts can be done at any time outside of an official PR.
Just some thoughts.

[StevenClontz]

That's why this is a draft Patrick.

[StevenClontz]

We should assume that drafts are not necessarily ready for full community discussion (except that new users should be reminded they won't get feedback until they are ready, or perhaps be warned as you just did me, but obviously I know the norm already).

[StevenClontz]

In any case, exploratory branches to play with the concepts can be done at any time outside of an official PR.

Drafts are not official PRs. This usage is acceptable, because I needed to get the results on the live web for a research conference. (Of course, someday we could have better infrastructure to get live links without proposing even a draft PR necessary.)

[StevenClontz]

Sorry, I might be coming off abrasive, it's been a busy day. 😅

Community members are invited to see my pi-Base talk in about half an hour: #pi-base > STDC 2026 talks

[prabau]

Apologies. I did not realize this was for a live presentation.