Created shell - #2

Open

sidd-gadgil wants to merge 18 commits into

EmergenceAI:mainfrom

sidd-gadgil:main

Commits on May 18, 2026

Created shell
sidd-gadgil
committed
3f08228
manifest created
sidd-gadgil
committed
0e6a9fd

Commits on Jun 24, 2026

updated toolchain
sidd-gadgil
committed
a4b3bfb

Commits on Jul 16, 2026

Implement v1 ShellWall: execution model, policy, safety spec, and checkSafe decider

rithwik
and
claude
committed
941936a
decider fixed + checksafe_sound proved

rithwik
and
claude
committed
19ac416

Commits on Jul 17, 2026

Migrate Path to System.FilePath

rithwik
and
claude
committed
269b4a3

Commits on Jul 21, 2026

Docstrings, dead-code sweep, comment-accuracy pass

rithwik
and
claude
committed
8867ac7

Commits on Jul 22, 2026

gate filled; build-time checkSafe battery; fidelity harness (real bash)

rithwik
and
claude
committed
8dcb730
Prompt 13: mechanically refute shellwall_noninterference (implicit exit-code flow)

rithwik
and
claude
committed
1b74d99
Prompt 14: close the implicit-flow leak with a public-guard requirement

rithwik
and
claude
committed
6ac66aa
Prompt 15 finding: shellwall_noninterference is STILL false (per-state IsPublic)

rithwik
and
claude
committed
a1fd021
Prompt 16: make write_public_ok provenance-based (close the per-state IsPublic leak)

rithwik
and
claude
committed
6badf9b
Add bash→Pipeline parser; untrack investigation/scratch test files

rithwik
and
claude
committed
570e9ee

Commits on Jul 28, 2026

Prompt 21: close the guard-stdin implicit-flow hole (fourth leak)

rithwik
and
claude
committed
3f62a46
Prove shellwall_noninterference (capstone): 0 sorry, axiom-clean

rithwik
and
claude
committed
c56497b
Prompt 22: delete dead value-based IsPublic predicate

rithwik
and
claude
committed
b656dba

Commits on Jul 29, 2026

Prompt 23: trusted-kernel refactor — inductive public-provenance + bridge

rithwik
and
claude
committed
1354d0b
Cleanup: comment sweep — strip development-process references

rithwik
and
claude
committed
04ca1be