Establish pre-engineering validation foundation

.github/workflows/input-probe-build.yml

@@ -3,14 +3,28 @@ name: Input probe build
 on:
   workflow_dispatch:
   push:
+    branches:
+      - main
+      - "agent/**"
     paths:
       - "android/input-probe/**"
+      - "schemas/input-probe-v1.schema.json"
+      - "tools/analyze_input_probe.py"
       - ".github/workflows/input-probe-build.yml"
   pull_request:
     paths:
       - "android/input-probe/**"
+      - "schemas/input-probe-v1.schema.json"
+      - "tools/analyze_input_probe.py"
       - ".github/workflows/input-probe-build.yml"
 
+permissions:
+  contents: read
+
+concurrency:
+  group: input-probe-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   build:
     runs-on: ubuntu-latest
@@ -35,9 +49,34 @@ jobs:
         with:
           gradle-version: "9.4.1"
 
-      - name: Build debug APK
+      - name: Lint, test and build debug APK
         working-directory: android/input-probe
-        run: gradle :app:assembleDebug --stacktrace
+        shell: bash
+        run: |
+          set -o pipefail
+          gradle \
+            :app:lintDebug \
+            :app:testDebugUnitTest \
+            :app:assembleDebug \
+            --stacktrace \
+            --warning-mode all \
+            2>&1 | tee ../../input-probe-gradle.log
+
+      - name: Verify APK output
+        run: |
+          test -s android/input-probe/app/build/outputs/apk/debug/app-debug.apk
+          unzip -l android/input-probe/app/build/outputs/apk/debug/app-debug.apk | tee input-probe-apk-contents.txt
+          grep -q 'classes.dex' input-probe-apk-contents.txt
+
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: input-probe-reports
+          path: |
+            input-probe-gradle.log
+            android/input-probe/app/build/reports/
+            input-probe-apk-contents.txt
+          if-no-files-found: warn
 
       - uses: actions/upload-artifact@v4
         with:

.github/workflows/pre-engineering.yml

@@ -0,0 +1,59 @@
+name: Pre-engineering checks
+
+on:
+  push:
+    branches:
+      - main
+      - "agent/**"
+  pull_request:
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+concurrency:
+  group: pre-engineering-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  host-checks:
+    strategy:
+      fail-fast: false
+      matrix:
+        os: [ubuntu-latest, macos-latest]
+    runs-on: ${{ matrix.os }}
+    steps:
+      - uses: actions/checkout@v4
+
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.12"
+
+      - name: Ensure Ninja is available
+        run: |
+          if ! command -v ninja >/dev/null 2>&1; then
+            python3 -m pip install ninja
+          fi
+
+      - name: Validate manifests and candidate SHAs
+        run: |
+          bash scripts/dev lock-check
+          bash scripts/dev candidates-check
+          python3 - <<'PY'
+          import json, tomllib
+          from pathlib import Path
+          json.loads(Path('schemas/input-probe-v1.schema.json').read_text(encoding='utf-8'))
+          with Path('deps/android-target-dependencies.toml').open('rb') as handle:
+              manifest = tomllib.load(handle)
+          assert manifest['format_version'] == 1
+          assert manifest['required_pkg_config']['packages']
+          PY
+
+      - name: Run Python analyzer tests
+        run: python3 -m unittest discover -s tools/tests -p 'test_*.py' -v
+
+      - name: Build and test C++ tablet input core
+        run: bash scripts/dev core-test
+
+      - name: Validate repository tracking policy
+        run: bash scripts/dev repo-check

.github/workflows/source-candidates.yml

@@ -0,0 +1,42 @@
+name: Source candidate verification
+
+on:
+  workflow_dispatch:
+  schedule:
+    - cron: "23 4 * * 1"
+  pull_request:
+    paths:
+      - sources.candidates.toml
+      - scripts/verify-source-candidates.py
+      - .github/workflows/source-candidates.yml
+
+permissions:
+  contents: read
+
+concurrency:
+  group: source-candidates-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          fetch-depth: 1
+
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.12"
+
+      - name: Fetch immutable SHAs from official remotes
+        run: |
+          bash scripts/dev candidates-check --network \
+            --json-out source-candidates-report.json
+
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: source-candidates-report
+          path: source-candidates-report.json
+          if-no-files-found: warn

.github/workflows/upstream-contract-audit.yml

@@ -0,0 +1,50 @@
+name: Upstream contract audit
+
+on:
+  workflow_dispatch:
+  schedule:
+    - cron: "41 4 * * 1"
+  pull_request:
+    paths:
+      - sources.candidates.toml
+      - scripts/materialize-source-candidates.py
+      - scripts/audit-upstream-contracts.py
+      - .github/workflows/upstream-contract-audit.yml
+
+permissions:
+  contents: read
+
+concurrency:
+  group: upstream-contract-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  audit:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.12"
+
+      - name: Materialize immutable upstream candidates
+        run: |
+          python3 scripts/materialize-source-candidates.py \
+            --output .out/upstream \
+            --json-out upstream-materialization.json
+
+      - name: Audit architecture contracts
+        run: |
+          python3 scripts/audit-upstream-contracts.py \
+            --workspace .out/upstream \
+            --json-out upstream-contract-audit.json
+
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: upstream-contract-audit
+          path: |
+            upstream-materialization.json
+            upstream-contract-audit.json
+          if-no-files-found: warn

README.md

@@ -6,7 +6,7 @@
 
 ## 当前状态
 
-本仓库处于 **P0：框架初始化**，并已加入 P1 输入探针工程。
+本仓库处于 **P0：前期工程基线**。P0 被拆成仓库/CI、输入事务核心、源码与依赖边界、可信输入采集四个子关卡；全部通过后才进入小米真机事件采集。
 
 已定义的首个编辑闭环：
 
@@ -47,21 +47,24 @@ SVG 文档模型与序列化
 
 ## 文档
 
+- [前期工程评估](docs/pre-engineering-assessment.md)
 - [完整迁移方案](docs/migration-plan.zh-CN.md)
 - [开源项目参考评估](docs/open-source-reference-assessment.zh-CN.md)
 - [分阶段技术关卡](docs/stage-gates.md)
 - [Mac 操作基线](docs/build-macos.md)
 - [架构边界](docs/architecture.md)
+- [输入核心契约](core/tablet-input/README.md)
 
 ## 从 Mac 开始
 
 ```sh
 git clone https://github.com/LightChainr/InkscapeAndroid.git
 cd InkscapeAndroid
 bash scripts/dev doctor
+bash scripts/dev test
 ```
 
-`doctor` 只检查环境，不修改系统。
+`doctor` 只检查环境，不修改系统。`test` 运行锁文件、候选 SHA、Python analyzer、C++ input core 和仓库策略检查。
 
 ## P1 输入探针
 
@@ -73,7 +76,28 @@ gradle :app:assembleDebug
 adb install -r app/build/outputs/apk/debug/app-debug.apk
 ```
 
-GitHub Actions 工作流 `Input probe build` 会使用 JDK 17、AGP 9.2.0 和 Gradle 9.4.1 构建 debug APK。探针日志写入应用私有目录的 `input-probe/events.jsonl`。
+探针采用有界后台写盘，队列溢出会产生显式 `drop` 记录。日志写入应用私有目录：
+
+```text
+files/input-probe/events.jsonl
+```
+
+导出并验证：
+
+```sh
+PACKAGE=io.github.lightchainr.inkscapeandroid.inputprobe
+adb exec-out run-as "$PACKAGE" \
+  cat files/input-probe/events.jsonl > events.jsonl
+bash scripts/dev probe-analyze events.jsonl
+```
+
+存在 schema 错误或 dropped records 的日志不能作为完整事件序列证据。
+
+## 研究版本
+
+- `sources.candidates.toml`：可从官方远端取得的研究候选 SHA；
+- `sources.lock.toml`：只有兼容构建和证据包完成后才能标记 `validated`；
+- `deps/android-target-dependencies.toml`：目标 sysroot 的依赖分层和硬性约束。
 
 ## 开发原则
 

android/input-probe/README.md

@@ -1,17 +1,93 @@
 # Android Input Probe
 
-P1 的独立 Gradle 应用。只记录 `MotionEvent`，不依赖 GTK 或 Inkscape。
+P1 的独立 Android 应用。它只记录 `MotionEvent`，不依赖 GTK 或 Inkscape。
 
-最低日志字段：event time、arrival time、action、pointer ID、tool type、source、坐标、pressure、tilt、orientation、distance、buttons、flags、history size、device ID。
+## 设计目标
 
-输出为 JSON Lines，并附设备型号、系统版本和应用 build ID。探针不得推断手掌或触控笔语义，原始事件和解释报告分开保存。
+探针用于回答三个问题：
 
-必须覆盖：
+1. 小米焦点触控笔向第三方应用实际暴露哪些标准 Android 字段；
+2. pen、finger、palm 和 canceled pointer 的事件顺序是什么；
+3. GTK adapter 后续必须保留哪些原始语义。
+
+探针不负责推断“这是手掌”或“这是点击”。原始日志与解释报告必须分开保存。
+
+## 数据路径
+
+```text
+MotionEvent callback
+  ↓ 复制 primitive snapshot
+有界队列（8192 records）
+  ↓
+后台线程 JSON 编码与 UTF-8 JSONL 写盘
+```
+
+若队列溢出，日志会写入 `recordType=drop`，并记录丢失数量。存在 drop 的日志不能用于采样率或完整序列结论。
+
+数据契约：[`schemas/input-probe-v1.schema.json`](../../schemas/input-probe-v1.schema.json)。
+
+每次启动写入一条 session 记录，包括：
+
+- 应用版本和 build type；
+- 设备型号、Android/HyperOS fingerprint；
+- 屏幕密度与刷新率；
+- 已连接 input devices；
+- 每个 input device 的 motion ranges。
+
+每个 event sample 至少包括：
+
+- current/historical 标记；
+- event time、capture monotonic time、capture uptime；
+- action、action pointer、pointer ID/index/count；
+- tool type、source、device ID、display ID；
+- pressure、tilt、orientation、distance；
+- size、touch/tool major/minor；
+- button、meta、flags、classification；
+- raw/local coordinates 和 precision。
+
+`System.nanoTime()` 与 MotionEvent event time 不应直接相减，除非先确认时钟基准。分析器默认只对明确可比较的数据做统计。
+
+## 构建
+
+CI 使用 JDK 17、AGP 9.2.0、Gradle 9.4.1 和 Android 36 SDK：
+
+```sh
+cd android/input-probe
+gradle :app:assembleDebug --stacktrace
+```
+
+安装：
+
+```sh
+adb install -r app/build/outputs/apk/debug/app-debug.apk
+adb shell am start \
+  -n io.github.lightchainr.inkscapeandroid.inputprobe/.MainActivity
+```
+
+## 导出
+
+```sh
+PACKAGE=io.github.lightchainr.inkscapeandroid.inputprobe
+adb exec-out run-as "$PACKAGE" \
+  cat files/input-probe/events.jsonl > events.jsonl
+```
+
+验证：
+
+```sh
+bash scripts/dev probe-analyze events.jsonl
+```
+
+## 必测场景
 
 - 轻点、慢拖、快拖；
 - hover、压力和侧键；
 - 一指、两指、两指变一指；
-- pen 与手掌同时接触；
+- pen 先落下后放手掌；
+- finger 先落下后落笔；
+- 双指过程中落笔；
 - `ACTION_CANCEL`；
 - Android 13+ `FLAG_CANCELED`；
-- 切后台、系统面板、锁屏和 Surface 变化。
+- 切后台、系统面板、锁屏和窗口失焦。
+
+每个场景开始前记录操作说明和时间，原始 JSONL 不做人工编辑。