Sources

Root-bound source inventory for the current release. Declarations, observations, source-native objects, and Repository bindings remain separate records.

JSON record

Source-local read projections

Rooted observations that remain outside the scientific Source Registry and have no authority effect.

Formal Conjectures PR audit

Five exact source records · public Apache-2.0 custody · no automatic Verification, Decision, or Standing effect

Inspect 5 records

Registry lookup

Search 6,598 source-native records or inspect 15 declarations

Sources: 15
Observations: 15
Native records: 6,598
Bindings: 4

Source-native records

0 bounded matches from this exact release

Exact query JSON

No matching source-native records

Change the text, exact ID, record kind, or Repository filter.

Source declarations

1 of 15 sources in this exact release

Source declaration	Exact observation	Projected objects	Repository bindings	Actions
William Blair source:williamjblair-lean-proofs proof manifest · williamjblair-lean-proofs	observation:williamjblair-lean-proofs:96e05cfa22d2e84f a8c2872a27cf8d11cf6744ca4a2c5b49ace5fea0	79 source-native rows complete coverage	0 exact links	Inspect

Source declaration

Exact observation

Projected objects

Repository bindings

William Blair

source:williamjblair-lean-proofs

proof manifest · williamjblair-lean-proofs

observation:williamjblair-lean-proofs:96e05cfa22d2e84f

a8c2872a27cf8d11cf6744ca4a2c5b49ace5fea0

79 source-native rows
complete coverage

0 exact links

Inspect