Files

T

rajamesandClaude Opus 5.5 7aed588f78 docs: reorganise -- current reference gathered, finished work archived, superseded and dead ideas marked as such

docs/CLAUDE.md Phase 2, 2026-10-14.  All moves by git mv; every archived
file carries a header saying what it is, why, and where to look instead.

- docs/reference/ (new): roadmap and versioning policy, M7.1, word-ACL
  design, kernel args, hosted acceptance test, dictionary, primitives,
  ontology, L8 table -- previously spread over docs/, docs/lithosananke/
  and docs/03-architecture/.
- docs/working/archive/historical/: finished work (session plan, test-gap
  audit, birthing plan, fix write-ups, the January architecture draft).
- docs/working/archive/superseded/: the Hermes-VM Tripod docs and July
  Hermes designs (-> FABRIC-3.5/3.6), the StarForth roadmap, every working
  doc already flagged superseded or obsolete.
- docs/working/archive/dead/: the hal_* target contract (never adopted),
  L4Re, metrics-and-knobs.
- Papers and proposals into docs/working/papers/.
- References rewritten across the repo (not logs/, not docs/patent/);
  CLAUDE.md's documentation section rewritten.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

2026-10-14 16:03:56 -04:00

DESIGN.md

docs: reorganise -- current reference gathered, finished work archived, superseded and dead ideas marked as such

2026-10-14 16:03:56 -04:00

README.md

docs: reorganise -- current reference gathered, finished work archived, superseded and dead ideas marked as such

2026-10-14 16:03:56 -04:00

README.md

docs/reference/word-acl/

Design doc for the word-level ACL (access control) system.

DESIGN.md — Full design: three ACL dispositions per word (STRICT, TTL, PINNED), the four DictEntry fields (acl_ttl, acl_allow, acl_mode, acl_pinned), the two VM flags (emergency_console, zuse_session), and the implementation split between C infrastructure and the pure-FORTH policy capsule capsules/ACL.4th. Status: implemented through Phase 6 on master; Phase 7 (LithosAnanke parity) is next.

Implementation files referenced by this design: capsules/ACL.4th, capsules/zuse.4th, src/word_source/acl_words.c, src/test_runner/modules/acl_words_test.c, and the ACL proof set in proof/ (ACL_Pin_Monotone.thy, ACL_Inherit_Clears_Pin.thy, ACL_TTL_Bounded.thy, ACL_Emergency_Bypass.thy, ACL_No_Escalation.thy).

README.md

docs/reference/word-acl/

See also