FINITE STRUCTURE / OPEN CORRESPONDENCESearch the record ⌕
OverviewResearch programmesResponse contract
← Programme overviewStep 1 of 5 · Source & events
Development · source contract v0.1

Source the response before seeing it.

Integrity and viable support constrain a response. The intact-null addresses still need a law. Explore that remaining choice and the receipt needed to make a prediction auditable.

01

The remaining response fiber

Select prospective integrity T and latent presence L, then an aligned prior Theta. Every allowed response is shown; no candidate is selected by this explorer.

Idle mask hOutput ThetaIdle count jFull budget mu
02

What a prospective receipt must contain

ObjectSource obligation
Complete pre-state and ordinal indexDeclare state, memory and source construction before exposure.
Prior Theta, integrity and viabilityUse an admitted prior state; transport both Theta and omega.
Prospective output T and LDerive from the frozen pre-event source; do not read the target endpoint.
Idle response h, or count jSource independently on I=T AND NOT L. Count alone usually leaves several addresses.
Frame, event/null, ties and renewalFreeze their semantics on the complete carrier.
Source artifact and chronologyBind bytes to the receipt; seal inputs and freeze predictions before endpoint release.

Full lineage claims additionally need continuation/predecessor and merger/source/renewal provenance. A net index is insufficient for that purpose.

03

A validator with an explicit limit

The reference validator checks binary masks, frame convention, prior admissibility, residual support, source-byte binding and declared chronology. It rejects exposed targets and inconsistent receipts.

A native-candidate packet can pass structural checks and still receive NATIVE_VALIDATION_PENDING__NO_SCORE. Hashes and supplied timestamps do not establish causal independence or authenticate native source truth.

Inspect the synthetic receipt · Reference validator and readout

04

Next source programme

Specify a versioned map from complete pre-state to prospective T, L and an idle response h (or a kernel on h). Include event/no-event behavior, frame, feedback, renewal and tie rules. Then seek an independent adversarial review before prospective testing.

POC-1 is the h=0 candidate. Fully integrity-open response is h=I. Admission and symmetry alone select neither. The frozen primary sidecar remains a separate source-blocked object.

Continue to the complete prepared candidate workbench →