G2.6/G2.7 Smart Dynamic RCB: field-stable per-IED bootstrap + full eligible residual coverage - #230

Draft

masarray wants to merge 151 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

Commits on Aug 28, 2026

Commits on Sep 1, 2026

feat(g2.6): restore general field-capability dynamic RCB runtime
masarray
committed
c34834c
chore(engine): pin ARIEC P1.6 general dynamic runtime
masarray
committed
14cd614
test(g2.6): pin P1.6 general dynamic runtime integration
masarray
committed
9ae2857
test(g2.6): preserve P1.5b witness while broadening P1.6 runtime
masarray
committed
b10e927
test(g2.6): preserve strict shadow boundary on P1.6 engine
masarray
committed
5048efe
test(g2.6): retain A3 evidence boundary on P1.6 engine
masarray
committed
0e6e6e7
test(g2.6): advance engine pin while preserving G1 ancestry
masarray
committed
1042a19
docs(g2.6): document P1.6 general Dynamic RCB runtime
masarray
committed
e54b647
test(g2.6): add P1.6 ARSAS integration regression
masarray
committed
ab869ce
test(g2.6): align P1.6 planner wording
masarray
committed
7aa13f1
test(g2.6): align P1.6 capability wording
masarray
committed
e5667c0
fix(g2.6): align load gate with P1.6 field capability policy
masarray
committed
0cfaf61
test(g2.6): pin P1.6 field capability load policy
masarray
committed
dbe8b40
feat(g2.6): expose P1.6 dynamic group field diagnostics
masarray
committed
ba14c5f
test(g2.6): pin P1.6 field diagnostics contract
masarray
committed
4d9672f
test(g2.6): align legacy witness regression with P1.6 policy
masarray
committed
48eb227
test(g2.6): align smart runtime regression with P1.6 policy
masarray
committed
b710864
fix(g2.6): avoid diagnostic loop index shadowing
masarray
committed
b8cdeee
test(g2.6): assert P1.6 witness binding semantically
masarray
committed
e23a08d
feat(g2.7): persist per-IED dynamic capability witness
masarray
committed
6ae05f2
feat(g2.7): persist native dchg capability proof
masarray
committed
aa1b2a7
feat(g2.7): orchestrate per-IED capability bootstrap
masarray
committed
791ed56
feat(g2.7): authorize native per-IED general dynamic runtime
masarray
committed
d64ebfd
chore(g2.7): pin native field capability engine
masarray
committed
1204811
feat(g2.7): add zero-control per-IED bootstrap UI
masarray
committed
1722e71
feat(g2.7): install per-IED bootstrap behavior
masarray
committed
494f219
test(g2.7): pin per-IED dynamic capability bootstrap
masarray
committed
151e9f3
test(g2.7): retain P1.6 lineage under P1.7 engine pin
masarray
committed
edae0ec
test(g2.7): extend smart runtime regressions to native capability
masarray
committed
88f6cc7
test(g2.7): retain legacy compatibility under native runtime
masarray
committed
41406d7
docs(g2.7): document per-IED dynamic capability bootstrap
masarray
committed
d82eef9
test(g2.7): advance engine pin while preserving G1 ancestry
masarray
committed
0c06ccc
test(g2.7): preserve A3 ancestry under native engine pin
masarray
committed
93a356b
test(g2.7): preserve strict shadow gate under native pin
masarray
committed
3874c85
feat(g2.7): expose exact physical dchg witness members
masarray
committed
2876d47
test(g2.7): assert legacy identity semantics not comment wrapping
masarray
committed
eda7829
test(g2.7): assert exact legacy fresh RCB gate
masarray
committed
0a66756
test(g2.7): assert runtime sidecar separation semantically
masarray
committed
0fffd4a

Commits on Sep 2, 2026

test(g2.7): pin native field diagnostics contract
masarray
committed
183c80c
test(g2.7): keep field gate on proven runtime invariants
masarray
committed
96a0ccd

Commits on Sep 3, 2026

feat(g2.7): recover G2.3 residue on one fresh association
masarray
committed
429e2a7
fix(g2.7): route G2.3 through one fresh-recovery retry
masarray
committed
f02ceb0
build(g2.7): pin ARIEC G2.3 fresh recovery PR108
masarray
committed
c256f8a
test(g2.7): pin G2.3 fresh recovery and PR108 engine
masarray
committed
c81a881
build(g2.7): pin hardened G2.3 recovery PR109
masarray
committed
ed0c2c1
test(g2.7): advance engine pin through hardened recovery PR109
masarray
committed
2e02188
test(g2.7): retain clean envelope after exact residue recovery
masarray
committed
2440544
fix(g2.7): retain clean G2.3 envelope after exact recovery
masarray
committed
1124d69
chore(g2.7): pin envelope-bounded runtime engine PR110
masarray
committed
aa5e2da
feat(g2.7): maximize bounded native dynamic coverage
masarray
committed
99ddd43
test(g2.7): require envelope-bound full native coverage budget
masarray
committed
49e727c
test(g2.7): advance control lineage through envelope-bound PR110
masarray
committed
32fe7f6
test(g2.7): expect envelope-bound native runtime planner
masarray
committed
0047a22
test(g2.7): expect envelope-bound native revalidation planner
masarray
committed
af75fce