Luminance maps conditional control in Anthropic filing

Luminance has introduced Formal Verification, a beta capability that translates contract provisions into formal rules and checks their logic using the Lean theorem prover. The company tested it on Anthropic’s 400-page S-1 registration statement, modeling governance provisions in roughly ten minutes with $20 in token costs.

The analysis found that Anthropic’s Long-Term Benefit Trust has conditional rather than unilateral control over key board appointments. Its Class T share gives it authority to elect and remove four of Anthropic’s seven directors, but changing the Specified Class T Director requires agreement from a committee controlled by non-Class T directors. Once Class E shares are issued after the IPO, eligible non-cofounder employees gain a decisive swing vote over that appointment.

The findings illustrate how formal verification could help lawyers and investors identify vetoes, conflicting commitments and concentrations of power across complex agreements. However, Luminance acknowledged that its model simplifies provisions involving founders’ Class A shares, founder-split rules and time limits. Mathematical verification tests whether conclusions follow from a model, not whether contractual provisions are legally enforceable. Context, fiduciary duties and judicial interpretation remain matters requiring legal judgment.