Current research sources
Pinned source observation: . Compare this timestamp with the present time; observation is not scientific revalidation.
main 4f600d9dc0441113568483fb3c34533b4be7440e · Math- 6e502c1f8a5632eb90670fd9fc0d52e421c015a2
Current status source · Current research guide · Current proof index
Current mathematical atlas · Current static graph and complete source inventory · Exact current source observation payload. Scientific effect: NONE.
Historical mathematical material (original pins and observation).
math.d1-component.marked-cylinder-cap
Original kind: reading_rule_component · recorded classification: PROVED_REVIEWED.
Independent evidence metadata axes
- source
recorded- review
recorded- kernel
not_recorded- computation
not_recorded- alignment
not_recorded
These values describe metadata presence, not a proof result, applicability or scientific acceptance. No kernel, computation or alignment record is admitted by this graph export.
Graph-to-artifact binding: unresolved; artifact roles: unknown; custody: unknown. No Artifact Index mapping is inferred.
Source and recorded review references
Source: imports/lifetime_parent_20260925/MARKED_CYLINDER_CAP_PROOF.md (complete document at the pinned source revision; no document text was acquired into this page).
Review report: reviews/d1_chain_reconciliation_20260928/LEDGER.json (complete document at the pinned source revision; no document text was acquired into this page).
Original node metadata
{
"author_provider": "OpenAI",
"classification": "PROVED_REVIEWED",
"component_of": "math.uniform-matrix-cap-lifetime",
"component_role": "deterministic_support",
"controlling": false,
"fingerprint": "0bf922b9203c29088b12388807aa0e2ecd020485eb0f6e919679841b5b2636fc",
"kind": "reading_rule_component",
"layer": "D1",
"ledger_items": [
"CAP"
],
"review_basis": [
{
"depth": "full",
"provider": "Anthropic",
"review": "C1",
"verdict": "ACCEPT"
},
{
"depth": "full",
"provider": "xAI",
"review": "G3",
"verdict": "ACCEPT"
}
],
"review_source": "reviews/d1_chain_reconciliation_20260928/LEDGER.json",
"scope": "deterministic separating cap, sections 1-5 (lines 1-168) only; sections 6-8 are not consumed",
"source": "imports/lifetime_parent_20260925/MARKED_CYLINDER_CAP_PROOF.md"
}
Typed neighbors
Directions and relation labels are preserved from the selected graph snapshot.
Outgoing required
None recorded.
Outgoing context
None recorded.
Incoming required
- math.uniform-matrix-cap-lifetime ·
consumes_cap_sections_1_5·math.uniform-matrix-cap-lifetime → math.d1-component.marked-cylinder-cap· required:true
Incoming context
None recorded.