Immutable historical mathematical record · mathematical SHA-256 5d1bfc9b10db25c3dcdcbf21a410aa0bc3d62e97c91a9bebbfde4f2fb65a4724 · exact projection SHA-256 43f3953b279cc751ad5b2e58a3cf834b2a7f66c37e119d5392263d565aa877e4.

math.uniform-matrix-cap-lifetime

Original kind: candidate · 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/UNIFORM_MATRIX_CAP_AND_LIFETIME.md (complete document at its original pinned source revision; no document text was acquired into this page).

Review report: reviews/d1_chain_reconciliation_20260928/RECONCILIATION.md (complete document at its original pinned source revision; no document text was acquired into this page).

Original node metadata

{
  "author_provider": "OpenAI",
  "classification": "PROVED_REVIEWED",
  "controlling": false,
  "fingerprint": "9350ad6eaba6626b93c3dedeef9e2ff816e5cdf1c8318e85fb27499141c84bc7",
  "kind": "candidate",
  "layer": "D1",
  "notes": "Parent Gaussian selection / Kac-Rice / elder chain. Theorems A, B, C accepted at existential scope, read with the four required reading-rule component nodes (congruence erratum, section 9 replacement v1.1, cap sections 1-5, reconciliation record with W1 and the embedding radius).",
  "reading_rule": [
    "math.d1-component.congruence-erratum",
    "math.d1-component.section9-replacement-v1_1",
    "math.d1-component.marked-cylinder-cap",
    "math.d1-component.reconciliation-record"
  ],
  "review_disposition": "ACCEPT_AT_EXISTENTIAL_SCOPE",
  "review_issue": 63,
  "review_providers": [
    "xAI/Grok via Cursor (D1-A-E, section 9 v1.1, partial slices)",
    "Anthropic/Claude (A1-A7, cap, section 9 v1.1, sections 11-12)"
  ],
  "review_source": "reviews/d1_chain_reconciliation_20260928/RECONCILIATION.md",
  "scope": "fixed d>=2 and L; compact births and positive gap marks for Theorems A and B, with B and K of positive length for Theorem B (singleton intervals give zero mark-window intensity); embedding radius r < L/(4 sqrt 2); all frames; Theorem C leading term only; no numerical C, r_*, z_* or coefficient; no d>=3 lower bound; no RN/24-jet",
  "source": "imports/lifetime_parent_20260925/UNIFORM_MATRIX_CAP_AND_LIFETIME.md"
}

Typed neighbors

Directions and relation labels are preserved from the selected graph snapshot.

Outgoing required

• math.d1-component.congruence-erratum · reads_with_congruence_erratum · math.uniform-matrix-cap-lifetime → math.d1-component.congruence-erratum · required: true
• math.d1-component.section9-replacement-v1_1 · reads_section9_as_replaced_v1_1 · math.uniform-matrix-cap-lifetime → math.d1-component.section9-replacement-v1_1 · required: true
• math.d1-component.marked-cylinder-cap · consumes_cap_sections_1_5 · math.uniform-matrix-cap-lifetime → math.d1-component.marked-cylinder-cap · required: true
• math.d1-component.reconciliation-record · reads_with_reconciled_rule_W1_radius · math.uniform-matrix-cap-lifetime → math.d1-component.reconciliation-record · required: true

Outgoing context

None recorded.

Incoming required

• math.lifetime-remainder · imports_named_interfaces · math.lifetime-remainder → math.uniform-matrix-cap-lifetime · required: true
• math.side24-coefficient · evaluates_eq_15_2 · math.side24-coefficient → math.uniform-matrix-cap-lifetime · required: true

Incoming context

None recorded.