Script
Formal source remains visible, editable, and exact. The interface supports rigor instead of hiding it behind an opaque visual layer.
Proof as a living work object
Facet
A social-native mathematical workbench where script, proof state, history, people, and agents remain part of the same inquiry.
Active development · Unreleased
The proof is the work object.
Facet is being designed around a simple architectural conviction: the formal script, machine state, human conversation, provenance, and branch history should not become disconnected artifacts. They belong to one inspectable object of inquiry.
State
Goals, hypotheses, diagnostics, and verified transitions stay legible beside the source that produced them.
Society
Peers and agents can participate with attributable actions, branchable history, and preserved authorship.
One inquiry, several precise views.
The workbench direction gives each layer enough space to be useful while keeping their relationships visible.
- Formal surfaceScript and theorem structure remain primary.
- Proof stateGoals and hypotheses are inspectable in context.
- Branch historyAlternative proof paths can remain navigable.
- Peer facetsHuman and agent participation can be attributed.
Workbench direction
This visual is a design direction, not a claim that the pictured interface is publicly released.
Where Facet belongs
Development and publication are distinct relationships. The site names both without implying legal ownership or public availability.
- DevelopmentDeveloped by Bunnycat Interactive
- PublicationPublished by Logica Lumina
- StatusActive development; unreleased