You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Track unfinished embedded AffineScript compiler, runtime, tooling and provenance #84
The central estate audit reports untracked implementation debt in the embedded affinescript/ tree. This issue tracks that debt without representing it as implemented or verified.
Acceptance: establish the provenance and intended dependency boundary of this embedded copy; implement or remove each unsupported public capability with appropriate tests, and reconcile it with the canonical AffineScript repository. Preserve the distinction between these components and the independently tested Rust burrower-core / ECHIDNA Isabelle integration. Do not claim that tracking the debt completes the implementations.
Activity
fix(proof): preserve complete goals and require live Isabelle controls (
docs(plans): ultraplan and cross-repo hand-offs (plan only) (#106)