정시원
a2d7dffcae
wire M7 DOS build
2026-08-16 21:55:00 +09:00
정시원
1856e99a61
wire M7 checker and emitter
2026-08-16 21:54:50 +09:00
정시원
8a2e6ddd1e
implement M7 C emission
2026-08-16 21:52:57 +09:00
정시원
1e90eba1be
implement M7 semantic checker
2026-08-16 21:44:46 +09:00
정시원
369aeb3b86
initialize contextual semantic metadata
2026-08-16 21:42:29 +09:00
정시원
a32ad3182a
carry contextual M7 type metadata
2026-08-16 21:42:20 +09:00
정시원
c5e2496415
remove temporary M7 ownership overlay
2026-08-16 21:40:31 +09:00
정시원
b79970241a
extend ownership through M7 wrappers
2026-08-16 21:40:22 +09:00
정시원
e0232a3e92
extend ownership for M7 wrapper types
2026-08-16 21:37:31 +09:00
정시원
5be7a5b852
preserve optional if-let patterns
2026-08-16 21:35:11 +09:00
정시원
8e23a6269b
implement M7 optional and nominal result types
2026-08-16 21:34:10 +09:00
정시원
8ac76aed39
extend M7 type construction
2026-08-16 21:33:02 +09:00
정시원
411c86afc2
extend M7 semantic helpers
2026-08-16 21:32:46 +09:00
정시원
8b1efe3562
complete M7 type metadata
2026-08-16 21:32:34 +09:00
정시원
aeec10af48
Merge pull request #8 from sebastianrcnt/agent/m7-core-foundation
...
add M7 semantic and cleanup foundation
2026-08-16 21:20:05 +09:00
정시원
d43f28d06a
wire M7 foundation into DOS build
2026-08-16 21:17:57 +09:00
정시원
bc9792532d
wire M7 foundation into host build
2026-08-16 21:17:45 +09:00
정시원
47ef8420a9
add optional type kind
2026-08-16 21:17:33 +09:00
정시원
8aae7d9a63
implement cleanup lowering plan
2026-08-16 21:17:15 +09:00
정시원
40ec131ffc
add cleanup lowering plan
2026-08-16 21:16:46 +09:00
정시원
c4f3accbb3
implement M7 semantic foundation
2026-08-16 21:16:30 +09:00
정시원
9c3cae7406
add M7 semantic foundation
2026-08-16 21:16:14 +09:00
정시원
43fa9c9bc9
Merge pull request #7 from sebastianrcnt/codex/m6-borrow-checker
...
Implement M6 borrow checker integration
2026-08-16 20:49:38 +09:00
coolguy
aba9370ea6
implement M6 borrow checker integration
2026-08-16 20:46:45 +09:00
정시원
db0ed4bbe0
Merge pull request #6 from sebastianrcnt/agent/m6-ownership-core
...
implement M6 ownership analysis core
2026-08-16 20:01:32 +09:00
coolguy
748505513d
test: audit M6-M9 fixtures for v0.1.8
2026-08-16 20:00:27 +09:00
정시원
3bcf6a33f1
tighten M6 ownership core semantics
2026-08-16 19:59:01 +09:00
정시원
8c4ec8a6e6
complete M6 ownership core primitives
2026-08-16 19:58:18 +09:00
정시원
db2b681f6b
implement M6 ownership core
2026-08-16 19:57:15 +09:00
정시원
5981d2b5b1
add M6 ownership core interfaces
2026-08-16 19:56:15 +09:00
정시원
37f092196d
Merge pull request #4 from sebastianrcnt/agent/extract-m5-ownership
...
refactor: extract M5 ownership analysis
2026-08-16 19:50:49 +09:00
정시원
2832888673
Merge pull request #5 from sebastianrcnt/codex/freeze-m6-m9-semantics
...
freeze M6-M9 semantics and unit model
2026-08-16 19:50:25 +09:00
coolguy
3de0564650
freeze M6-M9 semantics and unit model
2026-08-16 19:48:19 +09:00
정시원
db51611225
route M5 ownership state through own.c
2026-08-16 19:47:19 +09:00
정시원
5c88872ef0
wire ownership helper into DOS build
2026-08-16 19:45:20 +09:00
정시원
accc7dd94a
wire ownership helper into compiler build
2026-08-16 19:45:09 +09:00
정시원
89cd035011
extract M5 ownership state helpers
2026-08-16 19:45:02 +09:00
정시원
7fd575859a
extract M5 ownership state helpers
2026-08-16 19:44:51 +09:00
정시원
0f67bf3780
revert accidental temp file
2026-08-16 19:21:49 +09:00
정시원
383c97581f
noop
2026-08-16 19:21:40 +09:00
정시원
f2e17d265f
add M6-M9 specification tests ( #3 )
2026-08-16 19:08:48 +09:00
coolguy
9986da6f12
chore: isolate Zed clangd from Watcom headers
2026-08-16 19:03:23 +09:00
coolguy
d915a7e63c
chore: remove obsolete host test scripts
2026-08-16 18:54:23 +09:00
정시원 and github-actions[bot]
83ce26c209
add minimal Zed syntax highlighting for Ferro ( #2 )
...
* add minimal Ferro tree-sitter grammar
* add temporary tree-sitter generation workflow
* generate Ferro tree-sitter parser
* drop custom grammar in favor of Rust grammar reuse
* remove temporary tree-sitter generation workflow
* add Zed extension manifest for Ferro
* configure Ferro files for Zed
* add Ferro syntax highlighting queries
* remove generated custom tree-sitter parser
* remove generated custom tree-sitter node types
* tighten Ferro Zed highlight queries
* add minimal Ferro tree-sitter grammar
* point Zed at Ferro grammar
* refresh Ferro highlights
---------
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
2026-08-16 18:50:19 +09:00
coolguy
deafd27939
feat: complete M5 ownership and cleanup
2026-08-16 18:48:35 +09:00
coolguy
351e5dbb23
feat: replace M4 callback writers with safe handles
2026-08-16 18:27:26 +09:00
coolguy
42abc0d7e7
feat: align M3 slices and strings with v0.1.7
2026-08-16 18:23:30 +09:00
coolguy
cba2c86fbc
fix: reliably answer delayed DOS batch termination prompts
2026-08-16 18:11:52 +09:00
coolguy and Claude Opus 5
ec48a60e3e
feat: supervise EXEC with guest liveness instead of a stopwatch
...
TCPAGENT는 system()이 도는 동안 통째로 얼어 있어 응답도 진행 보고도 못 한다.
그런데 호스트는 소켓에 30초 고정 타임아웃을 걸고, 만료되면 연결 자체를 버렸다.
그래서 35초짜리 컴파일이 "느린 명령"이 아니라 "죽은 에이전트"로 취급됐다.
QEMU는 게스트가 얼어 있어도 계속 돈다. info blockstats의 idle_time_ns로
"작업 중"과 "멈춤"을 구분한다. 실측으로 확인했다: 에이전트가 완전히 벙어리인
동안에도 rd_operations가 7초당 47000씩 증가하고 idle은 0.00s를 유지한다.
- EXEC은 짧은 간격으로 깨어나 감시만 하고 소켓은 절대 안 버린다.
- --idle-timeout(기본 60s)과 --hard-timeout(기본 900s). 후자는 디스크를
안 쓰는 CPU 바운드 멈춤용 백스톱이다.
- 중단은 QEMU 모니터로 Ctrl+C를 주입하고 COMMAND.COM의
"Terminate batch file (Y/N/A)?" 프롬프트에 답한다.
- Ctrl+C는 DOS break check에서만 먹는다. FreeDOS 기본값 BREAK=OFF에서
출력을 파일로 돌린 CPU 바운드 자식은 거기 도달 안 할 수 있다. 그래서
중단은 보장이 아니라 요청으로 다루고, 명령이 안 멈춰도 RESULT를 끝까지
수거해 스트림을 깨뜨리지 않는다.
- ferro-vm abort 추가. 실행 중에도 응답해야 하므로 파이프 서버를 요청당
스레드로 바꿨다.
- 5558 바인딩을 SO_EXCLUSIVEADDRUSE로. Windows의 SO_REUSEADDR는 다른
프로세스가 같은 포트를 잡아 조용히 반쯤 동작하게 만든다.
검증 (QEMU FreeDOS 실측):
- 32.4초 명령 정상 완료 (이전에는 30초에 실패)
- 실행 중 abort가 0.1초에 응답, exit=95로 종료, 부분 출력 1805B 수거,
연결 유지
- pause처럼 디스크를 안 쓰는 명령을 idle 15s로 검출해 중단
시리얼 시절에 있다가 TCP 전환에서 사라진 TODO 3건을 복구한다.
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com >
Claude-Session: https://claude.ai/code/session_012PQm6oAvWX4Lp3iSN5AHGT
2026-08-16 17:42:43 +09:00
coolguy
f798a1359f
docs: resolve ownership and standard library spec audit
2026-08-16 17:29:45 +09:00
정시원
coolguy