feat: bring up ASL-generated functional model for gfrun - #183

Closed

zhoubot wants to merge 82 commits into

mainfrom

codex/functional-model-g1-step

Commits on Aug 29, 2026

fix: reject ASLRef warnings in strict checks
zhoubot
committed
e945b41
docs: record warning-free ASLRef maintenance
zhoubot
committed
1626b44
feat: add ASL functional model step boundary
zhoubot
committed
1db95c5
docs: project functional model ASL
zhoubot
committed
524d924
chore: close functional model release evidence
zhoubot
committed
2978ee3
test: close functional model inventory expectations
zhoubot
committed
cc1b6d5
fix: harden functional-model step contracts
zhoubot
committed
2630c80
Add functional-model ASL construct inventory
zhoubot
committed
3dd534c
Add deterministic PTO MIR feasibility modelgen
zhoubot
committed
b48a402
Add executable PTO MIR lowering tables
zhoubot
committed
a03042b
feat: add experimental functional model runtime
zhoubot
committed
48669e7
feat: execute generated ASL length model
zhoubot
committed
b480123
Inventory exact functional runtime closure gaps
zhoubot
committed
8ababb5
feat: extend functional runtime frontier
zhoubot
committed
2aeedd6
feat: add numeric runtime call frames
zhoubot
committed
0c1aa4e
feat: lower numeric MIR calls
zhoubot
committed
78bdd78
feat: add typed local and global lowering
zhoubot
committed
d9ba4e9
feat: add generated boolean literals
zhoubot
committed
569ac82
feat: profile indexed-memory lane choice
zhoubot
committed
adeb63c
chore: close lane choice release evidence
zhoubot
committed
581e114
feat: lower inclusive generated loops
zhoubot
committed
3205e78
feat: clone typed aggregate state
zhoubot
committed
1fa86d9
feat: extend functional step observation
zhoubot
committed
636187c
chore: close step observation release evidence
zhoubot
committed
40028b2
feat: lower nested generated arrays
zhoubot
committed
6d86c30
feat: add exact generated multiplication
zhoubot
committed
7c76dd5
feat: emit linked generated modules
zhoubot
committed
fa3a9a3
feat: lower generated record fields
zhoubot
committed
e3238b5
feat: lower generated enum labels
zhoubot
committed
fd2c573
feat: lower generated slice writes
zhoubot
committed
0184635
fix: align functional ADR landing baselines
zhoubot
committed
b83d066
feat: bind exact integer primitives
zhoubot
committed
96caa8d
Add deterministic functional model descriptor tooling
zhoubot
committed
e9439bd
Record experimental descriptor readiness
zhoubot
committed
f87f1f9
feat: lower dynamic generated slices
zhoubot
committed
62acfd6
feat: generate typed global defaults
zhoubot
committed
90f70e2
feat: execute generated functional reset
zhoubot
committed
c184123
feat: embed generated functional step
zhoubot
committed
372d9b0
feat: execute generated predecode steps
zhoubot
committed
f30f46b
feat: execute generated scalar steps
zhoubot
committed
d9858dc
feat: execute generated extended-length steps
zhoubot
committed
db01cc3
feat: execute generated fault and host flows
zhoubot
committed
60011ec
feat: execute generated store transactions
zhoubot
committed
dc88ad7
feat: package functional model identity
zhoubot
committed
6d7f153
fix: declare descriptor readiness outputs
zhoubot
committed
70a18d0
test: reject descriptor identity mismatch
zhoubot
committed
2e2643a
test: keep release assertions enabled
zhoubot
committed
a1f3c6a
test: add G5 functional-model checked corpus producer
zhoubot
committed
3a3b47e
test: validate checked functional ELF corpus
zhoubot
committed
da88997
test: validate gfrun ASL corpus execution
zhoubot
committed
9ada2d4
chore: refresh functional model release evidence
zhoubot
committed
e8b39ea
chore: refresh reader guide release aggregate
zhoubot
committed
2027b74
test: harden functional model corpus closure
zhoubot
committed
ad7af24
test: bind corpus to PTO encoding identity
zhoubot
committed
02c5cdf
test: compare corpus and model identities
zhoubot
committed
b058d30
test: add ASLRef corpus differential oracle
zhoubot
committed
4f7bd9e
test: orchestrate functional model differential gate
zhoubot
committed
37c3a17
test: add standalone model corpus runner
zhoubot
committed
8cbb2d4
feat: lower generated tuple declarations
zhoubot
committed
12cb3e3
feat: lower generated integer negation
zhoubot
committed
5302d50
feat: lower generated array and tuple values
zhoubot
committed
13b397b
feat: lower generated floor division
zhoubot
committed
35a0a5a
fix: lower terminal unreachable markers
zhoubot
committed
3fe5ae1
feat: add tile corpus and hosted exit binding
zhoubot
committed
82bec3b
feat: run hosted exit ELF through ASL
zhoubot
committed
4503fd9

Commits on Aug 30, 2026

chore: refresh functional model release evidence
zhoubot
committed
273e254
chore: refresh mnemonic coverage evidence
zhoubot
committed
f131bb3
fix: invalidate descriptor on source identity changes
zhoubot
committed
e5f9a96
docs: draft functional model reader guides
zhoubot
committed
d572955
feat(functional-model): export committed memory write traces
zhoubot
committed
ce644e3
docs(arch): separate PTO semantics from model ABI
zhoubot
committed
8d6cc0f
chore: refresh model-boundary evidence
zhoubot
committed
16752df
chore: enforce PTO-only architecture references
zhoubot
committed
bed9f76
feat(functional-model): add snapshot and state-summary ABI
zhoubot
committed
62507ab
chore: refresh snapshot descriptor evidence
zhoubot
committed
512dd74
refactor: separate model contracts from PTO architecture
zhoubot
committed
717c884
chore: regenerate model boundary projections
zhoubot
committed
fcce2c7
Revert "chore: regenerate model boundary projections"
zhoubot
committed
553ef9a
Revert "refactor: separate model contracts from PTO architecture"
zhoubot
committed
6396bc0
refactor: move model NDF out of PTO architecture
zhoubot
committed
bf46fb4
chore: regenerate architecture boundary projections
zhoubot
committed
f15feb8
fix(modelgen): bind close-request profile implementation
zhoubot
committed
82f21ec