CloneGate work: Idris models and native launchers, WAT holographic frontend, and browser demo. The Idris entry point checks the supplied key/challenge against its fixed fingerprint before executing the guarded body.
Rows—
Configurations—
Size113.2 MB
Licenseother
AccessAccess requested at publisher
Monthly Downloads309
Dataset Card
CloneGate work: Idris models and native launchers, WAT holographic frontend, and browser demo. The Idris entry point checks the supplied key/challenge against its fixed fingerprint before executing the guarded body. The Hugging Face dataset requires manual access approval; unauthenticated file downloads are denied. The browser visualizes that check using public demo inputs and the supplied toy transformation. Current product entry point: 29-product source suite, production staging and architecture, current inventory and 83-commit mapping, and release readiness evidence. Start with Build Your Own Bank. The main license is the Sovereign Leviathan mutated AGPLv3 covenant, preserving component…
Excerpt from the card by Snapkitty Collective LLC, licensed other.
Details
- Repository
- Snapkitty/devflow-finance-twin
- Publisher
- Snapkitty Collective LLC
- Task category
- Not stated by the source
- Tags
- Not stated by the source
- Size category
- Not stated by the source
- Languages
- Not stated by the source
- Revision
- 9660eebecc0fe9f5718ce1144cbdec864965d4a3
- Last updated
- 2026-10-13
Files
1,657 files, 113.2 MB in total.
Data49 files · 1.4 MB
Tokenizer1 file · 636 B
Documentation455 files · 4.4 MB
Other1145 files · 107.5 MB
Repository7 files · 6.4 KB
Every file
| File | Type | Size | SHA-256 |
|---|---|---|---|
| .continuity/audit-cache.json | Data | 6.4 KB | — |
| .continuity/code-links.json | Data | 1.3 KB | — |
| .continuity/decisions.json | Data | 58.5 KB | — |
| .continuity/decisions.jsonl | Data | 47.3 KB | — |
| .continuity/drift-snapshot.json | Data | 130 B | — |
| apple6502x86/MANIFEST.txt | Data | 7.2 KB | — |
| benchmarks/rsi_lua/results/latest.json | Data | 51.5 KB | — |
| benchmarks/rsi_lua/results/lua-examples.txt | Data | 8.4 KB | — |
| benchmarks/rsi_lua/results/lua-test-results.jsonl | Data | 3.3 KB | — |
| benchmarks/rsi_lua/results/lua-test-stderr.txt | Data | — | |
| benchmarks/rsi_lua/results/pre-repair.json | Data | 51.5 KB | — |
| benchmarks/rsi_lua/results/rsi-pre-repair-tests.txt | Data | 1.7 KB | — |
| benchmarks/rsi_lua/results/rsi-test-results.txt | Data | 761 B | — |
| config/config.json | Data | 15 B | — |
| data/hardware/dds_register_map.csv | Data | 741 B | — |
| data/hardware/pulse_table.csv | Data | 1.2 KB | — |
| docs/PHASE5_FINAL_VERIFICATION_REPORT.txt | Data | 11.9 KB | — |
| docs/PHASE_2_VERIFICATION_REPORT.txt | Data | 11.0 KB | — |
| docs/PHASE_5_VALIDATION_CHECKLIST.json | Data | 13.2 KB | — |
| docs/PUBLISH_MANIFEST.json | Data | 5.0 KB | — |
| docs/VALIDATION_CHECKLIST_TEMPLATE.json | Data | 14.8 KB | — |
| docs/VERIFICATION_STATUS.txt | Data | 14.3 KB | — |
| docs/audits/assembly_correspondence.txt | Data | 1.6 KB | — |
| docs/audits/organization-verification.json | Data | 1.9 KB | — |
| docs/audits/rsi-relocations.json | Data | 1.9 KB | — |
| docs/audits/verification_report.txt | Data | 2.0 KB | — |
| docs/reports/CONTROL_IMPLEMENTATION_SUMMARY.txt | Data | 4.0 KB | — |
| docs/reports/CONTROL_PACKAGE_READY.txt | Data | 4.1 KB | — |
| docs/reports/IMPLEMENTATION_CHECKLIST.txt | Data | 6.8 KB | — |
| docs/reports/INTEGRATION_ACCEPTANCE_DELIVERY.txt | Data | 5.7 KB | — |
| docs/reports/PARSER_MODULE_SUMMARY.txt | Data | 6.5 KB | — |
| docs/reports/PHASE1_COMPLETION_REPORT.txt | Data | 17.3 KB | — |
| docs/reports/PHASE_2_MANIFEST.txt | Data | 15.3 KB | — |
| docs/repository-governance/SOURCE_INVENTORY.json | Data | 320.3 KB | — |
| docs/repository-governance/benchmark-results.json | Data | 3.1 KB | — |
| docs/validation_checklist.txt | Data | 20.8 KB | — |
| products/catalog.json | Data | 22.2 KB | — |
| products/reports/artifacts.json | Data | 6.7 KB | — |
| products/reports/bank-commercial-build.json | Data | 899 B | — |
| products/reports/checks.json | Data | 5.2 KB | — |
| products/reports/commit-review.json | Data | 183.8 KB | — |
| products/reports/production-staging.json | Data | 761 B | — |
| products/reports/source-inventory.json | Data | 369.7 KB | — |
| requirements.txt | Data | 164 B | — |
| sovereign/glm/manifest.json | Data | 2.0 KB | — |
| sovereign/ledger/MANIFEST.txt | Data | 8.9 KB | — |
| telegram-bot-sdk/node/package.json | Data | 1.0 KB | — |
| vsm2500/hopper_gemm_kernel_spec.txt | Data | 8.5 KB | — |
| vsm2500/vsm2500_specification.txt | Data | 20.7 KB | — |
| .continuity/audit-cache.json.license | Documentation | 422 B | — |
| .continuity/code-links.json.license | Documentation | 421 B | — |
| .continuity/decisions.json.license | Documentation | 420 B | — |
| .continuity/decisions.jsonl.license | Documentation | 421 B | — |
| .continuity/drift-snapshot.json.license | Documentation | 425 B | — |
| .continuity/mcp-server.log.license | Documentation | 420 B | — |
| .github/workflows/license-notices.yml | Documentation | 415 B | — |
| CHANGELOG.md | Documentation | 3.2 KB | — |
| LICENSE-AGPL-3.0 | Documentation | 420 B | — |
| LICENSE-FSL-1.1 | Documentation | 420 B | — |
| LICENSES/LicenseRef-DevFlow-Existing-Terms.txt | Documentation | 920 B | — |
| LICENSES/LicenseRef-SnapKitty-Opaque-Source.txt | Documentation | 20.0 KB | — |
| LICENSES/LicenseRef-Sovereign-Leviathan-SL-AGPL3-001.txt | Documentation | 17.0 KB | — |
| LICENSE_POLICY.md | Documentation | 1.5 KB | — |
| README.md | Documentation | 106.5 KB | — |
| REPOSITORY_GUIDE.md | Documentation | 1.4 KB | — |
| ROADMAP.md | Documentation | 7.4 KB | — |
| SECURITY.md | Documentation | 2.7 KB | — |
| apple-design-parser/README.md | Documentation | 78 B | — |
| apple-design-parser/README.md.license | Documentation | 423 B | — |
| apple-metal-inference/Sources/Host/int4_host_runtime.mm.license | Documentation | 448 B | — |
| apple6502x86/MANIFEST.txt.license | Documentation | 418 B | — |
| apple6502x86/PHASE1_DIAGNOSTICS_INTEGRATION.md | Documentation | 13.4 KB | — |
| asp/parser/DELIVERY.md | Documentation | 5.5 KB | — |
| asp/parser/IMPLEMENTATION.md | Documentation | 7.2 KB | — |
| asp/parser/README.md | Documentation | 6.2 KB | — |
| asp/semantics/README.md | Documentation | 9.8 KB | — |
| assembly-120-strict-model/.gitkeep.license | Documentation | 427 B | — |
| assets/sovharmony.gif.license | Documentation | 414 B | — |
| benchmarks/rsi_lua/README.md | Documentation | 3.3 KB | — |
| benchmarks/rsi_lua/results/PRE_REPAIR.md | Documentation | 3.6 KB | — |
| benchmarks/rsi_lua/results/SUMMARY.md | Documentation | 3.6 KB | — |
| benchmarks/rsi_lua/results/latest.json.license | Documentation | 431 B | — |
| benchmarks/rsi_lua/results/lua-examples.txt.license | Documentation | 436 B | — |
| benchmarks/rsi_lua/results/lua-test-results.jsonl.license | Documentation | 442 B | — |
| benchmarks/rsi_lua/results/lua-test-stderr.txt.license | Documentation | 439 B | — |
| benchmarks/rsi_lua/results/pre-repair.json.license | Documentation | 435 B | — |
| benchmarks/rsi_lua/results/rsi-pre-repair-tests.txt.license | Documentation | 444 B | — |
| benchmarks/rsi_lua/results/rsi-test-results.txt.license | Documentation | 440 B | — |
| boyer-moore-unix/README.md | Documentation | 9.1 KB | — |
| boyer-moore-unix/proof/BOYER_MOORE_FORMAL_PROOF.md | Documentation | 7.1 KB | — |
| boyer-moore-unix/proof/DESK_CHECK_EXAMPLE.md | Documentation | 5.4 KB | — |
| cbmc/README.md | Documentation | 2.3 KB | — |
| classifier/IMPLEMENTATION_SUMMARY.md | Documentation | 11.9 KB | — |
| classifier/README.md | Documentation | 10.8 KB | — |
| config/config.json.license | Documentation | 411 B | — |
| constraint-harness/README.md | Documentation | 2.5 KB | — |
| data/hardware/dds_register_map.csv.license | Documentation | 427 B | — |
| data/hardware/pulse_table.csv.license | Documentation | 422 B | — |
| docs/3D_ANATOMICAL_GRAPH_SPECIFICATION.md | Documentation | 30.4 KB | — |
| docs/ABOUT.md | Documentation | 1.4 KB | — |
| docs/ACHRTRN_OPERATOR_RUNBOOK.md | Documentation | 6.2 KB | — |
| docs/AGENT5_DELIVERY_SUMMARY.md | Documentation | 6.7 KB | — |
| docs/API.md | Documentation | 13.6 KB | — |
| docs/ARCHITECTURE_DEEP.md | Documentation | 57.1 KB | — |
| docs/ASP_ARCHITECTURE.md | Documentation | 44.6 KB | — |
| docs/AUDIT.md | Documentation | 11.3 KB | — |
| docs/AUDIT_PROTOCOL.md | Documentation | 12.6 KB | — |
| docs/AUDIT_REPORT.md | Documentation | 27.1 KB | — |
| docs/AppleDesignParser_Guide.md | Documentation | 2.7 KB | — |
| docs/BINARY_LAYER_SYNTHESIS.md | Documentation | 15.6 KB | — |
| docs/CONTRIBUTING.md | Documentation | 5.2 KB | — |
| docs/DATA_FLOW.md | Documentation | 54.8 KB | — |
| docs/DICTIONARY_OUTLINE.md | Documentation | 28.8 KB | — |
| docs/DREAM_RSI_RECONSTRUCTION.md | Documentation | 2.9 KB | — |
| docs/DYLAN_EXECUTION_MODEL.md | Documentation | 37.3 KB | — |
| docs/EMBEDDING_DEFENSE_PROTOCOL.md | Documentation | 3.8 KB | — |
| docs/EXAMPLES.md | Documentation | 12.6 KB | — |
| docs/FIBONACCI_BRAID_LEDGER.md | Documentation | 7.5 KB | — |
| docs/FILE_REFERENCE_asp.md | Documentation | 39.1 KB | — |
| docs/FILE_REFERENCE_cobalt_compiler.md | Documentation | 29.8 KB | — |
| docs/FILE_REFERENCE_constraint_harness.md | Documentation | 26.4 KB | — |
| docs/FILE_REFERENCE_dream_rsi.md | Documentation | 42.0 KB | — |
| docs/FILE_REFERENCE_finance.md | Documentation | 41.2 KB | — |
| docs/FILE_REFERENCE_formal.md | Documentation | 41.6 KB | — |
| docs/FILE_REFERENCE_haskell.md | Documentation | 113.8 KB | — |
| docs/FILE_REFERENCE_metal.md | Documentation | 200.9 KB | — |
| docs/FILE_REFERENCE_remaining.md | Documentation | 101.0 KB | — |
| docs/FILE_REFERENCE_semiconductor.md | Documentation | 44.3 KB | — |
| docs/FILE_REFERENCE_sovereign.md | Documentation | 33.1 KB | — |
| docs/FILE_REFERENCE_src.md | Documentation | 73.8 KB | — |
| docs/FILE_REFERENCE_vsm2500.md | Documentation | 36.3 KB | — |
| docs/FILE_REFERENCE_wasm.md | Documentation | 32.6 KB | — |
| docs/FLOWCHARTS.md | Documentation | 54.2 KB | — |
| docs/FORMAL_ALGEBRA.md | Documentation | 4.4 KB | — |
| docs/IDENTITY_PRESERVATION_AUDIT.md | Documentation | 23.4 KB | — |
| docs/INSTITUTIONAL_README.md | Documentation | 55.3 KB | — |
| docs/INVERTED_MONOREPO.md | Documentation | 8.2 KB | — |
| docs/LEDGER.md | Documentation | 1.6 KB | — |
| docs/LIBRARY_INDEX.md | Documentation | 15.7 KB | — |
| docs/MATHEMATICAL_MODEL.md | Documentation | 8.7 KB | — |
| docs/MATH_DICTIONARY.md | Documentation | 7.4 KB | — |
| docs/NEURON_EXECUTION_TEMPLATE.md | Documentation | 22.6 KB | — |
| docs/PHASE3_DYLAN_SUMMARY.md | Documentation | 13.8 KB | — |
| docs/PHASE5_FINAL_VERIFICATION_REPORT.txt.license | Documentation | 434 B | — |
| docs/PHASE_2_COMPLETION_REPORT.md | Documentation | 13.6 KB | — |
| docs/PHASE_2_VERIFICATION_REPORT.txt.license | Documentation | 429 B | — |
| docs/PHASE_4_BIOLOGICAL_VALIDATION_FRAMEWORK.md | Documentation | 72.1 KB | — |
| docs/PHASE_4_DESIGN_COMPLETE.md | Documentation | 16.3 KB | — |
| docs/PHASE_5_AUDIT_PROTOCOLS.md | Documentation | 26.2 KB | — |
| docs/PHASE_5_BEHAVIORAL_VALIDATION_FRAMEWORK.md | Documentation | 75.1 KB | — |
| docs/PHASE_5_DATA_STRUCTURES.md | Documentation | 24.3 KB | — |
| docs/PHASE_5_EXECUTION_MODEL.md | Documentation | 53.7 KB | — |
| docs/PHASE_5_EXECUTIVE_SUMMARY.md | Documentation | 15.0 KB | — |
| docs/PHASE_5_FORMAL_VERIFICATION_SPECIFICATION.md | Documentation | 67.5 KB | — |
| docs/PHASE_5_IMPLEMENTATION_GUIDE.md | Documentation | 21.7 KB | — |
| docs/PHASE_5_INDEX.md | Documentation | 14.6 KB | — |
| docs/PHASE_5_MASTER_INDEX.md | Documentation | 16.3 KB | — |
| docs/PHASE_5_SCALABLE_NEURON_MODEL.md | Documentation | 48.3 KB | — |
| docs/PHASE_5_SUMMARY.md | Documentation | 10.3 KB | — |
| docs/PHASE_5_VALIDATION_CHECKLIST.json.license | Documentation | 431 B | — |
| docs/PHASE_6_ARTIFACT_SCHEMAS.md | Documentation | 20.5 KB | — |
| docs/PHASE_6_ATTACK_EXECUTION_PROTOCOLS.md | Documentation | 47.1 KB | — |
| docs/PHASE_6_BIDIRECTIONAL_MAPPING_SPEC.md | Documentation | 30.4 KB | — |
| docs/PHASE_6_FORMAL_VERIFICATION_FRAMEWORK.md | Documentation | 67.2 KB | — |
| docs/PHASE_6_GPU_ARCHITECTURE_SPEC.md | Documentation | 22.1 KB | — |
| docs/PHASE_6_GPU_GRAPH_TRANSFORMATION.md | Documentation | 38.1 KB | — |
| docs/PHASE_6_GPU_VALIDATION_FRAMEWORK.md | Documentation | 76.0 KB | — |
| docs/PHASE_6_GPU_WORM_SPECIFICATION.md | Documentation | 49.1 KB | — |
| docs/PHASE_6_INTEGRATION_GUIDE.md | Documentation | 19.5 KB | — |
| docs/PHASE_6_PROOF_OF_CORRECTNESS.md | Documentation | 22.6 KB | — |
| docs/PHASE_7_EXECUTIVE_SUMMARY.md | Documentation | 4.6 KB | — |
| docs/PHASE_7_GPU_COMPUTE_KERNELS.md | Documentation | 26.8 KB | — |
| docs/PHASE_7_INDEX.md | Documentation | 4.5 KB | — |
| docs/PHASE_7_INTERACTIVE_VISUALIZATION.md | Documentation | 29.9 KB | — |
| docs/PHASE_7_PROJECTION_ENGINE_SPECIFICATION.md | Documentation | 25.7 KB | — |
| docs/PHASE_7_TECHNICAL_SUMMARY.md | Documentation | 15.5 KB | — |
| docs/PHASE_7_VISUALIZATION_FORMAL_VERIFICATION.md | Documentation | 27.2 KB | — |
| docs/PHASE_7_VISUALIZATION_WORM_PROVENANCE.md | Documentation | 46.2 KB | — |
| docs/PHASE_7_VISUAL_EVIDENCE_VALIDATION.md | Documentation | 83.8 KB | — |
| docs/PRIMITIVES.md | Documentation | 8.3 KB | — |
| docs/PRODUCTION_HARDENING.md | Documentation | 8.6 KB | — |
| docs/PUBLISH_MANIFEST.json.license | Documentation | 419 B | — |
| docs/PUBLISH_REPORT.md | Documentation | 1.7 KB | — |
| docs/README.md | Documentation | 798 B | — |
| docs/README_API.md | Documentation | 5.8 KB | — |
| docs/REPOSITORY_FINANCIAL_COMPLIANCE_EXAMINATION.md | Documentation | 10.7 KB | — |
| docs/REPOSITORY_ORGANIZATION_MANIFEST.md | Documentation | 4.1 KB | — |
| docs/SOVEREIGN_AI_EVALUATION_ENGINE.md | Documentation | 51.7 KB | — |
| docs/SOVEREIGN_EVALUATION_ENGINE_SPEC.md | Documentation | 38.3 KB | — |
| docs/SOVEREIGN_LEVIATHAN_COVENANT.md | Documentation | 17.1 KB | — |
| docs/STATE_MACHINES.md | Documentation | 44.6 KB | — |
| docs/STATE_MACHINE_IMPLEMENTATION.md | Documentation | 15.3 KB | — |
| docs/STATE_MACHINE_README.md | Documentation | 5.5 KB | — |
| docs/STRAY_FILE_AUDIT.md | Documentation | 9.6 KB | — |
| docs/STRICT_ISOLATION_TRANSFORMER_BUILD_PROTOCOL.md | Documentation | 12.6 KB | — |
| docs/Sovereign_Harmony.pdf.license | Documentation | 419 B | — |
| docs/TECHNICAL_OVERVIEW.md | Documentation | 10.2 KB | — |
| docs/USER.md | Documentation | 2.8 KB | — |
| docs/VALIDATION_CHECKLIST_TEMPLATE.json.license | Documentation | 432 B | — |
| docs/VALIDATION_FRAMEWORK_SUMMARY.md | Documentation | 8.9 KB | — |
| docs/VERIFICATION.md | Documentation | 11.5 KB | — |
| docs/VERIFICATION_STATUS.txt.license | Documentation | 421 B | — |
| docs/architecture.md | Documentation | 328 B | — |
| docs/assets/demo-part1.mp4.license | Documentation | 419 B | — |
| docs/assets/demo-part2.mp4.license | Documentation | 419 B | — |
| docs/assets/demo-part3.mp4.license | Documentation | 419 B | — |
| docs/assets/demo-part4.mp4.license | Documentation | 419 B | — |
| docs/assets/demo-part5.mp4.license | Documentation | 419 B | — |
| docs/assets/demo-part7.mp4.license | Documentation | 419 B | — |
| docs/assets/demo-part8.mp4.license | Documentation | 419 B | — |
| docs/assets/hero-01.mp4.license | Documentation | 416 B | — |
| docs/assets/hero-02.jpg.license | Documentation | 416 B | — |
| docs/assets/hero-03.jpg.license | Documentation | 416 B | — |
| docs/assets/hero-04.png.license | Documentation | 416 B | — |
| docs/assets/hero-05.gif.license | Documentation | 416 B | — |
| docs/audits/RSI_LUA_AUDIT.md | Documentation | 11.1 KB | — |
| docs/audits/RSI_LUA_REPAIRS.md | Documentation | 6.4 KB | — |
| docs/audits/assembly_correspondence.txt.license | Documentation | 432 B | — |
| docs/audits/organization-verification.json.license | Documentation | 435 B | — |
| docs/audits/rsi-relocations.json.license | Documentation | 425 B | — |
| docs/audits/verification_report.txt.license | Documentation | 428 B | — |
| docs/binary_layer_interface.md | Documentation | 10.3 KB | — |
| docs/coherent_maxwell_demon.md | Documentation | 7.4 KB | — |
| docs/demon_hole_quantum_circuit.md | Documentation | 5.5 KB | — |
| docs/docs_ARCHITECTURE.md | Documentation | 13.3 KB | — |
| docs/docs_README.md | Documentation | 10.0 KB | — |
| docs/funnel-grammar.v01.md | Documentation | 2.2 KB | — |
| docs/funnel-ir.md | Documentation | 792 B | — |
| docs/reports/CONTROL_IMPLEMENTATION_SUMMARY.txt.license | Documentation | 440 B | — |
| docs/reports/CONTROL_PACKAGE_READY.txt.license | Documentation | 431 B | — |
| docs/reports/IMPLEMENTATION_CHECKLIST.txt.license | Documentation | 434 B | — |
| docs/reports/INTEGRATION_ACCEPTANCE_DELIVERY.txt.license | Documentation | 441 B | — |
| docs/reports/PARSER_MODULE_SUMMARY.txt.license | Documentation | 431 B | — |
| docs/reports/PHASE1_COMPLETION_REPORT.txt.license | Documentation | 434 B | — |
| docs/reports/PHASE_2_MANIFEST.txt.license | Documentation | 426 B | — |
| docs/repository-governance/BASELINE_RESULTS.md | Documentation | 4.7 KB | — |
| docs/repository-governance/BENCHMARK_PROTOCOL.md | Documentation | 6.2 KB | — |
| docs/repository-governance/HUGGING_FACE_PUBLICATION.md | Documentation | 3.7 KB | — |
| docs/repository-governance/LICENSE_GOVERNANCE.md | Documentation | 4.6 KB | — |
| docs/repository-governance/NOVELTY_CLAIMS.md | Documentation | 4.9 KB | — |
| docs/repository-governance/PRESERVATION_REPORT.md | Documentation | 1.6 KB | — |
| docs/repository-governance/PRIOR_ART.md | Documentation | 3.5 KB | — |
| docs/repository-governance/README.md | Documentation | 2.4 KB | — |
| docs/repository-governance/REPOSITORY_ATLAS.md | Documentation | 5.9 KB | — |
| docs/repository-governance/SCRUM_CHARTER.md | Documentation | 4.1 KB | — |
| docs/repository-governance/SOURCE_INVENTORY.json.license | Documentation | 441 B | — |
| docs/repository-governance/benchmark-results.json.license | Documentation | 442 B | — |
| docs/repository-governance/finance-unittest-evidence.md | Documentation | 14.5 KB | — |
| docs/repository-governance/quantum-extended-evidence.md | Documentation | 1.3 KB | — |
| docs/repository-governance/quantum-full-evidence.md | Documentation | 1.3 KB | — |
| docs/repository-governance/quantum-simulator-evidence.md | Documentation | 1.2 KB | — |
| docs/validation_checklist.txt.license | Documentation | 422 B | — |
| dream_rsi/README.md | Documentation | 6.4 KB | — |
| examples/ach_return.fnl.license | Documentation | 416 B | — |
| examples/ledger_post.fnl.license | Documentation | 417 B | — |
| finance/MANIFEST.md | Documentation | 3.2 KB | — |
| formal/array-temporal/lean-toolchain.license | Documentation | 429 B | — |
| formal/clone-gate/README.md | Documentation | 5.8 KB | — |
| formal/formal-engine/README.md | Documentation | 4.7 KB | — |
| formal/linear-algebra/README.md | Documentation | 1.3 KB | — |
| formal/linear-algebra/THEOREM_INDEX.md | Documentation | — | |
| formal/linear-algebra/THEOREM_INDEX.md.license | Documentation | 431 B | — |
| formal/token-verification/ASSUMPTIONS.md | Documentation | — | |
| formal/token-verification/ASSUMPTIONS.md.license | Documentation | 433 B | — |
| formal/token-verification/COUNTEREXAMPLES.md | Documentation | — | |
| formal/token-verification/COUNTEREXAMPLES.md.license | Documentation | 437 B | — |
| formal/token-verification/README.md | Documentation | — | |
| formal/token-verification/README.md.license | Documentation | 428 B | — |
| formal/token-verification/SPECIFICATION.md | Documentation | — | |
| formal/token-verification/SPECIFICATION.md.license | Documentation | 435 B | — |
| formal/token-verification/THEOREM_INDEX.md | Documentation | — | |
| formal/token-verification/THEOREM_INDEX.md.license | Documentation | 435 B | — |
| formal/token-verification/reports/failed_claims.md | Documentation | — | |
| formal/token-verification/reports/failed_claims.md.license | Documentation | 443 B | — |
| formal/token-verification/reports/original_thesis_status.md | Documentation | — | |
| formal/token-verification/reports/original_thesis_status.md.license | Documentation | 452 B | — |
| formal/token-verification/reports/recursive_counterproof.md | Documentation | — | |
| formal/token-verification/reports/recursive_counterproof.md.license | Documentation | 452 B | — |
| formal/token-verification/reports/self_critique.md | Documentation | — | |
| formal/token-verification/reports/self_critique.md.license | Documentation | 443 B | — |
| formal/token-verification/reports/verification_matrix.md | Documentation | — | |
| formal/token-verification/reports/verification_matrix.md.license | Documentation | 449 B | — |
| formal/token-verification/reports/verification_matrix_final.md | Documentation | — | |
| formal/token-verification/reports/verification_matrix_final.md.license | Documentation | 455 B | — |
| formal/token-verification/reports/verification_report.md | Documentation | — | |
| formal/token-verification/reports/verification_report.md.license | Documentation | 449 B | — |
| formal/verification-paper/main.pdf.license | Documentation | 427 B | — |
| frontend/shadow-header/README.md | Documentation | 1.4 KB | — |
| frontend/shadow-header/hologram.wasm.license | Documentation | 175 B | — |
| he-binary-functor/HE-BINARY-FUNCTOR-SPEC-001.md | Documentation | 16.6 KB | — |
| he-binary-functor/README.md | Documentation | 8.8 KB | — |
| he-binary-functor/apl/README.md | Documentation | 2.8 KB | — |
| he-binary-functor/apl/docs/INFUSION_BRAID.md | Documentation | 3.3 KB | — |
| he-binary-functor/apl/docs/METATRON_PIPELINE.md | Documentation | 5.6 KB | — |
| he-binary-functor/beam/README.md | Documentation | 712 B | — |
| he-binary-functor/block-lace/README.md | Documentation | 1.7 KB | — |
| he-binary-functor/bqn/README.md | Documentation | 757 B | — |
| he-binary-functor/c-core/README.md | Documentation | 701 B | — |
| he-binary-functor/crypto/EVOLUTIONARY_CONVERGENCE_4.md | Documentation | 2.2 KB | — |
| he-binary-functor/crypto/IAMAC.md | Documentation | 5.6 KB | — |
| he-binary-functor/crypto/MALLEABILITY_ENGINE.md | Documentation | 2.2 KB | — |
| he-binary-functor/crypto/README.md | Documentation | 3.1 KB | — |
| he-binary-functor/crypto/RSL_ARCHITECTURE.md | Documentation | 7.5 KB | — |
| he-binary-functor/crypto/TRIGONOMETRIC_QTM.md | Documentation | 3.4 KB | — |
| he-binary-functor/crypto/YANG_BAXTER_TAYLOR_VAULT.md | Documentation | 4.7 KB | — |
| he-binary-functor/fibonacci-braid-ledger/FBL_RESEARCH_PAPER.md | Documentation | 21.6 KB | — |
| he-binary-functor/fibonacci-braid-ledger/README.md | Documentation | 2.1 KB | — |
| he-binary-functor/fibonacci-braid-ledger/test_fixtures/corrupted_seal.bten.license | Documentation | 467 B | — |
| he-binary-functor/fibonacci-braid-ledger/test_fixtures/inconsistent_bytecount.bten.license | Documentation | 475 B | — |
| he-binary-functor/fibonacci-braid-ledger/test_fixtures/invalid_rank.bten.license | Documentation | 465 B | — |
| he-binary-functor/fibonacci-braid-ledger/test_fixtures/misalignment.bten.license | Documentation | 465 B | — |
| he-binary-functor/fibonacci-braid-ledger/test_fixtures/offset_overflow.bten.license | Documentation | 468 B | — |
| he-binary-functor/fibonacci-braid-ledger/test_fixtures/payload_truncation.bten.license | Documentation | 471 B | — |
| he-binary-functor/gfnand/README.md | Documentation | 2.2 KB | — |
| he-binary-functor/haskell/README.md | Documentation | 934 B | — |
| he-binary-functor/k/README.md | Documentation | 785 B | — |
| he-binary-functor/k/sovereign_tensor.k.license | Documentation | 431 B | — |
| he-binary-functor/kernel/README.md | Documentation | 1.1 KB | — |
| he-binary-functor/lean4/README.md | Documentation | 656 B | — |
| he-binary-functor/nand-architecture/NAND_SPEC.md | Documentation | 8.7 KB | — |
| he-binary-functor/nand-architecture/README.md | Documentation | 2.6 KB | — |
| he-binary-functor/nand-architecture/array/SEMANTICS.md | Documentation | 1.8 KB | — |
| he-binary-functor/nand-architecture/bootstrap/CHAIN.md | Documentation | 2.0 KB | — |
| he-binary-functor/nand-architecture/bootstrap/SELF_REFINING.md | Documentation | 2.7 KB | — |
| he-binary-functor/nand-architecture/nand-binary/FORMAT.md | Documentation | 1.6 KB | — |
| he-binary-functor/nand-architecture/nand-isa/SPEC.md | Documentation | 3.2 KB | — |
| he-binary-functor/nand-architecture/nandsharp/GRAMMAR.md | Documentation | 2.3 KB | — |
| he-binary-functor/nand-architecture/omega/MODEL.md | Documentation | 1.7 KB | — |
| he-binary-functor/nand-architecture/refinement/NAND_REFINEMENTS.md | Documentation | 1.6 KB | — |
| he-binary-functor/nand-architecture/refinement/REFINEMENT.md | Documentation | 8.0 KB | — |
| he-binary-functor/qrisp/manifold_greedy.qrisp.license | Documentation | 438 B | — |
| he-binary-functor/qsharp/manifold_greedy.qs.license | Documentation | 436 B | — |
| he-binary-functor/rate-limiter/README.md | Documentation | 922 B | — |
| he-binary-functor/rust/README.md | Documentation | 805 B | — |
| he-binary-functor/sgl/README.md | Documentation | 735 B | — |
| he-binary-functor/tensor-parser/CRYPTOGRAPHIC_INVERTIBILITY.md | Documentation | 5.0 KB | — |
| he-binary-functor/tensor-parser/README.md | Documentation | 3.1 KB | — |
| he-binary-functor/tensor-parser/test_fixtures/empty_model.bten.license | Documentation | 455 B | — |
| he-binary-functor/tensor-parser/test_fixtures/invalid_dtype.bten.license | Documentation | 457 B | — |
| he-binary-functor/tensor-parser/test_fixtures/malformed_magic.bten.license | Documentation | 459 B | — |
| he-binary-functor/tensor-parser/test_fixtures/malformed_magic_dup.bten.license | Documentation | 463 B | — |
| he-binary-functor/tensor-parser/test_fixtures/max_rank.bten.license | Documentation | 452 B | — |
| he-binary-functor/tensor-parser/test_fixtures/max_tensor_count.bten.license | Documentation | 460 B | — |
| he-binary-functor/tensor-parser/test_fixtures/truncated_descriptor.bten.license | Documentation | 464 B | — |
| he-binary-functor/tensor-parser/test_fixtures/truncated_descriptor_dup.bten.license | Documentation | 468 B | — |
| he-binary-functor/tensor-parser/test_fixtures/valid_2tensors.bten.license | Documentation | 458 B | — |
| he-binary-functor/tensor-parser/test_fixtures/valid_2tensors_v2.bten.license | Documentation | 461 B | — |
| he-binary-functor/uiua/fibonacci_sonification.ua.license | Documentation | 441 B | — |
| he-binary-functor/uiua/quantum_entanglement.ua.license | Documentation | 439 B | — |
| he-binary-functor/verilog-a/CHUAS_CIRCUIT.md | Documentation | 5.0 KB | — |
| he-binary-functor/verilog-a/CHUA_INJECTION.md | Documentation | 1.5 KB | — |
| he-binary-functor/verilog-a/LYAPUNOV_VERIFICATION.md | Documentation | 4.0 KB | — |
| he-binary-functor/verilog-a/README.md | Documentation | 3.0 KB | — |
| he-binary-functor/verilog-a/RIEMANN_ZETA_VERILOG_A.md | Documentation | 5.4 KB | — |
| he-binary-functor/verilog-a/SPARK_TO_VERILOG_A.md | Documentation | 3.7 KB | — |
| he-binary-functor/verilog-a/ZETA_UNFOLD_REVERSE_ENGINEERING.md | Documentation | 6.9 KB | — |
| he-binary-functor/xslt-wasm/README.md | Documentation | 1.0 KB | — |
| isa-jvm/README.md | Documentation | 2.0 KB | — |
| isa-jvm/examples/arith.isa.license | Documentation | 419 B | — |
| isa-jvm/examples/channel.isa.license | Documentation | 421 B | — |
| isa-jvm/examples/memory.isa.license | Documentation | 420 B | — |
| kernel-language/ADVERSARIAL_ATTACK_TEST_PLAN.md | Documentation | 26.7 KB | — |
| kernel-language/EXECUTION_ENGINE_PSEUDOCODE.md | Documentation | 25.1 KB | — |
| kernel-language/FORMAL_VERIFICATION_FRAMEWORK_PHASE4.md | Documentation | 57.2 KB | — |
| kernel-language/NEURAL_DYNAMICS_EXECUTION.md | Documentation | 24.3 KB | — |
| kernel-language/PHASE4_AUDIT_SUMMARY.md | Documentation | 17.9 KB | — |
| kernel-language/README.md | Documentation | 3.7 KB | — |
| kernel-language/STATE_DYNAMICS_FORMALISM.md | Documentation | 15.9 KB | — |
| kernel-language/VERIFICATION_FRAMEWORK_INDEX.md | Documentation | 11.7 KB | — |
| kernel-language/examples/bit_ops.kl.license | Documentation | 428 B | — |
| kernel-language/examples/parallel_add.kl.license | Documentation | 433 B | — |
| kernel-language/examples/self_hosted_compiler.kl.license | Documentation | 441 B | — |
| kernel-language/examples/word_arith.kl.license | Documentation | 431 B | — |
| kernel-language/oberon/Kernel.Mod.license | Documentation | 426 B | — |
| kernel-language/oberon/ML.Mod.license | Documentation | 422 B | — |
| languages/lisp/QA5-REACTIVE-THEOREM-PROVER.l.license | Documentation | 437 B | — |
| lua/README.md | Documentation | 2.1 KB | — |
| metal/README.md | Documentation | 2.8 KB | — |
| occam-b-bscl/README.md | Documentation | 1.0 KB | — |
| occam-b-bscl/docs/CONCURRENCY.md | Documentation | 1.1 KB | — |
| occam-b-bscl/docs/MEMORY.md | Documentation | 750 B | — |
| occam-b-bscl/docs/WORDCODE.md | Documentation | 1.2 KB | — |
| occam-b-bscl/examples/arithmetic.b.license | Documentation | 427 B | — |
| occam-b-bscl/examples/channel.b.license | Documentation | 424 B | — |
| occam-b-bscl/examples/factorial.b.license | Documentation | 426 B | — |
| occam-b-bscl/examples/fibonacci.b.license | Documentation | 426 B | — |
| occam-b-bscl/examples/hello.b.license | Documentation | 422 B | — |
| occam-b-bscl/examples/parallel.b.license | Documentation | 425 B | — |
| occam-b-bscl/examples/producer_consumer.b.license | Documentation | 434 B | — |
| occam-b-bscl/examples/select.b.license | Documentation | 423 B | — |
| products/PRODUCTION_STAGING.md | Documentation | 4.5 KB | — |
| products/README.md | Documentation | 3.5 KB | — |
| products/RELEASE_READINESS.md | Documentation | 5.8 KB | — |
| products/apple-design.md | Documentation | 706 B | — |
| products/apple-inference.md | Documentation | 845 B | — |
| products/astra-vault.md | Documentation | 1.2 KB | — |
| products/audit-archive.md | Documentation | 1.3 KB | — |
| products/bank-commercial/COMMERCIAL_PLAN.md | Documentation | 2.9 KB | — |
| products/bank-commercial/README.md | Documentation | 2.4 KB | — |
| products/boyer-moore.md | Documentation | 703 B | — |
| products/build-your-own-bank.md | Documentation | 1.5 KB | — |
| products/catalog.json.license | Documentation | 414 B | — |
| products/compiler-platform.md | Documentation | 932 B | — |
| products/constraint-runtime.md | Documentation | 813 B | — |
| products/cuda-kernels.md | Documentation | 762 B | — |
| products/decision-classifier.md | Documentation | 872 B | — |
| products/dream-rsi.md | Documentation | 954 B | — |
| products/formal-assurance.md | Documentation | 821 B | — |
| products/fsl-kernel.md | Documentation | 878 B | — |
| products/governed-tensor.md | Documentation | 741 B | — |
| products/hardware-design.md | Documentation | 873 B | — |
| products/lua-rsi.md | Documentation | 715 B | — |
| products/nand-dsl.md | Documentation | 833 B | — |
| products/neural-model-lab.md | Documentation | 1.1 KB | — |
| products/owl-aot-harness.md | Documentation | 1.0 KB | — |
| products/platform-support.md | Documentation | 829 B | — |
| products/quantum-simulation.md | Documentation | 1.1 KB | — |
| products/reports/INVENTORY.md | Documentation | 4.9 KB | — |
| products/reports/artifacts.json.license | Documentation | 424 B | — |
| products/reports/bank-commercial-build.json.license | Documentation | 436 B | — |
| products/reports/checks.json.license | Documentation | 421 B | — |
| products/reports/commit-review.json.license | Documentation | 428 B | — |
| products/reports/license-header-audit.json | Documentation | 108.4 KB | — |
| products/reports/license-header-changes.json | Documentation | 198.1 KB | — |
| products/reports/production-staging.json.license | Documentation | 433 B | — |
| products/reports/source-inventory.json.license | Documentation | 431 B | — |
| products/retro-compute.md | Documentation | 807 B | — |
| products/sovereign-ledger.md | Documentation | 717 B | — |
| products/symbolic-reasoning.md | Documentation | 1.1 KB | — |
| products/telegram-agent-sdk.md | Documentation | 803 B | — |
| products/tensor-core.md | Documentation | 1.0 KB | — |
| products/virtual-h100.md | Documentation | 968 B | — |
| products/virtual-switchboard.md | Documentation | 866 B | — |
| products/workflow-workplace.md | Documentation | 838 B | — |
| qflow/examples/bell.qflow.license | Documentation | 418 B | — |
| requirements.txt.license | Documentation | 409 B | — |
| retro-gpu/documentation/ARCHITECTURE.md | Documentation | 5.4 KB | — |
| retro-gpu/modula2/definitions/ALU.def.license | Documentation | 430 B | — |
| retro-gpu/modula2/definitions/Registers.def.license | Documentation | 436 B | — |
| retro-gpu/modula2/definitions/RetroGPU.def.license | Documentation | 435 B | — |
| retro-gpu/modula2/definitions/Warp.def.license | Documentation | 431 B | — |
| rust/fsl/Cargo.lock.license | Documentation | 412 B | — |
| scripts/license_headers.py | Documentation | 5.2 KB | — |
| semiconductor/README.md | Documentation | 2.5 KB | — |
| semiconductor/architecture.md | Documentation | 4.0 KB | — |
| semiconductor/eda-physical-design.md | Documentation | 8.8 KB | — |
| semiconductor/fabrication.md | Documentation | 10.1 KB | — |
| semiconductor/logic-design-synthesis.md | Documentation | 7.4 KB | — |
| semiconductor/packaging-validation.md | Documentation | 11.1 KB | — |
| semiconductor/rtl-alu.md | Documentation | 10.6 KB | — |
| semiconductor/rtl-multipliers.md | Documentation | 15.1 KB | — |
| semiconductor/soc-pipeline-spec.md | Documentation | 14.0 KB | — |
| sovereign/glm/manifest.json.license | Documentation | 420 B | — |
| sovereign/ledger/IMPLEMENTATION.md | Documentation | 14.4 KB | — |
| sovereign/ledger/MANIFEST.txt.license | Documentation | 422 B | — |
| sovereign/ledger/README.md | Documentation | 8.5 KB | — |
| src/LICENSE | Documentation | 13.6 KB | — |
| src/LICENSE-RECURSIVE-INFECTION | Documentation | 14.4 KB | — |
| src/a68/attn_core.a68.license | Documentation | 414 B | — |
| src/a68/benchmark.a68.license | Documentation | 414 B | — |
| src/a68/determinism_suite.a68.license | Documentation | 422 B | — |
| src/a68/embedding.a68.license | Documentation | 414 B | — |
| src/a68/evaluation.a68.license | Documentation | 415 B | — |
| src/a68/inference.a68.license | Documentation | 414 B | — |
| src/a68/invariant_registry.a68.license | Documentation | 423 B | — |
| src/a68/mlp.a68.license | Documentation | 408 B | — |
| src/a68/norm.a68.license | Documentation | 409 B | — |
| src/a68/optimizer.a68.license | Documentation | 414 B | — |
| src/a68/oss1230_manifest.a68.license | Documentation | 421 B | — |
| src/a68/output_head.a68.license | Documentation | 416 B | — |
| src/a68/pos_enc.a68.license | Documentation | 412 B | — |
| src/a68/serialization.a68.license | Documentation | 418 B | — |
| src/a68/transformer_block.a68.license | Documentation | 422 B | — |
| src/a68/transformer_model.a68.license | Documentation | 422 B | — |
| src/agol86/agol86_model.a86.license | Documentation | 420 B | — |
| src/ebnf/81130392bc1d11c719679c5f93e3f0c0.ebnf.license | Documentation | 439 B | — |
| telegram-bot-sdk/IMPLEMENTATION_STATUS.md | Documentation | 8.2 KB | — |
| telegram-bot-sdk/README.md | Documentation | 9.3 KB | — |
| telegram-bot-sdk/docker/Dockerfile.node.license | Documentation | 432 B | — |
| telegram-bot-sdk/docker/Dockerfile.rust.license | Documentation | 432 B | — |
| telegram-bot-sdk/docs/API.md | Documentation | 10.4 KB | — |
| telegram-bot-sdk/docs/ARCHITECTURE.md | Documentation | 13.0 KB | — |
| telegram-bot-sdk/docs/EXAMPLES.md | Documentation | 27.2 KB | — |
| telegram-bot-sdk/docs/INTEGRATION.md | Documentation | 13.0 KB | — |
| telegram-bot-sdk/node/.env.example.license | Documentation | 427 B | — |
| telegram-bot-sdk/node/README.md | Documentation | 7.2 KB | — |
| telegram-bot-sdk/node/package.json.license | Documentation | 427 B | — |
| tensor-core/COMPLETION_SUMMARY.md | Documentation | 9.1 KB | — |
| tensor-core/Cargo.lock.license | Documentation | 415 B | — |
| tensor-core/FORMAL_SPEC.md | Documentation | 4.7 KB | — |
| tensor-core/IMPLEMENTATION_NOTES.md | Documentation | 9.7 KB | — |
| tensor-core/QUICKSTART.md | Documentation | 7.6 KB | — |
| tensor-core/README.md | Documentation | 8.5 KB | — |
| tensor-core/STRUCTURE.md | Documentation | 10.7 KB | — |
| tensor-core/nraay-tensor/Cargo.lock.license | Documentation | 428 B | — |
| tensor-core/nraay-tensor/README.md | Documentation | 8.1 KB | — |
| vsm2500/hopper_gemm_kernel_spec.txt.license | Documentation | 428 B | — |
| vsm2500/vsm2500_specification.txt.license | Documentation | 426 B | — |
| wasm/account_registry.wasm.license | Documentation | 419 B | — |
| wasm/isa.wasm.license | Documentation | 406 B | — |
| wasm/ledger_replay.wasm.license | Documentation | 416 B | — |
| wasm/runtime.wasm.license | Documentation | 410 B | — |
| wasm/sha256.wasm.license | Documentation | 409 B | — |
| wasm/worm_frame.wasm.license | Documentation | 413 B | — |
| .continuity/mcp-server.log | Other | 2.2 KB | — |
| .github/workflows/clone-gate.yml | Other | 4.0 KB | — |
| .github/workflows/kraus_ci.yml | Other | 2.0 KB | — |
| .github/workflows/product-suite.yml | Other | 2.5 KB | — |
| .github/workflows/shadow-header.yml | Other | 1.0 KB | — |
| Makefile | Other | 6.1 KB | — |
| SNAPKITTY OPAQUE SOURCE LICENSE v1.0 | Other | 20.0 KB | — |
| apple-design-parser/Sources/AppearanceResolver.swift | Other | 24.1 KB | — |
| apple-design-parser/Sources/AppleDesignParser_main.swift | Other | 4.7 KB | — |
| apple-design-parser/Sources/CSSParser.swift | Other | 14.4 KB | — |
| apple-design-parser/Sources/ColorClassifier.swift | Other | 29.9 KB | — |
| apple-design-parser/Sources/ColorFormat.swift | Other | 22.8 KB | — |
| apple-design-parser/Sources/ColorNormalizer.swift | Other | 25.7 KB | — |
| apple-design-parser/Sources/HTMLParser.swift | Other | 12.8 KB | — |
| apple-design-parser/Sources/PaletteGenerator.swift | Other | 22.8 KB | — |
| apple-design-parser/Sources/PatternExtractor.swift | Other | 15.1 KB | — |
| apple-design-parser/Sources/SemanticClassifier.swift | Other | 28.0 KB | — |
| apple-metal-inference/Sources/Common/types.h | Other | 2.7 KB | — |
| apple-metal-inference/Sources/Gate/__init__.py | Other | 423 B | — |
| apple-metal-inference/Sources/Gate/crypto.py | Other | 880 B | — |
| apple-metal-inference/Sources/Gate/directive_guard.py | Other | 906 B | — |
| apple-metal-inference/Sources/Gate/entropy.py | Other | 618 B | — |
| apple-metal-inference/Sources/Gate/routing.py | Other | 909 B | — |
| apple-metal-inference/Sources/Gate/session.py | Other | 1.2 KB | — |
| apple-metal-inference/Sources/Host/adapter.h | Other | 1.2 KB | — |
| apple-metal-inference/Sources/Host/adapter_slot.h | Other | 1.3 KB | — |
| apple-metal-inference/Sources/Host/block_layout.h | Other | 831 B | — |
| apple-metal-inference/Sources/Host/int4_host_runtime.mm | Other | 11.7 KB | — |
| apple-metal-inference/Sources/Host/kv_test.h | Other | 1.3 KB | — |
| apple-metal-inference/Sources/Host/safety.h | Other | 993 B | — |
| apple-metal-inference/Sources/Kernels/apple_metal.metal | Other | 191.1 KB | — |
| apple-metal-inference/Sources/Kernels/attention.metal | Other | 7.0 KB | — |
| apple-metal-inference/Sources/Kernels/decode.metal | Other | 6.9 KB | — |
| apple-metal-inference/Sources/Kernels/embedding.metal | Other | 1.1 KB | — |
| apple-metal-inference/Sources/Kernels/fused_qkv_tiled.metal | Other | 3.5 KB | — |
| apple-metal-inference/Sources/Kernels/gqa_strided.metal | Other | 3.2 KB | — |
| apple-metal-inference/Sources/Kernels/int4_transformer.metal | Other | 9.9 KB | — |
| apple-metal-inference/Sources/Kernels/kv_cache.metal | Other | 3.1 KB | — |
| apple-metal-inference/Sources/Kernels/linear.metal | Other | 6.6 KB | — |
| apple-metal-inference/Sources/Kernels/lora_delta.metal | Other | 1.1 KB | — |
| apple-metal-inference/Sources/Kernels/matmul.metal | Other | 2.5 KB | — |
| apple-metal-inference/Sources/Kernels/mlp.metal | Other | 3.0 KB | — |
| apple-metal-inference/Sources/Kernels/normalization.metal | Other | 4.2 KB | — |
| apple-metal-inference/Sources/Kernels/output.metal | Other | 3.5 KB | — |
| apple-metal-inference/Sources/Kernels/residual.metal | Other | 1.3 KB | — |
| apple-metal-inference/Sources/Kernels/rope.metal | Other | 2.4 KB | — |
| apple-metal-inference/Sources/Kernels/utils.metal | Other | 2.5 KB | — |
| apple6502x86/boot/boot.asm | Other | 31.2 KB | — |
| apple6502x86/boot/boot_diag.asm | Other | 10.0 KB | — |
| apple6502x86/memory/memory.asm | Other | 61.5 KB | — |
| apple6502x86/memory/memory_diag.asm | Other | 10.5 KB | — |
| apple6502x86/monitor/monitor.asm | Other | 42.1 KB | — |
| apple6502x86/monitor/monitor_diag.asm | Other | 11.4 KB | — |
| apple6502x86/rom/rom.asm | Other | 50.5 KB | — |
| apple6502x86/rom/rom_diag.asm | Other | 9.9 KB | — |
| asm/crc32_dylan.S | Other | 1.8 KB | — |
| asp/asp.go | Other | 2.3 KB | — |
| asp/ast/types.go | Other | 4.7 KB | — |
| asp/go.mod | Other | 229 B | — |
| asp/lexer/lexer.go | Other | 6.2 KB | — |
| asp/lexer/token.go | Other | 1.5 KB | — |
| asp/parser/doc.go | Other | 2.3 KB | — |
| asp/parser/example_test.go | Other | 4.3 KB | — |
| asp/parser/parser.go | Other | 19.9 KB | — |
| asp/parser/parser_test.go | Other | 10.4 KB | — |
| asp/propagation/propagation.go | Other | 7.9 KB | — |
| asp/semantics/checker.go | Other | 14.9 KB | — |
| asp/semantics/semantics_test.go | Other | 10.0 KB | — |
| asp/semantics/validator.go | Other | 13.5 KB | — |
| asp/solver/conflict.go | Other | 11.4 KB | — |
| asp/solver/heuristic.go | Other | 7.9 KB | — |
| asp/solver/search.go | Other | 12.8 KB | — |
| asp/solver/solver_integration_test.go | Other | 10.6 KB | — |
| asp/tests/advanced_test.go | Other | 15.1 KB | — |
| asp/tests/benchmark_test.go | Other | 12.6 KB | — |
| asp/tests/comprehensive_test.go | Other | 14.6 KB | — |
| asp/tests/grounder_test.go | Other | 7.0 KB | — |
| asp/tests/integration_test.go | Other | 14.1 KB | — |
| asp/tests/parser_test.go | Other | 8.1 KB | — |
| asp/tests/regression_test.go | Other | 12.1 KB | — |
| asp/tests/semantics_test.go | Other | 14.8 KB | — |
| asp/tests/solver_test.go | Other | 11.6 KB | — |
| assembly-120-strict-model/08_neural_accelerator_engine.asm | Other | 116.9 KB | — |
| assembly-120-strict-model/09_graphics.asm | Other | 86.9 KB | — |
| assembly-120-strict-model/11_toolbox.asm | Other | 52.6 KB | — |
| assembly-120-strict-model/15_scheduler.asm | Other | 38.8 KB | — |
| assembly-120-strict-model/18_dylan_runtime.asm | Other | 35.8 KB | — |
| assembly-120-strict-model/19_tests.asm | Other | 47.6 KB | — |
| assembly-120-strict-model/20_diagnostics.asm | Other | 38.2 KB | — |
| assembly-120-strict-model/PHASE_2_CPU_EXECUTION_ENGINE.asm | Other | 88.3 KB | — |
| assembly-120-strict-model/bit_pattern_kernel_avx2.asm | Other | 27.8 KB | — |
| assembly-120-strict-model/fibonacci_braid_x86.asm | Other | 4.3 KB | — |
| assembly-120-strict-model/firmware.asm | Other | 21.4 KB | — |
| assets/architecture/banking_layer.svg | Other | 10.6 KB | — |
| assets/architecture/braid_operations.svg | Other | 9.9 KB | — |
| assets/architecture/data_flow.svg | Other | 12.7 KB | — |
| assets/architecture/institutional_architecture.svg | Other | 9.4 KB | — |
| assets/architecture/quantum_pipeline.svg | Other | 13.5 KB | — |
| assets/architecture/system_architecture.svg | Other | 17.9 KB | — |
| assets/flow.svg | Other | 3.4 KB | — |
| assets/sas_dataflow.svg | Other | 4.0 KB | — |
| assets/sovharmony.gif | Other | 95.6 KB | — |
| assets/sql_schema.svg | Other | 4.5 KB | — |
| astre-vault/astra-vault.unl | Other | 5.6 KB | — |
| astre-vault/astra_math_vault.m | Other | 12.5 KB | — |
| astre-vault/astra_owl_solver.py | Other | 26.5 KB | — |
| astre-vault/rcc8_spatial.py | Other | 12.6 KB | — |
| backend/coordinator.py | Other | 5.2 KB | — |
| backend/test_session.sh | Other | 1.1 KB | — |
| beam/config/config.exs | Other | 330 B | — |
| beam/mix.exs | Other | 558 B | — |
| benchmarks/rsi_lua/lua_audit.lua | Other | 10.2 KB | — |
| benchmarks/rsi_lua/run.py | Other | 7.7 KB | — |
| benchmarks/rsi_lua/summarize.py | Other | 2.3 KB | — |
| boyer-moore-unix/Makefile | Other | 1.9 KB | — |
| boyer-moore-unix/bin/bm.c | Other | 8.0 KB | — |
| build.zig | Other | 1.7 KB | — |
| canvas-templates/canvas-coordinator.xml | Other | 3.3 KB | — |
| canvas-templates/canvas-pipeline.xml | Other | 2.2 KB | — |
| canvas-templates/canvas-schema.xsd | Other | 4.3 KB | — |
| canvas-templates/canvas-swarm.xml | Other | 2.7 KB | — |
| canvas-templates/canvas-templates.xsl | Other | 7.6 KB | — |
| canvas-templates/canvas_processor.py | Other | 5.1 KB | — |
| cbmc/harness_call_core.c | Other | 2.3 KB | — |
| cbmc/harness_cuda_vsm.c | Other | 3.3 KB | — |
| cbmc/harness_fb_ledger.c | Other | 2.9 KB | — |
| cbmc/harness_fibraid.c | Other | 2.3 KB | — |
| cbmc/harness_frama_memory.c | Other | 3.1 KB | — |
| cbmc/harness_frama_parser.c | Other | 3.0 KB | — |
| cbmc/harness_frama_stack.c | Other | 2.8 KB | — |
| cbmc/harness_ledger.c | Other | 1.9 KB | — |
| cbmc/harness_word.c | Other | 1.4 KB | — |
| cbmc/harness_worker.c | Other | 2.5 KB | — |
| cbmc/harness_worm_commit.c | Other | 3.3 KB | — |
| cbmc/run_all.sh | Other | 5.9 KB | — |
| classifier/audit/audit.go | Other | 15.8 KB | — |
| classifier/audit/audit_test.go | Other | 8.5 KB | — |
| classifier/backends/backend.go | Other | 7.9 KB | — |
| classifier/batch/batch.go | Other | 17.9 KB | — |
| classifier/batch/batch_test.go | Other | 11.6 KB | — |
| classifier/classifier.go | Other | 2.7 KB | — |
| classifier/examples/example.go | Other | 9.8 KB | — |
| classifier/go.mod | Other | 236 B | — |
| classifier/model/advanced.go | Other | 19.1 KB | — |
| classifier/model/classifier.go | Other | 3.0 KB | — |
| classifier/model/inference.go | Other | 21.6 KB | — |
| classifier/primitives/types.go | Other | 2.1 KB | — |
| cobalt-compiler/Calculus/Derivative.hs | Other | 3.5 KB | — |
| cobalt-compiler/Calculus/Integral.hs | Other | 4.5 KB | — |
| cobalt-compiler/Calculus/Limit.hs | Other | 3.1 KB | — |
| cobalt-compiler/Cobalt/Dense.hs | Other | 5.7 KB | — |
| cobalt-compiler/Cobalt/Trilock.hs | Other | 2.7 KB | — |
| cobalt-compiler/Core/Group.hs | Other | 4.2 KB | — |
| cobalt-compiler/Core/Nat.hs | Other | 3.5 KB | — |
| cobalt-compiler/ISA/Core.hs | Other | 6.1 KB | — |
| cobalt-compiler/ISA/Examples.hs | Other | 3.0 KB | — |
| cobalt-compiler/ISA/Macro.hs | Other | 3.8 KB | — |
| cobalt-compiler/ISA/Program.hs | Other | 2.5 KB | — |
| cobalt-compiler/Language/Fixpoint/LiquidOps/Kernel.hs | Other | 18.7 KB | — |
| cobalt-compiler/Language/Fixpoint/Smt/Theories/Recurse.hs | Other | 3.6 KB | — |
| cobalt-compiler/Language/Fixpoint/Solver/Eliminate.hs | Other | 4.1 KB | — |
| cobalt-compiler/Language/Fixpoint/Solver/Simplify.hs | Other | 6.4 KB | — |
| cobalt-compiler/Language/Haskell/Liquid/Transforms/CoreToLogic.hs | Other | 4.2 KB | — |
| cobalt-compiler/Language/Haskell/Liquid/Transforms/DenseDex.hs | Other | 4.0 KB | — |
| cobalt-compiler/Lean4/ConductorSpec.lean | Other | 5.4 KB | — |
| cobalt-compiler/Lean4/Runtime.lean | Other | 1.6 KB | — |
| cobalt-compiler/LiquidOps/Kernel.hs | Other | 4.3 KB | — |
| cobalt-compiler/LiquidOps/KernelFull.hs | Other | 20.9 KB | — |
| cobalt-compiler/LiquidOps/NAND.hs | Other | 13.2 KB | — |
| cobalt-compiler/MagicCobalt.hs | Other | 2.9 KB | — |
| cobalt-compiler/Physics/Godel.hs | Other | 4.2 KB | — |
| cobalt-compiler/Physics/WormholeBH.hs | Other | 5.7 KB | — |
| cobalt-compiler/X86BatchAssembler.hs | Other | 3.1 KB | — |
| cobalt-compiler/cobalt.cabal | Other | 3.0 KB | — |
| cobalt-compiler/src/Main.hs | Other | 2.2 KB | — |
| conftest.py | Other | 450 B | — |
| constraint-harness/adapters/__init__.py | Other | 801 B | — |
| constraint-harness/adapters/base.py | Other | 1.3 KB | — |
| constraint-harness/audit/__init__.py | Other | 945 B | — |
| constraint-harness/audit/event_types.py | Other | 1.2 KB | — |
| constraint-harness/audit/hashing.py | Other | 1.3 KB | — |
| constraint-harness/audit/seal.py | Other | 2.0 KB | — |
| constraint-harness/commands/__init__.py | Other | 877 B | — |
| constraint-harness/commands/model_command.py | Other | 1.3 KB | — |
| constraint-harness/commands/python_command.py | Other | 1.8 KB | — |
| constraint-harness/commands/pytorch_command.py | Other | 1.7 KB | — |
| constraint-harness/commands/registry.py | Other | 2.0 KB | — |
| constraint-harness/constitution/__init__.py | Other | 911 B | — |
| constraint-harness/constitution/constitution.py | Other | 4.9 KB | — |
| constraint-harness/constitution/datalog.py | Other | 1.6 KB | — |
| constraint-harness/constitution/evaluator.py | Other | 975 B | — |
| constraint-harness/constraint_harness/__init__.py | Other | 804 B | — |
| constraint-harness/constraint_harness/cli.py | Other | 2.2 KB | — |
| constraint-harness/examples/basic.mxml | Other | 915 B | — |
| constraint-harness/examples/parallel.mxml | Other | 1.1 KB | — |
| constraint-harness/mxml/__init__.py | Other | 1.2 KB | — |
| constraint-harness/mxml/parser.py | Other | 6.6 KB | — |
| constraint-harness/mxml/schema.py | Other | 1.7 KB | — |
| constraint-harness/mxml/validator.py | Other | 2.5 KB | — |
| constraint-harness/pyproject.toml | Other | 1.1 KB | — |
| constraint-harness/runtime/__init__.py | Other | 1.1 KB | — |
| constraint-harness/runtime/context.py | Other | 1.8 KB | — |
| constraint-harness/runtime/executor.py | Other | 5.4 KB | — |
| constraint-harness/runtime/states.py | Other | 2.5 KB | — |
| constraint-harness/runtime/transitions.py | Other | 2.5 KB | — |
| constraint-harness/scheduler/__init__.py | Other | 874 B | — |
| constraint-harness/scheduler/async_helpers.py | Other | 1.2 KB | — |
| constraint-harness/scheduler/dag.py | Other | 2.7 KB | — |
| constraint-harness/scheduler/scheduler.py | Other | 3.3 KB | — |
| constraint-harness/tests/__init__.py | Other | 185 B | — |
| constraint-harness/tests/test_constitution.py | Other | 1.9 KB | — |
| constraint-harness/tests/test_dag.py | Other | 1.5 KB | — |
| constraint-harness/tests/test_executor.py | Other | 1.5 KB | — |
| constraint-harness/tests/test_mxml.py | Other | 3.0 KB | — |
| constraint-harness/verification/__init__.py | Other | 857 B | — |
| constraint-harness/verification/structural.py | Other | 1.4 KB | — |
| datalog-engine/datalog/__init__.py | Other | 1.5 KB | — |
| datalog-engine/datalog/errors.py | Other | 1.2 KB | — |
| datalog-engine/datalog/meta_circular_evaluator.dl | Other | 2.2 KB | — |
| datalog-engine/datalog/pure_ancestor_ar.dl | Other | 2.0 KB | — |
| datalog-engine/datalog/pure_datalog_ar.dl | Other | 2.9 KB | — |
| datalog-engine/datalog/souffle_ancestor.dl | Other | 1.4 KB | — |
| datalog-engine/datalog/souffle_engine.dl | Other | 1.4 KB | — |
| datalog-engine/datalog/souffle_meta_eval.dl | Other | 1.0 KB | — |
| datalog-engine/datalog/souffle_negation.dl | Other | 660 B | — |
| datalog-engine/datalog/souffle_typed_ancestor.dl | Other | 807 B | — |
| datalog-engine/datalog/terms.py | Other | 2.4 KB | — |
| datalog-engine/datalog/unify.py | Other | 3.1 KB | — |
| docker/Dockerfile | Other | 1.9 KB | — |
| docs/Sovereign_Harmony.pdf | Other | 789.7 KB | — |
| docs/architecture.dot | Other | 1.7 KB | — |
| docs/assets/demo-part1.mp4 | Other | 10.8 MB | — |
| docs/assets/demo-part2.mp4 | Other | 5.8 MB | — |
| docs/assets/demo-part3.mp4 | Other | 2.1 MB | — |
| docs/assets/demo-part4.mp4 | Other | 1.3 MB | — |
| docs/assets/demo-part5.mp4 | Other | 23.2 MB | — |
| docs/assets/demo-part7.mp4 | Other | 28.7 MB | — |
| docs/assets/demo-part8.mp4 | Other | 4.6 MB | — |
| docs/assets/hero-01.mp4 | Other | 8.2 MB | — |
| docs/assets/hero-02.jpg | Other | 95.1 KB | — |
| docs/assets/hero-03.jpg | Other | 90.4 KB | — |
| docs/assets/hero-04.png | Other | 2.5 MB | — |
| docs/assets/hero-05.gif | Other | 10.9 MB | — |
| docs/institutional_architecture.dot | Other | 2.5 KB | — |
| docs/pipeline_flowchart.dot | Other | 1.6 KB | — |
| docs/sas_dataflow.dot | Other | 1.3 KB | — |
| docs/sql_schema.dot | Other | 1.3 KB | — |
| dream_rsi/__init__.py | Other | 2.1 KB | — |
| dream_rsi/cli.py | Other | 1.3 KB | — |
| dream_rsi/core/__init__.py | Other | 477 B | — |
| dream_rsi/core/legacy.py | Other | 6.3 KB | — |
| dream_rsi/core/orchestrator.py | Other | 5.1 KB | — |
| dream_rsi/discovery/__init__.py | Other | 746 B | — |
| dream_rsi/discovery/agent.py | Other | 2.4 KB | — |
| dream_rsi/discovery/legacy.py | Other | 2.1 KB | — |
| dream_rsi/evaluation/__init__.py | Other | 366 B | — |
| dream_rsi/evaluation/legacy.py | Other | 844 B | — |
| dream_rsi/evaluation/protocol.py | Other | 760 B | — |
| dream_rsi/experiments/__init__.py | Other | 649 B | — |
| dream_rsi/experiments/baselines.py | Other | 1.4 KB | — |
| dream_rsi/experiments/legacy.py | Other | 2.2 KB | — |
| dream_rsi/experiments/runner.py | Other | 2.1 KB | — |
| dream_rsi/metrics/__init__.py | Other | 433 B | — |
| dream_rsi/metrics/collector.py | Other | 996 B | — |
| dream_rsi/metrics/legacy.py | Other | 1.0 KB | — |
| dream_rsi/persistence/__init__.py | Other | 320 B | — |
| dream_rsi/persistence/legacy.py | Other | 1.3 KB | — |
| dream_rsi/persistence/worlds.py | Other | 1.4 KB | — |
| dream_rsi/policy/__init__.py | Other | 436 B | — |
| dream_rsi/policy/engine.py | Other | 4.6 KB | — |
| dream_rsi/policy/legacy.py | Other | 4.1 KB | — |
| dream_rsi/pyproject.toml | Other | 620 B | — |
| dream_rsi/replay/__init__.py | Other | 454 B | — |
| dream_rsi/replay/engine.py | Other | 2.9 KB | — |
| dream_rsi/replay/legacy.py | Other | 3.5 KB | — |
| dream_rsi/simulator/__init__.py | Other | 314 B | — |
| dream_rsi/simulator/pool.py | Other | 5.4 KB | — |
| dream_rsi/tree.py | Other | 5.3 KB | — |
| examples/ach_return.fnl | Other | 755 B | — |
| examples/ledger_post.fnl | Other | 578 B | — |
| examples/post_entry.m | Other | 1.2 KB | — |
| examples/post_entry.pl | Other | 1.7 KB | — |
| examples/return_item.m | Other | 1.6 KB | — |
| examples/return_item.pl | Other | 1.4 KB | — |
| examples/snapkitty.transducerDemo.m | Other | 13.7 KB | — |
| finance/cobol/ACHRTRN.cbl | Other | 14.2 KB | — |
| finance/cobol/COBILT-ACH-TREASURY.cbl | Other | 16.0 KB | — |
| finance/cobol/COBILT-DATAWORM.cbl | Other | 14.4 KB | — |
| finance/cobol/COBILT-VAULT.cbl | Other | 24.9 KB | — |
| finance/cobol/COBILT_DATAWORM_TREASURY.cob | Other | 15.5 KB | — |
| finance/cobol/LEDGER_POST.cbl | Other | 1.8 KB | — |
| finance/cobol/LEDGWYCB.cbl | Other | 2.2 KB | — |
| finance/cobol/worm_bridge.cob | Other | 2.2 KB | — |
| finance/csharp/LedgerGateway.cs | Other | 6.0 KB | — |
| finance/csharp/RtpRailAdapter.cs | Other | 4.2 KB | — |
| finance/pli/functor_worm.pli | Other | 14.3 KB | — |
| finance/pli/treasury_ledger.pli | Other | 5.2 KB | — |
| finance/pli/treasury_records.pli | Other | 2.0 KB | — |
| finance/rpgle/AGHENTSC.rpgle | Other | 8.6 KB | — |
| finance/rpgle/FNLIRTR.rpgle | Other | 25.9 KB | — |
| finance/rpgle/FNLIR_TEST.rpgle | Other | 6.4 KB | — |
| finance/rpgle/FNLIR_TEST_YAJL.rpgle | Other | 13.7 KB | — |
| finance/rpgle/JsonExtractField.rpgle | Other | 2.2 KB | — |
| finance/rpgle/LEDGWYRPG.rpgle | Other | 2.4 KB | — |
| finance/rpgle/LEDREVSRV.rpgle | Other | 12.0 KB | — |
| finance/rpgle/ORCGHSTROTR.rpgle | Other | 13.3 KB | — |
| finance/rpgle/eod-driver.rpgle | Other | 2.9 KB | — |
| finance/scala/SovereignTreasuryPipeline.scala | Other | 9.5 KB | — |
| finance/scala/SovereignTreasuryZIO.scala | Other | 11.4 KB | — |
| finance/scala/build.sbt | Other | 694 B | — |
| formal/array-temporal/lakefile.lean | Other | 395 B | — |
| formal/array-temporal/lean-toolchain | Other | 25 B | — |
| formal/clone-gate/AttestationSmoke.idr | Other | 567 B | — |
| formal/clone-gate/CLI.idr | Other | 517 B | — |
| formal/clone-gate/CloneGate.idr | Other | 3.4 KB | — |
| formal/clone-gate/CloneGate/Files.idr | Other | 2.4 KB | — |
| formal/clone-gate/CloneGate/Linear.idr | Other | 4.1 KB | — |
| formal/clone-gate/Main.idr | Other | 848 B | — |
| formal/clone-gate/Makefile | Other | 572 B | — |
| formal/clone-gate/Negative/Bypass.idr | Other | 588 B | — |
| formal/clone-gate/Negative/Forged.idr | Other | 225 B | — |
| formal/clone-gate/Negative/Locked.idr | Other | 230 B | — |
| formal/clone-gate/Negative/Policy.idr | Other | 302 B | — |
| formal/clone-gate/Negative/Reuse.idr | Other | 283 B | — |
| formal/clone-gate/Negative/Spent.idr | Other | 228 B | — |
| formal/clone-gate/c/clonegate.h | Other | 509 B | — |
| formal/clone-gate/c/clonegate_shim.c | Other | 3.0 KB | — |
| formal/clone-gate/c/test_shim.c | Other | 1.1 KB | — |
| formal/clone-gate/clone-gate-exe.ipkg | Other | 214 B | — |
| formal/clone-gate/clone-gate.ipkg | Other | 212 B | — |
| formal/clone-gate/matlab/CloneGateHeader.ps1 | Other | 4.1 KB | — |
| formal/clone-gate/matlab/cloneGateMATLAB.m | Other | 1.7 KB | — |
| formal/formal-engine/CUDA/CooperativeGroups.dfy | Other | 6.9 KB | — |
| formal/formal-engine/CUDA_CooperativeGroups.dfy | Other | 4.8 KB | — |
| formal/formal-engine/Certificate.dfy | Other | 1.3 KB | — |
| formal/formal-engine/Cipher.dfy | Other | 1.6 KB | — |
| formal/formal-engine/Cipher/ARX.dfy | Other | 1.6 KB | — |
| formal/formal-engine/Cipher/Encryption.dfy | Other | 2.6 KB | — |
| formal/formal-engine/Contracts.dfy | Other | 2.0 KB | — |
| formal/formal-engine/Contracts/Core.dfy | Other | 2.5 KB | — |
| formal/formal-engine/Contracts/VCGen.dfy | Other | 1.6 KB | — |
| formal/formal-engine/Core/Formulas.dfy | Other | 3.4 KB | — |
| formal/formal-engine/Core/Terms.dfy | Other | 5.9 KB | — |
| formal/formal-engine/Core_Formulas.dfy | Other | 4.3 KB | — |
| formal/formal-engine/Core_Terms.dfy | Other | 3.3 KB | — |
| formal/formal-engine/Core_Types.dfy | Other | 1.9 KB | — |
| formal/formal-engine/GPU/CUDAAbstractModel.dfy | Other | 4.3 KB | — |
| formal/formal-engine/GPU/H100AbstractMachine.dfy | Other | 12.2 KB | — |
| formal/formal-engine/GPU_H100.dfy | Other | 7.8 KB | — |
| formal/formal-engine/Integration.dfy | Other | 1.9 KB | — |
| formal/formal-engine/Integration/Recursion.dfy | Other | 3.8 KB | — |
| formal/formal-engine/LLVM/AtomicRMW.dfy | Other | 4.4 KB | — |
| formal/formal-engine/LLVM/AtomicRMWProofs.dfy | Other | 3.5 KB | — |
| formal/formal-engine/LLVM/AtomicRMWSmoke.dfy | Other | 4.7 KB | — |
| formal/formal-engine/LLVM/AtomicRMWVerify.dfy | Other | 3.9 KB | — |
| formal/formal-engine/LLVM/Backend.dfy | Other | 5.9 KB | — |
| formal/formal-engine/LLVM/InvariantProofs.dfy | Other | 5.6 KB | — |
| formal/formal-engine/LLVM/NVPTXIntrinsics.dfy | Other | 6.2 KB | — |
| formal/formal-engine/LLVM_AtomicRMW.dfy | Other | 6.3 KB | — |
| formal/formal-engine/LLVM_Backend.dfy | Other | 9.0 KB | — |
| formal/formal-engine/ModelChecker.dfy | Other | 1.4 KB | — |
| formal/formal-engine/ModelChecker/Bounded.dfy | Other | 9.6 KB | — |
| formal/formal-engine/Models/GGUF/loader.py | Other | 6.6 KB | — |
| formal/formal-engine/PTX_AtomicsBarriers.dfy | Other | 5.7 KB | — |
| formal/formal-engine/PTX_Tokeniser.dfy | Other | 5.9 KB | — |
| formal/formal-engine/Proofs_CoreProofs.dfy | Other | 2.3 KB | — |
| formal/formal-engine/Proofs_GPUInvariants.dfy | Other | 1.2 KB | — |
| formal/formal-engine/Proofs_SMTInvariants.dfy | Other | 2.1 KB | — |
| formal/formal-engine/SMT/Constraints.dfy | Other | 1.8 KB | — |
| formal/formal-engine/SMT/DecisionProcedure.dfy | Other | 4.6 KB | — |
| formal/formal-engine/SMT_ClauseMinimization.dfy | Other | 6.8 KB | — |
| formal/formal-engine/SMT_OneUIP.dfy | Other | 8.1 KB | — |
| formal/formal-engine/SMT_UnitPropagation.dfy | Other | 7.9 KB | — |
| formal/formal-engine/StateMachine/State.dfy | Other | 2.3 KB | — |
| formal/formal-engine/StateMachine_Core.dfy | Other | 2.3 KB | — |
| formal/formal-engine/Theorem/Kernel.dfy | Other | 2.9 KB | — |
| formal/formal-engine/Theorem/Proofs.dfy | Other | 2.2 KB | — |
| formal/formal-engine/Theorem_Kernel.dfy | Other | 1.7 KB | — |
| formal/formal-engine/ZK.dfy | Other | 1.9 KB | — |
| formal/formal-engine/ZK/R1CS.dfy | Other | 1.5 KB | — |
| formal/formal-engine/ZK/Relations.dfy | Other | 2.9 KB | — |
| formal/lean/ArrayVerificationExamples.lean | Other | 16.5 KB | — |
| formal/lean/ArrayVerification_Template.lean | Other | 11.3 KB | — |
| formal/lean/BifrostCapabilityExchange.lean | Other | 4.5 KB | — |
| formal/lean/BorrowchainStorageEngine.lean | Other | 3.8 KB | — |
| formal/lean/EnochianEngineExecution.lean | Other | 19.2 KB | — |
| formal/lean/EnochianEngineRoot.lean | Other | 15.7 KB | — |
| formal/lean/EnochianMalbolgeIntegration.lean | Other | 4.5 KB | — |
| formal/lean/FirmwareCreationEngine.lean | Other | 4.6 KB | — |
| formal/lean/MalbolgePTXKernel.lean | Other | 3.7 KB | — |
| formal/lean/MalbolgeProcessorRoot.lean | Other | 9.2 KB | — |
| formal/lean/SHREWDWeightLoader.lean | Other | 4.1 KB | — |
| formal/lean/ZeroSorryCore.lean | Other | 4.5 KB | — |
| formal/lean/lean_jacobian_tensor_framework.lean | Other | 15.7 KB | — |
| formal/lean/vsm_binary_semantics.lean | Other | 9.9 KB | — |
| formal/lean/vsm_semantic_algebra.lean | Other | 11.3 KB | — |
| formal/linear-algebra/coq/LinearAlgebra.v | Other | 3.3 KB | — |
| formal/linear-algebra/isabelle/LinearAlgebra.thy | Other | 1.7 KB | — |
| formal/linear-algebra/lean/LinearAlgebraVerification.lean | Other | 6.9 KB | — |
| formal/linear-algebra/lean/ProjectionVerification.lean | Other | 2.3 KB | — |
| formal/linear-algebra/lean/Tests.lean | Other | 1.9 KB | — |
| formal/linear-algebra/lean/lakefile.lean | Other | 931 B | — |
| formal/tlm-jxcl/dafny/alu.dfy | Other | 6.9 KB | — |
| formal/tlm-jxcl/dafny/control.dfy | Other | 2.1 KB | — |
| formal/tlm-jxcl/dafny/flags.dfy | Other | 2.2 KB | — |
| formal/tlm-jxcl/dafny/keyring.dfy | Other | 2.5 KB | — |
| formal/tlm-jxcl/dafny/registers.dfy | Other | 1.8 KB | — |
| formal/tlm-jxcl/frama-c/Makefile | Other | 4.1 KB | — |
| formal/tlm-jxcl/frama-c/alu_contracts.h | Other | 9.3 KB | — |
| formal/tlm-jxcl/frama-c/binary_parser.c | Other | 5.5 KB | — |
| formal/tlm-jxcl/frama-c/binary_parser.h | Other | 5.3 KB | — |
| formal/tlm-jxcl/frama-c/execution_stack.c | Other | 6.7 KB | — |
| formal/tlm-jxcl/frama-c/execution_stack.h | Other | 7.6 KB | — |
| formal/tlm-jxcl/frama-c/memory.c | Other | 8.7 KB | — |
| formal/tlm-jxcl/frama-c/memory.h | Other | 7.7 KB | — |
| formal/token-verification/agda/SymbolOscillatorInvariant.agda | Other | 6.1 KB | — |
| formal/token-verification/agda/TokenModel.agda | Other | 5.4 KB | — |
| formal/token-verification/coq/TokenModel.v | Other | 3.7 KB | — |
| formal/token-verification/fstar/TokenModel.fst | Other | 5.0 KB | — |
| formal/token-verification/isabelle/TokenModel.thy | Other | 3.3 KB | — |
| formal/token-verification/lean/Dynamics.lean | Other | 4.3 KB | — |
| formal/token-verification/lean/Projection.lean | Other | 5.4 KB | — |
| formal/token-verification/lean/TokenModel.lean | Other | 5.8 KB | — |
| formal/token-verification/recursive/RecursiveAudit.agda | Other | 3.7 KB | — |
| formal/token-verification/recursive/RecursiveAudit.fst | Other | 2.9 KB | — |
| formal/token-verification/recursive/RecursiveAudit.lean | Other | 7.8 KB | — |
| formal/token-verification/recursive/RecursiveAudit.thy | Other | 2.2 KB | — |
| formal/token-verification/recursive/RecursiveAudit.v | Other | 3.8 KB | — |
| formal/verification-paper/main.pdf | Other | 258.9 KB | — |
| formal/verification-paper/main.tex | Other | 20.1 KB | — |
| frontend/auth/auth-guard.js | Other | 1.3 KB | — |
| frontend/auth/jwt.js | Other | 2.2 KB | — |
| frontend/auth/saml.js | Other | 2.7 KB | — |
| frontend/shadow-header/app.js | Other | 2.7 KB | — |
| frontend/shadow-header/build.cjs | Other | 542 B | — |
| frontend/shadow-header/hologram.wasm | Other | 579 B | — |
| frontend/shadow-header/hologram.wat | Other | 4.1 KB | — |
| frontend/shadow-header/index.html | Other | 1.1 KB | — |
| frontend/shadow-header/style.css | Other | 1.5 KB | — |
| frontend/shadow-header/test.cjs | Other | 1.6 KB | — |
| frontend/visual-workplace.html | Other | 212.1 KB | — |
| glm-evoke/__init__.py | Other | 1.0 KB | — |
| glm-evoke/attest.py | Other | 2.3 KB | — |
| glm-evoke/backends/torch_backend.py | Other | 5.0 KB | — |
| glm-evoke/core/blocks.py | Other | 1.6 KB | — |
| glm-evoke/core/kv_cache.py | Other | 2.0 KB | — |
| glm-evoke/core/loader.py | Other | 3.2 KB | — |
| glm-evoke/harness.py | Other | 3.3 KB | — |
| glm-evoke/models/make_checkpoint.py | Other | 1.7 KB | — |
| gpu/kernels/gpu_architecture_kernels.cu | Other | 15.3 KB | — |
| gpu/kernels/gpu_projection_kernels.cu | Other | 16.2 KB | — |
| gpu/projection_engine.cpp | Other | 42.2 KB | — |
| haskell/CliIsa.hs | Other | 2.1 KB | — |
| haskell/ControlLoopSpecs.lhs | Other | 1.2 KB | — |
| haskell/KrausExtractor.hs | Other | 8.4 KB | — |
| haskell/KrausExtractorMain.hs | Other | 3.1 KB | — |
| haskell/KrausLH.hs | Other | 5.1 KB | — |
| haskell/KrausLHTest.hs | Other | 4.5 KB | — |
| haskell/PhaseEstimationQuipper.hs | Other | 2.5 KB | — |
| haskell/QuipperTcpSenderLH.hs | Other | 5.4 KB | — |
| haskell/WeakMeasureCircuit.hs | Other | 2.4 KB | — |
| haskell/WeakMeasureKrausLH.hs | Other | 6.4 KB | — |
| he-binary-functor/apl/BRAID_INTERPRETER.apl | Other | 3.4 KB | — |
| he-binary-functor/apl/EVIDENCE_GATES.apl | Other | 5.2 KB | — |
| he-binary-functor/apl/EXEC_INTERPRETER.apl | Other | 3.0 KB | — |
| he-binary-functor/apl/OPCODES_V1.apl | Other | 3.5 KB | — |
| he-binary-functor/apl/VECTORIZED_OPS.apl | Other | 3.3 KB | — |
| he-binary-functor/beam/call_functor.erl | Other | 10.3 KB | — |
| he-binary-functor/block-lace/BlocklaceRefinements.hs | Other | 1.4 KB | — |
| he-binary-functor/block-lace/blocklace_ledger.hpp | Other | 1.6 KB | — |
| he-binary-functor/block-lace/re_invoke.rs | Other | 1.8 KB | — |
| he-binary-functor/bqn/sovereign_homogeneous.bqn | Other | 1.1 KB | — |
| he-binary-functor/c-core/call_core.c | Other | 5.7 KB | — |
| he-binary-functor/circom/manifold_verifier.circom | Other | 1.1 KB | — |
| he-binary-functor/crypto/convergence.rs | Other | 2.0 KB | — |
| he-binary-functor/crypto/iamac.rs | Other | 2.2 KB | — |
| he-binary-functor/crypto/kernel.rs | Other | 4.0 KB | — |
| he-binary-functor/crypto/main.rs | Other | 1.9 KB | — |
| he-binary-functor/crypto/malleability.rs | Other | 3.1 KB | — |
| he-binary-functor/crypto/seal_chain.rs | Other | 4.0 KB | — |
| he-binary-functor/crypto/zeros.rs | Other | 2.1 KB | — |
| he-binary-functor/cuda-q/manifold_greedy.cu | Other | 850 B | — |
| he-binary-functor/fibonacci-braid-ledger/FibRaid.hs | Other | 1.5 KB | — |
| he-binary-functor/fibonacci-braid-ledger/Ledger.hs | Other | 2.0 KB | — |
| he-binary-functor/fibonacci-braid-ledger/LiquidHaskell.hs | Other | 3.1 KB | — |
| he-binary-functor/fibonacci-braid-ledger/LiquidHaskell_full.hs | Other | 5.2 KB | — |
| he-binary-functor/fibonacci-braid-ledger/asm_x86/assembly.asm | Other | 4.3 KB | — |
| he-binary-functor/fibonacci-braid-ledger/bqn/braid.bqn | Other | 1.0 KB | — |
| he-binary-functor/fibonacci-braid-ledger/bqn/fibonacci.bqn | Other | 843 B | — |
| he-binary-functor/fibonacci-braid-ledger/bqn/ledger.bqn | Other | 1.5 KB | — |
| he-binary-functor/fibonacci-braid-ledger/bqn/ledger_full.bqn | Other | 1.9 KB | — |
| he-binary-functor/fibonacci-braid-ledger/bqn/tests.bqn | Other | 1.8 KB | — |
| he-binary-functor/fibonacci-braid-ledger/cpp/fbl_ledger.hpp | Other | 4.6 KB | — |
| he-binary-functor/fibonacci-braid-ledger/cpp/fib_braid_ledger.hpp | Other | 7.4 KB | — |
| he-binary-functor/fibonacci-braid-ledger/cpp/main.cpp | Other | 2.8 KB | — |
| he-binary-functor/fibonacci-braid-ledger/cpp/test_fib_braid_ledger.cpp | Other | 7.2 KB | — |
| he-binary-functor/fibonacci-braid-ledger/fbLedger.c | Other | 3.5 KB | — |
| he-binary-functor/fibonacci-braid-ledger/fbLedger.h | Other | 2.4 KB | — |
| he-binary-functor/fibonacci-braid-ledger/fb_append_rv64.s | Other | 5.7 KB | — |
| he-binary-functor/fibonacci-braid-ledger/fib.c | Other | 1.0 KB | — |
| he-binary-functor/fibonacci-braid-ledger/fib_braid.asm | Other | 4.8 KB | — |
| he-binary-functor/fibonacci-braid-ledger/fibraid.c | Other | 4.4 KB | — |
| he-binary-functor/fibonacci-braid-ledger/ledger.c | Other | 3.9 KB | — |
| he-binary-functor/fibonacci-braid-ledger/ledger_append.s | Other | 956 B | — |
| he-binary-functor/fibonacci-braid-ledger/test_fixtures/corrupted_seal.bten | Other | 284 B | — |
| he-binary-functor/fibonacci-braid-ledger/test_fixtures/inconsistent_bytecount.bten | Other | 200 B | — |
| he-binary-functor/fibonacci-braid-ledger/test_fixtures/invalid_rank.bten | Other | 196 B | — |
| he-binary-functor/fibonacci-braid-ledger/test_fixtures/misalignment.bten | Other | 197 B | — |
| he-binary-functor/fibonacci-braid-ledger/test_fixtures/offset_overflow.bten | Other | 160 B | — |
| he-binary-functor/fibonacci-braid-ledger/test_fixtures/payload_truncation.bten | Other | 274 B | — |
| he-binary-functor/fibonacci-braid-ledger/transit_seal.s | Other | 973 B | — |
| he-binary-functor/fibonacci-braid-ledger/word.c | Other | 1.4 KB | — |
| he-binary-functor/gfnand/bqn/workload.bqn | Other | 1.2 KB | — |
| he-binary-functor/gfnand/kani/src/verification.rs | Other | 3.1 KB | — |
| he-binary-functor/gfnand/src/ir.rs | Other | 1.6 KB | — |
| he-binary-functor/gfnand/src/metrics.rs | Other | 1.7 KB | — |
| he-binary-functor/gfnand/src/nand_lowering.rs | Other | 3.2 KB | — |
| he-binary-functor/gfnand/src/parser.rs | Other | 3.4 KB | — |
| he-binary-functor/gfnand/src/refinement.rs | Other | 2.2 KB | — |
| he-binary-functor/haskell/Workerman/Calculus.hs | Other | 24.1 KB | — |
| he-binary-functor/k/sovereign_tensor.k | Other | 775 B | — |
| he-binary-functor/kernel/Kernel.hs | Other | 2.1 KB | — |
| he-binary-functor/kernel/StateMachine.hs | Other | 3.6 KB | — |
| he-binary-functor/kernel/StateMachineKernel.hs | Other | 1.5 KB | — |
| he-binary-functor/kernel/dense_kernel.s | Other | 1.9 KB | — |
| he-binary-functor/kernel/pseudo_stack_kernel.s | Other | 1.1 KB | — |
| he-binary-functor/kernel/step_kernel.s | Other | 2.7 KB | — |
| he-binary-functor/kernel/worker.c | Other | 2.6 KB | — |
| he-binary-functor/lean4/sovereign_attractor.lean | Other | 3.6 KB | — |
| he-binary-functor/lean4/topological_quench.lean | Other | 2.1 KB | — |
| he-binary-functor/nand-architecture/fsl/nand_vm.fsl | Other | 2.9 KB | — |
| he-binary-functor/nand-architecture/kani/src/harnesses.rs | Other | 2.6 KB | — |
| he-binary-functor/nand-architecture/kani/src/verification.rs | Other | 2.2 KB | — |
| he-binary-functor/nand-architecture/rust/src/lib.rs | Other | 3.8 KB | — |
| he-binary-functor/qrisp/manifold_greedy.qrisp | Other | 644 B | — |
| he-binary-functor/qsharp/manifold_greedy.qs | Other | 525 B | — |
| he-binary-functor/rate-limiter/RateLimiter.hs | Other | 4.7 KB | — |
| he-binary-functor/rate-limiter/rate_limiter.s | Other | 3.1 KB | — |
| he-binary-functor/rust/manifold_gradient.rs | Other | 3.5 KB | — |
| he-binary-functor/rust/pwc_verified/Cargo.toml | Other | 508 B | — |
| he-binary-functor/rust/pwc_verified/examples/pipeline.rs | Other | 1.0 KB | — |
| he-binary-functor/rust/pwc_verified/src/lib.rs | Other | 876 B | — |
| he-binary-functor/rust/pwc_verified/src/pwc_core.rs | Other | 4.7 KB | — |
| he-binary-functor/rust/pwc_verified/src/pwc_hardware.rs | Other | 3.1 KB | — |
| he-binary-functor/rust/pwc_verified/src/pwc_pipeline.rs | Other | 1.7 KB | — |
| he-binary-functor/rust/pwc_verified/src/pwc_transform.rs | Other | 4.0 KB | — |
| he-binary-functor/rust/pwc_verified/src/tau_model.rs | Other | 2.0 KB | — |
| he-binary-functor/rust/pwc_verified/src/tests.rs | Other | 4.5 KB | — |
| he-binary-functor/rust/smt_parser.rs | Other | 3.3 KB | — |
| he-binary-functor/rust/toy_sha512_attack.rs | Other | 1.7 KB | — |
| he-binary-functor/rust/wormhole_transform.rs | Other | 4.6 KB | — |
| he-binary-functor/sgl/Main.hs | Other | 2.0 KB | — |
| he-binary-functor/sgl/SGL.hs | Other | 7.2 KB | — |
| he-binary-functor/systemverilog/braid_chord_flop_rom.sv | Other | 1.6 KB | — |
| he-binary-functor/systemverilog/pwc_hardware_accelerator.sv | Other | 4.2 KB | — |
| he-binary-functor/systemverilog/pwc_timing_verification.sv | Other | 1.1 KB | — |
| he-binary-functor/tensor-parser/ModelParserRefinement.hs | Other | 2.2 KB | — |
| he-binary-functor/tensor-parser/crc64.adb | Other | 2.1 KB | — |
| he-binary-functor/tensor-parser/crc64.ads | Other | 1.1 KB | — |
| he-binary-functor/tensor-parser/format.ads | Other | 3.2 KB | — |
| he-binary-functor/tensor-parser/format_bten.adb | Other | 2.2 KB | — |
| he-binary-functor/tensor-parser/format_bten.ads | Other | 4.6 KB | — |
| he-binary-functor/tensor-parser/format_mltr.ads | Other | 3.0 KB | — |
| he-binary-functor/tensor-parser/hmac_sha256.adb | Other | 2.1 KB | — |
| he-binary-functor/tensor-parser/hmac_sha256.ads | Other | 1.0 KB | — |
| he-binary-functor/tensor-parser/parser.adb | Other | 3.1 KB | — |
| he-binary-functor/tensor-parser/parser.ads | Other | 1.9 KB | — |
| he-binary-functor/tensor-parser/parser_bten.adb | Other | 6.6 KB | — |
| he-binary-functor/tensor-parser/parser_bten.ads | Other | 2.6 KB | — |
| he-binary-functor/tensor-parser/parser_final.adb | Other | 9.3 KB | — |
| he-binary-functor/tensor-parser/parser_mltr.adb | Other | 3.0 KB | — |
| he-binary-functor/tensor-parser/parser_mltr.ads | Other | 1.8 KB | — |
| he-binary-functor/tensor-parser/sha256.adb | Other | 6.8 KB | — |
| he-binary-functor/tensor-parser/sha256.ads | Other | 1.6 KB | — |
| he-binary-functor/tensor-parser/sha256_reverse.adb | Other | 1.9 KB | — |
| he-binary-functor/tensor-parser/sha256_reverse.ads | Other | 854 B | — |
| he-binary-functor/tensor-parser/test_fixtures/empty_model.bten | Other | 128 B | — |
| he-binary-functor/tensor-parser/test_fixtures/invalid_dtype.bten | Other | 196 B | — |
| he-binary-functor/tensor-parser/test_fixtures/malformed_magic.bten | Other | 284 B | — |
| he-binary-functor/tensor-parser/test_fixtures/malformed_magic_dup.bten | Other | 284 B | — |
| he-binary-functor/tensor-parser/test_fixtures/max_rank.bten | Other | 1.2 KB | — |
| he-binary-functor/tensor-parser/test_fixtures/max_tensor_count.bten | Other | 65.7 KB | — |
| he-binary-functor/tensor-parser/test_fixtures/truncated_descriptor.bten | Other | 96 B | — |
| he-binary-functor/tensor-parser/test_fixtures/truncated_descriptor_dup.bten | Other | 96 B | — |
| he-binary-functor/tensor-parser/test_fixtures/valid_2tensors.bten | Other | 284 B | — |
| he-binary-functor/tensor-parser/test_fixtures/valid_2tensors_v2.bten | Other | 284 B | — |
| he-binary-functor/tensor-parser/validation.adb | Other | 2.1 KB | — |
| he-binary-functor/tensor-parser/validation.ads | Other | 1.1 KB | — |
| he-binary-functor/tensor-parser/validation_final.adb | Other | 4.1 KB | — |
| he-binary-functor/tensor-parser/validation_final.ads | Other | 1.8 KB | — |
| he-binary-functor/tensor-parser/validation_mltr.adb | Other | 2.8 KB | — |
| he-binary-functor/tensor-parser/validation_mltr.ads | Other | 736 B | — |
| he-binary-functor/uiua/fibonacci_sonification.ua | Other | 744 B | — |
| he-binary-functor/uiua/quantum_entanglement.ua | Other | 899 B | — |
| he-binary-functor/verilog-a/braid_trig_processor.va | Other | 783 B | — |
| he-binary-functor/verilog-a/fibonacci_topological_lattice.va | Other | 1.5 KB | — |
| he-binary-functor/verilog-a/grover_analog_core.va | Other | 2.1 KB | — |
| he-binary-functor/verilog-a/grover_iteration_2q.va | Other | 2.2 KB | — |
| he-binary-functor/verilog-a/many_world_anyon_braid.va | Other | 2.4 KB | — |
| he-binary-functor/verilog-a/nano_grover_triple_iteration.va | Other | 2.3 KB | — |
| he-binary-functor/verilog-a/spatial_grover_lattice.va | Other | 2.1 KB | — |
| he-binary-functor/verilog-a/trig_braid_processor.va | Other | 1.2 KB | — |
| he-binary-functor/verilog-a/trig_processor.va | Other | 877 B | — |
| he-binary-functor/why3/pwc_core.mlw | Other | 6.9 KB | — |
| he-binary-functor/why3/pwc_hardware_proof.mlw | Other | 1.9 KB | — |
| he-binary-functor/xslt-wasm/Cargo.toml | Other | 463 B | — |
| he-binary-functor/xslt-wasm/build.sh | Other | 2.1 KB | — |
| he-binary-functor/xslt-wasm/examples/input.xml | Other | 349 B | — |
| he-binary-functor/xslt-wasm/examples/sample.xslt | Other | 687 B | — |
| he-binary-functor/xslt-wasm/js/xslt_host.js | Other | 2.8 KB | — |
| he-binary-functor/xslt-wasm/src/compiler.rs | Other | 8.2 KB | — |
| he-binary-functor/xslt-wasm/ts/xslt_parser.ts | Other | 3.8 KB | — |
| isa-jvm/compiler/__init__.py | Other | 1.1 KB | — |
| isa-jvm/compiler/bytecode.py | Other | 8.1 KB | — |
| isa-jvm/compiler/ir.py | Other | 2.8 KB | — |
| isa-jvm/compiler/parser.py | Other | 4.6 KB | — |
| isa-jvm/compiler/regmap.py | Other | 1.4 KB | — |
| isa-jvm/compiler/verifier.py | Other | 3.9 KB | — |
| isa-jvm/examples/arith.isa | Other | 283 B | — |
| isa-jvm/examples/channel.isa | Other | 217 B | — |
| isa-jvm/examples/memory.isa | Other | 174 B | — |
| isa-jvm/isa/__init__.py | Other | 1.1 KB | — |
| isa-jvm/isa/opcodes.py | Other | 6.2 KB | — |
| isa-jvm/isa/types.py | Other | 3.4 KB | — |
| isa-jvm/runtime/__init__.py | Other | 836 B | — |
| isa-jvm/runtime/agents.py | Other | 4.0 KB | — |
| isa-jvm/runtime/interpreter.py | Other | 8.2 KB | — |
| isa-jvm/runtime/invokedynamic_stub.py | Other | 3.1 KB | — |
| isa-jvm/runtime/loader.py | Other | 3.6 KB | — |
| isa-jvm/tests/test_differential.py | Other | 3.5 KB | — |
| isa-jvm/tests/test_isa.py | Other | 3.4 KB | — |
| isa-jvm/tools/__init__.py | Other | 185 B | — |
| isa-jvm/tools/trace_viewer.py | Other | 1.2 KB | — |
| kernel-language/Makefile | Other | 1.0 KB | — |
| kernel-language/examples/bit_ops.kl | Other | 515 B | — |
| kernel-language/examples/parallel_add.kl | Other | 494 B | — |
| kernel-language/examples/self_hosted_compiler.kl | Other | 18.5 KB | — |
| kernel-language/examples/word_arith.kl | Other | 402 B | — |
| kernel-language/include/ast.h | Other | 4.1 KB | — |
| kernel-language/include/codegen.h | Other | 317 B | — |
| kernel-language/include/ir.h | Other | 2.1 KB | — |
| kernel-language/include/lexer.h | Other | 593 B | — |
| kernel-language/include/parser.h | Other | 472 B | — |
| kernel-language/include/regalloc.h | Other | 1.1 KB | — |
| kernel-language/include/symtab.h | Other | 1.8 KB | — |
| kernel-language/include/token.h | Other | 1.7 KB | — |
| kernel-language/oberon/Kernel.Mod | Other | 1.6 KB | — |
| kernel-language/oberon/ML.Mod | Other | 1.4 KB | — |
| kernel-language/runtime/cpl_bridge.c | Other | 4.2 KB | — |
| kernel-language/runtime/cpl_bridge.h | Other | 2.2 KB | — |
| kernel-language/runtime/st80_runtime.c | Other | 4.1 KB | — |
| kernel-language/src/codegen.c | Other | 14.6 KB | — |
| kernel-language/src/ir.c | Other | 4.1 KB | — |
| kernel-language/src/lexer.c | Other | 8.1 KB | — |
| kernel-language/src/main.c | Other | 2.0 KB | — |
| kernel-language/src/parser.c | Other | 15.5 KB | — |
| kernel-language/src/regalloc.c | Other | 3.9 KB | — |
| kernel-language/src/symtab.c | Other | 7.6 KB | — |
| languages/ada/cli_isa.adb | Other | 1.6 KB | — |
| languages/ada/cli_isa.ads | Other | 362 B | — |
| languages/ada/enochian_boot.adb | Other | 1.2 KB | — |
| languages/ada/enochian_boot.ads | Other | 740 B | — |
| languages/ada/loader.adb | Other | 12.1 KB | — |
| languages/ada/loader.ads | Other | 3.3 KB | — |
| languages/ada/malbolge_firmware.adb | Other | 4.5 KB | — |
| languages/ada/malbolge_firmware.ads | Other | 882 B | — |
| languages/ada/memory_manager.adb | Other | 3.3 KB | — |
| languages/ada/memory_manager.ads | Other | 2.7 KB | — |
| languages/ada/unsigned_types.ads | Other | 537 B | — |
| languages/apl/06a76100741e52c56f5e9c588bd0f572.apl | Other | 6.2 KB | — |
| languages/apl/LiquidAssert.apl | Other | 40.1 KB | — |
| languages/apl/transformer.apl | Other | 6.2 KB | — |
| languages/braid/algebra/generator.rs | Other | 775 B | — |
| languages/chisel/WormHardwareAccelerator.scala | Other | 2.5 KB | — |
| languages/eclipse/eclipse_parlog_fused_kernel.ecl | Other | 19.0 KB | — |
| languages/futhark/wigner_futhark.fut | Other | 1.7 KB | — |
| languages/lisp/QA5-REACTIVE-THEOREM-PROVER.l | Other | 17.8 KB | — |
| languages/lisp/qa5-reactive-prover.lisp | Other | 17.0 KB | — |
| languages/logtalk/godel_symbolic_kernel.lgt | Other | 18.0 KB | — |
| languages/mathematics/topology/manifold.py | Other | 763 B | — |
| languages/prolog/funnel_backend.pl | Other | 1.8 KB | — |
| languages/ptx/host_launcher.cu | Other | 1.3 KB | — |
| languages/ptx/malbolge_step_kernel.cu | Other | 2.7 KB | — |
| languages/ptx/micro_kernel.ptx | Other | 1.2 KB | — |
| languages/ptx/ptx_inverted_softmax.ptx | Other | 4.7 KB | — |
| languages/topos/pipeline.pl | Other | 3.1 KB | — |
| languages/x86_64/quantum_validation.s | Other | 703 B | — |
| languages/x86_64/treasury_serialization.nasm | Other | 2.1 KB | — |
| languages/x86_64/treasury_worm_ipl.asm | Other | 12.2 KB | — |
| lua/example_usage_all_backends.lua | Other | 18.9 KB | — |
| lua/init.lua | Other | 404 B | — |
| lua/metabinary.lua | Other | 17.2 KB | — |
| lua/metabinary_builder_facade.lua | Other | 15.6 KB | — |
| lua/metabinary_codec.lua | Other | 9.4 KB | — |
| lua/metabinary_complete.lua | Other | 16.3 KB | — |
| lua/metabinary_ffi_bindings.lua | Other | 16.1 KB | — |
| lua/metabinary_final_assembly.lua | Other | 16.5 KB | — |
| metal/Package.swift | Other | 919 B | — |
| metal/Sources/AgentUX/AgentUIState.swift | Other | 2.1 KB | — |
| metal/Sources/AgentUX/AppleRecreationView.swift | Other | 5.0 KB | — |
| metal/Sources/AgentUX/AssemblyBridge.swift | Other | 1.5 KB | — |
| metal/Sources/AgentUX/DylanClient.swift | Other | 1.3 KB | — |
| metal/Sources/AgentUX/DylanFrame.swift | Other | 3.6 KB | — |
| metal/Sources/AgentUX/Shaders/AvatarShaders.metal | Other | 2.6 KB | — |
| metal/Sources/MetalTransformer/MetalTransformer.swift | Other | 3.6 KB | — |
| metal/Sources/MetalTransformer/Transformer.metal | Other | 65.6 KB | — |
| metal/Sources/SwiftTinyLLM/Model.swift | Other | 8.5 KB | — |
| metal/Sources/SwiftTinyLLM/ModelConfig.swift | Other | 2.0 KB | — |
| metal/Sources/SwiftTinyLLM/RMSNorm.swift | Other | 1.2 KB | — |
| metal/Sources/SwiftTinyLLM/Random.swift | Other | 625 B | — |
| metal/Sources/SwiftTinyLLM/RoPE.swift | Other | 1.2 KB | — |
| metal/Sources/SwiftTinyLLM/Runtime.swift | Other | 4.9 KB | — |
| metal/Sources/SwiftTinyLLM/SwiGLU.swift | Other | 1.4 KB | — |
| metal/Sources/SwiftTinyLLM/Tensor.swift | Other | 5.0 KB | — |
| metal/Sources/SwiftTinyLLM/WebServer.swift | Other | 10.4 KB | — |
| metal/Sources/SwiftTinyLLM/main.swift | Other | 1.1 KB | — |
| metal/Tests/MetalTransformerTests.swift | Other | 548 B | — |
| metal/frontend/quantum_shadow_ledger.html | Other | 17.2 KB | — |
| metal/frontend/source/util.ts | Other | 777 B | — |
| metal/m5-gateway/M5OSApp.swift | Other | 14.0 KB | — |
| metal/m5-gateway/m5_gateway.wat | Other | 3.2 KB | — |
| occam-b-bscl/examples/arithmetic.b | Other | 382 B | — |
| occam-b-bscl/examples/channel.b | Other | 174 B | — |
| occam-b-bscl/examples/factorial.b | Other | 216 B | — |
| occam-b-bscl/examples/fibonacci.b | Other | 263 B | — |
| occam-b-bscl/examples/hello.b | Other | 153 B | — |
| occam-b-bscl/examples/parallel.b | Other | 236 B | — |
| occam-b-bscl/examples/producer_consumer.b | Other | 346 B | — |
| occam-b-bscl/examples/select.b | Other | 436 B | — |
| occam-b-bscl/include/types.h | Other | 500 B | — |
| occam-b-bscl/src/bscl.c | Other | 1.9 KB | — |
| occam-b-bscl/src/cli.c | Other | 8.5 KB | — |
| occam-b-bscl/src/compiler.c | Other | 13.8 KB | — |
| occam-b-bscl/src/emit.c | Other | 6.1 KB | — |
| occam-b-bscl/src/ir.c | Other | 2.2 KB | — |
| occam-b-bscl/tests/test_channels.c | Other | 2.4 KB | — |
| occam-b-bscl/tests/test_compiler.c | Other | 4.0 KB | — |
| occam-b-bscl/tests/test_ir.c | Other | 1.2 KB | — |
| occam-b-bscl/tests/test_lexer.c | Other | 1.5 KB | — |
| occam-b-bscl/tests/test_parser.c | Other | 1.7 KB | — |
| occam-b-bscl/tests/test_scheduler.c | Other | 3.4 KB | — |
| occam-b-bscl/tests/test_vm.c | Other | 3.4 KB | — |
| occam-b-bscl/tests/test_wordcode.c | Other | 2.6 KB | — |
| physics/hawking-radiation/dissipationOperator.m | Other | 5.5 KB | — |
| physics/hawking-radiation/horizonFluctuations.m | Other | 4.8 KB | — |
| physics/hawking-radiation/incomingMode.m | Other | 3.5 KB | — |
| physics/hawking-radiation/modeSpectrum.m | Other | 3.5 KB | — |
| physics/hawking-radiation/outgoingMode.m | Other | 3.6 KB | — |
| physics/hawking-radiation/phaseOperator.m | Other | 3.7 KB | — |
| physics/julia-rwpt/FPGAMock.jl | Other | 483 B | — |
| physics/julia-rwpt/FPGA_API.jl | Other | 917 B | — |
| physics/julia-rwpt/FutharkFFI.jl | Other | 643 B | — |
| physics/julia-rwpt/RWPT.jl | Other | 2.3 KB | — |
| physics/julia-rwpt/e2e_sim_harness.jl | Other | 1.5 KB | — |
| physics/julia-rwpt/julia_driver.jl | Other | 5.0 KB | — |
| physics/julia-rwpt/jung_rwpt_sim.jl | Other | 1.8 KB | — |
| physics/julia-rwpt/jung_sim.jl | Other | 1.5 KB | — |
| physics/julia-rwpt/quipper_client.jl | Other | 1.4 KB | — |
| physics/jungian-dynamics/Almost_Sure_Convergence.thy | Other | 4.0 KB | — |
| physics/jungian-dynamics/Control_Invariants.thy | Other | 1.1 KB | — |
| physics/jungian-dynamics/Density_Matrix.thy | Other | 2.1 KB | — |
| physics/jungian-dynamics/GKSL_Semigroup.thy | Other | 2.1 KB | — |
| physics/jungian-dynamics/Jungian_Formalization.thy | Other | 2.7 KB | — |
| physics/jungian-dynamics/Jungian_Prob_Dynamics.thy | Other | 3.1 KB | — |
| physics/jungian-dynamics/Jungian_Stochastic_Convergence_Full.thy | Other | 6.5 KB | — |
| physics/jungian-dynamics/Lindblad_GKSL.thy | Other | 2.7 KB | — |
| physics/jungian-dynamics/Quantum_Jump_Update.thy | Other | 3.0 KB | — |
| physics/jungian-dynamics/Quipper_Kraus_Check.thy | Other | 5.2 KB | — |
| polyglot/asm/switchboard_optimizations.asm | Other | 38.1 KB | — |
| polyglot/interop_ffi.h | Other | 11.2 KB | — |
| polyglot/polyglot_builder.go | Other | 16.4 KB | — |
| polyglot/polyglot_builder.h | Other | 11.2 KB | — |
| polyglot/polyglot_builder.rs | Other | 19.2 KB | — |
| polyglot/turing_binary_foundation.go | Other | 14.2 KB | — |
| polyglot/turing_cfg_ptm.go | Other | 17.8 KB | — |
| polyglot/turing_quipper_jcl.go | Other | 24.6 KB | — |
| products/bank-commercial/pyproject.toml | Other | 848 B | — |
| products/bank_sandbox.py | Other | 2.8 KB | — |
| qflow/compiler/AST.hs | Other | 4.8 KB | — |
| qflow/compiler/Lexer.hs | Other | 5.9 KB | — |
| qflow/compiler/Main.hs | Other | 988 B | — |
| qflow/compiler/Parser.hs | Other | 13.2 KB | — |
| qflow/examples/bell.qflow | Other | 492 B | — |
| qflow/qflow.cabal | Other | 752 B | — |
| quantum_computer/__init__.py | Other | 842 B | — |
| quantum_computer/algorithms/__init__.py | Other | 14.6 KB | — |
| quantum_computer/algorithms/advanced.py | Other | 27.4 KB | — |
| quantum_computer/algorithms/topological.py | Other | 15.7 KB | — |
| quantum_computer/circuit/advanced_optimizer.py | Other | 19.9 KB | — |
| quantum_computer/circuit/circuit.py | Other | 13.3 KB | — |
| quantum_computer/circuit/dag.py | Other | 6.9 KB | — |
| quantum_computer/circuit/optimizer.py | Other | 6.1 KB | — |
| quantum_computer/circuit/scheduler.py | Other | 6.3 KB | — |
| quantum_computer/core/__init__.py | Other | 783 B | — |
| quantum_computer/core/complex.py | Other | 7.8 KB | — |
| quantum_computer/core/matrix.py | Other | 17.1 KB | — |
| quantum_computer/core/register.py | Other | 13.1 KB | — |
| quantum_computer/core/state.py | Other | 10.2 KB | — |
| quantum_computer/error_correction/__init__.py | Other | 16.6 KB | — |
| quantum_computer/gates/__init__.py | Other | 13.4 KB | — |
| quantum_computer/hardware/__init__.py | Other | 14.6 KB | — |
| quantum_computer/noise/__init__.py | Other | 13.6 KB | — |
| quantum_computer/noise/advanced.py | Other | 13.6 KB | — |
| quantum_computer/serialization/__init__.py | Other | 15.3 KB | — |
| quantum_computer/tests/test_extended.py | Other | 15.7 KB | — |
| quantum_computer/tests/test_full.py | Other | 33.2 KB | — |
| quantum_computer/tests/test_simulator.py | Other | 9.1 KB | — |
| quantum_computer/validation/__init__.py | Other | 12.4 KB | — |
| quantum_computer/vm/__init__.py | Other | 11.0 KB | — |
| quantum_computer/vm/simulator.py | Other | 20.6 KB | — |
| retro-gpu/ALU.occ | Other | 3.2 KB | — |
| retro-gpu/GlobalMemory.occ | Other | 2.8 KB | — |
| retro-gpu/Makefile | Other | 893 B | — |
| retro-gpu/Registers.occ | Other | 3.3 KB | — |
| retro-gpu/RetroGPUCompiler.occ | Other | 3.8 KB | — |
| retro-gpu/RetroGPUTypes.occ | Other | 5.7 KB | — |
| retro-gpu/SharedMemory.occ | Other | 3.5 KB | — |
| retro-gpu/Synchronization.occ | Other | 2.6 KB | — |
| retro-gpu/Tensor.occ | Other | 2.0 KB | — |
| retro-gpu/Warp.occ | Other | 2.3 KB | — |
| retro-gpu/examples/gemm.occ | Other | 1.9 KB | — |
| retro-gpu/modula2/definitions/ALU.def | Other | 842 B | — |
| retro-gpu/modula2/definitions/Registers.def | Other | 1.5 KB | — |
| retro-gpu/modula2/definitions/RetroGPU.def | Other | 2.0 KB | — |
| retro-gpu/modula2/definitions/Warp.def | Other | 631 B | — |
| retro-gpu/ocaml/Makefile | Other | 1.7 KB | — |
| retro-gpu/ocaml/examples/GemmKernel.ml | Other | 1.6 KB | — |
| retro-gpu/ocaml/src/alu/ALU.ml | Other | 5.6 KB | — |
| retro-gpu/ocaml/src/compiler/RetroCompiler.ml | Other | 2.1 KB | — |
| retro-gpu/ocaml/src/interpreter/Interpreter.ml | Other | 1.7 KB | — |
| retro-gpu/ocaml/src/registers/Registers.ml | Other | 6.3 KB | — |
| retro-gpu/ocaml/src/shared/SharedMemory.ml | Other | 829 B | — |
| retro-gpu/ocaml/src/types/RetroGPUTypes.ml | Other | 5.5 KB | — |
| retro-gpu/ocaml/src/warp/Warp.ml | Other | 4.3 KB | — |
| retro-gpu/ocaml/tests/BlockTests.ml | Other | 1.7 KB | — |
| retro-gpu/ocaml/tests/test_full_pipeline.ml | Other | 2.1 KB | — |
| retro-gpu/ocaml/tests/test_registers.ml | Other | 3.4 KB | — |
| retro-gpu/sml/ALU.sml | Other | 2.3 KB | — |
| retro-gpu/sml/Compiler.sml | Other | 2.0 KB | — |
| retro-gpu/sml/GEMM.sml | Other | 2.6 KB | — |
| retro-gpu/sml/Hopper.sml | Other | 1.7 KB | — |
| retro-gpu/sml/Instruction.sml | Other | 1.1 KB | — |
| retro-gpu/sml/Interpreter.sml | Other | 1.3 KB | — |
| retro-gpu/sml/Kernel.sml | Other | 1.3 KB | — |
| retro-gpu/sml/Memory.sml | Other | 1.3 KB | — |
| retro-gpu/sml/RetroGPUCore.sml | Other | 1.4 KB | — |
| retro-gpu/sml/Scheduler.sml | Other | 1.1 KB | — |
| retro-gpu/sml/Sync.sml | Other | 836 B | — |
| retro-gpu/sml/Tensor.sml | Other | 1.2 KB | — |
| retro-gpu/sml/Warp.sml | Other | 1.5 KB | — |
| retro-gpu/sml/types/RetroGPUTypes.sml | Other | 4.3 KB | — |
| retro-gpu/src/RetroGPU.occ | Other | 13.2 KB | — |
| retro-gpu/tests/test.occ | Other | 744 B | — |
| rust/fsl/Cargo.lock | Other | 147 B | — |
| rust/fsl/Cargo.toml | Other | 381 B | — |
| rust/fsl/src/assert_q/constraint.rs | Other | 4.5 KB | — |
| rust/fsl/src/assert_q/formula.rs | Other | 7.4 KB | — |
| rust/fsl/src/assert_q/mod.rs | Other | 1.1 KB | — |
| rust/fsl/src/assert_q/propagation.rs | Other | 12.3 KB | — |
| rust/fsl/src/assert_q/reactive_store.rs | Other | 3.8 KB | — |
| rust/fsl/src/assert_q/solver.rs | Other | 5.3 KB | — |
| rust/fsl/src/cbmc.rs | Other | 19.1 KB | — |
| rust/fsl/src/cbmc_binary_semantics.rs | Other | 17.1 KB | — |
| rust/fsl/src/cbmc_binary_semantics_assembly.rs | Other | 17.1 KB | — |
| rust/fsl/src/crux/ast.rs | Other | 16.2 KB | — |
| rust/fsl/src/crux/lean_backend.rs | Other | 14.1 KB | — |
| rust/fsl/src/crux/lean_monad_stack.rs | Other | 10.8 KB | — |
| rust/fsl/src/crux/mod.rs | Other | 1.6 KB | — |
| rust/fsl/src/crux/omega.rs | Other | 7.3 KB | — |
| rust/fsl/src/crux/pcc.rs | Other | 7.2 KB | — |
| rust/fsl/src/crux/pipeline.rs | Other | 10.0 KB | — |
| rust/fsl/src/crux/russian.rs | Other | 27.5 KB | — |
| rust/fsl/src/crux/sas_backend.rs | Other | 10.0 KB | — |
| rust/fsl/src/crux/z3_backend.rs | Other | 13.2 KB | — |
| rust/fsl/src/eclipse_parlog/arithmetic.rs | Other | 6.1 KB | — |
| rust/fsl/src/eclipse_parlog/domain.rs | Other | 6.9 KB | — |
| rust/fsl/src/eclipse_parlog/globals.rs | Other | 4.5 KB | — |
| rust/fsl/src/eclipse_parlog/mod.rs | Other | 1.4 KB | — |
| rust/fsl/src/eclipse_parlog/parlog.rs | Other | 4.8 KB | — |
| rust/fsl/src/eclipse_parlog/search.rs | Other | 5.6 KB | — |
| rust/fsl/src/eclipse_parlog/suspension.rs | Other | 4.3 KB | — |
| rust/fsl/src/lib.rs | Other | 36.6 KB | — |
| rust/fsl/src/qa5/clause.rs | Other | 3.3 KB | — |
| rust/fsl/src/qa5/mod.rs | Other | 1.3 KB | — |
| rust/fsl/src/qa5/prover.rs | Other | 5.6 KB | — |
| rust/fsl/src/qa5/racket_morph.rs | Other | 6.1 KB | — |
| rust/fsl/src/qa5/reactive.rs | Other | 2.9 KB | — |
| rust/fsl/src/qa5/resolution.rs | Other | 4.1 KB | — |
| rust/fsl/src/qa5/strategy.rs | Other | 2.8 KB | — |
| rust/fsl/src/qa5/unification.rs | Other | 5.0 KB | — |
| rust/fsl/src/sovereign_neural_saas_core.rs | Other | 15.1 KB | — |
| rust/fsl/src/theorem_ledger.rs | Other | 92.9 KB | — |
| schema/ORC_SCHEMA.sql | Other | 2.0 KB | — |
| schema/schema-extended.sql | Other | 2.7 KB | — |
| scripts/add-license-headers.ps1 | Other | 30.1 KB | — |
| scripts/audit_license_notices.ps1 | Other | 2.9 KB | — |
| scripts/build.sh | Other | 1.2 KB | — |
| scripts/build_all.sh | Other | 1.3 KB | — |
| scripts/check_deep_imports.py | Other | 5.1 KB | — |
| scripts/compile_wasm.js | Other | 1.7 KB | — |
| scripts/extract_bank_product.py | Other | 3.1 KB | — |
| scripts/funnelc.py | Other | 25.8 KB | — |
| scripts/generate_diagrams.sh | Other | 2.7 KB | — |
| scripts/make_gif.py | Other | 3.2 KB | — |
| scripts/product_suite.py | Other | 12.4 KB | — |
| scripts/prove_memory_manager.sh | Other | 1.0 KB | — |
| scripts/publish-watch.sh | Other | 2.3 KB | — |
| scripts/publish.sh | Other | 39.1 KB | — |
| scripts/run_pipeline.sh | Other | 2.5 KB | — |
| scripts/synthesize_ptx.sh | Other | 1.6 KB | — |
| scripts/test_runner.sh | Other | 1.3 KB | — |
| scripts/verify_product_bundles.py | Other | 1.9 KB | — |
| semiconductor/mosfet_to_cpu.py | Other | 17.6 KB | — |
| semiconductor/sk_attention_matvec.vhd | Other | 16.8 KB | — |
| semiconductor/sk_logic_cells.vhd | Other | 11.6 KB | — |
| semiconductor/sk_transformer.vhd | Other | 21.8 KB | — |
| semiconductor/transformer_matlab.m | Other | 7.2 KB | — |
| sovereign/glm/gguf_loader.py | Other | 55.6 KB | — |
| sovereign/ledger/event.go | Other | 10.6 KB | — |
| sovereign/ledger/example_test.go | Other | 7.7 KB | — |
| sovereign/ledger/go.mod | Other | 267 B | — |
| sovereign/ledger/io.go | Other | 9.5 KB | — |
| sovereign/ledger/ledger.go | Other | 11.8 KB | — |
| sovereign/ledger/ledger_test.go | Other | 12.6 KB | — |
| sovereign/ledger/serialization.go | Other | 10.6 KB | — |
| src/__init__.py | Other | 185 B | — |
| src/a68/activ.a68 | Other | 5.1 KB | — |
| src/a68/attention.a68 | Other | 4.7 KB | — |
| src/a68/attn_core.a68 | Other | 16.4 KB | — |
| src/a68/benchmark.a68 | Other | 5.9 KB | — |
| src/a68/determinism_suite.a68 | Other | 10.3 KB | — |
| src/a68/embedding.a68 | Other | 43.6 KB | — |
| src/a68/evaluation.a68 | Other | 11.1 KB | — |
| src/a68/inference.a68 | Other | 9.2 KB | — |
| src/a68/invariant_registry.a68 | Other | 4.4 KB | — |
| src/a68/jacobian.a68 | Other | 5.2 KB | — |
| src/a68/main.a68 | Other | 3.0 KB | — |
| src/a68/mlp.a68 | Other | 9.5 KB | — |
| src/a68/model.a68 | Other | 3.3 KB | — |
| src/a68/norm.a68 | Other | 4.6 KB | — |
| src/a68/optimizer.a68 | Other | 11.0 KB | — |
| src/a68/oss1230_manifest.a68 | Other | 969 B | — |
| src/a68/output_head.a68 | Other | 7.7 KB | — |
| src/a68/pos_enc.a68 | Other | 7.2 KB | — |
| src/a68/serialization.a68 | Other | 8.1 KB | — |
| src/a68/tensor.a68 | Other | 5.2 KB | — |
| src/a68/transformer_block.a68 | Other | 12.8 KB | — |
| src/a68/transformer_model.a68 | Other | 14.3 KB | — |
| src/acceptance-tests.go | Other | 8.0 KB | — |
| src/acceptance_test.go | Other | 17.6 KB | — |
| src/ada/memory_manager.gpr | Other | 571 B | — |
| src/agol86/agol86_activ.py | Other | 996 B | — |
| src/agol86/agol86_attention.py | Other | 1.3 KB | — |
| src/agol86/agol86_block.py | Other | 1.6 KB | — |
| src/agol86/agol86_export_onnx.py | Other | 1.3 KB | — |
| src/agol86/agol86_infer.py | Other | 1.3 KB | — |
| src/agol86/agol86_jacobian.py | Other | 1.2 KB | — |
| src/agol86/agol86_mixed_precision.py | Other | 1.4 KB | — |
| src/agol86/agol86_model.a86 | Other | 7.0 KB | — |
| src/agol86/agol86_model.py | Other | 1.5 KB | — |
| src/agol86/agol_activ.py | Other | 989 B | — |
| src/agol86/agol_attention.py | Other | 1.2 KB | — |
| src/agol86/agol_block.py | Other | 1.6 KB | — |
| src/agol86/agol_infer.py | Other | 1.4 KB | — |
| src/agol86/agol_model.py | Other | 1.3 KB | — |
| src/agol86/ddp_train.py | Other | 1.7 KB | — |
| src/agol86/export_onnx.py | Other | 1.4 KB | — |
| src/agol86/main.py | Other | 2.0 KB | — |
| src/agol86/main_agol86.py | Other | 1.9 KB | — |
| src/agol86/mixed_precision_train.py | Other | 1.5 KB | — |
| src/agol86/triton_attention.py | Other | 2.0 KB | — |
| src/api.go | Other | 4.3 KB | — |
| src/api/PublicAPI.swift | Other | 25.7 KB | — |
| src/archive-extract-verify.go | Other | 7.8 KB | — |
| src/archive-tools.go | Other | 28.9 KB | — |
| src/asp/incremental/incremental.go | Other | 17.9 KB | — |
| src/asp/incremental/incremental_advanced.go | Other | 16.3 KB | — |
| src/asp/incremental/incremental_utils.go | Other | 14.4 KB | — |
| src/audit-module.go | Other | 8.2 KB | — |
| src/audit-seal.go | Other | 9.7 KB | — |
| src/audit-verify.go | Other | 5.7 KB | — |
| src/audit.py | Other | 4.8 KB | — |
| src/bqn/transformer.bqn | Other | 8.0 KB | — |
| src/cli.py | Other | 6.4 KB | — |
| src/cli/CLI.swift | Other | 30.7 KB | — |
| src/cli_isa.ts | Other | 1.5 KB | — |
| src/cold_boot.py | Other | 19.4 KB | — |
| src/control-dag.go | Other | 16.0 KB | — |
| src/control-policy.go | Other | 10.6 KB | — |
| src/cuda/cuda_shim.c | Other | 1.7 KB | — |
| src/cuda/cuda_softmax_masked.cu | Other | 9.1 KB | — |
| src/cuda/vector_add.cu | Other | 1.2 KB | — |
| src/cuda/verify_softmax_fd.cu | Other | 3.4 KB | — |
| src/ebnf/81130392bc1d11c719679c5f93e3f0c0.ebnf | Other | 2.4 KB | — |
| src/example_abstention.go | Other | 6.9 KB | — |
| src/example_consistency_validator.go | Other | 6.1 KB | — |
| src/example_math_routing.go | Other | 3.3 KB | — |
| src/example_test.go | Other | 7.2 KB | — |
| src/ground_advanced.go | Other | 14.2 KB | — |
| src/ground_optimization.go | Other | 13.1 KB | — |
| src/grounder.go | Other | 16.1 KB | — |
| src/gui-main.go | Other | 7.1 KB | — |
| src/icp_anchor.py | Other | 12.2 KB | — |
| src/ir_types.go | Other | 4.6 KB | — |
| src/jax_functional_transformer.py | Other | 11.9 KB | — |
| src/jax_gpt_model.py | Other | 15.1 KB | — |
| src/jax_sequential_jacobian.py | Other | 2.8 KB | — |
| src/jax_transformer_harness.py | Other | 38.2 KB | — |
| src/jit_webllm_toy_transformer.js | Other | 10.8 KB | — |
| src/loader.ts | Other | 2.5 KB | — |
| src/main-app.go | Other | 10.2 KB | — |
| src/native/wasm_loader.zig | Other | 20.9 KB | — |
| src/native/worm_block.h | Other | 2.0 KB | — |
| src/native/worm_commit.c | Other | 4.0 KB | — |
| src/nct_resonance_simulator.py | Other | 19.4 KB | — |
| src/omega_jax_pivot.py | Other | 4.9 KB | — |
| src/oscillator_fixedpoints.py | Other | 2.5 KB | — |
| src/pascal/Activations.pas | Other | 7.7 KB | — |
| src/pascal/Attention.pas | Other | 6.4 KB | — |
| src/pascal/JacobianCore.pas | Other | 10.4 KB | — |
| src/pascal/Main.pas | Other | 4.0 KB | — |
| src/pascal/Model.pas | Other | 4.8 KB | — |
| src/pascal/TensorCore.pas | Other | 19.4 KB | — |
| src/pascal/Training.pas | Other | 4.9 KB | — |
| src/pascal/TransformerBlock.pas | Other | 4.4 KB | — |
| src/pascal/gpu_host.pas | Other | 3.9 KB | — |
| src/pascal/transformer_pascal_200.pas | Other | 7.2 KB | — |
| src/pcode_vm_full_stack.py | Other | 47.9 KB | — |
| src/python/astra_hardened_ingestion.py | Other | 11.0 KB | — |
| src/quantum.py | Other | 4.5 KB | — |
| src/safety.go | Other | 13.0 KB | — |
| src/sandbox-boundary.go | Other | 8.1 KB | — |
| src/sandbox-module.go | Other | 3.6 KB | — |
| src/simulate_gate_list.py | Other | 3.8 KB | — |
| src/souffle_symbolic_agent.py | Other | 92.5 KB | — |
| src/state_machine_core.asm | Other | 87.4 KB | — |
| src/substitution.go | Other | 12.9 KB | — |
| src/switchboard_core.asm | Other | 25.7 KB | — |
| src/switchboard_ffi.py | Other | 50.0 KB | — |
| src/twin.py | Other | 15.2 KB | — |
| src/virtual_switchboard.py | Other | 35.7 KB | — |
| src/worm.py | Other | 9.7 KB | — |
| telegram-bot-sdk/docker/Dockerfile.haskell | Other | 3.6 KB | — |
| telegram-bot-sdk/docker/Dockerfile.node | Other | 2.7 KB | — |
| telegram-bot-sdk/docker/Dockerfile.rust | Other | 3.4 KB | — |
| telegram-bot-sdk/docker/docker-compose.yml | Other | 7.5 KB | — |
| telegram-bot-sdk/haskell/package.yaml | Other | 2.0 KB | — |
| telegram-bot-sdk/haskell/src/Agent.hs | Other | 7.3 KB | — |
| telegram-bot-sdk/haskell/src/Bot.hs | Other | 15.7 KB | — |
| telegram-bot-sdk/haskell/src/Commands/Issue.hs | Other | 11.5 KB | — |
| telegram-bot-sdk/haskell/src/Commands/Scrum.hs | Other | 14.4 KB | — |
| telegram-bot-sdk/haskell/src/Main.hs | Other | 5.3 KB | — |
| telegram-bot-sdk/haskell/src/Types.hs | Other | 11.7 KB | — |
| telegram-bot-sdk/haskell/test/Spec.hs | Other | 13.6 KB | — |
| telegram-bot-sdk/node/src/agent.mjs | Other | 11.1 KB | — |
| telegram-bot-sdk/node/src/bot.mjs | Other | 12.4 KB | — |
| telegram-bot-sdk/node/src/commands/agent.mjs | Other | 5.0 KB | — |
| telegram-bot-sdk/node/src/commands/issue.mjs | Other | 13.3 KB | — |
| telegram-bot-sdk/node/src/commands/scrum.mjs | Other | 14.2 KB | — |
| telegram-bot-sdk/node/src/index.js | Other | 3.8 KB | — |
| telegram-bot-sdk/rust/Cargo.toml | Other | 1.9 KB | — |
| telegram-bot-sdk/rust/examples/basic_bot.rs | Other | 788 B | — |
| telegram-bot-sdk/rust/examples/full_featured.rs | Other | 9.6 KB | — |
| telegram-bot-sdk/rust/src/agent.rs | Other | 14.7 KB | — |
| telegram-bot-sdk/rust/src/bot.rs | Other | 12.1 KB | — |
| telegram-bot-sdk/rust/src/commands/agent.rs | Other | 3.9 KB | — |
| telegram-bot-sdk/rust/src/commands/issue.rs | Other | 19.2 KB | — |
| telegram-bot-sdk/rust/src/commands/mod.rs | Other | 6.8 KB | — |
| telegram-bot-sdk/rust/src/commands/scrum.rs | Other | 15.6 KB | — |
| telegram-bot-sdk/rust/src/error.rs | Other | 2.2 KB | — |
| telegram-bot-sdk/rust/src/integrations/mod.rs | Other | 2.4 KB | — |
| telegram-bot-sdk/rust/src/integrations/ollama.rs | Other | 9.7 KB | — |
| telegram-bot-sdk/rust/src/integrations/persistence.rs | Other | 16.6 KB | — |
| telegram-bot-sdk/rust/src/lib.rs | Other | 1.5 KB | — |
| telegram-bot-sdk/rust/src/state.rs | Other | 20.7 KB | — |
| telegram-bot-sdk/rust/src/types.rs | Other | 10.3 KB | — |
| telegram-bot-sdk/rust/tests/integration.rs | Other | 19.2 KB | — |
| telegram-bot-sdk/tests/integration_test.py | Other | 28.0 KB | — |
| tensor-core/Cargo.lock | Other | 26.6 KB | — |
| tensor-core/Cargo.toml | Other | 1.3 KB | — |
| tensor-core/examples/batch_contraction.rs | Other | 3.5 KB | — |
| tensor-core/examples/creation_and_views.rs | Other | 3.2 KB | — |
| tensor-core/examples/elementwise_and_broadcast.rs | Other | 2.7 KB | — |
| tensor-core/examples/matmul.rs | Other | 2.2 KB | — |
| tensor-core/examples/parallel_operations.rs | Other | 2.5 KB | — |
| tensor-core/examples/reductions.rs | Other | 2.7 KB | — |
| tensor-core/nraay-tensor/Cargo.lock | Other | 16.3 KB | — |
| tensor-core/nraay-tensor/Cargo.toml | Other | 799 B | — |
| tensor-core/nraay-tensor/examples/basic_usage.rs | Other | 1.8 KB | — |
| tensor-core/nraay-tensor/examples/materialization.rs | Other | 3.1 KB | — |
| tensor-core/nraay-tensor/examples/slicing.rs | Other | 2.2 KB | — |
| tensor-core/nraay-tensor/src/error.rs | Other | 2.1 KB | — |
| tensor-core/nraay-tensor/src/lemmas.rs | Other | 12.8 KB | — |
| tensor-core/nraay-tensor/src/lib.rs | Other | 1.6 KB | — |
| tensor-core/nraay-tensor/src/ml.rs | Other | 12.2 KB | — |
| tensor-core/nraay-tensor/src/raw_route.rs | Other | 10.0 KB | — |
| tensor-core/nraay-tensor/src/tensor.rs | Other | 16.0 KB | — |
| tensor-core/nraay-tensor/tests/integration.rs | Other | 6.5 KB | — |
| tensor-core/src/error.rs | Other | 2.0 KB | — |
| tensor-core/src/lib.rs | Other | 805 B | — |
| tensor-core/src/ops.rs | Other | 8.8 KB | — |
| tensor-core/src/random.rs | Other | 1.9 KB | — |
| tensor-core/src/tensor.rs | Other | 7.8 KB | — |
| tests/__init__.py | Other | 185 B | — |
| tests/swift-objc/CompleteTests.swift | Other | 19.8 KB | — |
| tests/swift-objc/testAuditSeal.m | Other | 11.3 KB | — |
| tests/swift-objc/testConservation.m | Other | 7.7 KB | — |
| tests/swift-objc/testDissipation.m | Other | 9.2 KB | — |
| tests/swift-objc/testMassInvariance.m | Other | 8.5 KB | — |
| tests/swift-objc/testOmegaEST.m | Other | 4.6 KB | — |
| tests/swift-objc/testResonance.m | Other | 6.5 KB | — |
| tests/swift-objc/testSpiralConsistency.m | Other | 10.1 KB | — |
| tests/swift-objc/testTorsionPhase.m | Other | 7.2 KB | — |
| tests/test_bank_commit.py | Other | 3.2 KB | — |
| tests/test_cold_boot_icp.py | Other | 16.3 KB | — |
| tests/test_dream_rsi.py | Other | 1.6 KB | — |
| tests/test_dream_rsi_audit.py | Other | 5.8 KB | — |
| tests/test_dream_rsi_extensions.py | Other | 1.4 KB | — |
| tests/test_dream_rsi_full.py | Other | 1.6 KB | — |
| tests/test_dream_rsi_phase23.py | Other | 2.8 KB | — |
| tests/test_license_headers.py | Other | 1.8 KB | — |
| tests/test_lua_engine.py | Other | 1.7 KB | — |
| tests/test_product_suite.py | Other | 3.7 KB | — |
| tests/test_stack.py | Other | 45.3 KB | — |
| vsm2500/p2_fabric.cpp | Other | 47.5 KB | — |
| vsm2500/p2_hardware_parallel_fabric.cpp | Other | 35.7 KB | — |
| vsm2500/p3_binary_microcode_p2_fabric.cpp | Other | 23.3 KB | — |
| vsm2500/p4_microcode_vsm2500.cpp | Other | 14.9 KB | — |
| vsm2500/vsm2500_core.sv | Other | 12.1 KB | — |
| vsm2500/vsm2500_cuda_execution_block.cu | Other | 18.8 KB | — |
| vsm2500/vsm2500_h100_sass_bridge.cu | Other | 31.6 KB | — |
| vsm2500/vsm2500_isa_kernel.cu | Other | 19.1 KB | — |
| vsm2500/vsm2500_semantic_cuda.cu | Other | 20.7 KB | — |
| wasm/account_registry.wasm | Other | 666 B | — |
| wasm/account_registry.wat | Other | 3.6 KB | — |
| wasm/isa.wasm | Other | 323 B | — |
| wasm/isa.wat | Other | 1.7 KB | — |
| wasm/ledger_replay.wasm | Other | 253 B | — |
| wasm/ledger_replay.wat | Other | 1.4 KB | — |
| wasm/runtime.wasm | Other | 2.9 KB | — |
| wasm/runtime.wat | Other | 14.5 KB | — |
| wasm/sha256.wasm | Other | 493 B | — |
| wasm/sha256.wat | Other | 3.5 KB | — |
| wasm/worm_frame.wasm | Other | 604 B | — |
| wasm/worm_frame.wat | Other | 4.2 KB | — |
| .continuity/.gitattributes | Repository | 364 B | — |
| .gitattributes | Repository | 2.5 KB | — |
| .gitignore | Repository | 1.0 KB | — |
| apple-metal-inference/.gitignore | Repository | 414 B | — |
| assembly-120-strict-model/.gitkeep | Repository | 28 B | — |
| formal/verification-paper/.gitignore | Repository | 413 B | — |
| telegram-bot-sdk/node/.env.example | Repository | 1.7 KB | — |
| metal/Sources/SwiftTinyLLM/Tokenizer.swift | Tokenizer | 636 B | — |
License and Download
- License
- other
- Access
- Access requested at publisher
Request access from Snapkitty Collective LLC
Snapkitty Collective LLC grants access through its official repository on Hugging Face. Read the license.