aiwf 0.3.23 → 0.4.0

package/docs/modernization/evidence/full-test-20261003/summary.json

@@ -0,0 +1,106 @@
+{
+  "checkout": "10e885ea6236e30d0797523c1cec4bf8d844487e",
+  "base": "/private/tmp/aiwf-comprehensive-74lc3ob7",
+  "consumer": "/private/tmp/aiwf-comprehensive-74lc3ob7/consumer",
+  "installed": "/private/tmp/aiwf-comprehensive-74lc3ob7/consumer/node_modules/aiwf",
+  "codex_live": "/private/tmp/aiwf-comprehensive-5ih6czuw/codex-live",
+  "matrix": [
+    {
+      "stack": "core",
+      "skills": 8,
+      "dry_run_no_write": true,
+      "reinstall_preserves_all_bytes": true,
+      "python_self_tests": 3
+    },
+    {
+      "stack": "vaadin-jooq",
+      "skills": 16,
+      "dry_run_no_write": true,
+      "reinstall_preserves_all_bytes": true,
+      "python_self_tests": 3
+    },
+    {
+      "stack": "angular-jpa",
+      "skills": 14,
+      "dry_run_no_write": true,
+      "reinstall_preserves_all_bytes": true,
+      "python_self_tests": 3
+    },
+    {
+      "stack": "blazor-dotnet",
+      "skills": 13,
+      "dry_run_no_write": true,
+      "reinstall_preserves_all_bytes": true,
+      "python_self_tests": 3
+    },
+    {
+      "stack": "nestjs-nextjs",
+      "skills": 13,
+      "dry_run_no_write": true,
+      "reinstall_preserves_all_bytes": true,
+      "python_self_tests": 3
+    }
+  ],
+  "tarball_files": 120,
+  "flow_checks": [
+    "draft pin rejected",
+    "strict lint and trace",
+    "init preserves existing data",
+    "pin/check success",
+    "passed/failed/not_run retained",
+    "packet overwrite refused",
+    "drift detected",
+    "stale packet rejected",
+    "restored spec in sync"
+  ],
+  "packet": "/private/tmp/aiwf-comprehensive-74lc3ob7/flow/.aiwf/review-packet.json",
+  "no_external_dependencies": true,
+  "node_tests": {
+    "passed": 61,
+    "failed": 0,
+    "skipped": 0
+  },
+  "python_versions": [
+    "3.14.4",
+    "3.11"
+  ],
+  "node_version": "22.23.1",
+  "coverage": {
+    "included": [
+      "src/cli/spec-cli.js",
+      "src/lib/spec-workflow.js",
+      "scripts/install-spec-skills.mjs"
+    ],
+    "line_percent": 91.94,
+    "branch_percent": 86.18,
+    "function_percent": 96.34
+  },
+  "codex": {
+    "model": "gpt-6-astra",
+    "completed": true,
+    "service_tests_passed": 12,
+    "packet_summary": {
+      "total": 8,
+      "passed": 4,
+      "failed": 0,
+      "not_run": 4
+    },
+    "packet_hashes_and_spec_files_independently_verified": true
+  },
+  "claude": {
+    "model": "claude-sonnet-5-5",
+    "plugin_skill": "aiwf-core:spec-review",
+    "structural_lint": "passed",
+    "semantic_warnings": 3,
+    "semantic_infos": 3
+  },
+  "fixed_defect": "Existing directory packet output rejected as output_not_file with and without force; sentinel preserved",
+  "limitations": [
+    "Full stack applications, UI, authentication and stakeholder acceptance not tested",
+    "Node 20 / Python 3.9 unavailable for minimum-version execution",
+    "Codex CLI configured gpt-6.1-sol unsupported by this account; explicit gpt-6-astra worked",
+    "Sprintable integration and unattended execution not implemented"
+  ],
+  "final_tarball_files": 129,
+  "directory_refusal_independently_reviewed": true
+}

package/docs/modernization/evidence/full-test-20261003/tests/expense.test.mjs

@@ -0,0 +1,61 @@
+import test from 'node:test';
+import assert from 'node:assert/strict';
+import { InMemoryExpenseStore, submitExpense } from '../src/expense.mjs';
+
+test('UC-001 success persists amount, description, submitted state and receipt', () => {
+  const store = new InMemoryExpenseStore();
+  const first = submitExpense(store, { amount: 12000, description: '팀 회식' });
+  assert.equal(first.amount, 12000);
+  assert.equal(first.description, '팀 회식');
+  assert.equal(first.status, 'submitted');
+  assert.match(first.receiptId, /^\d+$/);
+  assert.ok(Number.isFinite(Date.parse(first.submitted_at)));
+  assert.deepEqual(store.list(), [first]);
+  const second = submitExpense(store, { amount: 0.01 });
+  assert.notEqual(second.receiptId, first.receiptId);
+  assert.equal(store.list().length, 2);
+  first.amount = 1;
+  const snapshot = store.list();
+  snapshot[0].description = 'changed';
+  snapshot.pop();
+  assert.equal(store.list()[0].amount, 12000);
+  assert.equal(store.list()[0].description, '팀 회식');
+  assert.equal(store.list().length, 2);
+});
+
+for (const amount of [0, -1, -100, NaN, Infinity, -Infinity, '12000', null, undefined]) {
+  test(`UC-001 BR-001/A1 rejects ${String(amount)} without changing prior state`, () => {
+    const store = new InMemoryExpenseStore();
+    submitExpense(store, { amount: 25, description: 'earlier' });
+    const before = store.list();
+    assert.throws(() => submitExpense(store, { amount }), {
+      name: 'RangeError', message: 'Amount must be a positive finite number',
+    });
+    assert.deepEqual(store.list(), before);
+  });
+}
+
+test('TC-001 service slice permits correction from -100 to 12000', () => {
+  const store = new InMemoryExpenseStore();
+  assert.throws(() => submitExpense(store, { amount: -100, description: '팀 회식' }), RangeError);
+  assert.deepEqual(store.list(), []);
+  const record = submitExpense(store, { amount: 12000, description: '팀 회식' });
+  assert.deepEqual(store.list(), [record]);
+  assert.equal(record.amount, 12000);
+  assert.equal(record.description, '팀 회식');
+  assert.equal(record.status, 'submitted');
+  assert.ok(record.receiptId);
+});
+
+test('UC-001 A2 storage failure preserves earlier records and permits recovery', () => {
+  const store = new InMemoryExpenseStore();
+  const first = submitExpense(store, { amount: 100, description: 'earlier' });
+  const before = store.list();
+  store.failNextWrite();
+  assert.throws(() => submitExpense(store, { amount: 200, description: 'failed' }),
+    { message: 'Expense persistence failed' });
+  assert.deepEqual(store.list(), before);
+  const recovered = submitExpense(store, { amount: 300, description: 'recovered' });
+  assert.notEqual(recovered.receiptId, first.receiptId);
+  assert.deepEqual(store.list(), [first, recovered]);
+});

package/docs/modernization/evidence/local-pilot-20261003/README.ko.md

@@ -0,0 +1,40 @@
+# UC-001 로컬 변경·재검증 자료
+
+[파일럿 결과](../../PILOT-RESULT-2026-10-03.ko.md)의 재현 자료다. 실제 제품이나 운영 앱은 아니다. 원 실행 경로·시각·로그는 수정하지 않고 보관했다. private 경로는 실행 당시 문맥이며 재현에 그 경로가 필요하지 않다.
+
+- `project/docs`, `project/src`, `project/tests`: 최종 명세·검사 연결표·서비스·23개 테스트.
+- `project/artifacts`: 기준/실패/최종 evidence와 packet, 명세 pin, 실제 stdout/stderr와 readback. `.aiwf` 실행 상태는 복사하지 않았다.
+- [execution.json](execution.json): 단계별 실제 실행과 입출력 hash. 현재 CLI가 자동 수집하는 계약이 아니다.
+- [scope.json](scope.json): 예제 범위·환경·최종 입력 hash·보관 시 도구 hash, 휴먼 검토 미기록.
+- `maintenance/`: 파일럿 이후 AIWF 저장소의 회귀·출처·예제·문서 검사와 재현 안내 실행 기록. 원 파일럿 측정과 구분한다.
+
+원 구현과 12개 테스트는 [이전 보관 자료](../full-test-20261003/)와 bytes가 같았다. 구현 수정 전 실패는 새 테스트가 기존 구현의 누락을 검출한 결과다. 역사 자료와 원 packet은 덮어쓰지 않았다.
+
+## 최종 서비스와 구조 검사 재현
+
+아래는 AIWF 저장소 루트에서 실행한다. 새 Node 프로세스를 사용한다. Python은 전체 core의 sibling 검사가 있는 경로를 사용한다.
+
+```bash
+node --test docs/modernization/evidence/local-pilot-20261003/project/tests/expense.test.mjs
+python3 plugins/aiwf-core/skills/spec-review/scripts/spec_lint.py --docs docs/modernization/evidence/local-pilot-20261003/project/docs --strict --no-baseline --format json
+```
+
+둘 다 exit 0, 서비스 23 passed/0 failed와 lint findings 0이 예상 결과다. 로그인·UI·DB·의미 검토는 이 명령의 검증 범위가 아니다.
+
+## 새 로그로 pin·packet 재현
+
+보관본을 새로운 임시 프로젝트에 복사해 실제 검사를 다시 실행한 뒤 packet을 만든다. 기존 기록의 로그를 새 검증이라고 재사용하지 않는다. 아래의 `set -e`는 검사 실패 시 성공 상태가 적힌 evidence로 packet을 만드는 다음 단계를 중단한다. 본문 속 `command` 필드는 기록된 설명이므로 재실행 도구·cwd와 exit code는 별도로 확인한다.
+
+```bash
+set -e
+pilot_parent=$(mktemp -d "${TMPDIR:-/tmp}/aiwf-replay-XXXXXX")
+cp -R docs/modernization/evidence/local-pilot-20261003/project "$pilot_parent/project"
+pilot_root="$pilot_parent/project"
+python3 plugins/aiwf-core/skills/spec-review/scripts/spec_lint.py --docs "$pilot_root/docs" --strict --no-baseline --format json > "$pilot_root/artifacts/final-structure.stdout.txt"
+node --test "$pilot_root/tests/expense.test.mjs" > "$pilot_root/artifacts/final-service.stdout.txt"
+node src/cli/spec-cli.js pin --root "$pilot_root" --json
+node src/cli/spec-cli.js check --root "$pilot_root" --json
+node src/cli/spec-cli.js packet --root "$pilot_root" --evidence "$pilot_root/artifacts/final-evidence.json" --output "$pilot_root/.aiwf/new-review-packet.json" --json
+```
+
+새 packet도 `awaiting_review`, acceptance `not_recorded`, passed 2/not_run 2로 남는다. 코드 hash·실행 최신성은 별도 확인이 필요하다. 재현은 실제 사람의 수용을 기록하지 않는다.