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
Jayyhk source:jayyhk-erdos-lean proof manifest · jayyhk-erdos-lean	observation:jayyhk-erdos-lean:0618a55aa70c93b0 a5ffc87b3d684fc00ea906b9e746c283740da900	206 source-native rows complete coverage	0 exact links	Inspect

Source declaration

Exact observation

Projected objects

Repository bindings

Jayyhk

source:jayyhk-erdos-lean

proof manifest · jayyhk-erdos-lean

observation:jayyhk-erdos-lean:0618a55aa70c93b0

a5ffc87b3d684fc00ea906b9e746c283740da900

206 source-native rows
complete coverage

0 exact links

Inspect