Expose M3 upright SE(2) source implementation

README.md

@@ -17,6 +17,16 @@ general contracts；compatibility backend
 验证仍完全属于既有 verifier owner。它不是第二个 solver/verifier，也不是新的 generation
 route。
 
+本源码树还包含已逐项验证的 CPU-only
+`spatialcf/upright_se2@1` General-IR implementation：它为 direct General-IR callers
+提供 world XY translation 与 own/reference-pivot upright yaw。exact cardinal closure
+先于 continuous canonical `ARC`/`FULL_CIRCLE` directed interval checking；continuous
+请求可能产生有限的未认证 witness 或 `UNKNOWN`，不会被承诺为总能认证。backend 经不重叠的
+`solve_submission` 提交不受信任的 `BackendSubmission`；checker 只产生
+`CheckedProofOutcome`；`core.outcome_assembler` 独占 general checker dispatch、
+certificate 和 terminal-result assembly。它不改变 version-free generation API、现有
+generation route 或 `v0.1.1` tag。
+
 当前 public main 与最新 annotated release tag 不同：`v0.1.1` 仍是最新 annotated release
 tag，尚未发布 `v0.2.0`。
 下方 quickstart 因此继续精确使用 `v0.1.1`。

README_EN.md

@@ -19,6 +19,18 @@ verifier. Existing v2 result/certificate verification remains entirely owned by
 the existing verifier owner. It is not a second solver or verifier, and it does
 not create a new generation route.
 
+This source tree also contains the individually verified CPU-only
+`spatialcf/upright_se2@1` General-IR implementation. It gives direct
+General-IR callers world XY translation and upright yaw about own or reference
+pivots. Exact cardinal closure precedes continuous canonical `ARC`/`FULL_CIRCLE`
+directed interval checking; a continuous request can yield a limited
+uncertified witness or `UNKNOWN` and is not promised universal certification.
+Its backend submits untrusted `BackendSubmission` evidence through the disjoint
+`solve_submission`; the checker produces only `CheckedProofOutcome`; and
+`core.outcome_assembler` solely dispatches general checking and assembles
+certificates and terminal results. This does not change the version-free
+generation API, the existing generation route, or the `v0.1.1` tag.
+
 Current public `main` is distinct from the latest annotated release tag:
 `v0.1.1` remains the latest annotated release tag and `v0.2.0` has not been
 released. The quick start below therefore continues to use the exact `v0.1.1`

docs/api.md

@@ -14,6 +14,32 @@ the existing verifier. This is not a second solver or verifier, and it does not
 add a generation entry point or change the supported `spatialcf.generation` API
 above.
 
+## Advanced upright SE(2) General-IR implementation
+
+This source tree contains the CPU-only `spatialcf/upright_se2@1` implementation
+for direct General-IR integration. It is an advanced source-level contract, not
+a package facade, a new CLI, or an addition to the supported version-free
+`spatialcf.generation` API. It does not change the existing generation route or
+the `v0.1.1` tag.
+
+The domain contract is in `spatialcf.domain.upright_se2`; compilation, proposal
+submission, fresh checking, and terminal assembly respectively live in
+`spatialcf.core.upright_se2_compiler`, `spatialcf.core.upright_se2_backend`,
+`spatialcf.core.upright_se2_verification`, and
+`spatialcf.core.outcome_assembler`. The profile supports world XY translation
+and upright yaw around an own or named reference pivot. Exact cardinal yaw
+closes before continuous yaw. Continuous domains use canonical `ARC` or
+`FULL_CIRCLE` with exact-dyadic lifted intervals and checked directed bounds.
+
+`solve_submission` is deliberately disjoint from retained v1 `solve`: it emits
+untrusted `BackendSubmission` proposal, complete-domain UNSAT, or UNKNOWN
+evidence. The checker produces only `CheckedProofOutcome` and never assembles a
+terminal result. `core.outcome_assembler` is the sole general-IR checker
+dispatcher, certificate owner, and terminal-result assembler. A finite miss,
+numeric gap, unsupported capability, resource exhaustion, or feasible-incomplete
+frontier is never fabricated as UNSAT; feasible-incomplete work remains LIMITED
+with an uncertified witness.
+
 ## Generate
 
 ```python

docs/concepts.md

@@ -8,8 +8,17 @@ execution.
 The Schema represents scenes, object geometry, relations, interventions,
 evidence, and results in canonical coordinates. Core relations are `left`,
 `right`, `front`, `behind`, `near`, and `far`. A counterfactual moves exactly one
-movable object in world X/Y while preserving its height, orientation, scale,
-category, camera, lighting, and material.
+movable object in world X/Y. The published v2/M2 generation behavior preserves
+its height, orientation, scale, category, camera, lighting, and material.
+
+The separate CPU-only `spatialcf/upright_se2@1` General-IR profile extends only
+direct General-IR work with upright yaw around the subject's own pivot or a
+named reference pivot; it does not change generation behavior. Exact cardinal
+yaw closes before continuous yaw. Continuous requests use canonical
+`ARC`/`FULL_CIRCLE` intervals lifted with exact dyadic endpoints and checked
+directed bounds. They can remain LIMITED with an uncertified witness or
+`UNKNOWN`; finite misses, numeric gaps, unsupported capabilities, and resource
+exhaustion are never UNSAT.
 
 ## Minimum-cost solver