Wave G: no ordinary quantity request stops a run, cancelled exits stay cancelled, script-bar indices for aggregated runs, kernel edges, the 1.0 C surface, and docs as executable truth by luisleo526 · Pull Request #289 · pineforge-4pass/pineforge-engine

Re-pin the validation corpus to f989e36: special-validation builds, owned_strategies.json re-derived (lane CORPUS3)

luisleo526

and

claude

committed

c4f3968

tests: harden timing ratio legs against runner noise

luisleo526

committed

4552eb8

C-SURFACE-1: preserve published C callback layouts

luisleo526

committed

c6e0bb7

fix(v19 KERNEL-EDGE): repair FX and calendar edges, expose host marks

luisleo526

committed

409ebad

Kernel: no ordinary quantity request stops a run -- the typed UnrepresentableQuantity refusal, the book's own quantities on the grid, and an opt-in quantity tolerance (R5 lane K-ULP4)

luisleo526

committed

86780e4

Docs: what a host gets from a quantity -- the typed refusal, the grid's own quantities, the quantity tolerance; the citations K-ULP4 moved re-anchored (R5 lane K-ULP4)

luisleo526

and

claude

committed

2d4affc

Kernel: a fill the request core cannot take off its units is the same typed refusal; the grid admits a Reduce of a FIFO boundary of its scope; the tolerance's digest fold is tagged (R5 lane K-ULP4,…

luisleo526

and

claude

committed

cbf693c

Kernel: the grid holds a boundary Reduce to its boundary at the candidate too; the preview's reach stated (R5 lane K-ULP4, second review)

luisleo526

and

claude

committed

a6e34ac

Kernel: the grid's candidate tests what it settles; a whole-scope fraction is the gross scope settled in one fill (R5 lane K-ULP4, third review)

luisleo526

and

claude

committed

c30ef7e

Docs: the one quantity case that still stops a run -- an OCA-Reduce sibling's reservation -- stated where the pages promise none (R5 lane K-ULP4)

luisleo526

committed

b945385

INT25 merge: C-SURFACE-1's failure-discriminator row fails its run through a refused anchored level

luisleo526

and

claude

committed

42fec56

v19 hash step (R5 lane V19-FIX): a cancelled exit stays cancelled, cancelling and recording cost what is live, the dead path_order_ goes

luisleo526

committed

fac8389

Docs: a cancelled exit stays cancelled, and cancelling and recording cost what is live; OL14 says what is tested (R5 lane V19-FIX)

luisleo526

and

claude

committed

07fc918

K-IDX: book aggregated coordinates in script bars

luisleo526

committed

709526b

K-IDX: preserve Pine input projections and re-pin v19 witnesses

luisleo526

committed

3ed0276

docs: make native migration examples and comments executable truth

luisleo526

committed

ae8a074

docs: finish native contract truth and report caveats

luisleo526

committed

4c02933

INT25 (i): current_partial_bar() says what a bare host gets -- the bar through the last path point consumed (audit N3)

luisleo526

and

claude

committed

9ccc4e5

INT25 (iii): promote-baseline admits a squash merge by tree equality, and reads the merge gate on the PR head

luisleo526

and

claude

committed

b4b9a36

INT25 (ii): CI fits CI-LITE's rule for wave G -- slow rows re-measured, an hour for a full sanitizers run, floors recounted

luisleo526

and

claude

committed

cb6fce2

Kernel: an OCA-Reduce deduction binary64 cannot take off its recipient is absorbed, and the run goes on (R5 lane K-ULP5)

luisleo526

committed

18ec002

Tests, docs: the absorption's C reach stated, each deduction taken on its own, and the checks that could pass for the wrong reason tightened (R5 lane K-ULP5, review)

luisleo526

committed

3e21571

INT25 merge: two row-8 citations C-SURFACE-1's page kept over its own c_abi.cpp insertions

luisleo526

and

claude

committed

16496ae

INT25 v19 hash re-pin

luisleo526

and

claude

committed

2a75925

Navigation Menu

Wave G: no ordinary quantity request stops a run, cancelled exits stay cancelled, script-bar indices for aggregated runs, kernel edges, the 1.0 C surface, and docs as executable truth - #289

Wave G: no ordinary quantity request stops a run, cancelled exits stay cancelled, script-bar indices for aggregated runs, kernel edges, the 1.0 C surface, and docs as executable truth#289
luisleo526 merged 24 commits into
mainfrom
r5/int25

Commits on Sep 25, 2026

Re-pin the validation corpus to f989e36: special-validation builds, owned_strategies.json re-derived (lane CORPUS3)

tests: harden timing ratio legs against runner noise

C-SURFACE-1: preserve published C callback layouts

fix(v19 KERNEL-EDGE): repair FX and calendar edges, expose host marks

Kernel: no ordinary quantity request stops a run -- the typed UnrepresentableQuantity refusal, the book's own quantities on the grid, and an opt-in quantity tolerance (R5 lane K-ULP4)

Docs: what a host gets from a quantity -- the typed refusal, the grid's own quantities, the quantity tolerance; the citations K-ULP4 moved re-anchored (R5 lane K-ULP4)

Kernel: a fill the request core cannot take off its units is the same typed refusal; the grid admits a Reduce of a FIFO boundary of its scope; the tolerance's digest fold is tagged (R5 lane K-ULP4,…

Kernel: the grid holds a boundary Reduce to its boundary at the candidate too; the preview's reach stated (R5 lane K-ULP4, second review)

Kernel: the grid's candidate tests what it settles; a whole-scope fraction is the gross scope settled in one fill (R5 lane K-ULP4, third review)

Docs: the one quantity case that still stops a run -- an OCA-Reduce sibling's reservation -- stated where the pages promise none (R5 lane K-ULP4)

INT25 merge: C-SURFACE-1's failure-discriminator row fails its run through a refused anchored level

v19 hash step (R5 lane V19-FIX): a cancelled exit stays cancelled, cancelling and recording cost what is live, the dead path_order_ goes

Docs: a cancelled exit stays cancelled, and cancelling and recording cost what is live; OL14 says what is tested (R5 lane V19-FIX)

K-IDX: book aggregated coordinates in script bars

K-IDX: preserve Pine input projections and re-pin v19 witnesses

docs: make native migration examples and comments executable truth

docs: finish native contract truth and report caveats

INT25 (i): current_partial_bar() says what a bare host gets -- the bar through the last path point consumed (audit N3)

INT25 (iii): promote-baseline admits a squash merge by tree equality, and reads the merge gate on the PR head

INT25 (ii): CI fits CI-LITE's rule for wave G -- slow rows re-measured, an hour for a full sanitizers run, floors recounted

Kernel: an OCA-Reduce deduction binary64 cannot take off its recipient is absorbed, and the run goes on (R5 lane K-ULP5)

Tests, docs: the absorption's C reach stated, each deduction taken on its own, and the checks that could pass for the wrong reason tightened (R5 lane K-ULP5, review)

INT25 merge: two row-8 citations C-SURFACE-1's page kept over its own c_abi.cpp insertions

INT25 v19 hash re-pin