THE CONSCIOUSNESS ATLAS
Read. Experiment. Follow the evidence.
Every recovered mathematical record has an individual page. Browse original equations, code expressions, indexed components, parameter definitions, and explicitly unresolved source slots.
Counts refer to mathematical records, including implemented expressions and generated instances. They are not counts of independently validated theories. Exact occurrences and unresolved slots remain traceable. Read the complete 1–516 source index ↗ · Inspect the scan decisions ↗
This relation defines drivers computes the four "inventory coverage" drivers (a requirement is COVERED iff >=1 q in the source section “drivers”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines drivers computes the four "inventory coverage" drivers (a requirement is COVERED iff >=1 q in the source section “drivers”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines drivers computes the four "inventory coverage" drivers (a requirement is COVERED iff >=1 q in the source section “drivers”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines drivers computes the four "inventory coverage" drivers (a requirement is COVERED iff >=1 q in the source section “drivers”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines drivers computes the four "inventory coverage" drivers (a requirement is COVERED iff >=1 q in the source section “drivers”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines same live candidate set (rm_cand), so identified >= screened >= submitted >= approved alwa in the source section “dto”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines The test asserts structural correctness (rates in [0,1], ratio in the source section “eeo_dry_run_integration_test · The test asserts structural correctness (rates in [0,1], ratio”. It specifies the displayed relationship between the named quantities or parameters. Its…
This relation defines p(x) in the source section “energy · p(x)”. Integrates contributions over the variable and bounds stated in the expression; the measure and domain must come from this source. Applies an exponential factor. The exponent determines its real scaling or, for a complex exponent,…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Band cut points (CLAUDE.md): Green >= 90, Yellow 75–89.99, Red < 75. Inclusive lower bound in the source section “engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and…
This relation defines Potential energy proportional to distance from unity (x in the source section “fgtp_engine”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and conditions; this record does not…
This relation defines Action S in the source section “fgtp_engine · Action S”. Integrates contributions over the variable and bounds stated in the expression; the measure and domain must come from this source. Its interpretation depends on the source’s stated variables and conditions; this record…
This relation defines Hamiltonian H in the source section “fgtp_engine · Compute Hamiltonian H”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and conditions; this record does not assign an unprovided…
This relation defines Lagrangian L in the source section “fgtp_engine · Compute Lagrangian L”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and conditions; this record does not assign an unprovided…
This relation defines action integral S in the source section “fgtp_engine · Compute action integral S”. Integrates contributions over the variable and bounds stated in the expression; the measure and domain must come from this source. Its interpretation depends on the source’s stated variables and…
This relation defines Core energy equation: E in the source section “fgtp_engine · Core energy equation: E”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and conditions; this record does not assign an…
This relation defines Hamiltonian H in the source section “fgtp_engine · Hamiltonian H”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and conditions; this record does not assign an unprovided physical…