feat(phi4): optional AIE4 corelib backend for Phi-4-mini-instruct - #706

Draft

chizamd wants to merge 117 commits into

chizamd:feature/phi4-aie4-corelib

Commits on Sep 1, 2026

feat: add optional corelib ABI loader

chizamd
and
cursoragent
committed
ad1878d
feat: add corelib runtime failure handling

chizamd
and
cursoragent
committed
9c8de1c
fix: harden corelib runtime foundation

chizamd
and
cursoragent
committed
2344ec6
feat: add Phi-4 ONNX manifest tooling

chizamd
and
cursoragent
committed
91c32bf
fix: complete Phi-4 manifest verification

chizamd
and
cursoragent
committed
aefe2a9
feat: load Phi-4 AIE4 model packages

chizamd
and
cursoragent
committed
398a732
fix: identify invalid Phi-4 weight components

chizamd
and
cursoragent
committed
2e62127
feat: derive AIE4 tensor shapes from corelib

chizamd
and
cursoragent
committed
64f5062
fix: centralize Phi-4 shape contracts

chizamd
and
cursoragent
committed
64c2013
feat: load Phi-4 weights through corelib

chizamd
and
cursoragent
committed
eee632f
fix: preserve Phi-4 weight error contracts

chizamd
and
cursoragent
committed
b94ba0b
feat: add Phi-4 AIE4 host operations

chizamd
and
cursoragent
committed
d63ba65
fix: clarify Phi-4 host operation contracts

chizamd
and
cursoragent
committed
983d190
feat: add corelib-backed Phi-4 engine

chizamd
and
cursoragent
committed
1367d08
fix: handle divergent AIE4 padding safely

chizamd
and
cursoragent
committed
ed2a996
feat: route Phi-4 AIE4 models through corelib

chizamd
and
cursoragent
committed
d6c1760
fix: align Phi-4 AIE4 generation state

chizamd
and
cursoragent
committed
e52f60e
fix: enforce Phi-4 AIE4 request limits

chizamd
and
cursoragent
committed
2fb9302
fix: serialize AIE4 response completion

chizamd
and
cursoragent
committed
ed97a8e
chore: untrack SDD task report

chizamd
and
cursoragent
committed
e1bae2d

Commits on Sep 2, 2026

build: package the optional corelib AIE4 runtime

chizamd
and
cursoragent
committed
dc15d66
fix: rebase corelib integration onto e5258d2

chizamd
and
claude
committed
e70f270
test: validate the corelib adapter against the real library

chizamd
and
claude
committed
e43468f
fix: route /api/chat through the shared generation limit

chizamd
and
claude
committed
96b0085
test: make the 10R guards fire

chizamd
and
claude
committed
ac95f54
build: derive the AIE4 runtime closure instead of transcribing it

chizamd
and
claude
committed
cb7c337
fix: enforce MODEL-2 on the Phi-4 AIE4 overlay config

chizamd
and
claude
committed
a8e4db4
fix: validate the AIE4 catalog's two provenances separately

chizamd
and
claude
committed
b821450
test: guard the no-import rule and the measured catalog size

chizamd
and
claude
committed
b05c24f
fix: make the AIE4 packaging guards actually fire

chizamd
and
claude
committed
4c9a9ba
fix: stop the ctest wiring from re-creating the I2 argv defect

chizamd
and
claude
committed
d069aca
test: validate Phi-4 AIE4 end to end

chizamd
and
claude
committed
b993a04
test: let the hardware suite take the target's build inputs

chizamd
and
claude
committed
95f6afa
fix: keep the hardware suite runnable on Windows PowerShell 5.1

chizamd
and
claude
committed
71cabef
fix: stage dyn_bins.dll for a shared DynamicDispatch too

chizamd
and
claude
committed
11ea308
fix: make the AIE4 catalog and packaging guards survive a fresh clone

chizamd
and
claude
committed
2f3efaa
fix: give the standalone test suite the versions it compiles in

chizamd
and
claude
committed
18319ea
test: compose the AIE4 package the suite needs from the shipped overlays

chizamd
and
claude
committed
4824850
test: check the engine against itself, not only against the reference

chizamd
and
claude
committed
1c21752
fix: stop the host RMSNorm reduction from seeding a BF16 divergence

chizamd
and
claude
committed
32d48cb
fix: give flm_corelib_aie4 its own Boost include, and validate XRT paths

chizamd
and
claude
committed
f748f43
test: make the AIE4 acceptance claims checks rather than prose

chizamd
and
claude
committed
c38081f
fix: let the Windows product build find its dependencies anywhere

chizamd
and
claude
committed
58b708c
fix: require only the FFTW precision the product actually calls

chizamd
and
claude
committed
d1db5e6
fix: declare shared Boost as shared on the Windows non-vcpkg path

chizamd
and
claude
committed
0db2c3a
test: run Step 7's four generation endpoints from the suite

chizamd
and
claude
committed
5c38912
fix: stop the harness from reporting its own defects as findings

chizamd
and
claude
committed
499bf70
fix: stop an unbounded AIE4 generation from killing the server

chizamd
and
claude
committed
213daf1
fix: gate on model-state bit-identity, report logit bit-identity

chizamd
and
claude
committed
41a301b
fix: prefer the tree's own vendored dependencies, and scope the XRT check

chizamd
and
claude
committed
859a7a7
fix: close the sixth instance of the skipped-work-reads-as-ran pattern

chizamd
and
claude
committed
074015b
fix: stop the dependency table from discarding every fallback library name

chizamd
and
claude
committed
8973f66
fix: put the product's own runtime libraries on PATH for Step 7

chizamd
and
claude
committed
446f738
docs: propagate the fftw3l retraction into the file that still asserted it

chizamd
and
claude
committed
8ebdc6f
feat: implement DETERM-1 and DETERM-2 for run-to-run determinism

chizamd
and
claude
committed
4260113
fix: seal every advertised bound name, and correct the run-to-run units

chizamd
and
claude
committed
084e2c4
test: require a DETERM-3 baseline before a report may claim one

chizamd
and
claude
committed
dd9c933
feat: count corelib object creations where they happen

chizamd
and
claude
committed
13f6116
perf: measure the Phi-4 AIE4 baseline, and build the DETERM-3 campaign

chizamd
and
claude
committed
9c56937
fix: trim the padded CPU SKU, and record the signed memory delta

chizamd
and
claude
committed
0ec3c4b
fix: publish the DETERM-3 record even when a run in it failed a gate

chizamd
and
claude
committed
d7f2dbe
fix: do not call a tree with only build output 'dirty'

chizamd
and
claude
committed
00332b9
perf: record the Phi-4 AIE4 baseline

chizamd
and
claude
committed
4768058
docs: say in the document that these are single-run figures

chizamd
and
claude
committed
f55abc4
docs: re-render the baseline with the single-run caveat in place

chizamd
and
claude
committed
4f470cf
fix: measure the localisation, bracket the crossover, and keep the evidence

chizamd
and
claude
committed
21ad125
evidence: commit the DETERM-4 determinism records

chizamd
and
claude
committed
36e01e5
docs: publish the bracket, the load breakdown and the measured baseline

chizamd
and
claude
committed
3c532e8
fix: one decision rule, verdicts that reach the exit code, the finding published

chizamd
and
claude
committed
26f2dcb
docs: publish the bracket margins and the model-body finding

chizamd
and
claude
committed
1d573e3
fix: stop the generator asserting more than the data attests

chizamd
and
claude
committed
a02a2cf
docs: re-measure with the interleaving attested by the timeline

chizamd
and
claude
committed
90300b0
fix: put the bracket's instability where Task 14 will read it

chizamd
and
claude
committed
c682eb5
fix: make every stability verdict carry its own words and its guidance

chizamd
and
claude
committed
5899c4d
perf: calibrate Phi-4 continuation routing

chizamd
and
claude
committed
95d98c6
test: route tests that survive the threshold changing

chizamd
and
claude
committed
98eddcc
evidence: forced-route goldens re-run at the calibrated threshold

chizamd
and
claude
committed
2f49427
test: the two document generators must not eat each other

chizamd
and
claude
committed
e6c517b
fix: the cross-run check was assuming an identity it cannot verify

chizamd
and
claude
committed
85d81c6
fix: a found interpreter that cannot run is worse than none

chizamd
and
claude
committed
04deff3
fix: the retraction reached the code and the report, not the document

chizamd
and
claude
committed
9ccf8ef
fix: the guard read the document but not the report

chizamd
and
claude
committed
66e7cac

Commits on Sep 3, 2026

test: accept Phi-4 AIE4 on xcomedusad-43

chizamd
and
claude
committed
99850ee
test: make the acceptance record say what actually produced it

chizamd
and
claude
committed
a3afaf5
evidence: the Phi-4 AIE4 acceptance record from xcomedusad-43

chizamd
and
claude
committed
e7cd8b4
docs: the usable Phi-4 AIE4 context limit is 4095, not 4096

chizamd
and
claude
committed
39aefe1
fix: two places the acceptance record contradicted its own evidence

chizamd
and
claude
committed
f67ed00
fix: the serialization probe was measuring a cold start

chizamd
and
claude
committed
298960b
fix: the console driver hung when a reply ended in emoji

chizamd
and
claude
committed
0b011f2
evidence: the acceptance record after review round 1

chizamd
and
claude
committed
fe4bf04
fix: a document that cannot be rendered is a failed run, not a footnote

chizamd
and
claude
committed
81a01f7
evidence: acceptance record and document, both from the same run

chizamd
and
claude
committed
00fe757
fix: the gate carrying the branch's biggest finding was a proxy

chizamd
and
claude
committed
94b63dc
docs: say that output degrades when generation reaches the cap

chizamd
and
claude
committed
fd6186b
fix: the guard shipped as "verified offline" could not have worked

chizamd
and
claude
committed
9a972cd
fix: load the shared guards before anything can need them

chizamd
and
claude
committed
aa51b6d
fix: the Step 8 gate could not fire, and the verifier could not see it

chizamd
and
claude
committed
5debf04
docs: say what round 4 changed, and split the multi-turn finding in two

chizamd
and
claude
committed
a975b63
fix: the MSI shipped an empty AIE4 feature, and said so only in a warning

chizamd
and
claude
committed
22e3b55
test: prove the fatal-record concurrency properties with two real processes

chizamd
and
claude
committed
2f12a3e
docs: say what this backend costs, and split the two long-generation failures

chizamd
and
claude
committed
1b6db54
fix: the Inno staging script gained twenty bare-LF lines in a CRLF batch file

chizamd
and
claude
committed
77694e1
fix: the corelib version probe broke the product build under MSBuild

chizamd
and
claude
committed
6a516f7
build: the Windows Boost linkage this branch changed, and the guard that catches it

chizamd
and
claude
committed
efb42e2
test: three packaged-runtime checks that could not fail

chizamd
and
claude
committed
87732ed
fix: the acceptance record was not a page, and its verdict failed open

chizamd
and
claude
committed
10fca14
fix: num_predict sentinels, and the irrevocable boundary past a completed synchronize

chizamd
and
claude
committed
28a067f
docs: make the evidence reachable, and stop publishing a claim the data falsifies

chizamd
and
claude
committed
314a635
chore: the four minors the review asked for

chizamd
and
claude
committed
57a9c9a
fix: finish the I14 retraction, and make four guards able to fail

chizamd
and
claude
committed
609909b
record: 314a6354's message makes a false charge against the branch review

chizamd
and
claude
committed
3db247c
test: close I14 conditions 3 and 4 -- the untested three, and a dead path

chizamd
and
claude
committed
9041291
docs: an implementation overview and a caveats page, and five citations that had gone stale
chizamd
committed
f02115b

Commits on Sep 4, 2026