Preserved: docs/secret-types.adoc on preserve/secret-types-note-2026-07-13 (decide: land or retire)

[hyperpolymath]

What is preserved

Branch preserve/secret-types-note-2026-07-13 = commit bde5842e8b619018a751002fbfde9be829fc0974 on main (dd948fbd): docs/secret-types.adoc (+170), a design note that existed only on the local rescue branch rescue/2026-09-14-splice-preservation and on no remote ref. Branch only, no PR: a receipt, not a proposal.

AUDIT.adoc from the same rescue branch was deliberately not carried: main's #22 rewrite (ad14e35) supersedes it.

Commit message of the preservation commit:

docs: preserve the secret-types theory note from unpushed commit 1fe4d74

docs/secret-types.adoc ("Secret Types: the security-polarity dual of epistemic
types", CC-BY-SA-4.0) was committed locally on 2026-07-13 as 1fe4d74 and exists
on no remote branch. This commit carries that single file on top of main.

Not carried: the local AUDIT.adoc. It is the pre-#22 RSR template that main
deliberately replaced on 2026-09-07 (ad14e35); its 2026-06-16 proof-trust
section describes a 10-module repository and remains in main's history at
a0153f4.

Acceptance criteria

1. Either docs/secret-types.adoc lands on main (linked from the README or docs index, with any claims about proven properties checked against the 23 --safe modules), or it is retired here with the reason.
2. The retired AUDIT.adoc is not restored.
3. Branch preserve/secret-types-note-2026-07-13 is deleted only after (1) is decided.

🤖 Generated with Claude Code

https://claude.ai/code/session_01QYY8Gp4v4x2J7iSNn1vZ57

[hyperpolymath]

The note is now part of this repository, at least for the moment whilst the mathematical validity/distinction can be explored, rather than just ongoing proof creep