Topos¶
Treating programs as morphisms in a world of commodity code.
Topos is a code quality evaluation tool that maps every Python program to one of six evaluation values using cyclomatic complexity and entropy metrics. Instead of a numeric score, you get a lattice position that encodes structural quality with partial confidence.
The six evaluation values form a Heyting algebra:
Symbol |
Value |
Meaning |
|---|---|---|
⊥ |
|
Fails to parse; syntactically broken |
○ |
|
Parses but appears structurally pathological |
◑ |
|
Valid code with high repetition or unstable structure |
◒ |
|
Functional with elevated structural risk |
◐ |
|
Functional with recoverable concerns |
⊤ |
|
Maintainable, well-structured, and human-aligned |