Precise · Polymarket Lab · diary · math ledger · transfer ledger

The Transfer Ledger

The lab's second product. Every primitive we forge on Polymarket, tracked from where it's born to where it earns for Precise — and which vertical (media / adtech first) it returns to. Polymarket is the fast twin: it settles in days what media settles in quarters, so a primitive proven here is proven ~50–100× faster than in its home market. Status: forged extracted to the harness with docs+evals · building in a live build · design specified · idea named, not yet specified.

I.The transfer contract

A primitive is not "done" when it produces a number in the lab. It is done when it lives in the Precise Harness — abstracted, documented, eval-covered — so a Precise product build inherits it for free. This page is the running proof that the loop closes: lab discovery → harness capability → Precise product surface → the vertical it serves. Nothing here claims a capability the harness doesn't hold; the chip is the contract, same discipline as the math ledger.

II.The map

Lab primitiveStatusHarness homePrecise product surfaceVertical it returns to
Sealed call + pre-registered prediction (make the call → score it → book the lesson), applied to our own operations forged callsheet / seal + ledger (the four wired parts) The call sheet product: judgment on the record, calibration compounding into a track record All — the core Precise promise; adtech CFOs get the audit view
Ratio-KPI Shapley credit across segments (return-on-capital = Σpnl/Σcapital) forged trace-score-job (exact/CC/Owen, externally reviewed) Contribution attribution over known factors on a ratio KPI Media: ROAS = Σvalue/Σspend across channels — identical shape
Conformal calibration bands (walk-forward, drift-honest, coverage published) forged calibration-breadth/conformal.py Every projection ships value + 80/90 band; honest downgrade across regime Media: CPA/reach forecasts with bands graded later
The FLOOR discipline (causal-control, gradient-actionability, grain-pinning, self-impact, disjoint-support) forged harness/src/floors.ts + finding-floors.ts The refusals that are the credibility feature — a claim without its control is blocked All — "refusals as the product" is the Precise thesis
v_fast orphan term as a visibility-vector detector (high-signal × invisible-to-products) Konstant IP design Konstant-owned; consumed by Precise via a licensed typed port (NOT forged into the Precise harness — ownership-map row 31) Surface the uncrowded, high-contribution factor nobody else tracks Adtech: the audience/inventory earning credit that no vendor labels
Gradient-sized allocation: ∇v̂ frontier + conformal band + FLOOR-8 gate design gradient.ts + conformal (SIZING-V1 spec — assembly, not new math) Where the next dollar goes, uncertainty-gated — position/budget sizing Media: next-dollar budget allocation across channels
Entity resolution over rotating identities + behavioral fingerprint similarity Konstant IP idea Konstant v_fast redundancy/sim (H-FINGERPRINT); Precise consumes via licensed port Collapse one actor's many identities before crediting them Adtech: cookies/devices → households; the identity-graph problem exactly
Wash/entity denominator hygiene before any credit math design signed-spine pre-pass (syncopation build 2) Refuse credit computed on inflated volume Adtech: fraud/IVT filtering before attribution — same failure, same fix
Who-triggers-whom contagion graph (trigger-asymmetry, exogenous clock identification) Konstant IP design Konstant syncopation; the temporal layer + identification standard is Precise-buildable and licensed alongside Lead/lag influence mapping with a real identification standard, not correlation Media: channel-to-channel assist/halo effects, cleanly identified
Dual-timestamp capture + coverage-denominator honesty (no silent gaps) building B0 capture primitives → harness extraction (forge gate) Every ingested number carries its provenance and its known gaps All — the data-integrity floor under any attribution claim
Reflexivity handling: a rented signal decays as it sells; consume it second-order as a crowd-map design E-ALERT-ECHO + visibility vector Value a signal by its crowding, not just its content Adtech: audience decay as a segment saturates the market

III.The two-way seam (Precise × Konstant)

Rows marked Konstant IP are the structural-selection methods (v_fast, syncopation, orphan, fingerprint) — Konstant-owned, consumed by Precise under license through a typed port, never re-implemented inside Precise (that would put crown jewels on the wrong cap table and break the neutral-trust thesis). The unmarked rows are Precise's own contribution/calibration/floor math. The sellable new features live in the combination: a Konstant structural score feeding a Precise contribution engine produces attribution nobody else can compute — a Precise product with a Konstant dependency, and reciprocally, Precise's calibration attested by Konstant/AliceNet so a stranger can trust the number. License terms live in the private founder packet, not this technical page.

IV.Why the transfer is real, not analogy

The math was born in media — the calibration harness's panels are ad campaigns, the Shapley job's value functions were media KPIs (cost_of_media is in its loader). Polymarket is the away game: the same primitives, run where truth arrives in days instead of quarters, against an adversarial settlement oracle nobody can argue with. So this ledger reads in both directions — every row is a media/adtech capability being hardened on fast ground truth, then returning home with its serial numbers intact. The lab's KPI is not Polymarket P&L; it is forged primitives per quarter, graduated to the harness, with the evals to prove them.

Companion pages: the diary (what happened) · the math ledger (the mathematics). This page is the transfer record (what becomes Precise). Chips are the contract — a row claims only what its harness home actually holds. Sources: .foreman/ledger.md (HARNESS-FORGE DOCTRINE), the harness field manual, and the cited harness files.