“Accepted” entries belong to the mathematical catalog. “Rejected” means the extracted span is not a complete mathematical record; it is still preserved here and in its full source. Where an adjacent source passage supplies the complete expression, the recovered replacement is linked.
Download every scan decision ↗
scan-ece7d97a1978ddcc
provably inside the FIPS validated module and there is no external crypto to re verify under fips140=on.
Simple object, field, pointer or label assignment with no mathematical operation.
scan-04fa26ad60b82b38
parseHeaderBlock reads one RFC 5322 header block. It returns ok=false when there is no Message-ID, because
Boolean, string or sentinel setting in prose or application logic.
scan-c01f12502c8ff922
row 0 values must line up with the sorted names: alpha=2, mid=3, zeta=1
Reviewed as descriptive prose, application syntax, control-flow annotation, type/field mapping or an incomplete non-mathematical fragment.
scan-39e839cb754214b6
the design row is xi = [1, z_i0, z_i1, ...]; g += xi*r and h += w * xi xi^T
Arithmetic, vector, recurrence or numerical relationship.
scan-197fbfeccfb174c9
probabilities, returning a and b such that calibrated = sigmoid(a*score + b). It reuses FitLogistic with
Expression explicitly applies mathematical functions or optimization operators.
scan-c6d5c5ec01e1d054
standardized eta = Intercept + Coeff*(s-mean)/scale = (Coeff/scale)*s + (Intercept - Coeff*mean/scale)
Arithmetic, vector, recurrence or numerical relationship.
scan-2f16f8f86e4e70ef
two points land in the [0.0,0.5) bin and two in the [0.5,1.0) bin with 5 bins => width 0.2.
Reviewed as a mathematical definition, constraint, parameter, model axiom or numerical worked example. Scientific validity is reviewed separately.
scan-b89da8435b1db274
bin 0: mean predicted (0.1+0.15)/2 = 0.125, empirical (0+1)/2 = 0.5, count 2
Arithmetic, vector, recurrence or numerical relationship.
scan-d17a1c0bcd579af8
bin 4: mean predicted (0.85+0.95)/2 = 0.9, empirical (1+1)/2 = 1.0, count 2
Arithmetic, vector, recurrence or numerical relationship.
scan-d7fcc2da84620469
fit, so a fitted coefficient vector w scores a candidate by utility = w . features and the display order is
Reviewed as a mathematical definition, constraint, parameter, model axiom or numerical worked example. Scientific validity is reviewed separately.
scan-48b09d623ae3bf91
one approved and one rejected => one pair => two symmetric rows.
Reviewed as a mathematical definition, constraint, parameter, model axiom or numerical worked example. Scientific validity is reviewed separately.
scan-a61e8e28454f0d2b
equal utilities (zero weights) are all ties => 0.5.
Reviewed as a mathematical definition, constraint, parameter, model axiom or numerical worked example. Scientific validity is reviewed separately.
scan-08710bfd530d979f
(1 based, index m-1 in the returned vector), hazard[m] = events at m / at risk at m, where at risk at m counts
Arithmetic, vector, recurrence or numerical relationship.
scan-107e1e5141eaec3a
Survival returns the cumulative survival curve from a per period hazard vector: S[t] = product over i in 0..t
Continuation fragment replaced by a complete exact adjacent source-comment span.
scan-10df0d6378a0b7ac
At risk: month1 = 4 (all), month2 = 3 (the three that survived month1), month3 = 1 (only the last).
Reviewed as a mathematical definition, constraint, parameter, model axiom or numerical worked example. Scientific validity is reviewed separately.
scan-069c28d96ce343c9
Events: month1 = 1, month2 = 1, month3 = 1.
Reviewed as a mathematical definition, constraint, parameter, model axiom or numerical worked example. Scientific validity is reviewed separately.
scan-36a75b1f19d74171
hazards 0.25, 0.5 => S1 = 0.75, S2 = 0.75*0.5 = 0.375.
Arithmetic, vector, recurrence or numerical relationship.
scan-711ec6a55c1d7ebf
P(fill within 1) = 1 - 0.75 = 0.25.
Reviewed as a mathematical definition, constraint, parameter, model axiom or numerical worked example. Scientific validity is reviewed separately.
scan-0bf7a9cd25dda707
P(fill within 3) = 1 - 0.75^3 = 1 - 0.421875 = 0.578125.
Arithmetic, vector, recurrence or numerical relationship.
scan-47672e27e6897880
Score computes the offline calibrated probability of a feature vector under a loaded model: raw =
Continuation fragment replaced by a complete exact adjacent source-comment span.
scan-2a0920417fbe854f
coefficient rows (decimal), and its calibration bins. It sets champion=false ALWAYS; a champion flip is a
Boolean, string or sentinel setting in prose or application logic.
scan-4f71673ef6767c41
zero weights => every utility ties => the stable incoming (engine) order is preserved exactly.
Reviewed as descriptive prose, application syntax, control-flow annotation, type/field mapping or an incomplete non-mathematical fragment.
scan-94198adc300def86
two approved on this slate => the top 2 by utility are the selection the ranking nudges.
Reviewed as descriptive prose, application syntax, control-flow annotation, type/field mapping or an incomplete non-mathematical fragment.
scan-f5b3d5f65ec22663
two approved => top 2 by the weight (top=90, second=80) are selected; third (10) is not.
Reviewed as descriptive prose, application syntax, control-flow annotation, type/field mapping or an incomplete non-mathematical fragment.
scan-4aa031e379963eaa
no approvals => nothing is selected (no ordering signal to gate).
Reviewed as descriptive prose, application syntax, control-flow annotation, type/field mapping or an incomplete non-mathematical fragment.
scan-300e7f6bff2e524b
coefficients but writes nothing. minEvents <= 0 auto computes the floor as twenty decided events per fitted
Reviewed as a mathematical definition, constraint, parameter, model axiom or numerical worked example. Scientific validity is reviewed separately.
scan-54171f2b2652a036
Standardized to raw feature space: rawCoef_j = beta_j / scale_j;
Arithmetic, vector, recurrence or numerical relationship.
scan-f0c1efdcfc791811
rawIntercept = beta0 - SUM_j beta_j * mean_j / scale_j.
Arithmetic, vector, recurrence or numerical relationship.
scan-b1bb5c8c2d7ea181
(calibrated = sigmoid(a * logit(mid) + b)). A Platt fit failure returns no bins, the honest identity map.
Expression explicitly applies mathematical functions or optimization operators.
scan-71e0348dac9adc65
multipart/alternative with method=REQUEST is what makes the accept and decline buttons appear.
Reviewed as an object-pointer assignment, structural diagram, application/protocol prose or qualitative label mapping rather than a mathematical equation.
scan-11735790fb181913
An invitation must be multipart/ALTERNATIVE with method=REQUEST. multipart/mixed produces a message with a
Reviewed as an object-pointer assignment, structural diagram, application/protocol prose or qualitative label mapping rather than a mathematical equation.
scan-6fb9f88626260022
A cancellation must carry METHOD=CANCEL, or the meeting stays in the candidate's calendar.
Reviewed as descriptive prose, application syntax, control-flow annotation, type/field mapping or an incomplete non-mathematical fragment.
scan-2ffde3447f5c1a41
(AC prefix => SIGINT, EW). SIGINT is reached by both keyword and code; the union dedupes by code and
Reviewed as descriptive prose, application syntax, control-flow annotation, type/field mapping or an incomplete non-mathematical fragment.
scan-fe8a65a7849dff71
t = ""
Simple object, field, pointer or label assignment with no mathematical operation.
scan-7b52c1aebe41be98
t = NumericText(strings.TrimSpace(strings.Trim(s, `"`)))
Reviewed as descriptive prose, application syntax, control-flow annotation, type/field mapping or an incomplete non-mathematical fragment.
scan-da30334fb9817ce2
money and dates are pointers (nil = absent), never a fabricated zero. The recipient is the incumbent.
Reviewed as descriptive prose, application syntax, control-flow annotation, type/field mapping or an incomplete non-mathematical fragment.
scan-ac56ca80bcf4af07
pointers (nil = absent); text is empty-string when absent.
Reviewed as descriptive prose, application syntax, control-flow annotation, type/field mapping or an incomplete non-mathematical fragment.
scan-347243ae1297e631
and emitting algorithm=SHA256 in the provisioning URI prevents the common failure where an
Reviewed as descriptive prose, application syntax, control-flow annotation, type/field mapping or an incomplete non-mathematical fragment.
scan-78b4b461e996bc98
p = r.skillID
Simple object, field, pointer or label assignment with no mathematical operation.
scan-0f985812ba3b28b6
p = r.name
Simple object, field, pointer or label assignment with no mathematical operation.
scan-3ab00b3c36940df5
p = r.id
Simple object, field, pointer or label assignment with no mathematical operation.
scan-19ac13058a9aed97
- Go side: no validated org in context => RunInTenantTx refuses to run (fail closed).
Reviewed as descriptive prose, application syntax, control-flow annotation, type/field mapping or an incomplete non-mathematical fragment.
scan-b356098f054cf4ee
1. requires a validated org id (fail-closed: no org => no query, before the pool is touched),
Reviewed as descriptive prose, application syntax, control-flow annotation, type/field mapping or an incomplete non-mathematical fragment.
scan-45ce50863c43f2f1
3. sets app.current_org_id transaction-locally via set_config(..., is_local=true) so it
Boolean, string or sentinel setting in prose or application logic.
scan-eca9361dd7656fc5
Transaction-local GUC, parameterized (no SQL-injection surface). is_local=true is what makes
Boolean, string or sentinel setting in prose or application logic.
scan-56a80b9eeaa6a8e9
leak = append(*leak, cl)
Reviewed as descriptive prose, application syntax, control-flow annotation, type/field mapping or an incomplete non-mathematical fragment.
scan-25d551818b1dd1f9
D <- target vector (size must be >= cfg.dim; extra values ignored)
Reviewed as a mathematical definition, constraint, parameter, model axiom or numerical worked example. Scientific validity is reviewed separately.
scan-176f2fa7c455f5c0
Minimize: L = sum_i (sigmoid(s_i) - target_i)^2
Expression explicitly applies mathematical functions or optimization operators.
scan-09b1fc09668f6280
dL/ds_i = 2*(f_i - t_i) * f_i*(1 - f_i), where f_i = sigmoid(s_i)
Expression explicitly applies mathematical functions or optimization operators.
scan-c7be328de72b3489
Single-Stack Master Update: Ψ(t+1) = F(Ψ(t), Ψ(t-1), inputs)
Symbolic equation, mathematical parameter or mathematical definition.
scan-33ca5dab30966789
Objective: Ω = Surprise + Uncertainty − Value + penalty(stability)
Symbolic equation, mathematical parameter or mathematical definition.
scan-972a2b0704041f66
T[n] = F[n+2] - 1
Arithmetic, vector, recurrence or numerical relationship.
scan-10c82baab2f78722
Precomputed rotation frequencies ω[k] = 2π / φ^k
Symbolic equation, mathematical parameter or mathematical definition.
scan-da8a1799051c075c
Precomputed coupling eigenvalues λ[k] = (2π / φ^k)²
Symbolic equation, mathematical parameter or mathematical definition.
scan-8fb100d489734c17
f1: Continuous Dynamics: x' = F(x,t)
Reviewed as a mathematical definition, constraint, parameter, model axiom or numerical worked example. Scientific validity is reviewed separately.
scan-8f8605a717631bfb
f2: Discrete Dynamics: x_{t+1} = F(x_t, u_t^e)Arithmetic, vector, recurrence or numerical relationship.
scan-8b084bc47eff194e
f3: Reaction-Diffusion: 6δ/δt = D∇^2x + f(x)
Symbolic equation, mathematical parameter or mathematical definition.
scan-5f7dcccbe8b2e28c
f4: Optimization: x* = arg max U(x)
Reviewed as a mathematical definition, constraint, parameter, model axiom or numerical worked example. Scientific validity is reviewed separately.
scan-43405b962d37bf52
f5: Bayesian Inference: P(θ|D) ∝ P(D|θ)P(θ)
Symbolic equation, mathematical parameter or mathematical definition.
scan-ee1855016bc772bb
f6: Learning / Weight Update: W_{t+1} = W_t + ΔWArithmetic, vector, recurrence or numerical relationship.
scan-41157b386a09a74d
f9: Consensus / Averaging: x_i(t+1)=x_i(t)+Σ(x_j-x_i)
Arithmetic, vector, recurrence or numerical relationship.
scan-31387df95fabd9b8
f10: Swarm Interaction Force: x_i = Σ f(x_j - x_i)
Reviewed as a mathematical definition, constraint, parameter, model axiom or numerical worked example. Scientific validity is reviewed separately.
scan-d1553a164995d984
f11: Field-Based Accumulator: φ_t = (1-ρ)φ_t + Δφ
Symbolic equation, mathematical parameter or mathematical definition.
scan-602f88fcc484fc36
f12: Variational / Free Energy: F = E[ln q(z)-ln p(x,z)]
Arithmetic, vector, recurrence or numerical relationship.
scan-603ba432c2c790b0
f14: Memory Trace / Zecher: x'_i = Σ f_i : dΩ
Symbolic equation, mathematical parameter or mathematical definition.
scan-c02346a1e2b87989
Aggregate G^16 = Σ f_i
Arithmetic, vector, recurrence or numerical relationship.
scan-36452c700c03f2e9
Uncertainty from b = next.g[16]
Reviewed as descriptive prose, application syntax, control-flow annotation, type/field mapping or an incomplete non-mathematical fragment.
scan-bb9e73a9aa4207ea
Value = s3 * <w, Ψ>
Symbolic equation, mathematical parameter or mathematical definition.
scan-07da2931334b6d39
Penalty = λ * s1^2 (s1 = dx_norm)
Symbolic equation, mathematical parameter or mathematical definition.
scan-6827fd814e6886ec
=== API SOURCES ===
Decorative section heading surrounded by equality characters.