feat(edict): execute authenticated source functions in pure and read operations by flyingrobots · Pull Request #753 · flyingrobots/echo

Merge remote-tracking branch 'origin/main' into feature/edict-source-functions

flyingrobots

committed

fb1fde7

Fix imported helper audits without source function declarations

flyingrobots

committed

024e844

Fix bounded-read nominal identity without source declarations

flyingrobots

committed

382bc73

Fix public compilation repeatability witness output isolation

flyingrobots

committed

e99d219

Fix exact bounded final publication evidence accounting

flyingrobots

committed

6d96380

Borrow program identifiers in deterministic helper scopes

flyingrobots

committed

91c5fba

Publish reproducible source-function provider component identities

flyingrobots

committed

0bcc95b

Refresh exact current-package occurrence hash after component publication

flyingrobots

committed

db91aea

Fix named unsigned Int aliases in source helper judgments

flyingrobots

committed

4997125

Refresh checked package root and exact manifest byte golden

flyingrobots

committed

4d8dc13

Publish Int-aware component pair and regenerated package identity

flyingrobots

committed

bc51676

Merge remote-tracking branch 'origin/main' into feature/edict-source-functions

flyingrobots

committed

566493e

test: execute provenance-bound public source-function artifacts

flyingrobots

committed

187c666

test: satisfy strict public-witness Clippy gate

flyingrobots

committed

f69f560

fix: resolve named integer types in shared runtime parser

flyingrobots

committed

b8a7c4f

Navigation Menu

Repository navigation

feat(edict): execute authenticated source functions in pure and read operations - #753

feat(edict): execute authenticated source functions in pure and read operations#753
flyingrobots merged 25 commits into
mainfrom
feature/edict-source-functions

Commits on Oct 5, 2026

test: expose source-function runtime and admission gaps

feat: execute generic source functions in pure and read programs

test: reject source functions colliding with imported effects

test: challenge runtime effect and source function ownership

fix: reserve imported effect names in source function inventories

test: preserve same-package imported pure call authority

fix: resolve imported pure calls by exact source membership

test: retain nominal identities in source function signatures

fix: preserve nominal authority in source function validation

docs: distinguish frozen host and current compiler witnesses

Commits on Oct 8, 2026

Merge remote-tracking branch 'origin/main' into feature/edict-source-functions

Fix imported helper audits without source function declarations

Fix bounded-read nominal identity without source declarations

Fix public compilation repeatability witness output isolation

Fix exact bounded final publication evidence accounting

Borrow program identifiers in deterministic helper scopes

Publish reproducible source-function provider component identities

Refresh exact current-package occurrence hash after component publication

Fix named unsigned Int aliases in source helper judgments

Refresh checked package root and exact manifest byte golden

Publish Int-aware component pair and regenerated package identity

Merge remote-tracking branch 'origin/main' into feature/edict-source-functions

test: execute provenance-bound public source-function artifacts

test: satisfy strict public-witness Clippy gate

fix: resolve named integer types in shared runtime parser