G2.6 Smart Dynamic RCB: guarded normal runtime with MMS fallback - #230

Draft

masarray wants to merge 78 commits into

g2.5-a2.1-command-bound-witnessfrom

g2.6-smart-dynamic-rcb

Commits on Aug 24, 2026

G2.6 enable guarded static-to-dynamic RCB recovery
masarray
committed
495d533
G2.6 fail closed when static rollback evidence is unavailable
masarray
committed
0f2bf44
G2.6 pass proven static cleanup into dynamic recovery
masarray
committed
bf81476
G2.6 regress guarded static-to-dynamic recovery
masarray
committed
1fdae96
G2.6 preserve field safety around smart dynamic recovery
masarray
committed
d3d96e3
G2.6 update P6.2B recovery safety regression
masarray
committed
bbdd864
P1 pin ARIEC G2.6 production consumer
masarray
committed
4521dc3
P1 add deterministic command-bound A3 commissioning
masarray
committed
040a7d9
P1 add deterministic A3 evidence window
masarray
committed
716b53e
P1 expose deterministic A3 commissioning hotkey
masarray
committed
b66783f
P1 lock deterministic A3 safety regressions
masarray
committed
e55f5b9
P1 document deterministic A3 field contract
masarray
committed
5f974a5
P1 pin merged ARIEC production consumer on main
masarray
committed
743bf10
P1 align engine-lock regression with merged main commit
masarray
committed
83eea7f
P1 align dchg core regression with exact contract
masarray
committed
89567de
P1 advance G1 engine-lock regression to merged G2.6 consumer
masarray
committed
a2cd472
P1 align strict dchg regression with actual validator wording
masarray
committed
5fb20ac
G2.6 P1: add transactional command-focus requalification
masarray
committed
62984b3
G2.6 P1: wire transactional recovery before A3
masarray
committed
843ba03
G2.6 P1: lock transactional recovery invariants
masarray
committed
30c5dd3
G2.6 P1: document transactional command-focus recovery
masarray
committed
eaa198e
Fix P1 recovery evidence collection build
masarray
committed
2eff80e
G2.6 P1: add Q0 target-locked one-shot auto stimulus
masarray
committed
a04a1a8
G2.6 P1: run Q0 auto A3 without command dialogs
masarray
committed
1f7cf7e
G2.6 P1: lock regression contract for Q0 auto stimulus
masarray
committed
6db7b7d
G2.6 P1: document target-locked Q0 auto A3
masarray
committed
6ce113d
G2.6 P1: suppress clone status without firing shared observers
masarray
committed
fa50de3
G2.6 P1: type one-shot control task with command result
masarray
committed
aac64af
G2.6 P1: align clone regression with fail-closed backing-field mutation
masarray
committed
e3e3ed0
G2.6 P1: align recovery regression with automatic Q0 coordinator
masarray
committed
4eedc14
G2.6 P1: preserve dchg report receive time for command ordering proof
masarray
committed
0db2fef
G2.6 P1: bind A3 PASS to accepted control and post-command report
masarray
committed
dd054b6
test: lock P1 native acceptance and report ordering gates
masarray
committed
d9a8f83
docs: record physical A3 acceptance and final correlation hardening
masarray
committed
ab27ab2
docs: align final merge-candidate head after acceptance record
masarray
committed
a15f701
docs: freeze final P1 acceptance record
masarray
committed
39b8b5d
docs: no-op normalization before merge
masarray
committed
039a2a9
docs: finalize acceptance record metadata
masarray
committed
305f82c
docs: finalize P1 record
masarray
committed
b3be7be
docs: preserve final P1 record
masarray
committed
712f831
docs: final acceptance record touch
masarray
committed
dc920e4
docs: finalize acceptance record before merge
masarray
committed
a5159b2
docs: lock final P1 record
masarray
committed
a763326
Merge PR #231: deterministic Q0 command-bound A3 proof
masarray
authored
57cc3cd
Pin ARIEC PR98 shadow verification engine
masarray
committed
af2c8b0
G2.6 add fail-closed ARSAS shadow acceptance gate
masarray
committed
c76f191
G2.6 update engine lock regression for PR98
masarray
committed
32d5dcb
Preserve G1 ancestry under ARIEC PR98 pin
masarray
committed
25ebb33
G2.6 test ARSAS shadow acceptance boundary
masarray
committed
3f32f92
Document ARSAS G2.6 shadow acceptance boundary
masarray
committed
460b912
G2.6 add bounded exact-member shadow evidence recorder
masarray
committed
ea1639e
G2.6 test bounded exact shadow evidence recorder
masarray
committed
4ab65d2
G2.6: pin strict ARIEC shadow production evidence policy
masarray
committed
cb7e902
G2.6: use strict observed q/t production acceptance bridge
masarray
committed
660277f
G2.6: update G1 lock regression for ARIEC PR99
masarray
committed
b870802
G2.6: regress strict shadow production evidence bridge
masarray
committed
772f4ef
G2.6: keep A3 regressions aligned with strict PR99 engine pin
masarray
committed
9a7c913
G2.6: add two-association physical shadow commissioning collector
masarray
committed
0561b78
G2.6: regress physical shadow collector safety and reconnect contract
masarray
committed
8b21798
G2.6: add physical shadow evidence result view
masarray
committed
ccbbcbb
G2.6: wire Ctrl+Shift+S physical shadow commissioning flow
masarray
committed
db25d2f
docs: define G2.6 physical shadow commissioning gate
masarray
committed
e7b6018
G2.6: regress explicit shadow hotkey and production-off UX
masarray
committed
79348ad
G2.6: fix physical shadow collector build contracts
masarray
committed
01da323
G2.6: make no-promotion regression detect calls not documentation
masarray
committed
8f6dde0

Commits on Aug 26, 2026

G2.6: read independent polling quality and timestamp companions
masarray
committed
d4876cb
G2.6: collect independent polling q/t evidence
masarray
committed
e0ea040
G2.6: regress independent polling q/t evidence
masarray
committed
bd5e039
G2.6: document independent polling q/t companions
masarray
committed
ae1e6b6
G2.6: load InformationReportProven guarded dynamic runtime context
masarray
committed
ef1a74e
G2.6: wire guarded Smart Dynamic RCB into normal monitoring
masarray
committed
1e9836e
G2.6: preserve guarded context through static-to-dynamic recovery
masarray
committed
b936e44
G2.6: pin guarded dynamic runtime engine PR 100
masarray
committed
43118fb
G2.6: update Smart Auto recovery regression for guarded runtime
masarray
committed
edab0af
G2.6: add guarded Smart Dynamic runtime regressions
masarray
committed
b0a5ba6
G2.6: document normal Smart Dynamic RCB runtime
masarray
committed
8a671a6
G2.6: import ARIEC discovery contracts for guarded runtime
masarray
committed
aad3b5a
G2.6: align regressions with guarded Smart Dynamic runtime boundary
masarray
committed
aca2c45