core: establish the private canonical Program spine - #465

Merged

lemone112 merged 58 commits into

mainfrom

agent/private-program-cut

Jul 26, 2026

Commits on Jul 22, 2026

feat(core): compile generic point-render sessions
lemone112
committed
bb0ae2c
fix(core): satisfy format and all-target lint gates
lemone112
committed
103135c
perf(core): recycle point-render session buffers
lemone112
committed
dea02c0
style(core): format reusable session buffers
lemone112
committed
00a897d
feat(lcs): execute sealed sRGB8 tristimulus derivation
lemone112
committed
6d3d900
style(lcs): format sealed tristimulus slice
lemone112
committed
c5b9349
feat(lcs): derive versioned appearance views
lemone112
committed
705fb68
style(lcs): canonicalize Oklab coefficient
lemone112
committed
68f6ac4
feat(core): expose typed terminal program path
lemone112
committed
8bfcdd2
fix(core): satisfy terminal Program quality gates
lemone112
committed
abfa741
feat(lcs): bind private output projection registry
lemone112
committed
76b9fb5
style(core): canonicalize release module order
lemone112
committed
d80cb78
fix(core): scope private registry lint firewall
lemone112
committed
1a9f978
fix(core): harden terminal Program admission
lemone112
committed
f034c40
style(core): match pinned Rust formatter
lemone112
committed
31acc78
feat(core): bind F0 release descriptors
lemone112
committed
02f91a9
perf(core): add linear canonical surface ingestion
lemone112
committed
e6e2b29
refactor(core): unify terminal physical identities
lemone112
committed
01ed02c
perf(core): prebind terminal evaluation slots
lemone112
committed
2b98cb9
perf(core): make present ingestion lazy and borrowed
lemone112
committed
c01c7f0
refactor(core): remove per-port surface mutation
lemone112
committed
e0f4956
feat(core): evaluate typed constraints and emit terminal paints
lemone112
committed
bf60c9c
feat(core): bind observation groups to runtime streams
lemone112
committed
b9c7965
refactor(core): share one encoded point Paint value
lemone112
committed
6be73af
refactor(core): share revision-bound observation state
lemone112
committed
b58b2ed
fix(ci): bind V2a budget to measured artifact
lemone112
committed
69e4312
refactor(core): remove superseded Program runtime
lemone112
committed
186e45d
feat(core): execute compiled plans through sole Session
lemone112
committed
d4a5f38
feat(core): bind Program assessments to context-bound LCS
lemone112
committed
a244a61
Hard-delete Pair taxonomy from shipping surfaces
lemone112
committed
e84d07e
Compile typed finite targets into Program sessions
lemone112
committed
f832a53
quarantine unsupported Display P3 promises
lemone112
committed
8391d22
core: make compiled programs the sole session-generation owner
lemone112
committed
9ff2504
core: close the evaluator union and package session bridge
lemone112
committed
3e8f240

Commits on Jul 23, 2026

Commits on Jul 24, 2026

core: bind Program content identity
lemone112
committed
fade33a
core: name versioned identity discriminants
lemone112
committed
39ee0a7

Commits on Jul 25, 2026

fix(ci): re-pin the runtime WASM budget to this slice's measured artifact

lemone112
and
claude
committed
a09bf73

Commits on Jul 26, 2026

fix(ci): re-bind the point-support source capsule to this slice's cone

lemone112
and
claude
committed
30fe845
core: project complete program certificate evidence
lemone112
committed
0f6ddab
fix(ci): re-bind the point-support source capsule to this slice's cone

lemone112
and
claude
committed
ab463f2
core: bind Program operations to exact owner snapshots
lemone112
committed
5cd8d17
fix(ci): re-bind the point-support source capsule to this slice's cone

lemone112
and
claude
committed
8b5fb46
core: single-own compiled observation schemas
lemone112
committed
35472cb
chore(proof): document Python 3.9 zip invariant
lemone112
committed
43d9498
core: define the public Program API
lemone112
committed
5389478
core: address Program API review
lemone112
committed
f2fb118
fix(ci): re-bind public Program proof capsule
lemone112
committed
92f8376
test: close compile-fail sentinel escape
lemone112
committed
4eb8966
core: make joint order non-empty by construction and bound evidence cells

lemone112
and
claude
committed
4fc9521
docs: explain packed proof invariants
lemone112
committed
412da83
core: fail closed without current Program evidence
lemone112
committed
f57baa2
core: revoke outputs on unknown session handoff
lemone112
committed
3dc76d7
core: keep incomplete Program crate-private
lemone112
committed
a30d03d
perf: bind smaller private Program wasm
lemone112
committed
cc0e065
core: make staged Program unexportable
lemone112
committed
18cb0ff
ci: explain rustdoc surface mismatch
lemone112
committed
dcd4943