Skip to content

Commit 507a8e0

Browse files
committed
add theory ref kit
1 parent 515f5b7 commit 507a8e0

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

profile/README.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -264,6 +264,7 @@ transformation.
264264

265265
| Repository | Purpose |
266266
| ----------------------------------------------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------------------------------------------------------------- |
267+
| [se-theory-reference-kit](https://github.com/structural-explainability/se-theory-reference-kit) | Shared Python tooling for scaffolding, validating, inspecting, and exporting theory-reference artifacts that mirror Lean public surfaces |
267268
| [se-theory-neutral-substrate](https://github.com/structural-explainability/se-theory-neutral-substrate) | Neutrality theorem development and defines admissible structure |
268269
| [se-theory-transformation](https://github.com/structural-explainability/se-theory-transformation) | Defines change pressure and foundational transformation operators, families, composition relations, orthogonality relations, and outcome vocabulary |
269270
| [se-theory-persistence](https://github.com/structural-explainability/se-theory-persistence) | Defines preservation, breakage, and irrelevance under admissible transformation |

0 commit comments

Comments
 (0)