Precise · Polymarket Lab · ← the diary

The Math Ledger

Every mathematical object this lab has minted, ported, or stress-tested — stated precisely, with an honest maturity chip and a pointer to where it lives. Status vocabulary: measured verified against data or formally checked · poc implemented, correct for what it is, not yet fed real data · design specified and pre-registered, unbuilt · hypothesis reasoned, untested.

I.The money identity and the hold-time term

The founding inequality frame law

return = edge/bet × bets/period × deployable-capital hold-time governs bets/period; every build must move one of the three terms

Required-edge scaling in hold time design

required_edge(h) = base_edge × (h / h_baseline)

A 14-day hold must earn ~14× the per-day edge of a 1-day flip to deserve the same capital. Turnover and sizing become one optimization; capital mechanically flows to the shortest hold clearing the sealed bar. The 14-day cap itself is a reasoned default awaiting the accrual curve (Build 1).

TAKER-FRAME.md §4 · accrual curve = T1/Build 1, in flight

II.The Konstant value function, ported

v_fast implemented (home domain) port: design

v(S) = max_d [ Σ_i a·sev_i·o_i[d] — individual + Σ_{i,j} b_type·sev_i·sev_j·o_i[d]·o_j[d] — typed synergy − Σ_{i,j} c·sim_ij — redundancy + Σ_i γ·sev_i·rec_i·(1−max_d o_i[d]) ] — orphan term

The port is a feature adapter, not a rewrite: field→wallet (later entity), severity→normalized informedness (markout-derived), recurrence→cross-window persistence, embedding→behavioral fingerprint. The orphan term's pillar-independence is the load-bearing property: map o_i[d] to a tracker-visibility vector (d = each leaderboard, sold list, public recipe flag) and the term reads literally: high informedness × high persistence × invisible to every product.

The operational orphan definition design — census-refined

orphan(w) := high markout-informedness ∧ persistent OOS ∧ o_w[d] = 0 ∀ d ∈ enumerated products/recipes/leaderboards ∧ sub-threshold prints (< ~$5k — below the insider-detection subgenre's triggers) ∧ no public identity (no ENS / Farcaster / leaderboard handle)

The visibility dimensions are concretely enumerable from the 103-source census. First-ever measurement of an orphan set = syncopation-port Build 5.

Fingerprint injection hypothesis (H-FINGERPRINT)

Wallet behavioral fingerprints (markets, timing, sizing, category mix) in a content-addressed structure so entity continuity survives address rotation; enters v_fast through the sanctioned redundancyMatrix override — injection, never modification of the patent path. Weight calibration teacher in our domain = realized markout (Konstant's nightly LLM teacher, upgraded: settlements don't hallucinate).

konstantin.ai/lib/syncopation/v-fast.ts (read in full; inventor's fence honored) · port map in .foreman/ledger.md

III.Interaction math and the symmetry fact

Pairwise uplift / Shapley interaction implemented, formally checked

uplift_ij = v({i,j}) − v({i}) − v({j}) + v(∅) (discrete second difference) I_ij = Σ_{S⊆N\{i,j}} |S|!(n−|S|−2)!/(n−1)! · δ_ij v(S) (Grabisch–Roubens)

The symmetry fact (the arc's sharpest catch): uplift is symmetric in i and j — an arithmetic identity. No windowing scheme can extract direction from the value function. Who-triggers-whom must come from a temporal-precedence layer outside v(S), entering the Konstant code only at its two sanctioned injection points: typed relationships and the redundancy override.

The trigger primitive design

screen: event-clock co-occurrence over decision episodes (collapses ~5×10⁹ dyads → 10⁶–10⁷) model: discrete-time Hawkes-GLM — follower intensity ~ baseline(market, T_news) + Σ_leaders G_ij · K(Δt; shared exponential decay) LEAD_asym = (M_out − M_in)/(M_out + M_in + λ) — reported as a tuple with magnitude, never one number

Decision episodes (same entity/market/direction, sessionized) are the grain; chain-true fills are the atom — because WS-feed direction inference is only ~59% accurate vs on-chain truth measured (census, Dubach). Alert channels are mediator super-nodes inside the graph, never exogenous clocks: leader→alert→crowd is the copy-contagion chain.

SYNCOPATION-PORT-DESIGN.md §1 · trace_interaction.py (exact + unbiased sampler, externally reviewed)

IV.Settlement math (the settle half)

Exact Shapley on ratio KPIs implemented, externally reviewed

φ_i = Σ_{S⊆N\{i}} |S|!(n−|S|−1)!/n! · [v(S∪{i}) − v(S)] non-triviality law: additive KPI ⇒ φ_i = x_i (a GROUP BY); credit must be RATIO: v(S) = Σ_S pnl / Σ_S capital_at_risk

Complementary-contribution sampling for n>20 (CC_N(S) = U(S) − U(N\S), size-stratified); Owen values for grouped players — the estimator family the unit-of-signal ablation will use: wallet-history vs category vs flow feature groups compete for markout-prediction credit, and the winning group is the unit design, first post-gate build.

The June external review verified fixes in every file read

15 defects (3 critical): anti-conservative CC variances, future-leaking top-N segment maps, interpolated conformal quantiles, ratio-game singular denominators. Fixes are landed in each file opened so far; worker T8 is verifying all 15 plus the 164 math commits the reviewer never saw.

packages/trace-score-job/shapley_methods/ · docs/external-math-review-2026-06-12.md

V.The serve half, honestly labeled

Additive amortizer v̂ poc — "validated with ZERO real data" (its own header)

v̂(S) = w₀ + Σ_{i∈S} w_i φ̂_i = w_i (exact only on additive games; uniform-Bernoulli fit ⇒ φ̂ is BIASED Shapley off-additive — do not read it as Shapley)

The gradient frontier poc — sound math, projection band only

v̂(x) = w₀ + Σ w_i x_i + ½ Σ q_ii x_i² (+ Σ Q_ij x_i x_j) ∂v̂/∂x_i = w_i + q_ii x_i + Σ_j Q_ij x_j — the marginal frontier (next dollar) φ̂_i = ∫₀¹ (∂v̂/∂x_i)(t·1) dt — Aumann–Shapley; Simpson-exact for the quadratic band = ± bandZ · fitRMSE — PROJECTION error. Not a posterior. Not conformal.

The correction this review forced: the "hierarchical partial-pooling Bayesian surrogate whose posterior variance is the band" exists in prose, not code; in its home harness the promotion gate refused every candidate (champion: carry_forward). "Size by the calibrated gradient" is re-labeled: gradient-sized (RMSE band + FLOOR 8) works today; calibrated-gradient-sized is a build. Docs describing the destination as the present is the failure mode this ledger exists to prevent.

Conformal calibration implemented, exemplary honesty (home domain)

score s = log(realized/modeled); band = [exp(−q), exp(q)], q = ceil((n_cal+1)·cov)-th smallest |s| — conservative order statistic, walk-forward only guarantee does NOT transfer across regime drift (its own honesty block — directly relevant to markets)
harness/src/vhat.ts · gradient.ts · floors.ts (FLOOR 8 assertGradientActionable:125) · calibration-breadth/scripts/conformal.py

VI.Identification and the null ladder design, pre-registered

N1 wallet-label permutation (kills identity effects) N2 per-wallet interval jitter, Δ≈5–15min (kills sub-news common cause) N3 cadence-preserving circular shift, stratified by market × time-since-clock × regime N4 T_news ±W_c excision re-estimation (robustness; eats real leader impact) + placebo clocks must move nothing · injection power: ≥80% recovery of implanted contagion gates: wallet FDR q=.05 → pair BH q=.10 · ≥20 events × ≥3 non-sibling markets · sign-replication

Every pair gets a four-way label — exogenous-response / candidate-contagion / pre-clock-informed / unidentified — never collapsed. The claim standard is Granger-class predictive triggering, never "causes." Positive control before discovery: if the method can't detect the copy-bots we know exist (published ~1.8s lags), it has no business claiming orphan leaders — the port halts nearly free.

SYNCOPATION-PORT-DESIGN.md §3 · builds 0–4 with sealed predictions

VII.The alert-echo experiment design (E-ALERT-ECHO), sealed 65/40/30

echo(f) = follow-on same-side flow after watched-wallet fill f vs matched control fills alert = deterministic f(public trigger) ⇒ we see the CAUSE sub-ms before subscribers see the EFFECT prediction: bimodal lag (castes: ~1.8s bots · 3–5s premium tier · slower humans)

Second-order consumption of sold signals: a sold edge decays for its subscribers as it sells; as our input it grows with subscriber count. Doctrine, in the owner's words: "we don't buy edges — but we might buy other people's edges to use as input signal to create an edge."

.foreman/ledger.md E-ALERT-ECHO · queued behind the current wave

VIII.Open mathematical questions

The unit of signal — wallet vs entity vs market-type vs flow vs event; group-Shapley credit decides design. H-ROTATION — attractor wallets manufacturing follower flow then harvesting it from fresh addresses; detection = rising trigger-out that goes quiet + timing-correlated counter-side size + entity linkage hypothesis. The accrual curve — when does the +3.01c materialize (front-loaded vs linear); decides fund-vs-footnote Build 1, in flight. The taker cost gate — does >2c survive spread + fee + trade+1 haircut Build 2 / CALL-018. Wash-aware denominators — up to ~60% of weekly volume is wash at peaks; no volume-derived quantity is meaningful without the entity pre-pass measured (census, Columbia).

Maturity chips are the contract: nothing on this page claims more than its chip. Sources of truth: the repo files cited per section; sealed decisions in penny-harness/callsheet.json; dispatch history in .foreman/ledger.md. Companion pages: the diary · the harness field manual (in flight). Built for the fund, first: every object here earns its place by moving edge, frequency, or deployable capital. Proven at fund tempo, it becomes Precise product — that is the loop.