ThatAIguyA world of ideas

THE CONSCIOUSNESS ATLAS
Read. Experiment. Follow the evidence.

ConsciousnessLearn · Explore · Joseph Anady

The equation library

Every recovered mathematical record has an individual page. Browse original equations, code expressions, indexed components, parameter definitions, and explicitly unresolved source slots.

2,910 recordsSource snapshot 2026-10-17

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 ↗

2,910 records · page 7 of 59Search the source archive ↗
gh-eq-48b8db92e4390604

Linear log-odds score before logistic conversion

The model adds an intercept to the sum of each coefficient times its corresponding feature. Applying a logistic transform converts that log-odds score into a value between zero and one. The source uses decimal arithmetic for the linear combination and an isolated floating-point conversion for the…

Implementation mathematicsSource recovered; runtime not executed
fixed champion, a fixed feature vector, and no DB. It computes log odds = intercept + SUM(coefficient_j * value_j) in shopspring/decimal, applies the logistic (a single isolated float conversion, re quantized to
gh-eq-4809c4ef6649b0fa

Linear log-odds score before logistic conversion

The model adds an intercept to the sum of each coefficient times its corresponding feature. Applying a logistic transform converts that log-odds score into a value between zero and one. The source uses decimal arithmetic for the linear combination and an isolated floating-point conversion for the…

Implementation mathematicsSource recovered; runtime not executed
fixed champion, a fixed feature vector, and no DB. It computes log odds = intercept + SUM(coefficient_j * value_j) in shopspring/decimal, applies the logistic (a single isolated float conversion, re quantized to
gh-eq-7406e471c3f1f21f

Linear log-odds score before logistic conversion

The model adds an intercept to the sum of each coefficient times its corresponding feature. Applying a logistic transform converts that log-odds score into a value between zero and one. The source uses decimal arithmetic for the linear combination and an isolated floating-point conversion for the…

Implementation mathematicsSource recovered; runtime not executed
fixed champion, a fixed feature vector, and no DB. It computes log odds = intercept + SUM(coefficient_j * value_j) in shopspring/decimal, applies the logistic (a single isolated float conversion, re quantized to
gh-eq-d9fe00d1d7aa916e

Linear log-odds score before logistic conversion

The model adds an intercept to the sum of each coefficient times its corresponding feature. Applying a logistic transform converts that log-odds score into a value between zero and one. The source uses decimal arithmetic for the linear combination and an isolated floating-point conversion for the…

Implementation mathematicsSource recovered; runtime not executed
fixed champion, a fixed feature vector, and no DB. It computes log odds = intercept + SUM(coefficient_j * value_j) in shopspring/decimal, applies the logistic (a single isolated float conversion, re quantized to
gh-eq-319054d06afff045

Linear log-odds score before logistic conversion

The model adds an intercept to the sum of each coefficient times its corresponding feature. Applying a logistic transform converts that log-odds score into a value between zero and one. The source uses decimal arithmetic for the linear combination and an isolated floating-point conversion for the…

Implementation mathematicsSource recovered; runtime not executed
fixed champion, a fixed feature vector, and no DB. It computes log odds = intercept + SUM(coefficient_j * value_j) in shopspring/decimal, applies the logistic (a single isolated float conversion, re quantized to
gh-eq-cf9e7fb08a13483c

Linear log-odds score before logistic conversion

The model adds an intercept to the sum of each coefficient times its corresponding feature. Applying a logistic transform converts that log-odds score into a value between zero and one. The source uses decimal arithmetic for the linear combination and an isolated floating-point conversion for the…

Implementation mathematicsSource recovered; runtime not executed
fixed champion, a fixed feature vector, and no DB. It computes log odds = intercept + SUM(coefficient_j * value_j) in shopspring/decimal, applies the logistic (a single isolated float conversion, re quantized to
gh-eq-eb80eb0d4e3934ff

Linear log-odds score before logistic conversion

The model adds an intercept to the sum of each coefficient times its corresponding feature. Applying a logistic transform converts that log-odds score into a value between zero and one. The source uses decimal arithmetic for the linear combination and an isolated floating-point conversion for the…

Implementation mathematicsSource recovered; runtime not executed
fixed champion, a fixed feature vector, and no DB. It computes log odds = intercept + SUM(coefficient_j * value_j) in shopspring/decimal, applies the logistic (a single isolated float conversion, re quantized to
gh-eq-734e0e31f289d1c4

Linear log-odds score before logistic conversion

The model adds an intercept to the sum of each coefficient times its corresponding feature. Applying a logistic transform converts that log-odds score into a value between zero and one. The source uses decimal arithmetic for the linear combination and an isolated floating-point conversion for the…

Implementation mathematicsSource recovered; runtime not executed
fixed champion, a fixed feature vector, and no DB. It computes log odds = intercept + SUM(coefficient_j * value_j) in shopspring/decimal, applies the logistic (a single isolated float conversion, re quantized to
gh-eq-1369680b49626a74

Linear log-odds score before logistic conversion

The model adds an intercept to the sum of each coefficient times its corresponding feature. Applying a logistic transform converts that log-odds score into a value between zero and one. The source uses decimal arithmetic for the linear combination and an isolated floating-point conversion for the…

Implementation mathematicsSource recovered; runtime not executed
fixed champion, a fixed feature vector, and no DB. It computes log odds = intercept + SUM(coefficient_j * value_j) in shopspring/decimal, applies the logistic (a single isolated float conversion, re quantized to
gh-eq-8059a4f80865cf25

Logistic prediction followed by a calibration map

The raw score is the sigmoid of an intercept-plus-feature-weight sum. The implementation then maps that value through stored calibration bins, or leaves it unchanged when no bins exist. A monotone remap preserves ordering, but empirical probability accuracy still requires evaluation on data…

Implementation mathematicsSource recovered; runtime not executed
Score computes the offline calibrated probability of a feature vector under a loaded model: raw = sigmoid(intercept + SUM coef*value), then the monotone calibration remap (an empty bin set is the identity
gh-eq-f8260a90b7eb4eda

Matching score when the first component contributes zero

The first quarter-weighted component is zero and all remaining component scores are 100. The weighted sum is therefore 75, which the source test assigns to Yellow. This illustrates how one component can reduce the final score even when every other component is maximal.

Implementation mathematicsSource recovered; runtime not executed
candidate is available). Total = 0*0.25 + 100*0.25 + 100*0.15 + 100*0.15 + 100*0.10 + 100*0.10. = 0 + 25 + 15 + 15 + 10 + 10 = 75.00, Yellow.

Search equations, builds, manuscript text, and recovered sources.