← Branches
design-fleet-internal-engines
Commits
-
2c51571db
census: gofmt the design-fleet-internal-engines loader block
claude agent, operated by paul@keymail.dev
-
10054db09
census: design-fleet-internal-engines ruled (census-ruling-design-fleet-internal-engines, #280)
claude agent, operated by paul@keymail.dev
-
26e3c7303
census: overlay design-fleet-internal-engines (PROPOSED, #280)
claude agent, operated by paul@keymail.dev
-
bb1bf4081
Merge main into design-fleet-internal-engines
claude agent, operated by paul@keymail.dev
-
12aa9c34c
enginesim: spec edits for the final review and the new 3000-seed sweep (#335 plan 1)
claude agent, operated by paul@keymail.dev
-
a337fb28c
enginesim: clean baseline env, immediate listener checks, completed-transition coverage (#335 plan 1, final review)
claude agent, operated by paul@keymail.dev
-
04637acc9
enginesim: the R5 freshness bound; expiry, staleness and revoke age apart; residuals from independent facts (#335 plan 1, final review)
claude agent, operated by paul@keymail.dev
-
1d72325c2
enginesim: a new row's NULL is never fenced; launches honour --public's group lock (#335 plan 1, final review)
claude agent, operated by paul@keymail.dev
-
8f3180b55
enginesim: mutation harness and the first 3000-seed sweep (#335 plan 1)
claude agent, operated by paul@keymail.dev
-
4648305e0
enginesim: an expiry keeps a revoke's age; a residual covers only its own breaches (#335 plan 1)
claude agent, operated by paul@keymail.dev
-
3a2169f43
enginesim: calls, identity, grants and arming (#335 plan 1)
claude agent, operated by paul@keymail.dev
-
b2f3a4258
enginesim: the dedicated engine box and ingress (#335 plan 1)
claude agent, operated by paul@keymail.dev
-
c9c3f4e58
enginesim: staged classification by app; --revoke runs the barrier (#335 plan 1)
claude agent, operated by paul@keymail.dev
-
8c7d684fd
enginesim: --public step 3 is its own rule; --grant refused on an unresolved minted row (#335 plan 1)
claude agent, operated by paul@keymail.dev
-
34c24ae87
enginesim: classification, minted groups, the operator clear (#335 plan 1)
claude agent, operated by paul@keymail.dev
-
797bda096
enginesim: I1 is the fence condition, checked at every start (#335 plan 1)
claude agent, operated by paul@keymail.dev
-
68b2b65c2
enginesim: the fence and the launch gate, I1 (#335 plan 1)
claude agent, operated by paul@keymail.dev
-
a54c5821b
enginesim: exact chaos/calm split and list-only mode (#335 plan 1)
claude agent, operated by paul@keymail.dev
-
95bf73085
enginesim: the world, step loop and sweep (#335 plan 1)
claude agent, operated by paul@keymail.dev
-
b5ccc5a5e
plan: fleet-internal engines plan 1, the simulation (#335); spec rev 14 approved
claude agent, operated by paul@keymail.dev
-
a4a0853a2
Merge main into design-fleet-internal-engines
claude agent, operated by paul@keymail.dev
-
24ac41ac0
spec: fleet-internal engines rev 14 for Paul's read (Astra R13 applied per R4)
claude agent, operated by paul@keymail.dev
-
ee51da7f8
spec: fleet-internal engines rev 13 (Astra R12; Paul's rulings R3 dedicated engine box, R4 review end)
claude agent, operated by paul@keymail.dev
-
f18348933
Merge main into design-fleet-internal-engines
claude agent, operated by paul@keymail.dev
-
b632af5d0
spec: fleet-internal engines, Astra round 12 findings (reject, 2 P1: own-bound port, shared-backend service row)
claude agent, operated by paul@keymail.dev
-
a2f71f5f7
spec: fleet-internal engines rev 12 (Astra R11: doc_engine excludes ports)
claude agent, operated by paul@keymail.dev
-
24c79f8a0
spec: fleet-internal engines rev 11 (Astra R10: I1 on the fenced mark)
claude agent, operated by paul@keymail.dev
-
267c0ee68
spec: fleet-internal engines rev 10 (Astra R9: invariant I1 at the launch gate)
claude agent, operated by paul@keymail.dev
-
343f0443d
spec: fleet-internal engines rev 9 (Astra R8 answered: no automatic clear; operator --public)
claude agent, operated by paul@keymail.dev
-
9306d7a50
spec: fleet-internal engines rev 8 (Astra R7: 1 P1, 1 P2, both accepted)
claude agent, operated by paul@keymail.dev
-
d59eec0ca
spec: fleet-internal engines rev 7 (Astra R6: 1 P1, 1 P2, both accepted)
claude agent, operated by paul@keymail.dev
-
3829dada5
spec: fleet-internal engines rev 6 (Astra R5: accept with fixes, 3 P2 answered)
claude agent, operated by paul@keymail.dev
-
ddad746d4
Merge main into design-fleet-internal-engines
claude agent, operated by paul@keymail.dev
-
50a1f3fcf
spec: fleet-internal engines rev 5 (Astra R4: 2 P1, 1 P2, all accepted)
claude agent, operated by paul@keymail.dev
-
c0d2d531b
spec: fleet-internal engines rev 4 (Astra R3: 2 P1, 1 P2, all accepted)
claude agent, operated by paul@keymail.dev
-
295eb39f6
spec: fleet-internal engines rev 3 (Astra R2: 3 P1, 2 P2, all accepted)
claude agent, operated by paul@keymail.dev
-
8cf7cc8f6
spec: fleet-internal engines rev 2 (Astra R1 accepted; Paul's rulings R1, R2)
claude agent, operated by paul@keymail.dev
-
65a0769c0
spec: fleet-internal engines, Astra round 1 findings (reject, 4 P1)
claude agent, operated by paul@keymail.dev
-
55c9b06f9
spec: fleet-internal engines (#335), rev 1 draft, and its review brief
claude agent, operated by paul@keymail.dev