| | .beads | | |
| | .claude | | |
| | .github | | |
| | artifacts | | |
| | assets | | |
| | asupersync-browser-core | | |
| | asupersync-macros | | |
| | asupersync-tokio-compat | | |
| | asupersync-wasm | | |
| | baselines | | |
| | benches | | |
| | conformance | | |
| | docs | | |
| | drop_unwrap_finder | | |
| | examples | | |
| | formal | | |
| | franken_decision | | |
| | franken_evidence | | |
| | franken_kernel | | |
| | frankenlab | | |
| | fuzz | | |
| | packages | | |
| | packaging | | |
| | refactor | | |
| | schemas | | |
| | scripts | | |
| | skills | | |
| | src | | |
| | tests | | |
| | tools | | |
| | .gitattributes | | 70 B |
| | .gitignore | | 11.7 KB |
| | .nojekyll | | |
| | .npmrc | | 60 B |
| | .rchignore | | 274 B |
| | .stub-allowlist.txt | | 1.6 KB |
| | .type_fork_baseline.json | | 636 B |
| | AGENTS.md | | 49.6 KB |
| | asupersync_diagram.webp | | 322.4 KB |
| | asupersync_illustration.webp | | 202.6 KB |
| | asupersync_plan_v4.md | | 48.2 KB |
| | asupersync_v4_formal_semantics.md | | 50.6 KB |
| | asupersync_web_demo.html | | 230.2 KB |
| | ATP_DOD_CHECKLIST.md | | 6.6 KB |
| | audit_index.jsonl | | 1.1 MB |
| | Cargo.toml | | 20.9 KB |
| | CHANGELOG.md | | 128.3 KB |
| | gh_og_share_image.png | | 322.6 KB |
| | LICENSE | | 3.8 KB |
| | Makefile | | 2.1 KB |
| | package.json | | 1.1 KB |
| | pnpm-workspace.yaml | | 27 B |
| | README.md | | 122.5 KB |
| | rust-toolchain.toml | | 67 B |
| | TESTING.md | | 58.0 KB |
| | tsconfig.base.json | | 437 B |
