Bindings ledger
Sanitized JSON with FMB identifiers and evidence boundaries.
Sanitized public index
Mathematical Bindings
This explorer is generated only from the sanitized public claim map and source manifest. It publishes stable FMB identifiers, claim IDs, status layers, formulas, public-safe source identifiers, qualification boundaries, negative results, and next required evidence.
Boundary: no absolute paths, usernames, nonpublic evidence-log paths, nonpublic repository names, AI-session identifiers, health files, legal files, or nonpublic working material are included.
Claim map
Sanitized public claim/evidence map v1.1.
Source manifest
Logical public source IDs and repository-relative source references.
Filter the public bindings ledger
Loading sanitized bindings...