Repository navigation
Mechanics generic closure: 6D multi-grip research + V7 execution capability audit and product gaps - #353
Draft
merynz wants to merge 169 commits into
Draft
Mechanics generic closure: 6D multi-grip research + V7 execution capability audit and product gaps#353merynz wants to merge 169 commits into
merynz wants to merge 169 commits into
Conversation
…eform subtrees before constraints
…oral behavioral diagnostics
…targets, temporal and negative courts
…urce intervention evidence boundaries
…quares solver with residual-gated outcomes
… fail-closed unsupported capabilities
…t research courts
…der Motion runtime diagnostics
…Motion/skin runtime
…urce interventions without minting model truth
…earch-only admission courts
…n and research-exposed boundaries
…ge47 source audit without authority overclaim
…r actions and probe actual RealSaS LBS with teacher-only oracle poses
…ct LBS and corruption/authority negatives
…ormation kernel and negative courts
… field in oracle probe
…BS replay with exact SHA, numerical bounds and non-product scope
… mechanically inert controls in Stage47 evidence
…o local-rotation responses from control-program causal authority
…lti-goal IK continuity
… live drag sequences without mutating Motion or rig
…hile controls remain transient
… and constraint causal reachability, not direct weights alone
…tion without demoting contact or concealing unmet targets
…p failures retain honest per-track residuals and cannot certify full requested task
…ing and full-constraint failure courts
…l explicit hard/advisory priority regressions
…s and explicit hard/advisory policy
…dvisory policy using typed 120-test two-grip feasibility witnesses
… bridge and independent post-pose positional/orientation court
…dges with exact analytic Jacobian and strict independent joint/contact goal residuals
… Motion/IK with independent before-secondary fail-closed court
…simultaneous world pins, contradicting targets FAIL and live warm sequence
…wner rig without indirect fallback
… independent live artifact court
…t grounded third limb and strict failed out-of-reach contact
…d-limb 6D Mechanics frame latency and all constraint residuals
…c third contact benchmark with no FPS authority
… third limb with measured CPU residual and 12-frame timing
…dependently grounded third limb and 128-test CPU evidence
…cabulary vs actual operator/DOF/attachment runtime gap audit
…cabulary mismatch, fail closed on source drift
… producer vs runtime coverage receipt and negative audits
… not only bare assignments
…/9-DOF wire, 6D grip grammar, source authority, whole-body control, physics and shipping integration
This was referenced Nov 6, 2026
Merged
This branch has not been deployed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Intent
Independent Mechanics / Motion / runtime generic closure lane; no AXIS/MIRA learning, no IRIS/TESSA/Corpus370 modifications, no Graphics ownership.
Implemented
Scientific boundaries
Next major phase
Stacked on V6 PR #297; unrelated to active Corpus370 PR #327 and V7 training research #352. No training readiness or model/product authority is minted.
Mechanics continuation (2026-11-06)
mechanics_multigoal_solver_v1.pyuses declared rotational DOFs + explicitly provided numeric angle limits, joint-tree FK and SciPy least-squares to solve two or more IK goals together, including a planted declared control target. No fabricated joint limits or new control handles. Unsupported pole, DOF, operator and FK-overlay semantics fail closed.mechanics_live_runtime_v1.pyacceptssolver_mode="DECLARED_MULTI_GOAL_V1"+pinned_contact_control_idsas an opt-in research mode. Existing product FABRIK remains the default. Unreachable/malformed requests remain visibly FAIL.truth139_fff1396de9c37b2bab05Dino source NPZ 24.5 MB and teacher JSON read from Drive, SHA verified; 3,266 vertices / 129 privileged controls / 774 source interventions. Committed research-only, source SHA-locked diagnostic receipt; explicit permanent research-exposure marker (never claim future blind unseen).tools/mechanics/audit_stage47_source_mechanics_v1.pychecks manifest SHA, source rest/sham, paired signed actions, root translation and source skin CSR; does NOT claim source→compiled equivalence.Remaining hard blockers
Native source mechanics closure increment (2026-11-06)
docs/research/MECHANICS_STAGE47_SOURCE_NATIVE_FKLBS_REPLAY_20261106.json.tools/mechanics/compare_stage47_source_fk_lbs_v1.pyincludes exact SHA checks, native frame/rotation/skin CSR/parent binding, negative authority cases and optional actual productdeform_mesh_lbs_v1oracle-only probes. CI exercises real product deformation function on independent synthetic source fixture; real Stage47 product-kernel probe is still pending and explicitly distinct from source-local analytical comparison.mechanics_surface_control_effects_v1.pyresolves generic declared ROOT/FK subtree and IK/constraint causal effect paths for mouse-picked carrier triangle. Unknown/ambiguous controls abstain or reportAMBIGUOUS; no invented handles, no Graphics authority.Scientific firewall: source-native replay is NOT real product output training, NOT qualified canonical source transport, NOT generic unseen success or 60fps certification. IRIS/TESSA, Corpus370 #327 and AXIS–MIRA V7 #352 remain untouched.
Live Mechanics / actual-source product proof (2026-11-06)
deform_mesh_lbs_v1vs Blender and prepared kernel vs both. Maximum original→prepared vertex L2 difference 8.95090418262362e-16 source units; original vs Blender max 9.487445122129821e-7. Full 774-source-action analytical reference passes, but all-774 product kernel was not completed.mechanics_prepared_skin_v1.pypre-packs immutable CSR-style influence coordinates and uses vectorized NumPy transformation;mechanics_live_runtime_v1.pycan consumeprepared_skin=, default legacy unchanged. Full parity + negative tests.mechanics_surface_control_effects_v1.pyverifies actual CanonicalMesh face/topology and executable rig constraints; orphan IK and unsupported operators fail closed.mechanics_control_response_court_v1.pyindependently runs small ± control perturbations through real Mechanics + LBS and distinguishes graph-potential from observed local effect; never infers role from source bone labels.docs/research/MECHANICS_STAGE47_PRODUCT_LBS_PREPARED_128_20261106.jsonand appendeddocs/research/MECHANICS_GENERIC_CLOSURE_V1_20261106.md. All producer evidence remains read-only; artist source bytes not committed; temp code-only artifact uploader removed after experiment.2026-11-06 complete Mechanics CPU-frame optimization
tools/mechanics/benchmark_live_mechanics_v1.py: actual 2-chain/2-IK, one planted target, warm-start and full live Mechanics + LBS and behavioral diagnostic on seeded synthetic carrier at 3,266 and 8,192 vertices.dcefe18c5b7efc3b55eef1076ef14c9bbcc2bfb2, run42273795156: 48 unit/integration tests passed. At 3,266 vertices, full Mechanics P50/P95 5.924/6.393 ms vs sampled legacy P50 57.807 ms; at 8,192, P50/P95 11.351/12.109 ms vs legacy P50 143.126 ms. Max prepared-vs-legacy vertex L2 difference 4.48e-16.docs/research/MECHANICS_CPU_FULL_FRAME_COURT_20261106.json; Actions benchmark diagnostic artifact id13531142924(7-day retention).Analytic DOF-scaling increment (2026-11-06)
Longer articulated trees, world contact anchors and explicit actuator policy (2026-11-06)
pinned_world_targetsargument bound exactly to declared pins, preserved through live Motion/drag. Bad/missing/nonfinite anchors and pin/override conflict fail closed.active_parameter_keys: freezes unselected declared DOFs at their verified warm-start values, leaves CanonicalRig intact and still checks every original goal residual. On synthetic generator-known one-pivot targets, oracle-subset 1/2/3 active axes solved in 8.51/26.42/39.20 ms (~10–11x observed). A generated two-pivot target fails the one-pivot policy and succeeds in full mode. Selection is a representation/runtime policy, not source truth and not generic automatic selection.2e0cccf89828243133fbdcb45189d36f4ea565b5reports 68 tests PASS; reproducible receiptdocs/research/MECHANICS_LONG_BRANCHING_DOF_POLICY_20261106.json, scenario generatortools/mechanics/benchmark_long_branching_ik_v1.py.First generic task-space actuator decision candidate (2026-11-06)
RANK_REVEALING_RESEARCH_V1: derive exact world-space goal Jacobian from declared CanonicalRig, exclude regularization rows, select independent actuator columns with pivoted QR; freeze unused declared DOFs at validated warm-start, check every original constraint and retry all DOFs if reduced solve fails. No source truth labels or control names inform selection.a9abd29750be4ca84fde2ef9ed55b1ce7fa8af67. Source-of-truth for data/limitations:docs/research/MECHANICS_RANK_REVEALING_ACTUATORS_20261106.json.2026-11-06 Spine-informed (independent) temporal Mechanics research
668bbd44eaa3d26898be8864fe1bfb198587c44b, Actions run 42284413119. Seedocs/research/MECHANICS_TEMPORAL_SECONDARY_ATTACHMENT_20261106.json,docs/research/MECHANICS_SPINE_RUNTIME_INDEPENDENT_DESIGN_20261106.md.2026-11-06 — Oriented and full 6D grip IK: verified independent Mechanics result
local_Pand optionally authoredmetadata.local_basisbecome 3D world grip-position plus 3D world grip-orientation objectives, combined with existing drag and pinned-contact residuals.axis × (worldGrip - pivot); 9-row world-basis chordal rotation derivativeaxis × worldBasisColumn. Numeric centered-difference regression independently checks these derivatives. Final orientation qualification is in radians from SO(3) geodesic, not optimizer termination.MechanicsInterventionStepV1supports per-frame changing grip position and world orientation; continuous five-frame synthetic sequence retains fixed opposing contact and warm start. Conflicting static+keyframed authorship, missing grip basis, unknown anchors, incompatible position/orientation all fail closed.EVALUATE_ONLYremains default,SOLVE_DECLARED_RESEARCH_V1requires opt-in analytic multigoal mode. Neither CanonicalRig authority nor Graphics/CAA, Corpus370, IRIS/TESSA, AXIS/MIRA training changed.d76362eb9d5970a76aee8067b9ec300d4d631738, workflow run 42286207240. Reproducible receiptdocs/research/MECHANICS_DECLARED_6D_GRIP_IK_20261106.json.2026-11-06 — Multiple rigid grips: independent conflict witness and explicit priority (research-only)
mechanics_attachment_feasibility_v1.pycomputes necessary same-parent rigid-frame feasibility for multiple world position/orientation targets. Emits deterministic witness kindsRIGID_POINT_DISTANCE,RIGID_PARENT_ORIENTATIONandRIGID_FRAME_POINT_DISPLACEMENT, including target mismatch, tolerance, parent and anchor IDs. Lack of witness is UNKNOWN global IK feasibility, never a PASS.attachment_preflight_mode="RIGID_HARD_NECESSARY_V1"fails closed before optimization on a proven hard same-parent contradiction. Default previous behavior remains unchanged.mechanics_attachment_priority_v1.pyprovides strictly explicit per-trackHARD/ADVISORYapplication policy; all IK controls and world contact pins always remain HARD. Advisory goals are not discarded: independent attachment frame evaluation measures each residual. A result can reportPASS_HARD_WITH_UNMET_ADVISORY_TARGETSwhileall_requested_targets_satisfied=False; it cannot be conflated with full compile PASS. No automatic priority derivation or source authority inferred.36e69a1fda55bf83944e74502e3a3ea7fd67d988: 120 Mechanics tests PASS, ownership firewall PASS. Evidence:docs/research/MECHANICS_MULTI_ATTACHMENT_PRIORITY_FEASIBILITY_20261106.json.2026-11-06 — Explicit cross-parent shared-rigid-prop 6D grip and grounded third limb
mechanics_relative_attachment_bridge_v1.py: SHA-bound named pair of attachment anchors on different parent joints, each with explicitly declared local grip frame, plus declared 3D relative position and 3D relative rotation. No automatic same-weapon detection, inferred source grip authority or physics/stiffness truth.a240f1ba08cc2c01ff6718ef0edbab65fe034601: 128/128 Mechanics tests PASS, research ownership firewall PASS.tools/mechanics/benchmark_relative_attachment_bridge_v1.py,docs/research/MECHANICS_CROSS_PARENT_6D_GRIP_GROUNDED_THIRD_LIMB_20261106.json.2026-11-06 — Post-V7 executable puppet product gap assessment
Critical interpretation: Mechanics research is real code, but cannot yet be called V7-native shipping product or a compiled generic puppet. V7 PR #352 is a separate draft, using the V6 grammar. PR #353 is also a draft sibling on the same V6 base; they have not been combined into a source-bound ModelRelease/Graphics/Editor/export proof.
tools/mechanics/audit_v7_mechanics_execution_gap_v1.pyAST-reads actual V6 producer vocabulary and Mechanics executor definitions without importing Torch or inventing a release. 8 vs 5 declared/ executable operators; unsupported in the current canonical operator schema:LIMIT_ROTATION,LIMIT_TRANSLATION,PATH. 9 vs 3 V6 local DOF labels vs analytic multigoal axes; no separate typed ANCHOR 3D grip frame or two-anchor relative 6D bridge payload in the event contract. These are contract gaps, NOT automatic release errors concealed by the compiler: source/code generation and downstream fail-closed gates need individual qualification.GAP__NO_V7_MECHANICS_PRODUCT_READINESS. Negative regression rejects stale / unrecognized source constants.docs/research/MECHANICS_POST_V7_PRODUCT_GAP_MAP_20261106.md. P0 is cross-layer vocabulary/DOFs, authored local grip + relative bridge, editable whole-body root and independent source↔canonical transfer, V7 model/Corpus370 admission, plus sibling-branch product integration. P1 is contact/manifold, proper joint limits and constraint dependencies, multiple collisions, physical secondary behavior and temporal replay. P2 is realistic-frame runtime, read-only Graphics handoff, editor/clip/export and verified proof.