|
|
|
|
@@ -935,7 +935,7 @@ Optimized for minimal wall-clock time to a self-driving Lisp Machine:
|
|
|
|
|
|
|
|
|
|
**Week 2-4: Self-optimizing system**
|
|
|
|
|
- The system profiles its own gate verification latency (already
|
|
|
|
|
instrumented via telemetry, Phase v0.66.0).
|
|
|
|
|
instrumented via telemetry).
|
|
|
|
|
- It identifies the hot path: "fact-query accounts for 34% of verify time."
|
|
|
|
|
- It generates a new dispatch routine for fact-query, targets the
|
|
|
|
|
nearest idle Tensix core, loads it, benchmarks, and commits if
|
|
|
|
|
@@ -985,7 +985,7 @@ are small because Lisp is more expressive, the architecture reuses
|
|
|
|
|
primitives across domains, and the symbolic engine replaces what
|
|
|
|
|
would be thousands of lines of Python in a conventional agent.
|
|
|
|
|
|
|
|
|
|
**** Current Passepartout (v0.7.2, main branch)
|
|
|
|
|
**** Current Passepartout (main branch)
|
|
|
|
|
|
|
|
|
|
| Component | Lines of Lisp | Status |
|
|
|
|
|
|-----------|---------------|--------|
|
|
|
|
|
@@ -999,28 +999,28 @@ would be thousands of lines of Python in a conventional agent.
|
|
|
|
|
| Config, diagnostics, embedding, sensors, integration tests | ~700 | Built and running |
|
|
|
|
|
| **Total existing** | **~10,700** | |
|
|
|
|
|
|
|
|
|
|
Development time to reach v0.7.2: approximately 2 months,
|
|
|
|
|
Development time to reach current main: approximately 2 months,
|
|
|
|
|
one developer (April-May 2026 from git log).
|
|
|
|
|
|
|
|
|
|
**** New code to reach v1.0.0 (Neurosymbolic Maturity)
|
|
|
|
|
**** New code to reach neurosymbolic maturity
|
|
|
|
|
|
|
|
|
|
| Phase / Feature | Lines | Est. dev time (one dev) |
|
|
|
|
|
|-----------------|-------|------------------------|
|
|
|
|
|
| v0.8.0 TUI stabilization (cl-tty) | ~500 | 3-4 weeks |
|
|
|
|
|
| v0.9.0 Eval harness + sandbox hardening | ~200 | 1-2 weeks |
|
|
|
|
|
| v0.11.0 Phase 0 (type-level gates, core integrity) | ~75 | 3-5 days |
|
|
|
|
|
| v0.13.0 Phase 0b (signal authentication, Layer 1) | ~200 | 1-2 weeks |
|
|
|
|
|
| v0.15.0 Phase 1 (fact store with provenance) | ~200 | 1-2 weeks |
|
|
|
|
|
| v0.17.0 Phase 1a (self-preservation, quarantine, watchdog) | ~120 | 1 week |
|
|
|
|
|
| v0.19.0 Phase 2 (Screamer admission gate) | ~200 | 1-2 weeks |
|
|
|
|
|
| v0.21.0 Phase 3 (archivist as fact proposer) | ~100 | 1 week |
|
|
|
|
|
| v0.23.0 Phase 4 (sufficiency criterion, the Flip) | ~50 | 2-3 days |
|
|
|
|
|
| v0.26.0 Phase 5 (VivaceGraph, Merkle DAG, ontology versioning) | ~400 | 2-4 weeks |
|
|
|
|
|
| v0.28.0-28.5 Phase 6 (ACL2 base + 5 macro layers) | ~540 | 3-4 weeks |
|
|
|
|
|
| v0.37.0 Phase 7 (10-80-10 planner) | ~500 | 3-4 weeks |
|
|
|
|
|
| TUI stabilization (cl-tty) | ~500 | 3-4 weeks |
|
|
|
|
|
| Eval harness + sandbox hardening | ~200 | 1-2 weeks |
|
|
|
|
|
| Phase 0 (type-level gates, core integrity) | ~75 | 3-5 days |
|
|
|
|
|
| Phase 0b (signal authentication, Layer 1) | ~200 | 1-2 weeks |
|
|
|
|
|
| Phase 1 (fact store with provenance) | ~200 | 1-2 weeks |
|
|
|
|
|
| Phase 1a (self-preservation, quarantine, watchdog) | ~120 | 1 week |
|
|
|
|
|
| Phase 2 (Screamer admission gate) | ~200 | 1-2 weeks |
|
|
|
|
|
| Phase 3 (archivist as fact proposer) | ~100 | 1 week |
|
|
|
|
|
| Phase 4 (sufficiency criterion, the Flip) | ~50 | 2-3 days |
|
|
|
|
|
| Phase 5 (VivaceGraph, Merkle DAG, ontology versioning) | ~400 | 2-4 weeks |
|
|
|
|
|
| Phase 6 (ACL2 base + 5 macro layers) | ~540 | 3-4 weeks |
|
|
|
|
|
| Phase 7 (10-80-10 planner) | ~500 | 3-4 weeks |
|
|
|
|
|
| All polish features (skins, export, CLI, MCP, LSP, telemetry, cost, etc.) | ~1,500 | 4-8 weeks |
|
|
|
|
|
| Integration testing, hardening, bug fixes | — | 4-8 weeks |
|
|
|
|
|
| **Total new code at v1.0.0** | **~4,500** | **4-6 months (one developer)** |
|
|
|
|
|
| **Total new code** | **~4,500** | **4-6 months (one developer)** |
|
|
|
|
|
|
|
|
|
|
**** Additional code for a self-driving Lisp Machine
|
|
|
|
|
|
|
|
|
|
@@ -1041,9 +1041,9 @@ correctly implements the Lisp primitives, which ACL2 handles.
|
|
|
|
|
**** Total system at self-driving threshold
|
|
|
|
|
|
|
|
|
|
| | Lines of code | Dev time (one dev) | Dev time (small team, 2-3) |
|
|
|
|
|
|---|---|---|---|
|
|
|
|
|
| Passepartout v0.7.2 | ~10,700 | 2 months (done) | 1 month (done) |
|
|
|
|
|
| To v1.0.0 | +~4,500 | 4-6 months | 2-3 months |
|
|
|
|
|
|-----|---|---|---|
|
|
|
|
|
| Current Passepartout | ~10,700 | 2 months (done) | 1 month (done) |
|
|
|
|
|
| Through Phase 7 (neurosymbolic maturity) | +~4,500 | 4-6 months | 2-3 months |
|
|
|
|
|
| Lisp Machine hardware | +~6,000 | 3-6 months | 2-3 months |
|
|
|
|
|
| **Total** | **~21,000** | **9-14 months** | **5-7 months** |
|
|
|
|
|
|
|
|
|
|
@@ -1087,7 +1087,7 @@ billion-dollar moonshot. A well-scoped engineering project.
|
|
|
|
|
|
|
|
|
|
*** Revised time estimate given actual velocity
|
|
|
|
|
|
|
|
|
|
Moving from v0.4.0 to v0.7.2 (three minor versions covering TUI,
|
|
|
|
|
Moving from initial state through TUI,
|
|
|
|
|
streaming, gate trace, HITL, Merkle audit, tool hardening, session
|
|
|
|
|
rewind, undo/redo, skills engine) in a single session means the
|
|
|
|
|
agent writes the code and the symbolic engine verifies it at a
|
|
|
|
|
@@ -1098,7 +1098,7 @@ The limiting factor is not coding speed. It is:
|
|
|
|
|
2. ACL2 verification time per submission (milliseconds per theorem)
|
|
|
|
|
3. Human review of Screamer-flagged edge cases (the 5%)
|
|
|
|
|
|
|
|
|
|
For the 4,500 lines remaining to v1.0.0, distributed across ~40
|
|
|
|
|
For the 4,500 lines remaining to neurosymbolic maturity, distributed across ~40
|
|
|
|
|
independent features (each 50-500 lines), with the agent generating,
|
|
|
|
|
ACL2 verifying, and the human reviewing only the flagged 5%:
|
|
|
|
|
|
|
|
|
|
@@ -1111,7 +1111,7 @@ ACL2 verifying, and the human reviewing only the flagged 5%:
|
|
|
|
|
| Phase 7 (10-80-10 planner) | ~500 | 8-10 | Days |
|
|
|
|
|
| Polish features (skins, export, CLI, MCP, LSP, telemetry, etc.) | ~1,500 | 20-30 | 1-2 weeks |
|
|
|
|
|
| Integration, edge-case hardening, cross-phase regression | — | — | 1-2 weeks |
|
|
|
|
|
| **Total to v1.0.0** | **~4,500** | **~80 cycles** | **3-5 weeks** |
|
|
|
|
|
| **Total to neurosymbolic maturity** | **~4,500** | **~80 cycles** | **3-5 weeks** |
|
|
|
|
|
|
|
|
|
|
The bottleneck at this velocity is not code generation. It is
|
|
|
|
|
human availability to review the Screamer-flagged 5%. At 80 cycles
|
|
|
|
|
@@ -1171,7 +1171,7 @@ Agora is written by the system itself:
|
|
|
|
|
|
|
|
|
|
| System | Human writes | System writes | Total |
|
|
|
|
|
|--------|--------------|---------------|-------|
|
|
|
|
|
| Logos (Passepartout) | ~10,700 existing + ~4,500 to v1.0.0 | The system extends its own macro layers and fact store | ~15,000 + growing |
|
|
|
|
|
| Logos (Passepartout) | ~10,700 existing + ~4,500 to maturity | The system extends its own macro layers and fact store | ~15,000 + growing |
|
|
|
|
|
| Stoa (environment) | Design decisions, architectural constraints | ~100,000+ lines of editor, browser, shell, layout engine, each component verified by ACL2 before loading | ~150,000+ |
|
|
|
|
|
| Agora (network) | Protocol specification, threat model | DIDComm implementation, Relay Network, PDS, Lightning integration, contracts — each module verified by ACL2 | ~100,000+ |
|
|
|
|
|
| Hardware (tagged RISC-V) | ISA design, TinyTapeout shuttle | VHDL/Verilog for tagged memory, GC bus master, Lisp primitives — synthesized and tested via FPGA | ~50,000+ |
|
|
|
|
|
@@ -1182,7 +1182,7 @@ many lines can I write per day" to "how many design decisions can
|
|
|
|
|
I make per day and how quickly can I review the 5% of ambiguities
|
|
|
|
|
Screamer flags."
|
|
|
|
|
|
|
|
|
|
At the observed velocity (v0.4.0 to v0.7.2 in a day), a
|
|
|
|
|
At the observed velocity (initial development in a single session), a
|
|
|
|
|
deep-thinking human paired with this architecture can go from
|
|
|
|
|
today's Passepartout to the full Logos + Stoa + Agora triad in
|
|
|
|
|
approximately 3-6 months — most of that time spent on design
|
|
|
|
|
@@ -1473,10 +1473,10 @@ so Passepartout instances can talk to each other:
|
|
|
|
|
- Contracts and liquid democracy infrastructure
|
|
|
|
|
|
|
|
|
|
Agora integration is a parallel track to Passepartout's core
|
|
|
|
|
roadmap (v0.3.0 → v1.0.0). The identity DID and DIDComm gateway
|
|
|
|
|
roadmap (initial → neurosymbolic maturity). The identity DID and DIDComm gateway
|
|
|
|
|
can be built as skills at any time without core changes. The PDS
|
|
|
|
|
transformation (making the fact store network-addressable) waits
|
|
|
|
|
for v1.0.0+.
|
|
|
|
|
for mature releases.
|
|
|
|
|
|
|
|
|
|
**** The complete picture
|
|
|
|
|
|
|
|
|
|
|