Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
5ac18be
test(cockpit): rebuild D3 network policy
LogicDuke Sep 2, 2026
7f8f411
fix(cockpit): type-safe ambient namespace check
LogicDuke Sep 2, 2026
6f4c9cc
Merge pull request #68 from LogicDuke/repair/pr67-typecheck-ts2352
LogicDuke Sep 2, 2026
631ef66
fix(cockpit): preserve receiver-call authority
LogicDuke Sep 2, 2026
a0d8193
Merge pull request #69 from LogicDuke/repair/pr67-receiver-call-autho…
LogicDuke Sep 2, 2026
b9c4236
fix(cockpit): bound receiver authority evaluation
LogicDuke Sep 2, 2026
5a0c2b8
fix(cockpit): enforce loopback server policy
LogicDuke Sep 3, 2026
15f83e8
fix(cockpit): close open Codex findings on network policy
LogicDuke Sep 3, 2026
5dbc978
fix(cockpit): bound host module graph and implicit-receiver callbacks
LogicDuke Sep 3, 2026
5caa57b
fix(cockpit): deny global-member writes and track instantiating facto…
LogicDuke Sep 3, 2026
df7007d
fix(cockpit): positive process-global policy and platform-aware host …
LogicDuke Sep 3, 2026
dcd0a83
fix(cockpit): resolve host imports with URL semantics
LogicDuke Sep 3, 2026
2dcee19
fix(cockpit): never invoke a member through a global receiver
LogicDuke Sep 3, 2026
ac5bcf9
docs(cockpit): describe memberCallOf as the denied invocation
LogicDuke Sep 3, 2026
ccff21f
fix(cockpit): stop trusting an ambient String(...) call as a proven s…
LogicDuke Sep 3, 2026
5e6d996
fix(cockpit): analyze the host's executable import closure, not its d…
LogicDuke Sep 3, 2026
5c38f8e
fix: enforce executable-safety guards over the whole host closure
LogicDuke Sep 3, 2026
e198528
fix: respect explicit exports when propagating star-export facts
LogicDuke Sep 3, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading