Amendment 19: typed opaque artifacts on the graph interface - #911

Merged

MaxGhenis merged 35 commits into

mainfrom

amend-typed-artifacts

Sep 12, 2026

Commits on Sep 11, 2026

Open the Amendment 19 lane journal (typed opaque artifacts)

MaxGhenis
and
claude
committed
d88e86d
Amendment 19 (red): declaration contracts for typed opaque artifacts

MaxGhenis
and
claude
committed
68a6ecc
Amendment 19: typed opaque artifacts on the frozen declaration interface

MaxGhenis
and
claude
committed
e591c52
B2: the kernel context carries declared artifacts (amendment 19)

MaxGhenis
and
claude
committed
a2b6dfb
Amendment 19 (red): executor contracts for typed artifact edges

MaxGhenis
and
claude
committed
1cce8ec

Commits on Sep 12, 2026

Amendment 19: the executor honours declared artifact edges

MaxGhenis
and
claude
committed
15f9d2c
Amendment 19 in the charter; relock decl.py and kernel.py

MaxGhenis
and
claude
committed
38b9a9e
The graph explorer shows a node's typed artifact provenance (amendment 19)

MaxGhenis
and
claude
committed
8c2e7fa
Record the Amendment 19 lane's landed commits and gate results

MaxGhenis
and
claude
committed
41fb8bc
A gate kernel may not declare a typed artifact output (amendment 19)

MaxGhenis
and
claude
committed
51362a5
A gate reached only through a byte edge still derives the release tier

MaxGhenis
and
claude
committed
7496402
Widen the amendment 19 node-key measurement to both country graphs

MaxGhenis
and
claude
committed
433996d
The manifest authenticates typed artifact edges on load (amendment 19)

MaxGhenis
and
claude
committed
b4ac66c
Artifact edges cross population versions under every resume policy

MaxGhenis
and
claude
committed
5a13c1a
A corrupt typed manifest loads as StoreCorruptError, not NodeRejectedError

MaxGhenis
and
claude
committed
3a0726f
Say what ArtifactValue.key actually is; relock kernel.py

MaxGhenis
and
claude
committed
9ebb60e
Keep gate_ancestry validation where it was; name the graphs actually measured

MaxGhenis
and
claude
committed
402d9a6
Keep the artifact miss decision inside the recompute fallback

MaxGhenis
and
claude
committed
5c4a8ef
Assert every field of a declared artifact edge is normative

MaxGhenis
and
claude
committed
64ae648
Descendant-exact invalidation reaches through a byte edge (A3)

MaxGhenis
and
claude
committed
6037ce4
Typed bytes keep the derivation, not the identity; read payloads only to run

MaxGhenis
and
claude
committed
9018c44
Record the adversarial review and what it changed

MaxGhenis
and
claude
committed
79ef58e
Re-verify the Amendment 19 lane end to end, independently of the landing

MaxGhenis
and
claude
committed
df04a93
Write the Amendment 19 lane report

MaxGhenis
and
claude
committed
315119e
Exercise every refusal a foreign typed descriptor can trip

MaxGhenis
and
claude
committed
e3f69a4
Correct the red-commit count: 1cce8eceb was 8 of 8, not 7

MaxGhenis
and
claude
committed
0c22b9d
Report the second audit, its one surviving finding, and the re-run gates

MaxGhenis
and
claude
committed
102d2fd
Name the unenforced interface lock and the sibling branch that fixes it

MaxGhenis
and
claude
committed
f8f7abb
Point the lane journal's Next at the report's open items for Max

MaxGhenis
and
claude
committed
6c0bed4
Re-run every reported gate at the final tree so the table is literally true

MaxGhenis
and
claude
committed
362a70b
Merge remote-tracking branch 'origin/main' into amend-typed-artifacts
MaxGhenis
committed
ca07ece
Say that keys move for every descendant of a declared edge's ends, not only the ends

MaxGhenis
and
claude
committed
c35cd8a
Check gate_ancestry's shape before a typed ancestry check reads it

MaxGhenis
and
claude
committed
7d45c32
Historicize the lane journals' currency claims before they merge

MaxGhenis
and
claude
committed
27e593d
Historicize the lane report's header and closing claims too

MaxGhenis
and
claude
committed
72e477c