Skip to content

Commit b3334ea

Browse files
committed
chore: update manifest paths to .machine_readable/6a2/
1 parent 6999970 commit b3334ea

1 file changed

Lines changed: 4 additions & 4 deletions

File tree

0-AI-MANIFEST.a2ml

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99

1010
;; Canonical file locations — these are authoritative
1111
(canonical-locations
12-
(scm-files ".machine_readable/") ;; STATE.scm, META.scm, ECOSYSTEM.scm, etc.
12+
(scm-files ".machine_readable/") ;; .machine_readable/6a2/STATE.a2ml, .machine_readable/6a2/META.a2ml, .machine_readable/6a2/ECOSYSTEM.a2ml, etc.
1313
(abi-definitions "src/abi/") ;; Idris2 ABI definitions
1414
(ffi-implementation "ffi/zig/") ;; Zig FFI implementation (template)
1515
(core-wrapper "src/main.zig") ;; Main Zig FFI wrapper linking to FFmpeg
@@ -40,10 +40,10 @@
4040
;; Session lifecycle hooks
4141
(on-enter
4242
("Read this manifest first")
43-
("Read .machine_readable/STATE.scm for current progress")
44-
("Read .machine_readable/META.scm for architectural decisions")
43+
("Read `.machine_readable/6a2/STATE.a2ml` for current progress")
44+
("Read `.machine_readable/6a2/META.a2ml` for architectural decisions")
4545
("Check src/abi/ for any holes (?) in proofs"))
4646

4747
(on-exit
48-
("Update .machine_readable/STATE.scm with session progress")
48+
("Update `.machine_readable/6a2/STATE.a2ml` with session progress")
4949
("Note any new proof obligations or TODOs")))

0 commit comments

Comments
 (0)