Robert Allan JamesandClaude Sonnet 5
b031b802e3
FABRIC.md -> FABRIC-0.md FABRIC-2.md -> FABRIC-1.md FABRIC-3.md -> FABRIC-2.md (the current/living document) FABRIC-4.md unchanged (new #3 to follow separately) Every cross-reference repo-wide updated to match, including doc-comment citations inside kernel source (.c/.h) files -- done via an ordered placeholder substitution (FABRIC-3.md->placeholder2, FABRIC-2.md-> placeholder1, FABRIC.md->placeholder0, then placeholders resolved to final names) in a single pass per file to avoid double-shifting already-renamed references. One line in capsules/font.4th grew past the 64-char block-format limit as a side effect of the longer filename; shortened it and reverified with mkcapsule --lint (34/34 pass) before rebuilding. Verified 3-arch boot to ok> (amd64/aarch64/riscv64, each in the foreground) after the fix; logs and DoE CSVs from this session's verification runs included per this repo's own audit-artifact convention. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019YcT3H2PQeyujrzjqS3Var
27 lines
985 B
Forth
27 lines
985 B
Forth
Block 4021
|
|
( zuse-eligibility.4th - H.5/H.8 elevation grant )
|
|
( C prims: ZUSE-ELIGIBILITY-ADD ZUSE-ELIGIBLE? )
|
|
( NAME>XT ELEVATE-PUBKEY-UNPACK )
|
|
( Policy word this file: ELEVATE-GRANT. Runs in )
|
|
( Hera's own dict -- delivered here by messaging.4th's )
|
|
( MSG-DELIVER via VM-EXEC when a session calls the )
|
|
( common:messaging.4th SEND-ELEVATE-REQUEST entrypoint. )
|
|
( FABRIC-2.md H.12 step 21, 2026-09-03. )
|
|
CREATE ELEVATE-PK-BUF 32 ALLOT
|
|
|
|
Block 4022
|
|
( ELEVATE-GRANT ( waddr wu pk0 pk1 pk2 pk3 -- ) )
|
|
( Reconstructs the caller's pubkey, checks Zuse's )
|
|
( eligibility list, and on match grants the named )
|
|
( word ACL-ALLOW!/ACL-TTL! via the same reused )
|
|
( ACL-TTL mechanism H.5 decided on. No grant, no )
|
|
( error, on any mismatch -- silent refusal. )
|
|
: ELEVATE-GRANT ( waddr wu pk0 pk1 pk2 pk3 -- )
|
|
ELEVATE-PK-BUF ELEVATE-PUBKEY-UNPACK
|
|
ELEVATE-PK-BUF ZUSE-ELIGIBLE? IF
|
|
NAME>XT DUP IF
|
|
1 OVER ACL-ALLOW!
|
|
ACL-BASE-TTL SWAP ACL-TTL!
|
|
ELSE DROP THEN
|
|
ELSE 2DROP THEN ;
|